- •Введение
- •Постановка задач
- •Вывод уравнения теплопроводности
- •Постановка задачи для уравнения теплопроводности
- •Вывод волнового уравнения (уравнения колебаний). Вариационный принцип.
- •Струна
- •Постановка задачи для волнового уравнения.
- •Классификация уравнений второго порядка.
- •Замены переменных.
- •Постановка задачи Коши.
- •Распрямление поверхности.
- •Корректность.
- •Интегральные операторы.
- •Фан фанский.
- •Ограниченность интегральных операторов
- •Операторы со слабой особенностью.
- •Задача Штурма-Лиувилля.
- •Постановка задачи.
- •Функция Грина.
- •Задача ШЛ и интегральное уравнение.
- •Задача на собственные числа.
- •Гармонические функции
- •Формулы Грина.
- •Фундаментальное решение оператора Лапласа.
- •Принцип максимума.
- •Постановка краевых задач. Теоремы единственности.
- •Постановка задачи Неймана. Теоремы единственности.
- •Следствия из формулы Пуассона.
- •Объемный потенциал и его свойства.
- •Теоремы о разрешимости краевых задач.
- •Обобщенные функции
- •Действия с обобщенными функциями.
- •Фундаментальное решение.
- •Пространства Соболева.
- •Соболевские производные.
- •Соболевские производные на отрезке.
- •Замкнутость дифференцирования.
- •Продолжение нулем.
- •След функции на границе.
- •Неравенство Фридрихса.
- •Теорема Реллиха
- •Стандартный эллиптический оператор.
- •Решение краевой задачи.
- •Теоремы единственности.
- •Энергетическое пространство.
- •Абстрактное уравнение.
- •Исследование абстрактного уравнения.
- •Разрешимость абстрактного уравнения.
Глава 4
Гармонические функции
Будем рассматривать уравнение Лапласа.
= ( ), – обл. R . |
|
|
|
|
|||||||||||
= |
=1 = 0 |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
(2) |
( ) и = 0 в |
Определение: – гармоническая в , если |
|
||||||||||||||
|
|
|
|
|
|
|
|||||||||
- неограниченная |
= имеет “правильное поведение” и на ∞ |
||||||||||||||
a) | ( )| ≤ |
|
|
|
|
, |
| | → ∞ |
|
|
|
|
|||||
|
| | −2 |
|
|
|
|
||||||||||
b) | ( )| ≤ |
{ |
| |
|
| 2 , |
= 2 |
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
, |
≥ 3 |
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
| |
4.1Формулы Грина.
Теорема. - огр. = ∂ (2); |
, (2)( |
|
). Тогда |
|
|
|
|
|||
1) · = − |
|
+ |
∫ |
∂∂ · ( ) |
||||||
|
||||||||||
∫ |
∫ |
∑ |
|
|
|
|
|
|
||
Ω |
Ω =1 |
|
|
|
|
|
|
|
||
2) ( · − · ) = |
( |
∂∂ · − · ∂∂ |
( ) |
|||||||
∫ |
|
∫ |
|
|
|
|
|
) |
||
Ω |
|
|
|
|
|
|
|
|
|
|
- единичная внешняя нормаль к . |
|
|
|
|
|
|
|
|
|
|
Доказательство. Интегрируем по частям: |
|
∫ |
|
|
|
|
||||
∫ |
∫ |
|
|
|
|
|
|
|
· = − |
|
+ |
|
|||||
Ω |
Ω |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
∑ |
|
|
|
|
||||
|
|
|
cos( , ) = |
|||||
|
=1 |
|
|
|
|
|
|
|
|
|
|
∑ |
|
||||
|
|
|
|
|
||||
= ( 1, 2, . . . , |
); |
|
|
|
|
|
||
|
|
|
|
|
=1 |
|
|
cos( , ) ( )
∂
∂
=( + ) =0
38
Ω∫ |
· = − Ω∫ |
+ ∫ |
∂ · |
|
|
|
|
∂ |
|
Ω∫ |
· = − Ω∫ |
+ ∫ |
|
|
∂ · |
||||
|
|
|
∂ |
– вторая формула Грина
4.2Фундаментальное решение оператора Лапласа.
|
|
|
= 0; |
|
|
|
( ) = (| |); |
|
|
|
|
̸= 0. |
|
|
|
|
∂| | |
|
|
|
|||||||||||||||||||||||||||||||||
Дифференцируем: |
|
|
|
|
|
= ( ( )) |
|
|
|
= ′( |
) |
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
· ∂ |
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
| | |
|
|
|
|
|
|
|
|
|
|
|
| | |
|
|
|
|||||||||||||||||||||||||||
= |
|
|
|
|
|
|
= |
|
|
|
|
| | = |
|
|
|
|
|
|
|
2 |
|
|
|
|
|
∂ |
|
|
|
= |
|
||||||||||||||||||||||
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
| | |
|
|
=1 |
|
|
|
|
|
∂ |
|
|
|
|
|
|
2 |
|
|
1 |
· |
|
∂ |
∑ |
2 |
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
| |
|||||||||||||||||||||||||||||
|
|
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
√ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
^ = ∂ ( ′(| |) · |
|
|
|
) |
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
= |
|
|
| | |
|
|
2 · |
|
∂| |
|) |
|
|||||||||||||||||||||||||||||||||||||||||||
′′(| |) · |
|
|
|
|
+ ′(| |) · |
( |
|
− |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
∂ |
|
|
|
|
||||||||||
|
|
|
|
|
( |
| | |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| | |
|
|
|
− |
|
| |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
Т.о. |
|
= ′′ |
|
2 + ′ · ( |
|
|
|
3 ) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
| |
|
|
|
|
|
|
|
|
|
|
|
| | |
|
|
|
|
|
| | |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Можем посчитать оператор Лапласа: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
∑ |
2 |
|
|
|
|
|
|
||||||||||
|
|
|
=1 |
|
|
|
|
|
|
|
|
′′ |
|
|
|
|
+ ′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
= |
|
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
∑ |
|
|
|
|
|
|
|
|
· |
|
|
| | |
2 |
|
|
|
|
|
· |
(| | |
|
|
− |
| |
|
| |
|
|
) |
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= |
| | |
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
||||
|
|
|
= ′′ + ′ |
· |
|
|
|
− |
|
|
|
|
= 0 |
|
|
|
|
|
:= |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
− 1 = 0 |
|
|
|
|
|
1 |
| | |
|
|
|
|
|
|
|
|
|
|
′ |
|
|
|
|
| |
|
| |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
′′ + ′ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
′ |
|
= 0 |
|
|
|
|
|
|
|
|
|
|
= 0 |
||||||||||||||||||||||
|
· |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
· |
( |
|
|
· |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
(При ̸ |
) |
||||||||||||||
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
|
|
|
−1 · ′ = |
|
|
|
|
′ = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
≥ 3 : ( ) = −02 + 1
= 2 : ( ) = 0 ln + 1
Определение: фундаментальное решение оператора Лапласа –
|
{ |
− |
1| |
ln , |
|
= 2 |
|
|
|
|
1 |
, |
≥ 3 |
|
( ) = |
( 2) 1|| | −2 |
||||
|
|
− |
|
| | |
|
|
|
|
2 |
|
|
39
Свойства:
1.( ) = (| |) ∞(R {0})
2.= 0, ̸= 0 – удовлетворяет уравнению Лапласа.
3.≥ 3 - у есть правильное поведение на ∞
= 2 - правильного поведения нет!!
Фундаментальное решение существует для любого дифференцируемого оператора.
4.3Интегральное представление функций класса (2).
Теорема. - огр. R , = ∂ (2). (2)( |
|
) = |
− ∫ |
|
|
|
|
|
|
||||||||||||||||
|
− |
Ω∫ |
|
|
− |
|
· |
|
∫ |
|
|
− |
|
· |
∂ |
∂ |
− |
|
· |
|
|||||
( ) = |
|
|
|
( |
|
) |
|
( ) + |
|
|
( |
|
) |
|
∂ |
( ) ( ) |
|
∂ |
( |
|
) |
|
( ) ( ) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- формула интегрального представления.
|
|
|
|
|
|
|
|
|
Заданы: Ω, |
, |
∂ |
|
= есть . |
|
|||
∂ |
|
|||||||
|
|
|
|
Ω∫ |
- объемный интеграл |
|
||
|
|
∫ |
|
|
|
|||
|
|
|
∂ |
|
|
|||
|
|
|
|
- потенциал простого слоя |
||||
|
|
∂ |
||||||
|
|
∫ |
∂ |
|
- потенциал двойного слоя |
. |
||
|
|
∂ |
|
|
|
Потенциал - работа, которую надо совершить, чтобы перенести заряд из бесконечности
в данную точку. |
|
|
− ∫ |
( − ) ( ) ( ) |
( − ) ( ) ( ) |
Ω
Двойной слой: - плотность на +
Распределение зарядов - дипольный момент. Размазываем по поверхности диполи.
Доказательство. Будем интегрировать по частям. |
|
|
||||||||
fix , |
:= ( , ). |
По формуле Грина: |
|
|
||||||
|
, : ∫ |
− = − ∫ |
( )∂ ( ) − ( ) |
∂ ( ) ( ) |
||||||
|
|
|
|
|
|
|
∂ |
∂ |
||
|
Ω |
|
|
∂Ω |
|
|
|
|
|
|
|
= ( ) = ( − ) (∞)( |
|
) |
( − ) ≡ 0 (св-во 2); |
40
|
|
∂ = (= ∂ ) (= ∂ ) = ∫ |
= ∫ |
+ ∫ |
||
∫ |
∂ ( − ) · ( ) ( ) − ∫ |
Ω |
|
|
|
|
( − ) · |
∂ ( ) ( ) = |
|||||
|
∂ |
|
∂ |
|
||
|
|
|
|
|
|
|
= − ∫ |
∂ ( − ) · ( ) ( ) + |
|
∂ |
Нужно доказать:
∫ ∫
1.−→
Ω →0 Ω
2. |
∫ |
(∂∂ − ∂∂ ) |
|
1. |
|
|
|
|
|
− ∫ |
|
|
|
∫ |
|
|
|
Ω |
Ω |
|
|
|
|
−→ ( )
→0
−→ 0?
→0
|
|
≤ mΩ |
| |
( ) |
| |
∫ |
|
|
|
|
ax |
|
|
|
|
∫ |
|
|
|
|
|
| − |< |
|
|
∂ |
−→→ |
|
|
|||
2. (a) |
|
? |
|
0 |
|
|
|
|
|
∂ |
|
0 |
|
|
|
|
|
|
|
|
∫ |
( − ) · ∂ |
( ) ( ) − ∫ |
( − ) · ( ) |
|
|
|
∂ |
|
|
|
|
|
Ω |
|
|
|
|
|
|
|
= |
|
|
( |
− |
) ( ) |
≥3 |
|
|
|
|||||||||
∫ |
− ∫ |
|
|
∫ |
|
|
|
|
|
|
|
|
≤ |
|
|
|
||||||||
|
Ω |
|
Ω |
|
|
( , ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
∫ |
|
|
|
|
|
= |
| |
|
| |
|
|
||||
|
|
|
|
|
|
−2 |
|
|
|
|
−2 |
|
2 |
|
|
|||||||||
| |
− |
| |
|
≤ |
|
|
|
| |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
< |
| |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
| | |
|
|
|
|
|
|
|
|
|
|
|
|
|
∫
(b)
∂ ∂
∫ |
( − ) · ∂ |
( ) ( ) ≤ |
|||||||
Ω |
|
|
|
|
|
|
∂ |
|
|
|
|
|
|
|
|
|
|
||
= |
|
|
|
|
|
||||
|
|
|
|
2 |
|
|
|
||
|
|
| |
− | |
|
|
|
|
||
|
|
|
|
|
|
?
( ) ( ) −→ ( )
→0
:= − ; |
∂ |
= − |
∂ |
; |
|
|
|||
∂ |
∂ |
|
|
|
· |
max |
| |
| · |
| |
|
| |
−→ |
0 |
|||
|
|
|
|
|||||||||||
|
|
|
2 |
|||||||||||
|
− |
|
|
|
|
|
|
→ |
0 |
|||||
|
|
|
|
Ω |
|
|
|
|
|
|
| 1| −1
1( ) = | 1| ( − 2) −2 ;
∂ |
|
( − ) = |
− |
∂ |
( ) = |
|
1 |
|
· |
|
1 |
|
= |
|
1 |
|||
∂ |
|
∂ |
|
|
|
| |
|
− |
1 |
| |
|
| |
||||||
|
|
|
|
| |
|
1 |
|
|
|
|
( = ) |
|
∫ |
|
∂ ( − ) ( ) ( ) = |
| | ∫ |
||||||
|
|
∂ |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
?
( ) ( ) −→ ( ) ?
→0
|
|
|
|
|
|
∫ |
( ) = ( ) + (| − |) |
|
· |
||
( ) ( ) = |
| | ( ) + ( ) | | |
||||
|
|
|
1 |
||
|
|
| | |
|||
|
|
|
|
|
|
41
Следствия формулы интегрального представления |
|
|
|
|
|
|
|
|||||||||||||
Следствие 1. (2)( |
|
), |
= 0 в |
= |
|
|
|
|
|
|
|
|
|
|
||||||
|
|
∫ |
|
∂ ( − ) · ( ) ( ) |
||||||||||||||||
( ) = |
∫ |
|
( − ) · ∂ |
( ) ( ) − |
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
∂ |
|
|
|
|
|
∂ |
|
|
|
|
|
Утверждение. |
|
R |
, |
|
(2)( ), = 0 |
в |
= |
|
|
(∞)( ) |
. |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
Аналогия: если функция дифференцируема в комплексном смысле один раз, то она
имеет все комплексные производные. Гармонические функции бесконечно дифференцируемы.
Доказательство. (∞)( ) шара (∞)( ).
Если функция бесконечно гладкая в любом шаре из области, то она бесконечно гладкая во всей области. Поэтому докажем для шаров.
:= ∂ . , ∂ = | − | > 0
∫
( ) = ( , ) ( ) ( ) (из интегрального представления).
(∞)
Определение: Пусть ( ); носитель u: = { ( ) ̸= 0}
– гладкая финитная функция ( 0(∞)( )), если (∞)( ) и - компакт. Свойство гладких финитных функций :
0(∞)( ) = > 0 : ( , ∂ ) < = ( ) = 0 (поскольку - компакт)
Следствие 2. - обл в R , 0(∞)( ). Тогда
∫
( ) = − ( − ) ( )
Ω
|
|
|
|
|
|
Казалось бы: ≡ 0, |
∂ |
|
≡ 0 (из св-ва). |
||
∂ |
|||||
|
|
|
|
|
не всегда можем написать формулу интегрального |
Но это не доказательство, |
поскольку |
||||
представления (например, |
= R ). |
|
Плохая область с плохим носителем. Однако, если > 0 : - шарик фиксированного радиуса такой, что можно провести шарик между этими
плохими участками, то можно построить и гладкую поверхность.0(∞)( ) = ̃( ) : ̃ (для каждой своя ̃).
( ) = −∫ |
( − ) ( ) + |
∫ |
− ∫ |
||||
Ω̃ |
|
|
|
|
|
̃0 |
̃0 |
|
= |
|
= |
|
|||
|
|
∫ |
∫ |
|
|
|
|
|
|
|
Ω |
|
|
42
Упражнение : Пусть - компакт в R = ( ) (∞)(R ): = 0; ( ) > 0, / .
(Прямая) теорема о среднем. - обл в R ; (2)( ); = 0 в = = верна формула среднего:
|
|
= ( , ) |
|
( ) = | | |
|
∫ |
( ) ( ) |
||||||
|
|
|
|
|
|
|
|
1 |
| − |= |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|||
(2) |
|
|
|
|
|
|
(2) |
∫ |
|
∫ |
∂ |
|
|
Лемма. ( |
|
), |
- огр., |
|
= = |
∂ |
|
||||||
|
|
|
|
|
|
|
|
Ω |
|
|
|
|
|
Доказательство. |
· = − ∫ |
+ ∫ |
|
|
|
|
|||||||
|
|
∫ |
∂ |
|
:= 1 |
||||||||
|
|
|
|
|
|
|
|
|
|
∂ |
|
||
|
|
Ω |
|
|
Ω |
|
|
|
|
|
|
Доказательство. (Теоремы). Формула интегрирования представляется в , (2)( ).
( ) = |
∫ |
( − ) · ∂ ( ) ( ) − ∫ |
∂ ( − ) · ( ) ( ) |
|
|
|
|
∂ |
∂ |
- центр шара | − | =
( ) ∫ |
∂ |
= ( ) ∫ |
0 |
|
|
∂ |
|
|
|
|
|
|
|
|
∂ |
∂ |
∂ |
(| 1 |
| ( − 2) −2 ) |
|
− | 1 |
| −1 |
|
− |
| | |
||||||
∂ |
= |
∂ ( ) |
= |
∂ |
|
|
1 |
|
= |
1 1 |
|
= |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Обратная теорема о среднем. Если для любого |
шара |
верно |
условие среднего, то |
|||||||||||||
0(∞)( ); = 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пусть знаем ( ) = - значения на границе. Хотим узнать значение в какой-то точке
внутри области.
Метод случайных блужданий по сферам: Берем точку , случано на сферу вокруг нее бросаем новую точку. Значение в последней точке будет такое же, поскольку точку берем случайно, а на внутренней – среднее по сфере значение, на внешней – с некой вероятностью. Далее повторяем, пока не выйдем в окрестность границы, значение на которой знаем. Процесс сходится, и это проще, чем решать огромные системы уравнений.
Запускаем несколько раз и берем среднее от полученных значений.
43