Московский государственный университет
имени М.В. Ломоносова
Механико-математический факультет
На правах рукописи
УДК 517.53, 517.98
Комлов Александр Владимирович
Аналитические свойства решений
некоторых классических и
некоммутативных интегрируемых
систем
01.01.01 вещественный, комплексный и функциональный анализ
АВТОРЕФЕРАТ
диссертации на соискание ученой степени кандидата физико-математических наук
Москва 2010
Работа выполнена на кафедре теории функций и функционального анализа Механико-математического факультета Московского государственного университета имени М.В. Ломоносова.
Научные руководители: доктор физико-математических наук, профессор Сергеев Армен Глебович кандидат физико-математических наук, доцент Домрин Андрей Викторович
Официальные оппоненты: доктор физико-математических наук, профессор Ильяшенко Юлий Сергеевич доктор физико-математических наук, ведущий научный сотрудник Погребков Андрей Константинович
Ведущая организация: Московский государственный институт электроники и математики
Защита диссертации состоится 1 октября 2010 г. в 16 ч. 40 м. на заседании диссертационного совета Д.501.001.85 при Московском государственном университете имени М.В. Ломоносова по адресу: Российская Федерация, 119991, Москва, ГСП-1, Ленинские горы, Главное здание МГУ, механико-математический факультет, аудитория 16-24.
С диссертацией можно ознакомиться в библиотеке Механико-математического факультета МГУ. (Главное здание, 14 этаж.)
Автореферат разослан 31 августа 2010г.
Ученый секретарь диссертационного совета Д.501.001.85 при МГУ доктор физико-математических наук, профессор В.Н.Сорокин
ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ
Актуальность темы.
Диссертация посвящена: 1) изучению свойств решений некоммутативной грассмановой U (1) сигма-модели; 2) изучению свойств локально голоморфных решений интегрируемых эволюционных уравнений параболического типа.
Некоммутативная грассманова U (1) сигма-модель (которой посвящена первая глава диссертации) является простейшим случаем некоммутативной грассмановой U (n) сигма-модели некоммутативного аналога классической грассмановой сигма-модели. Классическая модель описывается следующим образом. Обозначим через Grk (Cn ) комплексный грассманиан (то есть многообразие k-мерных комплексных подпространств в Cn ), точки которого отождествляются с ортогональными проекторами в Cn, имеющими k-мерные образы. Рассмотрим гладкое отображение f : CP 1 Grk (Cn ) (иначе говоря, f (z) при каждом z есть матрица k-мерного ортогонального проектора в Cn ).
Энергия этого отображения задается функционалом (|x f |2 + |y f |2 )dxdy = |z f |2 dxdy, E(f ) := C C где z = x+iy, а |A|2 = tr(A A) обозначает квадрат нормы Гильберта-Шмидта матрицы A. Экстремали данного функционала (решения сигма-модели) называются гармоническими отображениями. Указанная классическая модель подробно изучалась математиками и физиками (см., например, монографию Закржевского1 ).
В теории струн возникает некоммутативный аналог приведенной выше модели, который рассматривался в работах2, 3, 4, 5. Он получается из классической модели заменой плоскости R2 ее некоммутативным аналогом R2, > 0. Переход к некоммутативной модели совершается по правилам исчисления псевдодифференциальных операторов Вейля6 и приводит к следуюсепарабельное гильбертово пространство, a и a щей картине. Пусть H стандартные операторы уничтожения и рождения в H. В некоммутативной W. J. Zakrzewski. Low dimensional sigma models // Adam Hilger, Bristol, 1989.
O. Lechtenfeld and A. D. Popov. Noncommutative multisolitons in 2+1 dimensions // JHEP, №11, 2001, 040.
A. V. Domrin, O. Lechtenfeld and S. Petersen. Sigma-model solitons in the noncommutative plane:
construction and stability analysis // JHEP, №03, 2005, 045.
А. В. Домрин. Некоммутативные унитоны // Теор. и матем. физика, т.154, №2, 2008, стр.220-239.
А. В. Домрин. Пространства модулей решений некоммутативной сигма-модели // Теор. и матем. физика, т.156, №3, 2008, стр.307-327.
Л. Хермандер. Анализ линейных дифференциальных операторов с частными производными, том III:
Псевдодифференциальные операторы // Мир, М., 1987.
грассмановой U (n) сигма-модели вместо отображений f (·) : CP 1 Grk (Cn ) рассматриваются ортогональные проекторы P в гильбертовом пространстве Cn H = H n. Производная z (·) заменяется на оператор 1 [I a, ·], произI a, ·], а интеграл по комплексной плоскости C 2T rH, где T rH след оператора по пространству H. Функционалу энергии E(f ) соответствует функционал где S 2 = T rH n (S S) квадрат нормы Гильберта-Шмидта оператора S (T rH n обозначает след по пространству H n ). Экстремали этого функционала (решения грассмановой U (n) сигма-модели) являются некоммутативными аналогами гармонических отображений из CP 1 в Grk (Cn ).
В диссертации изучается только некоммутативная грассманова U (1) сигма-модель. Эта модель представляет физический интерес, несмотря на то, что ее коммутативный аналог тривиален. Она является наиболее доступной для исследования некоммутативной грассмановой сигма-моделью благодаря тому, что определяющий ее оператор I a (в этом случае совпадающий с a) неприводим.
В приведенных выше работах2,3,4,5 изучались более общие некоммутативные U (n) сигма-модели, в которых функционал энергии E() = [a, ] 2 HS рассматривается на множестве унитарных операторов. Некоммутативные грассмановы U (n) сигма-модели вкладываются в них естественным образом:
если P ортогональный проектор, то I 2P унитарный оператор, причем E(I 2P ) = 4E(P ).
В работе4 было показано, что решения некоммутативной U (1) модели имеют целочисленную энергию. Там же были описаны решения некоммутативной U (1) модели с малыми значениями энергии. Одним из результатов главы 1 диссертации является описание всех решений грассмановой U (1) сигмамодели ранга 1. (Этот результат не покрывается работой4, поскольку решения модели ранга 1 могут иметь сколь угодно большую энергию.) В работе3 изучались так называемые диагональные решения некоммутативной U (1) сигма-модели, которые определяются следующим образом. В гильбертовом пространстве H можно ввести канонический ортонормированный базис {en }, порождаемый операторами a и a. Именно, вектор e0 этоn= го базиса выделяется условием ae0 = 0, а вектора en совпадают с точностью до нормировки с векторами (a )n e0. Диагональные решения некоммутативной U (1) сигма-модели имеют вид I 2P, где P проектор на линейную оболочку конечного набора векторов из канонического базиса. Все операторы такого типа действительно являются решениями некоммутативной U (1) сигма-модели. В работе3 исследован гессиан функционала энергии некоммутативной U (1) сигма-модели в точках, являющихся диагональными решениями. Доказано3, что в этих точках он обязательно имеет отрицательное собственное значение.
В разделе 1.3 главы 1 диссертации мы исследуем гессиан функционала энергии для более узкой некоммутативной грассмановой U (1) сигма-модели в точках, являющихся диагональными решениями (то есть в точках, отвечающих проекторам на линейную оболочку конечного набора векторов из канонического базиса). Доказано, что он также имеет отрицательное собственное значение во всех точках, кроме тех, которые отвечают проекторам на линейную оболочку первых n + 1 векторов e0, e1,..., en. Проекторы последнего типа являются локальными минимумами энергии благодаря тому, что их образ инвариантен относительно оператора a. Проекторы, обладающие последним свойством, принято называть BPS-решениями.
Далее изучается функционал энергии E(P ) на проекторах с бесконечномерными образом и ядром. Для таких проекторов приобретает важное значение исследование плотности области определения оператора [a, P ] (это свойство проектора P называется его допустимостью) и конечности энергии проектора P. Одной из наиболее интересных нерешенных задач в этом направлении является следующая: существуют ли проекторы указанного типа, имеющие конечную энергию? Предполагается4, что ответ на этот вопрос отрицательный. Поскольку3 BPS-решения с конечномерным образом являются абсолютными минимумами энергии на классе проекторов данного ранга, кажется разумным искать пример проектора конечной энергии с бесконечномерными образом и ядром именно среди BPS-решений. В диссертации построен целый класс (допустимых) BPS-решений, имеющих бесконечномерные образ и ядро (первый пример такого рода был построен в работе автора [1]).
Энергия построенных проекторов (в тех случаях, когда удается ее вычислить) оказывается бесконечной, что свидетельствует в пользу отрицательного ответа на поставленный выше вопрос. Заметим, что построенные в диссертации BPS-решения с бесконечной энергией можно рассматривать как некоммутативные аналоги антиголоморфных отображений из комплексной плоскости C в грассманиан, не продолжающихся на всю риманову сферу CP 1.
Вторая глава диссертации посвящена изучению вопроса о существовании локально голоморфных решений некоторых интегрируемых эволюционных уравнений параболического типа. Среди этих уравнений содержатся такие хорошо известные уравнения математической физики, как уравнение Кортевега-де Фриза (КдФ) модифицированное уравнение Кортевега-де Фриза (мКдФ) и нелинейное уравнение Шредингера (НУШ) в котором |u(x, t)|2 = u(x, t)u(, t).
Введем интересующий нас класс эволюционных уравнений (его подробное описание дано в7.) Фиксируем точку x0 C и обозначим через O(x0 ) пространство голоморфных ростков gl(n, C)-значных функций в точке x0, а через O(x0 )od пространство голоморфных ростков внедиагональных gl(n, C)значных функций в точке x0. Будем называть матричным дифференциальным полиномом отображение F : O(x0 ) O(x0 ) такое, что для любого O(x0 ) каждый элемент матрицы F () есть полином от элементов матрицы и их производных (один и тот же для всех ). Пусть a и b диагональные комплексные n n матрицы, причем aii = ajj и bii = bjj для i = j. Тогда существует8 единственная последовательность матричных дифференциальных полиномов Fk : O(x0 ) O(x0 ), k = 0, 1,... такая, что формальный степенной ряд F (, z) := удовлетворяет дифференциальному уравk нению тождественно по O(x0 )od и по z, и выполнены начальные условия: F0 () b, Fk (0) 0 для k 1. Уравнение называется m-м потоком иерархии, задаваемой матрицами a и b. Здесь q(x, t) искомая внедиагональная голоморфная функция в окрестности точки (x0, t0 ) C2, а матричный дифференциальный полином Fm+1 действует по переменной x.
Уравнения (4) для всевозможных матриц a и b являются комплексифицированными формами интегрируемых эволюционных уравнений интересующего нас класса. Для получения вещественных форм указанных уравнений требуется наложить на компоненты матрицы q дополнительные условия симметрии7, 9. В диссертации изучаются только иерархии, задаваемые 2 2матрицами (заметим, что все физически содержательные примеры относятся к этому классу).
Уравнение (4) можно представить в виде условия нулевой кривизны В. Е. Захаров, С. В. Манаков, С. П. Новиков, Л. П. Питаевский. Теория солитонов. Метод обратной задачи // Наука, М., 1980.
А. В. Домрин. Замечания о локальном варианте метода обратной задачи рассеяния // Труды МИАН т.253, 2006, стр.46-60.
C.-L. Terng and K. Uhlenbeck. Bcklund transformations and loop group actions // Comm. Pure Appl.
Math. v.53, 2000, pp.1-75.
для связности U (x, t, z)dx + V (x, t, z)dt, где Уравнения, представимые в таком виде, подробно изучались с помощью метода обратной задачи рассеяния7, 10, 11. Локальный вариант этого метода был предложен В.Е.Захаровым и А.Б.Шабатом10. Позднее этот вариант метода обратной задачи был применен А.В.Домриным8, 12 для исследования локальной голоморфной задачи Коши для уравнения (4). В частности, в был получен критерий разрешимости локальной голоморфной задачи Коши для этого уравнения, который формулируется ниже. Сначала приведем необходимые определения.
Определение 1. Фиксируем диагональную комплексную nn матрицу a такую, что aii = ajj для i = j. Пусть q0 O(x0 )od. Тогда среди формальных степенных рядов вида где ms (x) O(x0 ), существует12 единственный ряд m(x, z), удовлетворяющий уравнению в котором все матрицы ms (x0 ) внедиагональны. Формальный степенной ряд Lq0 (z) := m(x0, z) I называется локальными данными рассеяния для потенциала q0.
Определение 2. Формальный степенной ряд принадлежит классу Жеврея с показателем, обозначаемому Gev, если степенной ряд y имеет ненулевой радиус сходимости.
Имеет место следующий критерий разрешимости12 локальной голоморфной задачи Коши для уравнения (4). Фиксируем диагональную матрицу a, В. Е. Захаров, А. Б. Шабат. Интегрирование нелинейных уравнений математической физики методом обратной задачи рассеяния. II // Функц. анализ и его приложения, т.13, вып.3, 1979, стр.13-22.
Л. Д. Фаддеев и Л. А. Тахтаджян. Гамильтонов подход в теории солитонов // Наука, М., А. В. Домрин. Мероморфное продолжение решений солитонных уравнений // Изв. РАН, Сер. матем.
т.74, вып.3, 2010, стр.23-44.
участвующую в определениях иерархии и данных рассеяния. Задача Коши для уравнения (4) при m > 1 с начальным условием q(x, t0 ) = q0 (x), где q0 (x) O(x0 )od, имеет локальное голоморфное решение в окрестности точки (x0, t0 ) C2 тогда и только тогда, когда Lq0 Gev1/m. Если такое решение существует, то оно единственно.
Приведенный критерий мотивирует вычисление классов Жеврея данных рассеяния для различных потенциалов. Для любого ростка q0 O(x0 )od его данные рассеяния Lq0 принадлежат классу Gev1 8. В случае верхнетреугольu(x) ных 22-потенциалов q0 (x) = преобразование рассеяния сводится к преобразованию Лапласа функции u. Это позволяет получить следующий критерий: Lq0 Gev тогда и только тогда, когда u(x) целая функция порядка не выше ; если порядок u(x) равен в точности, то эта целая функция имеет конечный тип12. Однако в случае общих 2 2-потенциалов вопрос о принадлежности их данных рассеяния конкретному классу Gev с < 1 является трудной задачей.
Первые два раздела второй главы диссертации посвящены исследованию этого вопроса. Из полученных там результатов выводятся утверждения о неразрешимости локальной голоморфной задачи Коши для уравнений, включенных в иерархии КдФ, мКдФ и НУШ (и, в частности, для самих этих уравнений), с начальными условиями специального вида. В частном случае уравнения КдФ полученный нами результат совпадает с доказанным в13.
Для разрешимости локальной голоморфной задачи Коши для уравнения (4) с начальным условием q(x, t0 ) = q0 (x) необходимо, чтобы данные рассеяния Lq0 принадлежали какому-нибудь классу Жеврея с показателем, меньшим 1. Для этого росток q0 (x) должен продолжаться до мероморфной функции на C и являться пикаровским потенциалом12.
Определение 3. Пусть a11, a22 различные комплексные числа. Следуя работе14, скажем, что пара u(x), v(x) мероморфных функций на комплексной плоскости C задает пикаровский потенциал, если при каждом z C система двух линейных дифференциальных уравнений имеет фундаментальную систему решений, мероморфную на всей комплексной плоскости C переменного x.
N. Joshi, J. A. Petersen, L. M. Schubert. Nonexistence results for the Korteweg-de Vries and KadomtsevPetviashvili equations // Studies in Appl. Math., v.105, 2000, pp.361-374.
F. Gesztesy, R. Weikard. Elliptic algebro-geometric solutions of the KdV and AKNS hierarchies an analytic approach // Bull.AMS т.35, 1998, pp.271-317.
Основной результат работы14 состоит в том, что пара эллиптических функций с общей решеткой периодов задает пикаровский потенциал тогда и только тогда, когда этот потенциал является стационарным решением некоторого потока иерархии (4). Все это мотивирует более подробное изучение пикаровских потенциалов с тем, чтобы дать их более явное и полное описание. Заметим, что полученное в работе15 описание пикаровских потенциалов относилось к случаю, когда v(x) 1, а функция u(x) принадлежит одному из следующих классов: 1) эллиптическая; 2) периодическая и ограниченная вблизи концов полосы периодов; 3) рациональная и голоморфная в точке.
В этом случае пикаровость потенциала равносильна выполнению для функции u(x) соответствующего варианта условий Калоджеро-Мозера.
В последних двух разделах главы 2 получены новые необходимые условия пикаровости 2 2 -потенциалов общего вида.
Цель работы.
Изучение свойств решений и области определения функционала энергии в некоммутативной грассмановой U (1) сигма-модели. Изучение свойств решений локальной голоморфной задачи Коши для интегрируемых эволюционных уравнений параболического типа.
Научная новизна.
В диссертации получены следующие новые результаты:
1. В некоммутативной грассмановой U (1) сигма-модели описаны решения ранга 1 и изучен вопрос их устойчивости. Для этой же модели исследован вопрос устойчивости диагональных решений: доказано, что гессиан функционала энергии на диагональных решениях, не являющихся BPSрешениями, имеет отрицательное собственное значение.
2. Построен класс проекторов с бесконечномерными образом и ядром, являющихся BPS-решениями. Приведено доказательство допустимости этих проекторов. Приведен пример BPS-решения некоммутативной грассмановой U (1) сигма-модели с бесконечной энергией.
3. Получена верхняя оценка показателя класса Жеврея для данных рассеяния полиномиальных 2 2-потенциалов. Получены нижние оценки показателей классов Жеврея для данных рассеяния 2 2-потенциалов F. Gesztesy, K. Unterkoer, and R. Weikard. An explicit characterization of Calogero-Moser systems // Trans. AMS v.358, 2006, pp.603-656.
с определенными свойствами тейлоровских коэффициентов. Получено необходимое условие пикаровости 2 2-потенциалов общего вида и более сильное условие пикаровости симметрических 2 2-потенциалов.
4. Получены необходимые условия разрешимости локальной голоморфной задачи Коши для модифицированного уравнения Кортевега-де Фриза и нелинейного уравнения Шредингера.
Основные методы исследования.
Методы исследования, используемые в диссертации, включают в себя методы функционального анализа, комплексного анализа и теории дифференциальных уравнений.
Теоретическая и практическая ценность работы.
Диссертация носит теоретический характер. Полученные в ней результаты могут представлять интерес для специалистов, занимающихся современной теоретической физикой и классическими нелинейными уравнениями математической физики.
Апробация работы.
Результаты диссертации неоднократно докладывались на заседаниях научного семинара по многомерному комплексному анализу им. А.Г.Витушкина под руководством проф. В.К.Белошапки, член-корр. РАН С.Ю.Немировского, проф. А.Г.Сергеева, член-корр. РАН Е.М.Чирки (механико-математический факультет МГУ имени М.В.Ломоносова) в 2006-2009гг.
Результаты диссертации докладывались также на следующих научных конференциях:
• Международная конференция по геометрическим методам в физике (Беловежа, Польша, 2-8 июля 2006г.) • Второе российско-армянское совещание по математической физике, комплексному анализу и смежным вопросам (Москва, 5-11 октября • Летняя школа-конференция по проблемам алгебраической геометрии и комплексного анализа при Ярославском государственном педагогическом университете (Ярославль, 11-16 мая 2009 г.) • Международная школа-конференция по геометрии и квантованию (Люксембург, 7 - 11 сентября 2009 г.).
Публикации.
Основное содержание диссертации опубликовано в 4 работах автора, работы из перечня ВАК. Список работ приведен в конце автореферата [1] [4].
Структура и объем диссертации.
Диссертация состоит из введения, 2 глав и списка литературы. Объем диссертации 75 страниц, библиография включает 26 наименований.
КРАТКОЕ СОДЕРЖАНИЕ РАБОТЫ
Во введении приводятся основные определения, такие как определения некоммутативной грассмановой U (1) сигма-модели, иерархии эволюционных уравнений, данных рассеяния, классов Жеврея, пикаровости потенциала.
Приводится обзор ранее полученных результатов. Формулируются основные результаты диссертации.
В первой главе изучается некоммутативная грассманова U (1) сигмамодель.
В разделе 1.1 приводятся необходимые определения и ранее известные факты, относящиеся к некоммутативной грассмановой U (1) сигма-модели.
Дается реализация этой модели в пространстве Баргмана-Фока.
В разделе 1.2 изучается функционал энергии на проекторах ранга один.
Обозначим через c когерентное состояние единственный (с точностью до умножения на с || = 1) нормированный собственный вектор оператора a, отвечающий собственному значению C. Основной результат раздела формулируется следующим образом.
Теорема 1. Проектор P с одномерным образом является решением некоммутативной грассмановой U (1) сигма-модели тогда и только тогда, когда его образ является прямой с направляющим вектором (a )j c для некоторых C и j = 0, 1,.... Среди них проекторы на когерентные состояния c отвечают (локальным) минимумам функционала энергии, а максимумы отcутствуют.
В разделе 1.3 изучается гессиан функционала энергии некоммутативной грассмановой U (1) сигма-модели на диагональных решениях. Основным результатом является следующая теорема.
Теорема 2. Пусть P0 – диагональный проектор с конечномерным образом (то есть проектор на линейную оболочку конечного набора векторов канонического базиса). Тогда P0 является решением некоммутативной грассмановой U (1) сигма-модели.
Если P0 есть проектор на линейную оболочку первых n + 1 векторов {e0, e1,..., en }, то P0 – локальный минимум функционала энергии. В противном случае гессиан функционала энергии в точке P0 имеет отрицательное собственное значение.
В разделе 1.4 рассматриваются проекторы P на подпространство, являющееся ядром оператора (a), где (z) произвольный экспоненциальный полином. Для этих проекторов доказана следующая теорема.
Теорема 3. Проектор P для произвольного экспоненциального полинома (z) допустим, то есть оператор [a, P ] плотно определен в H.
Все такие проекторы являются BPS-решениями, то есть их образ инвариантен относительно оператора a, и имеют бесконечномерное ядро. Образ проектора P также бесконечномерен, за исключением случая, когда (z) имеет конечное множество нулей. Для одного из таких проекторов, а именно, проектора Psin z показано, что:
Теорема 4. Энергия проектора Psin z бесконечна.
Тем самым, проектор Psin z доставляет пример BPS-решения, имеющего бесконечную энергию.
В разделе 1.5 дан обзор открытых вопросов и приводятся комментарии к результатам, полученным в этой главе.
Во второй главе диссертации изучается локальная голоморфная задача Коши для интегрируемых эволюционных уравнений параболического типа.
Ключевое значение для разрешимости указанной задачи имеет числовое значение показателя Жеврея для данных рассеяния начального условия. Первые два раздела второй главы посвящены оценкам этих показателей. В качестве следствий мы получаем необходимые условия разрешимости локальной голоморфной задачи Коши для уравнений КдФ, мКдФ, НУШ и уравнений, включенных в порождаемые ими иерархии.
В разделе 2.1 получена верхняя оценка на показатель класса Жеврея для данных рассеяния полиномиальных 2 2-потенциалов.
Теорема 5. Пусть компоненты u, v потенциала q0 (x) = являются полиномами степеней k и l соответственно. Тогда данные рассеяния Lq0 принадлежат классу Gev k+l.
В разделе 2.2 получена нижняя оценка показателя класса Жеврея для данных рассеяния мономиальных 2 2-потенциалов.
Теорема 6. Пусть где k, l N0, а A, B C\{0}. Тогда данные рассеяния Lq0 не принадлежат Эта оценка была также независимо получена в работе16. Объединяя верхнюю и нижнюю оценки, получаем точную оценку показателя класса Жеврея для данных рассеяния мономиальных потенциалов.
Используя аналогичные методы, в разделе 2.2 доказываются результаты о неразрешимости локальной голоморфной задачи Коши для уравнений (4) с начальными условиями, которые обладают определенными свойствами симметрии и лорановскими коэффициентами специального вида. В частности, приводятся результаты о неразрешимости локальной голоморфной задачи Коши для уравнений, включенных в иерархии КдФ, мКдФ и НУШ, с начальными условиями специального вида (следствия 6, 7, 9).
Следствие 6. Пусть мероморфная в C функция u0 (x) имеет в точке C тейлоровское разложение вида где cn 0 и cN > 0 для некоторого N 2. Тогда локальная голоморфная задача Коши для уравнения (4) при m > 2 в окрестности произвольной точu0 (x) ки (x0, t0 ) C2 с начальным условием q(x, t0 ) = неразрешима.
В частности, локальная голоморфная задача Коши для любого нечетного потока иерархии КдФ, кроме первого (и для самого уравнения КдФ (1) при m = 3), в окрестности произвольной точки (x0, t0 ) C2 с начальным условием u(x, t0 ) = u0 (x) неразрешима.
Следствие 9. Пусть мероморфная в C функция u0 (x) имеет в точке R тейлоровское разложение вида где C C \ {0}, cn 0 и cN > 0 для некоторого N 2. Тогда локальная голоморфная задача Коши для уравнения (4) при m > 1 в окрестности произвольной точки (x0, t0 ) R2 с начальным условием q(x, t0 ) = А. В. Домрин, А. В. Домрина. О расходимости ряда Концевича-Виттена // Успехи матем. наук, т.63, вып. 4, 2008, стр.185-186.
ча Коши для любого потока иерархии НУШ, кроме первого (и для самого уравнения НУШ (3) при m = 2), в окрестности произвольной точки (x0, t0 ) R2 с начальным условием u(x, t0 ) = u0 (x) неразрешима.
Последние два раздела второй главы посвящены изучению свойства пикаровости 2 2-потенциалов. Как уже говорилось, пикаровость начального условия необходима для наличия локально голоморфных решений уравнения (4). В предложении 10 показано, что пикаровость потенциалов не зависит от выбора чисел a11 = a22.
В разделе 2.3 изучается пикаровость 2 2-потенциалов общего вида. В теореме 7 получено необходимое условие пикаровости для произвольного мероморфного потенциала в случае, когда хотя бы одна из задающих его функций u(x), v(x) имеет полюс x0 C.
Теорема 7. Пусть a11, a22 различные комплексные числа, а u(x), мероморфные функции в окрестности точки x0 C, причем хотя v(x) бы одна из них имеет в точке x0 полюс порядка n. Пусть система имеет при каждом z C мероморфную в окрестности точки x0 фундаментальную систему решений. Тогда произведение u(x)v(x) обязательно имеет в точке x0 полюс второго порядка и для некоторого N = n + 1, n + 3, n + 5,....
С помощью данной теоремы получается необходимое условие разрешимости нелинейного уравнения Шредингера.
Следствие 12. Если нелинейное уравнение Шредингера (3), рассматриваемое в окрестности точки (x0, t0 ) R2, с начальным условием u(x, t0 ) = u0 (x) имеет вещественно-аналитическое решение, то функция u0 (x) продолжается до мероморфной в C функции, не имеющей полюсов на вещественной оси.
Необходимое условие пикаровости из теоремы 7 является довольно ограничительным, а в случае мономиальных потенциалов оно становится даже необходимым и достаточным (теорема 8).
В разделе 2.4 изучается пикаровость симметричных потенциалов (для которых v(x) = u(x)). Выбор этого условия вещественности приводит к иерархии мКдФ. В теореме 9 получено необходимое условие пикаровости таких потенциалов, которое является более сильным по сравнению с условием из теоремы 7.
Теорема 9. Пусть a11 и a22 различные комплексные числа. Пусть мероморфная функция в окрестности точки x0 C, имеющая в u(x) этой точке полюс. Предположим, что система имеет при каждом z C мероморфную в окрестности точки x0 фундаментальную систему решений. Тогда u(x) имеет в точке x0 полюс первого порядка и разложение u(x) в окрестности точки x0 имеет вид Кроме того, в разделе 2.4 получен аналог условий Калоджеро-Мозера для случая симметричных потенциалов (следствие 13).
Благодарности.
Автор выражает глубокую благодарность своим научным руководителям:
доктору физико-математических наук, профессору Армену Глебовичу Сергееву за постоянное внимание к работе и кандидату физико-математических наук, доценту Андрею Викторовичу Домрину за постановку задач и постоянное внимание к работе.
Список публикаций по теме диссертации.
[1] А. В. Комлов. Некоммутативная грассманова U (1) сигма-модель и пространство Баргмана-Фока // Теор. и матем. физика. 2007. т. 153, №3 стр. 347-357.
[2] А. В. Комлов. Оценки классов Жеврея данных рассеяния для полиномиальных потенциалов // Успехи матем. наук. 2008. т.63, вып. стр.189-190.
[3] А. В. Комлов. О полюсах пикаровских потенциалов // Труды ММО.
2010. т. 71 стр.271-283.
[4] A. Komlov. Noncommutative Grassmannian U (1) sigma-model and BargmannFock Space // Journal of Geometry and Symmetry in Physics. 2007.