Случайные процессы и краевые задачи
В математике некоторые краевые задачи можно решать методами стохастического анализа . Возможно, самым знаменитым примером является Сидзуо Какутани решение в 1944 году задачи Дирихле для оператора Лапласа с использованием броуновского движения . Однако оказывается, что для большого класса полуэллиптических второго порядка уравнений в частных производных соответствующая краевая задача Дирихле может быть решена с использованием процесса Ито , который решает связанное стохастическое дифференциальное уравнение .
Введение: решение Какутани классической задачи Дирихле.
[ редактировать ]Позволять быть доменом ( открытым и связным множеством ) в . Позволять , — оператор Лапласа пусть — ограниченная функция на границе и рассмотрим задачу:
Можно показать, что если решение существует, то значение ожидаемое в (случайной) первой точке выхода из для канонического броуновского движения, начинающегося с . См. теорему 3 в Какутани, 1944, с. 710.
Задача Дирихле–Пуассона
[ редактировать ]Позволять быть доменом в и пусть — полуэллиптический дифференциальный оператор на формы:
где коэффициенты и являются непрерывными функциями и все собственные матрицы значения неотрицательны. Позволять и . Рассмотрим задачу Пуассона :
Идея стохастического метода решения этой задачи заключается в следующем. Сначала обнаруживается диффузия Ито чей бесконечно малый генератор совпадает с на компактной основе функции . Например, можно принять за решение стохастического дифференциального уравнения:
где — n -мерное броуновское движение, имеет компоненты как указано выше, и матричное поле выбирается так, что:
Для точки , позволять обозначим закон заданная начальная дата , и пусть обозначают ожидание относительно . Позволять обозначают время первого выхода из от .
В этих обозначениях возможным решением для (P1) является:
при условии, что является ограниченной функцией и что:
Оказывается, требуется еще одно условие:
Для всех , процесс начиная с почти наверняка уйдет в конечное время. При этом предположении приведенное выше возможное решение сводится к следующему:
и решает (P1) в том смысле, что если обозначает характеристический оператор для (что согласуется с на функции), тогда:
Более того, если удовлетворяет (P2) и существует константа такой, что для всех :
затем .
Ссылки
[ редактировать ]- Какутани, Шизуо (1944). «Двумерное броуновское движение и гармонические функции» . Учеб. Имп. акад. Токио . 20 (10): 706–714. дои : 10.3792/пиа/1195572706 .
- Какутани, Шизуо (1944). «О броуновском движении в n -пространстве» . Учеб. Имп. акад. Токио . 20 (9): 648–652. дои : 10.3792/пиа/1195572742 .
- Оксендал, Бернт К. (2003). Стохастические дифференциальные уравнения: введение с приложениями (шестое изд.). Берлин: Шпрингер. ISBN 3-540-04758-1 . (См. раздел 9)