Большая Советская Энциклопедия (ШТ) - Большая Советская Энциклопедия "БСЭ" - Страница 28

Штурм (Sturm) Иоганн Кристофер (3.11.1635, Хиппольштейн, Бавария, — 25.12.1703, Альтдорф), немецкий математик, астроном и физик. Профессор математики и физики Альтдорфского университета (с 1669). Издал (1670) на немецком языке труды Архимеда с подробными комментариями, написал учебники математики. Занимался наблюдением комет.

«Штурм унд Дранг» («Sturm und Drang»), литературное движение в Германии конца 19 в. См. «Буря и натиск» .

Шту'рма пра'вило, правило, позволяющее находить непересекающиеся интервалы, содержащие каждый по одному действительному корню данного алгебраического многочлена с действительными коэффициентами. Дано в 1829 Ж. Ш. Ф. Штурмом . Для любого многочлена f (x ) без кратных корней существует система многочленов f (x ) = f _o (x ), f ₁ (x ),..., f _s (x ), для которой выполняются следующие условия:

  1) f_k (x ) и f_k+1 (x ), k= 0, 1,..., s— 1 не имеют общих корней,

  2) многочлен f_s (x ) не имеет действительных корней,

  3) из f_k (a)= 0, 1£ k £ s — 1, следует, что f_k-1 (a)f_k+1 (a ) < 0, 4) из f (a) = 0 следует, что произведение f (x )f ₁ (x ) возрастает в точке a.

  Пусть w(c ) — число перемен знаков в системе f (c ), f ₁ (c ),.. . ,f_s (c ). Тогда, если действительные числа а и b (а < b ) не являются корнями многочлена f (x ), то разность w(a ) — w(b ) неотрицательна и равна числу действительных корней многочлена f (x ), заключённых между а и b. Т. о., числовую прямую можно разбить на интервалы, в каждом из которых содержится один действительный корень многочлена f (x ).

Шту'рма — Лиуви'лля зада'ча, задача о нахождении отличных от нуля решений дифференциального уравнения

  -[p (x ) y' ]' + q (x ) y = ly , (1)

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

  A₁ y (a ) + B₁ y' (a ) =  0, А₂ у (b ) + B₂ y' (b ) = 0

  (т. н. собственных функций ), а также о нахождении значений параметра l (собственных значений), при которых существуют такие решения. При некоторых условиях на коэффициенты р (х ), q (x ) Ш.—Л. з. можно свести к рассмотрению аналогичной задачи для уравнения вида

  -y" + q (x ) y = ly. (2)

  Была впервые (1837—41) исследована Ж. Лиувиллем и Ж. Ш. Ф. Штурмом .

  Решение некоторых видов уравнений математической физики методом Фурье приводит к Ш.— Л. з. Например, задача о колебаниях однородной струны, закрепленной на концах, приводит к Ш.— Л. з. для уравнения —у" = lу с граничными условиями y (0) = y (p) = 0. В этом случае существует бесконечная последовательность значений 1² , 2² ,..., n ² ,... , которым соответствуют собственные функции sinnx , образующие на отрезке [0, p] полную ортогональную систему функций (см. Ортогональная система функций ). Аналогично обстоит дело и в общем случае, возникающем, например, при изучении распространения тепла в неоднородном стержне и т.д. И здесь, если функция q (x ) в уравнении (2) непрерывна и действительна на отрезке [a , b ], a A ₁ , B ₁ , A ₂ , B ₂ — действительные числа, существует возрастающая последовательность действительных собственных значений l₁ ,... , l_п ,... , стремящаяся к бесконечности, причём каждому из l_п соответствует определённая с точностью до постоянного множителя собственная функция j_п (х ), имеющая n нулей на участке а < х < b. Функции j_п (х ) образуют на [а , b ] полную ортогональную систему функций [для уравнения (1) имеет место ортогональность с весом р (х )]. Полнота такой системы функций была доказана В. А. Стекловым в 1896. Весьма общие теоремы о разложении функций в ряды Фурье по системе j_п (х ) доказал Д. Гильберт (1904) с помощью теории линейных интегральных уравнений. При возрастании п собственные значения и собственные функции Ш.¾ Л. з. для уравнения (2) стремятся к собственным значениям и собственным функциям для уравнения —у" = lу при тех же граничных условиях. Большинство встречающихся в математике ортогональных систем функций, например, многочлены Лежандра, многочлены Эрмита, являются системами собственных функций некоторых Ш.— Л. з.

  Иногда Ш.— Л. з. называют краевую задачу для уравнения (1) при более общих краевых условиях:

  a_i y (а ) + b_i y' (а ) + g_i y (b ) + d_i y' (b ) = 0, i = 1, 2,

  где a_i , b_i , g_i , d_i — постоянные числа. Среди краевых условий такого вида наиболее важными являются у (а ) = у (b ), y' (a )=y' (b ) (периодические условия) и у (а )= —у (b ), у' (а ) = —y' (b ) (полупериодические условия).

  Многие задачи математической физики (например, задача о распространении тепла в бесконечном неоднородном стержне) приводит к Ш.— Л. з. на полуоси или на всей оси. В 1-м случае рассматриваются решения уравнения (2), удовлетворяющие условию A ₁ y (0)+B ₁ y' (0) = 0; вместо последовательности собственных функций здесь появляется совокупность собственных функций j(х , l), зависящих от непрерывно изменяющегося параметра l. Вместо разложения в ряды Фурье рассматриваются разложения вида

  где r(l) — некоторая неубывающая функция. Эти разложения аналогичны Фурье интегралу . При этом

  и

  Аналогичные факты имеют место и для Ш.— Л. з. на всей оси. Для некоторых задач математической физики важное значение имеет обратная Ш.—Л. з., т. е. задача о восстановлении дифференциального уравнения по функции r(l). Эта задача была поставлена в частном случае В. А. Амбарцумяном , а в более общем случае швед. математиком Г. Бортом и решена М. Г. Крейном, И. М. Гельфандом и Б. М. Левитаном.