Некоторые Теоремы Штурма

Быков В.В. bikov@rambler.ru

Содержание

Введение…………………………………………………………………………………………3

§1. Предварительные сведения……………………………………5

§2. Основные факты………………………………………………………………8

§3. Теоремы Штурма……………………………………………………………18

Использованная литература…………………………………………27

Введение

Тема дипломной работы “Теорема Штурма”, связана с именем французского математика Жака Шарля Франсуа Штурма.

Штурм Жак Шарль Франсуа (Sturm J. Ch. F. – правильное произношение: Стюрм), родился 29 сентября 1803 года в Женеве. Был членом Парижской академии наук с 1836, а также иностранным членом – корреспондентом Петербургской академии наук с того же года. С 1840 года был профессором Политехнической школы в Париже.

Штурм (1824/25) и Раабе (1827) ввели главные формулы сферической тригонометрии при помощи пространственных координат.

Теорему Фурье ( Теорема о числе действительных корней между двумя данными пределами ), математика Жозефа Фурье (Joseph Fourier, 1768-1830), затмила более общая теорема, опубликованная Штурмом в Bull. mathem., 1829. Доказательство сам Штурм представил только в одной премированной работе 1835г. Коши Огюстен (Cauchy Augustin, 1789-1857) распространил теорему Штурма на комплексные корни (1831). Дополнение к ней дал также Сильвестр Джемс Джозеф (Sylvester Y.Y., 1814-1897) в 1839 году и позже.

Основные работы Жана Шарля Штурма относятся к решению краевых задач уравнений математической физики и связанной с этим задачей о разыскивании собственных значений и собственных функций для обыкновенных дифференциальных уравнений. (Задача Штурма-Лиувилля, о нахождении отличных от нуля решений дифференциальных уравнений :

-(p(t)u¢)¢+q(t)u=lu,

удовлетворяющих граничным условиям вида:

А₁ u(a)+B₁ u¢(a)=0,

A₂ u(b)+B₂ u¢(b)=0,

(так называемых собственных функций), а также о нахождении значений параметра l (собственных значений), при которых существуют такие решения. При некоторых условиях на коэффициенты p(t), q(t) задача Штурма-Лиувилля сводилась к рассмотрению аналогичной задачи для уравнения вида: -u¢¢+q(x)u=lu).

Эта задача была впервые исследована Штурмом и Жозефом Лиувиллем (Joseph Liouville, 1809-1882) в 1837г. и закончена в 1841 г.

Также Жак Штурм дал общий метод для определения числа корней алгебраических уравнений, лежащих на заданном отрезке, названный правилом Штурма, который позволяет находить непересекающиеся интервалы, содержащие каждый по одному действительному корню данного алгебраического многочлена с действительными коэффициентами (уже упоминалось выше).

Ему принадлежат ряд работ по оптике и механике.

Штурм Жак Шарль Франсуа умер 18 декабря 1855года.

§ 1. Предварительные сведения

Среди дифференциальных уравнений, наиболее часто исполь­зуемых в математике и физике, следует выделить линейное уравне­ние второго порядка, имеющее вид

u"+ g(t)u' + f(t)u=h(t) (1.1)

или

(р (t) и')' + q (f) и = h(t) . (1.2)

Как правило, если не оговорено противное, предполагается, что функции (t), g (f), h (f) и р (f) ¹0, q (t), входящие в эти урав­нения, являются непрерывными (вещественными или комплекс­ными) на некотором t -интервале J , который может быть как огра­ниченным, так и неограниченным. Причина, по которой предпола­гается, что р(t)¹ 0, скоро станет ясной.

Из двух выражений (1.1) и (1.2) последнее является более общим, поскольку уравнение (1.1) может быть записано в виде

(p(t) и')' + р(t) f(t)u= р (t) h (t), (1.3)

если определить p(t) следующим образом:

(1.4)

при некотором a€J. Частичное обращение этого утверждения также верно, поскольку если функция р(t) непрерывно дифференци­руема, уравнение (1.2) можно записать в виде

,

а это уравнение имеет вид (1.1).

В случае, если функция р (t) непрерывна, но не имеет непрерыв­ной производной, уравнение (1.2) не может быть записано в виде (1.1). Тогда уравнение (1.2) можно интерпретировать как линейную систему из двух уравнений первого порядка для неизвестного двумерного вектора :

, . (1.5)

Другими словами, решение и = и (t) уравнения (1.2) должно быть такой непрерывно дифференцируемой функцией, что функция р(t) u'(t) имеет непрерывную производную, удовлетворяющую (1.2). Если р(t) ¹ 0 и q(t), h(t) непрерывны, к системе (1.5), а потому и к уравнению (1.2) применимы стандартные теоремы существования и единственности для линейных систем (Мы можем рассматривать также более общие (т. е. менее гладкие) типы решений, если предполагать, например, только, что функции 1/p(t), q (t), h (t) локально интегрируемы.)

Частному случаю уравнения (1.2) при соответствует уравнение

и" + q(t) u = h(t). (1.6)

Если функция принимает вещественные значения, урав­нение (1.2) может быть приведено к такому виду с помощью замены независимых переменных

, т.е. (1.7)

при некотором a € J. Функция s = s (t) имеет производную и потому строго монотонна. Следовательно, функция s = s (t) имеет обратную t= t (s), определенную на некотором s-интервале. После

Внимание, отключите Adblock

Вы посетили наш сайт со включенным блокировщиком рекламы!
Ссылка для скачивания станет доступной сразу после отключения Adblock!

Скачать