Вы находитесь на странице: 1из 138

МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РФ

НОВОСИБИРСКИЙ ГОСУДАРСТВЕННЫЙ
УНИВЕРСИТЕТ
Физический факультет

Н. Л. Абашеева, Т. Ю. Михайлова

СЕМИНАРЫ ПО МЕТОДАМ
МАТЕМАТИЧЕСКОЙ ФИЗИКИ

Учебное пособие

Новосибирск
2012
УДК 517.95
ББК В161.62
А136

Абашеева Н. Л., Михайлова Т. Ю. Семинары по ме-


тодам математической физики: Учеб. пособие / Новосиб. гос.
ун-т. Новосибирск, 2012. 138 с.

В учебном пособии изложены основные приемы решения


задач по курсу “Методы математической физики” для сту-
дентов 3-го курса отделения физической информатики фи-
зического факультета и отделений геофизики и геомехани-
ки геолого-геофизического факультета Новосибирского госу-
дарственного университета.

Рецензент
проф. Д. А. Шапиро

Издание подготовлено в рамках реализации Программы


развития государственного образовательного учреждения
высшего профессионального образования “Новосибирский го-
сударственный университет” на 2009–2018 годы.

c Новосибирский государственный
!
университет, 2012
c Абашеева Н. Л.,
!
Михайлова Т. Ю., 2012
Предисловие
Курс “Методы математической физики” читается на фи-
зическом факультете Новосибирского государственного уни-
верситета на отделении физической информатики.
Название курса, его структура и содержание подчеркива-
ют, что основное внимание уделяется именно методам реше-
ния задач математической физики. Формат изложения (од-
на лекция и два семинара в неделю) позволяет рассмотреть
практически все классические приемы: метод бегущих волн
для гиперболических уравнений, метод Фурье, функцию Гри-
на, теорию потенциалов и интегральных преобразований.
Данный курс является иллюстрацией того, как знания и
навыки, полученные студентами на первых двух курсах, мо-
гут быть использованы в решении практических задач фи-
зики.
Пособие содержит основы наиболее распространенных ал-
горитмов; ожидается, что техническая часть (разложение в
ряды, вычисление интегралов и т. д.) читателю уже знакома
и не требует пояснений.
Тем не менее, мы считаем, что студентам будет полезно
отработать на практических примерах те знания, которые
они приобрели в рамках нашего курса.
Приведем список рекомендуемой литературы (полный спи-
сок см. на с. 116).
Будак Б. М., Самарский А. А., Тихонов А. Н. Сборник за-
дач по математической физике. М.: Физматлит, 2003.
Данный задачник содержит подробные решения практи-
чески всех задач. Следует отметить, что, как правило, по-
становка задач носит физический характер, и тем интерес-
нее, как она затем переводится в математическую плоскость.
Можно сказать, что сегодня это лучшее, что предлагает нам
обширная библиография по интересующему нас вопросу.

3
Сборник задач по уравнениям математической физики /
Под ред. В. С. Владимирова. М.: Физматлит, 2001.
Именно этот сборник является источником многих задач,
которые мы рассматриваем на практических занятиях. В от-
личие от предыдущего, он написан более современным мате-
матическим языком. Задачи часто не имеют ярко выражен-
ного физического смысла и являются, скорее, примерами ос-
новных подходов к решению задач математической физики.
Кошляков Н. С., Глинер Э. Б., Смирнов М. М. Уравнения
в частных производных математической физики. М.: Высш.
шк., 1970.
Написанная простым и понятным языком книга может
быть полезна тем студентам, которые хотят более подробно
ознакомиться с предметом.
Тихонов А. Н., Самарский А. А. Уравнения математиче-
ской физики. М.: Изд-во МГУ, 1999.
Классический учебник. Особенно хочется отметить, что в
этой книге вы найдете простые выводы основных уравнений
математической физики — вопросы, которые мы практиче-
ски не рассматриваем в нашем курсе.

4
Уравнения с частными производными
первого порядка
§ 1. Линейные однородные уравнения первого по-
рядка
Рассмотрим уравнение вида
∂u ∂u
a1 + . . . + an = 0, (1.1)
∂x1 ∂xn
где ai (x1 , . . . , xn ) (i = 1, n) — непрерывно дифференцируемые
!n
функции, a2i "= 0.
i=1
Определение. Автономная система


 dx1
 ds = a1 (x1 , . . . , xn ),

... (1.2)

 dxn

 = an (x1 , . . . , xn )
ds
называется характеристической системой уравнения (1.1).
В симметричной форме эта система имеет вид
dx1 dxn
= ... = . (1.2! )
a1 an
Определение. Характеристиками уравнения (1.1) на-
зываются траектории системы (1.2), т. е. интегральные кри-
вые системы (1.2! ).
Определение. Первым интегралом системы (1.2! ) назы-
вается любая функция ϕ(x1 , . . . , xn ), принимающая постоян-
ное значение на решениях этой системы (т. е. характеристи-
ках уравнения (1.1)).
Пусть ϕ1 , . . . , ϕn−1 — независимые первые интегралы си-
стемы (1.2! ).
Теорема. Любое решение уравнения (1.1) имеет вид
u = F (ϕ1 , . . . , ϕn−1 ), (1.3)

5
где F — произвольная гладкая функция от n − 1 переменной.
Пусть S — гладкая (n − 1)-мерная поверхность в Rn .
Задача Коши1 . Найти решение уравнения (1.1) такое,
что &
u&S = u0 , (1.4)
где u0 — заданная непрерывно дифференцируемая функция.
Определение. Точка x0 ∈ S называется нехарактери-
стической, если характеристика, проходящая через точку x0 ,
не касается поверхности S.
Теорема. Задача Коши имеет единственное решение в
окрестности любой нехарактеристической точки.
Итак, чтобы решить задачу Коши,
1) находим характеристики и первые интегралы системы
(1.2! );
2) составляем общее решение по формуле (1.3);
3) используя начальные данные (1.4), находим функцию F ,
т. е. решение задачи Коши.

Найти решения уравнений, удовлетворяющие указанным


условиям.
1. ux + uy = 0, u|y=0 = u0 (x).
2. ux + uy = 0, u|y=1−x = u0 (x).
3. ux + uy = 0, u|y=x = u0 (x).
4. yux − xuy = 0, u|y=x = u0 (x).
5. ux + (2ex − y)uy = 0, u|x=0 = y.
6. (x − z)ux + (y − z)uy + 2zuz = 0, u|z=1 = xy.
7. xux + yuy + xyuz = 0, u|z=0 = x2 + y 2 .
8. ux + uy + 2uz = 0, u|x=1 = yz.

1
Augustin Louis Cauchy (1789–1857), французский математик.

6
§ 2. Линейные неоднородные уравнения первого
порядка
Теперь рассмотрим уравнение
∂u ∂u
a1 + . . . + an = b, (2.1)
∂x1 ∂xn
где ai (x1 , . . . , xn ) (i = 1, n), b(x1 , . . . , xn ) — непрерывно диф-
!n
ференцируемые функции, a2i "= 0.
i=1
Теорема. Если u1 , u2 — решения (2.1), то v = u1 − u2
является решением (1.1).
Отсюда
uо.р.н. = uо.р.о. + uч.р.н. , (2.2)
где uо.р.н. — общее решение неоднородного уравнения,
uо.р.о. — общее решение однородного уравнения,
uч.р.н. — частное решение неоднородного уравнения.
Задача Коши ставится так же, как и для однородного
уравнения (см. § 1).
Итак, чтобы решить задачу Коши для уравнения (2.1),
1) находим общее решение однородного уравнения (1.1),
как в § 1;
2) затем находим частное решение неоднородного уравне-
ния (2.1), используя соотношение на характеристике

du = b ds ;

3) составляем общее решение неоднородного уравнения по


формуле (2.2).

Найти решения уравнений, удовлетворяющие указанным


условиям.
9. y 2 ux + xyuy = x, u|x=0 = y 2 .
10. xux + yuy = 2xy, u|y=x = x2 .

7
11. xux + yuy = 2xy, u|x2 +y2 =1 = x.
12. ex ux + y 2 uy = yex , u|x=0 = y.

§ 3. Квазилинейные уравнения первого порядка


Теперь коэффициенты уравнения могут зависеть и от ис-
комой функции, т. е.
n
' ∂u
ai (x1 , . . . , xn , u) = b(x1 , . . . , xn , u).
i=1
∂xi

Для наглядности рассмотрим случай n = 2, т. е. уравнение


вида
∂u ∂u
a(x, y, u) + b(x, y, u) = c(x, y, u). (3.1)
∂x ∂y
Определение. Cистема
dx dy du
= = (3.2)
a b c
называется характеристической системой уравнения (3.1)
Определение. Характеристиками уравнения (3.1) на-
зываются интегральные кривые системы (3.2).
Переформулируем задачу Коши для случая n = 2. Пусть
γ — гладкая кривая в R2 .
Задача Коши. Найти решение уравнения (3.1) такое,
что &
u& γ = u 0 , (3.3)
где u0 — заданная непрерывно дифференцируемая функция.
1-й способ решения задачи Коши для уравнения (3.1):
1) сначала нужно найти независимые первые интегралы
ϕ1 (x, y, u), ϕ2 (x, y, u) системы (3.2);
2) составить общее решение, заданное неявной формулой

Φ(ϕ1 , ϕ2 ) = 0;

8
3) используя начальные условия (3.3), найти функцию Φ.
Существует еще один способ решения задачи Коши.
Если кривая γ задана параметрически уравнениями
(
x = x0 (t),
y = y0 (t),
то геометрически решить задачу Коши означает построить
интегральную поверхность уравнения (3.1), проходящую че-
рез заданную кривую Γ:

 x = x0 (t),
y = y0 (t),

u = u0 (t).

2-й способ решения задачи Коши для уравнения (3.1):


Нужно найти поверхность, заданную параметрически
уравнениями 
 x = x(t, s),
y = y(t, s),

u = u(t, s),
решив задачу Коши для системы (при каждом фиксирован-
ном t) 

 dx

 = a(x, y, u),

 ds

dy
= b(x, y, u),

 ds


 du

 = c(x, y, u)
ds
с данными  &
 &
 x& s=0 = x0 (t),
y &s=0 = y0 (t),
 u&&

= u0 (t).
s=0
Заметим, что этим способом можно решать и линейные
уравнения.

9
Найти поверхности, удовлетворяющие данным уравнени-
ям и проходящие через заданные кривые.
13. uux + uy = 1; x − y 2 = 0, u + y = 0.
14. (x − u)ux + (y − u)uy = 2u; x − y = 2, u + 2x = 1.
15. ux + 2uy + u = xy; x = 0, u + y = 2.
16. xux + (xu + y)uy = u; x + y = 2u, xu = 1.
17. xux + uy = u − xy; x = 2, u − y 2 = 1.
18. xzx + zzy = y; x = t, y = sin t, z = cos t.
19. ut +uux = 0; lim u(t, x) = sgn x. Следует уточнить, что
t→+0
здесь u = u (t, x) означает функцию, определенную и непре-
рывную в полуплоскости t > 0, гладкую при t "= |x| и для
каждого фиксированного значения x имеющую указанный
выше предел при t → +0.

10
Классификация уравнений второго порядка
§ 4. Приведение к каноническому виду квазили-
нейных уравнений второго порядка с перемен-
ными коэффициентами в случае n = 2
Рассмотрим уравнение

a(x, y)uxx +2b(x, y)uxy +c(x, y)uyy +F (x, y, u, ux , uy ) = 0, (4.1)

где a, b, c, F — заданные вещественные функции.


Определение. Уравнение

aϕ2x + 2bϕx ϕy + cϕ2y = 0

называется характеристическим. Кривая γ, заданная урав-


нением ϕ(x, y) = const, называется характеристической, ес-
ли вектор нормали (ϕx , ϕy ) удовлетворяет характеристиче-
скому уравнению.
Характеристическому уравнению соответствует квадра-
тичная форма

Φ(λ, µ) = aλ2 + 2bλµ + cµ2

и квадратное уравнение (при a "= 0, случай a = 0 рассматри-


вается аналогично):

ak 2 + 2bk + c = 0. (4.2)

Дискриминант этого уравнения D = 4(b2 − ac).


Определение. Уравнение (4.1) называется уравнением
гиперболического типа, если D > 0 (квадратичная фор-
ма Φ знакопеременна);
эллиптического типа, если D < 0 (квадратичная фор-
ма Φ знакоопределена);
параболического типа, если D = 0 (квадратичная фор-
ма Φ вырождена).

11
1-й случай.
В этом случае уравнение (4.2) имеет два вещественных
различных корня k1 , k2 . Характеристическое уравнение рас-
падается на

ϕx − k1 ϕy = 0 и ϕx − k2 ϕy = 0.

Первые интегралы этих уравнений

ϕ1 (x, y) = C1 и ϕ2 (x, y) = C2

задают два семейства вещественных характеристик.


После замены
ξ = ϕ1 (x, y),
η = ϕ2 (x, y)
уравнение (4.1) приводится к первому каноническому виду

uξη + G(ξ, η, u, uξ , uη ) = 0.

Заменой
ξ = α + β,
η =α−β
это уравнение приводится ко второму каноническому виду

uαα − uββ + H(α, β, u, uα , uβ ) = 0.

2-й случай.
Уравнение (4.2) имеет два комплексно сопряженных кор-
ня k, k. Характеристическое уравнение распадается на

ϕx − kϕy = 0 и ϕx − kϕy = 0.

Первые интегралы этих уравнений имеют вид

ϕ1 (x, y) ± iϕ2 (x, y) = C,

где ϕ1 (x, y), ϕ2 (x, y) — вещественные функции. Веществен-


ных характеристик в этом случае нет.

12
После замены
ξ = ϕ1 (x, y),
η = ϕ2 (x, y)
уравнение (4.1) приводится к каноническому виду

uξξ + uηη + G(ξ, η, u, uξ , uη ) = 0.

3-й случай.
Уравнение (4.2) имеет один вещественный корень k. Ха-
рактеристическое уравнение имеет вид

ϕx − kϕy = 0.

Первый интеграл этого уравнения

ϕ(x, y) = C

задает семейство вещественных характеристик.


После замены
ξ = ϕ(x, y),
η = ψ(x, y),
где ψ — произвольная независимая с ϕ функция, уравнение
(4.1) приводится к каноническому виду

uηη + G(ξ, η, u, uξ , uη ) = 0.

Напомним следующие формулы:

ux = uξ ξ x + uη η x ,
uy = uξ ξ y + uη η y ,
uxx = uξξ ξx2 + 2uξη ξx ηx + uηη ηx2 + uξ ξxx + uη ηxx ,
uxy = uξξ ξx ξy + uξη (ξx ηy + ηx ξy ) + uηη ηx ηy + uξ ξxy + uη ηxy ,
uyy = uξξ ξy2 + 2uξη ξy ηy + uηη ηy2 + uξ ξyy + uη ηyy .

Итак, чтобы привести уравнение (4.1) к канониче-


скому виду, нужно

13
1) решить квадратное уравнение (4.2) и определить тип
уравнения;
2) найти характеристики уравнения;
3) сделать соответствующие типу уравнения замены и пе-
ресчитать частные производные по выписанным выше фор-
мулам.

Для следующих уравнений укажите области, в пределах


которых сохраняется тип уравнения, определите этот тип,
найдите каноническую форму уравнения, а для параболиче-
ских и гиперболических областей найдите общее решение.
20. x2 uxx − y 2 uyy = 0.
21. y 2 uxx + x2 uyy = 0.
22. x2 uxx + 2xyuxy + y 2 uyy = 0.
23. uxx + yuyy = 0.
24. uxx − 2uxy − 3uyy + 2ux + uy = 0.
25. x2 uxx + 2xyuxy − 3y 2 uyy − 2xux = 0.
26. uxx + yuyy + 12 uy = 0.
27. (sgn y)uxx + 2uxy + uyy = 0.

§ 5. Приведение к каноническому виду квазили-


нейных уравнений второго порядка с посто-
янными коэффициентами в случае n > 2
Рассматриваем уравнение
'n
aij uxi xj + F (x1 , . . . , xn , u, grad u) = 0, (5.1)
i,j=1

где aij (i, j = 1, n), F — заданные вещественные функции,


aij = aji .
Уравнению (5.1) соответствует квадратичная форма
'n
Φ(p) = aij pi pj = (Ap, p), (5.2)
i,j=1

14
где p = (p1 , . . . , pn )T , A = (aij )ni,j=1 .
Как известно, квадратичная форма заменой p = Sq (где
S — некоторая невырожденная матрица) приводится к кано-
ническому виду, т. е. матрица
 
δ1 0 · · · 0
 
A) = S T AS =  0 δ2 · · · 0 
 · · ··· · 
0 0 · · · δn

диагональная с элементами на диагонали, равными 0 или ±1.


Определение. Уравнение (5.1) называется уравнением
гиперболического типа, если квадратичная форма Φ зна-
копеременна, причем n − 1 коэффициент δi — одного знака,
а последний — другого;
эллиптического типа, если квадратичная форма Φ зна-
коопределена, т. е. все коэффициенты δi одного знака;
параболического типа, если квадратичная форма Φ вы-
рождена, т. е. хотя бы один из коэффициентов δi равен нулю.
После линейной замены

y = S T x, (5.3)

где x = (x1 , . . . , xn )T , y = (y1 , . . . , yn )T , уравнение (5.1) при-


водится к каноническому виду
n
'
δi uyi yi + G(y1 , . . . , yn , u, grad u) = 0.
i=1

Итак, чтобы привести уравнение (5.1) к канониче-


скому виду, нужно
1) привести квадратичную форму (5.2) к каноническому
виду;
2) сделать замену (5.3).

15
Укажите тип дифференциальных уравнений, приведите
их к каноническому виду.
28. uxx + 2uxy − 2uxz + 2uyy + 6uzz = 0.
29. uxy + uyz = 0.
!
n !
n−1
30. ux1 x1 + 2 ux k x k − 2 uxk xk+1 .
k=2 k=1
31. uxx + 2uxy − 4uxz − 6uyz − uzz = 0.
32. uxy + uxz − utx − uyz + uty + utz = 0.

16
Гиперболические уравнения
§ 6. Задача Коши для гиперболического уравне-
ния в случае двух переменных
Пусть уравнение

Lu ≡ a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy + F (x, y, u, ux , uy ) = 0


(6.1)
является уравнением гиперболического типа.
Как известно, это уравнение имеет два семейства веще-
ственных характеристик. Пусть γ — гладкая кривая в R2 ,
не касающаяся характеристик уравнения (6.1), и вектор l не
касается этой кривой γ.
Задача Коши. Найти решение уравнения (6.1) такое,
что &
u&γ = ϕ,
&
∂u &&
= ψ,
∂l &γ
где ϕ, ψ — заданные функции.
Чтобы решить задачу Коши для уравнения (6.1),
1) приводим уравнение к каноническому виду (см. § 4);
2) находим общее решение полученного уравнения (если
удастся);
3) используя данные задачи Коши, находим неизвестные
функции, участвующие в формуле общего решения, т. е. на-
ходим решение задачи Коши.
Заметим, что если уравнение (6.1) является линейным
уравнением с постоянными коэффициентами, то после при-
ведения к каноническому виду оно примет вид

uξη + Auξ + Buη + Cu = f (ξ, η).

В этом случае можно избавиться от младших производных


заменой
u = e−Bξ−Aη v.

17
Решите задачи Коши для гиперболических уравнений
второго порядка.
33. u&xy = 0, &
u&γ = ϕ(x), uy &γ = ψ(x),
где кривая γ задана уравнением y = f (x).
34. uxy
& = 0, &
u&y=0 = ϕ(x), uy &y=0 = ψ(x).
35. x2& uxx − y 2 uyy =&0 в x, y > 0,
u&x=1 = y 2 , ux &x=1 = y.

& xx + (x +3 y)uxy &+ yuyy = 02 в x, y > 0,


36. xu
u& = x , ux &
y=1/x
= 2x .
y=1/x

37. uxx
& − 3uxy + 2u&yy + ux 2x
− 2uy = 0,
& &
u y=0 = 1, uy y=0 = e .
38. uy& + uxx − 2uxy − 3u& yy − 160u = 0 1 в x ≥ 0,
1

u& x=0
= 2ye , ux &
y/8
= 2 + y ey/8 .
x=0 4
2y
39. 4y& 2 uxx + 2(1 − y 2 )u
& xy − uyy − 1+y 2
(2ux − uy ) = 0,
u y=0 = ϕ(x), uy &y=0 = ψ(x).
&

§ 7. Задача Гурса для гиперболического уравне-


ния в случае двух переменных
Пусть уравнение

Lu ≡ a(x, y)uxx + 2b(x, y)uxy + c(x, y)uyy + F (x, y, u, ux , uy ) = 0


(7.1)
является уравнением гиперболического типа.
Пусть через точку (x0 , y0 ) ∈ R2 проходят характеристики
γ1 и γ2 уравнения (7.1).

18
Задача Гурса2 . Найти решение уравнения (7.1) такое,
что &
u&γ1 = ϕ1 ,
&
u& = ϕ 2 , γ2

где ϕ1 , ϕ2 — заданные функции и ϕ1 (x0 , y0 ) = ϕ2 (x0 , y0 ).


Чтобы решить задачу Гурса для уравнения (7.1),
1) приводим уравнение к каноническому виду (см. § 4);
2) находим общее решение полученного уравнения (если
удастся);
3) используя данные задачи Гурса, находим неизвестные
функции, участвующие в формуле общего решения, т. е. на-
ходим решение задачи Коши.

В примерах 40–42 решите задачи Гурса.


40. u&xy − ux = x & в x, y > 0,
u&x=0 = y, u&y=0 = x2 .
& + xux = 0 в & x, y > 0,
41. uxy
u&x=0 = ϕ(y), u&y=0 = ψ(x),
где функции ϕ(y) и ψ(x) определены и непрерывны соответ-
ственно на полуосях x ! 0 и y ! 0, имеют непрерывные вто-
рые производные при положительных значениях своих аргу-
ментов и “согласованы” равенством ϕ(0) = ψ(0).
42. u&xy + 3ux − uy &− 3u = 0 в x, y > 0,
u&x=0 = y 2 , u&y=0 = cos x − 1.
43. Пусть k < 0. Покажите, что задача
& = 0 в x& > 0, y > kx,
uxy
u&x=0 = 0, u&y=kx = 0,
поставлена некорректно.
2
Édouard Jean-Baptiste Goursat (1858–1936), французский матема-
тик.

19
§ 8. Задача Коши и смешанная задача для волно-
вого уравнения в случае двух переменных
Волновое уравнение (или уравнение колебаний струны)
имеет вид
utt = a2 uxx , (8.1)
где a = const > 0.
Это уравнение имеет два семейства вещественных харак-
теристик:
x ± at = C.
После замены
ξ = x + at,
η = x − at
уравнение (8.1) приводится к виду

uξη = 0.

Общее решение этого уравнения задается формулой

u = F (ξ) + G(η) = F (x + at) + G(x − at), (8.2)

т. е. является суммой двух волн.


Задача Коши (неограниченная струна). Найти решение
при x ∈ R, t > 0 уравнения (8.1) такое, что
&
u&t=0 = ϕ(x),
&
ut &t=0 = ψ(x),

где ϕ, ψ — заданные функции.


Решение задачи Коши задается формулой Д’Аламбера 3
2
x+at
ϕ(x + at) + ϕ(x − at) 1
u(x, t) = + ψ(s)ds, (8.3)
2 2a
x−at

3
Jean Le Rond d’Alembert (1717–1783), французский ученый.

20
т. е.
2y
ϕ(y) 1
F (y) = + ψ(s)ds,
2 2a
y0
2y (8.4)
ϕ(y) 1
G(y) = − ψ(s)ds.
2 2a
y0

t
(x,t)

x-at x+at x

Рис. 1

Смешанная задача с однородными условиями (полу-


ограниченная струна). Найти решение уравнения (8.1) в об-
ласти x > 0, t > 0 такое, что
&
u&t=0 = ϕ(x), x > 0,
&
ut &t=0 = ψ(x), x > 0,
и &
u&x=0 = 0, t > 0, (8.51 )
либо &
ux &x=0 = 0, t > 0, (8.52 )
либо &
ux − ku&x=0 = 0, t > 0, (8.53 )
где ϕ, ψ — заданные функции.

21
Лемма. Если функции ϕ, ψ — нечетные (четные), & то
решение задачи Коши обладает свойством u & = 0
& x=0
&
(ux x=0 = 0).
Для решения 1-й смешанной задачи
1) продолжаем функции ϕ, ψ нечетно;
2) решаем задачу Коши с продолженными данными (под-
ставляем в формулу Д’Аламбера (8.3) полученные функции).
В результате получим

 2
x+at

 ϕ(x + at) + ϕ(x − at) 1

 + ψ(s)ds, x ≥ at,

 2 2a
x−at
u(x, t) = 2
x+at

 ϕ(x + at) − ϕ(at − x) 1



 + ψ(s)ds, x < at.
 2 2a
at−x

Поэтому для решения 2-й смешанной задачи


1) продолжаем функции ϕ, ψ четно;
2) решаем задачу Коши с продолженными данными (под-
ставляем в формулу Д’Аламбера (8.3) полученные функции).
В результате получим


 2
x+at

 ϕ(x + at) + ϕ(x − at) 1

 + ψ(s)ds

 2 2a

 x−at



 при x ≥ at,


u(x, t) = ϕ(x + at) + ϕ(at − x)

 +

 2

 2
x+at 2
at−x

 1 1

 + ψ(s)ds + ψ(s)ds

 2a 2a



 0 0
при x < at.

Для решения 3-й смешанной задачи

22
1) в области x > at решение находим по формуле Д’Алам-
бера (8.3);
2) в области x < at решение находим по формуле (8.2),
где компоненту F (волну, бегущую налево) находим так же,
как и раньше, т. е. по формуле (8.4), а компоненту G (волну,
бегущую направо) находим из условия (8.53 );
3) неизвестные постоянные, участвующие в формулах
для F и G, находим из условия непрерывности решения на
прямой x = at.
t at
x<at x=
(x,t)

x>at

Рис. 2

Далее, если рассматривается смешанная задача с неодно-


родными условиями, т. е.
Смешанная задача с неоднородными условиями (по-
луограниченная струна). Найти решение уравнения (8.1) в
области x > 0, t > 0 такое, что
&
u&t=0 = ϕ(x), x > 0,
&
ut &t=0 = ψ(x), x > 0,
и &
u&x=0 = µ(t), t > 0, (8.61 )
либо &
ux &x=0 = µ(t), t > 0, (8.62 )
либо &
ux − ku&x=0 = µ(t), t > 0, (8.63 )

23
где ϕ, ψ, µ — заданные функции, то ее решаем так же, как
3-ю смешанную задачу с однородными условиями.
Итак, для решения смешанной задачи c неоднород-
ными условиями
1) в области x > at решение находим по формуле Д’Алам-
бера (8.3);
2) в области x < at решение находим по формуле (8.2),
где компоненту F (волну, бегущую налево) находим так же,
как и раньше, т. е. по формуле (8.4), а компоненту G (волну,
бегущую направо) находим либо из условия (8.61 ), либо из
(8.62 ), либо из (8.63 );
3) неизвестные постоянные, участвующие в формулах
для F и G, находим из условия непрерывности решения на
прямой x = at.
Если требуется решить смешанную задачу для неод-
нородного уравнения, то можно воспользоваться принци-
пом суперпозиции и искать решение в виде суммы u = v + w,
где
v — частное решение этого неоднородного уравнения;
w — решение смешанной задачи для однородного уравне-
ния с новыми начальными и граничными условиями, полу-
ченными из исходных с помощью соотношения w = u − v.
Вопрос о нахождении частного решения неоднородного
уравнения будет еще раз рассмотрен в § 10.

Решите смешанные задачи.


& − a uxx = 0 в& x, t > 0,
44. utt 2

u&&t=0 = ϕ(x), ut &t=0 = 0 при x > 0,


u&x=0 = 0 при t > 0.
& − a uxx = 0& в x, t > 0,
45. utt 2

u&t=0 &
& = 0, ut t=0 = ψ(x) при x > 0,
ux &x=0 = 0 при t > 0.

24
46. utt 2
& − a uxx = 0 & в x, t > 0,
u&t=0 =& ex , ut &t=0 = 1 при x > 0,
ux − u&x=0 = 0 при t > 0.
47. utt& − uxx = 0 &в x, t > 0,
u&&t=0 = x, ut &t=0 = 1 при x > 0,
u&x=0 = 0 при t > 0.
48. u&tt − a2 uxx = 0& в x, t > 0,
u&t=0 &
& = 1, ut t=0 = 0 при x > 0,
ux &x=0 = cos t при t > 0.
49. u&tt − 9uxx = 0 & в x, t > 0,
u&t=0 &
& = x, ut t=0 = sin x при x > 0,
ux &x=0 = cos t при t > 0.
50. utt& − uxx = e & в x, t > 0,
−t

u&t=0 &
& = 1, ut t=0 = x − 1 при x > 0,
&
ux x=0 = sin t при t > 0.
51. utt& − 9uxx = e в & x, t > 0,
t

u&t=0 &
& = 1 + x, ut t=0 = 4 − 3 cos 3 при x > 0,
x

ux &x=0 = 2 − cos t при t > 0.


52. u&tt − a2 uxx = 0& в x, t > 0,
u&&t=0 = 0, ut &t=0 = 0 при x > 0,
u&x=0 = g(t) при t > 0,
где заданная дважды гладкая при t ! 0 функция g (t) удо-
влетворяет условиям g (0) = g ! (0) = g !! (0) = 0.
53. utt& − a uxx = 0 в& x, t > 0,
2

u&t=0 = &ϕ(x), ut &t=0 = 0 при x > 0,


ux − ku&x=0 = 0 при t > 0,
где заданная дважды гладкая при x ! 0 функция ϕ (x) удо-
влетворяет условию ϕ! (0) − kϕ (0) = 0.

25
§ 9. Задача Коши для однородного волнового
уравнения в случае многих переменных
Однородное волновое уравнение имеет вид

utt = a2 ∆u, (9.1)


2 2 2
4
где a = const > 0, ∆ = ∂x

2 + ∂y 2 + ∂z 2 — оператор Лапласа .
∂ ∂

Конус в R4 с вершиной (x, y, z, t)

(ξ − x)2 + (η − y)2 + (ζ − z)2 = a2 (τ − t)2

называется характеристическим.
Задача Коши. Найти решение уравнения (9.1) при
(x, y, z) ∈ R3 , t > 0 такое, что
&
u&t=0 = ϕ(x, y, z),
&
ut &t=0 = ψ(x, y, z),

где ϕ, ψ — заданные функции.


Решение задачи Коши задается формулой Кирхгофа 5
∂3 4
u(x, y, z, t) = tMat [ϕ] + tMat [ψ],
∂t
где 22
1
Mat [ϕ] = ϕ(ξ, η, ζ)dS (9.2)
4πa2 t2
Sat

— среднее значение функции ϕ по сфере Sat ⊂ R3 с центром


в точке (x, y, z) радиуса at (рис. 3), т. е. по границе основания
характеристического конуса при τ = 0.
4
Pierre-Simon Laplace (1749–1827), французский математик, физик
и астроном.
5
Gustav Robert Kirchhoff (1824–1887), немецкий физик.

26
z
Sat

at
r=
(x,y,z)

x
Рис. 3

Анализируя формулу Кирхгофа в случае, если функции


ϕ, ψ — финитные, приходим к принципу Гюйгенса 6 : имеет
место распространение волны в трехмерном пространстве с
четкими передним и задним фронтами.
В случае двух пространственных переменных (x, y) реше-
ние задачи Коши задается формулой Пуассона 7
∂3 4
u(x, y, t) = tMat [ϕ] + tMat [ψ],
∂t
где
22
1 ϕ(ξ, η)
Mat [ϕ] = 5 dξdη, (9.3)
2πat (at)2 − (x − ξ)2 − (y − η)2
Bat

Bat ⊂ R2 — круг с центром в точке (x, y) радиуса at, т. е.


основание характеристического конуса при τ = 0 (рис. 4).
6
Christiaan Huygens (1629–1695), голландский математик, физик и
астроном.
7
Siméon Denis Poisson (1781–1840), французский физик и математик.

27
t

(x,y,t)

y
Bat
Sat
x
Рис. 4
Принцип Гюйгенса не имеет места: при распространении
колебаний в двумерном пространстве имеется передний
фронт волны и нет заднего.
В ряде случаев можно найти решение задачи Коши без
использования этих формул.
1-й случай. Если функции ϕ и ψ имеют вид
ϕ = ϕ(αx + βy + γz), ψ = ψ(αx + βy + γz),
то решение можно5 найти в виде плоской волны F (αx + βy +
γz + λt) с λ = ±a α2 + β 2 + γ 2 , так как после замены p =
αx + βy + γz мы получим одномерное волновое уравнение,
решение задачи Коши для которого находится по формуле
Д’Аламбера (см. § 8).
2-й случай (только при n = 3). Если функции ϕ и ψ
имеют вид
ϕ = ϕ(r), ψ = ψ(r),
5
где r = x2 + y 2 + z 2 , то решение можно найти в виде сфе-
рической волны. После перехода в сферическую систему ко-
ординат (см. п. 1 приложения) мы получим одномерное вол-
новое уравнение для v = ru с дополнительным условием
&
v&
r=0
= 0,

28
т. е. получим 1-ю смешанную задачу (см. § 8).
3-й случай. Если функции ϕ и ψ таковы, что

∆ϕ = λϕ, ∆ψ = µψ,

то, пользуясь принципом суперпозиции, решение можно най-


ти в виде суммы u = v + w, где v = F (t)ϕ, w = G(t)ψ.
4-й случай. Если функции ϕ и ψ имеют вид

ϕ = α(x)µ(y, z), ψ = β(x)µ(y, z)

и ∆µ = 0, то решение можно найти в виде u = F (x, t)µ(y, z).


5-й случай. Если найдется N ∈ N такое, что

∆N ϕ = 0, ∆N ψ = 0,

то решение задачи Коши имеет вид


N
' −1 N −1
' a2k t2k+1
(at)2k k
u= ∆ ϕ+ ∆k ψ.
k=0
(2k)! k=0
(2k + 1)!

Используя принцип суперпозиции, можно комбинировать


эти случаи.

В примерах 54–60 для волнового уравнения utt = a2 ∆u


в трехмерном пространстве найдите решения, удовлетворя-
ющие следующим
& условиям& Коши.
54. u&t=0 = e & cos z, ut &t=0 = 0.
& 3x−y

55. u&&t=0 = 0, ut &t=0 =&r.


56. u&&t=0 = x2 + y 2&, ut &t=0 = z cos z.
57. u&&t=0 = xyz, ut&&t=0 = x sin y.
58. u&&t=0 = x2 y, ut &t=0& = 0.
59. u&t=0 = x2 y 2 z 2 , ut &t=0 = 0.
& & √
60. u & z
= e cos(x + y), ut & 2 2 2
= e x +y +z .
t=0 t=0

29
61. Продемонстрируйте действие принципа Гюйгенса на
примере следующей задачи Коши для волнового уравнения
на плоскости и в пространстве:
(
& u0 , 0 " r " r 0 , &
u&t=0 = ut &t=0 = 0.
0, r0 < r,

§ 10. Задача Коши для неоднородного волнового


уравнения в случае многих переменных
Рассмотрим неоднородное волновое уравнение
utt = a2 ∆u + f (x, y, z, t), (10.1)
где a = const > 0, f — заданная функция.
Задача Коши. Найти решение уравнения (10.1) в обла-
сти {(x, y, z) ∈ R3 , t > 0}, такое, что
&
u&t=0 = ϕ(x, y, z),
&
ut &t=0 = ψ(x, y, z),
где ϕ, ψ — заданные функции.
В силу принципа суперпозиции достаточно уметь нахо-
дить частное решение неоднородного уравнения.
Его можно найти, например, воспользовавшись следую-
щим принципом.
Принцип Дюамеля8 . Пусть функция v(x, y, z, t, τ ) — ре-
шение задачи Коши для однородного уравнения (9.1) с на-
чальными условиями, заданными при t = τ :
& &
v &t=τ = 0, vt &t=τ = f (x, y, z, τ ).
Тогда функция
2t
u(x, y, z, t) = v(x, y, z, t, τ )dτ
0
8
Jean-Marie Constant Duhamel (1797–1872), французский математик.

30
является решением задачи Коши для уравнения (10.1) с од-
нородными условиями ϕ ≡ 0, ψ ≡ 0.
Таким образом, получаем следующие формулы для реше-
ния задачи Коши для неоднородного уравнения:
— формулу Д’Аламбера при n = 1
2 x+at
ϕ(x + at) + ϕ(x − at) 1
u(x, t) = + ψ(s)ds+
2 2a x−at
2 t 2 x+a(t−τ )
1
+ f (x, s)dsdτ ;
2a 0 x−a(t−τ )

— формулу Пуассона при n = 2


22
1 ∂ ϕ(ξ, η) dξdη
u(x, y, t) = 5 +
2πa ∂t (at)2 − (x − ξ)2 − (y − η)2
B
2 2 at
1 ψ(ξ, η) dξdη
+ 5 +
2πa (at) − (x − ξ)2 − (y − η)2
2
Bat
2t 2 2
1 f (ξ, η, τ ) dξdη
+ 5 dτ,
2πa (a(t − τ ))2 − (x − ξ)2 − (y − η)2
0 Ba(t−τ )

где Bat ⊂ R2 — круг с центром в точке (x, y) радиуса at;


— формулу Кирхгофа при n = 3
6 22 7
∂ 1
u(x, y, z, t) = ϕ(ξ, η, ζ)dS +
∂t 4πa2 t
S
2 2 at
1
+ ψ(ξ, η, ζ)dS+
4πa2 t
Sat
2t 2 2
1 f (ξ, η, ζ, τ )
+ dSdτ,
4πa2 t−τ
0 Sa(t−τ )

31
где Sat — сфера с центром в точке (x, y, z) радиуса at.
В случае, когда функция f имеет вид

f = g(x, y, z)h(t),

где g — собственная функция оператора Лапласа, т. е. ∆g =


λg, частное решение неоднородного уравнения можно найти
в виде
u = g(x, y, z)H(t).

Решите указанные ниже задачи Коши.


62. utt 2
& − a uxx = sin ωt,
&
u&t=0 = sin x, ut &t=0 = x.
63. utt − a2 ∆u = 1+t
xt
2,
& &
u& = 0, ut & = y cos z.
t=0 t=0

64. utt
& − ∆u = txy sin 2z,
&
u&t=0 = z − xy, ut &t=0 = 0.
65. utt
& − ∆u 2= 2xyz, &
u&t=0 = x + y 2 + z 2 , ut &t=0 = ez sin 2x.

32
Метод Фурье9
§ 11. Уравнение Лапласа в двумерном случае. Раз-
деление переменных в декартовой системе
координат
Задача Дирихле10 . Найти решение уравнения Лапласа

∆u ≡ uxx + uyy = 0, (x, y) ∈ D, (11.1)

такое, что &


u&∂D = ϕ,
где D = (0, a) × (0, b), ϕ — заданная функция. Положим ϕ1 =
ϕ(x, 0), ϕ2 = ϕ(x, b), ϕ3 = ϕ(0, y), ϕ4 = ϕ(a, y) (рис. 5).

y
u=φ2
b

u=φ3 u=φ4

u=φ1 a x
Рис. 5

Теорема. Для любой ϕ ∈ C(∂D) существует единствен-


ное решение задачи Дирихле для уравнения Лапласа из про-
странства C 2 (D) ∩ C(D).
Чтобы решить задачу Дирихле в случае, когда

ϕ(0, 0) = ϕ(a, 0) = ϕ(0, b) = ϕ(a, b) = 0, (11.2)


9
Jean Baptiste Joseph Fourier (1768–1830), французский математик и
физик.
10
Johann Peter Gustav Lejeune Dirichlet (1805–1859), немецкий мате-
матик.

33
разбиваем эту задачу на две подзадачи (рис. 6):
& & & &
(I) u&y=0 = ϕ1 (x), u&y=b = ϕ2 (x), u&x=0 = u&x=a = 0;
& & & &
(II) u&x=0 = ϕ3 (y), u&x=a = ϕ4 (y), u&y=0 = u&y=b = 0.

y y
u=φ2 u=0
b b

u=0 u=0 u=φ3 u=φ4

u=φ1 a x u=0 a x
Рис. 6

Затем каждую из полученных задач решаем методом раз-


деления переменных (методом Фурье).
Метод разделения переменных, например, для пер-
вой задачи состоит в том, что
1) сначала ищется частное решение в виде u = X(x)Y (y).
Уравнение (11.1) приобретает вид
X !! Y !!
+ =0
X Y
и распадается на два уравнения:

X !! = λX, Y !! = −λY,

где λ — некоторая (пока неизвестная) постоянная.


1а) Сначала решается то уравнение, для которого имеют-
ся однородные краевые условия, т. е. в первом случае сначала
решается следующая задача Штурма11 — Лиувилля12 :

X !! = λX, X(0) = X(a) = 0.


11
Charles-François Sturm (1803–1855), французский математик.
12
Joseph Liouville (1809–1882), французский математик.

34
При этом находится бесконечная последовательность собст-
венных значений и соответствующих им собственных функ-
ций: 3 πn 42
πnx
Xn = sin , λn = − , n ∈ N.
a a
Причем, как известно, эта последовательность собственных
функций Xn (как последовательность собственных функций
оператора Штурма – Лиувилля) образует ортогональный ба-
зис в пространстве L2 (0, a).
1б) Затем решается оставшееся уравнение с найденны-
ми λn , т. е. 3 πn 42
Yn!! = Yn .
a
В результате получается, что

πny πn(y − b)
Yn = An sh + Bn sh .
a a
Таким образом, найдено семейство частных решений вида

un = Xn (x)Yn (x), n ∈ N.

2) Далее ищем решение каждой задачи в виде ряда u =


!

Xn (x)Yn (y), т. е. для первой задачи в виде
n=1

∞ 8
' 9
πny πn(y − b) πnx
u= An sh + Bn sh sin .
n=1
a a a

Коэффициенты An , Bn находим из краевых условий


& &
u&y=0 = ϕ1 , u&y=b = ϕ2 .

Решением исходной задачи будет сумма решений подза-


дач (I) и (II).

35
Если условие (11.2) не выполнено, то сначала найдем гар-
моническую функцию v (т. е. удовлетворяющую уравнению
Лапласа), такую, что
v(0, 0) = ϕ(0, 0), v(a, 0) = ϕ(a, 0),
v(0, b) = ϕ(0, b), v(a, b) = ϕ(a, b).
А затем, воспользовавшись принципом суперпозиции, сведем
исходную задачу к задаче для функции w = u − v, для ко-
торой условие (11.2) выполнено. Заметим, что функцию v
можно найти в виде
v = A + Bx + Cy + Dxy.
Задача Неймана13 . Найти решение уравнения Лапласа
(11.1) в прямоугольнике D такое, что
∂u &&
& = ϕ,
∂n ∂D
где n — вектор внешней нормали к ∂D.
Теорема. Пусть ϕ ∈ C(∂D). Решение задачи Неймана
для уравнения Лапласа из пространства C 2 (D) ∩ C 1 (D) су-
ществует тогда и только тогда, когда
2
ϕds = 0. (11.3)
∂D

Если условие (11.3) выполнено, то решение определяется с


точностью до аддитивной постоянной.
Пусть условие (11.3) выполнено. Чтобы решить задачу
Неймана в случае, когда
2a 2b 2a 2b
ϕ(x, 0)dx = ϕ(a, y)dy = ϕ(x, b)dx = ϕ(0, y)dy = 0,
0 0 0 0
(11.4)
13
Carl Gottfried Neumann (1832–1925), немецкий математик.

36
разбиваем эту задачу на две подзадачи:
& & & &
(I) uy &y=0 = ϕ1 (x), uy &y=b = ϕ2 (x), ux &x=0 = ux &x=a = 0;
& & & &
(II) ux &x=0 = ϕ3 (y), ux &x=a = ϕ4 (y), uy &y=0 = uy &y=b = 0,

где ϕ1 = −ϕ(x, 0), ϕ2 = ϕ(x, b), ϕ3 = −ϕ(0, y), ϕ4 = ϕ(a, y).


Затем каждую из полученных задач решаем методом раз-
деления переменных (см. решение задачи Дирихле).
Если условие (11.4) не выполнено (но условие (11.3) вы-
полнено), то сначала найдем гармоническую функцию v та-
кую, что

2a 2a 2b 2b
vy (x, 0)dx = ϕ(x, 0)dx, vx (a, y)dy = ϕ(a, y)dy,
0 0 0 0

2a 2a 2b 2b
vy (x, b)dx = ϕ(x, b)dx, vx (0, y)dy = ϕ(0, y)dy
0 0 0 0

(заметим, что четвертое условие автоматически будет выпол-


нено в силу условия (11.3)). Затем, воспользовавшись прин-
ципом суперпозиции, сведем исходную задачу к задаче для
функции w = u − v, для которой условие (11.4) выполнено.
Функцию v можно найти в виде

v = Ax + By + C(x2 − y 2 ).

Решите задачи Дирихле и Неймана для уравнения Лапла-


са в прямоугольнике
& 0& < x < a, 0 < y < b.
66. u y=0 = 0, u&y=b = x(a − x),
&
& &
u& = A sin πy , u&
x=0 b
= 0. x=a

37
& &
67. u&y=0 = x, u&y=b = 0,
& &
u&x=0 = 0, u&x=a = ba2 (b − y)2 .
& &
68. uy &y=0 = A, uy &y=b = x,
& &
ux &x=0 = −y, ux &x=a = 0.
& &
69. uy &y=0 = A, uy &y=b = 0,
& &
ux &x=0 = B, ux &x=a = 0.
& &
70. uy &y=0 = Ax2 , uy &y=b = 0,
& &
ux &x=0
= By, ux & = 0,
x=a

§ 12. Уравнение Лапласа в двумерном случае. Раз-


деление переменных в полярной системе ко-
ординат
Задачи Дирихле и Неймана формулируются так же, как
и в предыдущем параграфе, только область D является либо
кругом
5
D = {(x, y) ∈ R2 : ρ = x2 + y 2 < R},

либо кольцом

D = {(x, y) ∈ R2 : R1 < ρ < R2 },

либо внешностью круга

D = {(x, y) ∈ R2 : R < ρ}.

В последнем случае дополнительно задаем условие на пове-


дение решения при ρ → +∞:

u = O(1) при ρ → +∞.

Решение находится методом разделения переменных в по-


лярной системе координат. Напомним, что оператор Лапласа

38
в полярной системе координат

x = ρ cos ϕ, y = ρ sin ϕ

имеет вид
1 ∂ 3 ∂u 4 1 ∂ 2u
∆u = ρ + 2 2.
ρ ∂ρ ∂ρ ρ ∂ϕ
Метод разделения переменных состоит в том, что
1) сначала ищем частное решение в виде u = R(ρ)Φ(ϕ).
Подставляя функцию такого вида в уравнение (11.1), полу-
чаем уравнение
ρ(ρR! )! Φ!!
+ = 0,
R Φ
распадающееся на следующие два:

Φ!! = λΦ, ρ(ρR! )! = −λR,

где λ — некоторая постоянная.


1а) Решаем следующую задачу Штурма — Лиувилля

Φ!! = λΦ, Φ(0) = Φ(2π), Φ! (0) = Φ! (2π)

и находим
Φ0 = 1, λ0 = 0,
Φ1n = cos nϕ, Φ2n = sin nϕ, λn = −n2 , n = 1, 2, . . .
Полученная система собственных функций образует ортого-
нальный базис в пространстве L2 (0, 2π).
1б) Затем решаем второе уравнение с найденным λn , т. е.

ρ(ρR! )! = n2 R.

Это уравнение имеет решения вида

R0 = a0 + b0 ln ρ при n = 0,
Rn = an ρn + bn ρ−n при n = 1, 2, . . .

39
Таким образом, найдено семейство частных решений вида

un = Φn (ϕ)Rn (ρ), n = 0, 1, 2, . . .

2) Решение нашей исходной задачи ищем в виде ряда


!

u= Φn (ϕ)Rn (ρ), т. е. в виде
n=0


'
u = A0 + B0 ln ρ + [An cos nϕ + Bn sin nϕ]ρn +
n=1

' 1
+ [Cn cos nϕ + Dn sin nϕ] .
n=1
ρn

Коэффициенты An , Bn , Cn , Dn находим из граничных усло-


вий.

Решите задачи Дирихле и Неймана для уравнения Лапла-


са в области
& D.
&
71. u ρ=1 = cos2 ϕ, D = {ρ < 1}.
&
72. uρ &ρ=R = sin 2ϕ, D = {ρ < R}.
&
73. u&ρ=1 = sin2 ϕ, u(ρ) = O(1) при ρ → ∞, D = {ρ > 1}.
& &
74. u&ρ=1 = cos 2ϕ, u&ρ=1 = 1 + sin 3ϕ, D = {1 < ρ < 2}.
(
& 1, 0 < ϕ < π,
&
75. u ρ=R = D = {ρ < R}.
−1, π < ϕ < 2π,

§ 13. Смешанная задача для уравнения колебаний


струны и уравнения распространения тепла
в стержне
Рассмотрим смешанные задачи для уравнения колебаний
ограниченной струны. Требуется найти решение уравнения

utt = a2 uxx , 0 < x < l, t > 0, (13.1)

40
удовлетворяющее начальным условиям
& &
u&t=0 = ϕ, ut &t=0 = ψ, 0 < x < l (13.2)
и граничным условиям одного из следующих видов:
& &
u&x=0 = u&x=l = 0, (13.31 )
& &
ux &x=0 = ux &x=l = 0, (13.32 )
& &
u&x=0 = ux &x=l = 0, (13.33 )
& &
ux &x=0 = u&x=l = 0 (13.34 )
при t > 0.
Задача решается методом разделения переменных:
1) сначала ищем частное решение уравнения (13.1) в виде
u = X(x)T (t), при этом уравнение (13.1) распадается на два
уравнения
X !! = λX и T !! = λa2 T ;
1а) решаем краевую задачу для функции X, т. е. находим
собственные функции одной из задач:
X !! = λX, X(0) = X(l) = 0, (13.41 )
X !! = λX, X ! (0) = X ! (l) = 0, (13.42 )
X !! = λX, X(0) = X ! (l) = 0, (13.43 )
X !! = λX, X ! (0) = X(l) = 0, (13.44 )
при этом найдется счетное множество собственных функ-
ций Xn :
πnx
Xn = sin , n = 1, 2, . . . ,
l
πnx
Xn = cos , n = 0, 1, 2, . . . ,
l
π(2n + 1)x
Xn = sin , n = 0, 1, 2, . . . ,
2l
π(2n + 1)x
Xn = cos , n = 0, 1, 2, . . .
2l

41
и собственных значений λn , причем система собственных
функций {Xn } будет образовывать ортогональный базис в
пространстве L2 (0, l);
1б) из второго уравнения находим функции Tn для каж-
дого из полученных λn ;
2) решение составляем в виде ряда по собственным функ-
!

циям, т. е. в виде u = Tn (t)Xn (x), при этом неизвестные
n=0
коэффициенты находим из начальных условий (13.2).
Если нужно решить смешанную задачу для неодно-
родного уравнения
utt = a2 uxx + f (x, t), 0 < x < l, t > 0, (13.5)
с условиями (13.2), (13.3i ) (i = 1, 2, 3, 4), то
1) сначала находим собственные функции задачи (13.4i )
(i = 1, 2, 3, 4);
2) раскладываем функцию f (x, t) в ряд по найденным
собственным функциям Xn (x):

'
f (x, t) = Fn (t)Xn (x);
n=0

3) ищем решение исходной задачи в виде ряда



'
u= Tn (t)Xn (x).
n=0

Тогда из уравнения (13.5) и условий (13.2) получаем следу-


ющие задачи для коэффициентов Tn :
Tn!! = λn a2 Tn + Fn ,
Tn (0) = Φn ,
Tn! (0) = Ψn ,
где Φn , Ψn — коэффициенты разложения функций ϕ(x) и
ψ(x) соответственно в ряд по собственным функциям Xn (x).

42
Если нужно решить смешанную задачу для уравне-
ния (13.5) с условиями (13.2) и неоднородными гранич-
ными условиями одного из следующих видов
& &
u&x=0 = µ1 (t), u&x=l = µ2 (t), (13.61 )
& &
ux &x=0 = ν1 (t), ux &x=l = ν2 (t), (13.62 )
& &
u&x=0 = ϕ1 (t), ux &x=l = ϕ2 (t), (13.63 )
& &
ux & x=0
= ψ1 (t), u& = ψ2 (t),
x=l
(13.64 )

то сводим задачу с неоднородными граничными условиями к


задаче с однородными условиями. Для этого ищем решение
в виде суммы u = v + w:
1) сначала находим функцию v(x, t), удовлетворяющую
граничным условиям (13.6i ) (i = 1, 2, 3, 4), в случае условий
(13.61 ) это будет, например, следующая функция:

µ1 (t)(l − x) + µ2 (t)x
v= ;
l
2) затем находим решение w(x, t) уравнения

wtt = a2 wxx + f)(x, t), 0 < x < l, t > 0,

удовлетворяющее условиям
& &
w&t=0 = ϕ, )
) wt &t=0 = ψ, 0<x<l

и однородным граничным условиям


& &
w&x=0 = w&x=l = 0, t > 0,

или & &


wx &x=0 = wx &x=l = 0, t > 0,
где f)(x, t) = f (x, t) − vtt + a2 vxx , ϕ(x)
) )
= ϕ(x) − v(x, 0), ψ(x) =
ψ(x) − vt (x, 0).

43
Аналогично можно решать смешанные задачи для урав-
нения теплопроводности
ut = a2 uxx + f (x, t), 0 < x < l, t > 0
или уравнений вида
a0 utt + a1 ut + a2 u = uxx + f (x, t), 0 < x < l, t > 0,
где ai = ai (t), i = 0, 1, 2. Изменения произойдут только в урав-
нении для компоненты решения T (t).

Решите смешанные задачи для гиперболических уравне-


ний. В примерах 79, 80, 83, 84 выясните, при каких значе-
ниях ω возникает резонанс.
76. utt 2
& = a uxx , &
u&&t=0 = x(l
& − x), u t
& = sin 3πx ,
t=0 l
u&x=0 = u&x=l = 0.
77. utt
& − 3ut − ux = uxx& ,
u&&t=0 = cos &
& 2 , ut t=0 = 0,
& &
u x=0 = u x=π = 0.
78. utt
& + 2ut + u =& uxx ,
u&&t=0 = 0, & ut &t=0 = v0 ,
u&x=0 = ux &x=l = 0.
79. utt 2
& = a uxx + sin
& ωt,
u&t=0 = 0,& ut &t=0 = 0,
&
u& = u&
x=0
= 0.
x=π

80. utt
& = uxx + cos&ωt,
u&t=0 &
& = x, & ut t=0 = 0,
& &
ux x=0 = ux x=π = 0.
81. utt 2
& = a uxx + g, &
u&&t=0 = 0, & ut &t=0 = 0,
u&x=0 = ux &x=π = 0.

44
82. utt 2
& = a uxx , &
u&&t=0 = x + 1, u&t &t=0 = 0,
u&x=0 = t + 1, u&x=1 = t2 + 2.
83. utt 2
& = a uxx , &
u&&t=0 = 0, ut&&t=0 = 0,
u&x=0 = 0, u&x=l = A cos ωt,
84. utt 2
& = a uxx , &
u&t=0 &
& = 0, ut &t=0 = 0,
ux &x=0 = 0, u&x=l = A sin ωt,

§ 14. Уравнение Лапласа в трехмерном случае.


Разделение переменных в цилиндрической
системе координат
Пусть
5
Q = {(x, y, z) ∈ R3 : ρ = x2 + y 2 < ρ0 , 0 < z < h}.

Будем искать гармоническую в цилиндре Q функцию, удо-


влетворяющую либо условиям Дирихле, либо условиям Ней-
мана на границе цилиндра. Например, задача Дирихле ста-
вится следующим образом.
Задача Дирихле. Найти решение уравнения Лапласа

∆u = 0, (x, y, z) ∈ Q, (14.1)

такое, что &


u&ρ=ρ0 = α,
& &
u&z=0 = β, u&z=h = γ,
где α, β, γ — заданные функции.
Перейдем в цилиндрическую систему координат:

x = ρ cos ϕ, y = ρ sin ϕ, z.

45
Оператор Лапласа в цилиндрической системе координат
имеет вид
1 ∂ 3 ∂u 4 1 ∂ 2u ∂ 2u
∆u = ρ + 2 2 + 2.
ρ ∂ρ ∂ρ ρ ∂ϕ ∂z
Если на основаниях цилиндра заданы однородные
условия, т. е. β ≡ 0, γ ≡ 0, то ищем решение уравнения
Лапласа следующим образом:
1) ищем частное решение в виде u = R(ρ)Φ(ϕ)Z(z). Тогда
из уравнения (14.1) получаем уравнение

1 (ρR! )! 1 Φ!! Z !!
+ 2 + = 0,
ρ R ρ Φ Z
распадающееся на следующие три:
8 9
!! !! 1 ! ! α
Φ = αΦ, Z = βZ, (ρR ) + β + 2 R = 0,
ρ ρ
где α, β — некоторые постоянные;
1а) решая задачу Штурма — Лиувилля

Φ!! = αΦ, Φ(0) = Φ(2π), Φ! (0) = Φ! (2π),

находим
Φn = einϕ , αn = −n2 , n ∈ Z;
1б) в случае условий Дирихле возникает следующая за-
дача Штурма — Лиувилля:

Z !! = βZ, Z(0) = Z(h) = 0,

решениями которой будут


πkz 3 πk 42
Zk = sin , βk = − , k ∈ N.
h h
Случай условий Неймана исследуется аналогично;

46
1в) теперь решаем оставшееся уравнение с найденными
αn и βk , т. е.
83 4 9
!! 1 ! πk 2 n2
R + R − + 2 R = 0.
ρ h ρ
Это уравнение имеет ограниченное в окрестности нуля реше-
ние вида
3 πkρ 4
Rnk = In , n = 0, 1, 2, . . . , k = 1, 2, . . . ,
h
где In (ξ) — модифицированные функции Бесселя14 (см. п. 2
приложения). Заметим, что поскольку

J−n (x) = (−1)n Jn (x) (14.2)

при n ∈ N, то можно рассматривать и n ∈ Z.


Таким образом, найдено семейство частных решений вида

unk = Φn (ϕ)Rnk (ρ)Zk (z), n ∈ Z, k ∈ N.

Отметим, что для задачи Неймана k ∈ {0, 1, 2, . . .}, и следует


отдельно рассмотреть случай k = 0.
2) Решением задачи Дирихле будет ряд
∞ '
' ∞ 3 πkρ 4 πkz
u= Ank In einϕ sin .
n=−∞ k=1
h h

Коэффициенты Ank находятся из граничных условий на бо-


ковой поверхности цилиндра S = {ρ = ρ0 , 0 ≤ z ≤ h}, по-
скольку система функций
( :
πkz
inϕ
vnk = e sin , n ∈ Z, k ∈ N
h
14
Friedrich Wilhelm Bessel (1784–1846), немецкий математик и астро-
ном.

47
является ортогональным базисом в пространстве L2 (S). Это
означает, что произвольную функцию f из L2 (S) можно пре-
дставить в виде ряда
∞ '
' ∞
f (ϕ, z) = cnk vnk ,
n=−∞ k=1

где
;h ;2π
f vnk dϕdz
(f, vnk ) 0 0
cnk = = .
.vnk .2 πh
Если на боковой поверхности цилиндра заданы од-
нородные условия, т. е. α ≡ 0, то решение уравнения Ла-
пласа находим следующим образом:
1) ищем частное решение в виде u = R(ρ)Φ(ϕ)Z(z). Как и
в предыдущем случае, уравнение (14.1) распадается на три:
8 9
!! !! 1 ! ! α
Φ = αΦ, Z = βZ, (ρR ) + β + 2 R = 0,
ρ ρ

где α, β — некоторые постоянные;


1а) решая задачу Штурма — Лиувилля

Φ!! = αΦ, Φ(0) = Φ(2π), Φ! (0) = Φ! (2π),

находим
Φn = einϕ , αn = −n2 , n ∈ Z;
1б) в случае условий Дирихле возникает следующая за-
дача Штурма — Лиувилля:
8 9
!! 1 ! n2
R + R + β − 2 R = 0,
ρ ρ
R(ρ0 ) = 0, R(ρ) = O(1) при ρ → 0,

48
решениями которой будут
3 µn 4 3 µn 42
k k
Rnk = Jn ρ , βnk = ,
ρ0 ρ0
n = 0, 1, 2, . . . , k = 1, 2, . . . ,

где {µnk }∞
k=1 — положительные нули функции Бесселя Jn (µ).
Опять же в силу (14.2) можно считать n ∈ Z;
1в) теперь решаем оставшееся уравнение с найденны-
ми βnk , т. е. 3 µn 42
Z !! = k
Z.
ρ0
Это уравнение имеет решения вида

µnk z µn (z − h)
Znk = cnk sh + dnk sh k .
ρ0 ρ0
Таким образом, найдено семейство частных решений вида

unk = Φn (ϕ)Rnk (ρ)Znk (z), n = 0, 1, 2, . . . , k = 1, 2, . . .

2) Решением задачи Дирихле будет ряд


∞ 8 9
µnk (z − h) inϕ 3 µnk 4
∞ '
' µnk z
u= Ank sh + Bnk sh e Jn ρ .
n=−∞ k=1
ρ0 ρ0 ρ0

Коэффициенты Ank , Bnk находятся из граничных условий на


основаниях цилиндра, поскольку система функций
( 3 µn 4 :
inϕ
vnk = e Jn k
ρ , n ∈ Z, k ∈ N
ρ0

является ортогональным базисом в пространстве квадратич-


но интегрируемых в круге Bρ0 = {ρ < ρ0 } функций. Это

49
означает, что произвольную функцию f из L2 (Bρ0 ) можно
представить в виде ряда
∞ '
' ∞
f (ρ, ϕ) = cnk vnk ,
n=−∞ k=1
где
;ρ0 ;2π
f vnk ρ dϕdρ
(f, vnk ) 0 0
cnk = = .
.vnk .2 ;ρ0 < 3
µn
4=2
2π Jn k
ρ0
ρ ρ dρ
0
В общем случае сведем задачу к предыдущим двум.
Обозначим
α1 (ϕ) = α(ϕ, 0) = β(ρ0 , ϕ), α2 (ϕ) = α(ϕ, h) = γ(ρ0 , ϕ).
Будем искать решение нашей задачи в виде суммы u = v + w.
1) Сначала находим функцию v, удовлетворяющую в ци-
линдре Q уравнению Лапласа и условиям
& &
v& = α1 (ϕ), v &
ρ=ρ0 , z=0
= α2 (ϕ),
ρ=ρ0 , z=h

например, ее можно найти по формуле


v1 (ρ, ϕ)(h − z) + v2 (ρ, ϕ)z
v= ,
h
где v1 , v2 — решения следующих задач Дирихле для двумер-
ного уравнения Лапласа в круге {ρ < ρ0 }:
&
∆v1 = 0, v1 &ρ=ρ0 = α1 (ϕ),
&
∆v2 = 0, v2 &ρ=ρ0 = α2 (ϕ).
2) Затем находим функцию w как сумму w1 и w2 решений
задач:
∆w1 = 0 в Q,
& &
w1 &ρ=ρ0 = α − v &ρ=ρ0 ,
& &
w1 &z=0 = w1 &z=h = 0,

50
и
∆w2 = 0 в Q,
&
w2 &ρ=ρ0 = 0,
& & & &
w2 &z=0 = β − v &z=0 , w2 &z=h = γ − v &z=h .

Найдите стационарную температуру u(ρ, z) внутри цилин-


дра, имеющего
& круглое
& основание радиуса ρ0 и высоту h, если
& &
85. u&z=0 = u z=h = 0,
u&ρ=ρ0 = 3 sin πz .
& & h
& &
86. u&z=0 = u z=h = 0,
u&ρ=ρ0 = cos2 ϕ sin 3πz .
& & h
& &
87. u&z z=0 = uz z=h = 0,
u&ρ=ρ0 = f (z).
& &
88. u&&z=0 = ρ − ρ0 , u&z=h = 0,
u&ρ=ρ0 = 0.
& &
89. u&z=0 &
& = 0, u z=h = f (ρ),
uρ &ρ=ρ0 = 0.

§ 15. Уравнение Лапласа в трехмерном случае.


Разделение переменных в сферической систе-
ме координат. Сферические гармоники
Будем искать гармоническую функцию, разделяя пере-
менные в сферической системе координат:
x = r cos ϕ sin θ,
y = r sin ϕ sin θ,
z = r cos θ.
Уравнение Лапласа запишется в виде
1 ∂ 3 2 ∂u 4 1 ∂3 ∂u 4 1 ∂ 2u
∆u = 2 r + 2 sin θ + 2 2 = 0.
r ∂r ∂r r sin θ ∂θ ∂θ r sin θ ∂ϕ2

51
1) Сначала ищем частное решение уравнения Лапласа в
виде u = R(r)Φ(ϕ)F (θ). Получаем уравнение

(r2 R! )! (sin θF ! )! 1 Φ!!


+ + = 0,
R sin θF sin2 θ Φ
распадающееся на следующие три:

(sin θF ! )! αF
Φ!! = αΦ, + = βF, (r2 R! )! = −βR,
sin θ sin2 θ
где α, β — некоторые постоянные.
1а) Решая задачу Штурма — Лиувилля

Φ!! = αΦ, Φ(0) = Φ(2π), Φ! (0) = Φ! (2π),

находим
Φm = eimϕ , αm = −m2 , m ∈ Z.
1б) Для функции F возникает следующая задача Штур-
ма — Лиувилля:

(sin θF ! )! m2 F
− = βF,
sin θ sin2 θ
F (θ) = O(1) при θ → 0 и при θ → π,

решениями которой будут присоединенные функции Лежан-


дра15 (см. п. 3 приложения):

Fnm (θ) = Pnm (cos θ), βnm = −n(n + 1),


n = 0, 1, 2, . . . , m = −n, n.

1в) Теперь решаем оставшееся уравнение с найденны-


ми βnm , т. е.
(r2 R! )! = n(n + 1)R.
15
Adrien-Marie Legendre (1752–1833), французский математик.

52
Это уравнение имеет решения вида
bn
Rn = a n r n + , n = 0, 1, 2, . . .
rn+1
Таким образом, найдено семейство частных решений вида

unm = Rnm (r)Φm (ϕ)Fnm (θ), n = 0, 1, 2, . . . , m = −n, n.

2) Итак, гармонические функции в сферической системе


координат имеют вид
∞ '
' n 6 7
n Bnm imϕ m
u= Anm r + n+1 e Pn (cos θ)
n=0 m=−n
r

или 6
∞ '
' n
B)nm 7
u= )
Anm r + n+1 Ynm (θ, ϕ),
n

n=0 m=−n
r
где >
1 2n + 1 (n − m)! imϕ m
Ynm (θ, ϕ) = e Pn (cos θ)
2π 2 (n + m)!
— сферические гармоники.
Для наглядности приведем таблицы ненормированных
сферических гармоник (табл. 1, 2).

53
Таблица 1
Ненормированные сферические гармоники {Pnm (cos θ)eimϕ }
m = −3 m = −2 m = −1 m=0 m=1 m=2 m=3
n=0 1

n=1 sin θ e−iϕ cos θ sin θ eiϕ

n=2 3 sin2 θ e−i2ϕ 3 sin θ cos θ e−iϕ 3 cos2 θ−1


2
3 sin θ cos θ eiϕ 3 sin2 θ ei2ϕ

3 2
n=3 15 sin θ e 15 sin θ cos θ e sin θ 15 cos e 5 cos3 θ−3 cos θ
sin θ 15 cos e 15 sin2 θ cos θ ei2ϕ 15 sin3 θ ei3ϕ
−i3ϕ −i2ϕ 2 θ−3 −iϕ 2 θ−3 iϕ
2 2 2

54
Таблица 2
Ненормированные вещественные сферические гармоники
{Pnm (cos θ) sin mϕ, Pnm (cos θ) cos mϕ}
m=3 m=2 m=1 m=0 m=1 m=2 m=3
n=0 1

n=1 sin θ sin ϕ cos θ sin θ cos ϕ

n=2 3 sin2 θ sin 2ϕ 3 sin θ cos θ sin ϕ 3 cos2 θ−1


2
3 sin θ cos θ cos ϕ 3 sin2 θ cos 2ϕ

n=3 15 sin3 θ sin 3ϕ 15 sin2 θ cos θ sin 2ϕ sin θ 15 cos sin ϕ sin θ 15 cos cos ϕ 15 sin2 θ cos θ cos 2ϕ 15 sin3 θ cos 3ϕ
2 θ−3 5 cos3 θ−3 cos θ 2 θ−3
2 2 2
Если потребуется найти гармоническую функцию в шаре
{r < r0 } (или вне шара, или в сферическом слое), удовле-
творяющую на границе условиям Дирихле или Неймана, то
коэффициенты Anm , Bnm (или A )nm , B
)nm ) будут находить-
ся из граничных условий, поскольку сферические гармони-
ки Ynm (θ, ϕ) образуют ортонормированный базис в простран-
стве квадратично интегрируемых функций на сфере L2 (S1 ),
т. е. произвольную функцию f из этого пространства можно
представить в виде ряда
∞ '
' n
f (θ, ϕ) = cnm Ynm (θ, ϕ),
n=0 m=−n

где
22π 2π
cnm = (f, Ynm ) = f (θ, ϕ)Ynm (θ, ϕ) sin θ dθdϕ.
0 0

Заметим, что для задачи вне шара дополнительно ставит-


ся условие u → 0 при r → ∞.

Разложите по сферическим гармоникам следующие фун-


кции, заданные на сфере.
90. sin2 θ sin 2ϕ.
91. sin2 θ sin2 ϕ.
92. cos2 θ sin 2ϕ.
93. sin2 θ cos(2ϕ + π/3).
94. cos θ sin2 θ.
95. sin 3ϕ.
96. cos3 ϕ.
Найдите гармоническую функцию u в области D, удовле-
творяющую заданным &условиям на границе.
97. D = {r < r0 }, u&r=r0 = sin2 θ + sin5 θ sin 5ϕ.

55
& &
98. D = {1 < r < 2}, ur &r=1 = sin θ cos ϕ, u&r=2 =
sin 2θ sin ϕ. &
99. D = {1 < r}, u&r=1 = sin7 θ cos 7ϕ − 1, u = o(1) при
r → ∞. &
100. D = {r < 1}, ur &r=1 = sin& 10 θ sin 10ϕ.
101. D = {r > 1}, u − ur &r=1 = (sin ϕ + cos ϕ cos θ +
sin θ) sin θ, u = o(1) при r →& ∞. &
102. D = {1 < r < 2}, u&r=1 = sin3 θ sin ϕ, u&r=2 = 1.
(
& 1, 0 < θ < π2 ,
&
103. D = {r < r0 }, u r=r0 = π
& −1, 2 < θ < π.
104. D = {r > 1}, u + ur &r=1 = f (θ, ϕ), u = o(1) при
r → ∞.

§ 16. Собственные функции оператора Лапласа


Здесь мы опишем, как находить собственные функции
оператора Лапласа в декартовой, цилиндрической и сфери-
ческой системах координат.
Задача Штурма — Лиувилля. Найти собственные
функции и собственные значения оператора Лапласа в об-
ласти D, удовлетворяющие условиям Дирихле или Неймана,
т. е. найти ненулевые функции u и числа λ такие, что

∆u = λu, (x, y, z) ∈ D,
& ∂u &&
&
u& = 0 или & = 0.
∂D ∂n ∂D
Теорема (о спектре). Все собственные значения задачи
Штурма — Лиувилля вещественны, неположительны и име-
ют конечную кратность. Множество собственных значений
задачи Штурма — Лиувилля счетно, и предельной точкой
этого множества является −∞, т. е. собственные значения
можно упорядочить следующим образом:

. . . ≤ λn ≤ . . . ≤ λ2 ≤ λ1 ≤ 0.

56
Теорема Гильберта16 — Шмидта17 . Собственные фун-
кции {un }∞
n=1 задачи Штурма — Лиувилля образуют орто-
нормированный базис в пространстве L2 (D), т. е. любую
функцию f ∈ L2 (D) можно представить в виде ряда

'
f= c n un , cn = (f, un ), (16.1)
n=1

сходящегося в пространстве L2 (D).


Теорема Стеклова18 . Если функция f ∈ C 2 (D) ∩ C(D)
(или C 2 (D) ∩ C 1 (D)) и удовлетворяет однородным условиям
Дирихле (или Неймана), то ряд (16.1) сходится равномерно
в области D.
Заметим, что перечисленные теоремы имеют место и для
более общих равномерно эллиптических операторов (не толь-
ко для оператора Лапласа).
Для того чтобы найти собственные функции, можно вос-
пользоваться методом разделения переменных.
Если область D — параллелепипед (0, a) × (0, b) × (0, c),
то, разделяя переменные в декартовой системе координат,
находим в случае условий Дирихле
πnx πmy πkz
unmk = sin sin sin ,
a 83b 4 c 3 9
πn 2 πm 42 3 πk 42
λnmk = − + + ,
a b c
n, m, k = 1, 2, . . .
Любая функция f ∈ L2 (D) представима в виде ряда
∞ '
' ∞ '

f (x, y, z) = cnmk unmk ,
n=1 m=1 k=1
16
David Hilbert (1862–1943), немецкий математик.
17
Erhard Schmidt (1876–1959), немецкий математик.
18
Владимир Андреевич Стеклов (1863–1926), русский математик и
механик.

57
где
2a 2b 2c
8
cnmk = f unmk dxdydz.
abc
0 0 0
В случае условий Неймана
πnx πmy πkz
unmk = cos cos cos ,
a 83b 4 c3 9
πn 2 πm 42 3 πk 42
λnmk = − + + ,
a b c
n, m, k = 0, 1, 2, . . .
Отметим, что в случае условий Неймана u000 = 1, λ000 = 0.
Любая функция f ∈ L2 (D) представима в виде ряда
∞ '
' ∞ '

f (x, y, z) = cnmk unmk ,
n=0 m=0 k=0

где
2a 2b 2c
1
c000 = f dxdydz,
abc
0 0 0

2a 2b 2c
2
cnmk = f unmk dxdydz,
abc
0 0 0
если m = k = 0, n "= 0, или n = k = 0, m "= 0, или n = m = 0,
k "= 0,
2a 2b 2c
4
cnmk = f unmk dxdydz,
abc
0 0 0
если n = 0, m, k "= 0, или m = 0, n, k "= 0, или k = 0, m, n "= 0,
2a 2b 2c
8
cnmk = f unmk dxdydz,
abc
0 0 0

58
если n, m, k "= 0.
Если область D — цилиндр {ρ < ρ0 , 0 < z < h}, то,
разделяя переменные в цилиндрической системе координат
(см. § 14), находим в случае условий Дирихле
3 µn ρ 4 πmz
k
unmk = Jn einϕ sin ,
ρ0 h
83 n 4 9
µk 2 3 πm 42
λnmk =− + ,
ρ0 h
m, k = 1, 2, . . . , n ∈ Z,

где {µnk }∞
k=1 — положительные нули функции Бесселя Jn . Лю-
бая функция f ∈ L2 (D) представима в виде ряда
∞ '
' ∞ '

f (ρ, ϕ, z) = cnmk unmk ,
n=−∞ m=1 k=1

где
2ρ0 22π 2h
1
cnmk = f unmk ρ dρdϕdz,
πhγnk
0 0 0

2ρ0 8 3 µ n ρ 49 2
k
γnk = Jn ρ dρ.
ρ0
0

В случае условий Неймана получаем следующие собст-


венные функции и собственные значения
3 ν nρ 4 πmz
k
unmk = Jn einϕ cos ,
ρ0 h
83 n 4 9
νk 2 3 πm 42
λnmk = − + ,
ρ0 h
m = 0, 1, 2, . . . , k = 1, 2, . . . , n ∈ Z,

59
и
πmz 3 πm 42
u0m0 = cos , λ0m0 = − , m = 0, 1, 2, . . . ,
h h
где {νkn }∞
k=1 — положительные нули производной функции
Бесселя Jn! . Любая функция f ∈ L2 (D) представима в ви-
де ряда
∞ '
' ∞ '

f (ρ, ϕ, z) = c000 + cnmk unmk ,
n=−∞ m=0 k=1

где
2ρ0 22π 2h
1
c000 = 2 f ρ dρdϕdz,
πρ0 h
0 0 0

2ρ0 22π 2h
1
cn0k = f un0k ρ dρdϕdz, n2 + k 2 "= 0,
2πhδnk
0 0 0

2ρ0 22π 2h
1
cnmk = f unmk ρ dρdϕdz, n2 + k 2 "= 0, m "= 0,
πhδnk
0 0 0

2ρ0 8 3 ν n ρ 49 2
k
δnk = Jn ρ dρ.
ρ0
0

Если область D — шар {r < r0 }, то, разделяя переменные


в сферической системе координат (см. § 15), находим в случае
условий Дирихле
3 4
n+ 1 6 n+ 12 72
Jn+ 1 µk 2 rr0 µ
2 m imϕ
unmk = √ Pn (cos θ)e , λnmk = − k ,
r r0
n = 0, 1, 2, . . . , k = 1, 2, . . . , m = −n, n,

60
n+ 1
где {µk 2 }∞k=1 — положительные нули функции Бесселя
Jn+ 1 . Любая функция f ∈ L2 (D) представима в виде ряда
2

∞ '
' n ∞
'
f (r, ϕ, θ) = cnmk unmk ,
n=0 m=−n k=1

где
2r0 22π 2π
(2n + 1)(n − m)!
cnmk = f unmk r2 sin θ drdϕdθ,
4π(n + m)! γnk
0 0 0

2r0 8 3 92
n+ 1 r4
γnk = Jn+ 1 µk 2 r dr.
2 r0
0

В случае условий Неймана собственные функции и соб-


ственные значения имеют вид
3 4
n+ 1 6 n+ 12 72
Jn+ 1 σk 2 rr0 σ
Pnm (cos θ)eimϕ , λnmk = − k
2
unmk = √ ,
r r0
n = 0, 1, 2, . . . , k = 1, 2, . . . , m = −n, n,

и
u000 = 1, λ000 = 0,
n+ 12
где σk — решения уравнения
!
2σJn+ 1 (σ) = Jn+ 1 (σ).
2 2

Любая функция f ∈ L2 (D) представима в виде ряда


∞ '
' n ∞
'
f (r, ϕ, θ) = c000 + cnmk unmk ,
n=0 m=−n k=1

61
где
2r0 22π 2π
3
c000 = f r2 sin θ drdϕdθ,
4πr03
0 0 0

2r0 22π 2π
(2n + 1)(n − m)!
cnmk = f unmk r2 sin θ drdϕdθ,
4π(n + m)! δnk
0 0 0
n2 + m2 + k 2 "= 0,

2r0 8 3 92
n+ 1 r4
δnk = Jn+ 1 σk 2 r dr.
2 r0
0

Для удобства полученные системы собственных функций


оператора Лапласа приведены в таблице (табл. 3).

Найдите собственные значения и нормированные собст-


венные функции для:
105. Круглой мембраны со свободной границей.
106. Мембраны, имеющей форму кольца с жестко закреп-
ленной границей.
107. Мембраны, имеющей форму кольцевого сектора с
жестко закрепленной границей.
108. Прямоугольного параллелепипеда
& при граничных
&
условиях третьего рода ∂n − ku ∂D = 0.
∂u

109. Круглого
& цилиндра при граничных условиях третье-
го рода ∂n∂u
− ku&∂D = 0.
& 110. Сферы при граничных условиях третьего рода ∂n −
∂u

ku&∂D = 0.

62
Таблица 3
Собственные функции оператора Лапласа
Область Условия Дирихле Условия Неймана

параллелепипед unmk = unmk =


(0, a) × (0, b) ×
πnx πmy πkz πnx πmy πkz
(0, c) sin sin sin , cos cos cos ,
a b c a b c
λnmk = λnmk =
!" $ !" $
πn #2 " πm #2 " πk #2 πn #2 " πm #2 " πk #2
− + + , − + + ,
a b c a b c

n, m, k = 1, 2, . . . n, m, k = 0, 1, 2, . . .

цилиндр unmk = unmk =


{0 < ρ < ρ0 , " µn ρ # " νnρ #
πmz πmz
0 < z < h} Jn k einϕ sin , Jn k einϕ cos ,
ρ0 h ρ0 h
λnmk = λnmk =
!" n # $ !" n # $
µk 2 " πm #2 νk 2 " πm #2
− + , − + ,
ρ0 h ρ0 h
πmz
n ∈ Z, m, k = 1, 2, . . . , u0m0 = cos ,
h " πm #2

λ0m0 = −
k }k=1 — положительные
{µn h
нули функции Бесселя Jn n ∈ Z, m = 0, 1, 2, . . . ,
k = 1, 2, . . . ,

{νkn }∞
k=1 — положительные
нули производной функции
Бесселя Jn#

шар {r < r0 } unmk = unmk =


" n+ 1 # ' n+ 1 (
Jn+ 1 µk 2 rr Jn+ 1 σk 2 rr
0 0
2
√ Pnm(cos θ)eimϕ , 2
√ Pnm(cos θ)eimϕ ,
r r
% n+ 12 &2 % n+ 12 &2
µk σk
λnmk = − , λnmk = − ,
r0 r0
n = 0, 1, 2, . . . , k = 1, 2, . . . , u000 = 1, λ000 = 0,
m = −n, n, n = 0, 1, 2, . . . , k = 1, 2, . . . ,
m = −n, n,
n+ 1
{µk 2 }∞
k=1 — положитель-
ные нули функции Бесселя n+ 1
{σk 2 }∞
k=1 — решения
Jn+ 1
2 уравнения 2σJ # (σ) =
n+ 1
2
Jn+ 1 (σ)
2

63
§ 17. Смешанные задачи для волнового уравнения
и уравнения теплопроводности в трехмерном
случае
Рассмотрим смешанные задачи для волнового уравнения.
Требуется найти решение уравнения

utt = a2 ∆u, x ∈ D, 0 < t < T, (17.1)

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


& &
u&t=0 = ϕ, ut &t=0 = ψ, x ∈ D (17.2)

и граничным условиям либо вида


&
u&S = 0, (17.3)

либо
∂u &&
& = 0. (17.4)
∂n S
Здесь S = ∂D × [0, T ].
Задача решается методом разделения переменных.
1) Ищем частное решение уравнения (17.1) в виде u =
V (x, y, z)T (t), при этом уравнение (17.1) распадается на два
уравнения:
∆V = λV и T !! = λa2 T.
1а) Сначала решаем краевую задачу для функции V ,
т. е. задачу Штурма — Лиувилля для оператора Лапласа
либо с условиями Дирихле (17.3), либо с условиями (17.4)
(см. § 16), и находим бесконечную последовательность соб-
ственных функций Vn и собственных значений λn .
1б) Из второго уравнения находим функции Tn для каж-
дого из полученных на втором шаге λn .
2) Решение составляем в виде ряда по собственным функ-
!

циям, т. е. в виде u = Tn (t)Vn (x, y, z), при этом неизвест-
n=0
ные коэффициенты находим из начальных условий (17.2).

64
Точно так же можно решать смешанные задачи для урав-
нения теплопроводности:

ut = a2 ∆uxx , x ∈ D, 0 < t < T.

Случай, когда уравнение или (и) граничные условия яв-


ляются неоднородными, исследуется так же, как в § 13.

В примерах 111–119 решите смешанные задачи.


111. utt = uxx + uyy , 0 < x < a, 0 < y < b, t > 0,
& &
u&t=0 = 1 + cos πx cos 3πy
, u t
& = 0,
& & a & b &t=0
ux &x=0 = ux &x=a = uy &y=0 = uy &y=b = 0.
112. utt = a2 (uxx + uyy ), ρ < ρ0 , t > 0,
& &
u&t=0 = (ρ − ρ0 ) cos ϕ, ut &t=0 = 0,
&
u& ρ=ρ0
= 0.
113. utt = a2 (uxx + uyy ), ρ < 1, t > 0,
& &
u&t=0 = ut &t=0 = 0,
&
u&ρ=1 = sin ωt cos 3ϕ.
114. ut = a2 ∆u, ρ < ρ0 , 0 < z < h, t > 0,
&
u&t=0 = (ρ − ρ0 ) sin 2ϕ sin πz ,
& & & h
& & &
u ρ=ρ0 = u z=0 = u z=h = 0.
115. ut = a2 ∆u + f (ρ, ϕ, z, t), ρ < ρ0 , 0 < z < h, t > 0,
&
u&t=0 = 0,
& & &
u&ρ=ρ0 = g(ϕ) sin ωt, uz &z=0 = uz &z=h = 0.

116. ut = a2 ∆u + t sin θ cos ϕ, r < r0 , t > 0,


&
u&t=0 = sin 2θ sin ϕ,
&
ur &r=r0 = 0.

65
117. ut = ∆u, r < r0 , t > 0,
&
u&t=0 = 0,
&
ur &r=r0 = c.
118. utt = a2 ∆u, ρ < ρ0 , 0 < z < h, t > 0,
& &
u&t=0 = ut &t=0 = 0,
& & &
uρ &ρ=ρ0 = uz &z=0 = 0, uz &z=h = f (ρ) cos ωt.
119. utt = a2 ∆u, r < r0 , t > 0,
& &
u&t=0 = ut &t=0 = 0,
&
ur &r=r0 = Pnm (cos θ) cos mϕ cos ωt.
120. Докажите формулу
? ∞
ir cos θ π '
e = (2n + 1)in Pn (cos θ)Jn+1/2 (r).
2r n=0

66
Функция Грина19
§ 18. Функция Грина уравнения Лапласа.
Метод отражений
Определение. Фундаментальным решением линейного
дифференциального оператора L называется такая обобщен-
ная функция E(x), что LE(x) = δ(x), где δ(x) — дельта-
функция Дирака.
Теорема. В случае n = 3 фундаментальным решением
оператора Лапласа является функция E(x) = − 4π 1 1
|x|
, в слу-
чае n = 2 — функция E(x) = − 2π ln |x| .
1 1

Положим
@
1 1
− 4π |x−y|
, n = 3,
E(x, y) = E(x − y) = 1 1
− 2π ln |x−y| , n = 2.

Пусть D — область в Rn .
Задача Дирихле. Найти решение уравнения Лапласа
такое, что &
u&∂D = f,
где f — заданная функция.
Определение. Функцией Грина задачи Дирихле для
уравнения Лапласа называется функция G(x, y) = E(x, y) +
g(x, y), такая, что для y ∈ D:
1) ∆x g = 0& в D;
2) G(x, y)&x∈∂D = 0.
Теорема. Решение задачи Дирихле задается формулой
Пуассона 2

u(x) = f (y) G(x, y)dSy .
∂ny
∂D

19
George Green (1793–1841), английский математик.

67
Задача Неймана. Найти решение уравнения Лапласа
такое, что
∂u &&
= g,
∂n ∂D
где g — заданная функция.
Определение. Функцией Грина задачи Неймана для урав-
нения Лапласа называется функция G(x, y) = E(x, y)+g(x, y),
такая, что для y ∈ D:
1) ∆x g = 0 в &D;
2) ∂n∂ x G(x, y)&x∈∂D = 0.
Теорема. Решение задачи Неймана задается формулой
Пуассона 2
u(x) = − g(y)G(x, y)dSy .
∂D

В ряде случаев функцию Грина удается найти методом


отражений. Поясним его на следующих примерах.
Пример 1. Построить функцию Грина задачи Дирихле
для полупространства D = {M = (x, y, z) ∈ R3 : z > 0}.
Это означает, что для P ∈ D нужно найти гармоническую
в полупространстве D функцию g(M, P ), равную на его гра-
нице {M = (x, y, z) ∈ R3 : z = 0}:
1
−E(M, P ) = .
4πrM P
Такой функцией будет функция
1
g(M, P ) = ,
4πrM P1
где P1 — точка, симметричная точке P относительно плоско-
сти {z = 0} (рис. 7).
Значит, функцией Грина задачи Дирихле для полупро-
странства будет функция
1 1
G(M, P ) = − + .
4πrM P 4πrM P1

68
z

P(ξ,η,ζ)

M(x,y,0) y

x P1(ξ,η,-ζ)
Рис. 7

Пример 2. Построить функцию Грина 5 задачи Дирихле


для шара D = {M = (x, y, z) ∈ R : r = x2 + y 2 + z 2 < R}.
3

Для P ∈ D требуется найти гармоническую по перемен-


ной M = (x, y, z) в шаре D функцию g(M, P ), равную на его
границе SR = {(x, y, z) ∈ R3 : r = R}
1
−E(M, P ) = .
4πrM P
Так как для точки M ∈ SR и точки P1 , симметричной точке P
относительно сферы {r = R} (рис. 8),
R
rM P1 = rM P ,
rP
то такой функцией будет функция
R
g(M, P ) = .
4πrP rM P1
Таким образом, функцией Грина задачи Дирихле для ша-
ра является функция
1 R
G(M, P ) = − + .
4πrM P 4πrP rM P1

69
z
P1

M(x,y,z)
P
y

x
Рис. 8

В примерах 121–131 найдите функции Грина задачи Ди-


рихле для данных областей и решите задачи Дирихле:
&
∆u = 0 в D, u&∂D = f.

121. D — верхняя полуплоскость.


122. D — первая четверть.
123. D — круг с центром в начале координат радиуса R.
124. D — полукруг с центром в начале координат радиу-
са R, лежащий в верхней полуплоскости.
125. D — полоса {(x, y) : 0 < y < l}.
126. D — полуполоса {(x, y) : 0 < y < l, x > 0}.
127. D — полупространство {(x, y, z) : z > 0}.
128. D — первый октант {(x, y, z) : x, y, z > 0}.
129. D — шар с центром в начале координат радиуса R.
130. D — полушар с центром в начале координат радиу-
са R, лежащий в полупространстве {(x, y, z) : z > 0}.
131. D — слой {(x, y, z) : 0 < z < l}.

70
§ 19. Функция Грина уравнения Лапласа.
Метод конформных отображений
В случае двух переменных функцию Грина задачи Ди-
рихле для уравнения Лапласа можно построить с помощью
конформных отображений (см. п. 4 приложения), поскольку
свойство гармоничности является инвариантом конформного
отображения.
Будем точкам M = (x, y), P = (ξ, η) сопоставлять точки
на комплексной плоскости z = x + iy, ζ = ξ + iη соответствен-
но.
Теорема. Пусть fP (M ) — функция, осуществляющая
конформное отображение области D на единичный круг, та-
кая, что fP (P ) = 0. Тогда
1 1
G(M, P ) = − ln .
2π |fP (M )|

Если же нужно решить задачу Дирихле для уравне-


ния Лапласа, то можно не строить функцию Грина для за-
данной области, а воспользоваться уже построенной функци-
ей Грина, например для верхней полуплоскости, и получен-
ной с помощью нее формулой решения.
Для этого
1) конформно отображаем область D на верхнюю полу-
плоскость;
2) решаем задачу Дирихле для уравнения Лапласа в вер-
хней полуплоскости;
3) возвращаемся к исходным переменным x, y.

Решите задачи 121–126 с помощью конформных отобра-


жений.

71
§ 20. Функция Грина уравнения Гельмгольца20
Уравнение Гельмгольца имеет вид

∆u + κ 2 u = 0,

где κ ≥ 0 — некоторая постоянная.


Фундаментальными решениями уравнения Гельмгольца в
случае n = 3 будут функции
1 eiκ|x| 1 e−iκ|x|
− , − ,
4π |x| 4π |x|
а также действительная функция
1 cos κ|x|
− ,
4π |x|
в случае n = 2 — функции Ганкеля21 1-го и 2-го рода (см. п. 2
приложения)
1 (1) 1 (2)
H (κ|x|), − H (κ|x|)
4i 0 4i 0
и функция Бесселя 2-го рода
1
Y0 (κ|x|).
4
Определение. Функцией Грина задачи Дирихле в обла-
сти D для уравнения Гельмгольца называется функция
1 cos κ|x − y|
G(x, y) = − + g(x, y) в случае n = 3,
4π |x − y|
1
G(x, y) = Y0 (κ|x − y|) + g(x, y) в случае n = 2,
4
20
Hermann von Helmholtz (1821–1894), немецкий физик, физиолог и
психолог.
21
Hermann Hankel (1839–1873), немецкий математик.

72
такая, что для y ∈ D
1) ∆x g + κ& 2 g = 0 в D,
2) G(x, y)&x∈∂D = 0.
Отметим, что функция Грина задачи Дирихле в обла-
сти D для уравнения Гельмгольца существует только в том
случае, когда −κ 2 не является собственным значением со-
ответствующей задачи Штурма — Лиувилля для оператора
Лапласа в области D, т. е. когда задача
&
∆u + κ 2 u = 0, u&∂D = 0

имеет только нулевое решение.


Теорема. Решение задачи Дирихле для уравнения
Гельмгольца задается формулой Пуассона
2

u(x) = f (y) G(x, y)dSy .
∂ny
∂D

Аналогично можно ввести функцию Грина для задачи


Неймана.

±iκr 1 cos κr
132. Проверьте, что функции − 4π 1 e
r
, − 4π r
явля-
ются фундаментальными решениями уравнения Гельмгольца
при n = 3.
(1) (2)
133. Проверьте, что функции 4i1 H0 (κρ), − 4i1 H0 (κρ) и
1
Y (κρ) являются фундаментальными решениями уравнения
4 0
Гельмгольца при n = 2.
134. Постройте функцию Грина задачи Дирихле для
уравнения Гельмгольца в полупространстве {z > 0} и за-
пишите формулу Пуассона.
135. Покажите, что функцию Грина задачи Дирихле для
уравнения Гельмгольца в шаре нельзя построить методом от-
ражений.

73
§ 21. Функция Грина уравнения теплопроводности
Обозначим оператор теплопроводности через

L= − a2 ∆.
∂t
Теорема. Фундаментальным решением оператора тепло-
проводности является функция

H(t) |x|2
− 2
E(x, t) = √ e 4a t .
(2a πt)n

Положим
H(t − τ ) |x−y|2

E(x, y, t, τ ) = 5 e 4a2 (t−τ ) .
(2a π(t − τ ))n

Задача Коши. Найти решение уравнения теплопровод-


ности
∂u
− a2 ∆u = 0, x ∈ Rn , t > 0,
∂t
такое, что &
u&t=0 = f (x),
где f — заданная функция.
Определение. Функцией Грина задачи Коши для урав-
нения теплопроводности называется функция G(x, y, t), та-
кая, что для y ∈ Rn
1) Gt − a2 ∆&x G = 0 для x ∈ Rn , t > 0,
2) G(x, y, t)&t=+0 = δ(x − y).
Теорема. Функцией Грина задачи Коши для уравнения
теплопроводности является функция

H(t) −
|x−y|2
G(x, y, t) = E(x, y, t, 0) = √ e 4a2 t .
(2a πt)n

74
Решение задачи Коши для уравнения теплопроводности за-
дается формулой
2
u(x, t) = f (y)G(x, y, t)dy.
Rn

Пусть D — область в Rn .
Смешанная задача с краевыми условиями Дири-
хле. Найти решение уравнения теплопроводности
∂u
− a2 ∆u = 0, x ∈ D, t > 0,
∂t
такое, что &
u&t=0 = f (x), x ∈ D,
и &
u&x∈∂D = g(x, t), t > 0,
где f , g — заданные функции.
Определение. Функцией Грина смешанной задачи с
краевыми условиями Дирихле для уравнения теплопровод-
ности называется функция G(x, y, t), такая, что для y ∈ Rn
1) Gt − a2 ∆&x G = 0 для x ∈ D, t > 0,
2) G(x, y, t)&t=+0 = δ(x − y),
&
3) G(x, y, t)&x∈∂D = 0.
Теорема. Решение смешанной задачи с краевыми услови-
ями Дирихле для уравнения теплопроводности задается фор-
мулой
2
u(x, t) = f (y)G(x, y, t)dy+
D
2t 2

+ g(y, τ ) G(x, y, t − τ )dSy dτ.
∂ny
0 ∂D

75
Смешанная задача с краевыми условиями Ней-
мана. Найти решение уравнения теплопроводности
∂u
− a2 ∆u = 0, x ∈ D, t > 0,
∂t
такое, что &
u&t=0 = f (x), x ∈ D,
и &
∂u &&
= g(x, t),
∂n &x∈∂D
где f , g — заданные функции.
Определение. Функцией Грина смешанной задачи с
краевыми условиями Неймана для уравнения теплопровод-
ности называется функция G(x, y, t), такая, что для y ∈ Rn
1) Gt − a2 ∆&x G = 0 для x ∈ D, t > 0,
2) G(x, y, t)&t=+0 = δ(x − y),
&
3) ∂n∂ x G(x, y, t)&x∈∂D = 0.
Теорема. Решение смешанной задачи с краевыми усло-
виями Неймана задается формулой
2 2t 2
u(x, t) = f (y)G(x, y, t)dy + g(y, τ )G(x, y, t − τ )dSy dτ.
D 0 ∂D

Для того, чтобы найти функцию Грина смешанной зада-


чи, можно в некоторых случаях воспользоваться методом
отражений (см. § 18).

Найдите функции Грина смешанной задачи Дирихле для


уравнения теплопроводности и решите смешанные задачи
ut = a2 ∆u, x ∈ D, t > 0,
&
u&t=0 = g,
&
u&∂D = f

76
для областей из примеров 121–131.

§ 22. Функция Грина волнового уравнения


Применительно к уравнениям гиперболического типа ме-
тод функций Грина не является настолько же удобным, как
для уравнений эллиптического и параболического типов. По-
этому введем понятие функции Грина только для одномер-
ного случая.
Фундаментальным решением волнового оператора #a =
∂2 ∂2
∂t2
− a2 ∂x 2 является функция

1
E(x, t) = H(at − |x|),
2a
(
1, τ ≥ 0,
где H(τ ) = — функция Хевисайда22 .
0, τ < 0,
Задача Коши. Найти решение волнового уравнения
∂ 2u 2
2∂ u
− a = 0, x ∈ R, t > 0,
∂t2 ∂x2
такое, что & &
u&t=0 = ϕ(x), u&t=0 = ψ(x),
где ϕ, ψ — заданные функции.
Определение. Функцией Грина задачи Коши для вол-
нового уравнения называется такая функция G(x, y, t), что
для y ∈ R
1) Gtt − a2 G& xx = 0 для x ∈ R, t > 0,
2) G(x, y, t)&t=+0 = 0,
&
3) Gt (x, y, t)&t=+0 = δ(x − y).
Непосредственной проверкой можно убедиться, что фун-
кцией Грина задачи Коши для волнового уравнения является
функция
1
G(x, y, t) = [H(x − y + at) − H(x − y − at)].
2a
22
Oliver Heaviside (1850–1925), английский ученый.

77
Решение задачи Коши для волнового уравнения задается
формулой
2∞ 2∞

u(x, t) = ϕ(y)G(x, y, t)dy + ψ(y)G(x, y, t)dy.
∂t
−∞ −∞

136. Проверьте, что функция 2a


1
H(at − |x|) является фун-
даментальным решением волнового оператора при n = 1.
137. Проверьте, что функция 2a
1
[H(x − y + at) − H(x − y −
at)] является функцией Грина задачи Коши для волнового
уравнения при n = 1.
138. Пользуясь функцией Грина, установите формулу
Д’Аламбера для решения задачи Коши для волнового урав-
нения.

78
Теория потенциалов
§ 23. Объемный и логарифмический потенциалы
Пусть D — ограниченная область в Rn (n = 2, 3). Будем
обозначать область D через D− , а область Rn \ D — через D+
(рис. 9).

x2
∂D=γ

D+

D

x1

Рис. 9

Определение. Объемным потенциалом называется


функция 222
f (y)
U3 (x) = dy,
|x − y|
D

где f — заданная функция, называемая плотностью потенци-


ала. Логарифмическим потенциалом называется функция
22
1
U2 (x) = f (y) ln dy.
|x − y|
D

Будем обозначать
(
Un+ (x), x ∈ D+ ,
Un (x) =
Un− (x), x ∈ D− .

Перечислим основные свойства объемного и логарифми-


ческого потенциалов.

79
Свойства. Пусть функция f ∈ C(D). Тогда
1) Un ∈ C 1 (Rn ), Un+ ∈ C ∞ (D+ ), Un− ∈ C 2 (D− );
2) ∆Un+ = 0 в D+ ;
если f ∈ C 1 (D), то ∆Un− = −2n−1 πf в D− ;
222 6 7
1 1
3) U3 (x) =
+
f (y)dy + O при x → ∞,
|x| |x|2
D2 2 6 7
1 1
+
U2 (x) = ln f (y)dy + O при x → ∞.
|x| |x|
D

Решите задачи 139–142 двумя способами: во-первых, по-


ставив краевые задачи для потенциалов, а во-вторых, пря-
мым вычислением соответствующих интегралов.
139. Найдите объемный потенциал с постоянной плотно-
стью для шара.
140. Найдите логарифмический потенциал с постоянной
плотностью для круга.
141. Найдите объемный потенциал масс, распределенных
с постоянной плотностью f0 в сферическом слое {a < r < b}.
142. Найдите логарифмический потенциал с постоянной
плотностью f0 для кольца {a < ρ < b}.
143. В кругe {ρ 0< R} задан
1 логарифмический потенциал
этого круга U2 = π Rρ − 3 ρ sin ϕ. Найдите его плотность и
− 2 2

значение потенциала вне круга.


144. Докажите, что многочлен u(x, y, z) = x2 − y 2 + (x +
2y)z 2 не может служить объемным потенциалом шара.
145. Докажите, что функция u = sin ϕ − ρ2 cos 3ϕ не яв-
ляется логарифмическим потенциалом круга.

§ 24. Потенциалы простого слоя


Пусть D — ограниченная область в Rn . Опять будем обо-
значать область D через D− , а область Rn \ D — через D+ .

80
Предполагаем, что граница области ∂D = S (∂D = γ)
является C 2 -гладкой поверхностью (кривой). Вообще говоря,
достаточно считать, что она является поверхностью Ляпуно-
ва (кривой Ляпунова), см. определение, например, в [8, гл. 4,
§ 5].
Определение. Потенциалом простого слоя называется
функция 22
µ(y)
V3 (x) = dSy ,
|x − y|
S
где µ — заданная функция, называемая плотностью потен-
циала. Логарифмическим потенциалом простого слоя назы-
вается функция
2
1
V2 (x) = µ(y) ln dsy .
|x − y|
γ

Будем обозначать
(
Vn+ (x), x ∈ D+ ,
Vn (x) =
Vn− (x), x ∈ D− .
Также будем обозначать внешнее предельное значение нор-
мальной производной в точке x ∈ S (x ∈ γ) через
6 7+
∂Vn ∂Vn
(x) = lim + (y),
∂n y→x, y∈D ∂n
внутреннее предельное значение нормальной производной в
точке x ∈ S (x ∈ γ) через
6 7−
∂Vn ∂Vn
(x) = lim − (y)
∂n y→x, y∈D ∂n
и непосредственное значение нормальной производной в точ-
ке x ∈ S (x ∈ γ) через
6 70 22 22
∂V3 ∂ µ(y) cos ψxy
(x) = dSy = µ(y) dSy ,
∂n ∂nx |x − y| |x − y|2
S S

81
6 70 2 2
∂V2 ∂ 1 cos ψxy
(x) = µ(y) ln dsy = µ(y) dsy ,
∂n ∂nx |x − y| |x − y|
γ γ

где ψxy — угол между внешней нормалью к поверхности S


(кривой γ) в точке x и вектором y − x (рис. 10).

x3
nx D+

ψxy
φxy ny
x
y

x2
D–

∂D=S
x1
Рис. 10

Перечислим основные свойства потенциалов простого слоя.


Свойства. Пусть функция µ ∈ C(S) (C(γ)). Тогда
1) Vn ∈ C(Rn ), Vn± ∈ C ∞ (D± ),
6 7± 6 70
∂Vn ∂Vn
= ∓ 2n−2 πµ для x ∈ S или γ;
∂n ∂n
2) ∆Vn± = 0 в D± ;
22 6 7
1 1
3) V3 (x) =
+
µ(y)dSy + O при x → ∞,
|x| |x|2
S2 6 7
1 1
+
V2 (x) = ln µ(y)dsy + O при x → ∞.
|x| |x|
γ

82
Решите задачи 146–148 двумя способами: во-первых, по-
ставив краевые задачи для потенциалов, а во-вторых, пря-
мым вычислением соответствующих интегралов.
146. Найдите потенциал простого слоя с постоянной пло-
тностью для сферы.
147. Найдите логарифмический потенциал с постоянной
плотностью для окружности.
148. Найдите потенциал простого слоя окружности ради-
уса R с плотностью µ = sin ϕ.
149. Проверьте, что функция u(ρ, ϕ) = ρ sin ϕ является
потенциалом простого слоя внутри круга радиуса R. Найдите
значение этого потенциала вне круга и плотность потенциала
на окружности.
x3 − 3xy 2
150. Проверьте, что функция u(x, y) = 2 явля-
(x + y 2 )3
ется потенциалом простого слоя вне круга единичного ра-
диуса. Найдите значение этого потенциала внутри круга и
плотность потенциала на окружности.

§ 25. Потенциалы двойного слоя


Пусть D — ограниченная область в Rn с C 2 -гладкой гра-
ницей ∂D = S (∂D = γ). Опять обозначаем область D через
D− , а область Rn \ D — через D+ .
Определение. Потенциалом двойного слоя называется
функция
22 6 7 22
∂ 1 cos ϕxy
W3 (x) = ν(y) dSy = ν(y) dSy ,
∂ny |x − y| |x − y|2
S S

где ν — заданная функция, называемая плотностью потен-


циала. Логарифмическим потенциалом двойного слоя назы-

83
вается функция
2 6 7 2
∂ 1 cos ϕxy
W2 (x) = ν(y) ln dsy = ν(y) dsy .
∂ny |x − y| |x − y|
γ γ

Здесь ϕxy — угол между внешней нормалью к поверхности S


(кривой γ) в точке y и вектором x − y (см. рис. 10).
Будем обозначать через Wn0 (x) непосредственное значение
потенциала двойного слоя для точек x ∈ S (x ∈ γ), через

Wn+ (x) = lim Wn+ (y)


y→x, y∈D+

предельное значение потенциала в точке x ∈ S (x ∈ γ) на


поверхности (кривой) снаружи, через

Wn− (x) = lim Wn− (y)


y→x, y∈D−

предельное значение потенциала в точке x ∈ S (x ∈ γ) на


поверхности (кривой) изнутри.
Перечислим основные свойства потенциалов двойного слоя.
Свойства. Пусть функция ν ∈ C(S) (или C(γ)). Тогда
1) Wn± ∈ C ∞ (D± ),
Wn± (x) = Wn0 (x) ± 2n−2 πν(x) для x ∈ S или γ;
2) ∆Wn± = 0 в D± ;
6 7
1
3) Wn (x) = O
+
при x → ∞.
|x|n−1

Для наглядности выпишем свойства всех потенциалов в


виде таблицы (табл. 4).

84
Таблица 4
Свойства потенциалов
Определение Гладкость Уравнение Поведение при x → ∞

f (y) ∆Un+ = 0 в D+ 1 1
U3 (x) = |x−y|
dy Un ∈ C 1 (Rn ) U3+ (x) = f (y)dy + O
D
|x| |x|2
D
))) ))) " #

1 1 1
U2 (x) = f (y) ln |x−y|
dy Un+ ∈ C ∞ (D + ) ∆U3− = −4πf в D− U2+ (x) = ln f (y)dy + O
D |x|
D
|x|
)) )) " #

Un− ∈ C 2 (D− ) ∆U2− = −2πf в D− при x → ∞

µ(y) ∆Vn± = 0 в D± 1 1
V3 (x) = |x−y|
dSy Vn ∈ C(Rn ) V3+ (x) = µ(y)dSy + O
S
|x| |x|2
S
)) )) " #

1 1 1
V2 (x) = µ(y) ln dsy
Vn± ∈ C ∞ (D± )
V2+ (x) = ln µ(y)dsy + O
γ
|x−y|
γ
|x| |x|
∂V3 ∂V3

85
) " #

=
)

∂n ∂n
∓ 2πµ при x → ∞
" #± " #0

для x ∈ S
∂V2 2
∂n
= ∂V
∂n
∓ πµ
" #± " #0

для x ∈ γ

cos ϕ
W3 (x) = 2 dSy ∆Wn± = 0 в D ± 1
ν(y) |x−y|xy Wn± ∈ C ∞ (D± ) W3+ (x) = O
S |x|2
)) " #

cos ϕxy
W2 (x) = ν(y) dsy 1
γ
|x−y| W3± (x) = W30 (x) ± 2πν(x) W2+ (x) = O |x|
) " #

для x ∈ S
при x → ∞
W2± (x) = W20 (x) ± πν(x)
для x ∈ γ
Решите задачи 151, 152 двумя способами: во-первых, по-
ставив краевые задачи для потенциалов, а во-вторых, пря-
мым вычислением соответствующих интегралов.
151. Найдите потенциал двойного слоя с постоянной
плотностью для сферы.
152. Найдите логарифмический потенциал двойного слоя
с постоянной плотностью для окружности.
cos 2ϕ
153. Проверьте, что функция u = является потен-
ρ2
циалом двойного слоя вне круга радиуса R. Найдите значе-
ние этого потенциала внутри круга и плотность потенциала
на окружности.
154. Проверьте, что функция u = 1+ρ2 sin 2ϕ является по-
тенциалом двойного слоя внутри круга радиуса R. Найдите
значение этого потенциала вне круга и плотность потенциала
на окружности.

§ 26. Решение задач Дирихле и Неймана для урав-


нения Лапласа с помощью потенциалов
С помощью поверхностных потенциалов можно свести
внутреннюю и внешнюю задачи Дирихле и Неймана для урав-
нения Лапласа к интегральным уравнениям Фредгольма23
второго рода (см. п. 6 приложения).
Пусть D — ограниченная область в R2 с гладкой гра-
ницей γ. Опять обозначим область D через D− , а область
Rn \ D — через D+ .
Внутренняя задача Дирихле. Найти решение урав-
нения Лапласа в области D− , такое, что
&
u& γ = f − ,
где f − — заданная функция.
23
Erik Ivar Fredholm (1866–1927), шведский математик.

86
Внешняя задача Дирихле. Найти ограниченное ре-
шение уравнения Лапласа в области D+ , такое, что
&
u& γ = f + ,

где f + — заданная функция.


Внутренняя задача Неймана. Найти решение урав-
нения Лапласа в области D− , такое, что
&
∂u &&
= g−,
∂n &γ

где g − — заданная функция, n — вектор внешней нормали


к границе ∂D.
Внешняя задача Неймана. Найти ограниченное ре-
шение уравнения Лапласа в области D+ , такое, что
&
∂u &&
= g+,
∂n &γ

где g − — заданная функция.


Будем искать решение внутренней задачи Дирихле в виде
потенциала двойного слоя с неизвестной плотностью ν −
2
cos ϕxy
u(x) = ν − (y) dsy
|x − y|
γ

(ϕxy — угол между внешней нормалью к кривой γ в точке y


и вектором x − y), внешней задачи Дирихле — в виде суммы
потенциала двойного слоя с неизвестной плотностью ν + и
некоторой неизвестной постоянной
2
cos ϕxy
u(x) = ν + (y) dsy + A,
|x − y|
γ

87
внутренней задачи Неймана — в виде суммы потенциала про-
стого слоя с неизвестной плотностью µ− и некоторой неиз-
вестной постоянной
2
1
u(x) = µ− (y) ln dsy + B
|x − y|
γ

и, наконец, внешней задачи Неймана — в виде суммы потен-


циала простого слоя с неизвестной плотностью µ+ , удовле-
творяющей условию
2
µ+ (y)dsy = 0, (26.1)
γ

и некоторой неизвестной постоянной


2
1
u(x) = µ+ (y) ln dsy + C.
|x − y|
γ

Из свойств поверхностных потенциалов получаем интеграль-


ные уравнения Фредгольма второго рода:
2
cos ϕxy
f (x) = ν − (y)

dsy − πν − (x), x ∈ γ, (D− )
|x − y|
γ
2
+ cos ϕxy
f (x) − A = ν + (y) dsy + πν + (x), x ∈ γ, (D+ )
|x − y|
γ
2
cos ψxy
g − (x) = µ− (y) dsy + πµ− (x), x ∈ γ, (N − )
|x − y|
γ
2
cos ψxy
g + (x) = µ+ (y) dsy − πµ+ (x), x ∈ γ, (N + )
|x − y|
γ

88
где ψxy — угол между внешней нормалью к кривой γ в точке
x и вектором x − y. Замечая, что ϕxy = ψyx для x, y ∈ γ,
видим, что пары (D− ) и (N + ), (D+ ) и (N − ) являются парами
сопряженных уравнений.
Исследуя разрешимость этих интегральных уравнений
с помощью теоремы Фредгольма (см. п. 6 приложения), по-
лучаем, что:
— интегральное уравнение (D− ) имеет единственное ре-
шение при любой f − ;
— интегральное уравнение (N + ) имеет единственное ре-
шение, удовлетворяющее условию (26.1), при любой g + такой,
что 2
g + (y)dsy = 0; (26.2)
γ

— интегральное уравнение (N − ) разрешимо тогда и толь-


ко тогда, когда 2
g − (y)dsy = 0; (26.3)
γ

— интегральное уравнение (D+ ) разрешимо тогда и толь-


ко тогда, когда 2
1
A= f + (y)dsy ,

γ

где Lγ — длина кривой γ, т. е. в этом случае за счет выбора


постоянной A получаем разрешимость этого интегрального
уравнения.
Таким образом,
— внутренняя и внешняя задачи Дирихле разрешимы при
любых f − и f + ;
— внутренняя и внешняя задачи Неймана разрешимы,
если функции g − и g + удовлетворяют условиям (26.3) или
(26.2) соответственно.

89
В трехмерном случае можно аналогично свести задачи
Дирихле и Неймана к интегральным уравнениям. Отметим
только, что в трехмерном случае для внешних задач ищет-
ся решение, стремящееся к нулю при x → ∞. Поскольку
в этом случае потенциал простого слоя стремится к нулю при
x → ∞, то условие (26.1) на плотность для внешней задачи
Неймана является
0 1 1 лишним. А так как потенциал двойного
слоя есть O |x|2 при x → ∞, то решение внешней задачи
Дирихле ищем в виде суммы
22
cos ϕxy A
u(x) = ν + (y) 2
dSy + ,
|x − y| |x − x0 |
S

где x0 ∈ D — некоторая фиксированная точка, плотность ν +


и постоянная A неизвестны.
В результате в трехмерном случае:
— внутренняя и внешняя задачи Дирихле разрешимы при
любых f − и f + ;
— внутренняя задача Неймана разрешима, если функ-
ция g − удовлетворяет условию
22
g − (y)dSy = 0;
S

— внешняя задачи Неймана разрешима при любой g + .

155. Найдите решение внутренней и внешней задач Ней-


мана и Дирихле для круга, опираясь на теорию потенциала.

90
Интегральные преобразования
§ 27. Преобразование Фурье
Напомним определение преобразования Фурье (см., на-
пример, [3, 8]).
Прямое преобразование Фурье быстро убывающей функ-
ции f (x) задается формулой
2
ˆ 1
F+ [f ](x) = f (x) = n/2
f (y)e−i(x,y) dy,
(2π)
Rn

обратное —
2
1
F− [f ](x) = fˇ(x) = f (y)ei(x,y) dy.
(2π)n/2
Rn

Преобразование Фурье обобщенной функции медленного


роста f (x) задается формулой (см., например, [2, 7])

< F± [f ], ϕ >=< f, F± [ϕ] >,

где ϕ — произвольная быстро убывающая функция.


Тот факт, что преобразование Фурье заменяет операцию
дифференцирования на операцию умножения (см. свойство 5
в п. 7 приложения), позволяет применять его при решении
уравнений в частных производных.
Рассмотрим уравнение с постоянными коэффициентами:
M −1
∂M u ' ∂ku '
+ ak (t) + bα (t)Dα u = f (t, x). (27.1)
∂tM k=1
∂tk
|α|≤N

Здесь α = (α1 , . . . , αn ) — мультииндекс, αk ∈ N ∪ {0}, |α| =


∂ |α| u
α 1 + . . . + α n , Dα u = .
∂xα1 1 . . . ∂xαnn

91
Задача Коши. Найти в {t > 0, x ∈ Rn } решение урав-
нения (27.1) такое, что
&
u&t=0 = ϕ0 (x),
...
& (27.2)
∂ M −1 u &&
= ϕM −1 (x),
∂tM −1 &t=0
где ϕ1 , . . . , ϕM −1 — заданные функции.
Чтобы решить задачу Коши:
1) действуем преобразованием Фурье по переменной x на
уравнение (27.1) и начальные данные (27.2), получаем задачу
Коши для обыкновенного дифференциального уравнения M -
го порядка:
M −1
∂ M û ' ∂ k û '
+ a k (t) + i|α| bα (t)yα û = fˆ(t, y),
∂tM k=1
∂t k
|α|≤N
&
û&t=0 = ϕ̂0 (y),
...
&
∂ M −1 û &&
= ϕ̂M −1 (y);
∂tM −1 &t=0
2) решая полученную задачу Коши, находим û(t, y);
3) применяя обратное преобразование Фурье, находим ре-
шение u(t, x).

Пользуясь преобразованием Фурье, решите следующие за-


дачи.
& − a uxx = 0 в& x ∈ R, t > 0,
156. utt 2

u&t=0 = ϕ(x), ut &t=0 = ψ(x).


157. u&tt − a2 uxx& = f (x, t) в x ∈ R, t > 0,
u&t=0 = ut &t=0 = 0.

92
158. ut& − a2 uxx = 0 в x ∈ R, t > 0,
u&t=0 = ϕ(x).
159. u&t − a2 uxx = 0 в x > 0, t > 0,
u&&t=0 = ϕ(x),
u&x=0 = 0.
160. u&t − a2 uxx = 0 в x > 0, t > 0,
u&t=0
& = ϕ(x),
ux &x=0 = 0.
161. ut& − a2 uxx = f (x, t) в x ∈ R, t > 0,
u&t=0 = 0.

§ 28. Преобразование Лапласа


Изображением оригинала f (t) является функция комп-
лексного переменного (см., например, [12]):
2∞
F (p) = e−pt f (t) dt.
0

Пишут f (t) $ F (p) или L : f → F .


Как и преобразование Фурье, преобразование Лапласа за-
меняет операцию дифференцирования на операцию умноже-
ния (см. свойство 6 в п. 8 приложения), и это позволяет при-
менять его при решении уравнений в частных производных.
Рассмотрим для примера уравнение
m−1
∂ mu ' ∂ku
+ a k (x) + Lu = f (t, x), (28.1)
∂tm k=1
∂tk

где 6 7
∂ ∂u
Lu = p(x) + q(x)u
∂x ∂x
— оператор Штурма — Лиувилля.

93
Смешанная задача. Найти в {t > 0, a < x < b} реше-
ние уравнения (28.1), такое, что
&
& ∂ m−1 u &&
&
u t=0 = ϕ0 (x), . . . , = ϕm−1 (x),
∂tm−1 &t=0 (28.2)
& &
(α0 u + α1 ux )& x=a
= 0, (β0 u + β1 ux )& = 0,
x=b

где ϕ1 , . . . , ϕM −1 — заданные функции, α0 , α1 , β0 , β1 — посто-


янные.
Чтобы решить смешанную задачу (28.1), (28.2),
1) действуем преобразованием Лапласа по переменной t
на уравнение (28.1) и данные (28.2), получаем краевую зада-
чу для обыкновенного дифференциального уравнения:
3!
M 4
LU + ak (x)pk U =
k=1
!
M
= F (p, x) + ak (pk−1 ϕ0 + pk−2 ϕ1 + . . . + ϕk−1 ),
k=1
& &
(α0 U + α1 Ux )&x=a = 0, (β0 U + β1 Ux )&x=b = 0,

где U (p, x) — изображение u(t, x);


2) решая полученную краевую задачу, находим U (p, x);
3) применяя обратное преобразование Лапласа, находим
решение u(t, x).

Пользуясь преобразованием Лапласа, решите следующие


задачи.
162. u&t + ux = e2t x&+ t в x > 0, t > 0,
u&x=0 = a, u&t=0 = b.
163. ut& = a2 uxx в x >& 0, t > 0,
u&t=0 = 0, u − ux &x=0 = 1.
164. u&t = uxx +&a2 u + f (x) в x > 0, t > 0,
u&x=0 = ux &x=0 = 0.

94
& x в x > 0, t > 0,
165. ut& = uxx + a2 u + A cos
u&x=0 = Be−3t , ux &x=0 = 0.
166. u&t = uxx + a2 u &+ f (x) в x > 0, t > 0,
u&x=0 = t, ux &x=0 = 0.
& − uxx = cos&ωt в 0 < x < π, t > 0,
167. utt
u&t=0 &
& = x, & ut t=0 = 0,
& &
ux x=0 = ux x=π = 0.
& + 2ut + u =& uxx в 0 < x < l, t > 0,
168. utt
u&&t=0 = 0, & ut &t=0 = a,
u&x=0 = ux &x=l = 0.

95
Системы уравнений первого порядка
§ 29. Гиперболические системы. Характеристики
Рассмотрим линейную систему уравнений первого поряд-
ка нормального вида:
 n m m

 ∂u1 ' ' k ∂uj '

 + a1j + b1j uj = f1 ,

 ∂t
 k=1 j=1
∂xk j=1
...

 n m m

 ∂um ' ' k ∂uj '

 + a + bmj uj = fm ,
 ∂t mj
∂xk
k=1 j=1 j=1

где akij (t, x1 , . . . , xn ) — заданные непрерывно дифференциру-


емые функции, bij (t, x1 , . . . , xn ), fi (t, x1 , . . . , xn ) — заданные
непрерывные функции (k = 1, n, i, j = 1, m).
Эту систему можно переписать в матричном виде, обо-
значив через U T = (u1 , . . . , um ), Ak = ||akij ||m i,j=1 (k = 1, n),
B = ||bij ||i,j=1 , F = (f1 , . . . , fm ),
m T

n
'
Ut + Ai Uxi + BU = F, (29.1)
i=1

Определение. Cистема (29.1) называется t-гиперболи-


ческой системой, если характеристическое уравнение
3 n
' 4
det λE + ξk Ak = 0 (29.2)
k=1

имеет относительно λ ровно m вещественных корней при лю-


бых вещественных ξ1 , ξ2 , . . . , ξn "= 0. Cистема (29.1) называ-
ется строго t-гиперболической (по Петровскому 24 ) системой,
если характеристическое уравнение (29.2) имеет относитель-
но λ ровно m вещественных различных корней при любых
вещественных ξ1 , ξ2 , . . . , ξn "= 0.
24
Иван Георгиевич Петровский (1901–1973), советский математик.

96
Пусть задана некоторая n-мерная поверхность S ⊂ Rn+1 .
Задача Коши. Найти решение системы (29.1) такое, что
&
U &S = U0 ,

где U0 (t, x1 , . . . , xn ) — заданная на S вектор-функция.


Определение. Гладкая n-мерная поверхность S, задан-
ная уравнением
ϕ(t, x1 , . . . , xn ) = 0,
называется характеристической поверхностью системы
(29.1), если
3 n
' 4
det ϕt E + ϕxk Ak = 0 на S,
k=1

или (29.2), где (λ, ξ1 , . . . , ξn ) — вектор нормали к поверхно-


сти S. Уравнение (29.2) называется конусом характеристи-
ческих нормалей.
Известно, что если поверхность S не является характе-
ристической, то задача Коши для строго t-гиперболической
системы (29.1) поставлена корректно.

Выпишите уравнение конуса характеристических норма-


лей для следующих систем.
169. pt + ρc2 (ux + vy ) = 0,
1
ut + px = 0,
ρ
1
vt + p y = 0
ρ
(система, описывающая распространение звуковых волн в дву-
мерном случае).

97
µ ∂H1 ∂E3 ∂E2
170. + − = 0,
c ∂t ∂y ∂z
µ ∂H2 ∂E1 ∂E3
+ − = 0,
c ∂t ∂z ∂x
µ ∂H3 ∂E2 ∂E1
+ − = 0,
c ∂t ∂x ∂y
ε ∂E1 ∂H3 ∂H2
+ − = 0,
c ∂t ∂y ∂z
ε ∂E2 ∂H1 ∂H3
+ − = 0,
c ∂t ∂z ∂x
ε ∂E3 ∂H2 ∂H1
+ − =0
c ∂t ∂x ∂y
(система уравнений Максвелла).
171. Ψt = A1 Ψx + A2 Ψy + A3 Ψz + mA4 Ψ
(система уравнений Дирака), где
   
0 0 0 1 0 0 0 −i
 0 0 1 0   0 0 i 0 
A1 =   
 0 1 0 0  , A2 =  0 −i 0
,
0 
1 0 0 0 i 0 0 0
   
0 0 1 0 1 0 0 0
 0 0 0 −1    0 1 0 0 
A3 = 
 1 , A4 =  .
0 0 0   0 0 −1 0 
0 −1 0 0 0 0 0 −1

§ 30. Приведение к каноническому виду гипербо-


лической системы с двумя переменными
Рассмотрим подробнее случай двух переменных. В этом
случае система (29.1) принимает вид
Ut + A(t, x)Ux + B(t, x)U = F (t, x), (30.1)
а характеристическое уравнение можно привести к виду
det(A − λE) = 0.

98
Следовательно, t-гиперболичность системы (30.1) означает,
что все собственные значения матрицы A вещественные,
а строгая t-гиперболичность означает, что все собственные
значения матрицы A вещественные и простые.
Вспомнив определение характеристик, замечаем, что у t-
гиперболической системы (30.1) все характеристики веще-
ственные.
Определение характеристики в данном случае можно пе-
реписать в следующем эквивалентном виде.
Определение. Характеристикой системы (30.1) назы-
вается такая кривая, вдоль которой
6 7
E A
det = 0,
dtE dxE

или в более общем случае — характеристикой системы

A0 (t, x)Ut + A1 (t, x)Ux = F (t, x, U ) (30.2)

называется такая кривая, вдоль которой


6 7
A0 A1
det = 0.
dtE dxE

Определение. Соотношением на характеристике си-


стемы (30.2) называется следующее соотношение:
6 7 6 7
A0 A1 A0 A1 F
rank = rank .
dtE dxE dtE dxE dU

Строго t-гиперболическую систему (30.1) можно приве-


сти к каноническому виду следующим образом:
1) приводим матрицу A(t, x) к диагональному виду, т. е.
находим собственные значения λ1 (t, x), . . . , λm (t, x) и собст-
венные векторы матрицы A(t, x), составляем из собственных

99
векторов матрицу перехода Z(t, x), в результате имеем
 
λ1 . . . 0
Z −1 AZ =  ... . . .. 

. .  = Λ;
0 . . . λm

2) производим замену

U = ZV,

после которой система (30.1) принимает канонический вид

Vt + Λ(t, x)Vx + C(t, x)V = G(t, x),

где C = Z −1 (Zt + AZx + BZ), G = Z −1 F .


Отметим, что матрица перехода Z определяется неодно-
значно, поскольку собственные векторы определяются с точ-
ностью до коэффициентов пропорциональности (причем за-
висящих от переменных t и x).
Определение. Компоненты vj (t, x) вектора V называ-
ются римановыми инвариантами системы (30.1).

В задачах 172–181 приведите системы к каноническому


виду.
172. ut − vx = 0,
vt − ux = 0.
173. ux + vx + uy − 3vy = 0,
ux + vx − 3uy + vy = 0.
174. 2ut + (2t − 1)ux − (2t + 1)vx = 0,
2vt − (2t + 1)ux + (2t − 1)vx = 0.
175. (x − 1)ut − (x + 1)vx + ux = 0,
(x + 1)ux − (x − 1)vt − vx = 0.

100
176. xux + y 2 vy + xyv = 0,
yuy + xyvx + (x − 1)u = 0.
177. ut + (1 + x)vx + u = 0,
vt + (1 + x)ux − v = 0.
178. ut + vx + xu = 0,
(1 + x2 )vt + ux − v = 0.
179. 2xux − 2yvy + u − v = 0,
vx − uy = 0.
180. ut + 4ux + 5vx = 0,
vt + 5ux + 4vx = 0,
wt + 3ux − 2wx = 0.
181. 2ut + 4vx + 2wx = 2w − 2u − v,
vt + 8ux = 2w − 2u − v,
wt + 3wx = 2u + v + 2w.
182. Продемонстрируйте на примере системы уравнений
акустики
pt + ρc2 ux = 0,
1
ut + p x = 0
ρ
неоднозначность приведения к каноническому виду.

§ 31. Краевые задачи для гиперболических систем


с двумя переменными
Смешанная задача для строго t-гиперболической системы
уравнений, приведенной к каноническом виду,

Vt + Λ(t, x)Vx = F (t, x, V ), (31.1)

ставится следующим образом: требуется найти решение си-


стемы (31.1) в области Q = {t > 0, a < x < b}, при этом при

101
t = 0 задаем начальные условия

! v1 (0, x) = v10 (x),


V! t=0
= V0 (x), т. е. ...
0
vm (0, x) = vm (x),
а на прямых x = a, x = b задаем римановы инварианты
vk , соответствующие “уходящим” c этих прямых характери-
стикам. Говорим, что характеристика ϕ(t, x) = C уходит с
прямой x = a, если ϕt ϕx < 0 при x = a; характеристика
ϕ(t, x) = C уходит с прямой x = b, если ϕt ϕx > 0 при x = b.
Например, если с прямой x = a уходят характеристики,
соответствующие римановым инвариантам v1 , . . . , vl , а с пря-
мой x = b уходят характеристики, соответствующие рима-
новым инвариантам vl+1 , . . . , vs , s ≤ m. Это означает, что на
прямой x = a следует задать функции v1 , . . . , vl , а на прямой
x = b — функции vl+1 , . . . , vs . Вообще говоря, нужно задать
такие условия, чтобы на прямой x = a можно было бы опре-
делить v1 , . . . , vl , а на прямой x = b — vl+1 , . . . , vs .
t

v3
v1 v2
a b x
Рис. 11

В примерах 183–185 решите задачу Коши для указанных


систем в области x ∈ R, t > 0.
183. 2ut + (2t − 1)ux − (2t + 1)vx = 0,
2v! t − (2t + 1)u
! x + (2t − 1)vx = 0,
u t=0 = 1, v !t=0 = x.
!

102
184. (x − 1)ut − (x + 1)vt + ux = 0,
(x! + 1)ut − (x !− 1)vt − vx = 0,
u!t=0 = ex , v !t=0 = x2 .
185. ut + 4ux + 5vx = 0,
vt + 5ux + 4vx = 0,
w!t + 3ux − 2wx =! 0, !
u!t=0 = cos x, v !t=0 = sin x, w!t=0 = 0.
186. Укажите, какие из смешанных задач для системы
ut − vx = 0,
v t − ux = 0
в области 0 < x < l, t > 0 !поставлены правильно.
!
Начальные условия: u!t=0 = u0 (x), v !t=0 = v0 (x).
Краевые
! условия:!
а) u!!x=0 = a(t), u!!x=l = b(t);
б) u!x=0 != a(t), v !x=0 != b(t);
в) u + v!!x=0 = a(t), v!!x=l = b(t);
г) u !− v !x=0 = a(t), v !x=l
! = b(t);
д) u! x=0 = a(t), 2u + !v !x=l = b(t);
!
е) u!x=0 = !
! a(t), u − v x=l =! b(t);
ж) u − v! !x=0 = a(t), u + v! !x=l = b(t);
з) u − v !!x=0 = a(t), u − v !!x=l = b(t);
и) u + v !!x=0 = a(t), u + v !x=l
! = b(t);
к) u − v x=0 = a(t), u + 3v !x=l = b(t).
!
187. Для системы
ut + 8ux + 7vx = 0,
vt + 7ux + 8vx = 0,
wt − 2vx − 3wx = 0
приведите примеры правильных и неправильных постановок
задач в областях
а) x > 0, t > 0;
б) x < 0, t > 0;
в) 0 < x < l, t > 0.

103
Ответы
" #
1. u = u0 (x − y). 2. u = u0 1−x+y 2
. 3. Решение не
существует, если u0 $≡ const; u = F (x − y) (F — произволь-
ная гладкая функция, такая, что F (0) = u0 ), если u0 ≡ const.
$% 2 2 & √ √
(1− t)(s− t)
4. u = u0 x +y2
. 5. u = ye x
−e 2x
+1. 6. u = s (1−s)2
,
2 2 2
где t = (x−y) z
, s = x+z y+z
. 7. u = (xy − 2z) x xy +y
. 8. u =
(1 − x + y)(2 − 2x"+#z). 9. u = ln |y| − x2 + y 2 − 2 ln |x2 − y 2 |.
1

10. u = xy + F xy (F — произвольная гладкая функция,



x2 +y 2 −y
такая, что F (1) = 0). 11. u = x y x2 +y2 . 12. u =
2
' (
|1+y−ye−x |
y x−ln1−ye −x + 1−ye1−x +y . 13. (y − u)2 − 8x + 4u2 = 0.
14. (x − y)(3x + y + 4u) = 4u. 15. 2y − 4x + 2 + ex (u − xy +
6x − y − 4) = 0. 16. xu = (xu − x − y + 2u)2 . 17. u =
) " x #2 *
x
2
2 ln 2 − y + 1 − y 2 . 18. x = tes , y = sin t ch s + cos t sh s,
z = sin t sh s + cos t ch s. 19. t = s, x = s sgn p + p, u "= sgn p.
20. Гиперболического типа при xy $= 0; uξη − 2ξ1 uη = 0 где ξ =
# + " #
xy, η = xy — канонический вид; u = |xy|ϕ xy + ψ(xy) (где
ϕ, ψ — произвольные гладкие функции) — общее решение.
21. Эллиптического типа при xy $= 0; uξξ +uηη + 2ξ1 uξ + 2η 1
uη = 0
" #
где ξ = x , η = y —
2 2
" канонический вид.
# 22. Параболиче-
ского типа; uηη = 0 где ξ = y , η = y — канонический вид;
x
" # " #
u = yϕ xy + ψ xy (где ϕ, ψ — произвольные гладкие функ-
ции) — общее решение. " 23. При y < 0 гиперболического ти-
uξ −uη √ √ #
па, uξη + 2(ξ−η) = 0 где ξ = x+2 −y, η = x−2 −y — канони-
ческий вид; при y > 0 эллиптического типа, uξξ +uηη − η1 uη = 0
" √ #
где ξ = x, η = 2 y — канонический " вид. 24. Гиперболи- #
ческого типа; uξη + 16 uξ + 16 uη = 0 где ξ = 3x+y, η = x−y —
7 1

канонический вид. " 25. Гиперболического


# типа при xy $= 0;
x3
uξη − ξ uη = 0 где ξ = xy, η = y — канонический вид;
3
" 3#
u = x3 y 3 ϕ xy + ψ(xy) (где ϕ, ψ — произвольные гладкие
функции) — общее решение. 26. При y < 0 гиперболиче-

104
" √ √ #
ского типа, uξη = 0 где ξ = x + 2 −y, η = x − 2 −y — ка-
√ √
нонический вид, u = ϕ(x + 2 −y) + ψ(x − 2 −y) (где ϕ, ψ —
произвольные гладкие функции) — общее " решение; при y #> 0

эллиптического типа, uξξ + uηη = 0 где ξ = x, η = 2 y —
канонический
" вид. 27. √ При y < 0 гиперболического
√ # типа,
uξη = 0 где ξ = (1 + 2)x + y, η = (1 − 2)x + y — кано-
√ √
нический вид, u = ϕ((1 + 2)x + y) + ψ((1 − 2)x + y) (где
ϕ, ψ — произвольные гладкие функции) — "общее решение;
при y #> 0 параболического типа, uηη = 0 где ξ = x − y,
η = x — канонический вид, u = xϕ(x − y) + ψ(x − y) (где
ϕ, ψ — произвольные гладкие функции) — общее " решение.
28. Эллиптического типа; # uξξ + uηη + uζζ = 0 где ξ = z,
η = y − x, ζ = x − y2 + z2 — канонический" вид. 29. Пара-
болического# типа; uξξ − uηη = 0 где ξ = x + y, η = x − y,
ζ = z − x — канонический вид. " 30. Эллиптического типа;
uy1 y1 + uy2 y2 + · · · + uyn#yn = 0 где y1 = x1 , y2 = x1 + x2 , . . . ,
yn = x1 + x2 + · · · + xn — канонический " вид. 31. Гипербо-
лического типа; u#ξξ − uηη − uζζ = 0 где ξ = −x, η = −x + y,
ζ = 12 (3x − y + z) — канонический "вид. 32. Гиперболиче-
ского типа; uξξ − uηη + uζζ + uτ τ = 0 где # ξ = x + y, η = x − y,
ζ = x − y + z, τ = √13 (−x + y + z + 2t) — канонический вид.
,y
33. u = ϕ(x) + ψ(f −1 (t))dt. 34. Решение не существует,
f (x)
если ψ $≡ const; u = ϕ(x) − F (0) + F (y) (F — произвольная
гладкая функция с F # (0) = C), если ψ ≡ C. 35. u = xy−y+
2y 2 2 2 2 2

3x
+ x 3y . 36. u = x −xy+y
y
. 37. u = 1 + 12 (e2x+3y − e2x+y ).
" # ,
x+2y
38. u = 2(x + y)e(x+y)/8 . 39. u = ϕ x − 23 y 3 + 12 ψ(s)ds.
x− 23 y 3
x2
40. u = 2 (3ey − 1) + y. 41. u = ϕ(y) + e−xy ψ(x) − ψ(0) +
,x
y e−sy ψ(s)ds. 42. u = (cos x − 1)e3y + y 2 ex . 43. u =
0
F (x) − F (0) при y ≥ 0, u = F (x) − F (y/k) при y < 0 (где F —

105
ϕ(x−at)+ϕ(x+at)
произвольная гладкая функция). 44. u =
2
при
,
x+at
x ≥ at, u = −ϕ(at−x)+ϕ(x+at)
2
при x < at. 45. u = 2a 1
ψ(s)ds
x−at
,
at−x ,
x+at
при x ≥ at, u = 2a 1 1
ψ(s)ds + 2a ψ(s)ds при x < at.
0 0
x+at x−at x+at x−at x−at
46. u = e +e 2
+ t при x ≥ at, u = e +e 2
+ t + e a − a1
при x < at. 47. u = x + t при x ≥ t, u = sin(x − t) + 2t при
x < t. 48. u = 1 при x ≥ at, u = 1 + a sin x−at a
при x < at.
cos(x+3t)−cos(x−3t) cos(x+3t)+cos(x−3t)
49. u = x− 6
при x ≥ 3t, u = − 6
+
3t + 13 + 3 sin x−3t
3
при x < 3t. 50. u = e −t
+ xt при x ≥ t,
x2 +t2
# 1 при x < t. 51. ut = e +
−t t
u = e + " 2 + cos(x − t) −
x"+ 3t − 32 sin x+3t 3 #
− sin x−3t
3
при x ≥ 3t, u = e + 2x −
3
2"
sin 3 + sin 3 при x < 3t. 52. u = 0 при x ≥ at, u =
x+3t x−3t
#
g aat−x
при x < at. 53. u = ϕ(x+at)+ϕ(x−at) 2
при x ≥ at, u =
ϕ(x+at)+ϕ(at−x) ,0

2
+ kek(x−at) eks ϕ(s)ds при x < at. 54. u =
at−x
2 3 2
e3x−y cos z ch 3at. 55. u = rt+ a3rt при r ≥ at, u = 3a r
+at2 при
r < at. 56. u = 2a2 t2 + x2 + y 2 + a1 (sin z sin at + z cos z sin at +
at sin z cos at). 57. u = xyz + a1 x sin y sin at. 58. u = (x2 +
a2 t2 )y. 59. u = x2 y 2 z 2 + (x2 y 2 + x2 z 2 + y 2 z 2 )a2 t2 + 13 (x2 +
r+at −er−at
y 2 + z 2 )a4 t4 + 15 a t . 60. u = ez cos(x + y) cos at + e 2ar
1 6 6
r+at −eat−r
при r ≥ at, u = ez cos(x + y) cos at + e 2ar при r < at.
sin(x+at)+sin(x−at) )
62. u = − ω2 * + xt + ω +
sin ωt t
2
. 63. u = x 12 t ln(1 +
t2 )−t+arctg t + a1 y cos z sin at. 64. u = z−xy+ 18 xy sin 2z(2t−
√ 2 2 t2
cos 2t). 65. u = xyzt2 + √13 ez sin 2x sin 3t+ r +a r
при r ≥ at,

u = xyzt2 + √13 ez sin 2x sin 3t + 2at при r < at. 66. u =
2 -
π(x−a) ∞ π(2k+1)y
sh sh π(2k+1)x
−A sh πab sin πy b
+ 8a
π3
1
(2k+1)3 π(2k+1)b sin
a
a
. 67. u =
b sh
k=0 a
-

sh
π(2k+1)x
π(2k+1)y
x− xy
b
+ π38a 1
(2k+1)3 sh
b
π(2k+1)a sin b
. 68. Если 2aA = a2 +b2 ,
k=0 b
2 2 2 -

ch
π(2k+1)y
то u = − bx
2
+ Ay + b(x 4a−y ) − 4a
π3
1
(2k+1)3 ch
a
π(2k+1)b cos π(2k+1)x
a
+
k=0 a

106
4b2
-

ch
π(2k+1)(x−a)

π3
1
(2k+1)3 ch
b
π(2k+1)a cos π(2k+1)y
b
+ C (где C — произволь-
k=0 b

ная постоянная); если 2aA $= a2 + b2 , то решение не существу-


2 2
ет. 69. Если aA + bB = 0, то u = Bx + Ay − B(x2a−y ) + C (где
C — произвольная постоянная); если aA + bB $= 0, то реше-
ние не существует. 70. Если 2a3 A + 3b2 B = 0, то u = bBx 2
+
a2 Ay 2 2 4 -

(−1)n ch
πn(y−b)
2 -

3
− bB(x4a−y ) + 4a
π3 n3
a
ch πnb
cos πnx
a
+ 4bπ3B 1
(2k+1)3
n=1 a k=0
π(2k+1)(x−a)
ch π(2k+1)y
b
π(2k+1)a cos b
+ C (где C — произвольная постоян-
ch b
ная); если 2a3 A + 3b2 B $= 0, то решение не существует.
71. u = 12 (1 + ρ2 cos 2ϕ). 72. u = A + 2R ρ sin 2ϕ. 73. u =
1 2
1
2
(1 − ρ cos 2ϕ). 74. u = ln 2 ln ρ − 15 ρ cos 2ϕ + 63
−2 1 1 2 8 3
ρ sin 3ϕ +
-∞ " ρ
# 2k+1
16 −2
15
ρ cos 2ϕ − 63 ρ sin 3ϕ 75. π4
8 −3 1
2k+1 R
sin(2k + 1)ϕ.
k=0
3πx 8l2
-

76. u = l
3πa
sin 3πat
l
sin l
+ π3 1
(2k+1)3
cos π(2k+1)at
l
sin π(2k+1)x
l
.
k=0
-
∞ ) √
77. u = 4

(3et 3t
− e ) sin x + 4 3t/2
π
e n
4n2 −1
2 cos 4n2 − 13t −
n=2
√ * 8lv0 e−t
-

√ 3
4n2 −13
sin 4n2 − 13t sin nx. 78. u = π2
1
(2k+1)2
k=0
π(2k+1)t π(2k+1)x -

a(2k+1) sin ωt−ω sin at
sin 2l
sin 2l
. 79. u = 4
πa (2k+1)2 [a2 (2k+1)2 −ω 2 ]
k=0
sin(2k + 1)x, если ω $= ±a(2k + 1) для k = 0, 1, . . . ; u =
-
− 2[a(2k0 +1)t cos ωt−sin a(2k0 +1)t]
πa(2k0 +1)2 ω
4
sin(2k0 + 1)x + πa sin(2k + 1)x
k%=k0
a(2k+1) sin ωt−ω sin at
(2k+1)2 [a2 (2k+1)2 −ω 2 ]
, если ω = ±a(2k0 + 1) при k0 ∈ {0, 1, . . . }.
-

cos(2k+1)t cos(2k+1)x
80. u = π
2
+ 1−cos
ω2
ωt
− 4
π (2k+1)2
, если ω $= 0;
k=0
π+t2
-

cos(2k+1)t cos(2k+1)x
u = 2
− 4
π (2k+1)2
, если ω = 0. 81. u =
k=0
gx(π−x) -

2a2
16g
− πa 2
1
(2k+1)3
sin (2k+1)x
2
cos (2k+1)at
2
. 82. u = 1+t+x−
k=0
-∞ -

xt+xt2 − π22 a sin πnx sin πnat
n2
. 83. u = A
l
x cos ωt+ 2A
π
(−1)n
n=1 n=1

107
(aπn)2 cos aπnt −(ωl)2 cos ωt
l
n[(aπn)2 −(ωl)2 ]
sin πnx
l
, если ω $= ± aπn для n ∈ N; u =
A(−1) n0 ) * l πn x 2A -
A
l
x cos ωt + πn0 2 cos l 0 t aπn
− ωt sin ωt sin l0 + π (−1)n
n%=n0
(aπn)2 cos aπnt −(ωl)2 cos ωt
l
n[(aπn) −(ωl)2 ]
2 sin πnx
l
, если ω = при n0 ∈ N.
± aπn
l
0

-
∞ n
' (
(−1) l2
84. u = Al x sin ωt + 2Aω
π n
l
πna
sin πnat
l
− (πna)2 −(lω)2
sin ωt
n=1
n0
sin πnx , если ω $= ± aπn для n ∈ N; u = Al x sin ωt + (−1) A

)
l
*
l
- (−1)n l ' πn0
sin ωt + ωt cos ωt sin πnl0 x + 2Aω π n πna
sin πnat
l

n%=n0
(
l2
(πna)2 −(lω)2
sin ωt sin πnxl
, если ω = ± aπn 0
при n0 ∈ N.
" # . " #l " # /
3I0 πρ I0 3πρ I2 3πρ
85. u = " πρ0 # sin h . 86. u = 2 " 3πρ0 # + " 3πρ0 # cos 2ϕ
h πz 1 h h

I0 h I I2
" # 0 h h
-
∞ I 0
πkρ ,h
sin 3πz
h
. 87. u = a0
2
+ a k " h #
πkρ0
cos πkz
h
, где a k = 2
h
f (z)
k=1 I0 h 0
-∞ ' µ0 z µ0 z
( " 0 #
2µ0n − n
I0 µρn0ρ , где An — ко-
n
cos πkz
h
dz. 88. u = A n e h −e h
n=1
0 " 0 #1
эффициенты разложения функции ρ − ρ0 в ряд по I0 µρn0ρ .
ν0z
-
∞ sh ρk " ν0ρ #
89. u = A0 h + z
Ak ν 00h J0 ρk0 , где Ak — коэффициенты
sh k
k=1 ρ0
0 " ν0ρ # 1
разложения функции f по 1; J0 ρk0 , k = 1, 2, . . . .
" #
90. sin2 θ sin 2ϕ. 91. 13 − 12 cos2 θ − 13 − 12 (sin2 θ cos 2ϕ).
-

92. cn Pn2 (cos θ) sin 2ϕ, где cn — коэффициенты разложения
n=2
функции cos2 θ по системе {Pn2 (cos θ)}∞n=2 . 93. 12 sin2 θ cos 2ϕ−
√ " #
2
3
sin 2
θ sin 2ϕ. 94. 2
5
cos θ − cos 3
θ − 3
5
cos θ . 95. sin 3ϕ
-

cn Pn3 (cos θ), где cn — коэффициенты разложения функ-
n=3
-

ции 1 по системе {Pn3 (cos θ)}∞
n=3 . 96. 3
4
an Pn1 (cos θ) cos ϕ+
n=1
-

1
4
bn Pn3 (cos θ) cos 3ϕ, где an , bn — коэффициенты разложе-
n=3

108
ния функции 1 по системам {Pn"1 (cos θ)}∞ n=1# и {P
3 ∞
n (cos θ)}n=3
2 5
соответственно. 97. u = 23 − rr2 cos2 θ − 13 + rr5 sin5 θ sin 5ϕ.
)r * 0 ) 3r2 * 0
98. u = 17 8
− 17r 2 sin θ cos ϕ + 98
+ 2
49r 3 sin θ cos θ sin ϕ.
r 10
99. u = r8 sin θ cos 7ϕ − r . 100. u = 10 sin θ sin 10ϕ
1 7 1 10
" + 2, где
C# — произвольная постоянная. 101. u = 3r − 4r3 cos 1 1
" 4r θ−
1
+ 1
sin θ sin ϕ+ 1
sin θ cos θ cos ϕ. 102. u = 2− 2
+ − +
3
32
#3r2 4r 3"
r3 128
# " 2 r
1
# 35
35r2
sin θ sin ϕ + 127
− 127r4 sin θ cos θ − 5 sin ϕ.
-

103. u = Ak r2k+1 P2k+1 (cos θ), где Ak = (−1)k+1 r4k+3 2k+2
2k+1 2k+1
k=0 0
k+1
C2k+2 -
∞ -
n
22k+2 . 104. u = AY00 (θ, ϕ)− fnm
Y m (θ, ϕ)
nrn+1 n
(где fnm —
n=1 m=−n
коэффициенты разложения функции f по сферическим гар-
моникам, A — произвольная постоянная), если f00 = 0; ре-
" νnρ #
шение не существует, если f00 $= 0. 105. unk = Jn ρk0 einϕ ,
" ν n #2
λnk = − ρk0 (n ∈ Z, k ∈ N, νkn — нули Jn# ), u00 = 1, λ00 = 0.
106. unk = [Yn (κkn ρ1 )Jn (κkn ρ) − Yn (κkn ρ)Jn (κkn ρ1 )]einϕ , λnk =
−(κkn )2 (n ∈ Z, k ∈ N, κkn — решения уравнения
Yn (κρ1 )Jn (κρ2 ) − Yn (κρ2 )Jn (κρ1 ) = 0. 107. unk = [Y πn α
(κkn ρ1 )
J πn
α
n
(κk ρ) − Y πn α
n
(κk ρ)J πn
α
(κk ρ1 )] sin α , λnk = −(κk ) (n ∈ Z,
n πnϕ n 2

k ∈ N, κk — решения уравнения Y πn
n
α
(κρ1 )J πnα
(κρ2 )−Y πn α
(κρ2 )
J α (κρ1 ) = 0. 108. unml = (k sin αn x−αn cos αn x)(k sin βm y−
πn

βm cos βm y)(k sin γl z − γl cos γl z), λnml = −(αn2 + βm 2


+ γl2 ) (n, m,
l ∈ N, αn — решения уравнения (k 2 −α2 ) tg aα = 2kα, βm — ре-
шения уравнения (k 2 − β 2 ) tg bβ = 2kβ, γl — решения уравне-
ния (k 2 − γ 2 ) tg cγ = 2kγ). 109. unml = [k sin βm z −
βm cos βm z]Jn (γl ρ)e , λnml = −(βm
n inϕ 2
+ (γln )2 ) (n ∈ Z, m, l ∈ N,
βm — решения уравнения (k − β ) tg hβ = 2kβ, γln — ре-
2 2

шения уравнения γJn# (γρ0 ) − kJn (γρ0 ) = 0). 110. unmk =


Jn+ 1 (κkn r)
2

r
Pnm (cos θ)einϕ , λnmk = −(κkn )2 (n ∈ Z, m = −n, . . . , n,
) *
k ∈ N, κkn — решения уравнения κJn+ #
1 (κr0 ) − k + 2r10
√ 2
2 2
Jn+ 1 (κr0 ) = 0). 111. u = 1 + cos π 9aab+b ct cos πx a
cos 3πy
b
.
2

109
-

aµ1k t " µ1 ρ #
112. u = ck cos где ck — коэффициенты
ρ0
J 1
k
ρ0
cos ϕ,
k=1
0 " µ1 ρ #1∞
разложения функции ρ − ρ0 по системе J1 ρk0 k=1 .
" #
J3 ωρ -
∞ +
113. u = sin ωt cos 3ϕ " ωa # − ωa √ ck 3 2 sin a 9 + (µ3k )2 t
J3 9+(µk )
a k=1
где0 ck — коэффициенты
J3 (µ3k ρ) cos 3ϕ, 1∞ разложения функции
1 по системе J3 (µ3k ρ) k=1 . 114. u = sin 2ϕ sin πz
-∞ $ %" 1 # " π #2 & " µ2 ρ #
h
µk ρ 2
ck cos a ρ0
+ h t J2 ρk0 , где ck — коэффициенты
k=1
0 " µ2 ρ #1∞
разложения функции ρ − ρ0 по системе J2 ρk0 k=1 .
" σ3/2 r # " σ5/2 r #
-
∞ J3/2 kr -∞ J5/2 kr
115. u = T11k (t) √ 0
r
sin θ cos ϕ + T21k (t) √ 0
r
k=1 k=1

1−ea 11k t +a2 λ11k t 2
sin 2θ sin ϕ, где T11k = −fk , T21k = ck ea λ21k t ,
(a2 λ11k )2
fk — коэффициенты разложения функции 1 по системе
2 " σk3/2 r # 3∞
J3/2
√ r0
r
, ck — коэффициенты разложения функции 1
k=1
2 " σ5/2 r # 3∞ $ &
J5/2 k n+1/2 2
σk
по системе √ r0
r
, λnmk = − r0
. 116. u =
" # k=1
-
∞ Jk ωρ -
∞ -
∞ -
∞ " µn ρ #
sin ωt ck " ωρa # eikϕ + Tnmk (t)Jn k
ρ0
einϕ
Jk 0
k=−∞ a n=−∞ m=1 k=1
cos πmz
h
, где ck — коэффициенты разложения функции g(ϕ)
0 1 2 ,t 2
по системе eikϕ , Tn0k = e−a λn0k t gnk + e−a λn0k (t−s) fn0k (s)ds,
0
,t −a2 λ (t−s) '" #
2
Tnmk = e nmk fnmk (s)ds при m $= 0, λnmk = − πm h
+
" µn #2 (
0
k
ρ0
, fnmk (t) — коэффициенты разложения функции f по
0 " µn ρ # 1
системе Jn ρk0 einϕ cos πmz h
, gnk — коэффициенты разложе-
-∞ " # ikϕ
ния функции G(ρ, ϕ) = − ck Jk ωρ
a
e по системе
k=−∞

110
" σ1/2 #2
0 " µn ρ # 1 cr 2
" 3c # -

− k t
Jn k
ρ0
e inϕ
. 117. u = 2r0
+ r0
t + c0 + ck e r0

k=1
" σ1/2 r #
J1/2 k
2
√ r0
r
, где ck — коэффициенты разложения функции − 2r cr
4 " σ1/2 r #5∞
0

по системе {1} ∪ J1/2 r0 k


. 118. u = cos ωtF (ρ, z) +
k=1
- -
∞ ∞ " ν0ρ # cos ωz
T000 (t)+ T0mk (t)J0 ρk0 cos πmz h
, где F (ρ, z) = − acω0 sin ωh
a
+
a
m=1 k=1 $! " 0 # 2 " # 2 &
ν
-∞ ch ρ0
k − ω a
z " ν0ρ #
c
!" # k " # $ !" # " # & J0 k , ck — коэффициен-
ν0 2 2 ν0 2 2 ρ0
k=1 k ω k ω
ρ0
− a
sh ρ0
− a
h
4 " 0 #5 ∞
ν ρ
ты разложения функции f (ρ) по системе {1} ∪ J0 ρk0 ,
√ ' " ν 0 #2 " #2 k=1(
T000 = f00 , T0mk = fmk cos a −λ0mk t, λ0mk = − ρk0 + πm h
,
fmk — коэффициенты разложения функции −F (ρ, z) по си-
4 " 0 # 5 Jn+ 1 (ωr)
ν ρ
стеме {1} ∪ J0 ρk0 cos πmz h
. 119. u = cos ωt √2 r
" σn+ 12 r #
n+ 1
-∞
aσ 2 J 1
t n+ 2
k
r
Pnm (cos θ) cos mϕ+ ck cos kr0 √ 0
r
Pnm (cos θ) cos mϕ,
k=1
где ck — коэффициенты разложения функции −Jn+ 1 (ωr) по
2
4 " σkn+ 12 r #5∞
системе Jn+ 1 r0 . 121. G(M, P ) = 2π
1
ln ρM P −
2 k=1
1

ln ρM P1 , где M (x, y), P (ξ, η), P1 (ξ, −η); u(x, y) =
,∞ f (ξ)dξ
y
π (x−ξ)2 +y 2
. 122. G(M, P ) = 2π1 1
ln ρM P − 2π ln ρM P1 −
−∞
1

1
ln ρM P2 + 2π ln ρM P3 , где M (x, y), P (ξ, η), P1 (ξ,−η), P2 (−ξ, η),
y
,∞ ' 1 1
(
P3 (−ξ, −η); u(x, y) = π (x−ξ)2 +y 2
+ (x+ξ)2 +y2 f (ξ)dξ +
0
,∞ ' (
x
π
1
x2 +(y−η)2
+ 1
x2 +(y+η)2
f (η)dη. 123. G(M, P ) = 2π 1
ln ρM P −
0
" 2 # 2 −ρ2
1

ln Rr ρM P1 , где M (ρ, ϕ), P (r, ψ), P1 Rr , ψ ; u(ρ, ϕ) = R 2π
,2π f (ψ)dψ
R2 +ρ2 −2Rρ cos(ψ−ϕ)
. 124. G(M, P ) = 2π 1 1
ln ρM P − 2π ln ρM P1 −
0

111
1

ln ρM P2 + 2π1
ln ρM P3 , где M (ρ, ϕ), P (r, ψ), P1 (r, −ψ),
" R2 # " R2 # π'
2 −ρ2 ,
P2 r , ψ , P3 r , −ψ ; u(M ) = R 2π 1
R2 +ρ2 −2Rρ cos(ψ−ϕ)

0
( ,1 ' 2 /ξ
(
1
R2 +ρ2 −2Rρ cos(ψ+ϕ)
f (ψ)dψ + πy 1
(x−ξ)2 +y 2
− (x−RR2 /ξ) 2 +y 2 f (ξ)dξ.
−1
∞ )
- *
125. G(M, P ) = 1

ln ρM P2k − ln ρM P2k+1 , где M (x, y),
k=−∞
-