Кое-что про билаплас.
Пусть
-- ограниченная область с гладкой границей. Рассмотрим задачу
Введем пространство
. И множество
Здесь
Пространство
является гильбертовым пространством со скалярным произведением
Это скалярное произведение эквивалентно на
стандартному скалярному произведению пространства
. (Оператор
непрерывен в смысле топологии
индуцированной из
и обратим.)
Определение. Назовем обобщенным решением задачи (*) функцию
которая удовлетворяет следующему соотношению
По теореме Рисса существует и единственная функция
удовлетворяющая соотношению (**). Причем
Покажем, что
. Действительно, для любой
из формулы (**) следует, что
. Откуда следует, что
. И соответственно
.