Глава:Уравнения эллиптического типа.

Лекции:15,17,19,22
Лекция №15. Гармонические функции. Интегральное
представление гармонической функции.

Определение 1. Функция U ( x1 ,..., xn ) называется гармонической в ограниченной

области D, если она удовлетворяет следующим условиям:
1) имеет непрерывные частные производные второго порядка по всем
переменным.
2) удовлетворяет уравнению Лапласа в рассматриваемой области
n
 2U
( x1 ,..., xn )   0
xi
2
i 1

Определение 2. Функция U  ( x1 ,..., xn ) называется гармонической в

неограниченной области D, если она удовлетворяет условиям:
1) имеет непрерывные частные производные второго порядка по всем
переменным.
2) удовлетворяет уравнению Лапласа в рассматриваемой области
n
 2U
( x2 ,...,xn )   0
i 1 xi
2

C
x  x1  ...  xn
2 2
3) U  n 2 , где , C=const.
x

Рассмотрим функцию 𝑓 𝑧 комплексного переменного z:

f ( z)  U  iV  z  x  iy
Имеет место следующая теорема:
Теорема: Действительная и мнимая части аналитической функции комплексного
переменного являются гармоническими функциями.
Доказательство: Как известно из ТФКП, если функция аналитична, то для нее
 U V
 x  y
выполняется условие Коши-Римана: 
 U   V
 y x
  
Продифференцируем первое из них по , а второе по и результаты сложим:
x y

  2U  2V
 2 
 x xy
 2
 U    V
2

 y 2 xy

 2U  2U
 0
x 2 y 2
Получим, что 𝑈 𝑥, 𝑦 удовлетворяет уравнению Лапласа, а значит является

гармонической в ограниченной области. И наоборот, первое по , а второе по
y

и вычтем результаты
x
𝜕2 𝑈 𝜕2 𝑉
=
𝜕𝑥𝜕𝑦 𝜕𝑦 2
−
𝜕2 𝑈 𝜕2 𝑉
=− 2
𝜕𝑥𝜕𝑦 𝜕𝑥
𝜕2 𝑉 𝜕2 𝑉
0= 2+ 2
𝜕𝑥 𝜕𝑦
Получим, что 𝑉 𝑥, 𝑦 удовлетворяет уравнению Лапласа, а значит является
гармонической в ограниченной области. Теорема доказана.

Вывод формул Грина.

Рассмотрим некоторую конечную область D с гладкой границей  в трехмерном
пространстве. И пусть функции P, Q, R являются непрерывными в области
( D  ) и непрерывно дифференцируемыми в области D функциями.

Тогда имеет место следующая формула Остроградского:

 P Q R ^
 (   )dxdydz   ( P cos  Q cos   R cos )d (1), где   (nx) ,
x y z
D 
 
  (ny ) ,   (nz ) , а n - внешняя нормаль к рассматриваемой области в
рассмотренной точке (x,y,z).

Рассмотрим функции 𝑈 𝑥, 𝑦, 𝑧 , 𝑉 𝑥, 𝑦, 𝑧 , которые являются непрерывными и

непрерывно дифференцируемыми в области ( D  ) , а также имеет
непрерывную вторую производную в область D.

 V
 P  U
x

 V
Определим функции P, Q, R следующим образом: Q  U (2)
 y
 V
R  U
 z
Учтем выражение (2) в формуле (1). Тогда получим:

 V  V  V 
  x x y y z z )dxdydz 
 (U )  (U )  (U

U V  2V U V  2V U V  2V
  (  U 2   U 2    U 2 )dxdydz 
D
x x  x y y  y z z z
D
  2V  2V  2V U V U V U V 
  U ( 2  2  2 )  (      ) dxdydz
 x y  z x x y y z z 
Тогда мы можем записать на основании формулы (1), что

V U V U V U V
 UVdxdydz   U n d   ( x  x  
y y
 
z z
)dxdydz (3)
D  D

Так как производная по нормали от функции V имеет следующий вид:

V V V V
 cos  cos   cos (*)
n x y z
то на основании формулы (1) можем получить (3).

 U
 P  V x

 U
Сделаем то же самое для функции P, Q, R следующим образом: Q  V (2′)
 y
 U
R  V
 z
Учтем (2′) в формуле (1) и получим:

U V U V U V U
 VUdxdydz   V n
d   (
x

x

y

y

z

z
)dxdydz (3′).
D  D

Отметим, что формулы (3) и (3′) называются формулой Грина.

Возьмем разницу (3) и (3′) и получим:

V U
 (UV  VU )dxdydz   (U n
V
n
)d (4) – вторая формула Грина.
D 

Замечание: В двумерном пространстве, (4) для области B с гладкой границей S

запишется следующим образом:

V U
 (UV  VU )dxdy   (U n
V
n
)ds ,
B S

где S – площадь единичной поверхности.

Оператор Лапласа в трехмерном пространстве.

В трехмерном пространстве оператор Лапласа имеет следующий вид:

𝜕2 𝑈 𝜕2 𝑈 𝜕2 𝑈
∆𝑈 𝑥, 𝑦, 𝑧 = + + =0 1 ,
𝜕𝑥 2 𝜕𝑦 2 𝜕𝑧 2
где x, y, z – пространственные координаты в декартовой системе.
Рассмотрим некоторую область D, которая является внешней (или внутренней) по
отношению к некоторой достаточно гладкой поверхности S. И пусть точка
N ( , , )  D является подвижной в области D и точка M ( x, y, z )  D является
фиксированной точкой, функция 𝑈 𝑀, 𝑁 является дважды непрерывно
дифференцируемой в любой точке области D и удовлетворяет уравнению
Лапласа в этой области.
Тогда очевидно, что эта функция будет гармонической в области D. Обозначим
через r  MN расстояние от точки M до точки N и в качестве функции U(M,N)
рассмотрим функцию

1 1
U ( MN )  U   (2).
r (  x) 2  (  y ) 2  (  z ) 2
Заметим, что функция (2) является простейшей (элементарной) функцией,
удовлетворяющей всем перечисленным выше условиям во всех точках области
D, за исключением точки ( , , ) .
Действительно, рассмотрим
′

𝜕𝑈 1
=
𝜕 2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2

3
1 2 2 2
−
2
=−  −𝑥 +  −𝑦 + 𝜑−𝑧 ×2  −𝑥
2
 −𝑥
=−
2 2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2

3 1
3
((  x)  (  y )  ( 
2
 ((  x) 2  (  y ) 2  (  z ) 2 ) 2  2(  x) 2
2 2 2
z) )
U
2
2
 
 2
((  x)  (  y ) 2  (  z ) 2 ) 3
2

3
((  x)  (  y )  ( 
2 2
 3((  x) 2  (  y ) 2  (  z ) 2 )(  x) 2
2 2
z) )
 
((  x) 2  (  y ) 2  (  z ) 2 ) 3
1
1 3((  x)  (  y )  ( 
2 2
 (  x) 2
2 2
z) )
 
3
((  x) 2  (  y ) 2  (  z ) 2 ) 3
((  x)  (  y )  ( 
2 2 2 2
z) )

𝜕2 𝑈 1
=− 3
𝜕 2 2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2 2

1
2 2 2 2 2
3  −𝑥 +  −𝑦 + 𝜑−𝑧 ×  −𝑦
− 3
2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2

𝜕2 𝑈 1
== − 3
𝜕𝜑 2 2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2 2

1
2 2 2 2 2
3  −𝑥 +  −𝑦 + 𝜑−𝑧 × 𝜑−𝑧
− 3
2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2
Тогда, если все это сложим:

𝜕2 𝑈 𝜕2 𝑈 𝜕2 𝑈
2 + 𝜕  2 + 𝜕𝜑 2
𝜕
3
=− 3
2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2 2

1
2 2 2 2 2 2 2
3  −𝑥 +  −𝑦 + 𝜑−𝑧 ×  −𝑥 +  −𝑦 + 𝜑−𝑧
+ 3
2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2

3 3
=− 3+ 3
2 2 2 2
 −𝑥 +  −𝑦 + 𝜑−𝑧 2 2  −𝑥 +  −𝑦 + 𝜑−𝑧 2 2

=0
Определение: Пусть  ( N , M ) является гармонической функцией по обеим
1 1
координатам N и M, тогда функция h  (  ( N , M )) (3) называется
4 r
фундаментальным решением уравнения Лапласа в области D трехмерного
пространства.
Пусть n=2 (т.е. дано двумерное пространство). Оператор Лапласа в двумерном
пространстве имеет следующий вид:

 2U  2U
U ( x, y )  2  2  0 (1).
x y
Рассмотрим точку N ( , )  D - подвижная точка области D, M ( x, y)  D -
1
фиксированная точка. Пусть r  MN . Покажем, что функция ln , где
r
r  (  x) 2  (  y) 2 является простейшей гармонической функцией в
двумерном пространстве. То есть покажем, что
𝜕2 𝑈 𝜕2 𝑈
2 + 𝜕 2 = 0
𝜕
1 1
U  ln 
r (  x) 2  (  y ) 2
 1 ′
𝜕𝑈 2 2 2 −
2 2
=  −𝑥 +  −𝑦 ×  −𝑥 +  −𝑦
𝜕

1 3
2 2 2 1 2 2 −2
=  −𝑥 +  −𝑦 × −  −𝑥 +  −𝑦
2
 −𝑥
×2  −𝑥 =− 2 2
 −𝑥 +  −𝑦

 2U  x  (  x) 2  (  y ) 2  (  x)2(  x)
  2
  
 2  (  x)  (  y ) 
2
(  x) 2  (  y ) 2
 (  x) 2  (  y ) 2

(  x) 2  (  y ) 2

 2U (  y ) 2  (  x) 2  2U  2U
  2  0
 2 (  x) 2  (  y) 2   2
Определение: Пусть функция  ( N , M ) является гармонической в области D,
1  1 
тогда функция h 
2 ln r   ( N , M ) (4) называется фундаментальным
решением уравнения Лапласа в двумерном пространстве.
Интегральное представление гармонической функции.
Дано трехмерное пространство (n=3). Рассмотрим область D трехмерного
пространства с достаточно гладкой границей S и пусть функция 𝑈(𝑥, 𝑦, 𝑧) будет:
1. Непрерывна в области D.
2. Имеет непрерывную производную первого порядка вплоть до границы S.
3. Имеет непрерывную производную второго порядка в области D.

Тогда имеет место следующее интегральное представление функции 𝑈(𝑥, 𝑦, 𝑧):

1 1 𝜕𝑈 𝜕 1 ∆𝑈
𝑈 𝑥0 , 𝑦0 , 𝑧0 = −𝑈 𝑑𝑠 − 𝑑𝜏 5 ,
4𝜋 𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝑟
𝑆 𝐷

𝑟= (𝑥 − 𝑥0 )2 + (𝑦 − 𝑦0 )2 + (𝑧 − 𝑧0 )2 , где 𝑟 − расстояние между подвижной

и фиксированной точками 𝑀(𝑥0 , 𝑦0 , 𝑧0 ) ∈ 𝐷, 𝑁 𝑥, 𝑦, 𝑧 , а 𝑛- внешняя нормаль к
поверхности S.

Рассмотрим область D с границей S и предположим, что функция 𝑈(𝑥, 𝑦, 𝑧)

дважды непрерывно дифференцируема вплоть до границы S.
1
Также введѐм в рассмотрение любую функцию 𝑉 =
, которая определена
𝑟
везде, кроме точки 𝑀(𝑥0 , 𝑦0 , 𝑧0 ). Поэтому введѐм в рассмотрение область
𝐷𝜌 = 𝐷\𝑆𝜌 (𝑀0 ) , где 𝑆𝜌 𝑀0 − сфера с центром в точке 𝑀0 и достаточно малым
радиусом 𝜌. И пусть 𝜍𝜌 - поверхность этой сферы. Тогда в области 𝐷𝜌 можно
воспользоваться второй формулой Грина:

1 1 𝜕𝑈 𝜕 1
∆𝑈𝑑𝜏 = −𝑈 𝑑𝑠,
𝑟 𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝐷𝜌 𝑆

где 𝑛 − внешняя нормаль границы области

1 1 𝜕𝑈 𝜕 1 1 𝜕𝑈 𝜕 1
∆𝑈𝑑𝜏 = −𝑈 𝑑𝑠 + − −𝑈 𝑑𝑠 6
𝐷𝜌 𝑟 𝑆 𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝜍𝜌 𝑟 𝜕𝑛 𝜕𝑛 𝑟

Очевидно, что при ρ→0 , область 𝐷𝜌 стремится к области D (𝐷𝜌 → 𝐷 ). Посчитаем

вначале второй интеграл. Отметим, что на поверхности 𝐺𝜌 направление внешней
нормали противоположно направлению радиуса ρ. Тогда:
𝜕 1 𝜕 1 1 1
|𝐺𝜌 = − |𝐺𝜌 = − 2 |𝑟=𝜌 = − 2
𝜕𝑛 𝑟 𝜕𝑟 𝑟 𝑟 𝜌
Т.к. функция 𝑈 непрерывна в области 𝐷𝜌 , то получим:

𝜕 1 1 1
𝑈 𝑑𝑠 = 2 𝑈𝑑𝑠 = 2
𝑈 𝑀𝜌 4𝜋𝜌2 = 4𝜋𝑈 𝑀𝜌 ,
𝜕𝑛 𝑟 𝜌 𝜌
𝜍𝜌 𝜍𝜌
где 𝑀𝜌 ∈ 𝐺𝜌 . Очевидно, что 𝑀𝜌 𝑀 , тогда 4𝜋𝑈 𝑀𝜌 4𝜋𝑈(𝑀0 )
𝜌→0 0 𝜌→0

Т.к. функция 𝑈 непрерывно-дифференцируема в области D вплоть до границы S,

то эта производная ограничена в области 𝐷 (замкнутая). Это означает, что
𝜕𝑈
существует такая константа К, что < 𝐾:
𝜕𝑛

1 𝜕𝑈 𝑘 𝑘
𝑑𝑠 ≤ 𝑑𝑠 = 4𝜋𝜌2 = 4𝜋𝐾𝜌𝜌→0 0
𝑟 𝜕𝑛 𝜌 𝜌
𝜍𝜌 𝜍𝜌

Тогда в формуле (6) получим:

1 1 𝜕𝑈 𝜕 1
∆𝑈𝑑𝜏 = −𝑈 𝑑𝑠 − 4𝜋𝑈 𝑥0 , 𝑦0 , 𝑧0 (7)
𝑟 𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝐷𝜌 𝑆

Формула (7) - основная интегральная формула для достаточно гладких функций.

Рассмотрим случай, когда точка 𝑀0 лежит вне области 𝐷. Тогда в этом случае
1
функция 𝑣 = будет непрерывна и гармонична внутри области.
𝑟
Тогда формула (7) перепишется в виде:

1 𝜕𝑈 𝜕 1 1
−𝑈 𝑑𝑠 − ∆𝑈𝑑𝜏 = 0 (7′)
𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝑟
𝑆 𝐷

И в заключении рассмотрим случай, когда точка лежит на границе области D.

Посмотрим сферу 𝑆𝜌 , которая разделит границу S на 2 части: внутри сферы 𝑆1 ,

𝑆2 во внешней области этой сферы. И применим вторую формулу Грина в области
D.
𝐷𝜌 = 𝐷 𝑆 (𝑀 )
𝜌 0

Повторим все предыдущие рассуждения и заменив интегрирование не по всей

сфере 𝑆𝜌 , а только по половине (т.е. по полусфере). Мы получим следующий
аналог формулы (7):

1 1 𝜕𝑈 𝜕 1
∆𝑈𝑑𝜏 = −𝑈 𝑑𝑠 − 2𝜋𝑈 𝑥0 , 𝑦0 , 𝑧0 (72 )
𝑟 𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝐷𝜌 𝑆

Таким образом нами доказана следующая формула, дающая интегральное

представление гладких функций:

1 𝜕𝑈 𝜕 1 1 4𝜋, 𝑀0 ∈ 𝐷
−𝑈 𝑑𝑠 − ∆𝑈𝑑𝜏 = 𝑈(𝑀0 ) 2𝜋, 𝑀0 ∈ 𝑆
𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝑟 0, 𝑀0 ∉ 𝐷 ∪ 𝑆
𝑆 𝐷

Замечание: По аналогии с указанной формулой можно дать представление

достаточно гладкой функции в двумерном пространстве (n=2):

1 𝜕𝑈 𝜕 1 1 2𝜋, 𝑀0 ∈ 𝐵
𝑙𝑛 −𝑈 𝑙𝑛 𝑑𝑐 − ∆𝑈𝑙𝑛 𝑑𝑠 = 𝑈(𝑀0 ) 𝜋, 𝑀0 ∈ 𝐶 8
𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝑟 0, 𝑀0 ∉ 𝐵 ∪ 𝐶
𝐶 𝐵
Свойства гармонических функций в ограниченной области.
Рассмотрим ограниченную область D с границей S в трѐхмерном пространстве.
1
Как известно, функция 𝑉 = является гармонической в этой области.
𝑟
Рассмотрим произвольную гармоническую функцию 𝑈 в этой области. Тогда
воспользовавшись основной интегральной функцией (7), получим:

1 𝜕𝑈 𝜕 1 1 4𝜋, 𝑀0 ∈ 𝐷
−𝑈 𝑑𝑠 − ∆𝑈𝑑𝜏 = 𝑈(𝑀0 ) 2𝜋, 𝑀0 ∈ 𝑆
𝑟 𝜕𝑛 𝜕𝑛 𝑟 𝑟 0, 𝑀0 ∉ 𝐷 ∪ 𝑆
𝑆 𝐷

Таким образом имеем:

Свойство 1: Любая гармоническая в области D функция 𝑈 удовлетворяет

соотношению:

1 𝜕𝑈 𝜕 1
−𝑈 𝑑𝑠 = 4𝜋𝑈 𝑀0 ,
𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝑆
для любой внутренней точки 𝑀0 ∈ 𝐷 (n=3).

1 𝜕𝑈 𝜕 1
[ 𝑙𝑛 −𝑈 𝑙𝑛 𝑑𝑐 = 2𝜋𝑈 𝑀0 , для ∀𝑀0 ∈ 𝐵 (n = 2)
𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝐶

Из полученных выражений следует:

Свойство 2: Пусть функция 𝑈 гармонична в области D, а функция 𝑉 ≡ 1 .

Тогда на основании второй формулы Грина имеем:

𝜕𝑈
𝑑𝑠 = 0 2
𝜕𝑛
𝑆

Свойство 3: Рассмотрим функцию 𝑈, которая гармонична в области D:

𝑈 = 𝑈2 , 𝑉 ≡ 1.
Тогда по второй формуле Грина будем иметь:

2 2 2
𝜕𝑈 𝜕𝑈 𝜕𝑈 𝜕𝑈
+ + 𝑑𝜏 = 𝑈 𝑑𝑠 3
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑛
𝐷 𝑆

Доказательство: В самом деле, если 𝑈 = 𝑈 2 , тогда

2
𝜕𝑈 𝜕𝑈 𝜕2 𝑈 𝜕𝑈 𝜕2 𝑈
= 2𝑈 , = 2 + 2𝑈 2
𝜕𝑥 𝜕𝑥 𝜕𝑥 2 𝜕𝑥 𝜕𝑥

Сделав тоже самое для

 𝜕2 𝑈 𝜕2 𝑈
, ⇒
𝜕𝑦 2 𝜕𝑧 2
Тогда оператор Лапласа:
2 2 2
𝜕𝑈 𝜕𝑈 𝜕𝑈 𝜕2 𝑈 𝜕2 𝑈 𝜕2 𝑈
∆𝑈 𝑥, 𝑦, 𝑧 = 2 + + + 2𝑈 + +
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑥 2 𝜕𝑦 2 𝜕𝑧 2
И тогда по второй формуле Грина получим:
2 2 2
𝜕𝑈 𝜕𝑈 𝜕𝑈
𝑈∆𝑉 − 𝑉∆𝑈 𝑑𝜏 = 2 + + 𝑑𝜏 =
𝜕𝑥 𝜕𝑦 𝜕𝑧
𝐷 𝐷

𝜕𝑉 𝜕𝑈
= 𝑈 𝑑𝑠 − 𝑉 𝑑𝑠 ⇒
𝜕𝑛 𝜕𝑛
𝑆 𝑆

2 2 2
𝜕𝑈 𝜕𝑈 𝜕𝑈 𝜕𝑈
2 + + 𝑑𝜏 = 2𝑈 𝑑𝑠
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑛
𝑆

Что и требовалось доказать.

Свойство 𝟒 (свойство единственности гармонической функции):
Теорема 𝟏: Гармоническая функция, принимающая заданные значения на
границе области единственна.
Доказательство: Допустим противоположное.

Пусть существуют 2 гармонические различные функции, принимающие заданные

значения на границе 𝑆 области 𝐷 .
𝑈1 ≠ 𝑈2 , 𝑈1 𝑠 = 𝑈2 𝑠

Введем в рассмотрение функцию 𝑈3 , которая представляется в виде:

𝑈3 = 𝑈1 × 𝑈2 , 𝑈3 𝑠 =0
Тогда на основании свойства 3 имеем:

2 2 2
𝜕𝑈3 𝜕𝑈3 𝜕𝑈3 𝜕𝑈3
+ + 𝑑𝜏 = 𝑈3 𝑑𝑠 = 0
𝜕𝑥 𝜕𝑦 𝜕𝑧 𝜕𝑛
𝐷 𝑆

Тогда получим, что этот интеграл тождественно равен нулю.

Т.к. на границе 𝑆 функция 𝑈3 равна нулю, то 𝑈1 ≡ 𝑈2 . Теорема доказана.

На основании этого свойства мы заключаем, что гармоническая функция
полностью определяется своими значениями на границе области.
Свойство 𝟓:

Теорема 𝟐: Значение нормальной производной гармонической функции по

поверхности 𝑆. определяют эту функцию с точностью до постоянной.

Доказательство: Пусть существуют 2 гармонические функции 𝑈1 и 𝑈2 ,

нормальные производные которых принимают одно и тоже значение на
поверхности 𝑆 некоторой области 𝐷 .
𝑈1 ≠ 𝑈2
𝜕𝑈1 𝜕𝑈2
=
𝜕𝑛 𝑆 𝜕𝑛 𝑆

Тогда введем в рассмотрение функцию

𝑈3 = 𝑈1 − 𝑈2 
𝜕𝑈3
= 0
𝜕𝑛 𝑆

𝜕𝑈3
𝑑𝑛 = 0𝑑𝑛 
𝜕𝑛
𝑈3 = 𝐶 
𝑈1 − 𝑈2 = 𝐶, 𝑈1 = 𝑈2 + 𝐶
Теорема доказана.
Лекция №17 Теорема о среднем для гармонических функций.
Принцип максимума
Свойство 𝟔:
Теорема 𝟑 (теорема о среднем значении):

Пусть функция 𝑈 гармонична в некоторой сфере G , тогда ее значение в центре

этой сферы в точке 𝑀(𝑥, 𝑦, 𝑧) равно

1
𝑈 𝑥, 𝑦, 𝑧 = 𝑈𝑑𝑠 (4)
4𝜋𝑅2
𝑆

Доказательство: На основании основной интегральной формулы для

гармонических функций имеем:

1 1 𝜕𝑈 𝜕 1
𝑈 𝑥, 𝑦, 𝑧 = −𝑈 𝑑𝑠 (5)
4𝜋 𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝑆

Где 𝑆- поверхность сферы, 𝑟 = 𝑅 - радиус сферы

Тогда
𝜕 1 𝜕 1 1
= =−
𝜕𝑛 𝑟 𝜕𝑟 𝑟 𝑟=𝑅 𝑅2
𝜕𝑈
С другой стороны
𝑆 𝜕𝑛
𝑑𝑠 = 0 по свойству гармонических функций получим,
что

1 𝜕𝑈 1 𝜕𝑈
𝑑𝑠 = 𝑑𝑠 = 0,
𝑟 𝜕𝑛 𝑅 𝜕𝑛
𝑆 𝑆
и в формуле (5) получим:

1 1 𝜕𝑈 𝜕 1 1
𝑈 𝑥, 𝑦, 𝑧 = −𝑈 𝑑𝑠 = 𝑈𝑑𝑠
4𝜋 𝑟 𝜕𝑛 𝜕𝑛 𝑟 4𝜋𝑅2
𝑆 𝑆

Теорема доказана.
Замечание: Обратная теорема также верна. Если в центре сферы, функция
𝑈(𝑥, 𝑦, 𝑧) имеет такое выражение (4), то она является гармонической внутри
этой сферы.
Свойство 𝟕:

Теорема 𝟒 (о значении гармонических функций на границе области):

Гармоническая функция достигает своего максимального и минимального
значения на границе области.
Доказательство: Рассмотрим некоторую область 𝐷 с границей 𝑆 и предположим
противное.

Пусть гармоническая функция 𝑈(𝑥) принимает свое максимальное значение во

внутренней точке 𝑀0 ∈ 𝐷 и пусть 𝑈 𝑀0 = 𝑈0 = max𝑥∈𝐷 𝑈(𝑥).

Построим некоторую сферу радиуса 𝑅 и с центром в точке 𝑀0 . Тогда функция 𝑈

на границе 𝜍 этой сферы принимает некоторое значение 𝑈1 , которое меньше чем
значение 𝑈0 .
Проинтегрируем эти значения по поверхности

𝑈1 𝑑𝑠 < 𝑈0 𝑑𝑠
𝜍 𝜍

По теореме о среднем значении получим:

1
𝑈1 𝑑𝑠 < 𝑈0 ,
4𝜋𝑅2
𝜍
что противоречит формуле 4 , а значит и предположению о том, что она
достигает своего экстримального значения внутри области. Теорема доказана.
Лекция №22 Теорема Лиувилля
Свойство 𝟖:
Теорема 𝟓 (теорема Лиувилля):
Если гармоническая функция принимает свое максимальное (минимальное)
значение во внутренней точке области, то эта функция тождественно равна
постоянной.

Доказательство: Рассмотрим область 𝐷 и пусть во внутренней точке этой области

𝐵 в точке 𝑀0 достигает максимального линейного значения. Предположим, что 𝐷
связная область и рассмотрим другую точку 𝑀 0 и пусть 𝐿 = 𝑀0 𝑀 0 - некоторая
ломаная, которая соединяет эти точки.

Построим сферу с центром в точке 𝑀0 и достаточно малым радиусом 𝜌0 и

обозначим пересечение этой сферы с 𝐿 как 𝑀1 .

𝜍 𝑀0 , 𝜌0 ∩ 𝐿 = 𝑀1
На основании принципа максимального значения для гармонических функций,
мы имеем:

𝑈 = 𝑈 𝑀0
Строим сферу 𝜍1 с центром в точке 𝑀1 .
На основании принципа максимального значения для гармонических функций
имеем:

𝑈 𝑀0 = 𝑈1 = 𝑈(𝑀2 )
Продолжим этот процесс и через конечное число шагов 𝑛 мы достигнем центра
𝑀0 некоторой сферы 𝜍𝑛 с достаточно малым радиусом 𝜌𝑛 и точкой 𝑀𝑛 как
𝜍(𝑀0 , 𝜌𝑛 ) ∩ 𝐿 и для всех полученных точек будет иметь место следующее
равенство:

𝑈 𝑀0 = 𝑈1 = 𝑈 𝑀2 = ⋯ = 𝑈 𝑀𝑛 = 𝑈(𝑀 0 )
Отсюда делаем вывод, что значение гармонической функции есть одно и тоже
значение, т.е. равно постоянной. Теорема доказана.
Лекция №19 Теоремы Гарнака
Свойство 𝟗:
Теорема 𝟔 (теорема Гарнака):

Теорема 𝟏: Пусть последовательность 𝑈𝑛 (𝑥) представляет собой функции,

гармонические в области 𝐷 с кусочно непрерывной границей 𝑆 и пусть эти
функции непрерывны в замкнутой области 𝐷 = 𝐷  𝑆 и равномерно сходятся на
границе 𝑆 к функции 𝑈 𝑥 :
𝑈𝑛 (𝑥) → 𝑈(𝑥)
→
𝑆

Тогда:

1. 𝑈𝑛 (𝑥) → 𝑈(𝑥) сходится равномерно в области 𝐷;

→
𝐷

2. Предельная функция 𝑈(𝑥) является гармонической в области 𝐷 ;

𝑖
3. Последовательность 𝑈𝑛 (𝑥) , состоящая из производных этих функций,
𝑖
сходится равномерно 𝑈𝑛 (𝑥) 𝑈 𝑖 (𝑥) в любой подобласти 𝐷′ области𝐷.
𝐷′ 𝐷

Теорема 𝟐: Пусть последовательность функций 𝑈𝑛 (𝑥) состоит из гармонических

функций в конечной области 𝐷 с кусочно гладкой границей 𝑆 и пусть эта
последовательность
𝑈𝑛 (𝑥) 𝐿𝜌 (𝐷) → 𝑈(𝑥)
функции 𝑈(𝑥), где 1 < 𝜌 < ∞ . Тогда:

1. Предельная функция 𝑈(𝑥) является гармонической.

𝑖
2. 𝑈𝑛 (𝑥) 𝐿𝜌 (𝐷)
𝑈 𝑖 (𝑥) в ∀ подобласти 𝐷′ области 𝐷.
𝐷′ 𝐷

Теорема 𝟑: Пусть функция 𝑈(𝑥, 𝑦) ≥ 0 является положительно-гармонической в

круге 𝐷 радиуса 𝑅 с центром в точке 𝑥0 , 𝑦0 и непрерывна в замкнутой области
𝐷. Тогда ∀𝜌, 0 ≤ 𝜌 < 𝑅 выполняется следующее неравенство:
𝑅−𝜌 𝑅+𝜌
𝑈 𝑥0 , 𝑦0 ≤ 𝑈 𝑥0 + 𝜌 cos 𝛼 , 𝑦0 + 𝜌 sin 𝛼 ≤ 𝑈 𝑥0 , 𝑦0
𝑅+𝜌 𝑅−𝜌
Эта оценка значений положительной гармонической функции в произвольной
точке сферы через ее значения в центре сферы называется неравенством
Гарнака.
 Свойства гармонических функций для неограниченных областей.
Рассмотрим некоторую область D с достаточно гладкой границей S и рассмотрим
свойства функций, которые являются гармоническими во внешней области для
области D.
Вначале дадим определение функции гармонической на бесконечности.

D
S
Для этого введем понятие регулярной на бесконечности функции 𝑈 𝑥, 𝑦, 𝑧 .

1) U ( x, y, z) R  0 , где R- расстояние от начала отсчета до рассматриваемой

точки 𝑥, 𝑦, 𝑧 .
U 2 U 2 U
2) Пусть значение функции 𝑅𝑢, R
2
; R ; R являются конечными для
x y z
функции гармонической, произвольной в любой конечной подобласти 𝐷 ′ .

Итак для функции гармонической в любой конечной подобласти D и регулярной

на бесконечности докажем следующие теоремы.

Пусть дана некоторая область D с границей S и пусть точка 𝑀 𝑥, 𝑦, 𝑧 находится

во внешности этой области S ( M ,  ) - сфера,  - поверхность этой сферы.

Обозначим через 1   \ S (M , ) \ D область, где Ω- область внешняя по

отношению к области D.

Тогда по второй формуле Грина, примененная к области 1 , получим:

V U V U
 (UV  VU )d   (U n
V
n
)ds   (U
n
V
n
)ds 
1 S 

V U
  (U V )ds(1)

n n
ds  R 2 sin dd

U 1 U 2
 V n ds   R RV  n
R dd
Оценим интегралы с правой стороны:  
Т.к. функции 𝑈 и V являются регулярными в бесконечно удаленной точке, то их
U
RV  AU , R 2  B значения являются ограниченными по определению
n
регулярной на бесконечности функцией, где A,B=const.
Из последнего неравенства получим, что

U 1 U 2 M
 V n
ds   RV
R n
R dd  0 (2).
R
 
Аналогично оценивается интеграл:
V 1 V 2 M
 U n
ds   RU
R n
R dd  0
R
 
U V
Тогда  (V n
U
n
)ds  0 .

1
Возьмем в качестве U  , а в качестве 𝑉 = 𝑈, которая регулярна на
r
бесконечности, где 𝑟 − расстояние, r  MN , N  ( , , )  1 - подвижная
точка, 𝑀 𝑥, 𝑦, 𝑧 – фиксированная точка.
Устремив r   , мы получим в формуле (1) следующее:

1 𝜕 1 1 𝜕𝑈
𝑈 𝑥, 𝑦, 𝑧 = 𝑈 − 𝑑𝑠 3
4𝜋 𝜕𝑛 𝑟 𝑟 𝜕𝑛
𝑆
На самом деле, рассмотрим

1 𝜕𝑈 𝜕 1
lim −𝑈 𝑑𝑠 = 4𝜋𝑈 𝑥, 𝑦, 𝑡
 →0 𝑟 𝜕𝑛 𝜕𝑛 𝑟
𝜍
− по свойству гармонических функций в конечных областях
И тогда интеграл по границе S:
 V U   V U   V U 
S  n n    n n    n n ds  0
U  V ds  U  V ds  U  V

Таким образом, соотношение (3) доказано и верна следующая теорема:

Теорема 1: Пусть 𝑈 регулярна на бесконечности и гармонична во внешности

некоторой области 𝐷 с границей S и r  MN , где N ( , , ) - подвижная точка
области Ω. Тогда для функции 𝑈 верна формула (3).

Теорема 2: Если функция 𝑈 регулярна на бесконечности, то имеет место

следующая формула:
 U 2 U 2 U 2  U
  x
( )  (
y
)  (
z
) 

d    U
n
ds (4).
1 
Доказательство: Рассмотрим в качестве 𝑈 = 1, а в качестве V  U , функцию,
2

регулярную на бесконечности. Тогда из формулы (1) получим:

U 1 U AB
lim
R   U

n
ds  lim  RU R 2
R 

R n
dd  lim
R  R
0

Получим, что если функции U, V гармоничны и регулярны на бесконечности, тогда

V U
 (U n
V
n
)ds  0 (5).
S
U
Аналогом формулы (5) в двумерной области будет:  n ds  0 .
S
Теорема 3(свойство единственности гармонической функции в неограниченных
областях):
Пусть 𝑈 является гармонической во внешности некоторой области 𝐷 и равна 0 на
поверхности S этой области (или ее нормальная производная на границе S=0:
U
 0. )
n s
Tогда функция U  0 во всей внешности области 𝐷 .