Дифференциальные уравнения с частными производными второго порядка эллиптического типа. Глушко А.В - 47 стр.

UptoLike

Составители: 

Рубрика: 

- 47 -
Предположим, наконец, что точка
0
i
xD
∈∂
. Пусть
(
)
(
)
/
00
i
BxDBx
εε
=I
,
(
)
/
0
i
SxD
εε
ω=
. Применим вторую формулу Грина
в области
(
)
/
0
\
i
DBx
ε
, где
0
ε
>
- достаточно мало. Получим
()
()
()
///
0
0
\
\
ii
i
DDBx
DBx
uLuu
LudsLudxLdsuds
nnnn
ε
εεε
ωω
∂∂
∂∂

=−+

∂∂

∫∫
I
.
При
0
ε
интеграл в левой части этого равенства
стремится к
несобственному интегралу по
i
D
. За его значение примем предел правой
части , при вычислении которого мы можем применить все рассуждения
упомянутой леммы 2 за тем исключением, что вместо интеграла по
(
)
0
Sx
ε
будет фигурировать интеграл по
/
ε
ω
, так что
/
1
ds
ε
ω
равен площади той
части сферы
(
)
0
Sx
ε
, которая лежит в
i
D
. Имеем как и ранее
()
///
0
2
000
1
lim0;limlim1
4
uu
Ldsudsuxds
nn
εεε
εεε
ωωω
πε
→→

∂∂
==

∂∂


∫∫
.
Введем в точке
0
x
местную декартову систему координат
123
ξξξ
, так
что направление оси
3
O
ξ
совпадает с внешней нормалью и
1
D
(см . рис.
12). По предположению гладкости границы, уравнение границы внутри
достаточно малого шара
(
)
0
Bx
ε
возможно представить в виде
(
)
312
,
f
ξξξ
=
. Если граница класса
1
C
, то
f
и
,1,2
n
f
n
ξ
=
обращаются в
нуль в точке
(
)
12
,0
ξξ
=
. Вследствие этого, по определению
дифференцируемой функции в малой окрестности точки
0
x
имеет место
соотношение
31122
hh
ξξξ
=+
, (13.5)
где величины
1
h
и
2
h
обращаются в
нуль при
12
,0
ξξ
. Введем
сферические координаты
(
)
,,
r
θϕ
,
положив
12
sincos;sinsin;
rr
ξθϕξθϕ
==
3
cos
r
ξθ
=
. Подставив эти
соотношения в (13.5), получим
ε
ω
ε
i
D
0
Ox=
θ
θ
12
O
ξξ
3
ξ Рис. 12
                                                               - 47 -
       Предположим,                            наконец,               что   точка        x0 ∈∂Di .             Пусть
Bε/ ( x0 ) =Di  Bε ( x0 ) , ωε/ =Sε ( x0 )  Di . Применим вторую формулу Грина
в области Di \ Bε/ ( x0 ) , где ε >0 - достаточно мало. Получим
                                 �      ∂u   ∂L�                        ∂u     ∂u
                 ∫
       ∂Di \ (∂Di  Bε ( x0 ))
                                 � L
                                 �      ∂n
                                           −u � ds = ∫ L∆udx − ∫L ds +∫u ds .
                                             ∂n�                        ∂n     ∂n
                                                    Di \ Bε/ ( x0 ) ωε/    ωε/

      При     ε→ 0     интеграл      в     левой части этого равенства
стремится к
 несобственному интегралу по ∂Di . За его значение примем предел правой
части, при вычислении которого мы можем применить все рассуждения
упомянутой леммы 2 за тем исключением, что вместо интеграла по Sε ( x0 )
будет фигурировать интеграл по ωε/ , так что                                   ∫1ds      равен площади той
                                                                               ωε/

части сферы Sε ( x0 ) , которая лежит в Di . Имеем как и ранее

                    ∂u                                      ∂u                 � 1         �
             lim ∫L ds =0;                           lim ∫u ds =u ( x0 ) lim �
                                                                         ε → 0 4πε 2 ∫
                                                                                         1ds � .
             ε→ 0 /
                 ωε
                    ∂n                               ε→ 0 /
                                                         ωε
                                                            ∂n                  ��   ωε/      ��
       Введем в точке x0 местную декартову систему координат ξ1ξ2ξ3 , так
что направление оси Oξ3 совпадает с внешней нормалью и ∂D1 (см. рис.
12). По предположению гладкости границы, уравнение границы внутри
достаточно малого шара      Bε ( x0 ) возможно представить в виде
                                                                             ∂f
ξ3 = f (ξ1 , ξ2 ) . Если граница класса C1 , то f и                              , n =1, 2 обращаются в
                                                                             ∂ξn
нуль     в       точке                    (ξ1 ,ξ2 ) =0 .      Вследствие      этого,      по         определению
дифференцируемой функции в малой окрестности точки x0 имеет место
соотношение
                                                       ξ3 =h1ξ1 +h2ξ2 ,                                         (13.5)
где величины h1 и h2 обращаются в
нуль     при                         ξ1 , ξ2 → 0 .    Введем                                         ωε′
сферические координаты                               ( r ,θ , ϕ ) ,
положив                                                                                       ε                ∂Di
ξ1 =r sin θ cos ϕ ; ξ2 =r sin θ sin ϕ;
ξ3 =r cos θ .        Подставив         эти                                       O =x0        θ′ θ         ξ1Oξ2
соотношения в (13.5), получим
                                                                                         ξ3          Рис. 12