Учебное пособие 1920
.pdfu(x) LP u Q L dS Lf uN LdV .
FV |
V |
Если существует фундаментальное решение однородной задачи:
N G( ,x) 0, когда V-FV-x;
G( ,x) 0, когда |
FV, x V-FV, |
сопряженной задаче Дирихле, если это решение непрерывно в области V вместе со своими первыми производными, то
L( ,x) G( ,x) .
Формула для u(x) имеет вид
u(x) |
( )Q G( ,x)dS |
|
|
|
f ( )G( ,x)dV . |
|
|
|
|
||
FV |
|
|
|
V |
|
Фундаментальное решение однородной задачи называют функцией Грина задачи Дирихле. Также вводится функция Грина для задачи Неймана.
Рассмотрим задачу: найти решение уравнения xu f ,
когда x V FV; |
Рu , когда |
x FV . |
Пусть u(х) - решение этой задачи, непрерывное в замкнутой области V со своими производными первого порядка.
По формуле Грина–Стокса:
u(x) L uQ L dS Lf N LdV ,
FV V
где G( , x) - фундаментальное решение однородной задачи:
N G( ,x) 0, |
когда |
V-FV-x; |
Q G( ,x) 0, |
когда |
FV, x V-FV , |
сопряженной исходной задаче. Это решение вместе со своими первыми производными должно быть непрерывно в области V.
Пусть L( ,x) = G( ,x), тогда
u(x) ( )G( ,x)dS |
|
f ( )G( ,x)dV . |
FV |
V |
|
70
Фундаментальным решением нашей задачи будет функция Грина. Вводятся также вторая функция Грина и характеристическая функция Неймана.
Рассмотрим две взаимно сопряженные граничные задачи,
~
и пусть их функции Грина G( , x) и G( ,x)существуют. По определению:
~ |
|
N G( ,x) 0, |
когда V - FV-x; |
G( ,x) 0, |
|||
G( ,x) 0, |
G( ,x) 0, когда |
FV , x V-FV , |
или |
|
~ |
когда FV, x V-FV. |
P G( ,x) 0, Q G( ,x) 0, |
Первое граничное условие ставится для задач Дирихле, второе - для задач Неймана. Если функции G( , x) и
~
G( ,x)имеют производные первого порядка по координатам точки , непрерывные в области V-х, то зафиксировав две
точки |
х х |
|
и х х |
|
(х |
|
|
|
|
|
|
х ), можно применить формулу |
|||||
Грина |
к |
|
функциям |
|
G( ,x ) |
и G( ,x ) в области |
||
V V1(x , p) V1(x , p), |
где V1(x , p) |
и V1(x , p)- эллипсоидаль- |
ные окрестности точек x и x . Имеем |
|
|
||||
|
~ |
|
~ |
|
|
0. |
G( ,x )P G( ,x ) G( ,x )Q G( ,x ) dS |
FV1(x ,p) FV1(x ,p)
Перейдем к пределу при p 0. При этом справедливы формулы:
lim |
|
~ |
|
|
~ |
|
|
|
) dS |
~ |
|
G( ,x |
)P G( ,x |
) G( ,x |
)Q G( ,x |
G |
(x ,x ); |
||||||
p 0 |
FV1(x ,p) |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
~ |
|
|
|
) dS |
~ |
|
|
lim |
|
|
|
|
|
||||||
G( ,x |
)P G( ,x ) G( ,x )Q G( ,x |
G(x ,x ). |
|||||||||
p 0 |
FV (x ,p) |
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
~
Можно получить формулу G(x ,x ) G(x ,x ), связывающую функции Грина для сопряженных граничных задач.
71
Если дифференциальное выражение u самосопряженное, то
~
G( ,x) G( ,x) и G(x , x ) G(x ,x ).
Если для самосопряженной граничной задачи, поставленной в области, существует функция Грина G( ,x), непре-
рывная в области вместе со своими первыми производными, то эта функция будет симметричной относительно и х.
1.18. Условия разрешимости граничных задач
Пусть |
u - решение |
задачи Дирихле: u f , если |
x V FV ; |
u , когда |
x FV , непрерывное в области V |
вместе со своими первыми производными, - какое-либо ре-
шение однородной |
сопряженной |
задачи: |
N 0, |
если |
|||||||
x V FV; |
0, |
когда |
x FV, с тем же условием. |
|
|||||||
При этом функции f и будут непрерывными. Приме- |
|||||||||||
ним формулу Грина. Можно получить |
|
|
|
|
|||||||
|
|
|
|
f dV |
|
d |
0. |
|
|
||
|
|
|
|
|
|
||||||
|
|
V |
|
|
FV |
|
dv |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Аналогично |
и |
для |
задачи Неймана: |
u f , |
если |
||||||
x V FV ; |
Pu , |
когда |
x FV, |
|
получим |
|
|
|
|
f dV dS 0, |
|
|
|||||||
|
|
V |
|
|
FV |
|
|
|
|
|
|
где - решение однородной сопряженной задачи: |
N 0, |
ес- |
|||||||||
ли x V FV ; |
P 0, |
когда |
|
x FV ,непрерывное в облас- |
|||||||
ти V вместе со своими первыми производными. |
|
|
|||||||||
Рассмотрим уравнение эллиптического типа |
|
|
|||||||||
|
3 |
|
|
u |
3 |
|
u |
|
|
|
|
u |
a |
|
e |
cu f , |
|
|
|||||
x |
x |
|
|
|
|
||||||
|
, 1 |
|
|
1 |
|
x |
|
|
|||
коэффициенты aij , ei, c |
(i, j 1, 2,3) |
и f определены в замкну- |
|||||||||
той области V, |
и первые производные коэффициентов aij |
и ei |
72
и коэффициент с непрерывны и удовлетворяют условию Гёльдера в области V, а f - непрерывен в области V и также удовлетворяет условию Гёльдера в области V - FV.
При этих условиях и условии с 0 задача Дирихле
u f , когда x V FV ; u , когда x FV ,
имеет единственное решение, если функция непрерывна на границе FV.
Задача Дирихле и сопряженная ей задача будут:
|
~ |
|
x V FV ; |
|
~ |
x FV, |
|||
|
Nu f |
, когда |
u , когда |
||||||
где функции |
~ |
~ |
обладают свойствами, что и f и соот- |
||||||
f и |
|
||||||||
ветственно имеют единственное решение. |
|
|
|||||||
|
Если с>0, то имеет место альтернатива: |
|
|
||||||
|
либо однородные взаимно сопряженные задачи |
u 0, |
|||||||
когда |
x V FV ; |
u 0, |
когда |
|
x FV ; |
N 0, |
когда |
||
x V |
FV ; |
0, |
|
когда |
x FV , |
задачи не имеют реше- |
ний, отличных от тождественного нуля, и тогда задача Дирихле имеет единственное решение;
либо эти задачи имеют по одинаковому числу m линейно независимых решений u1,u2,...,um и 1, 2,..., m, и тогда
задача Дирихле разрешима при выполнении соответствующих интегральных соотношений для каждого из решений1, 2,..., m. Если последнее условие выполнено, то задача Дирихле имеет бесчисленное множество решений, и если u-
m
одно из них, то все остальные определены в виде u c u ,
1
где c - постоянные. Решение u задачи Дирихле, ортогональ-
ное ко всем решениям u1, u2,...,um однородной задачи и един-
ственно.
73
1.19. Понятие гармонической функции
Функция называется гармонической в области V, если эта функция имеет непрерывные частные производные до второго порядка включительно во всех внутренних точках области V и является решением в этой области уравнения Лапласа U(x,y,z)=0. Аналогичное понятие гармонической функции u(x,y) вводится для плоской области D. Примером такой функции в пространстве будет функция
x,y,z)= |
|
= |
|
|
|
|
|
|
|
|
|||
В самом деле, uфункция( |
1/ρ не зависит. |
от сферических |
координат. Оператор Лапласа и уравнение Лапласа в сферической системе координат для этой функции имеют вид
u( ) |
2u |
|
2 u |
|
, u( ) |
|
2 |
|
2 |
0. |
|||||||
|
|
|
|
|
|
3 |
3 |
||||||||||
2 |
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|||||||||
Так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
1 2u |
|
|
u |
2 |
. |
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
2 |
|
2 |
|
|
3 |
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
то, функция 1/ρ является гармонической функцией во всем пространстве, кроме начала координат. Точно также функция
u(x,y)=ln |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|||
является гармонической |
функцией на всей плоскости, кроме |
||||||||
|
|
= ln |
) |
||||||
точки ρ=0. Функции |
|
и ln |
|
называются фундаменталь- |
|||||
|
|
||||||||
ным решением уравнения Лапласа . |
|
|
1.20. Задачи Дирихле для круга и шара
А. Решение задачи Дирихле для круга методом Фурье
В полярной системе координат задача формулируется так: найти функцию u(r, ), удовлетворяющую при r<R дифференциальному уравнению
74
2u |
|
1 u |
|
2u |
0 |
|||
|
|
|
|
|
||||
r2 |
r r |
2 |
||||||
|
|
|
и граничному условию
u(r, ) r R u*( ).
Найдем частные решения уравнения в виде u(r, )=X(r)Y( ), где X(r), Y( ) - ненулевые функции, удовлетворяющие условиям: X(0) ограничено и Y( +2π)= Y( ).
Дифференцируя функцию u(r, )=X(r)Y( ), по r и и подставляя результаты дифференцирования в наше уравнение, получим
|
X |
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
(r)Y ( ) r X |
(r)Y ( ) r2 X (r)Y( ) 0, |
||||||||||||||||||||||
|
|
|
|
r |
2 |
X |
|
|
|
|
|
|
|
Y |
|
|
( ) |
|
|
|
|||||
|
|
|
|
|
|
|
(r) rX |
(r) |
|
|
|
. |
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
X(r) |
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Y( ) |
|
|
|||||||
Отсюда следует, что |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
r |
2 |
X |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
(r) rX |
(r) X (r) 0, |
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Y ( ) Y( ) 0. |
|
|
|||||||||||||
Уравнение для Y(φ) имеет решения, удовлетворяющие |
|||||||||||||||||||||||||
имеют вид Yn +2π) |
An cos()n |
|
) |
|
|
Bn sin(n , n 0,1,... n=0,1,2, … |
|||||||||||||||||||
условию |
|
Y( |
)= Y( |
|
|
только при λ= , |
и эти решения |
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Уравнение r |
2 |
|
|
|
|
|
|
|
(r) n |
2 |
X(r) 0 |
имеет два ли- |
|||||||||||||
|
|
X (r) rX |
|
|
|
||||||||||||||||||||
нейно независимых решения rn и |
r-n. Второе решение r-n не |
||||||||||||||||||||||||
ограничено |
в |
|
|
|
|
|
точке |
|
|
|
r=0. |
|
|
|
Поэтому |
полагаем |
|||||||||
Xn r rn, |
n 0,1,... |
Получено бесконечно много частных ре- |
шений уравнения: un r, ) rn(An cos(n ) Bn sin(n ), n 0,1,...
75
Эти решения удобнее записать в виде
u0 r, A0 . 2
Решение поставленной задачи будем искать в виде ряда
|
A |
|
|
u(r, ) |
0 |
rn(An cos(n ) Bn sin(n )), |
|
|
|||
2 |
n 1 |
|
|
коэффициенты которого |
находятся такие, что функ- |
||
ция u r, удовлетворяет граничному, , |
условию. Имеем |
u*( ) A0 /2 Rn (An cos(n ) Bn sin(n )),
n 1
Отсюда следует, что A0, Rn, RnAn, RnBn являются коэффициентами Фурье для функции u*( ) на отрезке [0,2π].
Поэтому
|
|
|
|
1 |
2 |
|
|
|
|
|
|
|
1 |
|
|
2 |
||||||||
A0 |
u*( )d , |
An |
|
|
|
|
u*( )cos(n )d , |
|||||||||||||||||
|
|
|
|
|
|
n |
||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
|
|
|
R |
|
0 |
|
||||||||
|
|
|
|
|
|
|
|
1 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
Bn |
0 u*( )sin(n )d . |
||||||||||||||||
|
|
|
|
|
|
Rn |
||||||||||||||||||
Подставляя значения A0, An, Bn в решение, получим |
||||||||||||||||||||||||
|
|
|
|
1 |
|
|
2 |
|
|
1 |
m |
|
|
|
r |
|
n |
2 |
||||||
u(r, ) |
|
|
|
u*( )d |
|
|
( |
|
|
) |
|
{ u*( )cos(n )d |
||||||||||||
2 |
|
|
R |
|
||||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
1 |
|
|
0 |
|||||||||
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
u*( )sin(n )d }. |
|||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1 |
|
|
2 |
|
|
|
2 |
|
m |
r |
2 |
|||||||||||||
u(r, ) |
|
|
|
u*( )d |
|
( |
|
|
)n |
u*( )cos(n( ))d |
||||||||||||||
2 |
|
|
R |
|||||||||||||||||||||
|
|
|
|
0 |
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
0 |
|||||
|
|
|
|
1 |
|
|
2 |
|
|
|
|
m |
|
r |
|
|
|
|||||||
|
|
|
|
u*( ){1 2 ( |
|
)n cosn( )}d . |
||||||||||||||||||
|
2 |
|
R |
|||||||||||||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
76
Обозначим θ- =ω и найдем сумму ряда, стоящего в квадратных скобках формулы.
Имеем
|
|
|
|
m |
r |
n |
|
|
|
|
|
m |
|
|
r |
|
n |
|
||||||
|
1 2 ( |
|
|
|
) |
|
cosn 1 2 ( |
|
|
) |
|
cosn |
||||||||||||
|
|
|
|
|
R |
|
||||||||||||||||||
|
|
|
|
n 1 |
R |
|
|
|
|
|
|
n 0 |
|
|
|
|||||||||
|
|
|
|
m |
|
|
|
r |
|
|
|
|
|
m |
|
r |
|
|
|
|
||||
1 2n 0 |
( |
)n exp(in ) 2n 0 |
( |
)n exp( in ). |
||||||||||||||||||||
R |
R |
|||||||||||||||||||||||
m |
|
r n |
|
|
|
|
|
|
|
|
m |
|
r n |
|
|
|
|
|
|
|
|
|||
Здесь |
|
|
|
exp(in ), |
|
|
|
|
exp( in ) |
- геометрические |
||||||||||||||
|
|
|||||||||||||||||||||||
n 0 |
|
R |
|
|
|
|
|
|
|
|
n 0 |
|
R |
|
|
|
|
|
|
|
|
прогрессии |
|
со |
|
|
|
знаменателями |
|
|
|
|
, |
|
= |
||||||||
|
|
|
|
||||||||||||||||||
|
exp(− ). |
|
ряды |
|
|
|
|
|
круге |
||||||||||||
|
|
|
|
Так как решение ищется в |
= expr<(R, )то |
|
= |
||||||||||||||
= |
|
|
|
||||||||||||||||||
|
< 1, |
m |
|
r n |
m |
r |
n |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
exp(in ), |
|
|
exp( in ) |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
сходятся. |
|
n 0 |
|
R |
n 0 |
R |
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
Суммируя эти ряды, получим |
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
m |
|
r |
|
|
m |
|
r |
|
|
|
|
|
||||
|
|
|
1 2 ( |
)n exp(in ) 2 ( |
)n exp( in ) |
|
|
||||||||||||||
|
|
|
|
R |
|
|
|||||||||||||||
|
|
|
|
|
n 0 |
|
R |
|
n 0 |
|
|
|
|
|
|
=-1+1/(1- (r/R)exp(i ω))+ 1/(1- (r/R)exp(-i ω))= =(R2-r2)/( R2+r2-2Rrcosω),
где ω=θ- .
Таким образом, решение нашей задачи имеет вид
1 |
2 |
|
(R2 r2)u*( ) |
|
|||
u(r, ) |
|
0 |
|
|
|
d . |
|
2 |
R2 |
r2 |
2Rrcos( ) |
||||
|
|
77
Получили другим способом решение задачи Дирихле для круга в виде интеграла Пуассона.
Б. Решение задачи Дирихле в шаре для уравнения Лапласа ( метод Фурье)
Пусть требуется найти функцию u(x,y,z), гармоничную в шаре x2 +y2+ ≤ и принимающую заданные значения в точках сферы.
В сферической системе координат задача заключается в следующем. Требуется найти функцию u(ρ,θ, ), удовлетворяющую при ρ<R уравнению
2u |
|
1 2u |
|
2 u |
ctg u |
1 |
|
|
2u |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
2 |
2 |
|
2 |
|
|
2 |
|
2 sin2 |
|
|
||||||||
|
|
|
|
|
|
2. |
и граничному условию
u( , , ) R u*( , ).
Решение этой задачи методом Фурье заключается в следующем: сначала ищутся частные решения основного уравне-
ния в виде u(ρ,θ, )=X(ρ)Y(θ, ), |
где функция X(ρ) ограничена |
в точке ρ=0, функция Y(θ, ) |
ограничена по переменной и |
периодична по переменной с периодом 2π.
Функции Y(θ, ) являются собственными функциями, отвечающими собственным значениям λ=n(n+1) этими функциями являются сферические функции
Yn ( , ) (Amn cos(m ) Bmn sin(m ))Pn(m) (cos ),
m 0
(n=0,1,2,…).
Функции X(ρ) являются решениями уравнения
2 X ( ) 2 X ( ) n(т 1)X( ) 0
ограниченными в точке ρ=0. Частные решения этого уравнения будем искать в виде X(ρ)=ρ . Для определения k получаем уравнение k2+k-n(n+1)=0, которое имеет решения k1=n и
78
k2=-n-1. Следовательно, это уравнение имеет два линейно независимых решения ρ и 1/ρ . Второе решение не ограничено при ρ→ 0, , но ограничено при ρ>R, поэтому оно используется для решения внешней задачи Дирихле для шара. Для решения внутренней задачи Дирихле выбираем X(ρ)=ρ Таким образом, мы получили беcконечно много частных решений уравнения
un( , , ) n(Amn cos(m ) Bmn sin(m ))Pn(m) (cos ),
m 0
(n=0,1,2,…).
Решение поставленной задачи будем искать в виде ряда
u( , , ) n(Amn cos(m ) Bmn sin(m ))Pn(m)(cos ).
n 1 m 0
Коэффициенты этого ряда определяются так, чтобы выполнялось граничное условие. Полагая в решении ρ=R, получим
u*( , ) Rn(Amn cos(m ) Bmn sin(m ))Pn(m)(cos ).
|
|
|
n 1 |
m 0 |
|
|
|
|||||
Отсюда следует, что |
|
|||||||||||
|
|
1 |
|
|
|
|
2 |
|
u*( , )P(m)(cos( ))cosm sin d , |
|||
A |
|
|
|
|
|
|
d |
|||||
|
|
|
|
|
|
|
|
|||||
mn |
|
Yn(m) |
|
|
2 |
Rn |
|
|
|
|
n |
|
|
|
|
|
|||||||||
|
|
|
|
|
0 |
|
0 |
|
||||
|
|
1 |
|
|
|
2 |
|
u*( , )P(m)(cos( ))sin m sin d . |
||||
B |
|
|
|
|
|
|
d |
|||||
|
|
|
|
|
|
|
|
|
||||
mn |
|
|
Yn(m) |
|
2 |
Rn |
|
|
|
|
n |
|
|
|
|
|
|||||||||
|
|
|
|
|
0 |
|
0 |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим случай, когда решение задачи Дирихле для шара не зависит от , то есть решение имеет осевую симметрию. В этом случае функция u(ρ,θ) является решением уравнения
2u |
|
1 |
|
2u |
|
2 u |
ctg u |
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
2 |
2 |
|
2 |
|
|
2 |
|
||||||
|
|
|
|
|
|
79