Представления функциональными интегралами решений начально-краевых задач для эволюционных уравнений Бутко Яна Анатольевна

Содержание к диссертации

Введение

1 Диффузия со сносом в многообразии 12

1.1 Поверхностные меры, соответствующие мере Винера на траекториях в многообразии 13

1.2 Задача Коши для уравнения диффузии со сносом в компактном римановом многообразии 20

1.3 Семейства операторов, эквивалентные по Чернову полугруппе, разрешающей задачу Коши 21

1.4 Представления решения с помощью формул Фейнмана 28

1.5 Представления решение с помощью функциональных интегралов по поверхностным мёрам~Т ". 29

1.6 Задача Коши-Дирихле для уравнения диффузии со сносом в области многообразия 34

1.7 Формулы Фейнмана для задачи Коши-Дирихле 35

1.8 Функциональные интегралы для задачи Коши-Дирихле 41

1.9 Представления решения задачи Коши-Дирихле в виде пределов решений некоторых задач Коши 43

2 Уравнение Шрёдингера на многообразии 49

2.1 Задача Коши для уравнения Шрёдингера на многообразии . 49

2.2 Взаимосвязь уравнения Шрёдингера и уравнения теплопроводности 50

2.3 Представления решения с помощью функциональных интегралов по поверхностным мерам 51

Формула Фейнмана-Каца-Ито для бесконечномерного уравнения Шрёдингера со скалярным и векторным потенциалами . 55

3.1 Уравнение Шрёдингера со скалярным и векторным потенциалами в гильбертовом пространстве 55

3.2 Формула Фейнмана-Каца-Ито для положительно определённого оператора В 57

3.3 Формула Фейнмана-Каца-Ито для оператора В с неопределённым знаком 66

Заключение 70

Список литературы

• Задача Коши для уравнения диффузии со сносом в компактном римановом многообразии
• Задача Коши-Дирихле для уравнения диффузии со сносом в области многообразия
• Взаимосвязь уравнения Шрёдингера и уравнения теплопроводности
• Формула Фейнмана-Каца-Ито для положительно определённого оператора В

Введение к работе

Диссертация посвящена представлению решений некоторых начальных и краевых задач для эволюционных уравнений с помощью функциональных интегралов.

Связь между дифференциальными уравнениями в частных производных и интегрированием по пространству траекторий была обнаружена Р. Фейн-маном [56] при разработке нового подхода к квантовой механике. В 1948 году вышла в свет ставшая в настоящее время классической статья Р. Фейнмана, в которой была предложена конструкция, получившая название функционального интеграла. Как отметил Фейнман, эта конструкция восходит к П.А.М. Дираку. Фейнмановское определение основано на эвристическом понятии интеграла по траекториям, и хотя работа Фейнмана написана на физическом уровне строгости, благодаря своей интуитивности, элегантности, а главное -эффективности предложенного подхода, идея интегрирования по траекториям (функционального интегрирования) нашла множество последователей.

Процедура функционального интегрирования позволяет представлять решения эволюционных (псевдо)дифференциальных уравнений с помощью интегралов по бесконечномерным функциональным пространствам - пространствам траекторий. Исследование функциональных интегралов и их применение к изучению дифференциальных и псевдодифференциальных операторов (а также и других математических объектов) в настоящее время является одним из центральных направлений бесконечномерного анализа. Все сказанное и определяет актуальность темы диссертации.

Функциональные интегралы естественным образом возникают в теории марковских случайных процессов. Это обстоятельство позволило М. Ка цу [64] получить представление решения уравнения теплопроводности с потенциалом в виде функционального интеграла по мере Винера, широко известное ныне как формула Фейнмана-Каца. На произвольные марковские процессы эта формула была обобщена Е. Б. Дынкинм.

Множество исследований посвящено диффузионным процессам на группах Ли и римановых многообразиях, а также представлениям решений уравнений Колмогорова с помощью функциональных интегралов по мерам, порождаемым диффузионными процессами, соответствующими входящим в уравнения дифференциальным операторам (см., например, работы С. Вата-набэ, Б. Драйвера, С. Де Витт-Моретт, Дж. Иилса, Н. Икеды, П. Малливена, О.Г. Смолянова, А. Трумана, К.Д. Элворси, Д.В. Штрука и др.).

Функциональные интегралы, содержащие геометрические характеристики многообразия, впервые появились в работе Онзагера и Маклупа [73] и содержали коэффициент . Затем в литературе стали появляться и другие коэффициенты ( и ). В статье С. Де Витт-Моретт, К.Д. Элворси, Б.Л.Нельсона и Г.С. Заммельмана [48] был сделан обзор существующих к тому времени работ на эту тему и была поставлена задача выяснения условий, при которых надо использовать тот или иной коэффициент. Впервые в математической литературе строгое обоснование появления всех этих коэффициентов было дано в работах Смолянова, Вайцзеккера и их соавторов [85], [86], [87], [7], [89], [9], [88]. В этих работах было показано, что различные коэффициенты зависят от того, каким способом при аппроксимациях плотностей переходных вероятностей находится расстояние между объектами в многообразии: внутри многообразия, в объемлющем пространстве или внутри некоторого большего многообразия, подмногообразием которого является рассматриваемое. Математически строго коэффициент был также выведен в работе Л. Андерссона и Б. Драйвера [40]. И несколько позднее Смолянова и Вайцзеккера коэффициент был получен в работе [58].

Оригинальный фейнмановский подход основан на определении функционального интеграла как предела конечнократных интегралов. Всюду далее представления функциональных интегралов с помощью пределов конечно кратных иптегралов мы будем называть формулами Фейпмапа. Фейнман использовал такую конструкцию для представления решения уравнения Шре-дингера с потенциалом. Э. Нельсон заметил, что доказательство формулы Фейнмана можно провести в этом случае путём применения теоремы Трот-тера. Так было положено осповапие очень эффективному методу получения функциональных интегралов для эволюционных уравнений. Тем не менее, в некоторых важных для приложений случаях теорема Троттера не может быть применена. В работах О. Г. Смолянова, X. ф. Вайцзеккера и их соавторов было предложено вместо формулы Троттера использовать значительно обобщающую её теорему Чернова. Это существенно расширяет область применения предложенного подхода.

Метод этих авторов имеет важные преимущества при исследовании эволюционных уравнений на многообразиях. Он позволяет получать аппроксимации функциональных интегралов по мере Винера в виде конечнократных интегралов от элементарных функций, содержащих геометрические характеристики многообразия (с уже знакомыми нам коэффициентами , и ), тогда как при традиционном подходе аналогичные конечнократные интегралы содержат невыражающиеся через элементарные функции переходные вероятности меры Випера па траекториях в многообразии.

Аппроксимации в работах Смолянова и Вайцзеккера приводят естественным образом к поверхностным мерам, отличным от меры Винера, соответствующей броуновскому движению в многообразии. В диссертации получены функциональные интегралы по таким мерам для некоторых эволюционных уравнений на римановом многообразии. В частности, показано, что метод Смолянова-Вайцзеккера может быть применён к краевым задачам и к исследованию псевдодифференциальных уравнений.

В статье И. М. Гельфанда и А. М. Яглома [11] была поставлена задача об обобщении формулы Фейнмана-Каца на более широкий класс линейных эволюционных уравнений, в том числе шредингеровского типа. Существует множество методов представления решения уравнения Шрёдингера с помощью функциональных интегралов. Классический цодход, основанный на интерпретации функционального интеграла как предела конечнократных и применении формулы Троттера восходит к самому Фейнману. Такой подход используется в работах С. Альбеверио, Ф.А. Березина, Ю.Л.Далецкого, В.П. Маслова, Э. Нельсона, Б. Саймона, О.Г. Смолянова, А. Трумена, Р. Хег-Крона, А. Хибса, Е.Т. Шавгулидзе, П. Экснера и др.

Для аналитических потенциалов и начальных условий представления решения уравнения Шрёдингера для функций на конечномерном евклидовом пространстве могут быть получены из представлений решения уравнения теплопроводности различными методами аналитического продолжения. Метод аналитического продолжения в комплексную область по параметру, входящему в уравнение теплопроводности, был получен Р.Камероном [42]. Дос-сом [49] и независимо от него А. Ю. Хренниковым был предложен метод аналитического продолжения по переменному, входящему в уравнение теплопроводности. Наконец, в физической литературе с давних пор используется метод "перехода к комплексному времени". Для случая конечномерного евклидова пространства все три метода аналитического продолжения равносильны. Во второй главе настоящей диссертации получены представления решения задачи Коши для уравнения Шрёдингера в компактном римано-вом многообразии с помощью перехода по Доссу и Хренникову к уравнению теплопроводности на многообразии и применения результатов первой главы.

Существует ещё один весьма успешный подход к получению функциональных интегралов, соответствующих решению уравнения Шрёдингера, -это непосредственное применение методов теории случайных процессов, в частности, формулы Ито (см. [60], [77], [35]). Такой подход реализован в третьей главе диссертации для получения формулы Фейнмана-Каца-Ито, представляющей решение уравнения Шрёдингера со скаларным и векторным потенциалами в гильбертовом пространстве.

Дифференциальные уравнения для функций бесконечномерного аргумента встречаются в различных разделах теоретической физики, в том числе в квантовой теории поля (например, в связи с процедурой вторичного квантования) и в теории суперструн. Систематическое математическое исследова ниє таких уравнений было начато в 60-х годах. Параболические дифференциальные уравнения второго порядка в абстактном пространстве изучались Л. Гроссом, X. Го, М. И. Вишиком, Ю. Л. Далецким, О. Г. Смоляновым, С. В. Фоминым, Н. И. Фроловым, А. В. Углановым и многими другими. Существует множество работ, посвященных формуле Фейнмана-Каца для уравнения теплопроводности (или в более общем случае для уравнения Колмогорова) в бесконечномерном пространстве (например, [14], [46]). Бесконечномерное уравнение Шрёдингера изучалось различными методами в работах С.Альбеверио, Ж. Бжезняка, Ю. Л. Далецкого, О. Г. Смолянова, А. Ю. Хренникова, Е. Т. Шавгулидзе и других авторов. Формула Фейнмана-Каца для уравнения Шрёдингера в бесконечномерном пространстве исследовалась в основном в работах [23], [65], [66], [35]. В этих работах был последовательно расширен класс потенциалов, для которых доказывается формула Фейнмана-Каца. В диссертации результаты, аналогичные результатам С. Альбеверио, О.Г. Смолянова и А.Ю. Хренникова [35], получены для бесконечномерного уравнения Шрёдингера, содержащего не только скалярный, но и векторный потенциал.

Научная новизна

Все результаты диссертации являются новыми. Основные из них заключаются в следующем:

1. Получены представления решения задачи Коши для уравнения диффузии со сносом в компактном римановом многообразии в виде пределов конечно-кратных интегралов по декартовым степеням многообразия и в виде функциональных интегралов по некоторым мерам гауссовского типа на траекториях в многообразии.

2. Найдены представления решения задачи Коши-Дирихле для уравнения диффузии со сносом в области компактного риманова многообразия в виде пределов конечнократных интегралов по декартовым степеням области и в виде функциональных интегралов по некоторым мерам гауссовского типа на траекториях в многообразии.

3. Получены представления решения задачи Коши-Дирихле для уравнения диффузии со сносом в области компактного риманова многообразия в виде пределов решений задач Коши для уравнений диффузии со сносом во всём многообразии при неограниченном возрастании абсолютных значений потенциалов вне области.

4. Найдены представления решения задачи Коши для уравнения Шрёдингера в компактном римановом многообразии в виде функциональных интегралов по некоторым мерам гауссовского типа на траекториях в многообразии.

5. Доказано существование задаваемого формулой Фейнмана-Каца-Ито локального решения уравнения Шрёдингера со скалярным и векторным потенциалами в гильбертовом пространстве.

Методы исследования

В диссертации используются методы бесконечномерного и стохастического анализа и ряд специальных конструкций.

Теоретическая и практическая ценность

Диссертация носит теоретический характер. Некоторые результаты диссертации могут быть использованы при исследовании квантовых систем с бесконечномерным конфигурационным пространством и с нелинейным конфигурационным пространством.

Апробация диссертации

Результаты, изложенные в диссертации, прошли апробацию на следующих конференциях:

1) XXVI Конференция Молодых Учёных МГУ им. М. В. Ломоносова, Москва, 2004.

2) XXI Международная конференция "Дифференциальные уравнения и смежные вопросы", посвященная 103-летию со дня рождения И.Г.Петровского, Москва, 2004.

3) XXVI Conference "Quantum Probability and Infinite Dimensional Analysis", Levico Terme, Italy, 2005.

4) XXVII Конференция Молодых Учёных МГУ им. М. В. Ломоносова, Москва, 2005.

Публикации

Результаты диссертации опубликованы в четырёх работах автора: [94], [95], [96], [97].

Структура и объём работы

Диссертация состоит из трёх глав, введения и заключения.

Во введении проводится обзор работ по теме диссертации.

В главе 1 представлены основные теоретические сведения, необходимые для дальнейшего изложения. Далее рассматривается задача Коши для уравнения диффузии со сносом в компактном римановом многообразии. Находятся семейства операторов, эквивалентные по Чернову разрешающей полугруппе операторов. С помощью теоремы Чернова решение задачи представляется в виде пределов конечнократных интегралов. При этом интегралы берутся от элементарных функций, зависящих от геометрических характеристик многообразия, коэффициентов уравнения и начальных данных. Получившиеся формулы (формулы Фейнмана) интерпретируются как функциональные интегралы по некоторым счётно-аддитивным мерам гауссовского типа. Одна из этих мер совпадает с мерой Винера, соответствующей броуновскому движению в многообразии. Другие являются поверхностными мерами Смолянова, введёными в работах [85], [7], [8], [9], [75].

Далее в главе 1 рассматривается краевая задача Коши-Дирихле для уравнения диффузии со сносом в области компактного риманова многообразия с гладкой границей. Для решения задачи Коши-Дирихле находятся соответствующие формулы Фейнмана и функциональные интегралы по поверхностным мерам Смолянова и по сужению меры Винера на множество траекторий в области; данное сужение меры соответствует броуновскому движению в области с поглощением на границе. Кроме того, решение краевой задачи Коши-Дирихле в данной области многообразия представляется как предел решений задач Коши для семейства уравнений диффузии со сносом на всём многообразии при неограниченном возрастании абсолютных значений потенциалов вне области.

В главе 2 рассматривается уравнение Шрёдингера на компактном рима-новом многообразии. Для аналитических на некотором множестве потенциала и начального условия находятся представления решения задачи Коши в виде функциональных интегралов по поверхностным мерам Смолянова и по мере Винера, порождённой броуновским движением в многообразии. В доказательстве используются восходящий к Доссу метод перехода от уравнения Шрёдингера к уравнению теплопроводности и представления решений задачи Коши для уравнения диффузии, полученные в главе 1.

В главе 3 рассматривается уравнение Шрёдингера со скалярным и векторным потенциалами в гильбертовом пространстве. Векторный потенциал играет ту же роль, что и магнитное поле в конечномерном случае. Доказывается существование решения задачи Коши для данного уравнения Шрёдингера. Решение является локальным по временной и пространственным переменным и представляется вероятностной формулой типа Фейнмана-Каца-Ито.

В заключении формулируются основные результаты диссертации.

Пользуясь предоставленной возможностью, я хочу выразить чувство глубокой признательности моему научному руководителю профессору Олегу Георгиевичу Смолянову за постоянные поддержку и внимание к моей работе.

Задача Коши для уравнения диффузии со сносом в компактном римановом многообразии

Пусть / : [0,] х Rm — Е. Решение задачи Коши с начальным условием /о для уравнения где Н - ограниченный снизу самосопряжённый оператор на банаховом пространстве функций С(Мт) можно записать в виде f(t,x) = e tHfo(x). Если гамильтониан Н = — Д, то решение представляется в явном виде по формуле

Если Н = — Д + V, где оператор V - это оператор умножения на непрерывную ограниченную функцию V, то на помощь приходит формула Троттера: для "достаточно хороших" операторов А и В справедливо соотношение (см. [20]):

И значит, мы можем найти решение в явном виде (по формуле Фейнмана-Каца). В случае, когда гамильтониан содержит более двух слагаемых, формула Троттера неприменима. Тем не менее, в этом случае нам может помочь теорема Чернова.

Пусть X - банахово пространство, С(Х) пространство всех непрерывных линейных операторов в X, наделённое сильной операторной топологией. Для каждого линейного оператора А в X через Dom(A) обозначается его область определения. Производная в нуле функции F : [0, є) —У (Х), є 0 - это линейное отображение F (0) : Dom(F (0)) — X, определяемое равенством F (0)g = limt- ot 1(F(t)g — F(0)g), где Dom(F (0)) - векторное пространство всех д Є X, для которых существует предыдущий цредел. В дальнейшем используется следующая версия теоремы Чернова [43].

Теорема 1.10. (Теорема Чернова). Пусть F : [0, оо) — С{Х) - сильно непрерывное отображение, F(Q) = Id - тождественный оператор, 11- (011 — e lt для некоторого a 6R« пусть D- векторное подпространство в Dom(F (0)), сужение на которое оператора F (0) обладает замыканием С. Если С является генератором сильно непрерывной полугруппы etc, то для каждого последовательность F(t/n)n, п Є N при п — оо сходится к etc в сильной операторной топологии равномерно относительно te[0,T].

Понятие эквивалентности по Чернову однопараметрических семейств операторов Fi{t) и F2(t) введено в [87]:

Определение 1.11. Пусть Fk : [0,оо) — {Х), к — 1,2 - сильно непрерывные семейства операторов таких, что -F&(0) = Id, Fk дифференцируемо в нуле и его производная -F (O) порождает (в смысле теоремы Чернова) некоторую непрерывнуюй полугруппу etCk. Если полугруппы etCl и е1Сг совпадают, то самейства операторов Fi(t) и І СО называются эквивалентными по Чернову.

Утверждение 1.12. Пусть Fk : [0,оо) - С(Х), k = 1,2 - сильно непрерывные семейства операторов таких, что -Ffe(O) = Id, Fk дифференцируемо в нуле и его производная Fl(0) порождает (в смысле теоремы Чернова) некоторую непрерывнуюй полугруппу etCk. Если существует некоторая Di С Dom(Fi(0))- существенная область определения оператора F[(0) такая, что

Мы построим однопараметрические семейства {Sq(t)}t o, {Sp{t)}t o, {SUt)}t o и {" р(0} 0 эквивалентные по Чернову полугруппе eiH, разрешающей задачу (I). Тогда из теоремы Чернова будет следовать, что где s — lim обозначает предел в сильной операторной топологии на Со(G).

Пусть К- компактное риманово многообразие размерности га, изометрически вложенное в пространство R. . Пусть Ф : К — M.N - гладкое отображение, осуществляющее вложение. Для каждого вектора и(х) касательного пространства ТХК символом и$(х) обозначается этот же вектор как вектор в объемлющем пространстве.

Символом г2(х) - обозначим квадрат нормы нормали средней кривизны в точке х, умноженной на размерность многообразия, scal(jc) = tvRicci(x) - скалярная кривизна многообразия К в точке х Є К. Предположим, что функции scal(-) и г2(-) непрерывны на К.

Рассмотрим семейство операторов T(t),t 0, действующих следующим образом: (T(t)f)(x) = f{lx{t)), где 7Ж(") _ геодезическая с началом в точке х и направляющим вектором а(х) такая, что длина её от начала до точки 7Z() равна а(ж)гг.к- = ia$(a;)Rjv, где RN - норма в объемлющем пространстве. Пусть многообразие К и векторное поле а(-) таковы, что T(t), для t О корректно определённые операторы в пространстве С(К).

Задача Коши-Дирихле для уравнения диффузии со сносом в области многообразия

Так как мера Винера \%- абсолютно непрерывна относительно внешней поверхностной меры Смолянова Srf и относительно внутренней поверхностной меры Смолянова S , то решение задачи Коши для уравнения диффузии со сносом в компактном римановом многообразии с помощью теоремы 1.7 можно представить также функциональными интегралами по мерам Wj- и S% . При этом, для случая меры Винера W% мы получаем известный результат (1.10) А для меры 5] получаем следующее:

Теорема 1.17. Пусть f(t, х) - решение задачи Коши (I) с начальным условием /о Є Q{K). Тогда может быть представлено с помощью функционального интеграла по внутренней поверхностной мере Смолянова S Отдельный интерес представляет взаимосвязь функциональных нтегра-лов по мерам ]%, 5JJ и формул Фейнмана (1.4), (1.6), (1.7). Хотелось бы показать непосредственно, что пределы в формулах Фейнмана (1.4), (1.6) совпадают с функциональным интегралом по мере Винера (1.10), а предел в формуле Фейнмана (1.7) с функциональным интегралом по внутренней поверхностной мере Смолянова (1.11).

Задача Коши-Дирихле для уравнения диффузии со сносом в области многообразия

Пусть К - компактное риманово многообразие размерности га. Пусть G -область многообразия К с гладкой границей dG. Оператор Н на пространстве С(К) определён следующим образом: Dom(tf) = С2(К), Hf{x) = (-\AKf)(x) + (а{х), V/( )) + V(x)f(x). Здесь Ак = — trV2 - оператор Лапласа-Бельтрами на многообразии К, V - связность Леви-Чивита (при этом символом V/(x) Є ТХК - обозначается производная функции / в точке ж).

Предполагается, что а(-) : К — ТК - векторное поле класса С1 (К), (u(x),v(x)) - скалярное произведение векторов и(х) и v{x) в ТХК, потенциал V : G - R - ограниченная непрерывная функция. Рассмотрим начально-краевую задачу Коши-Дирихле в области G для уравнения диффузии со сносом: f (і, х) = Hf(t, х) t 0, х Є G f(0,x) = f0(x) xeG {П) f(t,x) = 0 t 0,xedG

Мы предполагаем, что /0 Є C0(G), / : [0,oo) xG- R, f{t,-) C0(G) для t 0. Здесь CQ(G) - банахово пространство функций, непрерывных на G := GU dG и равных нулю на dG, с нормой , / = sup /(ж).

Нашей целью будут представление решения задачи (II) в виде пределов некоторых конечнократных интегралов по декартовым степеням области G и последующая интерпретация полученных пределов как функциональных интегралов по множеству траекторий в области G.

Пусть символ C0(G) обозначает множество к раз непрерывно дифференцируемых в G функций, обращающихся на dG в нуль вместе со всеми своими частными производными до к-то порядка включительно.

Пусть существует сильно непрерывная полугруппа etA, разрешающая задачу (II). Тогда её генератор (A,Dom(A)) на множестве Сд((5) С Dom(A) действует следующим образом: Af (х) — Hf(x), х Є G.

Мы построим однопараметрические семейства {T (t)}t o, {Tp(t)}t o, {Tq(t)}t o и {Tp(t)}t o, эквивалентные по Чернову полугруппе etA. Тогда из теоремы Чернова будет следовать, что

Как и ранее, мы предполагаем, что К- компактное риманово многообразие размерности ш, изометрически вложенное в пространство M.N, Ф : К R.N -гладкое отображение, осуществляющее вложение. Для каждого вектора и(х) касательного пространства ТХК символом и$(х) обозначается этот же вектор как вектор в объемлющем пространстве. Символом г2(ж) - обозначает квадрат нормы нормали средней кривизны в точке х, умноженной на размерность многообразия, scal(ar) = trRicci(x) - скалярная кривизна многообразия К в точке х Є К. Мы считаем, что функции scal(-) и г2(«) непрерывны на К. Для любого множества О. Є К функция /п(ж) - это индикатор множества fi.

Рассмотрим множества Gs вида G& — {х Є G : р(ж, 8G) 5}. Пусть е(-) : R+ — R+ - функция, монотонно убывающая к нулю при t — 0. Например, можно рассматривать e(t) = carctg(t), с 0. Пусть y e(f)(x) - некоторое множество функций из CQ(G) аппроксимирующих в смысле поточечной сходимости функцию IG(X) при t —У 0. Причём V oW = 1 при ж Є G3e(t), VetoOO = 0 при х Є G \ Ge{t) и 0 рещ(х) 1 При X Є Ge() \ G3e(t).

Взаимосвязь уравнения Шрёдингера и уравнения теплопроводности

Получены представления решения задачи Коши для уравнения Шрёдингера в компактном римановом многообразии в виде функциональных интегралов по поверхностным мерам Смолянова и по мере Винера, порождённой броуновским движением в многообразии.

В доказательстве используются восходящий к Камерону и Доссу метод перехода от уравнения Шрёдингера к уравнению теплопроводности и представления решений задачи Коши для уравнения теплопроводности (частный случай диффузии: векторное поле, описывающее снос, тождественно равно нулю ), полученные в главе 1.

Задача Коши для уравнения Шрёдингера на многообразии Пусть К - компактное риманово многообразие размерности т. Рассмотрим задачу Коши для уравнения Шрёдингера с потенциалом V : К- С. Ак = — trV2 - оператор Лапласа-Бельтрами на многообразии К. Предполагаем, что /„ Е С(К), f : [О, со) хК -) С, f(t, ) Є С(К), V 0. Здесь и далее во всей главе С(К) - банахово пространство комплекснознач-ных функций, непрерывных на К с нормой , / = supzeii- /(ж).

Нашей целью будет представление решения задачи (2.1) в виде функциональных интегралов по траекториям в К.

Рассмотрим множество К = UXEK{X + у/г[К — х)}. Будем говорить, что функция д : К —ї С принадлежит классу А, если выполнены следующие условия:

1) существует область Од некоторого комплексного многообразия, замыкание которой содержит К;

2) существует единственная аналитическая в Од, непрерывная на Og[jK функция д такая, что её сужение на К совпадает с д.

Если в условии (2) функция д является также дважды непрерывно дифференцируемой на Од (J К, то мы будем говорить, что функция д принадлежит классу А2.

Пусть функции V и /о - принадлежат классу А. Предположим, что уравнение Шрёдингера с потенциалом V и начальным условием /о имеет в К единственное решение f(t,z), являющееся функцией класса А2 по переменной z: Оператор Ajf на функциях класса A2 определяется следующим образом: значение (AzKg)(z) равно значению в точке z аналитического продолжения функции Акд.

Для функций /о, V класса А и функций /(, ) класса А2 для любого у Е К и любого фиксированного х Е К однозначно определены функции

Пусть символ у в записи Аук означает, что оператор Лапласа-Бельтрами Ак действует на переменную у. Тогда заметим, что [A?K(px){t,y) = (гАдг/)( А Для z = x + уД{у - х).

Следовательно, для любого фиксированного х Є К функция ірх удовлетворяет задаче Коши для уравнения теплопроводности:

Непосредственно проверяется, что результаты теорем 1.16, 1.17 для уравнения теплопроводности обобщаются на случай комплекснозначных функций, входящих в уравнение. Поэтому справедливо следующее:

Предложение 2.1. Пусть К- компактное риманово многообразие размерности т, изометрически вложенное в пространство M.N. Пусть Ф : К — M.N -изометрия, осуществляющая вложение. Пусть ipx(t,y) - решение задачи Коши (2.3) с начальным условием ір , Є С(К). Пусть К - компактное риманово многообразие размерности т, изометрически вложенное в пространство R.N С CN. Пусть V и /о -функции класса А. Пусть /(, х) - решение задачи Коши (2.1) с начальным условием /о и потенциалом V. Пусть f(t, х) является функцией класса А2 по переменной х. Тогда решение задачи Коши (2.1) f(t,x) может быть представлено с помощью функционального интеграла по мере W%:

Представляет интерес проверить, являются ли подобные функциональные интегралы по множеству С([0,t],G) представлениями решения задачи Коши-Дирихле для уравнения Шрёдингера в области G С К с гладкой границей. Также хотелось бы получить представления начально-краевых задач для уравнения Шрёдингера в многообразии в виде функциональных интегралов по так называемым поверхностным псевдомерам Фейнмана.

Рассматривается уравнение Шрёдингера со скалярным и векторным потенциалами в гильбертовом пространстве. Векторный потенциал играет ту же роль, что и магнитное поле в конечномерном случае. Доказано существование решения задачи Коши для данного уравнения Шрёдингера. Решение является локальным по временной и пространственным переменным и представляется вероятностной формулой типа Фейнмана-Каца-Ито.

Пусть X - вещественное сепарабельное гильбертово пространство, ( , ) и II II - скалярное произведение и норма в X. Пусть В - симметрический ядерный оператор в X; а : X — X - векторное поле; V : X — С - скалярная функция. Обозначим через Н - гамильтониан квантового поля в векторном потенциале а и скалярном потенциале V:

Формула Фейнмана-Каца-Ито для положительно определённого оператора В

Мы можем обобщить теорему 3.3 на случай ядерного симметрического оператора В с неопределённым знаком, Keri? = {0}. Для этого рассмотрим орто-нормированный базис {ej}j собственных векторов оператора В, Bej = bjej. Обозначим через Х+ подпространство X, порождённое векторами е,-, отвечающими положительным собственным значениям оператора В. Ортогональный проектор на подпространство Х+ будем обозначать П+. И аналогично Х_ — подпространство X, порождённое векторами еу, отвечающими отрицательным собственным значениям оператора В. Соответствующий ортогональный проектор — П_. Символ у/їв обозначает оператор, действующий следующим образом: для х = Y jxjei X выполняется УДВ х Рассмотрим множества D(c,г) = S(c,r) х лДвХ = S(c,r) х уДХ+ х \/—гХ_. Элементы таких множеств имеют вид; z = х + \/їу+ + у/ гу-, где х Є S(c, г), у+ Є Х+, у_ Є Х_. Будем обозначать Ri/2z = ж, JjLz = t/+, - 1/22 = У— Также будем рассматривать D(c, г) = І (с, г) х у/Т Х.

Обозначим через A2(D(c, г)) класс аналитических функций У : D(c, г) — С, удовлетворящих следующим условиям на рост: первые две производные функции V удовлетворяют условиям: Обозначим через A7i(D(c, г)) класс аналитических функций /0 : D(c,r) — С, удовлетворящих следующим условиям на рост: Тогда первые две производные функции /о удовлетворяют условиям:

Введём операторы sgnB = П+ — П_ и \В\ = BsgnB. Оператор \В\ является положительно определённым симметрическим ядерным оператором и, следовательно, мы можем построить соответствующий ему Винеровский процесс (). Математическое ожидание по мере, порождённой этим процессом, обозначим Ещ.

Теорема 3.6. Пусть В и С - симметрические ядерные операторы в X, причём КетВ = {0}, С - положительно определён, коммутирует с \В\ и Ran(C) С Dom(jE?-1/2). Пусть для любого х Є X а(х) = Сх, V Є A2(D(c,r)) и /о AEi(D(c,r)). Тогда существует 8 = S(B,V,C,/0) 0 такое, что функция f, заданная формулой Фейнмана-Каца-Ито

Доказательство. Аналогично доказательству теоремы 3.3, с помощью лемм 3.5, 3.4 проверяется, что функция /, заданная формулой (3.34), принадлежит классу С1,2([0,5) х S(c,r)). Легко видеть, что начальные условия также выполняются. Пользуясь формулой Ито, покажем, что функция / удовлетворяет уравнению Шрёдингера (3.2).

В диссертации получены представления решений начально-краевых задач для некоторых эволюционных уравнений с помощью функциональных интегралов по мерам гауссовского типа.

В главе 1 получены представления решения задачи Коши для уравнения диффузии со сносом в компактном римановом многообразии в виде пределов конечнократных интегралов по декартовым степеням многообразия; при этом интегралы берутся от элементарных функций, зависящих от геометрических характеристик многообразия, коэффициентов уравнения и начальных данных. Подобные представления называются формулами Фейнмана. Найденные представления интерпретируются как функциональные интегралы по поверхностным мерам Смолянова и по мере Винера, соответствующей броуновскому движению в многообразии. Также в главе 1 рассмотрена задача Коши-Дирихле для уравнения диффузии со сносом в области компактного риманова многообразия с гладкой границей. Найдены соответствующие формулы Фейнмана и функциональные интегралы по поверхностным мерам Смолянова и по сужению меры Винера на множество траекторий в области; данное сужение меры соответствует броуновскому движению в области с поглощением на границе. Кроме того, решение краевой задачи Коши-Дирихле в данной области многообразия представлено как предел решений задач Коши для уравнений теплопроводности на всём многообразии при неограниченном возрастании абсолютных значений потенциалов вне области. В главе 2 получены представления решения задачи Коши для уравнения Шрёдингера в компактном римановом многообразии в виде функциональных интегралов по поверхностным мерам Смолянова и по мере Винера, порождённой броуновским движением в многообразии.

В главе 3 рассмотрено уравнение Шрёдингера со скалярным и векторным потенциалами в гильбертовом пространстве. Векторный потенциал является бесконечномерным аналогом магнитного поля. Доказано существование локального по временной и пространственным переменным решения задачи Коши для данного уравнения Шрёдингера. Решение представлено вероятностной формулой типа Фейнмана-Каца-Ито.