Интегра́л Пуассо́на — общее название математических формул, выражающих решение краевой задачи или начальной задачи для уравнений с частными производными некоторых типов.
Пусть для гармонической в шаре функции u(r, φ) поставлено условие равенства на границе функции u0: u(R, φ) = u0(φ), при этом функции принадлежат следующим классам гладкости: , где ∂D — граница шара D, а — его замыкание. Тогда решение такой задачи Дирихле представимо в виде интеграла Пуассона:
где ωn — площадь единичной сферы, а n — размерность пространства.
является решением задачи Дирихле для уравнения Лапласа в круге. Преобразуем это выражение с учётом выражений для коэффициентов Фурье:
Последнюю сумму можно вычислить при 0≤r<R:
Таким образом, в преобразованном виде интеграл Пуассона для круга приобретает вид:
Также формула может быть получена методом конформных отображений. Действительная и мнимая часть голоморфной на области функции удовлетворяют на ней двумерному уравнению Лапласа. Известно, что при конформном отображении области плоскости на область плоскости уравнение Лапласа для функции переходит в уравнение . С помощью дробно-линейной функции легко получить отображение исходного круга радиуса на единичный круг, при котором произвольная точка переходит в центр. Такая функция имеет вид:
где выбирается так, чтобы граничные точки исходного круга перешли в точки , при этом , а произволен. Искомая функция перейдёт в функцию . Граничная функция перейдёт в . Тогда по теореме о среднем:
Из этого выражения можно получить явное выражение для решения задачи Дирихле в круге, если выразить через
. Для граничных точек круга и круга формула дробно-линейного преобразования даёт
откуда
Производя замену переменной в интеграле, получим искомое выражение:
где — начальная функция, непрерывная и ограниченная на всём пространстве, и искомая функция является непрерывной и ограниченной при и всех значениях аргумента .
Фундаментальным решением или ядром уравнения теплопроводности называется решение задачи Коши для однородного уравнения теплопроводности с начальным условием , где — дельта-функция Дирака. Оно имеет вид:
В случае вещественного пространства Лобачевского аналог преобразования Пуассона для внешних форм Картана был найден П.-И. Гэйяром. Оно сопоставляет внешней форме, определённой на абсолюте, гармоническую козамкнутую форму на пространстве Лобачевского. Именно, пространство , где — абсолют, является однородным пространством для группы . На нём имеются инвариантные внешние формы (то есть такие, которые, быть может, принимают ненулевые значения только при подстановке в них векторных полей, касающихся сомножителя и векторных полей, касающихся сомножителя-абсолюта). Если , то интеграл Пуассона от неё определяется как послойный интеграл внешнего произведения , где — проекция на сомножитель. Эти формы, в сущности, являются высшими ядрами Пуассона. Инвариантные формы на однородном пространстве могут быть заданы в одной точке, и взаимно однозначно соответствуют тривиальным подпредставлениям внешней степени соответствующего присоединённого представления группы, относительно которой пространство однородно; в случае вещественного пространства Лобачевского такие формы единственны с точностью до пропорциональности в силу одномерности соответствующего тривиального подпредставления.
В случае комплексного и кватернионного пространств Лобачевского эти подпредставления уже не одномерны, поэтому определить подобным образом какое-либо каноническое преобразование Пуассона не представляется возможным. Это, однако, возможно с учётом более тонкой геометрической структуры на абсолюте: именно, абсолют комплексного пространства Лобачевского (как и вообще граница всякого комплексного многообразия) имеет КР-структуру, то есть вполне неинтегрируемое распределение (которое, если реализовать сферу как единичную сферу в пространстве можно определить в каждой точке как максимальное комплексное подпространство, содержащееся в касательном пространстве к сфере). В случае кватернионного пространства Лобачевского аналогичную роль играет так называемая кватернионно-контактная структура. Со всяким вполне неинтегрируемым распределением связан комплекс Рюмина, аналогичный комплексу де Рама гладкого многообразия. Его аналог, который может быть определён чисто в алгебраических терминах теории представлений, называется комплексом Бернштейна — Гельфанда — Гельфанда. В нём имеются естественные операции, родственные элементу Казимира. Дополнительные условия на то, как должно себя вести ядро Пуассона относительно таких операций, позволяют выбрать его однозначно с точностью до пропорциональности.[3]