§ 8. Изолированные особые точки

В этом параграфе мы уделим внимание особым точкам гармонических функций. При этом следует рассмотреть два случая. В первом случае гармоническая функция ограничена в окрестности особой точки, во втором – не ограничена. Ко второму случаю относится знакомая нам точка – для плоскости и – для трехмерного пространства.

Докажем теорему, согласно которой первый случай не может иметь место.

Т е о р е м а. Если гармоничная функция u(M) является ограниченной внутри области S, за исключением точки Р, то можно определить значение функции и в точке Р так, чтобы u(M) была гармонична всюду внутри области S.

Мы докажем эту теорему для плоского случая. Возьмем круг К_ε радиуса ε с центром в точке Р, целиком лежащий в внутри области S, и рассмотрим внутри этого круга гармоническую функцию v, совпадающую на его границе (окружности С_ε) с функцией и. После этого составим разность , которая

1) гармонична всюду внутри К_ε , кроме точки Р, в которой w не определена,

2) непрерывно примыкает к нулевым граничным условиям на С_ε ,

3) ограничена в замкнутой области , так, что .

¹⁾ Доказательство единственности при более общих предположениях было дано М.В.Келдышем и М.А.Лаврентьевым (ДАН СССР, т. IV, 1937); см. также В.И.Смирнов [ ].

Построим неотрицательную гармоническую функцию следующим образом

где ε – произвольное положительное число, а r – расстояние от рассматриваемой точки до точки разрыва Р.

Теперь построим круг К _δ с центром в точке Р, выбрав его радиус δ так, чтобы на его границе значение U превосходило А, и рассмотрим область К_ε – К_δ. Обратимся к функции w. Она непрерывна в замкнутой области и на границе этой области выполняется неравенство . В силу принципа максимального значения неотрицательная функция U является мажорантой функции w

для

Фиксируя далее точку М области К_ε , не совпадающую с точкой Р, и осуществляя предельный переход при , получим

Следовательно, всюду, за исключением, может быть, точки Р, .

Таким образом, функция и всюду в области S, за исключением точки Р, совпадает с функцией v. Полагая теперь , мы получим функцию и, тождественно равную функции w, гармоничную всюду внутри области S, что и доказывает теорему.

Аналогично проводится доказательство этой теоремы и для трехмерного случая с тем отличием. Что в качестве мажорантной функции будет выступать функция

При доказательстве этой теоремы мы предполагали, что функция и ограничена в окрестности точки Р. Однако те же рассуждения остаются в силе, если предположить, что функция и в окрестности точки Р удовлетворяет неравенству

, (72)

где α(r) – произвольная функция, стремящаяся к нулю при . Иначе говоря, функция и в окрестности точки Р растет медленнее, чем log(1/r _PM) .

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

Если функция и (М ) является гармонической функцией внутри области S, за исключением точки Р, в окрестности которой она растет медленнее, чем log(1/r _PM) при М→Р, то эта функция является ограниченной в окрестности точки Р, и можно так определить значение u (Р ), что функция и будет гармонической во всей области S.

Аналогично, для случая трех переменных, можно доказать сформулированное утверждение следующим образом.

Если гармоническая функция и(М ) в окрестности изолированной особой точки Р растет медленнее, чем 1/r, т.е.

при ε (r)→0, r→0 , (73)

то она гармонична в окрестности этой точки, и можно так определить значение u(Р),

чтобы функция и (М ) была гармонична и в самой точке Р.