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