Романовский П.И. Ряды Фурье. Теория поля. Аналитические и специальные функции. Преобразование Лапласа (1957) (1095472), страница 4
Текст из файла (страница 4)
Тогда получится график нечетной функции с периодом 2(, совпадающей с заданной функцией на интервале (О, !). Отсюда и из сказанного ранее о разложении нечетных периодических функций в ряды фурье следует, что если /'(х) имеет на [О, 1] не более конечного числа точек разрыва и абсолютйо интегрируема на этом сегменте, то внутри этого сегмента в точках дифференцируемости имеем разложение в ряд синусов: (гл.
г Ряды Фугьв и интвгглл Фхгьв й 7. УРАВНЕНИЕ СВОБОДНЫХ МАЛЫХ КОЛЕБАНИЙ СТРУНЫ И ЕГО РЕШЕНИЕ МЕТОДОМ ФУРЬЕ Рассмотрим натянутую струну, расположенную вдоль оси абсцисс. Если струна совершает малые поперечные колебания (т. е. каждая точка струны может смещаться только в вертикальном направлении и, следовательно, сохраняет величину своей абсциссы) без воздействия внешних сил, то можно показать (отбрасывая малые величины высших порядков), что если и (х, г) обозначает ординату точки струны с абсциссой х в момент г, то функция и(х, 1) будет удовлетворять линейному однородному уравнению с частными производными второго порядка даи д'и аз дН дхз ' (1.
25) где а — постоянное положительное число. Если струна имеет конечную длину 1 и ее концы с абсциссами 0 и 1 закреплены, то мы получаем следующие граничные условия: и(0, Г)=0; и(1, 1) =О. (1. 26) Будем сперва искать те решения уравнения (1.25) в области 0 (х (1, — со (1(+со> Х?" = ааХ" Т, (1.27) откуда после разделения переменных найдем: Л' Т" Х азТ' (1.28) удовлетворяющие граничным условиям (1.26), которые имеют специальный вид: Х(х) Т(Г), где Х вЂ” дважды непрерывно дифференцируемая функция от х на 10, 1), не равная тождественно нулю, Т вЂ” дважды непрерывно дифференцируемая функция от 1, не равная тождественно нулю. Вставляя и =ХТ в (1.25), получим: 7] УРАВнВнив сВоводных НАлых колВБАний стРУны 33 Так как левая часть не зависит от 1, а правая часть не зависит от х, то общая величина этих отношений есть некоторая постоянная Л; поэтому Х" — ЛХ= 0; Т" — Ла'Т = О.
(1.29) Строго говоря, формула (1.28) и, следовательно, формула (1.29) справедливы для тех х, где Х(х)чьО, и тех б где Т(!)~О. Но там, где Х(х) =О, имеем в силу (1.27) Х" (х) = О (ибо Т не исчезает тождественно), и там, где Т(Г) = О, имеем в силу (1.27) Т" (Г) = О (ибо Х не исчезает тождественно); поэтому равенства (1.29) справедливы для всех рассматриваемых л и А Граничные условия (1.26) дают: Х(0) Т (1) = 0; Х(Е) Т (1) = 0 и, следовательно (так как Т не исчезает тождественно), Х(0)=0; Х(1)=-0. (1.30) Покажем теперь, что при Л)~ 0 первое из уравнений (1.29) не может иметь на [О, 1[ решений, не исчезающих тождественно и удовлетворяющлх граничным условиям (1.30). В самом деле, если бы при Л > 0 нашлось такое решение, то в некоторой точке между 0 и 1 оно было бы отлично от нуля, например положительно (в противном .случае следовало бы заменить Х на — Х); тогда наибольшее значение Х на [О, 1[ должно было бы быть положительно и достигаться в некоторой точке 8 внутри этого сегмента.
Но тогда Х (Е) > 0; Х'(Е) = 0; Х" (с) = ЛХ(1) > 0 и, следовательно, в точке 1 функция Х должна иметь минимум, что нелепо. В случае Л=-0 первое из уравнений (1.29) превращается в Х" ==О, следовательно, Х линейна и при условиях (1.30) может быть только тождественным нулем. Итак, мы доказали, что Л ( О, поэтому можно положить Л= — вз, де 7т > О.
Уравнения (1.29) принимают вид Х" + мзХ= 0; Тв+ мзавТ = О. (1.29') Составляя и решая соответствующие характеристические уравнения этих однородных дифференциальных уравнений 3 Зан. !944. П. И. Ронанононна [гл. ! 34 Ряды Фугьв н ннтвгглл Фугьв с постоянными коэффициентами, найдем: Х=Сгсозйх+С,яппх; Т=1ЭгсозаИ+Оаяпайг, где С„Сы г)г, О,— постоянные. Граничные условия (1.30) налагают требования: С = 0; С соз й1+С яп й1 = О, откуда (так как Сань О, если С! = О) яп п1 = 0; й1 = пн г!и (и†целое); й = †; следовательно, ! Т = Т)! соз — + с), 3!п —, аап! илп! з ппх Х=С яп —; 2 откуда (полагая С,О!= А, С В = В) ппаГ ппаГ! .
ппх и = ХТ =1 А соз — + В яп — !яп — . (1.30 ) ! ) и(х, Г) = Г„! А„соя — +В„з1п — )з)п — (1.31) лчаГ лпаГ! . ппх и ! Обратно, непосредственно проверяется, что выражение (1.30') при любых постоянных А и В удовлетворяет уравнению (1.25) и граничным условиям (1.26). Таким образом, общий вид всех решений уравнения (1.25), удовлетворяющих граничным условиям (1.26) и имеющих специальный вид и =Х(х) Т(1), дается формулой (1.30').
Так как уравнение (1.25) и граничные условия (1.26) линейны и однородны, всякая линейная комбинация решений уравнения (1.25) с условиями (1.26) есть также решение уравнения (1.25) с условиями (1.26). В упомянутой линейной комбинации может участвовать не только конечное, но и бесконечное число функций, однако в последнем случае постоянные коэффициенты следует брать так, чтобы получающийся ряд и ряды, появляющиеся из него после однократных и двукратных почленных дифференцирований по рассматриваемым переменным, были бы равномерно сходящимися (тогда законны однократные и двукратные почленные дифференцирования, с которыми придется встретиться при проверке выполнимости (1.25)]. Таким образом, выражения вида ф 7[ УРАВнение сВОБОдных МАлых кОлеБАний стРУны 35 (при надлежащем осторожном выборе коэффициентов А„, В„) будут решениями уравнения (1.25) с условиями (1.26).
Предположим теперь, что для каждой точки струны известно ее начальное положение и начальная скорость. Тогда на и (х, г) должны быть наложены дополнительные ограничения вида и(х, О) = ср(х); иг'(х, О) =ф(х), (1.32) где ср(х), ф(х) — заданные функции [причем ср(0)=ср®= = ф(0) =ф(1) = 0[. Условия (1.32) называются начальными условиями. Будем искать среди решений вида (1.31) такие, которые удовлетворяют начальным условиям (1.32), т. е. подчиним функции ппаг ила!с .
ллх и(х, г) = 7 ~А„соз — +В„яп — ) яп —; п=г -| ссс с кч I пча . лчаг лча лчагс . пссх и| (х, г) = ~ ~ — — А яп — + — В соз — ) з[ив г г ° г ) условиям (1.32). Тогда получим (полагая 1=0)| ллх ф(х) = ~)„Ап з!и — ' а=с %1 ппа . лчх ф (х) = ~ —" В„яп —, и, следовательно [см.
формулы (1.24) для коэффициентов разложения функции на сегменте [О, 














