Не следует путать с Интеграл Эйлера — Пуассона.
Интегра́л Пуассо́на — общее название математических формул, выражающих решение краевой задачи или начальной задачи для уравнений с частными производными некоторых типов.
Задача Дирихле для уравнения Лапласа
Интеграл Пуассона для задачи Дирихле для уравнения Лапласа в шаре выглядит следующим образом.
Пусть для гармонической в шаре функции u(r, φ) поставлено условие равенства на границе функции u0: u(R, φ) = u0(φ), при этом функции принадлежат следующим классам гладкости:
, где ∂D — граница шара D, а
— его замыкание. Тогда решение такой задачи Дирихле представимо в виде интеграла Пуассона:

где ωn — площадь единичной сферы, а n — размерность пространства.
Вывод формулы в двумерном случае
Известно, что функция

является решением задачи Дирихле для уравнения Лапласа в круге. Преобразуем это выражение с учётом выражений для коэффициентов Фурье:



Последнюю сумму можно вычислить при 0≤r<R:


Таким образом, в преобразованном виде интеграл Пуассона для круга приобретает вид:

Также формула может быть получена методом конформных отображений. Действительная и мнимая часть голоморфной на области
функции удовлетворяют на ней двумерному уравнению Лапласа. Известно, что при конформном отображении области
плоскости
на область
плоскости
уравнение Лапласа для функции
переходит в уравнение
. С помощью дробно-линейной функции легко получить отображение исходного круга радиуса
на единичный круг, при котором произвольная точка
переходит в центр. Такая функция имеет вид:

где
выбирается так, чтобы граничные точки исходного круга перешли в точки
, при этом
, а
произволен. Искомая функция
перейдёт в функцию
. Граничная функция
перейдёт в
. Тогда по теореме о среднем:

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

откуда

Производя замену переменной в интеграле, получим искомое выражение:

Это выражение эквивалентно вышеприведённому:

Задача Коши для уравнения теплопроводности
Однородное уравнение
Рассмотрим задачу Коши для однородного уравнения теплопроводности:

|
где
— начальная функция, непрерывная и ограниченная на всём пространстве, и искомая функция
является непрерывной и ограниченной при
и всех значениях аргумента
.
Фундаментальным решением или ядром уравнения теплопроводности называется решение задачи Коши для однородного уравнения теплопроводности с начальным условием
, где
— дельта-функция Дирака. Оно имеет вид:

- где
— стандартный скалярный квадрат вектора
.
Интеграл Пуассона задает единственное непрерывное и ограниченное решение данной задачи Коши по следующей формуле[1]:

Неоднородное уравнение
Рассмотрим задачу Коши для неоднородного уравнения теплопроводности:

|
В этом случае интеграл Пуассона имеет вид[2]:


Обобщения
По теореме Римана об области, связная односвязная область в
конформно эквивалентна диску с метрикой Пуанкаре, то есть плоскости Лобачевского. Она допускает описание как однородное пространство, а именно
. Его ближайшими родственниками служат многомерное пространство Лобачевского
, а также комплексное
и кватернионное
пространства Лобачевского.
В случае вещественного пространства Лобачевского аналог преобразования Пуассона для внешних форм Картана был найден П.-И. Гэйяром. Оно сопоставляет внешней форме, определённой на абсолюте, гармоническую козамкнутую форму на пространстве Лобачевского. Именно, пространство
, где
— абсолют, является однородным пространством для группы
. На нём имеются инвариантные внешние формы
(то есть такие, которые, быть может, принимают ненулевые значения только при подстановке в них
векторных полей, касающихся сомножителя
и
векторных полей, касающихся сомножителя-абсолюта). Если
, то интеграл Пуассона от неё определяется как послойный интеграл внешнего произведения
, где
— проекция на сомножитель. Эти формы, в сущности, являются высшими ядрами Пуассона. Инвариантные формы на однородном пространстве могут быть заданы в одной точке, и взаимно однозначно соответствуют тривиальным подпредставлениям внешней степени соответствующего присоединённого представления группы, относительно которой пространство однородно; в случае вещественного пространства Лобачевского такие формы единственны с точностью до пропорциональности в силу одномерности соответствующего тривиального подпредставления.
В случае комплексного и кватернионного пространств Лобачевского эти подпредставления уже не одномерны, поэтому определить подобным образом какое-либо каноническое преобразование Пуассона не представляется возможным. Это, однако, возможно с учётом более тонкой геометрической структуры на абсолюте: именно, абсолют
комплексного пространства Лобачевского
(как и вообще граница всякого комплексного многообразия) имеет КР-структуру, то есть вполне неинтегрируемое распределение (которое, если реализовать сферу
как единичную сферу в пространстве
можно определить в каждой точке
как максимальное комплексное подпространство, содержащееся в касательном пространстве
к сфере). В случае кватернионного пространства Лобачевского аналогичную роль играет так называемая кватернионно-контактная структура. Со всяким вполне неинтегрируемым распределением связан комплекс Рюмина, аналогичный комплексу де Рама гладкого многообразия. Его аналог, который может быть определён чисто в алгебраических терминах теории представлений, называется комплексом Бернштейна — Гельфанда — Гельфанда. В нём имеются естественные операции, родственные элементу Казимира. Дополнительные условия на то, как должно себя вести ядро Пуассона относительно таких операций, позволяют выбрать его однозначно с точностью до пропорциональности.[3]
Литература
- Петровский И. Г. Лекции об уравнениях с частными производными. — гл. IV, § 40. — Любое издание.
- Тихонов А. Н., Самарский А. А. Уравнения математической физики. — гл. III. — Любое издание.
- Уроев В. М. Уравнения математической физики. — М.: ИФ Яуза, 1998. — ISBN 5-88923-026-3.
- Свешников А. Г., Тихонов А. Н. Теория функций комплексной переменной. — М.: Наука, 1974. — 320 с.
Примечания