15.

Гармонические функции
Определение 15.1. Функция u ∈ C 2 (Ω) называется гармонической в области
Ω ⊂ Rn , если
∆u = 0 в Ω.
В теории гармонических функций важную роль играют функции


 1
 ln |x|, n = 2,
2π
En (x) = (15.1)

 1
− |x|2−n , n ≥ 3,
(n − 2)|S1 |
где |S1 | — (n − 1)-мерный объем единичной сферы в Rn .
Упражнение 15.1. Покажите, что
∆En = 0 в Rn \ {0}.
Теорема 15.1. Пусть φ ∈ C 2 (Ω), где Ω — ограниченная кусочно гладкая об-
ласть в Rn . Тогда
Z Z
∂En
φ(y) = En (x − y)∆φ(x) dx + (x − y)φ(x) dS
∂Ω ∂ν
Ω
Z
∂φ
− En (x − y) (x) dS (15.2)
∂Ω ∂ν
для любого y ∈ Ω, где ν — единичный вектор внешней нормали к ∂Ω, а dS —
элемент (n − 1)-мерного объема ∂Ω.
Доказательство. Можно, очевидно, ограничиться случаем y = 0. Общий слу-
чай получается из него простой заменой координат. Так как En имеет сумми-
руемую особенность в нуле, справедливо соотношение
Z Z
En ∆φ dx = lim En ∆φ dx. (15.3)
Ω r→+0 Ω\Br

Интегрируя по частям получим,

Z Z Xn Z Xn
∂φ ∂En ∂φ
En ∆φ dx = En cos(xi , ν) dS − dx,
Ω\Br ∂(Ω\Br ) i=1
∂xi Ω\Br i=1 ∂xi ∂xi

где ν = (cos(x1 , ν), cos(x2 , ν), . . . , cos(xn , ν)) — вектор единичной нормали к
∂(Ω \ Br ), внешней по отношению к области Ω \ B r , откуда ввиду того, что
∂φ X ∂φ
n
= cos(xi , ν),
∂ν i=1
∂xi
следует равенство
Z Z Z Xn
∂φ ∂En ∂φ
En ∆φ dx = En dS − dx.
Ω\Br ∂(Ω\Br ) ∂ν Ω\Br i=1 ∂xi ∂xi
1
2

Аналогично,
Z Xn Z Z
∂En ∂φ ∂En
dx = φ dS − ∆En φ dx.
Ω\Br i=1 ∂xi ∂xi ∂(Ω\Br ) ∂ν Ω\Br

Тем самым, объединяя последние две формулы, приходим к выводу, что

Z Z Z Z
∂φ ∂φ ∂En
En ∆φ dx = En dS + En dS − φ dS
Ω\Br ∂Ω ∂ν Sr ∂ν ∂Ω ∂ν
Z Z
∂En
− φ dS + ∆En φ dx. (15.4)
Sr ∂ν Ω\Br

Имеем Z  Z  
 ∂φ   ∂φ 
 E dS ≤ E   dS ≤ const rn−1 En | ,
 n
∂ν  n  ∂ν  Sr
Sr Sr
где const > 0 не зависит от r, откуда следует, что второй интеграл в правой
части (15.4) стремится к нулю при r → ∞.
Из определения En , очевидно, вытекает равенство

∂En  1
 =− ,
∂ν Sr |Sr |
где |Sr | — (n − 1)-мерный объем сферы радиуса r в Rn , поэтому
Z Z
∂En 1
φ dS = − φ dS.
Sr ∂ν |Sr | Sr
Имеем также Z Z
1 1
φ dS = φ(0) + (φ(x) − φ(0)) dS,
|Sr | Sr |Sr | Sr
где
 Z 
 1 
 (φ(x) − φ(0)) dS  ≤ sup |φ(x) − φ(0)| → 0 при r → +0,
 |Sr |  x∈S
Sr r

поэтому для четвертого интеграла в правой части (15.4) справедливо соотно-

шение Z
∂En
lim φ dS = −φ(0).
r→+0 S ∂ν
r

Заметим, наконец, что последний интеграл в правой части (15.4) равен нулю
(см. упражнение 15.1). Таким образом, принимая во внимание (15.3), получим
Z Z Z
∂En ∂φ
φ(0) = En ∆φ dx + φ dS − En (x) dS.
Ω ∂Ω ∂ν ∂Ω ∂ν
Доказательство завершено. □