Функции Грина – это альтернативный способ решать неоднородные задачи с неоднородными краевыми условиями.
Дана область с границей
.
- функции от
.
Оператор
-элемент объема
-непрерывные функции с непрерывными первыми и вторыми
производными вплоть до границы
Теорема о среднем арифметическом: Значение гармонической функции в центре шара равно среднему арифметическому ее значений на поверхности шара.
Доказательство:
Пусть гармоническая функция внутри шара.
Пусть ,
- центр шара,
- радиус шара.
- поверхность шара.
Применим формулу интегрального
представления функций класса и учтем предположение
о том, что функция
гармоническая (
в
).
. В данном
случае
Для гармонической функции по
замкнутой области интеграл равен 0
. Теорема доказана.
На основе теоремы о среднем арифметическом докажем теорему о максимуме (минимуме).
Теорема о максимуме (минимуме):
Функция, гармоническая внутри
ограниченной области и непрерывная в
замкнутой области
с границей
, достигает наибольшее (наименьшее) значение только на
границе области, кроме того случая, когда эта функция константа.
Доказательство: от противного(?).
Пусть достигает максимума в
точке
Проведем сферу
с центром в точке
таким образом, чтобы
она целиком принадлежала
. Применим теорему о среднем арифметическом гармонической
функции к сфере и заменим подынтегральную функцию
ее наибольшим
значением
:
.
Вместо неравенства будет
равенство, поскольку - наибольшее значение
в области
можем утверждать, что
во всякой сфере,
принадлежащей
c центром в
точке
во всей области
. Докажем это:
Пусть
- произвольная точка,
покажем, что
. Соединим
и
кривой
,
- кратчайшее
расстояние в области
от любой точки,
принадлежащей
, до любой точки поверхности, ограничивающей область
.
- точка пересечения
ломаной
и сферы
. Проведем сферу с центром
и радиусом
, тогда
по предположению о
постоянстве
в любой сфере.
Таких сфер конечное количество
можем уложить на
последняя сфера с
центром в точке
:
.
Доказали, что в
. Теорема доказана.
Если и
.
в
.
При этом заданы неоднородные
краевые условия Неймана: ,
.
Это условие разрешимости второй краевой задачи Лапласа.