Файл: Арсенин, В. Я. Методы математической физики и специальные функции учеб. пособие.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 ),

принадле­

жащее соответствующему классу А при всяком

фиксиро­