Принцип максимума для гармонических функций в r3 и его следствия

Теорема. Если функция q(M) является гармонической внутри связной замкнутой ограниченной области V и непрерывной внутри области и на её границе, то наибольшее и наименьшее значения этой функции могут достигаться только на границе области V (за исключением того случая, когда q(M) постоянна всюду в V).

Напомним, что область V называется связной, если любые две внутренние точки этой области можно соединить непрерывной линией, целиком лежащей внутри области.

Поясним смысл этой теоремы. Так как функция q(M) по условию является непрерывной в замкнутой, ограниченной области V, то она ограничена в этой области и достигает в ней наибольшего и наименьшего значений. Где же находится эта точка M₀, в которой функция достигает, например, наибольшего значения? Докажем, что она не может находиться внутри области, следовательно она находится на границе. Доказательство проводится методом от противного.

Пусть функция q(M) достигает своего наибольшего значения в точке M₀, лежащей внутри области V (см. рис. 29.1). Если M₀ является внутренней точкой области, то вокруг M₀ можно описать шар с центром в точке M₀, целиком принадлежащий V. Обозначим радиус этого шара через r. Тогда по третьему свойству гармонической функции, имеет место равенство:

Рис. 29.1

Запишем тождество:

Вычитая почленно эти два равенства, получим:

.

Сокращая на 4pr², имеем:

.

Подынтегральная функция здесь непрерывна и неотрицательна т. к. по условию q(M₀) является наибольшим значением функции в области V. Но интеграл от непрерывной, неотрицательной функции может быть равен нулю в том и только в том случае, когда эта функция тождественно равна нулю в области интегрирования. Итак q(M₀)–q(M)=0 или q(M₀)=q(M) всюду на S_r. А так как все эти вычисления можно применить и к сфере любого радиуса, меньшего чем r, то q(M)=q(M₀) всюду внутри шара радиуса r, т.е. в этом шаре функция q всюду постоянна.

Докажем теперь, что если внутренняя точка M₀ является точкой наибольшего значения в области V, то функция будет постоянной не только в окрестности точки M₀, но и всюду внутри области V.

В

Рис. 29.2

r

озьмём для этого произвольную точку M₁ внутри области V и соединим её с точкой M₀ непрерывной кривой l, лежащей внутри этой области (что можно сделать в силу связности области V (см. рис. 29.2)).

Пусть a>0 – наименьшее расстояние между точками этой кривой и точками границы области V. Опишем вокруг M₀ шар радиуса r, где r – какое-либо число, меньшее, чем a, поэтому он будет лежать внутри области V. По доказанному чуть выше внутри этого шара функция постоянна. Сместим теперь центр шара вдоль по кривой l так, чтобы новый центр не вышел за пределы ранее построенного шара. Тогда и внутри нового шара функция всюду принимает постоянное значение, равное q(M₀). (Это следует из того, что в точке функция принимает наибольшее в области V значение, т.к. .

Перемещая таким образом центр шара всё дальше, совместим его, в конце концов, с точкой M₁. Рассуждая также как и при переходе от точки M₀ к точке , убедимся, что значение функции во всех точках кривой l одно и то же: в частности q(M₁)=q(M₀).

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

Следовательно, если гармоническая функция не постоянна, то она не может достигать наибольшего значения внутри области V. Значит, точка, в которой функция достигает своего наибольшего в области V значения, находится на границе этой области.

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

З

Рис. 29.3

амечание. Частным случаем гармонической функции является линейная функция q=Ax+By+Cz+D. Для неё доказанное свойство совершенно очевидно. Поверхностями уровня для такой функции являются параллельные плоскости: Ax+By+Cz+D= const. Если точка M₀ является внутренней точкой области V, то на плоскостях уровня, лежащих по одну сторону от точки M₀, функция принимает значения, меньшие, чем q(M₀), а на плоскостях, лежащих по другую сторону – большие, чем q(M₀) (см. рис. 29.3). Но это значит, что точка M₀ не является ни точкой наибольшего ни точкой наименьшего значений функции q(M).

Следствия из теоремы о наибольшем и наименьшем значениях гармонической функции.

Следствие 1. Если функции u и U непрерывны в области V+S, гармоничны в V и если u£ U на S, то u£ U всюду внутри V.

Доказательство. В самом деле, функция U–u непрерывна в V+S, гармонична в V и U–u ³ 0 на S. В силу принципа максимального значения U–u ³ 0 всюду внутри V, откуда следует, что u£U. Что и требовалось доказать.

Следствие 2. Если функции u и U непрерывны в области V+S, гармоничны в V и если |u| £ U на S, то |u| £ U всюду внутри V.

Доказательство. Из условий теоремы о наибольшем и наименьшем значениях следует, что три гармонические функции –U, u и U удовлетворяют условиям:

–U £ u £ U на S.

Применяя дважды следствие 1, получим, что –U £ u £ U всюду внутри V, или |u|£ U внутри V.

Следствие 3. Если для гармонической в V и непрерывной в V+S функции и выполняется неравенство , то оно выполняется всюду в V.

Для доказательства положим и воспользуемся следствием 2.