и
(заметим, что
есть внешняя нормаль к
псопрп
Отсюда, устремляя в
к нулю, получаем формулу
дающую представление произвольной функции и
через
и значения
— на
Будем называть ее представлением Грина. Для интегрируемой функции
интеграл
называется ньютоновым потенциалом с плотностью
Если и имеет компактный носитель в
из (2.16) следует часто используемая формула
Для гармонической функции и мы имеем также представление
Так как в этом равенстве подынтегральные функции являются бесконечно дифференцируемыми и, более того, аналитическими по у, то из представления (2.18) следует, что и также аналитична в 12. Таким образом, гармонические функции аналитичны всюду в своей области определения и, следовательно, однозначно определяются своими значениями на любом открытом подмножестве области определения.
Предположим теперь, что функция
удовлетворяет уравнению
Тогда, используя второе тождество Грина (2.11), получаем
Обозначая
и складывая (2.16) и (2.19), получаем более общее представление Грина
Если дополнительно
на
то
Такая функция
назьюается функцией Грина (задачи Дирихле) для области 12. Иногда ее также называют функцией Грина первого рода для 12. Из теоремы 2.4 следует единственность функции Грина. Существование функции Грина влечет возможность представления формулой (2.21) любой гармонической функции из
через ее граничные значения.