Файл: Арсенин, В. Я. Методы математической физики и специальные функции учеб. пособие.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 16.10.2024
Просмотров: 145
Скачиваний: 0
Г л а в а IV
МЕТОД ФУРЬЕ РЕШЕНИЯ КРАЕВЫХ ЗАДАЧ
(метод разделения переменных)
Одним из наиболее широко применяемых в математи ческой физике методов является метод Фурье.
Типичными задачами, к решению которых применяется этот метод, являются краевые задачи в ограниченных областях для уравнений гиперболического и параболиче ского типа. Существо метода, состоящего в представлении искомого решения в виде рада Фурье по некоторой орто гональной системе функций, связанных с рассматривае мой задачей, лучше всего можно понять на простейших из них —на однородных краевых задачах. Мы будем рас сматривать параллельно краевые задачи для уравнений гиперболического и параболического типа.
Вопросы существования решения задач, рассматривае мых в этой главе, мы, как правило, не будем рассмат
ривать. Вопросы единственности их решений |
рассматри |
|
ваются в гл. VIII. |
|
|
§ 1. Предварительные понятия |
|
|
Если каждой функции / из |
множества |
поставлена |
в соответствие функция q> из |
множества Н2, |
то говорят, |
что на множестве Нг определен оператор Т со значениями
из множества Нг, и пишут ср = |
7’/ |
или (р==Т[/]. Напри |
мер, оператор |
|
|
Ti^lfC -) </$, |
о |
.V а, |
о |
|
|
определен на всех функциях, интегрируемых на отрезке [О, а], и функции ф (x) = Tf непрерывны па отрезке [0, а].
83
Пусть |
оператор |
7 |
определен |
на |
множестве |
Нг и |
Г / е Я 2 |
для всякой |
функции f из Нг. |
Будем полагать, |
|||
что множества Нг и Я2 |
принадлежат некоторому |
множе |
||||
ству (пространству) Я, |
для любых двух элементов кото |
|||||
рого cpj и <р2 определено понятие |
скалярного произведе |
|||||
ния (ф1; |
<р2), обладающее свойствами *): |
|
|
1) (Фь Фа) = (Фа. <Pi);
2) (фх + фа. Фз) = (ф1. Фз) + (фг> Фз); 3) (Яф!, ф2) = Я(ф1, ф2), где Я — произвольное число;
4) (ф, ф)5=0, причем (ф, ф) = 0 только для ф = 0.
Пространство |
Я |
предполагается |
линейным, т. е. та |
|
ким, |
что: |
Я |
и ф2 е Я , то фа + |
ф2 е Я; |
а) |
если фj е |
|||
б) |
если ф е Я |
и Я — число, то Яф е Я. |
Оператор Г*, определенный на множестве Я2, со зна чениями из множества Я2 называется сопряженным опе
ратору 7, если для всяких |
и ф е Я 2 справедливо |
равенство |
|
(Ф, 7/) = |
(Д 7*ф). |
Если 7 = 7*, то оператор 7 называется самосопря женным или эрмитовым.
§2. Сущность метода Фурье. Собственные функции
исобственные значения
1.Пусть требуется найти функцию и(Л4 , г1), удовлет воряющую для t > 0 уравнению
div (A V«) — ои = { ^U“' |
(1) |
I № |
|
в области D, ограниченной замкнутой кусочно-гладкой |
|
поверхностью S, непрерывную в замкнутой области |
В == |
= { Л 4 е Д /З г О}, где Z) = £>-|- 5, и удовлетворяющую |
|
дополнительным условиям: |
|
краевому |
|
( V i ^ + T 2 « )s = 0 |
(2) |
) // —гильбертово пространство.
84
и начальным |
|
|
|
|
|
|
и(М, 0)--=ф(УИ), ut (М, 0) = ф! (М) |
|
|
|
|||
|
(соответственно и (М, |
0) = |
ср (М)). |
(3) |
||
Если |
ввести обозначение |
L [и] == div (k Xu) — qu, то |
||||
уравнение (1) можно написать в виде |
|
|
|
|||
|
|
Ц «} = \ р“"’ |
|
|
(Г) |
|
|
|
|
\ рщ. |
|
|
|
Это уравнение и краевое условие (2) — линейные и |
одно |
|||||
родные. |
Следовательно, если |
и1 и и2 суть |
решения |
урав |
||
нения (1), удовлетворяющие условию |
(2 ), |
то и функции |
||||
и = с1и1-\-с2иг, где |
и с2 — константы, |
будут также реше |
ниями уравнения (1), удовлетворяющими условию (2 ). Попытаемся с помощью суперпозиции всех линейно
независимых частных решений описанного типа (т. е.
удовлетворяющих |
краевому условию (2)) |
удовлетворить |
||
и начальным условиям (3) *). Для |
этого |
будем |
искать |
|
нетривиальные**) |
частные решения |
уравнения (1), |
удов |
летворяющие краевому условию (2 ), в классе функций вида Ф(УИ)ЧГ(/), где Ф (М) непрерывные D, Т (i) непре
рывны в |
0 г=Д-<оо. |
Подставляя функцию Ф( М) ХР(^) |
|||
в уравнение (1) и деля |
обе части уравнения на р( М) х |
||||
х Ф (Л4) ¥ |
(/), |
получаем |
|
|
|
|
1[Ф ] |
= |
'F" |
/ |
Ч"\ |
|
|
|
(соответственно |
|
Чтобы это равенство было тождественным (т. е. чтобы функция Ф (Л1) 'F (z1) удовлетворяла уравнению (1) при всех (М, необходимо и достаточно, чтобы обе дроби L[Ф]/рФ и W'/W были равны одной и той же константе:
1[Ф J |
Л, |
дг • |
РФ |
Л — |
|
Таким образом, должны выполняться тождества |
||
¥ " + Я ¥ = 0 OP' - fWssO) |
и Т[Ф]+ЯрФ = 0. |
*) По аналогии с решением задачи Коши для обыкновенного линейного однородного дифференциального уравнения.
**) То есть не равные тождественно нулю.
85
Следовательно, в качестве функций Ф(0 и Ф (М) надо брать нетривиальные решения уравнений
/Лг = 0 (соответственно |
XF' + ?Л; = 0), |
(4) |
|
|
1[Ф] + ЯрФ = 0, |
|
(5) |
причем функция |
Ф (М) должна удовлетворять краевому |
||
условию |
|
|
|
|
[У1Ш + ЪФ)3= 0. |
(6) |
|
Задачу (5) —(6) |
называют задачей |
Штурма —Лиувилля. |
Она имеет нетривиальные решения не при всех значе ниях X.
О п р е д е л е н и е . Те значения X, при которых задача (5 ) —(6) имеет нетривиальные решения, называются соб ственными значениями (с. з.) краевой задачи (5) —(6 ),
а соответствующие им нетривиальные решения Ф(М)
уравнения (5) — собственными функциями (с. ф.) краевой задачи (5) —(6).
2. Для каждой краевой задачи (однородной или неод нородной), поставленной в области D, ограниченной по верхностью (линией) S, определим класс А функций Ф (М).
При |
рассмотрении |
краевой задачи |
первого типа |
к классу |
А отнесем |
все непрерывные |
в замкнутой об |
ласти В функции Ф(АГ), обращающиеся в нуль на поверх ности (линии) S. При рассмотрении краевой задачи вто рого или третьего типа к классу А отнесем все непре
рывные в В вместе с частными производными первого порядка по координатам точки М функции Ф(/И), удов летворяющие на границе S условиям:
да s = 0 для краевой задачи второго типа
и
(yi + Таф) 5 = 0 для краевой задачи третьего типа.
Здесь коэффициенты yj (М) и у2(М) те же самые, что и
вкраевом условии рассматриваемой задачи.
Вдальнейшем будем предполагать, что функции к (Л/),
q(M), р(Л4) |
непрерывны в области В и & ( М ) > 0 , |
q( M) ^ 0 , р(А1)>0 в В. |
|
При этих |
условиях справедлива |
86
Т е о р е м а 1. Существует бесконечное (счетное) мно жество собственных значений {Я„}, п= 1 , 2 , .... и соот ветствующих им собственных функций \Фп(М)\ краевой задачи (5) —(6 ), принадлежащих классу А.
Доказательство этой теоремы мы опускаем.
З а м е ч а н и е 1. Если заранее ограничиться рассмот рением функций класса А, то вместо слов «собственные значения и собственные функции краевой задачи (5 ) — (6)» можно говорить: «собственные значения и собственные функции оператора L».
З а м е ч а н и е |
2. |
Указанные выше |
условия на коэф |
|||
фициенты k(M), |
q{M), p(/W), |
Ух (М) |
и у2 (М) |
являются |
||
лишь достаточными для существования собственных |
зна |
|||||
чений и собственных функций. |
В дальнейшем будут рас |
|||||
смотрены примеры краевых задач, в |
которых |
некоторые |
||||
из этих условий не выполнены. |
В этих случаях сущест |
|||||
вование с. з. и с. |
ф. |
будет установлено фактическим |
на |
хождением их.
3. Напомним, что рядом Фурье функции / (М) по ор тогональной с весом р (М) > 0 системе функций {Фп(М)}
называется ряд
СО
2скФь(М),
вкотором коэффициенты ck вычисляются по формулам
ck - r < k fь\ f { P ) 9 { P) ®k{P)d%p'
1Ф* !2 = jj р{Р)Ф\(Р)дхР.
ь
Собственные значения и собственные функции краевой
задачи (5) —(6 ) обладают рядом |
свойств, |
из которых мы |
|
сформулируем прежде всего следующее. |
|
||
Т е о р е м а |
р а з л о ж и м о с т и |
( Стеклова ) . Всякая |
|
функция f (М) |
из класса А разлагается |
в ряд Фурье по |
собственным функциям краевой задачи (5) — (6), абсолютно
и равномерно сходящийся в области D.
Доказательство этой теоремы мы опускаем*).
4. Вернемся к рассмотрению задачи (1) —(3). Ее ре шение можно построить методом Фурье. Его называют
*) Для одномерного случая эта теорема будет доказана в гл. XI.
87
также |
|
методом разделения |
переменных. |
Сущность |
этого |
|||
метода |
состоит в |
следующем. |
(1), |
удовлетворяющие |
||||
а) |
Ищем решения |
уравнения |
||||||
только |
краевым |
условиям |
(3), |
среди |
функций |
вида |
||
и(М, |
t) = d>(M)W (t). |
Для |
функции Ф(М) получаем за |
дачу Штурма — Лиувилля (5) — (6).
б) Решаем задачу Штурма — Лиувилля. Пусть Фх(М), Ф3 (М), .... Фл (М), ... суть собственные функции этой задачи, а Я1( Х2, ... , Хп, ... — отвечающие им собственные значения.
в) Для каждого собственного значения Хп находим решение уравнения (4). Общее решение его имеет вид
(О = Спcos У К t + Dnsin УХп t
для уравнения (1) гиперболического типа и
4,»(0 = Cne -V
для уравнения (1) параболического типа.
г) Таким образом, частными решениями уравнения (I), удовлетворяющими только краевым условиям (2 ), яв ляются функции вида
ип(М, t) = (С,гcos У Хп t-\~Dnsin У К ^ Ф п{М)
для уравнения (1) гиперболического типа и
|
М М , 0 |
= Сяе -х»'ф п(М) |
|
|
|||
для уравнения (1) параболического типа. |
по |
всем |
|||||
д) Возьмем сумму таких частных решений |
|||||||
собственным функциям |
|
|
|
|
|
||
|
00 |
|
|
|
|
|
|
и(М, 0 = 1 ] (Сп cos y%nt + DnSin У к t) Фя (М) |
(7) |
||||||
ИЛИ |
П—1 |
|
|
|
|
|
|
|
|
оо |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
и(М, |
0 = |
X Спе~К*‘Фа (М). |
|
(72) |
||
|
|
П=1 |
|
|
|
|
|
Возникает вопрос: нельзя ли |
так |
выбрать коэффици |
|||||
енты Сп и Dn, |
чтобы эти |
суммы были решением задачи |
|||||
(1) —(3)? Положительный |
ответ дает |
замкнутой |
области |
||||
Т е о р е м а |
2. |
Непрерывное |
в |
||||
B = {jMeD, i ^ O ) |
решение задачи |
(1) —(3 ), |
принадле |
||||
жащее соответствующему классу А при всяком |
фиксиро |