Академический Документы
Профессиональный Документы
Культура Документы
Т. В. Михайлова, А. А. Хасанов
Учебное пособие
МОСКВА
МФТ И
2020
УДК 517.958(075)
ББК 22.161.6я73
М69
Рецензенты:
3
Предисловие
Время, прошедшее с момента издания в 2007 году учебного пособия
«Сборник типовых задач по курсу уравнения математической физики», ав-
торами которого являлись преподаватели кафедры высшей математики
МФТИ В. П. Михайлов, Т. В. Михайлова и М. И. Шабунин, показало его
востребованность у студентов МФТИ для самостоятельной работы при вы-
полнении домашних заданий и подготовке к экзаменам.
Изменения, накопившиеся за этот период в составе типовых задач, осо-
знание необходимости привлечения дополнительных приемов их решения
побудили авторов к актуализации пособия и внесения в него необходимых
изменений. Однако преждевременный уход из жизни В. П. Михайлова и
М. И. Шабунина не позволил им реализовать задуманное обновление.
Предлагаемое учебное пособие является реализацией такого обновления с
учетом их идей и наработок.
Стиль изложения и структура пособия не претерпели существенных
изменений. Изложение ведется на примерах решения задач, составляющих
стандартные наборы для самостоятельного решения и задач из экзаменаци-
онных контрольных работ, которые предлагались в течение многих лет сту-
дентам МФТИ с учетом элементов новизны в их постановках и методах
решений. В каждом разделе предварительно разбираются способы решения
базовых задач, которые составляют основу метода решения для задач дан-
ного раздела. Решение задач предваряет краткий справочный материал из
теории, цель которых — напомнить соответствующие темы лекционных
курсов. В пособие включена новая (по отношению к пособию, изданному в
2007 году) глава, посвященная некоторым методам поиска частных реше-
ний отдельных типов уравнений.
Предназначено для студентов физико-математических, физико-техни-
ческих и экономических специальностей, повышающих подготовку по
прикладной математике в рамках ГОС.
4
§ 1. ПРИВЕДЕНИЕ УРАВНЕНИЯ ВТОРОГО
ПОРЯДКА К КАНОНИЧЕСКОМУ ВИДУ. НЕКОТОРЫЕ
ГРАНИЧНЫЕ ЗАДАЧИ ДЛЯ УРАВНЕНИЯ ВТОРОГО
ПОРЯДКА НА ПЛОСКОСТИ
A x y, y a x y y ,
0
i , j 1
ij
0
i j
ническому виду.
В двумерном случае n 2 уравнение (I) примет вид
5
a x, y u xx 2b x, y u xy c x, y u yy Ф x, y , u , u x , u y , (II)
где a b c 0 и принадлежит (в точке или области):
гиперболическому типу, если b 2 ac 0 ;
параболическому типу, если b 2 ac 0 ;
эллиптическому типу, если b 2 ac 0 .
В случае n 2 уравнение можно привести к каноническому виду не
только в каждой точке, но и в окрестности точки, в которой уравнение со-
храняет тип.
Для уравнения (II) характеристическое уравнение
2 2
a x, y dy 2b x, y dxdy c x, y dx 0 (III)
распадается на два уравнения:
ady b b 2 ac dx 0 , (IVa)
ady b b ac dx 0.
2
(IVb)
6
x, y —действительные функции1). Тогда заменой переменных
x, y , x, y уравнение (II) приводится к каноническому виду
u u Ф1 , , u , u , u . (VI)
Замечание. В дальнейшем для удобства будем вместо u , писать
просто u , .
Пусть
1 2 y1 y2 ,
2 y2 y3 , (3)
y .
3 3
Тогда
4 y12 4 y1 y2 2 y2 y3 12 22 32 .
Следовательно, это уравнение является гиперболическим.
Из (3) нетрудно получить, что
_______________________________________________________________________________________
1)
Если a , b , c — аналитические функции, то существование общего интеграла
уравнения (III) вытекает из теоремы Ковалевской.
7
1 1 1
y1 2 1 2 2 2 3 ,
y2 2 3 , (4)
y ,
3 3
или
y B , где B (см. ( )) имеет вид
1 1 1
2 2 2
B 0 1 1
0 0 1
Тогда матрица B * имеет вид
1
2 0 0
1
B* 1 0
2
1 1 1
2
Рассмотрим согласно (**) преобразование B x , 1 , 2 , 3 ,
или
1
1 2 x1 ,
1
2 x1 x2 , (5)
2
1
3 2 x1 x2 x3 .
Запишем уравнение (2) в переменных 1 , 2 , 3 . Из (5) имеем
1 1 1
0 u x1 u1 u2 u3
2 2 2
3 u x2 u2 u3
−1 u x3 u3
1 1 1 1 1 1
4 u x1 x1 u11 u22 u33 u12 u13 u23
4 4 4 2 2 2
8
1 1 1 1 1 1
−4 u x1 x2 u12 u22 u23 u13 u23 u33
2 2 2 2 2 2
−2 u x2 x3 u23 u33
Слева от вертикальной черты написаны коэффициенты, с которыми со-
ответствующие производные входят в уравнение (2).
Приведя подобные члены, получаем
1 1 1 1 1 1 1
u11 4 u2 2 4 4 u3 3 4 4 2 u1 2 4 4
4 4 2 4 2 2 2
1 1 1 1 1
u13 4 4 u 23 4 4 4 2 u 2 3 u3 3 1 0
2 2 2 2 2
или
u11 u22 u33 3u2 4u3 0 .
Пример 2. Найти общее решение уравнения
3u xx 5u xy 2u yy 7 sin x 3 y . (1)
Найдем характеристики уравнения. Из (III) имеем
2 2 2
3 dy 5dxdy 2 dx 0 или 3 y 5 y 2 0 ,
1
откуда получаем, что y 2 и y . Следовательно, y 2 x C1 и
3
3y x C2 — два семейства характеристик уравнения (1). Введем характе-
ристическую замену переменных
2 x y,
(2)
x 3 y
и запишем уравнение (1) в новых переменных:
u x u 2 u 1,
u y u 1 u 3 ,
9
49u 7 sin .
Следовательно,
1
u cos C1 ,
7
где C1 — любая функция класса C 2 . Проинтегрировав последнее равен-
ство по , получаем
1
u , cos f g ,
7
где f и g — любые функции класса C 2 , откуда в силу замены пе-
ременных (2) находим общее решение уравнения (1):
1
u x, y 2 x y cos x 3 y f 2 x y g x 3 y .
7
u y 1
x2 , uy 2, x 0. (2)
y 1
yx u x u 1 u y
yx
10
yx u y u 1 u x
yx
x u xx u 2 yu y 2 u
y u yy u 2 xu x 2u
x y u xy xu x y u xyu u
Отсюда имеем
u x y x y u xy 2 yx 2 xy x y
u 2 yx 2 xy x y
2
yx yx
u 1 1 u y x x y 0.
yx yx
Следовательно, уравнение принимает вид
2
x y u 0 ,
или (так как x 0, y 0 )
u 0 . (4)
Отсюда следует, что u , f g , где f и g — любые
функции класса C 2 , является общим решением уравнения (3), а функция
u x, y f x y g xy (5)
есть общее решение уравнения (1).
Подберем функции f и g так, чтобы выполнялись условия (2).
Из (5) и (2) получаем
u y 1 f x 1 g x x 2 , x 0, (6)
uy f x 1 xg x 2, x0 (7)
y 1
11
Откуда следует, что
g x 2 x A, x 0, (9)
где A R — любое число.
Из (9) и (6) находим
f x 1 x 2 g x x 2 2 x A
2
x 2 2 x 1 1 A x 1 1 A,
или
2
f x 1 x 1 1 A,
откуда, обозначив q x 1 , получаем
f q q2 1 A . (10)
Из (5), (9) и (10) получаем
2
u x, y x y 1 A 2 xy A.
Следовательно, функция
2
u x, y x y 1 2 xy x 2 y 2 1
есть решение задачи (1), (2).
12
решение уравнения (1), удовлетворяющее условиям (2), определено одно-
значно формулой Д’Aламбера. Покажем, что Q — искомая область.
Пусть в некоторой области , Q существует решение u x, y
уравнения (1), удовлетворяющее условиям (2). Тогда функция
u1 x, y u x, y F x y 1 , x, y , где F t 0 для t 0 и
F t t 4 для t 0 , также является решением уравнения (1) в области ,
удовлетворяющее условиям (2) и отличным от u x, y в каждой точке
множества 1 x, y : x y 1.
Функции
u 2 x, y u x, y F x y , x, y ,
u3 x, y u x, y F x y 1 , x, y ,
u4 x, y u x, y F x y , x, y ,
также являются решениями в уравнения (1), удовлетворяющими условиям
(2) и отличными от u x, y в каждой точке множеств:
2 x, y : y x 0 ,
3 x, y : x y 1 ,
4 x, y : x y 0
соответственно.
Следовательно, Q — искомая область.
13
dy dx
б) xdy 2 ydx 0 2 ln y ln x 2 ln C x 2 y C2 .
y x
x2
Получили C1 и x 2 y C2 — два семейства характеристик уравне-
y
ния (1). Введем характеристическую замену переменных
x2
,
y (3)
x 2 y
и запишем уравнение (1) в новых переменных:
2x
x u x u x u x u x u 2 xy ,
y
x2
4 y u y u y u y u 2 u x 2 ,
y
2 2x 2x 2x
x2 u xx u u u 2 xy 2 yu 2 xy u u 2 xy ,
y y y y
2x x2 x2 2
2 x2 2
4y 2 u yy u 2
3 u 2 u x x u 2 u x
y y y y
Отсюда имеем
4 x4 4 x4
u 2 2 u 4 x 4 4 x 4 4 x 4 4 x 4 u 4 x 4 y 2 4 x 4 y 2
y y
x2 x2 x2 x2
u 2 4 2 8 u 2 x 2 y 4 x 2 y 2 x 2 y 16 x 4 ,
y y y y
16 x 4u 16 x 4 ,
u 1. (4)
Следовательно, u , f g , где f и g есть лю-
бые функции класса C 2 , является общим решением уравнения (4), а функ-
ция
x2
u x, y f g x 2 y x 4 (5)
y
есть общее решение уравнения (1).
14
Подберем функции f и g так, чтобы выполнялись условия (2).
Из (5) и (2) получаем
u y 1 f x2 g x 2 x4 3x 4 , 1 x 2, (6)
uy f x 2
x g x x
2 2 2
0, 1 x 2, (7)
y 1
x 2 x 2
(так как u y x, y f 2 g x 2 y x 2 ).
y y
Сделав замену z x 2 в (6) и (7), получаем
f z g z 2z2 , 1 z 4, (8)
zf z zg z 0, 1 z 4. (9)
Продифференцировав тождество (8) по z и сократив тождество (9) на
z , получаем
f z g z 4 z, 1 z 4, (10)
f z g z 0, 1 z 4. (11)
Сложив (10) и (11), имеем
2g z 4z, 1 z 4,
g z 2 z, 1 z 4,
2
g z z C, 1 z 4. (12)
Из (8) и (12) получаем, что
f z z 2 C, 1 z 4. (13)
Из (5), (12) и (13) находим, что
x4
u x, y 2
x 4 y 2 x4 ,
y
где
x2
1 z 4 из (13)
x, y Q { x, y R : 3
y }.
1 z x 2 y 4 из (12)
x2 2
y x
Нарисуем область Q , Q { x, y : 4 }.
1 y 4
x 2 x2
CD — это область задания начальных условий (2) задачи Коши (1), (2).
15
1
Найдем координаты точек A и B ; получим A 2, , B
2
2, 2
(рис. 1).
Рис. 1
Искомая наибольшая область Q — это криволинейный четырехуголь-
ник ADBC (доказать, что Q — действительно максимальная область).
16
§ 2. СМЕШАННАЯ ЗАДАЧА
ДЛЯ ПОЛУБЕСКОНЕЧНОЙ СТРУНЫ
17
1
u x, t a
x 0, t 0
2
gtt x, t g xx x, t dxdt f x, t g x, t dxdt
x 0, t 0
18
является функция
x, t f x at g x at ,
где f и g — любые функции класса C 2 .
В нашем случае общее решение уравнения (5) запишется в виде
x, t f 3 x t g 3 x t . (8)
3. Из (8) и условий (6) следует, что
t 0 f 3 x g 3 x e3 x , x0;
2
t t 0
f 3 x g 3x 9 x , x0.
Сделав замену переменной q 3 x в обоих выше написанных соотно-
шениях, получим
f q g q eq , q 0 , (9*)
f q g q q2 , q 0 . (9**)
Продифференцировав правую и левую части равенства (9*) по q,
получаем из (9*) и (9**)
f q g q eq , q 0 , (9***)
f q g q q2 , q 0 . (9****)
Сложив (9***) и (9****), находим
1 1
f q eq q 2 , q 0 , (10)
2 2
1 q 1 3
f q e q C, q 0 , (11)
2 6
где C — произвольная постоянная. Подставляя f q из равенства (11) в
соотношение (9*), получаем
1 1
g q eq q3 C , q 0 . (12)
2 6
Из (8), (11) и (12) следует, что решение задачи в области
x, t : 3x t 0,3x t 0 имеет вид
1 1 3 1 1 3
x, t e3 x t 3 x t e3 x t 3 x t . (13)
2 6 2 6
4. Из (8) и условия (7) имеем
x x 0 3 f t 3g t 3 , t 0 .
Разделив обе части этого равенства на 3, получим
19
f t g t 1 , t 0 .
Воспользовавшись соотношением (10), находим
1 t 1 2
e t g t 1 , t 0 .
2 2
1 1
g t 1 et t 2 , t 0 .
2 2
Положив p t , имеем
1 1
g p 1 e p p 2 , p0.
2 2
Следовательно,
1 1
g p p e p p3 C1 , p 0, (14)
2 6
где C1 — произвольная постоянная.
Таким образом, решение задачи в области x, t : 3x t 0,3x t 0
задается формулой
1 1 3 1 1 3
x, t e3 x t 3 x t 3 x t e 3 x t 3 x t C1 . (15)
2 6 2 6
5. Найдем связь постоянной C из формулы (12) и постоянной C1 из
формулы (14), требуя непрерывности решения задачи в области
x, t : x 0, t 0 . Для этого осуществим «склейку» по непрерывности
решений, задаваемых формулами (13) и (15) в соответствующих областях,
на общей границе этих областей, то есть на характеристике 3 x t 0 или,
что то же самое, «склейку» по непрерывности функций g , задаваемых
(12) и (14) в нуле:
1 1
C g 0 0 g 0 0 C1 .
2 2
Отсюда следует, что
C1 C .
Подставляя найденное значение C1 в формулу (14), получаем
1 1
g p p e p p3 С , p 0. (16)
2 6
Из (8), (11) и (16) следует, что решение задачи в области
x, t : 3x t 0,3x t 0 имеет вид
20
1 3xt 1 3 1 1 3
x, t
e 3 x t 3 x t e 3 x t 3 x t (17)
2 6 2 6
Из (13) и (17) следует, что решением задачи (5), (6), (7) является функ-
ция
1 3xt 1 3
2 e 3x t , 3 x t 0;
1 3xt 1 3 6
x, t e 3x t
2 6 3 x t 1 e 3 x t 1 3 x t 3 , 3 x t 0.
2 6
Следовательно, функция
u x, t x, t 6t sin x ,
где функция x, t определена выше, будет решением задачи (1), (2), (3).
21
Продифференцировав правую и левую части равенства (9*) по x , по-
лучаем
f x g x 3x 2 , x 0 . (9***)
Сложив (9***) и (9**), поделенное на 2, находим
2 f x 3x 2 , x 0 ,
3 2
f x x , x0,
2
1 3
f x x С, x 0, (10)
2
где C — произвольная постоянная. Подставляя f x из соотношения (10)
в равенство (9*), получаем
g x x3 f x , x 0 ,
1 1
g x x3 x 3 C x 3 C , x 0 . (11)
2 2
Из (8), (10) и (11) следует, что решение задачи в области
t : x 2t 0, x 2t 0 имеет вид
x ,
1 3 1 3
x, t
x 2t x 2t . (12)
2 2
Из (8) и соотношения (7) имеем
x 0 f 2t g 2t t 3 , t 0 .
Воспользовавшись соотношением (10), получим
1 3
2t C g 2t t 3 , t 0 ,
2
g 2t t 3 4t 3 C , t 0 ,
g 2t 3t 3 C , t 0 .
Положив p 2t , имеем
3 3
g p p C , p 0. (13)
8
Заметим, что из (11) и (13) следует, что «склейку» по непрерывности
функции в нуле проводить не надо в случае выполнения условий согласо-
вания.
Из (8), (10) и (13) следует, что решение задачи в области
x, t : x 2t 0, x 2t 0 имеет вид
22
1 3 3 3
x, t
x 2t x 2t . (14)
2 8
Из (12) и (14) следует, что решением задачи (5), (6), (7) является функ-
ция
1 3
1 3 2
x 2t , x 2t 0;
x, t x 2t
2 3 x 2t 3 , x 2t 0.
8
Следовательно, функция
u x, t xt 3 x, t ,
где функция x, t определена выше, будет решением задачи (1), (2), (3).
23
t t 0
3 f x 3 g x 9 , x 0 . (9**)
Продифференцировав правую и левую части равенства (9*) по x , раз-
делив обе части равенства (9**) на 3, получаем
f x g x 1 3x 2 , x 0 ; (9***)
f x g x 3x 2 , x 0 . (9****)
Сложив полученные равенства (9***) и (9****), находим
2 f x 1 , x 0 ;
1
f x , x0; (10)
2
1
f x
x C , x 0 , (11)
2
где C — произвольная постоянная. Подставляя f x из соотношения (11)
в равенство (9*), получаем
g x x x3 f x , x 0 ,
1
x x3 C , x 0 .
g x (12)
2
Из (8), (11) и (12) получаем, что решение задачи в области
t : x 3t 0, x 3t 0 имеет вид
x ,
1 1 3
x, t x 3t x 3t x 3t . (13)
2 2
Из условия (8) и соотношения (7) имеем
x x 0 f 3t g 3t f 3t g 3t 1 , t 0 .
Сделав замену 3t p в выше написанном соотношении, получим
f p g p f p g p 1 , p 0 .
Воспользовавшись соотношениями (10) и (11), находим
1 1
p C g p g p 1 , p 0 ,
2 2
1 1
g p g p p C , p 0 .
2 2
Положив q p , имеем
1 1
g q gq q C , q 0 ,
2 2
24
или
1 1
gq g q
C q , q 0 . (14)
2 2
Решая уравнение (14), получаем, что
1
g q C1eq q C , q 0 , (15)
2
где C1 — произвольная постоянная.
Найдем связь постоянной C из формулы (12) и постоянной C1 из фор-
мулы (15), осуществив «склейку» по непрерывности функции g в нуле:
0 C g 0 0 g 0 0 C1 C .
Отсюда следует, что C1 0 .
Подставляя найденное значение C1 в формулу (15), получаем
1
g q q C , q 0 . (16)
2
Из (8), (11) и (16) следует, что решение задачи в области
x, t : x 3t 0, x 3t 0 имеет вид
1 1
x, t
x 3t x 3t . (17)
2 2
Из (13) и (17) следует, что решением задачи (5), (6), (7) является функ-
ция
1 3
1
x 3t x 3t , x 3t 0;
x, t x 3t 2
2 1
x 3t , x 3t 0.
2
Следовательно, согласно (4), функция
u x, t t 2 x, t ,
где функция x, t определена выше, будет решением задачи (1), (2), (3).
25
u t 0 x ch x , ut t 0
sh x 3 , x0; (2)
1
ux sh t , t 0. (3)
x 0
1 9t 2
26
u x, t f x t g x 3t . (5)
Из условий (2) и соотношения (5) следует, что
u t 0 f x g x x ch x , x 0 ; (6*)
ut t 0
f x 3 g x sh x 3 , x 0 . (6**)
Продифференцировав правую и левую части равенств (6*) по x , полу-
чаем
f x g x 1 sh x , x 0 . (6***)
Вычтем из равенства (6**) равенство (6***). Получим
4 g x 4 , x 0 . (7)
Отсюда находим, что
g x 1 , x 0 ; (7*)
g x x C , x 0 , (8)
где C — произвольная постоянная.
Подставляя g x из соотношения (8) в соотношение (6*), получаем
f x x ch x g x , x0,
f x ch x C , x0. (9)
Из (8) и (9) следует, что решение задачи в области
x, t : x t 0, x 3t 0 имеет вид
u x, t ch x t x 3t . (10)
Из условия (3) и соотношения (5) имеем
1
ux f t g 3t sh t
, t 0. (11)
x 0
1 9t 2
Воспользовавшись соотношением (9), находим
f t sh t , t 0 ,
и, следовательно, из (11) получаем
1
sh t g 3t sh t , t 0;
1 9t 2
1
g 3t , t 0.
1 9t 2
Положив z 3t , получим
1
g z , z0.
1 z2
27
Следовательно,
g z arctg z A , z 0 , (12)
где A — произвольная постоянная.
Найдем связь между постоянной A из формулы (12) и постоянной C из
формулы (8), осуществив «склейку» по непрерывности функции g в
нуле:
g 0 0 g 0 0 ,
0C 0 A .
Отсюда следует, что
AC.
Подставляя найденное значение A в формулу (12), получаем
g z arctg z C , z 0 . (13)
Из (9) и (13) следует, что решение задачи в области
x, t : x t 0, x 3t 0 имеет вид
u x, t ch x t arctg x 3t . (14)
Из (10) и (14) следует, что решением задачи (1), (2), (3) является функ-
ция
x 3t , x 3t 0;
u x, t ch x t
arctg x 3t , x 3t 0.
28
§ 3. МЕТОД ФУРЬЕ РЕШЕНИЯ
СМЕШАННЫХ ЗАДАЧ
если u x, t C 2 QT C1 QT и удовлетворяет условиям (I), (II), (III),
(IV).
Часто вместо граничного условия (IV) рассматривается граничное
условие вида
u
x u x, t , x , 0 t T , (V)
n
в котором n — единичный вектор внешней по отношению к области
нормали к поверхности в n , а заданная на функция
x , x , непрерывна и неотрицательна, ( x C ,
x 0, x ); условие неотрицательности коэффициента x есть
физическое условие упругого закрепления границы. В случае, когда
x 0, x , задача (I), (II), (III), (V) называется второй, а в случае,
когда x 0, x , — третьей смешанной задачей для уравнения (I).
Если граница области состоит из нескольких гладких кусков, то на
каждом из этих кусков может задаваться одно из условий: либо типа (IV),
либо типа (V).
Аналогичные смешанные задачи рассматриваются и для уравнения
теплопроводности.
Функция u x, t C 2,1 QT C QT называется решением первой сме-
шанной задачи для уравнения теплопроводности:
29
1
ut u f x, t , x, t QT ; (VI)
a2
u t 0 x , x , (VII)
u x, t , x , 0 t T , (VIII)
если она удовлетворяет условиям (VI), (VII), (VIII).
Функция u x, t C x2,1,t QT C QT , удовлетворяющая условиям (VI),
(VII), (V), называется решением второй (при x 0, x ) или тре-
тьей (если x 0, x ) смешанной задачи для уравнения (VI).
Для каждой из сформулированных смешанных задач как в гиперболи-
ческом, так и в параболическом случаях имеет место теорема единственно-
сти, т.е. каждая из этих задач не может иметь более одного решения.
При достаточной гладкости заданных функций x , x , x, t ,
f x, t , x и выполнении условий их согласования, а также гладкости
границы области решения каждой из перечисленных смешанных задач
существуют.
30
, x ,
(X)
n x 0
имеет нетривиальное решение x — собственную функцию, соответ-
ствующую собственному значению .
Собственные функции x как в задаче (IX), так и в задаче (X), можно
считать вещественнозначными.
Совокупность всех собственных значений задачи (IX) (или (X)) состав-
ляет спектр соответствующей задачи. Спектр каждой из задач (и (IX), и (X))
состоит из счетного числа вещественных неотрицательных чисел
0 1 2 p , p при p , при этом собственное зна-
чение k в этой последовательности встречается столько (конечное число)
раз, сколько линейно независимых собственных функций отвечает этому
собственному значению; это число есть размерность соответствующего
собственного подпространства рассматриваемого оператора и называется
кратностью собственного значения k .
Соответствующая последовательности p последовательность соб-
ственных функций p x образует ортогональный базис пространства
L2 (со скалярным произведением g , h L g x h x dx ; все функ-
2
ции считаем вещественнозначными).
Эта же система собственных функций является ортогональным бази-
сом в пространстве Соболева H 1 в случае задачи (X), а в случае задачи
o
(IX) — в подпространстве H 1 этого пространства, состоящего из всех
функций пространства H 1 , след которых на границе равен нулю.
Напомним (см., например, 17 , 18 ), что скалярное произведение в
1
H определяется равенством
g, h H g, h gh d x,
1
g g x1 ,, g xn .
o
Заметим, что самим С. Л. Соболевым пространства H 1 и H 1
o
были обозначены через W21 и W21 соответственно.
31
Поскольку в рассматриваемых случаях все собственные значения ве-
щественны и неотрицательны, то часто спектральный параметр задачи обо-
значают не через , а через 2 ; в этом случае собственными значениями
задачи являются соответствующие значения 2 .
Формальная схема метода Фурье следующая. Представим рядами
Фурье по соответствующим (пронормированным в L2 ) собственным
функциям функции x , x и функцию f x, t при каждом t 0, T
(считая их принадлежащими L2 и соответственно L2 при каждом
t 0, T ):
x k k x ;
k 1
x k k x ;
k 1
f x, t f t k k x ,
k 1
32
Случай, когда граничное условие (IV) или (V) для волнового уравнения
или соответствующее граничное условие для уравнения теплопроводности
не является однородным, сводится к рассматриваемому с помощью замены
искомой функции u x, t на функцию u x, t u x, t g x, t , где
g x, t — достаточно гладкая в QT функция, удовлетворяющая соответ-
ствующему неоднородному граничному условию.
В случае одного пространственного переменного ( n 1 ) приведен-
ные выше утверждения выглядят следующим образом. Пусть A, B
— конечный интервал оси Ox , а область QT x, t : A x B, 0 t T
— прямоугольник высоты T 0 с основанием A, B . Граница обла-
сти в этом случае состоит из двух точек: x A и x B ; в каждой из
этих точек (на соответствующей стороне прямоугольника QT ) задается
одно из граничных условий типа (IV) или типа (V).
Типичная смешанная задача в гиперболическом случае выглядит сле-
дующим образом:
1
utt u xx f x, t , x, t QT , (XI)
a2
u t 0 x , A x B , (XII)
ut t 0 x, x A B, (XIII)
u x A A t , t 0 T , (XIV)
ux Bu xB B t , 0 t T , (XV)
где число B 0 . Вместо условий (XIV) и (XV) могут быть, например,
условия
ux Au x A A t , 0 t T , (XIV’)
u xB B t , 0 t T , (XV’)
где число A 0 .
Аналогично обстоит дело и со смешанными задачами для одномерного
уравнения теплопроводности.
Спектральную задачу при n 1 рассмотрим только в двумерном слу-
чае n 2 , причем область будем считать либо квадратом (прямо-
угольником), либо кругом.
В обоих случаях воспользуемся методом разделения переменных.
Рассмотрим сначала случай квадрата (прямоугольника) в 2 .
33
Пусть, например, x, y : 0 x 1, 0 y 1 .
Решение u x, y задачи
u u , x, y 0 x 1, 0 y 1 .
u x 0 u x u x 1 0, 0 y 1, (XVI)
uy y 0 u y 1 0, 0 x 1 ,
где постоянная 0 (мы взяли, например, такое распределение гранич-
ных условий на сторонах квадрата), будем искать в виде произведения
X x Y y . Для функций X x и Y y получаем одномерные спектраль-
ные задачи :
X '' 2 X , 0 x 1, X 0 X ' 1 X 1 0 , (XVI”)
Y " 2Y , 0 y 1, Y ' 0 Y 1 0 , (XVI”)
где 2
. 2
Пусть последовательности , , , ,
2
1
2
2
2
n и
, , , , составляют спектры задач (XVI’) и (XVI’’), а ортогональ-
1
2 2
2
2
n
34
в которых — постоянная. Из (XVIII) следует, что
m m, m 0, 1, 2, ,
m Am cos m Bm sin m при m 1, 2 , ,
0 A0 при m 0,
где Am , m 0, 1, 2, , и Bm , m 1, 2, , — произвольные постоянные.
Общее решение уравнения (XIX) при m m, m 0, 1, 2 , , имеет
вид
Z m r Cm J m
r Dm N m
r , (XX)
где Cm и Dm , m 0 ,1, 2, , - произвольные постоянные, а J m и N m
— цилиндрические функции Бесселя и Неймана (см. 4 ). В интересующем
нас случае, когда r 0, R ,
Z m r Cm J m
r , m 0, 1, 2, ,
поскольку N m
r при r 0 .
Если учесть граничное условие в (XIX), то
m
Z m r Z m , k r Cm ,k J m k r , k 1, 2, ,
R
где k m — k -й положительный нуль функции J m , m 0, 1, 2,
0
Таким образом, функция A0 J 0 k r есть нетривиальное решение
R
2
0 0
задачи (XVII) при k k
R для всех k , k 1, 2, ,
m
а функции Am cos m Bm sin m J m k r при любых постоянных Am
R
и Bm являются решениями задачи (XVII) при
m
k m k , k 1, 2, , m 1, 2,
R
Весь спектр задачи (XVIII) состоит из собственных значений
35
2
m m
k k
R , k 1, 2, , m 0, 1, 2, (XXI)
Каждое собственное значение k , k 1, 2, , однократное, а соответ-
0
Amk , m 1, k 1,
2
R
k m
r J m r dr
0 R
36
R 2
k m
0 0
r dr f r , J R r sin m d
m
Bmk , m 1, k 1.
2
R
k m
r J m r dr
0 R
(Напомним, что скалярное произведение в L2 QR0 имеет вид
2 R
f , q L Q f x, y q x, y dx dy d f r , q r , r dr .)
2
0
R
QR0 0 0
m
При каждом m, m 0, 1, 2, , система функций
Jm k r ,
R
k 1, 2, , образует ортогональный базис в гильбертовом пространстве
L 0, R , скалярное произведение в котором определяется формулой
2
R
f , q L 0, R r f r q r dr .
2
0
0 r f r J R r dr
m
m
Ck , k 1, 2,
2
R
m
0 r J m Rk r dr
Замечание. При решении задач, связанных с функциями Бесселя, ис-
пользуется равенство
m
Am cos m Bm sin m J m k r
R
2
m k m
k A cos m B sin m J m r , k , m 1, 2, (XXV)
R m m R
37
3.1. Применение метода Фурье для решения
смешанных задач для волнового уравнения
и уравнения теплопроводности на отрезке
u " x 2 u x , 0 x 1, (1)
u ' 0 u 0 0 , (2)
u 1 0 . (3)
38
Соответствующие собственные функции при этом имеют вид
uk x C2 k cos k x C2 sin k x
C2 k cos k x sin k x , C2 0, k 1, 2,...
или
uk x k cos k x sin k x, k 1, 2,...
(здесь воспользовались соотношением C1 C2 ).
39
то получим следующую задачу:
1
t xx 17 cos 4t sin 6 x, t 0, 0 x ; (6)
36
t 0 6sin 24 x, 0 x ; (7)
x 0 0, t 0 ; (8)
x 0, t 0 . (9)
40
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашем случае спектр задачи (10)
и соответствующие собственные функции задаются равенствами
k2 k 2 , k 1, 2, , (11)
k x sin k x, k 1, 2, (12)
4. Таким образом, решение задачи (6), (7), (8), (9) представляется в виде
x, t Tk t k x , (13)
k 1
где
1, k 6;
ak (14)
0, k 1, 2, , k 6,
17 cos 4t sin 6 x 17 cos 4t ak k x , (15)
k 1
6 sin 24 x 6 24 x bk k x , (16)
k 1
где
6, k 24;
bk (17)
0, k 1, 2, , k 24.
5. Заменяя в уравнении (6) и условии (7) функцию x, t рядом
T t x
k k
согласно (13), функцию t x, t рядом T ' t x ,
k k
k 1 k 1
функцию xx x, t рядом T t " x T t x ,
k k
2
k k k
так как
k 1 k 1
41
1 2
T ' t x 36 T t x 17 cos 4t a x ,
k 1
k k
k 1
k k k
k 1
k k
(18)
t 0 Tk 0 , k x bk k x . (19)
k 1 k 1
42
Так как 24 24 , то уравнение примет вид: T24 t 16 T24 t и имеет
решение
T24 t C24 e 16t , C24 R .
Используя начальные условия задачи (21), получаем: T24 0 C24 6 ,
и, следовательно,
T24 t 6 e16t . (24)
Решим задачу (22).
Решение уравнения в задаче (22) имеет вид
2
k t
6
Tk t Ck e , Ck R .
Используя начальное условие задачи (22), получим
Tk 0 Ck 0 .
Следовательно,
Tk 0 0, k 1, 2, , k 6, k 24 . (25)
Таким образом, из (12), (13), (23), (24) и (25) следует, что функция
x, t T6 t 6 x T24 t 24 x
cos 4t 4 sin 4t e t sin 6 x 6e 16t sin 24 x
есть решение задачи (6), (7), 98), (9).
Отсюда, используя равенство (5), заключаем, что функция
u x, t 2 x 4 x, t
2 x 4 cos 4t 4 sin 4t e t sin 6 x 6e 16t sin 24 x
есть решение задачи (1), (2), (3), (4).
43
2. Рассмотрим новую искомую функцию x, t такую, что
x, t u x, t g x, t ,
x, t u x, t xt , (5)
и запишем задачу (1), (2), (3), (4) для функции x, t : так как
t x ut , xx u xx ,
t 0 u t 0 x t t 0 u t 0 ,
то получим следующую задачу:
t xx x, t 0, 0 x ; (6)
t 0 0, 0 x ; (7)
x x 0 0; t 0 ; (8)
x x 0; t 0 . (9)
Решение задачи (6), (7), (8), (9) будем искать в виде:
x, t Tk t k x , где k x — собственные функции следующей за-
k
дачи Штурма — Лиувилля:
" x 2 x , 0 x ;
' 0 0; (10)
' 0.
3. Решим задачу (10).
Пусть 0 . Тогда уравнение в (10) примет вид: " x 0 , и, следо-
вательно,
x C1 x C2 .
Из граничных условий в (10) имеем: ' 0 C1 0, ' C1 0 .
Следовательно, 0 x C2 , C2 R, C2 0 .
Возьмем, например, C 2 1 и получим, что функция 0 x 1 есть соб-
ственная функция оператора Штурмана — Лиувилля, отвечающая соб-
ственному числу 02 0 .
Пусть 0 . Тогда уравнение в (10) примет вид: " x 2 x 0 ,
и, следовательно,
x C1 cos x C2 sin x ,
44
' x C1 sin x C2 cos x .
Из условия 0 0 следует, что ' 0 C2 0 , то есть C2 0 и
x C1 cos x, C1 R, C1 0 . Возьмем, например, C1 1 , то есть
x cos x .
Из условия ' 0 получаем, что ' sin 0 .
Отсюда
k k , k Z , k 0 ,
k k , k Z , k 0 ,
k x cos k x, k Z , k 0.
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашем случае оператор Штурма
— Лиувилля (задача (10)) имеет следующие системы собственных значе-
ний и собственных функций:
02 0, (11)
0 x 1, (12)
k , k 1, 2, ,
2
k
2
(13)
k x cos k x, k 1, 2, (14)
4. Таким образом, решение задачи (6), (7), (8), (9) представляется в виде
x, t Tk t k x , (15)
k 0
x, x
k
x x d x
k
ak 0
, k 0, 1, 2, , (17)
x , x
2
x
k k
k dx
0
где
45
0 0 0 x 0 1 x (18)
Вычисляя интегралы, входящие в (17), получим при k 0 :
x2 2 2
0 x0 x dx 0 x 1dx 2
2
, x dx 1dx .
0
0
0
0
Следовательно,
. a0 (19)
2
Вычисляя интегралы, входящие в (17), получаем при k 1, 2, :
1
xk x d x x cos k xd x
0 0 k 0
x d sin k x
1
x sin k x 0 1 sin k x d x
k 0
k
1 cos k 1 1 1
cos kx 0 ,
k2 k 2
k 2
2 2
x dx cos kx
0
k
0
dx
1 1 1
1 cos 2kx dx x sin 2kx .
2 0 2 2k 0 2
Следовательно, из (17) имеем
ak x
2 1 1
k 1, 2,
k
(20)
,
2
k
5. Заменяя в уравнении (6) и условии (7) функцию k x, t рядом
T t x
k k
согласно (15), функцию t x, t рядом T ' t x ,
k k
k 0 k 0
функцию xx x, t рядом k
"
T t x T t x ,
k k
2
k k
так как
k 0 k 0
46
t 0 Tk 0 k x 0 0 0 x 0 1 x . (22)
k 0
47
ak
Tk t 2
k
2
1 e k t , k 1, 2, (26)
Таким образом, из (12), (14), (15), (25) и (26) следует, что функция
a 2
x, t T0 t 0 x Tk t k x t k2 1 e k t cos k x ,
k 1 2 k 1 k
где k и ak определены формулами (13) и (20) соответственно, есть реше-
ние задачи (6), (7), (8), (9).
Отсюда, используя равенство (5), заключаем, что функция
a 2
u x, t x t x, t x t t k2 1 e k t cos k x
2
k 1 k
есть решение задачи (1), (2), (3), (4).
48
t t 0 ut t 0 x 1 t 0 ut t 0 x 1 ,
то получаем следующую задачу:
tt xx 2 x x 2 cos t , t 0, 0 x 1 , (6)
t 0 0, t t 0 0, 0 x 1 , (7)
x 0 0, t 0 , (8)
x x 1 0, t 0 . (9)
Решение задачи (6), (7), (8), (9) будем искать в виде:
x, t Tk t k x , где k x — собственные функции следующей за-
k
дачи Штурма — Лиувилля:
" x 2 x , 0 x 1;
0 0; (10)
' 1 0.
3. Решим задачу (10).
Пусть 0 . Тогда уравнение в (10) примет вид " x 0 и, следова-
тельно,
x C1 x C2 .
Из граничных условий в (10) имеем: 0 C2 0, ' 1 C1 0. Та-
ким образом, x 0 , и, значит, 2 0 не являются собственным числом
задачи (10). Пусть 0 . Тогда уравнение в (10) примет вид
" x 2 x 0 , и, следовательно,
x C1 cos x C2 sin x .
Из условия 0 0 получаем, что, 0 C1 0 .
Поэтому x C2 sin x, C2 R, C2 0 .
Возьмем, например, C 2 1 , то есть x sin x .
Из условия ' 1 0 получаем, что ' 1 cos 0 .
Отсюда
k k , k Z ,
2
k x sin k x, k Z .
49
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашей задаче оператор Штурма
— Лиувилля имеет следующие системы собственных значений и собствен-
ных функций:
2
k2 1 2k , k 0, 1, 2, , (11)
2
k x sin k x, k 0, 1, 2, (12)
4. Таким образом, решение задачи (6), (7), (8), (9) представляется в виде
x, t Tk t k x , (13)
k 0
где
1
2 x x , x
2 x x x dx 2
ak
2
k
0
,
k
k 0, 1, 2, , (15)
x , x 1
2
k x dx
k k
0 0 0 x 0 1 x (16)
Вычисляя интегралы, входящие в (15), получаем
1 1
2 x x x dx 2 x x sin xdx
2 2
k k
0 0
1 1
1 1
2 x x d cos x 2 x x cos x
2 2
k k
k 0 k
0
1 1
1
2 2 x cosk xdx dx 2 2 x cos xdx
k
0 k 0
50
1
1 1 1
k2 2 2 x d sin x 2 2 x sin x
0
k 2
k
k 0
1
1 1 2 1 2
2 sin k xdx 2 2sin k x dx 3 cos k x 0 ,
0 k 0 k k3
1 1 1
2 2 1
x
0
k dx sin k x dx
0 2 0
1 cos 2k x dx
1
1 1 1
x sin 2k x .
2 2 k 0 2
Следовательно, из (15) получаем
4
ak 3 , k 0, 1, 2, (17)
k
5. Заменяя в уравнении (6) и условиях (7) функцию x, t (согласно
(13)) рядом T t x , функцию tt x, t
k 0
k k
рядом
k 0
k
"
T t x , функ- k
цию xx x, t рядом T t x T t x , ( k" x k2k ) и,
k 0
k
"
k
k 0
k
2
k k
51
Решение этого уравнения есть сумма общего решения однородного
уравнения, которое имеет вид: C1k cos k t C2 k sin k t , и частного решения
неоднородного уравнения, которое ищем в виде: A cos t B sin t .
Подставляя эту функцию в уравнение (22), получаем
A cos t B sin t k2 A cos t B sin t ak cos t .
ak
Отсюда B 0, A . 2
1 k
ak
Tk t 2
cos t cos k t , k 0, 1 , (23)
1
k
utt 4u xx , t 0, 0 x 3 ; (1)
52
x
u t 0 cos , ut t 0 x 3 , 0 x 3 ; (2)
2
u x x 0 sin t , t 0; (3)
u x 3 0, t 0. (4)
53
3. Решаем задачу (10).
Пусть 0 . Тогда уравнение в (10) примет вид: " x 0 , и, следо-
вательно,
x C1 x C2 .
Из граничных условий в (10) имеем, что
' 0 C1 0, 3 C1 3 C2 0 .
Отсюда C1 0, C2 0 и x 0 .
Таким образом, 2 0 не является собственным числом задачи (10).
Пусть 0 . Тогда уравнение в (10) примет вид: " 2 x 0 , и,
следовательно,
x C1 cos x C2 sin x .
Из условия ' 0 0 получаем, что ' 0 C2 0 , то есть C2 0 .
Поэтому x C1 cos x. C1 R, C1 0 .
Возьмем, например, C1 1 , то есть x cos x .
Из условия 3 0 получаем, что 3 cos 3 0 . Отсюда
3k 1 2k , k Z ,
2
1
k 1 2k , k Z ,
6
k x cos k x, k Z .
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашей задаче оператор Штурма
— Лиувилля имеет следующие системы собственных значений и собствен-
ных функций:
2
1
k2 1 2k , k 0,1, 2, , (11)
6
k x cos k x, k 0, 1, 2, (12)
4. Таким образом, решение задачи (6), (7), (8) представляется в виде
x, t Tk t k x ,(13)
k 0
54
где функции k x , k 0, 1, , определены в (12), а функции
Tk t , k 0, 1, , найдем, подставляя в уравнение (6) функцию x, t ,
определенную рядом (13), и используя условия (7).
Для этого правые части уравнения (6) и условий (7) представим рядами
Фурье по системе (12). Получим
x 3 ak k x ,
k 0
x 3 sin t sin t ak k x , (14)
k 0
где
3
x 3 , x
x 3 x dx
ak
k
, 0
k
k 0, 1, 2, , (15)
x , x 3
2
k k
x dx k
0
x
cos 1 x 0 0 x 1 1 x 0 2 x , (16)
2
0 0 0 x 0 1 x ,(17)
Вычисляя интегралы, входящие в (15), получаем
3 3 3
1
0 x 3 k x dx 0 x 3 cos k xdx k 0 x 3 d sin k x
3
1
x 3 sin k x
3
0 1 sin k xdx
k 0
3
1 1 3 1
k sin xdx cos x
0
k 2
k
k 0
k2
.
3 3
2
x dx
2
0
k cos x
0
k dx
3
1 1 1 3 3
2 1 cos 2 x dx 2 x 2
0
k
k
sin 2k x
0
2
.
55
5. Заменяя в уравнении (6) и условиях (7) функцию x, t рядом
T t x
k k
согласно (13), функцию tt x, t рядом k
"
T t x ,
k
k 0 k 0
функцию xx x, t рядом k
"
T t x T t x ,
k k
2
k k
так как
k 0 k 0
56
ak
Отсюда A 0, B . 2
2 k
1
Следовательно, решение уравнения (24) имеет вид
ak
Tk t C1k cos 2k t C2 k sin 2k t 2
sin t .
2k 1
Используя начальные условия задачи (22), получаем
Tk 0 C1k 0.
ak
T ' 0 C2 k 2k 2
0.
2k 1
1 ak
Отсюда C1k 0, C2 k , и, следовательно,
2k 2k 2 1
ak 1
Tk t 2 sin t sin 2k t , k 0, 2,... (25)
2k 1 2 k
Решим задачу (23).
1 8
Заметим, что 1 , 412 1, a1 (из (18)), поэтому уравнение
2 3
из (23) примет вид
8
T1" t T1 t sin t . (26)
3
Решение этого уравнение есть сумма общего решения однородного
уравнения, которое имеет вид C11 cos t C21 sin t , и частного решения неод-
нородного уравнения, которое ищем в виде
t M cos t N sin t , (27)
так как имеем случай резонанса.
Подставляя функцию (27) в уравнение (26), получаем
t M cos t N sin t 2 M sin t N cos t
8
t M cos t N sin t sin t.
3
4
Отсюда имеем, что M , N 0.
3
Следовательно, решение уравнения (26) имеет вид
4
T1 t C11 cos t C21 sin t t cos t.
3
57
Используя начальные условия задачи (23), получим
T1 0 C11 1 ,
4
T1' 0 C21 0.
3
4
Следовательно, C11 1, C21 и
3
4 4
T1 t cos t
sin t t cos t . (28)
3 3
Таким образом, из (12), (13), (25) и (28) следует, что функция
x, t T1 t 1 x Tk t k x
k 0, k 1
4 4 x
cos t sin t t cos t cos (29)
3 3 2
ak 1
2
sin t sin 2k t cos k x,
k 0, k 1 2k 1 2 k
где k и ak определены формулами (11) и (18) соответственно, есть реше-
ние задачи (6), (7), (8), (9).
Отсюда на основании равенства (5) получаем, что функция
u x, t sin t x 3 x, t ,
где функция x, t определена выше в (29), есть решение задачи (1), (2),
(3), (4).
58
Можно, например, пробовать искать такую функцию в виде много-
члена по x .
В данной задаче можно взять g x, t xt .
2. Рассмотрим новую искомую функцию x, t такую, что
x, t u x, t g x, t ,
x, t u x, t x t , (5)
Запишем задачу (1), (2), (3), (4) для функции x, t :
tt xx 2 cos x, t 0, 0 x ; (6)
2
t 0 0, t t 0 x, 0 x ; (7)
2 2
x x 0 0, t 0 ; (8)
0, t 0 . (9)
x
2
59
Таким образом, x 0 , и, следовательно, 2 0 не является соб-
ственным числом задачи (10).
Пусть 0 . Тогда уравнение в (10) примет вид " x 2 x 0 , и,
следовательно,
x C1 cos x C2 sin x ,
' x C1 sin x C2 cos x .
Из условия ' 0 C2 0 получаем C2 0 , так как 0 .
Поэтому x C1 cos x, C1 R, C1 0 .
Возьмем, например, C1 1 , то есть x cos x .
Из условия 0 получаем, что: cos 0 .
2
2
2
Отсюда
k k , k Z ,
2 2
k 1 2k , k Z ,
k x cos k x , k Z .
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашей задаче оператор Штурма
— Лиувилля (задача (10)) имеет следующие системы собственных значе-
ний и собственных функций:
2
k2 1 2k , k 0, 1, 2, , (11)
k x cos k x , k 0 ,1, 2, (12)
4. Таким образом, решение задачи (6), (7), (8), (9) представляется в виде
x, t Tk t k x , (13)
k 0
60
x a k k x , (16)
2 k 0
где
2
x, k x 2 x k x dx
2
ak 0 , k 0, 1, 2, (17)
k x , k x
2
2
k x dx
0
(так как k 1 2k ),
2 2
2 2
x dx cos x dx
0
k
0
k
2
1 1 1 2
1 cos 2k x dx x sin 2k x .
20 2 2 k 0 4
Следовательно, из (17) имеем
4
ak 2 , k 0, 1, 2, (18)
k
5. Заменяя в уравнении (6) функцию x, t рядом T t x
k k
со-
k 0
гласно (13), функцию tt x, t рядом T t x , функцию xx x, t ,
k
"
k
k 0
61
рядом T t x T t x , так как k" k2k x , функ-
k 0
k
"
k
k 0
k
2
k k
T ' 0 C2 k 4k 2 4k ak .
62
ak
Отсюда C1k 0 , C2 k , и, следовательно,
4 k 2 4k
ak
Tk t
2
4k 4k
sin
4k 2 4 k t , k 1, 2, (25)
63
1. Если условия (3) и (4) не являются однородными, то найдем ка-
кую-нибудь функцию g x, t , удовлетворяющую условиям (3) и (4).
Ищем ее, например, в виде g x, t A t x B t .
Тогда из (3), (4) получаем
g x x 0 A t 1,
1
g A t B t t .
x
4 4 4
t t
Следовательно, A t 1, B t
и g x, t x .
4 4
2. Рассмотрим новую искомую функцию x, t , такую, что
x, t u x, t g x, t ,
t
x, t u x , t x . (5)
4
Запишем задачу (1), (2), (3), (4) для функции x, t :
t
u x ,
4
1
ut t ,
4
u xx xx ,
1 1 t t 7
7 t xx 2 x 2 x 21 e t sin 4 x ,
4 4 4 4 4
или
1
7t xx 2 21 et sin 4 x ,
4
t
t 0 u t 0 x 7 cos 2 x .
4 t 0
Таким образом, для функции x, t получим следующую задачу:
1
7t xx 2 21 e t sin 4 x, t 0, 0 x ; (6)
4 4
t 0 7 cos 2 x, 0 x , (7)
4
x x 0 0, t 0 ; (8)
64
0, t 0 . (9)
x
4
65
k 2 1 2k , k Z ,
k x cos 2 1 2k x , k Z .
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашей задаче оператор Штурма
— Лиувилля (задача (10)) имеет следующие системы собственных значе-
ний и собственных функций:
2
k2 2 1 2k , k 0,1, , (11)
k x cos 2 1 2k x cos k x, k 0,1, (12)
4. Таким образом, решение задачи (6), (7), (8), (9) представляется в виде
x, t Tk t k x , (13)
k 0
где
2
sin 4 x x dx
sin 4 x, x
k
k
ak 0
, k 0,1, , (15)
x , x 2
2
k k
x dx k
0
(заметим, что 21 e t sin 4 x ak 21 e t k x )
k 1
sin 4 x x dx
0
k
66
4
14
sin 4 x cos k xdx sin 4 k x sin 4 k x dx
20
0
14
sin 4k 6 x sin 4k 2 x dx
20
1 1 4 1 4
cos 4k 6 x cos 4k 2 x
2 4k 6 0 4k 2 0
1 1 1 4 1
,
2 4k 6 4k 2 4k 6 4k 2 2k 3 2k 1
4 4 4
2 2 1
x
0
k dx cos k x dx
0 2 0
1 cos 2k x dx
1 1 4
x sin 2k x .
2 2k 0 8
Следовательно, из (15) имеем
8
ak , k 0, 1, (17)
2k 3 2k 1
5. Заменяя в уравнении (6) функцию x, t рядом T t x
k k
со-
k 0
гласно (13), функцию t x, t рядом T t x , функцию xx x, t
k k
k 0
рядом T t x T t x , так как k" x k2k x , функ-
k 0
k
"
k
k 0
k
2
k k
цию 21 e t sin 4 x рядом 21 e t
ak k x согласно (14), получим
k 0
1
7 Tk t k x Tk t k2k x
k 0 4 k 0
(18)
2 Tk t k x 21 e t akk x .
k 0 k 1
67
t0 Tk 0 k x 20 x 0 1 x . (19)
k 0
68
Найдем решение уравнения (25) при k 0, 2, 3,... (т.е. при k 1 ).
Общее решение этого уравнения есть сумма общего решения однород-
ного уравнения, которое имеет вид Cebk t , C R , и частного решения не-
однородного уравнения, которое ищем в виде Ae t .
Подставляя функцию Ae t в (25) при k 1 , получим
3 ak
Aet bk Aet 3 ak e t , A .
bk 1
Следовательно, общее решение уравнения (25) при k 1 имеет вид
3 ak t
Tk t Ce bk t e , k 0, 2,... (26)
bk 1
Вернемся к решению задачи (21).
Найдем C в (26), удовлетворяя начальное условие задачи (21):
3 ak 3 ak
Tk 0 C 0, C .
bk 1 bk 1
Таким образом, решение задачи (21) имеет вид
3 ak
Tk t
bk 1
e t e bk t , k 2, 3,... (27)
69
24
Bet Bte t Btet 3 a1e t , B 3 a1
5
8
(воспользовались тем, что a1 из (17)).
5
Следовательно, общее решение уравнения из задачи (23) имеет вид
24
T1 t Ce t te t .
5
Найдем постоянную C , удовлетворяя начальное условие задачи (23):
T1 0 C 0 .
Следовательно, решение задачи (23) имеет вид
24
T1 t te t . (29)
5
Таким образом, из (12), (13), (27), (28) и (29) следует, что функция
24
x, t 7e t cos 2 x te t cos 6 x
5
3 ak
b 1
e t e bk t cos 2 1 2k x ,
k2 k
70
. Так как условие (3) является однородным, то ищем решение задачи
(1), (2), (3) в виде ряда (XXIII) с зависящими от t коэффициентами
Amk t , k 1, 2,, m 0, Bmk t , k 1, 2,, m 1 .
Заметим, что правые части уравнения (1) и начальная функция условия
1
(2) есть et f r sin и 8J1 1 r sin соответственно. Поэтому из орто-
3
гональности системы собственных функций задачи (XVII) заключаем, что
в ряде (XXIII) следует положить коэффициенты Amk t 0 для всех
k 1, 2, , m 0 , и коэффициенты Bmk t 0 при всех k 1, 2, , и
m 1 , т.е. решение задачи следует искать в виде однократного ряда
1
u r , , t B1k t sin J1 k r
3
k 1 .
Переобозначим
B1k t Tk t , k 1, 2,
и будем искать решение задачи (1), (2), (3) в виде
1
u r , , t Tk t sin J1 k r . (4)
3
k 1
Разложим функцию f r в ряд Фурье (XXIV) по системе функций
1
J1 k r , k 1, 2, :
3
1
f r k J1 k r, (5)
3
k 1
где
3
k1
0 f r J r r d r
3
1
k , k 1, 2, (6)
2
3
k1
0 J1 3 r r d r
Подставим ряд (4) в уравнение (1) и условие (2). Воспользовавшись
разложением (5), получим
71
2
1 1 1
'
T t sin J1 k r 4 Tk t k sin J1 k r
k 3 3 3
k 1 k 1
(7)
1 1
3 Tk t sin J1 k r e t k sin J1 k r ;
3 3
k 1 k 1
k1 11
u
t 0 Tk 0 sin J
1 r
8 J 1
3
r sin . (8)
k 1 3
Здесь использовано равенство (5), а также равенство (см. (XXV))
2
1 1 1
sin J1 k r k sin J1 k r , k 1, 2,
3 3 3
Из соотношений (7) и (8) получаем
2
1
Tk t 3Tk t k e , k 1, 2, ;
' t
T t 4 k
k 3
8, k 1,
Tk 0
0, k 2, 3,
Отсюда, введя обозначение
2
1
k 4 k
3 3, k 1, 2, , (9)
получим следующие задачи для нахождения функций Tk t , k 1, 2, :
T t T t e t , 10
k k k k
Tk 0 0, k 2, 3,...; 11
и
T t T t e t , 12
1 1 1 1
T
1 0 8. 13
Решим задачу (10), (11). Общее решение уравнения (10) есть сумма об-
щего решения однородного уравнения, которое имеет вид
Сe k t ,
и частного решения неоднородного уравнения, которое ищем в виде
ae t (14)
(здесь заметим, что k 3 при всех k 1, 2, , т.е. резонанса нет).
72
Подставив функцию (14) в равенство (10), получим
aet k ae t k e t ,
a k 1 et k e t ,
k
a .
k 1
Следовательно, общее решение уравнения (10) имеет вид
Tk t Сe k t k e t , k 2, 3,
k 1
Найдем постоянную C , удовлетворив условие (11). Получим
Tk 0 C k , k 2,3,...
k 1
Отсюда имеем, что решение задачи (10), (11) имеет
k
Tk t e t e k t , k 2, 3, (15)
k 1
Аналогичным образом, решив задачу (12), (13), получаем, что
T1 t 8 1 e 1t 1 e 2t . (16)
1 1 1 1
Из соотношений (4), (15) и (16) получаем, что функция
1
u r , , t 8 1 e 1t 1 e t sin J1 1 r
1 1 1 1 3
1
k e t e k t sin J1 k r ,
k 2 k 1
3
где k и k , k 1, 2, , определены формулами (6) и (9) соответственно,
есть решение задачи (1), (2), (3).
73
Так как условие (3) является неоднородным, то подберем какую-ни-
будь функцию g x, y, t , удовлетворяющую условию (3). В данном случае
можно взять, например, g x, y, t 1 .
Введем новую искомую функцию x, y, t такую, что
x, y, t u x, y, t g x, y, t ,
x, y, t u x, y, t 1 , (4)
Тогда для функции получим следующую задачу:
tt 4 r 2 sin 2 , t 0, r 1, 0 2 ; (5)
2
t 0 r 1, t t 0 0, r 1 , (6)
r 1 0, t 0, 0 2 (7)
(здесь воспользовались тем, что 1 0, x r cos , y r sin ).
Так как условие (7) является однородным, то ищем решение задачи (5),
(6), (7) в виде ряда (XXIII) с зависящими от t коэффициентами Amk t ,
m 0,1, 2, , k 1, 2, , и Bmk t , m 1, 2, , k 1, 2,
Заметим, что правая часть уравнения (5) и начальные функции условий
(6) есть r 2 sin 2 , r 2 1, 0 соответственно. Поэтому из ортогональности си-
стемы собственных функций задачи (XVII) заключаем, что в ряде (XXIII)
коэффициенты Amk t 0 для всех m 0, k 1, 2, , а коэффициенты
Bmk t 0 для m 2, k 1, 2, , т.е. решение задачи (5), (6), (7) следует ис-
кать в виде суммы двух однократных рядов:
r , , t A0 k t J 0 k r B2 k t sin 2 J 2 k r .
k 1
0
k 1
2
Переобозначим
H k t A0 k t , Tk t B2 k t , k 1, 2,... ,
и будем искать решение задачи (5), (6), (7) в виде
k 1
2
k 1
r , , t Tk t sin 2 J 2 k r H k t J 0 k r .
0
(8)
функций J 0 k0 r , k 1, 2, Получим
74
r 2 bk J 2 k r ,
2
k 1
(9)
где
1
r
2
J 2 k r r d r
2
bk 0
1
, k 1, 2, ; (10)
2
J 2 k r
2
r dr
0
r 2 1 ak J 0 k r ,
0
k 1
(11)
где
1
r
2
1 J 0 k r r d r
0
ak 0
1
, k 1, 2, (12)
2
J r
0
0 k r dr
0
T t sin 2 J r H t J r
k 1
k
"
2 k
2
k 1
"
k 0 k
0
sin 2 J r
4 Tk t k 2
k 1
2
2
2
k (13)
4 H t J r b sin 2 J
2
k 1
k k
0
0
0
k
k 1
k 2
2
k
r ;
t 0 Tk 0 sin 2 J 2 k r
k 1
2
(14)
H k 0 J 0 k r ak J 0 k r ;
k 1
0
k 1
0
t t0
k 1
Tk' 0 sin 2 J 2 k r H k' 0 J 0 k r 0.
2
k 1
0
(15)
2
J r J r , k 1, 2,
0 k
0
k
0
0 k
0
75
2
Tk" t 4 k 2 Tk t bk , k 1, 2, ; (16)
2
H k" t 4 k
0
H k t , k 1, 2, ; (17)
Tk 0 0, k 1, 2, ; (18)
H k 0 аk , k 1, 2, ; (19)
T 0 0, k 1, 2, ;
k
'
(20)
H 0 0, k 1, 2,
'
k (21)
Решаем задачу (16), (18), (20).
Общее решение уравнения (16) есть сумма общего решения однород-
ного уравнения, которое имеет вид
С cos 2 k t D sin 2 k t ,
2
2
и частного решения неоднородного уравнения, которое, как легко видеть,
есть функция, тождественно равная постоянной
bk
2
.
4 k
2
Следовательно, общее решение уравнения (16) имеет вид
bk
С cos 2 k 2t D sin 2 k 2 t 2
.
4 k
2
Найдем постоянные С и D , удовлетворяя условиям (18), (20):
bk
Tk 0 C 2
0,
4 k
2
Tk 0 2k D 0 .
2
bk
Отсюда получаем, что С 2
, D 0 . Поэтому решение за-
4 k 2
а cos 2 t J r ,
k k
0
0 k
0
k 1
77
r , , t u r , , t 4 t r 2 sin 5 . (5)
Тогда, используя соотношение (4), для функции получим следую-
щую задачу:
t 4r 2 sin 5 84 t sin 5 , t 0, r 2, 0 2 ;
или
t 4r 2 sin 5 84 t sin 5 , t 0, r 2, 0 2 ; (6)
2
t 0 r 2 , r 2, 0 2 ; (7)
r 2 0, 0 2 , t 0 . (8)
Так как условие (8) является однородным, то ищем решение задачи (6),
(7), (8) в виде ряда (XXIII) с зависящими от t коэффициентами Amk t ,
k 1, 2, , m 0 и Bmk t , k 1, 2, , m 1 .
Заметим, что правая часть уравнения (6) и начальная функция условия
2
(7) есть 4r 2 sin 5 84t sin 5 и r 2 соответственно. Поэтому из орто-
гональности системы собственных функций задачи (XVII) заключаем, что
в ряде (XXIII) коэффициенты Amk t 0 для всех k 1, 2, , m 0, а коэф-
фициенты Bmk t 0 для k 1, 2, , m 5, т.е. решение задачи (6), (7), (8)
следует искать в виде суммы двух однократных рядов:
0 5
r , , t A0 k t J 0 k r B5k t sin 5 J 5 k r .
2 k 1 2
k 1
Переобозначим
H k t A0k t , Tk t B5 k t , k 1, 2,... ,
и будем искать решение задачи (6), (7), (8) в виде
5 0
r , , t Tk t sin 5 J 5 k r Hk t J 0 k r . (9)
2 k 1 2
k 1
2
Разложим начальную функцию r 2 в ряд Фурье (ХXIV) по системе
0
собственных функций J 0 k r , k 1, 2, :
2
2
0
r 2 ak J 0 k r ,
2
(10)
k 1
где
78
2
2 k0
r 2 J 0 2
r r d r
ak
0 , k 1, 2, (11)
2
2
k 0
0 J 0 2 r r d r
Неоднородность в правой части уравнения (6) представим в виде
4 r 2 sin 5 84 t 1 sin 5 .
Разложим функции r 2 и 1 в ряды Фурье (ХXIV) по системе функций
5
J 5 k r , k 1, 2,
2
5
r 2 bk J 5 k r , (12)
2
k 1
где
2 5
r 2 J 5 k r r d r
2
0
bk 2
, k 1, 2, ; (13
2 k5
0 J5 2 r r d r
5
1 dk J5 k r , (14)
2
k 1
где
2 k 5
0 5 2 r r d r
1 J
dk , k 1, 2, (15)
2
2
k
5
0 J 5 2 r r d r
Тогда из (12) и (14) имеем, что
4r 2 sin 5 84 t sin 5
5 5 (16)
4 bk J 5 k r sin 5 84t d k J 5 k r sin 5 .
k 1 2 k 1 2
Подставим ряд (9) в уравнение (6) и условие (7). Воспользовавшись
разложениями (16) и (10), получим
79
'
k5 0
T t sin 5 J 5 r H k' t J 0 k r
k 2 k 1 2
k 1
2
5 5
Tk t k sin 5 J 5 k r
k 1 2 2
2
0 0
H k t k J 0 k r (17)
k 1 2 2
5 5
4 bk sin 5 J 5 k r 84t d k sin 5 J 5 k r ;
2 2
k 1 k 1
5 0
Tk 0 sin 5 J 5 k r H k 0 J 0 k r
t 0 2 k 1 2
k 1
(18)
k 0
ak J 0 r
2
k 1
(здесь использованы равенства (см. (XXV)).
2
5 5 5
sin 5 J 5 k r k sin 5 J 5 k r , k 1, 2,
2 2
2
2
0 0 0
J0 k r k J0 k r , k 1, 2,
2 2 2
Из соотношений (17) и (18) получаем
2
5
Tk' t k
2 Tk t 4bk 84d k t , k 1, 2, , (19)
2
0
H t k H k t , k 1, 2, ,
'
(20)
k 2
Tk 0 0, k 1, 2, , (21)
H k 0 ak , k 1, 2, (22)
Решаем задачу (19), (21).
Общее решение уравнения (19) есть сумма общего решения однород-
ного уравнения, которое имеет вид
80
2
5
k t
2
Сe
и частного решения неоднородного уравнения, которое ищем в виде
At B .
Подставляя функцию At B в уравнение (19), получаем
2
5
A k
2 At B 4bk 84dk t .
Отсюда
5
A k B 4bk ,
2
k5
0 A 84 d k .
2
Следовательно, A Ak , B Bk , k 1, 2,... , и
84 d k 1 84 d k
Ak 2
, Bk
2 2
4bk , k 1, 2, , (23)
k 5
k k
5 5
2 2 2
где bk и d k , k 1, 2,... , определены формулами (13) и (15) соответственно,
и общее решение уравнения (19) имеет вид
2
5
k t
2
Tk t Ce
Ak t Bk , k 1, 2, ,
где Ak и Bk , k 1, 2,... , определены формулами (23).
Находим С , удовлетворяя условие (21):
Tk 0 С Bk 0 .
Отсюда C Bk и решение задачи (19), (21) имеет вид
2
5
k t
2
Tk t Bk e
Ak t Bk , k 1, 2, , (24)
где постоянные Ak и Bk , k 1, 2,... , определены формулами (23).
Решаем задачу (20), (22). Нетрудно увидеть, что решение этой задачи
имеет вид
81
2
0
k t
2
H k t ak e
, k 1, 2, (25)
Из соотношений (9), (24), (25) получаем, что функция
2
5
k t
2 5
r , , t Bk e
Ak t Bk sin 5 J 5 k r
2
k 1
2
0
k t
2 0
ak e
J0 k r ,
2
k 1
где Ak , Bk и ak , k 1, 2, , определены формулами (23) и (11) соответ-
ственно, есть решение задачи (6), (7), (8).
Следовательно, функция
u r , , t r , , t 4r 2 t sin 5 ,
где функция r , , t определена выше, есть решение задачи (1), (2), (3).
82
и запишем задачу (1), (2), (3), (4) для функции x, t . Получим
tt 7t xx 2 x e x sin 3 x, 0 x , t 0 ; (6)
t 0 0, t t 0 0, 0 x ; (7)
x 0 0, t 0 ; (8)
x 0, t 0 . (9)
Решение задачи (6), (7), (8), (9) будем искать в виде
x, t Tk (t ) k x , где функции k x есть собственные функции сле-
k
дующей задачи:
" x 2 ' x x , 0 x ;
0 0, (10)
0.
3. Решим задачу (10).
Пусть 0 . Тогда уравнение в (10) примет вид " x 2 ' x 0 , и,
следовательно,
x C1 C2 e2 x .
Из граничных условий в (10) имеем
0 0 C1 C2 , 0 C1 C2 e 2 .
Отсюда C1 0, C2 0 и x 0 . Следовательно, 0 не является
собственным числом задачи (10).
Пусть 0 . Тогда уравнение в (10) примет вид
" x 2 ' x x 0 .
Следовательно, возможны три случая:
а) если 1 , то
x C1e x cos x C2 e x sin x , (11’)
где 1 ;
б) если 1 , то
x C1e x ch x C2 e x sh x , (11’’)
где 1 ;
в) если 1 , то
x C1 e x C2 x e x . (11’’’)
83
Рассмотрим сначала последний случай. Из соотношения (11”’) и гра-
ничных условий задачи (10) имеем
0 C1 0, C1 0,
C1e C2 e 0. C2 0.
Следовательно, x 0 и 1 не является собственным числом за-
дачи (10).
Пусть теперь 1 . Тогда из соотношения (11’’) и граничных условий
задачи (10) имеем
0 C1 0,
C1 C2 e sh 0,
что возможно лишь в случае C1 C 2 0 (так как sh 0 , если
1 0 при 1 ).
Следовательно, x 0 и 1 не являются собственными числами
задачи (10). Наконец, рассмотрим случай 1 . Из соотношения (11’) и
граничных условий задачи (10) имеем 0 C1 0 . Следовательно,
x C2 e x sin x, C2 R, C2 0 . Возьмем, например, C 2 1 , то есть
x e x sin x .
Из условия 0 получаем, что e sin 0 . Отсюда
k k , k ,
k k , k ,
k x e x sin k x, k .
Оставляя среди найденной системы функций только линейно незави-
симые, получаем, что рассматриваемый в нашем случае оператор (задача
(10)) имеет следующие системы собственных значений и собственных
функций:
k k 2 1, k 1, 2, , (12)
k x e x sin k x, k 1, 2, , (13)
(так как k k 1 , то есть k k 1 , k k 1, k 1, 2, , ).
2 2
84
L k x k k x , 0 x , k 1, 2, ,
где
L x " x 2 ' x .
4. Таким образом, решение задачи (6), (7), (8), (9) будем искать в виде
x, t Tk t k x Tk t e x sin k x , (15)
k 1 k 1
где
1, k 3;
ak (16’)
0, k 1, 2, 4, 5,
5. Заменяя в уравнении (6) и условиях (7) функцию x, t рядом
T t x
k k
согласно (15), функции t x, t ,tt x, t , x x, t , xx x, t со-
k 1
Tk t k" x 2 Tk t k' x akk x ,
k 1 k 1 k 1
или
T t x 7 T t x T t L x a x ,
k 1
k
"
k
k 1
k
'
k
k 1
k k
k 1
k k
или
" '
T t x 7 T t x
k 1
k k
k 1
k k
(17)
Tk t 2
k k x ak k x ,
k 1 k 1
85
t 0 Tk 0 vk x 0, (18)
k 0
t t 0 Tk' 0 k x 0. (19)
k 0
86
где функция x, t определена выше, есть решение задачи (1), (2), (3), (4).
u t 0 0, ut t 0 0, 0 x 1 ; (2)
u 0, t , u x 1 0, t 0, (3)
3
где 10 — положительный нуль функции Бесселя J 3 .
Так как u 0 , то C2 0 и u x C1 J 3
x , C1 R, C1 0 . Учи-
87
Следовательно, собственные функции и собственные значения задачи
(4) это
uk x J 3 k x , k 1, 2, ,
3
2
(6)
k k3 , k 1 , 2,
Таким образом, решение задачи (1), (2), (3) ищем в виде
u x, t Tk t u k x , (7)
k 1
получаем
T t u x T t L u x e
k 1
k
"
k
k 1
k k
t
u10 x .
88
Tk t 0, k 1, 2, , k 10 . (12)
2
3
Решая задачу (11), получаем (учитывая, что 10 10 ), что общее
решение уравнения (11) есть сумма общего решения однородного уравне-
ния, которое имеет вид
C1 cos 10 t C2 sin 10 t ,
3
3
и частного решения неоднородного уравнения, которое ищем в виде ae t .
Подставляя функцию ae t в уравнение, получаем
2 1
aet 10 3 ae t et , a 2
.
1 10
3
Следовательно, общее решение неоднородного уравнения имеет вид
1
T10 t C1 cos 103t C2 sin 10 3 t 2et .
3
1 10
Находим постоянные C1 и C2 из начальных условий задачи (11):
1
T10 0 C1 2
0,
1 10
3
1
T10 0 C2 103 2
0.
1 10
3
Отсюда
1 t 1 3
T10 t 2
3
e cos 10 t 3 sin 10 t . (13)
1 1
2
10
Таким образом, из (7), (6), (12) и (13) следует, что функция
1 t 1
u x, t 2
e cos 10 t 3 sin 10 t J 3 10 x
3 3 3
3
1 10 10
есть решение задачи (1), (2) и (3).
89
§ 4. КРАЕВЫЕ ЗАДАЧИ
ДЛЯ УРАВНЕНИЙ ЭЛЛИПТИЧЕСКОГО ТИПА
равномерно по всем x S .
Аналогично пусть G1 R n \ G — область с общей с областью G глад-
кой границей S G , а nx — внешняя по отношению к G1 нормаль к S в
точке x S . Тогда принадлежащая C1 G1 функция u имеет правильную
u
нормальную производную на S , если существует
n
u x u x u
lim
x x
x G n
nx nx n
1 x
равномерно по всем x S .
90
IV. Внешняя задача Неймана: найти гармоническую в области G1
функцию u C G1 , регулярную на бесконечности, т.е. в трехмерном слу-
чае n 3 lim u x 0, т.е. u 0 , имеющую на S заданную (непре-
x
u
рывную) правильную нормальную производную u1 ( т.е. u1 ).
n G
91
1 u 1 2 u
r 0, r , Q . (II)
r r r r 2 2
Найдем частные решения этого уравнения, имеющие вид
u r , Z r Ф . (III)
В результате подстановки (III) в(II) получим два равенства:
Ф Ф 0 , 0 2 , (IV)
d
dr
rZ r Z r 0,
r (V)
92
u r , a0 ak cos k bk sin k r k , r R , 0, 2 ,
k 1
93
С помощью метода разделения переменных проведем построение си-
стемы простейших гармонических в R3 \ 0 функций, разложением в ряды
по которой в областях шарового типа можно получать решения краевых
для уравнения Лапласа.
Как и в двумерном случае, эта система обладает следующим свой-
ством: при любом R 0 функции системы, рассмотренные на сфере
x R , составляют полную ортогональную в L2 x R систему функ-
ций.
Уравнение Лапласа в сферических координатах имеет вид
1 2 u 1 u 1 2u
r sin 0, (VI)
r 2 r r r 2 sin r 2 sin 2 2
x r, , Q ,
(здесь, как и в двумерном случае, сохранено старое обозначение функции
при переходе к новым переменным, т.е.
u x u x1 , x2 , x3 u r cos sin , r sin sin , r cos u r , , .)
Решения уравнения (IV), имеющие вид u r , , Z r Y , , удо-
влетворяют условиям
r 2 Z r 2rZ r Z r 0 , r 0 , (VII)
1 Y , 1 Y ,
2
sin 2 Y , 0 , (VIII)
sin sin 2
0, 2 , 0, ,
в которых — некоторая постоянная. Нас интересуют только ограничен-
ные и 2 периодические по на единичной сфере Ф 0 Ф 2 ,
Ф 0 Ф 2 r 1, 0 2 , 0 решения уравнения (VIII).
Поэтому для тех решений этого уравнения, которые имеют вид
Y , Ф W , получаем следующие две задачи:
функция Ф должна быть 2 периодическим решением уравнения
Ф Ф 0 , 0, 2 , (IX)
а функция W должна быть ограниченным решением уравнения
1 d
sin W W 0 , 0, . (X)
sin d sin 2
94
Уравнение (IX) имеет 2 периодические решения только при
m m2 , m 0,1, 2,... , причем эти решения имеют вид
Ф Фm Am cos m Bm sin m , 0 2 , m 0,1, 2,... (XI)
А уравнение (X), в котором m m2 , имеет ограниченное решение
только при n n 1 , где n m — произвольное целое число (см.,
m
например, [1], [4]), причем это решение имеет вид W mn Pn cos
, 0 , где mn - произвольные постоянные, а Pn
m
, 1 1 ,
есть m —я присоединенная функция многочлена Лежандра Pn , R1 ,
где
dn 2 n
Pn
d n
1 , R1 . (XII)
m 2 dm
Pnm 1 2 Pn , 1 1 . (XIII)
d m
Общее решение уравнения (VII) при n n 1 имеет вид
n 1
Z r Z n r n r n n r , r0, (XIV)
при произвольных постоянных n и n .
Из сказанного следует, что при любом целом n 0 существует гармо-
ническая в R3 \ 0 функция
un r , , Z n r Yn , (XV) ,
где
n
Yn , Pn
m
cos mn cos m mn sin m
m 0
n
0 n Pn cos Pn
m
cos mn cos m mn sin m , (XVI)
m 1
95
По аналогии с двумерным случаем решение внутренней задачи крае-
вой задачи в шаре x R R 3 , R 0 , следует искать в виде
u n r , , r n Y , , r R , 0, 2 , 0, ,
n0
Y , , R1 r R2 , 0, 2 , 0, ,
n 1
un r , , r nY , r
n0
где
n
m
Y , 0 n Pn cos mn cos k mn sin k Pn cos (XVI)
m 1
96
1
жить 1 и считать, что P1 t t , t R1 , в формуле
2
d2 1
P2 t 2
dt 2
1 t 4 12t 4 3t
2 2
2
2
2
2
1 положить 2
4
и
12
P2 t 1 t 2 t , P2 2 t 1 t 2 ,
1
t 1,1 ,
12 32
P3 t 1 t 2 1 , P3 2 t 1 t 2 t , P3
3
1
5t 2
t 1 t 2 , t 1,1 ,
Следовательно, можно считать, что
Y0 , a00 ,
Y1 , a10 cos a11 sin cos b11 sin sin ,
Y2 , a20 3cos 2 1 a21 sin 2 cos
b21 sin 2 sin a22 sin 2 cos 2 b22 sin 2 sin 2 ,
Y3 , a30 5cos3 3cos a31 sin 5cos 2 1 cos
b31 sin 5cos 2 1 sin a32 sin 2 cos cos 2
b32 sin 2 cos sin 2 a33 sin 3 cos 3 b33 sin 3 sin 3 ,...
Решение краевой задачи для уравнения Пуассона можно свести к ре-
шению краевой задачи для уравнения Лапласа следующим образом. Берем
какое-нибудь (гладкое) решение u0 x уравнения Пуассона. Тогда функ-
ция x u x u0 x , где u x — искомое решение задачи для уравне-
ния Пуассона, является решением соответствующей краевой задачи для
уравнения Лапласа и тем самым u x x u0 x .
97
Ниже в областях x R , R 1 x R2 , x R , 0 R ,
0 R1 R2 , рассматриваются простейшие краевые задачи для уравне-
u
ния Лапласа (Пуассона), при этом в граничном условии u f
n x Q
всегда считается, что n — единичный вектор внешней по отношению к
рассматриваемой области нормали к границе, а постоянная 0 .
Напомним некоторые результаты.
Случай области x <R .
В этом случае решение уравнения Лапласа при граничном условии
u r R f единственно и существует при любой f C x R . В случае
u
граничного условия u f при 0 решение также един-
n x R
вольного слагаемого.
В трехмерном случае задача с граничным условием u r R f одно-
значно разрешима при любой f C x R , и задача с граничным усло-
98
u
вием u f , где 0 , также однозначно разрешима при лю-
n x R
бой f C x R .
Случай области R 1 < x <R 2 .
В этом случае, если хотя бы на одной части границы (на x R1 или
на x R2 ) задано граничное условие первой краевой задачи, например,
u r R f1 , а на другой части границы условие u r R f 2 либо условие
1 2
u
2u f 2 , то задача однозначно разрешима для любых
n x R2
u
2u f 2 , то при 1 2 0 эта задача однозначно разрешима
n x R2
99
x, y u x, y w x, y ,
x, y u x, y 2 y 3 , (4)
и запишем задачу (1), (2), (3) для функции x, y :
1
0 , r 1, 0 2 ; (5)
2
1
r 1 cos 2 , 0 2 , (6)
2 2
r 1 cos 2 , 0 2 . (7)
(Здесь пользуемся тем, что
1 1 3 1
r 1 u r 1 w r 1 sin 3 cos 2 2 r sin 1
cos 2 ,
2 2 2 4 2 r
2
2
r 1 u r 1 w r 1 2 sin 3 cos 2 2 r sin r 1 cos 2. )
Разложив правые части условий (6) и (7) в ряды Фурье по системе
1, cos ,sin ,..., cos n ,sin n ,... , получаем
1 1
u r 1 cos 2 , 0 2 , (6*)
2 4 4
r 1 cos 2 , 0 2 . (7*)
В силу ортогональности системы функций
1, cos ,sin ,..., cos n ,sin n ,... в пространстве L2 0, 2 ищем решение
задачи (5), (6*), (7*) в виде
d
r , a b ln r cr 2 2 sin 2 . (8)
r
Найдем коэффициенты a , b , c , d , подставляя (8) в (6*) и (7*). Получим
1 1 1 1
a b ln c 4d cos 2 cos 2 ,
2 4
1
r
2 4 4
r 1 a c d cos 2 cos 2 .
Отсюда имеем следующую систему линейных уравнений:
100
1
a b ln 2 0,
1 c 4d 1 ,
4 4
a 0,
c d 1.
1
Следовательно, a 0, b , c 1, d 0.
4ln 2
Из равенства (8) следует, что функция
1
ln r r 2 cos 2
4ln 2
есть решение задачи (5), (6), (7), а из (4) следует, что функция
1 1
u ln r r 2 cos 2 2 y 3 ln r r 2 cos 2 2r 3 sin 3
4 ln 2 4ln 2
есть решение задачи (1), (2), (3).
101
1
Следовательно, функция w r , cos 3 есть частное решение урав-
r
нения (3) (или, что то же самое, уравнения (1)). Введем новую искомую
функцию r , , такую что
r, u r , w r, ,
1
r , u r , cos 3 , (5)
r
и запишем задачу (1), (2) для функции r , :
0 , r 1, 0 2 ; (6)
2
r r 1 sin 2 cos3 , 0 2 . (7)
(здесь пользуемся тем, что
1 1
u ur r 1 u
cos 3 u r 2 cos 3
r r r 1
1 1
u ur r 1 cos3 2 cos 3 sin 2 2 cos 3 )
r r r 1
Представим правую часть условия (7) рядом Фурье по системе
1, cos ,sin ,..., cos n ,sin n ,... , получим
1 1
r r 1 cos 3 2 cos 3 , 0 2 . (7*)
2 2
Решение задачи (6), (7*) ищем в виде
b c
r , a 2 cos 2 3 cos3 . (8)
r r
Находим a, b, c , подставляя функцию, заданную соотношением (8), в
условие (7*). Получаем
r r 1 a b cos 2 c cos 3 2b cos 2 3c cos 3
1 1
cos 2 2cos 3.
2 2
1 1
Отсюда находим a , 3b , 4с 2 .
2 2
1 1 1
Следовательно, a , b , c .
2 6 2
Поэтому функция
102
1 1 1
r,
cos 2 3 cos 3
2 6r 2 2r
есть решение задачи (6), (7), а из (5) следует, что функция
1 1 1 1
u r , 2 cos 2 3 cos 3 cos 3
2 6r 2r r
есть решение задачи (1), (2).
103
r 1 a b 3cos 2 1 c sin 2 cos 2
2 1
3cos 2 1 sin 2 cos 2 ,
3 3
2 1
откуда находим, что a , b , c 1 .
3 3
Следовательно, функция
21 1 1 1
3 3cos 2 1 3 sin 2 cos 2
3r 3r r
есть решение задачи (4), (5), а из (3) следует, что функция
21 1 1 1
u 3 3cos 2 1 3 sin 2 cos 2 r 3 cos3
3r 3r r
есть решение задачи (1), (2).
0 2 , 0 .
104
1 1
Следовательно, A и w r , , f r 3 есть частное решение
2 2r
уравнения (3) (или (1)).
Введем новую искомую функцию r , такую, что
r , , u r , , w r , , ,
1
r, , u r , ,
, (5)
2r 3
и запишем задачу (1), (2) для функции r , , :
1
0 , r 1 , 0 2 , 0 ; (6)
2
3
r 1 cos 2 1 sin 2 sin 2 4 , r r 1
sin 2 sin , (7)
2 2
0 2 , 0
(здесь пользуемся тем, что
1
r 1 u r 1 3 cos 2 1 sin 2 sin 2 4 ,
2 2 2 r r 1
2
3 3
r r 1
ur r 1
4 sin 2 sin .)
2 r r 1 2
Разложим правые части условий (7) в ряды Фурье по системе сфериче-
ских функций. Получим
r 1 2 sin 2 sin 2 sin 2 4 sin 2 1 cos 2 sin 2 4
2
105
3
r r 1
b 2c 3d cos 2 sin 2 2k 3l sin 2 sin sin 2 sin
2
(здесь пользуемся тем, что
b 3d 3l
r 2 2cr 4 cos 2 sin 2 2 kr 4 sin 2 sin .)
r r r
Следовательно, для нахождения a , b , c , d , k , l получим следующую
систему линейных уравнений:
a 2b 4,
c
8d 1,
4
k
8l 0,
4
3
b ,
2
2c 3d 0,
2k 3l 1,
3 12 8 32 1
откуда находим a 1 , b , c , d , k , l .
2 67 67 67 67
Поэтому из равенства (8) следует, что функция
3 1 8 1 1
1 12 r 2 3 cos 2 sin 2 32 r 2 3 sin 2 sin
2 r 67 r 67 r
есть решение задачи (6), (7), а в силу (5) функция
1
u 3 ,
2r
где функция определена выше, есть решение задачи (1), (2).
106
§ 5. ЗАДАЧА КОШИ ДЛЯ ВОЛНОВОГО УРАВНЕНИЯ
И УРАВНЕНИЯ ТЕПЛОПРОВОДНОСТИ
Решением (классическим решением) задачи Коши для волнового урав-
нения
utt a 2 u f x, t , x R n , t 0 , (I)
u t 0 x , x R n , (II)
ut t 0
x , x R , n
(III)
называется функция u x, t C 2 x R n , t 0 , удовлетворяющая уравне-
нию (I) и условиям (II), (III). Здесь a — вещественная постоянная. Решение
задачи (I), (II), (III) единственно.
Если n 3 и
f x, t C 2 x R n , t 0 , x C 3 R 3 , x C 2 R 3 ,
то решение задается формулой Кирхгофа:
x y
f y, t
1 a dy 1
u x, t y ds y
4 a 2 x y at x y 4 a 2 t x y at
1
y ds y .
t 4 a 2 t x y at
Если n 2 и
f x, t C 2 x R n , t 0 , x C 3 R 3 , x C 2 R 3 ,
то решение задается формулой Пуассона:
1
t
f , d d
u x, t
2 a 0 x y at a 2 t 2 x y 2
y dy y dy
1 1 .
2 a 2
2 a t x y at a t 2 x y 2
x y at a2t 2 x y
2
Если n 1 и
f x, t C 1 x R n , t 0 , x C 2 R 3 , x C 1 R3 ,
то решение задается формулой Д’Аламбера:
107
x at
1 1
u x, t
2
x at x at
2 a x at
y dy
t x a t
1
d f y, dy.
2 a 0 x at
Решением (классическим решением) задачи Коши для уравнения теп-
лопроводности
ut a 2 u f x, t , x R n , t 0 , (IV)
u t 0 x , x R n , (V)
где a — вещественная постоянная, называется функция
u x, t C 2,1
x ,t x R n
, t 0 C x R , t 0 , удовлетворяющая уравнению
n
2
x y
t
f y, dy 2
4 a t
d n
e dy
0 R n
2a t
принадлежит классу B и является решением задачи Коши (IV), (V) (фор-
мула Пуассона).
При решении задачи Коши для волнового уравнения полезно иметь в
виду следующее. Пусть x C R n , x C R n и ряды
108
a 2nt 2n
a 2n t 2n 1
2n ! x ,
n 0
n
2n 1! x
n0
n
является функция
n
u x, t u x1 , x2 ,..., xn , t ui xi , t ,
i 1
109
Рассмотрим несколько достаточно часто встречающихся классов
начальных функций.
А Пусть начальная функция (начальные функции) есть собственная
функция (собственные функции) оператора Лапласа .
Заметим, что
sin x y z 3sin x y z ,
то есть sin x y z - собственная функция оператора .
Ищем решение задачи (1), (2), (3) в виде
u x, y, z , t f t sin x y z . (4)
Подставим соотношение (4) в уравнение (1), получим
f t sin x y z 3 f t 3sin x y z
Отсюда
f t 9 f t 0 ,
и, следовательно,
f t C1 cos 3t C2 sin 3t ,
где C1 и C2 – произвольные постоянные.
Значит, функция
u x, y, z , t C1 cos 3t C2 sin 3t sin x y z , (5)
при любых постоянных C1 и C2 удовлетворяет уравнению (1). Подберем
C1 и C2 так, чтобы выполнялись бы и условия (2) и (3).
Получаем
u t 0 C1 sin x y z 2sin x y z ,
ut t 0
C2 3sin x y z 5sin x y z .
Отсюда имеем
5
C1 2 , C2 .
3
110
Подставляя найденные значения C1 и C2 в (5), получаем, что функция
5
u x, y, z , t 2 cos 3t sin 3t sin x y z
3
есть решение задачи (1), (2), (3).
Этот же результат можно получить, воспользовавшись в данном случае
формулой (VI).
Нетрудно заметить, что
k
k sin x y z 3 sin x y z , k 0,1, 2,...
Поэтому, учитывая, что для задачи (1), (2), (3) a 2 3 и используя фор-
мулу (VI), получаем
k k
3k t 2 k 2 3 sin x y z 3k t 2 k 1 5 3 sin x y z
u
k 0 2k ! k 0 2k 1!
k 2k k 2 k 1
1 3t
1 3t 31
2 sin x y z 5sin x y z
k 0 2k ! k 0 2k 1!
1
2cos3t sin x y z 5sin 3t sin x y z
3
5
2 cos 3t sin 3t sin x y z .
3
111
xy 2 z 3 5t 2 xz 3 6 xy 2 z 25t 2 6 xz .
Пример 3
2ut 7 u , x, y, z R3 , t 0 ; (1)
u t 0 x 2 y z sin x ch z , x, y, z R3 . (2)
Обозначим
x 2 y z sin x ch z
2
и найдем , , …:
xx zz 2 cos x ch z x 2 y z sin x ch z
2sin x sh z x 2 y z sin x ch z
2cos x ch z 2sin x sh z ,
2
2 cos x ch z 2 sin x sh x
2 cos x ch z cos x ch z 2 sin x sh z sin x sh z 0 .
Следовательно, согласно формуле (VII) решение задачи (1), (2) имеет
вид
a2t 7
u x 2 y z sin x ch z t 2 cos x ch z sin x sh z
1! 2
x 2 y z sin x ch z 7t cos x ch z sin x sh z .
Пример 4
ut u xx 0 , x R1 , t 0 (1)
2
x 1
u t 0 e , xR . (2)
Так как
112
2
x y 1 2 xy x 2
y2 1 y 2
4t 4t 4t 4t
2
4t 1 4t 1 4t x x 2
y 2 y
4t 4t 4t 1 4t 4t
4t 1 2 4t 1 x x2
y 2 y
4t
4t 4t 4t 1 4t 4t 1
2
x2 x 2 4t 1 x x2
y
4t 4t 1 4t 4t 4t 4t 1 4t 1
2 2
4t 1 x x2
y ,
4t 4t 1 4t 1
то, сделав замену переменных в интеграле формулы Пуассона
4t 1 x
y ,
4t 4t 1
dy 1 4t
d ,
2 t
Получим
x2
1 2 t 2
u x, t e e 4 t 1
d
2 t 4t 1
x2 x2
1 1 2 1
e 4 t 1
4t 1 4t 1
e d
, t 0. e 4 t 1
113
Следовательно, при любой постоянной C и любом 0 функция
w x, t C x, t , , t 0, x R1 является ограниченным решением задачи
Коши:
wt wxx 0 , x R1 , t 0 ,
x2
4
Ce
w t 0 , x R1 .
1 1
Полагая , C , в силу теоремы единственности получим, что
4 2
решение задачи (1), (2) имеет вид
x2
1 1 e 4t 1
u x, t w x, t x, t , .
2 4 4t 1
С помощью полученного решения можно найти ограниченное решение
задачи:
ut u xx 0 , x R1 , t 0 , (3)
2
u t 0 xe x , x R1 . (4)
1 d x2
Поскольку начальная функция в задаче (3), (4) равна
2 dx
e , то
114
u t 0 sin x2 , x R1
представляется в виде
2
x
e 4t 1 1
u x, t Im , xR .
1 i 4t
D Иногда бывает очень удобно делать замену пространственных пе-
ременных.
а). Линейная замена пространственных переменных.
Найдем, например, решение следующей задачи:
Пример 5
ut u 0 , t 0 , x, y R2 ; (1)
2
12 x 5 y
u t 0 12 x 5 y e 2
, x, y R 2 . (2)
115
13
ut u 0 , t 0 , R1 , (4)
2
2
u t 0 2 e , R1 . (5)
12 x 5 y
( R1 , так как , x, y R2 ).
2
Ищем решение задачи (4), (5) с помощью формулы Пуассона (в данном
13 13
случае a 2 ,a ):
2 2
2
13
1 2 4 t
u , t 2 e e 2
d
13
2 t
2
2 2
2
1 2 1
26 t
13 t
e
e 26 t
d
13 t
e
d . (6)
Преобразуем
2
2 2 2
2 2
26t 26t 26t 26t
26t 1 2 26t 1 26t 2
2
26t 26t 26t 1 26t 26t 1 26t
2
2 2 26t 1 2
.
26t 1 26t 26t 26t 26t 1 26t 26t 1
Сделаем в интеграле (6) замену переменных:
26t 1 26t 26t 1
q , q , dq d ,
26t 26t 1 26t 26t 1 26t 1 26t
и, следовательно, выражение (6) примет вид
2
1 26t q2 26t 1 26t
u , t q e e dq
13 t 26t 1 26t 1 26t 1
2 2
1 26t 2 2
e 26 t 1
e q dq 32
e 26t 1 , R1 , t 0
13 t 26t 1 26t 1 26t 1
116
(в ходе вычисления мы воспользовались тем, что интеграл от нечетной
функции по симметричному промежутку равен нулю).
12 x 5 y
Таким образом, учитывая, что , получаем, что функция
2
12 x 5 y 2
12 x 5 y 2 26 t 1
u x, y , t 32
e , x, y R 2 , t 0,
26t 1
является решением задачи (1), (2).
Пример 6
ut u , x, y, z R3 , t 0 ; (1)
117
u t 0 x z sin z y , x, y, z R3 . (2)
где x z sin z y , a 2 1 .
Заметим, что в случае нахождения решения задачи Коши для волно-
вого уравнения следовало бы воспользоваться формулой (VI).
Найдем выражение для k , k 0,1, 2,... :
0 x z sin z y ,
1 yy zz x z sin z y 2 cos z y
x z sin z y 2 2cos z y , (4)
2 2 2 cos z y
2 2 cos x z
4 4 cos z y 2 2 cos z y 4 8 cos z y ;
k k 1
k 1 2 k 1 k 2 k cos z y , k 0,1, 2,... (5)
Подставляем соотношение (5) в (3) и получаем
k k 1
t k 1 2k t k 1 k 2k
u cos z y
k 0 k! k 0 k!
k k 1
2t t k 1 2k
cos z y
k 0 k! k 0 k 1!
m
2t 2t
e 2t cos z y e 2t cos z y 2t e 2t
m 0 m!
e2t x z sin z y 2te2t cos z y .
Второй способ поиска решения основан на следующих соображениях.
Так как согласно (4)
2 2cos z y ,
то пробуем искать решение задачи (1), (2) в виде
u f t g t cos z y . (6)
118
Подставив функцию, задаваемую формулой (6) в уравнение (1), полу-
чим
f t g t cos z y f t g t cos z y ,
f t g t cos z y f t 2 2 cos z y 2 g t cos z y ,
f t g t cos z y 2 f t 2 f t 2 g t cos z y .
Отсюда получаем
f t 2 f t , (7)
g t 2 f t 2g t . (8)
Подставляем функцию, задаваемую формулой (6), в начальное условие
(2), получим
u t 0 f 0 g 0 cos z y x z sin z y 1 0 cos z y .
Отсюда получаем
f 0 1 , (9)
g 0 0 . (10)
Найдем функцию f t из задачи (7), (9):
f t 2 f t ,
f 0 1 .
Нетрудно видеть, что
f t e2t . (11)
Тогда из (8) и (10) с учетом (11) для функции g t получаем задачу
g t 2 f t 2g t ,
g 0 0 .
Решением данной задачи будет функция
g t 2te2t . (12)
Таким образом, из (6), (11) и (12) получаем, что
u e2t 2te2t cos z y e2t x z sin z y 2te 2t cos z y
есть решение задачи (1), (2).
119
utt u x 2 y 2 sin t , t 0 , x, y, z R3 ; (1)
2
u t 0 x y 2 z cos x y 2 z , x, y, z R3 ; (2)
2 9 2
ut t 0
x2 y2 z z3 , x, y, z R3 . (3)
120
92
t t 0
x2 y 2 z 2 , x, y, z R3 ; (13)
а функция 3 — решение задачи
tt , t 0 , x, y, z R3 ; (14)
t 0 0 , x, y, z R3 , (15)
t t 0 z 3 x 2 y 2 4 , x, y, z R3 . (16)
Тогда решением задачи (5), (6), (7) является функция 1 2 3 .
Будем искать функцию 1 в виде 1 x, y, z , t V , t , где
x y 2 z . Тогда получим задачу для функции V , t :
Vtt 6V , t 0 , R1 , (17)
2 1
V t 0
cos , R , (18)
1
Vt t 0
0, R . (19)
Решение задачи (17), (18), (19) найдем с помощью формулы Д’Алам-
бера. Получим
1 2 2
V , t 6t cos 6t 6t cos 6t .
2
Следовательно, функция
1 2
1 x, y, z , t x y 2 z 6t cos x y 2 z 6t
2
2
x y 2 z 6t cos x y 2 z 6t
(20)
есть решение задачи (8), (9), (10).
Решение задачи (11), (12), (13) будем искать в виде
2 x, y, z , t W r , t , r x 2 y 2 z 2 .
Тогда для функции W r , t уравнение (11) примет вид
'' ''
rW tt rW rr , t 0, r 0 .
Введем новую искомую функцию
w r , t rW r , t , (21)
для которой получим смешанную задачу для «полубесконечной струны»2)
________________________________________________________________
2)
Смешанная краевая задача для «полубесконечной струны» изложена в § 2
данного пособия.
121
wtt wrr , t 0 , r 0 ,
w t 0 0 , wt t 0
r10 , r 0 ,
w r 0 0 , t 0 ,
Решением этой задачи, как нетрудно показать (см. § 2 данного посо-
бия) является функция
r t 11
r t 22 , r t 0,
11
w r, t 11
22 r t
, r t 0.
22
Следовательно, в силу (21) функция
r t 11
11 , r t 0,
w r, t r t 22r
2 x, y, z , t w r, t 11
(22)
r 22r r t
, r t 0.
22r
есть решение задачи (11), (12), (13).
Решение задачи (14), (15), (16) находим с помощью формулы (VI). По-
лучим функцию
t3
3 x, y, z , t t z 3 x 2 y 2 4 z 3 x 2 y 2 4
3!
t3
t z3 x2 y2 4
6z 4 , (23)
6
которая есть решение задачи (14), (15), (16).
Следовательно, в силу (4) функция
u x 2 y 2 4 sin t 1 2 3 ,
где функции 1 ,2 ,3 определены формулами (20), (21), (23) соответ-
ственно, есть решение задачи (1), (2), (3).
122
оператора Лапласа, ищем частное решение уравнения (1) в виде
u te8t xe 2 z
3 2
w x, y, z g t xe 2 z . (3)
t 0 y cos y
1 2 3
Подставляем функцию, определяемую формулой (3), в уравнение (1) и
получаем
g t xe2 z 2 g t 4 xe2 z e8t xe 2 z ,
g t 8 g t e8 t ;
в качестве решения этого уравнения можно взять, например, функцию
g t te8t
Следовательно, функция
w te8t xe 2 z
есть частное решение уравнения (1).
Введем новую искомую функцию такую, что u w . Тогда
u te8t xe 2 z (4)
Запишем задачу (1), (2) для новой функции :
t 2 , t 0 , x, y, z R3 ; (5)
5
t 0 x z y cos y sh x 2 y 3 z , x, y, z R3 . (6)
Пусть функция 1 — eсть решение задачи
t 2 , t 0 , t 0 , x, y, z R3 ; (7)
5
t 0 x z , x, y, z R3 . (8)
функция 2 — решение задачи
t 2 , t 0 , x, y, z R3 ; (9)
3
t 0 y cos y , x, y, z R (10)
функция 3 — решение задачи
t 2 , t 0 , x, y, z R3 ; (11)
3
t 0 sh x 2 y 3z , x, y, z R . (12)
Тогда функция 1 2 3 есть решение задачи (5), (6).
Из формулы (VII) следует, что функция
22 t 2 2
5
5
1 x z 2t x z
2!
5
x z
123
5 3
x z 80t x z 960t 2 x z . (13)
Из формулы (VII) получаем, что
2k t k k
2k t k
2 y cos y y cos y 2k
k 0 k ! k 0 k !
2k t k 1 k k
y cos y 1 2k sin y
k
2k t k 1 y cos y
k 0 k!
k 0 k!
k k
2k t k 1 2k sin y 2k t k 1
y cos y
k 0 k! k 0 k!
k k
2k t k 1 2k
2t 2
sin y y cos y e2t sin y
k 0 k! k 1 k 1 !
l
2t e2t y cos y 4te2t sin y .
e 2t y cos y 4t sin y (14)
l 0 l!
Так как sh x 2 y 3 z 14sh x 2 y 3 z (то есть это собственная
функция оператора ), то решение задачи (11), (12) ищем в виде
3 h t sh x 2 y 3z . (15)
Подставляя (15) в уравнение (11), получаем
h t sh x 2 y 3z 2 14h t sh x 2 y 3z ,
откуда
h t 28h t ,
h t Ce28t , C R .
Следовательно, функция
Ce28t sh x 2 y 3z ,
есть решение уравнения (11), где C R — произвольная постоянная.
Подбираем постоянную C , удовлетворяя начальное условие (12):
t 0 C sh x 2 y 3z sh x 2 y 3z .
Отсюда получаем, что С 1 и
3 e28t sh x 2 y 3z (16)
есть решение задачи (11), (12).
Таким образом, из (4) следует, что функция
u te8t xe 2t 1 2 3 ,
где функции 1 ,2 ,3 определены формулами (13), (14), (16) соответ-
ственно есть решение задачи (1), (2).
124
§ 6. ИНТЕГРАЛЬНЫЕ УРАВНЕНИЯ
Уравнение
x K x, y y dy f x , xG , (I)
G
125
Если при некотором значении параметра однородное уравнение
(II) ((II*)) имеет нетривиальные решения ( не равные нулю тождественно
в первом случае и не являющиеся нулевыми элементами L2 G — во вто-
ром, то это число называется характеристическим числом ядра
K x, y ( K * x, y соответственно), а соответствующие решения уравне-
ния (II), (II*) – собственными функциями ядра K x, y K * x, y , отве-
чающими этому характеристическому значению. Множество всех соб-
ственных функций, отвечающих характеристическому числу , после
присоединения к нему функции, тождественно равной нулю, является ли-
нейным подпространством Ker E K
1 2 1 1 1
u x x C2 sin x cos x x 2 C2 sin x cos x,
2 3 2 6 2
x , , C2 R
126
K x, y тогда и только тогда, когда является характеристиче-
ским числом ядра K * x, y . При этом кратности этих чисел конечны и
одинаковы, то есть k k .
Теорема 3. Уравнение (I) имеет решение тогда и только тогда, ко-
гда функция f x ортогональна всем элементам подпространства
Ker E K * , то есть f x Ker E K * (в скалярном произведе-
нии f , g f x g x dx ).
G
При этом решение определяется с точностью до слагаемого, кото-
рое является элементом подпространства Ker E K .
Теорема 4. При любом R 0 в круге R комплексной —плос-
кости не может быть более конечного числа характеристических чисел
ядра K x, y .
Заметим, что полезно ознакомиться с изложенными далее Приме-
ром 10 и Примером 11, в которых проиллюстрированы теоремы Фред-
гольма на примере конкретных уравнений.
Рассмотрим решение некоторых задач.
127
где C1 и C2 определены равенствами (2), (3).
Используя соотношение (4), запишем равенства (2) и (3) в виде
2 2
C1
2
y 2 C1 C2 x 1dy C
2
1 1 y 2 C2 y 3 dy
3 2
y 16 16 16
C1 1 C1 1 C1 ,
3 2
3 3 3
2
2
C2 C
2
1 C2 x 1dy C1 1 y 2 4 C1 4 .
128
16
0 C1 3 ,
4 3 C C 4.
16 1 2
129
Пример 2. Решить при всех допустимых значениях и a интеграль-
ное уравнение
u x x 2 cos y y sin x u y dy cos x a sin x , x , . (1)
Найти собственные функции и характеристические числа соответ-
ствующего интегрального оператора.
130
131
1
1 4 C1 ,
2 (6)
0 C 2 a.
2
132
1
C1 x 2 , x , , C1 R , C1 0 .
u1 x
4
Таким образом, u1 x x2 есть собственная функция, отвечающая
1
характеристическому числу 1 .
4
1
Если 2 , то система (8) примет вид:
2
1
1 4 C1 0, C1 0,
2
0 C2 0; C2 любое число.
Подставляя найденные C1 и C2 в (7), получаем, что
1
u2 x C2 sin x , x , , C 2 R , C2 0 .
2
Таким образом,
u2 x sin x
есть собственная функция, отвечающая характеристическому числу
1
2 .
2
xC1 C2 f x , x , ,
где
C1 u y sin ydy ,
(2)
2
C2 u y cos
ydy . (3)
133
Потому решение уравнения (1), если оно существует, имеет вид
u x xC1 C2 f x , x , , (4)
где C1 и C2 определены равенствами (2), (3).
Используя формулу (4), запишем равенства (2) и (3) в виде
C1 yC
1 C2 f y sin ydy C1 y sin ydy
C 2 sin ydy f y sin ydy
C1 yd cos y C2 cos y f y sin ydy
C1 y cos y cos ydy f y sin ydy
C1 y cos y cos ydy f y sin ydy
2 C1 f y sin ydy ,
C2 C y C
1 2 f y cos 2 ydy C1 y cos 2 ydy
2 2 1
C 2 cos
ydy f y cos
ydy C2 1 cos 2 y dy
2
1 1
f y cos 2 ydy C2 y sin 2 y
2 2
f y cos 2 ydy C2 f y cos
2
ydy .
134
C1 1 2 f y sin ydy ,
(5)
2
C 2 1 f y cos ydy.
f y sin ydy 0 ,
(8)
135
Поэтому и уравнение (1) при выполнении соотношения (8) имеет бес-
конечно много решений:
1 1 2
u x xC1 f y cos 2 ydy f x
2 2 3
1 1
2
xC1
3 f y cos
2
ydy f x , x , , 4
1
f y cos ydy 0 , (10)
136
u x x sin y cos 2 y u y dy , x , .
137
1
u2 x C 1 , x , , C2 R , C2 0 .
2
Таким образом,
u2 x 1
есть собственная функция, отвечающая характеристическому числу
1
2 .
1
3 x 2 C1 8 C2 6 x 2 7 , x ,1 ,
2
где
1
1
C1 u y dy , (2)
1 y2
2
1
C2 u y dy . (3)
1
2
138
1
1
3 C1 6 2 7 8 C2 dy
1 y
2
1
1 1
3C1 6 y 1 7 8 C2
2 y 1
2
1 3
3C1 6 7 8C2 1 C1 8C2 4
2 2 ,
1
C2 3C1 y 2 8 C2 6 y 2 7 dy
1
2
1
y3 1
3 C1 6 8 C2 7 y 1
3 1 2
2
1 7 1 7 7
3 C1 6 8 C2 7 C1 4 C2 .
3 8 2 8 4
Отсюда получаем систему линейных уравнений относительно C1 и
C2 с параметром :
3
1 2 C1 8C2 4,
(5)
7 7
C1 1 4 C2 .
8 4
Определитель системы (5) равен
3
1 8
2
7
1 4
8
3 5 1
1 4 6 2 7 2 2 1 2 . (6)
2 2 2
1) Если определитель системы (5) не равен нулю, то есть если
1
и 2 , то система (5) имеет единственное решение, которое
2
можно найти, например, с помощью правила Крамера:
C1 1 C2 2
, ,
139
где
4 8
1 7 4 1 4 14 4 2 2 2
1 4
4 ,
3
1 4
2 3 7 74 7 7 7
2 1 2
7 7 2 4 8 4 8 8
8 4 .
Отсюда, используя (6), получаем
22 2 4
C1
1 1 2 1
2
2 2 ,
7 2 7 7
C2
8 1 1 4 2 1
2 8
2 2 .
Подставляя в (4) найденные C1 и C2 , получаем решение уравнения
(1):
4 7
u x 3 x 2 8 6x2 7
2 1 4 2 1
12 2 14 1
x 6 x 2 7 , x ,1 .
2 1 2 1 2
1
2) Пусть 1 . Тогда система (5) приобретает вид
2
3 1 1 7
1 C1 8 C2 4 C 4C2 4
2 2 2 4 1
(7)
7 1 C 1 4 1 C 7 7 C C 7.
8 2 1
2
2
4 16
1 2
4
Очевидно, что система (7) решений не имеет. Следовательно, и урав-
нение (1) решений не имеет.
3) Пусть 2 2 . Тогда система (5) приобретает вид
140
3
1 2 2 C1 8 2 C2 4 4C
1
16C2 4
7 7 (8)
7 7 C1 C2 .
2 C1 1 4 2 C2 4 4
8 4
Очевидно, что система (8) имеет бесконечно много решений:
C1 1 4C2 , C2 любое число.
Поэтому и уравнение (1) имеет бесконечно много решений, которые
получаем, подставляя найденные выше C1 и C2 в (4):
u x 3 2 1 4C2 x 2 8 2 C2 6 x 2 7
1
6 x 2 24C2 x 2 16C2 6 x 2 7 8C2 2 3x 2 12 x 2 7, x ,1 , C2 R .
2
4) Найдем теперь собственные функции и характеристические числа
ядра, то есть найдем нетривиальные решения однородного уравнения:
1
3x2 1
u x 2 8 u y dy , x ,1 .
1 y 2
2
141
16
7C1 16C2
0, C1 C2 ,
7
7C1 16C2
0; C2 любое число.
Подставляя найденные C1 и C2 в (9), получаем, что
1 16 1 4
u1 x 3 C2 x 2 8 C2 C2 6 x 2 7 ,
2 7 2 7
1
x ,1 , C2 R, C2 0.
2
Таким образом,
u1 x 6 x2 7 есть собственная функция, отвечающая характеристи-
1
ческому числу 1 .
2
Если 2 2 , то система (10) примет вид
C1 4C2 C1 4C2 ,
0,
C1 4C2 C 0;
2 любое число.
Подставляя найденные C1 и C2 в (9), получаем, что
1
u 2 x 6 4C2 x 2 16C2 8C2 3 x 2 2 , x ,1 , C2 R , C2 0 .
2
Таким образом,
u2 x 3x2 2
есть собственная функция, отвечающая характеристическому числу
2 2 .
1
3 x 2 C1 8 C 2 f x , x ,1 ,
2
где
142
1
1
C1 y u y dy ,
1
2
(2)
2
1
C 2 u y dy . (3)
1
2
Введем обозначения:
143
1 1
1
A f y y 2
dy , B f y dy . (6)
1 1
2 2
144
Подставляя в (4) найденные C 1 и C 2 , находим решение уравнения
(1):
3 1 4 A 8 B 2 7 A 8 12 B 1
u x x f x , x ,1 , 4
1 1 2
2 8 2
2 2
1
f x — любая функция, f x C ,1
2
1 1
( напомним, что A 1
1
f y
y2
dy , B f y dy .)
1
2 2
1
2) Пусть 1 . Тогда система (7) приобретает вид
2
3 1 1
1 C1 8 C2 A,
2 2 2
7 1 C 1 4 1 C B;
8 2 1
2
2
7
C 4C2 A,
4 1 7C 16C2 4 A,
1 (9)
7 C C B; 7C1 16C2 16B.
16 1 2
или
1
1
y 2
4 f y dy 0 . (10)
1
2
145
Поэтому и уравнение (1) имеет бесконечно много решений, которые
находим, подставляя найденные выше С 1 и С 2 в (4):
1 16 4 1
u x 3 С2 A x 2 8 С2 f x
2 7 7 2
2 6
С2 12 x 2 14 x 2 A f x
7 7
4 6
1
1 1
С 2 6 x 2 7 x 2 2 f y dy f x , x ,1 , С2 R , (11)
7 7 1 y 2
2
1
f x C ,1 удовлетворяет соотношению (10).
2
Если же функция f x такова, что соотношение (10) не выполняется,
то система (9) и, следовательно, уравнение (1) решений не имеет.
3) Пусть 2 2 . Тогда система (7) приобретает вид
3
1 2 2 C1 8 2 C 2 A,
7
2 C 1 4 2 C B;
8 1 2
1
4C1 16C2 A, C1 4C2 A,
4
7 (12)
4 C1 7C2 B; C 4C 4 B.
1 2
7
Очевидно, что система (12) совместна тогда и только тогда, когда
1 4
A B
4 7
или
1 1
1 4
4y
1
2
f y dy 7 f y dy ,
1
2 2
то есть
1
7
y 2
16 f y dy 0 . (13)
1
2
146
1
1 1
С1 4С2 A, С2 любое число A 2 f y dy .
4 1 y
2
Поэтому и уравнение (1) имеет бесконечно много решений, которые
находим, подставляя найденные выше C 1 и C 2 в (4).
1
u x 3 2 4C2 A x 2 8 2 C2 f x
4
3
1
1 1
8С 2 3 x 2 2 x 2 2 f y dy f x , x ,1 , C2 R , (14)
2 1 y 2
2
1
f x C ,1 удовлетворяет соотношению (13).
2
Если же функция f x такова, что соотношение (13) не выполняется,
то система (12) и, следовательно, уравнение (1) решений не имеет.
6 5 y C y 3 C 2 y a by 3 dy
2
C1 1
1
4 С1 10 С2 12 a 2b ,
1
2 2
y C y 3 C 2 y a by 3 dy
2 2
C2 1 С1 a .
1 5 3
147
Отсюда получаем систему линейных уравнений относительно C 1 и C 2
с параметром :
1 4 C1 10 C2 12a 2b,
2 2a (5)
C1 C2 .
5 3
Определитель системы (5) равен
2
2 1 (6)
Если определитель системы (5) отличен от нуля, то система имеет
1
единственное решение при любой правой части, то есть если , то для
2
любых чисел a и b получаем
2 18a 3b 10a
C1 2 , (7)
3 2 1
10 a 32 a 12 b , (8)
C2 2
15 2 1
и уравнение (1) имеет единственное решение, задаваемое формулой (2), где
С 1 и С 2 определяются формулами (7) и (8).
1
Пусть , то есть 0 . Тогда система (5) приобретает вид
2
- C1 5C2 12a - 2b,
1 2a (9)
- 5 C1 C2 3 .
Следовательно, если числа a и b таковы, что справедливо равенство
10a
12a 2b , (10)
3
называемое условием разрешимости, то система (9) имеет бесконечно
много решений:
10a
С1 5С2 , С 2 любое число .
3
Уравнение (1) в этом случае также имеет бесконечно много решений:
1 10a 1 13a 3
u x x 2 5С2 3 xС2 a x , C2 R .
2 3 3 3
Отсюда имеем, что
148
5a 2 13a 3
u x C 5 x 2 3x
x x a , x 1,1 ,
3 3
где C — произвольная постоянная.
Если условие (10) не выполнено, то система (9) и, следовательно, урав-
нение (1) решений не имеют.
Из сказанного согласно первой теореме Фредгольма имеем, что число
1
1 и только оно является характеристическим числом ядра уравне-
2
ния (1).
1
Теперь найдем собственные функции ядра. Если , то система (5)
2
при a 0 и b 0 приобретает вид
C1 5C2 0,
1
5 C1 C2 0.
Отсюда С1 5С2 , С2 — любое число.
1
Следовательно, характеристическому числу 1 отвечает собствен-
2
ная функция
1 2 1 С
x 5С2 3 xС2 2 5 x 2 3x ,
u1 x
2 2 2
где С2 — любое число, не равное нулю, или
u1 x 5 x2 3x .
1
Заметим, что кратность k 1 характеристического числа 1 равна
2
1
k 1 1 , так как характеристическому числу 1 отвечает одна соб-
2
1
ственная функция u1 x 5 x2 3x ; в то же время кратность 1 как
2
2
корня характеристического многочлена 2 1 (см. (6)) равна
двум.
149
f x C x 1 , где x x1 , x2 , x3 R3 , y y1 , y2 , y3 R3 .
Найти собственные функции и характеристические числа соответству-
ющего интегрального оператора.
4
С1 y1 f y dy ,
15 y 1
С2 y2 y1С1 y2 С2 y3С3 f y dy
y 1
4
С2 y2 f y dy ,
15 y 1
С3 y y С
y 1
3 1 1 y2 С2 y3С3 f y dy
4
С3 y3 f y dy .
15 y 1
150
4
С1 1 y1 f y dy,
15 y 1
4
С2 1 y2 f y dy , (4)
15 y 1
С3 1 4 y3 f y dy.
15
y 1
15
Если определитель системы (4) не равен нулю, то есть если , то
4
система (4) имеет единственное решение при любой правой части:
1
y f y dy , j 1, 2, 3, (5)
4 y1 j
Cj
1
15
и, следовательно, уравнение (1) при любой функции f x ,
f x C x 1 , имеет единственное решение:
u x x1C1 x2C2 x3С3 f x , x 1 ,
где C j , j 1, 2, 3, определены равенствами (5).
15
Пусть . Тогда система (4) приобретает вид
4
С1 0 y1 f y dy ,
y 1
С2 0 y2 f y dy, (6)
y 1
С3 0 y3 f y dy.
y 1
151
15
u x x1C1 x2C2 x3С3 f x , x 1,
4
C1 , С2 , С3 любые числа .
Если же функция f x такова, что хотя бы одно из равенств (7) не вы-
полняется, то уравнение (1) решений не имеет.
15
По первой теореме Фредгольма — единственное характери-
4
стическое число интегрального оператора, кратность его равна 3.
В силу самосопряженности ядра K x, y x, y K * x, y из второй
и третьей теорем Фредгольма вытекает, что собственные функции, отвеча-
15
ющие характеристическому числу , суть функции x1 , x2 и x3 .
4
152
u 0 0 , u 1 0 . (4)
Таким образом, интересующая нас задача свелась к задаче нахождения
d2
спектра дифференциального оператора 2 на множестве функций из
dx
C 2 0,1 , удовлетворяющих граничным условиям (4). А решение этой за-
2
дачи хорошо известно: k k , k 0,1, 2,... — совокупность
2
собственных значений этого оператора, являющихся характеристическими
числами заданного ядра, а соответствующая система собственных функций
u k x sin k x , k 0,1, 2,...
2
Пример 9. Найти резольвенту интегрального уравнения (1)
Примера 3.
1 1
Из решения Примера 3 следует, что если , , то урав-
2
нение (1) Примера 3 имеет единственное решение, задаваемое формулой
4 Примера 3, где постоянные С1 и С2 определяются формулами (61) и
(62) Примера 3 соответственно (напомним, что нумерация формул в каж-
дом примере своя, т.е. в каждом примере формулы нумеруются от ( 1 ) до
( n ), n N ). Из (61) и (62) Примера 3 имеем
1
С1 f y sin ydy ,
1 2
1
С2 f y cos 2 ydy .
1
Отсюда, воспользовавшись соотношением 4 Примера 3, получаем
x
u x xС1 С2 f x f y sin ydy
1 2
x sin y cos 2 y
f y cos 2 ydy f x f y dy
1 1 2 1
f x R x, y , f y dy f x , x , ,
где
153
x sin y cos 2 y
R x, y ,
1 2 1
есть искомая резольвента.
sin x D1 cos2 x D2 , x , ,
где
D1 y y dy ,
(2)
154
D2
y dy . (3)
155
1
Еcли 1 , то система (5) примет вид
2
0 D1 0,
D любое число,
1 1
1 D2 0; D2 0.
2
Подставляя найденные D1 и D2 в (4), получаем, что уравнение (1) при
1
1 имеет нетривиальное решение:
2
1
x D1 sin x , x , , D1 R , D1 0 .
2
Таким образом, функция 1 x sin x есть собственная функция ядра
1
K x, y , отвечающая характеристическому числу 1 .
2
1
Если 2 , то система (5) примет вид:
1
1 2 D1 0, D1 0,
D2 любое число
0 D2 0;
Подставив найденные D1 и D2 в (4), получаем, что уравнение (1) при
1
2 имеет нетривиальное решение
1
x D2 cos 2 x , x , , D2 R , D2 0 .
Таким образом, функция 2 x cos 2 x есть собственная функция
1
ядра K x, y , отвечающая характеристическому числу 2 .
Следовательно, подпространства
Ker E 1 K a sin x a1 x , a R , (6)
Ker E 2 K b cos 2 x b 2 x , b R , (7)
Ker E K
0 , если 1 , 2 . (8)
(так как, если 1 , 2 , то уравнение (1) имеет только нулевое (триви-
альное) решение).
156
Напомним, что в Примере 3 у ядра
K x, y x sin y cos 2 y , x , , y ,
были найдены собственные функции u1 x x и u2 x 1 , отвечающие ха-
1 1
рактеристическим числам 1 и 2 соответственно. Следова-
2
тельно,
Ker E 1 K kx ku1 x , k R , (9)
Ker E 2 K l lu 2 x , l R , (10)
Ker E K 0 , если 1 , 2 . (11)
таким образом, мы непосредственно нашли, что в действительном случае
множества характеристических чисел ядер K x, y и K x, y совпадают
(как это и следует из Теоремы 2).
Кратко напомним другие результаты Примера 3 (см. решение При-
мера 3). В Примере 3 было получено, что уравнение
u x K x, y u y dy f x , x , , f x C ,
157
f y sin ydy 0 ,
или
f y y dy 0 ,
1
или
f y , y 0 ,
1
или
f y y dy 0 ,
2
или
f y , y ,
2
158
при выполнении данного условия на f x уравнение имеет бесконечно
много решений (см. ( 41 ) Примера 3):
1 1 1
u x x f y sin ydy C2 f x
3
x 1
f y sin ydy C u x f x ,
2 2 x , , С 2 R ,
3
159
1 1
3 3 1
x y 2 y dy 8 y dy 2 D1 8 D2 , x ,1 ,
2
x 1 1 x 2
2 2
где
1
D1 y 2 y dy , (2)
1
2
1
D2 y dy . (3)
1
2
160
1
1 1
2 0 2 .
2
2 2
1
Еcли 1 , то система (5) примет вид
2
3 1 7 1
1 D1 D2 0,
2 2 3 2
3 1 D 1 4 1 D 0.
1 2
2 2
7 7
4 D1 6 D2 0, 3
D2 D1 ,
2
3 D D 0. D1 любое число.
2 1 2
14 7
4 D D2 0, D1 ,
1 3 6
6 D1 7 D2 0. D2 любое число.
Подставив найденные D1 и D2 в (4), получаем, что уравнение (1) при
2 2 имеет нетривиальное решение:
161
6 1 7
x 3 2 D2 2 8 2 D2 D2 2 16 ,
7 x x
1
x ,1 , D2 R , D2 0 .
2
7
Таким образом, функция 2 x 16 есть собственная функция
x2
ядра K x, y , отвечающая характеристическому числу 2 2 .
Следовательно, подпространства
1
Ker E 1 K a 2 4 a1 x , a R , (6)
x
7
Ker E 2 K b 2 16 b2 x , b R , (7)
x
Ker E K 0 , если 1 , 2 (8)
(так как уравнение (1) имеет только нулевое (тривиальное) решение, если
1 , 2 ).
Напомним, что в Примере 3 у ядра
3x 2 1 1
K x, y 2
8 , x ,1 , y ,1
y 2 2
были найдены собственные функции: u1 x 6 x2 7 и u2 x 3x2 2 ,
1
отвечающие характеристическим числам 1 и 2 2 соответ-
2
ственно. Следовательно, подпространства
Ker E 1 K k 6 x 2 7 ku1 x , k R , (9)
Ker E K l 3x
2
2
2 lu x , l R ,
2 (10)
Ker E K 0 , если 1 , 2 . (11)
Таким образом, мы непосредственно нашли, что в действительном слу-
чае множества характеристических чисел ядер K x, y и K x, y совпа-
дают (как это и следует из Теоремы 2).
Кратко напомним другие результаты Примера 5 (см. решение При-
мера 3). В Примере 5 было получено, что уравнение:
162
1
3x 2 1 1
u x 2 8 u y dy f x , x ,1 , f x C ,1 (**)
1 y 2 2
2
или
1
y f y dy 0 ,
1
1
или
y , f y 0 ,
1
163
чно много решений (см. (11) Пример 5):
1
4 6 1
u x С2 6 x 2 7 x 2 2 f y dy f x
7 7 1 y
2
1
4 6 1 1
С2 u1 x x 2 2 f y dy f x , x ,1 , С 2 R ,
7 7 1 y 2
2
или
1
y f y dy 0 ,
1
2
или
y , f y ,
2
164
§ 7. НЕКОТОРЫЕ СПОСОБЫ ПОИСКА ЧАСТНЫХ
РЕШЕНИЙ НЕОДНОРОДНЫХ УРАВНЕНИЙ
Поиск частного решения рассматриваемых ниже уравнений основан на
учете тех или иных особенностей как самих уравнений, так и входящих в
них неоднородностей.
Сначала рассмотрим несколько примеров поиска частного решения
для уравнения теплопроводности или волнового уравнения.
165
C1 cos
54t C2 sin
54t ,
а частное решение неоднородного уравнения ищем методом неопределен-
ных коэффициентов в виде многочлена первой степени:
at b ,
который подставляем в уравнение (3), и получаем
0 54 at b t 3 .
1 3
Отсюда a , b .
54 54
Следовательно, функция
1
u0 C1 cos
54t C2 sin
54
t 3
54t
x2 y 2 z 2
Заметим, что 0 , и ищем частное решение уравне-
2 4 4
ния (1) в виде
x2 y 2 z 2
u0 f t . (2)
2 4 4
Подставим функцию, заданную соотношением (2) в (1). Получим
x2 y2 z2 x 2 y 2 z 2 x2 y 2 z 2
f t f t sin t ;
2 4 4 2 4 4 2 4 4
x2 y 2 z 2 x2 y 2 z 2
f t sin t ;
2 4 4 2 4 4
f t sin t . (3)
Решаем уравнение (3).
f t C1t C2 sin t .
Следовательно, функция
166
x2 y 2 z 2
u0 C1t C2 sin t
2 4 4
есть частное решение уравнения (1) при любых постоянных C1 и C2 .
167
ut a 2 u F t G x1 , x2 ,..., xn ,
либо уравнение
utt a 2 u F t G x1 , x2 ,..., xn ,
где функция G x1 , x2 ,..., xn обладает следующим свойством: существует
такое N , что N G x1 , x2 ,..., xn 0 .
Заметим, что
0 G x, y , z 0 x 2 y 2 z 2 x 2 y 2 z 2 G ; (2)
G x y z
1
2 y z x z x y Q ;
1 2 2 2 2 2 2 2 2 2
(3)
G Q 2 y z x z x y
2 1 2 2 2 2 2 2
2 2z 2 2 y 2z 2x 2 y 2 x 8 x y z P ;
2 2 2 2 2 2 2 2
(4)
3 G 2 Q 1 P
8 x 2 y 2 z 2 8 2 2 2 48 R ; (5)
4 G 3 Q 2 P 1 R 0 . (6)
Ищем частное решение уравнения (1) в виде
u0 f t G q t Q p t P r t R , (7)
где функции G , Q , P и R определены в (2), (3), (4) и (5) соответственно.
Подставим функцию, определяемую соотношением (7), в уравнение
(1). Учитывая соотношение (2), получаем
f t G q t Q p t P r t R f t G
q t Q p t P r t R G .
Воспользовавшись соотношениями (3), (4), (5) и (6), получаем
f t G q t Q p t P r t R
f t Q q t P p t R r t 0 G
откуда следует
f t 1 , (8)
q t f t , (9)
168
p t q t , (10)
rt p t . (11)
Очевидно, что функция
f t t (12)
есть решение (одно из решений) уравнения (8). Подставляя ее в (9), полу-
чаем
q t t ,
одним из решений которого является функция
t2
. q t (13)
2
Подставляем ее в (10), получаем уравнение
t2
, p t
2
одним из решений которого как легко видеть является функция
t3
p t . (14)
6
Подставляем ее в (11), получаем уравнение
t3
r t ,
6
одним из решений которого очевидно является функция
t4
r t . (15)
24
Из (7), воспользовавшись (12), (13), (14) и (15), а также соотношениями
(2), (3), (4) и (5) имеем, что функция
4
u0 t x 2 y 2 z 2 t 2 y 2 z 2 x 2 z 2 x 2 y 2 t 3 x 2 y 2 z 2 2t 4
3
есть решение (частное) уравнения (1).
169
u0 x1 ,..., xn , t f1 x1 ,..., xk 0 xk 1 ,..., xn , t , (II)
где функция 0 xk 1 ,..., xn , t является частным решением уравнения
tt xk 1 ,..., xn , t a 2 xk 1 ,..., xn , t f 2 xk 1 ,..., xn , t . (III)
Действительно, подставляя (II) в уравнение (I), имеем
f1 0 tt a 2 f1 0 2 f1 , 0 0 f1 f1 f 2 .
Учитывая, что f1 x1 ,..., xk , 0 xk 1 ,..., xn 0 и функция f1 — гар-
моническая, получаем f1 0 tt a 2 f1 0 f1 f 2 , откуда следует (III). В
результате задача поиска частного решения рассматриваемых уравнений
решается в пространстве меньшей размерности.
170
2 1
V y y arctg y ln 1 y 2 . (6)
3 3
Таким образом, из (2), (4) и (6) получаем, что функция
2 1
u 0 ln x 2 z 2 y arctg y ln 1 y 2
3 3
есть частное решение уравнения (1).
Случай 4. Как и в случае 2, рассматриваются уравнения
ut x a 2 u x F t G0 x
либо
utt x a 2 u x F t G0 x , x x1 ,..., xk R n ,
где функция G0 x обладает следующим свойством: существует число
m N и множество функций G1 ,..., Gm таких, что выполняются равенства
m
Gk hks Gs , k 0,1,..., m , (IV)
s k
171
m m m m
u0 x g k t hks Gs x Gs x hks g k t
k 0 s k s k k 0 (VI)
GT x H g t .
Подставляя (V), например, в волновое уравнение и учитывая (VI),
имеем
m m m
2
g t G x a h
k 0
k k
s k k 0
ks Gs x g k t F t G0 x ,
или
G T x g t a 2 H T g t F t G0 x G T x g 0 t ,
F t
0
где g 0 t .
...
0
Полагая
g t a 2 H T g t g 0 t ,
получим систему уравнений
g0 t 00 g0 t G0 t ,
g1 t 11 g1 t 01 g0 t ,
.... ... ...
g m t mm gm t 0m g0 t ... mm g m t
Здесь числа km определяются равенствами ks a 2 hks , k 0,1,..., m;
s 0,1,..., m .
Решая последовательно уравнения системы, находим искомые функ-
ции gk t , k 0,1,..., m .
172
2G0 x, y 4G1 x, y 2G2 x, y , (2)
где
G1 x, y x cos x y ,
G2 x, y sin x y .
Кроме того,
G1 x, y x cos x y
cos x y x sin x y x x cos x y
2sin x y 2 x cos x y 2G1 x, y 2G2 x, y , (3)
G2 x, y sin x y sin x y G2 x, y . (4)
Ищем частное решение исходного уравнения в виде функции
u0 x, y g 0 (t )G0 x, y g1 t G1 x, y g 2 t G2 x, y . (5)
Преобразуем выражение (5) с учетом (2), (3) и (4):
u0 g0 t 2G0 4G1 2G2 g1 t 2G1 2G2 g 2 t G2
(6)
2 g 0 t G0 4 g 0 t 2 g1 t G1 2 g 0 t 2 g1 t g 2 t G2 .
Подставляя (5) в исходное уравнение (1) и пользуясь выражением (6),
запишем уравнение в виде
g 0 t G0 g1 t G1 g 2 t G2 2 2 g 0 t G0
4 g 0 t 2 g1 t G1 2 g 0 t 2 g1 t g 2 t G2 G0 cos t .
Приравнивая коэффициенты при функциях Gk , k 0,1, 2, получаем си-
стему уравнений для нахождения неизвестных коэффициентов
gk t , k 0,1, 2 :
g 0 t 4 g 0 t cos t
g1 t 4 g1 t 8 g0 t
g t 2 g t 4 g t 4 g t
2 2 0 1
173
Наконец из третьего уравнения с учетом найденных выражений для функ-
ций g 0 t и g1 t аналогичным образом находим, что в частности функция
g2 t 20cos t является его решением. Таким образом, частным реше-
нием уравнения (1) является, в частности, функция
u 0 x, y 3 x 2 sin x y 8 x cos x y 20 sin x y cos t .
Случай 5. Рассматривается волновое уравнение, правая часть кото-
рого является функцией от специального вида линейной формы перемен-
ной t и только одной пространственной переменной. Если для определен-
ности выбрать в качестве такой переменной переменную x , то рассматри-
ваемое уравнение имеет вид
utt a 2 u F x at , или utt a 2 u F x at .
В этом случае уравнение может быть сведено к волновому уравнению
от одной пространственной переменной, для нахождения частного реше-
ния которого можно использовать рассмотренные ранее приемы.
Продемонстрируем описанный случай на следующем примере.
Так как правая часть уравнения (1) есть функция, зависящая только
от t и x , то попробуем найти частное решение уравнения (1) то же, как
функцию, зависящую только от t и x :
u 0 u 0 x, t .
Уравнение (1) для функции u0 x, t примет вид
1
u0 tt u0 xx 2
. (2)
1 x t
Заметим, что уравнение (2) — волновое уравнение для функции одной
пространственной переменной (то есть уравнение струны), которое может
быть решено методом характеристик.
Очевидно, что характеристиками данного уравнения являются
x t С1 , x t С2 .
Введем характеристическую замену переменных
x t ,
(3)
x t .
174
В переменных (3) уравнение (2) примет вид
1
4u . (4)
1 2
Очевидно, что одним из решений уравнения (4) будет функция
1
u arctg ,
4
и, таким образом, учитывая (3), функция
u0 x, t x t arctg x t
есть частное решение уравнения (2) и, следовательно, и уравнения (1).
175
Отсюда A 1 , и, следовательно функция
u0 r 4 cos 2
есть частное решение уравнения (1).
Если частное решение уравнения в виде Ar 2 cos k (или Ar 2 sin k
соответственно) не находится, то можно попробовать искать частное ре-
шение уравнения в виде g r cos k (или g r sin k соответственно).
176
и u02 — частное решение уравнения
u 4 sin 2 , 1 r 2 , 0 2 . (4)
Тогда функция
u 0 u01 u02 (5)
есть частное решение уравнения (2).
Частное решение u01 уравнения (3) ищем в виде
u01 Ar 2 (здесь 0 ). (6)
Подставляем функцию, определенную соотношением (6), в уравнение
(3), записанное в полярных координатах. Получаем
2A 2A 0 4 .
Отсюда A 1 , и, следовательно, функция
u01 r 2 (7)
есть частное решение уравнения (3).
Ищем теперь частное решение u02 уравнения (4). Здесь 0 , но (про-
верьте!) решение не найдется в виде Br 2 sin 2 . Поэтому ищем частное ре-
шение уравнения (4) в виде
g r sin 2 . (8)
Подставляем функцию, определенную соотношением (8), в уравнение
(4), записанное в полярных координатах. Получаем
1 4
g r sin 2 g r sin 2 2 g r sin 2 4sin 2 ,
r r
1 4
g r g r 2 g r 4 ;
r r
r 2 g r rg r 4 g r 4r 2 . (9)
Уравнение (9) есть уравнение Эйлера. Делаем замену переменной
r e t , и для новой функции g t g et получаем
g t g t g t 4 g r 4e 2t ;
g t 4 g r 4e 2t . (10)
Найдем какое-нибудь решение уравнения (10).
Заметим, что в данном случае наблюдается случай резонанса (фунда-
ментальная система решений однородного уравнения состоит из функций
e2t и e 2t ). Поэтому ищем частное решение неоднородного уравнения ме-
тодом неопределенных коэффициентов в виде
Dte 2t . (11)
177
Подставляя функцию (11) в уравнение (1), получаем
4 De 2 t 4 Dte 2 t 4 Dte 2 t 4 e 2 t .
Отсюда D 1 , и , следовательно, функция te 2t есть частное решение
уравнения (10).
Делая обратную замену переменных t ln r , получаем, что функция
g r r 2 ln r
есть частное решение уравнения (9), и, следовательно, функция
u02 r 2 ln r sin 2 (12)
есть частное решение уравнения (4).
Из (5), (7) и (12) имеем, что функция
u0 r 2 r 2 ln r sin 2
есть частное решение уравнения (2), а следовательно, и уравнения (1).
178
Литература
1. Арсенин В. Я. Методы математической физики и специальные функции.
Москва : Наука, 1974. 432 с.
2. Бицадзе А. В. Уравнения математической физики. Москва : Наука, 1982.
3. Владимиров В. С. Уравнения математической физики. Москва : Наука,
1988.
4. Владимиров В. С., Жаринов В. В. Уравнения математической физики.
Москва : Физматлит, 2000.
5. Владимиров В. С., Михайлов В. П., Михайлова Т. В., Шабунин М. И. Сбор-
ник задач по уравнениям математической физики. Москва : Физматлит,
2016.
6. Годунов С. К. Уравнения математической физики. Москва : Наука, 1982.
7. Зоммерфельд А. Д. Дифференциальные уравнения в частных производных
физики. Москва : Иностранная литература, 1957.
8. Колесникова С. И. Методы решения основных задач уравнений математи-
ческой физики. Москва : МФТИ, 2015. 79 с.
9. Курант Р. Уравнения с частными производными. Москва : Мир, 1964.
10. Ладыжинская О. А. Смешанная задача для гиперболического уравнения.
Москва : Гостехиздат, 1953.
11. Ладыжинская О. А. Краевые задачи математической физики. Москва :
Наука, 1973.
12. Ловитт У. В. Линейные интегральные уравнения. Москва : Едиториал
УРСС, 2004. 232 с.
13. Михайлов В. П. Дифференциальные уравнения в частных производных.
Москва : Наука, 1983.
14. Михайлов В. П. Лекции по уравнениям математической физики. Москва :
Физматлит, 2001.
15. Михлин С. Г. Линейные уравнения в частных производных. Москва : Физ-
матлит, 1977.
16. Михлин С. Г. Курс математической физики. Москва : Наука, 1968.
17. Олейник О. А. Лекции об уравнениях с частными производными. Ч. 1.
Москва : Изд-во МГУ, 1976.
18. Олейник О. А. Лекции об уравнениях с частными производными. Москва :
БИНОМ, 2005.
19. Петровский И. Г. Лекции об уравнениях с частными производными.
Москва : Физматгиз, 1961.
20. Петровский И. Г. Лекции по интегральным уравнениям. Москва : Физма-
тгиз, 1957.
21. Петровский И. Г. Лекции по обыкновенным дифференциальным уравне-
ниям. Москва : Физматгиз, 1960.
22. Пикулин В. П., Похожаев С. И. Практический курс по уравнениям мате-
матической физики. Москва : МЦНМО, 2004. 208 с.
23. Положий Г. Н. Уравнения математической физики. Москва : Высшая
школа, 1964.
179
24. Смирнов М. М. Сборник задач по уравнениям математической физики.
Москва : Высшая школа, 1971.
25. Смирнов М. М. Курс высшей математики. Т. 3, 4, 5. Москва : Физматгиз,
1959.
26. Соболев С. Л. Уравнения математической физики. Москва : Наука, 1992.
433 с.
27. Стеклов В. А. Основные задачи математической физики. Москва : Наука,
1983. 432 с.
28. Тихонов А. Н., Самарский А. А. Уравнения математической физики.
Москва : Наука, 2004. 798 с.
29. Трикоми Ф. Дж. Интегральные уравнения. Москва : Иностранная литера-
тура, 1960. 296 с.
30. Трикоми Ф. Дж. Лекции по уравнениям в частных производных. Москва :
КомКнига, 2007. 440 с.
31. Уроев В. М. Уравнения математической физики. Москва : ИФ Яуза, 1998.
373 с.
32. Шаньков В. В. Замена системы координат и метод характеристик : учебно-
методическое пособие. Москва : МФТИ, 2017. 43 с.
33. Шаньков В. В. Волновые уравнения и уравнения теплопроводности :
учебно-методическое пособие. Москва : МФТИ, 2017. 43 с
34. Шаньков В. В. Интегральные уравнения и задача Штурма — Лиувилля :
учебно-методическое пособие. Москва : МФТИ, 2018. 47 с.
35. Шаньков В. В. Эллиптические уравнения : учебно-методическое пособие.
Москва : МФТИ, 2018. 46 с.
36. Филиппов А. Ф. Введение в теорию дифференциальных уравнений.
Москва : КомКнига, 2007. 240 с.
180
Учебное издание