Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
matphys_tex.pdf
Скачиваний:
147
Добавлен:
16.04.2015
Размер:
932.96 Кб
Скачать

Глава 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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]