Голоморфные решения солитонных уравнений тема автореферата и диссертации по математике, 01.01.01 ВАК РФ

Домрин, Андрей Викторович АВТОР
доктора физико-математических наук УЧЕНАЯ СТЕПЕНЬ
Москва МЕСТО ЗАЩИТЫ
2013 ГОД ЗАЩИТЫ
   
01.01.01 КОД ВАК РФ
Диссертация по математике на тему «Голоморфные решения солитонных уравнений»
 
Автореферат диссертации на тему "Голоморфные решения солитонных уравнений"

На правах рукописи УДК 517.55 + 517.958

/■"Тх

Домрин Андрей Викторович

ГОЛОМОРФНЫЕ РЕШЕНИЯ СОЛИТОННЫХ УРАВНЕНИЙ

01.01.01 — вещественный, комплексный и функциональный анализ

автореферат диссертации на соискание ученой степени доктора физико-математических наук

О 5 СЕН 2013

Москва 2013

005532749

Работа выполнена в ФГБОУ ВПО "Московский государственный университет им. М. В. Ломоносова".

Официальные оппоненты:

доктор физико-математических наук, профессор Г'риневич Петр Георгиевич, старший научный сотрудник ФГБУН Институт теоретической физики им. Л. Д. Ландау РАН

доктор физико-математических наук, член-корреспондент РАН Немировс-кий Стефан Юрьевич, главный научный сотрудник отдела комплексного анализа ФГБУН Математический институт им. В. А. Стеклова РАН

доктор физико-математических наук, профессор Новокшенов Виктор Юрьевич. главный научный сотрудник отдела дифференциальных уравнений ФГБУН Институт математики с вычислительным центром Уфимского научного центра РАН

Ведущая организация:

ФГБУН Институт прикладной математики им. М. В. Келдыша РАН

Зашита диссертации состоится 26 сентября 2013 г. в 14 часов на заседании диссертационного совета Д.002.022.01 при МИАН по адресу: 119991, Москва, ул. Губкина, д. 8, 9-ый этаж, конференц-зал.

С диссертацией можно ознакомиться в библиотеке МИАН.

Автореферат разослан

Ученый секретарь диссертационного совета

Д.002.022.01 при МИАН доктор физико-математических наук, профессор

В.А.Ватутин

Общая характеристика работы

Актуальность темы. Первым результатом обшей теории дифференциальных уравнений с частными производными была теорема Коши-Ковалев-ской1,2, которую в нужной нам общности можно сформулировать так. Пусть функция Р голоморфна по (x,t) в окрестности точки (хд, ¿о) € С2 « полиномиальна по остальным свои.м аргументам. Тогда задача Коти

dîu(x,t0) = <Pj(x)> 0 < j ^ m - 1,

имеет единственное локальное голоморфное решение и(х, t) в окрестности точки (хо> ¿о) для любых голоморфных ростков <ро, ipi,... , <£>m-i € 0(xq). Объясняя необходимость условий k + l ^ m, (k. I) ф (0, m), С. В. Ковалевская2 установила следующую теорему о принудительном аналитическом продолжении решений уравнения теплопроводности. Всякое решение и € 0{D) уравнения ut = ихх на произвольном бидиске D = {(x,t) € С2 | \х — жо| < ci, |i — £qI < £2} допускает аналитическое продолжение до решения и € О (S) того же уравнения на полосе S = { (х, t) € С2 ] |i — £0] < £2} • Иными словами, любое локальное голоморфное решение u(x,t) продолжается до целой функции от х при каждом допустимом значении t. Из результатов последующих работ Г. С. Салехова'*, К. Чисельмана4 и М. Цернера5 вытекает, что это же свойство имеет место и для всех локальных голоморфных решений и(х, t) следующих все более широких классов уравнений:

гл-1

(1) 0\и = -г У^ cjDiu,

j—0

(2) д?и= Ckid^dlu,

k+Km

(3) д?и= J2 ш{хЛ)дкАи,

k+l<.m.

1 A.-L. Cauchy, Mémoire sur les systèmes d'équations aux dérivées partielles d'ordre quelconque et sur leur réduction à systèmes d'équations linéaires du premier ordre // C. R. Acad. Sci- Paris, 40(1842), 131-138.

~3. von Kowalevsky, Zur Théorie der partiellen Difierentialgleichungen // J. reine angew. Math., 80(1875), 1-32.

3Г. С. Салехов, О задаче Коши-Козалевской для одного класса линейных уравнений с частными производными в области сколь угодно гладких функций // Изв. Акад. Наук СССР Сер. матсм., 14 (.1950), 355-366.

4С. Kiselman, Prolongement des solutions d'une équation aux dérivées partielles à coefficients constants // Bull. Soc. Math. France, 97(1969), 329-356.

5M.. Zerner, Domaines d'holomorphie des fonctions vérifiant une équation aux dérivées partielles // C. R. Acad. Sci. Paris 272(1971), 1646-1648.

где т ¿г 2 и 1 р < га — пелые числа, с}, сул 6 С — постоянные коэффициенты, а функции аы € 0({(х, £) € С2 | — I < <5}) являются целыми по х и голоморфными в окрестности точки ¿о £ С. Современное состояние вопроса об аналитическом продолжении голоморфных решений линейных уравнений с частными производными отражено в известной монографии Л. Хёрмандера6 и статьях Г. М. Хенкина7 и С. Рига8.

Попытки обобщить эти результаты и подходы на нелинейные уравнения и системы до сих пор приводили лишь к частичным и разрозненным результатам (см., например,9,10 и ссылки там). С другой стороны, сейчас активно изучается весьма близкое к принудительному аналитическому продолжению явление диссипативного сглаживания (регуляризуюгций эффект дисперсивных эволюционных уравнений математической физики)11,12, но там на решение и(х,Ь) всегда налагаются некоторые глобальные ограничения по х при £ = £ц € К, заключения об аналитическом продолжении в ту или иную окрестность вещественной оси К1 С С1 делаются только для вещественных Ь > ¿о- Немногочисленные исключения13,14 из этого правила также не дают никакой информации об аналитическом продолжении произвольных локальных голоморфных (по х и £) решений.

Между тем, получение такой информации хотя бы для солитонных уравнений (параболического типа, ибо в гиперболическом случае вопрос тривиале по теореме Коши—Ковалевской) уже давно имеет статус мечты15, нривлека

6 Л. Хёрманлер, Анализ линейных дифференциальных операторов с частными производными, т. I. Москва. Мир, 1986. См. особенно § 9.4.

7G. М. Henkin, Jean Leray and several complex variables // in: J. Leray, Oeuvres Scientifiques, vol. Ill, Berlin and Paris, Springer and SMF, 1998, 1-31.

8S. Rigat, Application of functional calculus to complex Cauchy problems // Comput. Meth. Funct. Theory, 7(2007), 509-526.

9H. Tahara. On the singularities of solutions of nonlinear partial differential equations in th< complex domain // Microfocal analysis and asymptotic analysis (T. Kawai, ed.), RIMS Kokyurok 1397(2004), 102-111.

10H. Hannach, A. A. Himonas and G. Petronilho, Gevrey regularity in time for generalized KdV type equations // Contemp. Math. 400(2006), 117-127.

llF. Linares and G. Ponce, Introduction to nonlinear dispersive equations, New York, Springer 2009.

12 A. Rybkin, The Hirota т-function and well-posedness of the Korteweg—de Vries equatio with an arbitrary step-like initial profile decaying on the right half-line // Nonlinearity 24(2011) 2953-2990.

13 J. B. McLeod and P. J. Olver, The connection between partial differential equations solubl by inverse scattering and ordinary differential equations of Painleve type // SIAM J. Math. Anal 14(1983), 488-506.

14N.Hayashi and K.Kato, Regularity in time of solutions to nonlinear Schrodinger equation // J. Funct. Anal. 128(1995), 253-277.

1SM. D. Kruskal, N.Joshi and R. Halburd, Analytic and asymptotic methods for nonlineai singularity analysis: a review and extension of tests for the Painleve property // Lect. Note Phys. 638(2004), 175-208. См. особенно стр. 195.

тельной, но недоступной из-за технических трудностей. Поясним, что такое солитонные уравнения, на следующих примерах:

(4) ut = аиххх + buux, a., b € С \ {0},

(5) utt = аихххх + buuxx + Ьих, а, Ь 6 С \ {0},

(6) гщ = аихх + ím|u|2, a, b 6 К \ {0},

причем в (6) под |гг|2 понимается u(x,t)u(x,t). Метод обратной задачи рассеяния был впервые предложен именно для уравнения Кортевега—де Фриза (4), описывающего (в случае вещественных a, b) длинные волны на мелкой воде. К. Гарднер, Дж. Грин, М. Крускал и Р. Миура16 заметили, что когда потенциал u(x,t) эволюционирует согласно (4), то эволюция его данных рассеяния (некоторых спектральных характеристик оператора L — дх + и(х, t) на пространстве L2(Ri)) оказывается линейной и "явно интегрируемой", что позволяет строить примеры решений и изучать свойства всех решений определенных классов. Объяснение неожиданного успеха этого подхода дал П. Лаке17, показав, что уравнение (4) (для определенности, с а = 1/4, b = 3/2) есть условие разрешимости вспомогательной линейной задачи

(7) Ьф = А ф, Vi = Pi>

для операторов L := дх + и и Р дх + (3/2)идх 4- (3/4)и.г. Иными словами, уравнение (4) можно записать в виде Lt = [Р, L}. Отсюда в силу кососимметричности оператора Р вытекает, что эволюция оператора L сводится к его сопряжению посредством некоторого зависящего от t унитарного оператора на пространстве Ь2(ЖХ), чем и объясняется удивительная простота закона эволюции данных рассеяния.

Нелинейное уравнение Шредингера (6) описывает эволюцию огибающей волнового пакета, распространяющегося в нелинейной среде с дисперсией. Включение этого уравнения в рамки метода обратной задачи рассеяния, проведенное В. Е. Захаровым и А. Б. Шабатом18, потребовало перехода в (7) от скалярного дифференциального уравнения второго порядка Lt¡> = Xiji к матричному 2x2-уравненшо первого порядка с последующей редукцией (т.е. подбором матриц специальной алгебраической структуры, в данном случае косоэрмитовых). При этом вспомогательная линейная задача приобрела вид

(8) Ех = UE, Et = VE

l6C. S. Gardner, J. M. Greene, M. D. Kruskal and R. M. Miura, Method for solving the Korte-weg-de Vrics equation // Phys. Rev. Lett. 19(1967), 1095-1097.

:' P. D. Lax, Integrals of nonlinear equations of evolution and solitary waves // Comm. Pure Appl. Math. 21(1968), 467-490.

1SB.E. Захаров, А. Б. Шабат, Точная теория двумерной самофокусировки и одномерной автомодуляции волн в нелинейных средах // ЖЭТФ 61(1971), 118—134.

для некоторых матричнозначных полиномов U(x, t, z) и V(x, t, z) степеней соответственно 1 и 2 от спектрального параметра г € С (связанного с параметром Л из (7) соотношением Л = zn в случае те х n-матриц), а само уравнение (б) оказалось записанным, хотя и неявно, в виде редукции уравнения нулевой кривизнь

(9) Ut-Vx + [U,V}= О,

играющего фундаментальную роль в нашей работе. Первая явная запись о литонных уравнений в виде редукций уравнений нулевой кривизны и первы. применения такой формы записи принадлежат С. П. Новикову19.

Наконец, уравнение Буссинеска (5), описывающее (как и уравнение Ко] тевега-де Фриза) волны на воде, но допускающее (в отличие от уравнени Кортевега-де Фриза) движение волн как вправо, так и влево, было включен в рамки метода обратной задачи рассеяния В. Е. Захаровым (1973) и оказалос первым физически важным случаем, где вместо 2 х 2-матриц в (8) или one раторов L второго порядка в (7) пришлось рассматривать 3 х 3-матрицы им операторы третьего порядка.

Итак, все три уравнения (4)-(6) являются редукциями уравнения (9), в к тором U и V суть полиномы от г, причем cleg U — 1, deg V ^ 2. Пргпгим; это свойство за определение солитонного уравнения параболического типа мы дадим полный ответ на вопрос об аналитическом продолжении локальны голоморфных решений таких уравнений. Оказывается, дело обстоит почти та же как для линейных уравнений (1)-(3), только теперь решения продолжаютс не до целых функций от х, а до глобально мероморфных.

Утверждение 1. Для каждого из уравнений (4)-(6), любое голоморфно решение u(x,t) в бидиске D = {(x,i) 6 C2j|x — Хо| < 11 — io| < £2} (с ее щестпеепным центром (xo,io) € К2 в случае уравнения (6)) допускает апали тическое продолжение до мероморфной функции u(x,t.) в полосе S = {(x,i)

C2[|i- i0| <е2}-

Из теоремы Коши-Ковалевской (с х в качестве временной переменной) вы текает, что утверждение 1 неулучшаемо: для каждого из уравнений (4)—(6 можно указать такое решение и, что его продолжение и не может быть пр должено далее ни через одну граничную точку полосы S. Иными словами оболочка мероморфности любого локального голоморфного (или мероморфнс го) решения покрывает всю плоскость в направлении оси х и может быть с вершенно произвольной (любой наперед заданной) в направлении оси t.

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

1ВС. П. Новиков, Периодическая задача для уравнения Кортевега-де Фриза // Функц. агга лиз приложен. 8(1974), вып.З, 54-66.

^до сих пор имевшийся лишь в гиперболическом случае20), где потенциалами являются голоморфные ростки без каких-либо граничных условий. Это можно считать шагом на пути к еще одной мечте"*1: единому подходу к изучению конечнозонных и быстроубывающих решений.

Предлагаемый метод использует задачу Римана22,23 о факторизации мат-ричнозначных функций на окружности, точнее, обобщение этой задачи на случай расходящихся рядов жевреевского типа. Установив условия симметричности. достаточные для разрешимости подобных задач, мы приходим к следующему более точному (не допускающему полюсов) нелинейному аналогу упомянутой выше теоремы C.B. Ковалевской2. Этот аналог касается лишь вещественных значений переменных (х, t.) и так называемого фокусирующего случая ab > 0 нелинейного уравнения Шредингера (б). Он не имеет места в дефокуси-руюшем случае ab < 0.

Утверждение 2. Всякое вещественно-аналитическое решение и : П —* С уравнения (6) с ab > 0 на прямоугольнике П := {(х, t) 6 M2 j \х — асо| < £i, 11 — ¿oI < ^а} продолжается до вещественно-аналитической функции и : S —> С на полосе S := {(x,t) € Ж2 | |í — ¿oI < £"2}-

Простейшим и самым известным солитонным уравнением гиперболического типа является так называемая унитарная сигма-модель теории поля или уравнение гармонических отображений вещественной двумерной плоскости с лоренневой метрикой в унитарную группу22,23. Вопросы об аналитическом продолжении голоморфных решений становятся в этом случае тривиальными. Но если мы перейдем от лоренцевой метрики к евклидовой и добавим условие конечности энергии, то возникает новая задача: описать все такие решения. Ею занимались Ш.Чжень, Э.Калаби, Дж.Иллс (см. обзоры24,25). Один из подходов к решению этой задачи был предложен К.Уленбек26 и мотивирован теорией солитонных уравнений. Он основан на понятии добавления унитона (предельный случай операции добавления солитона). Пользуясь пред-

20И. М. Кричевер, Нелинейные уравнения и эллиптические кривые // Итоги науки техн. Соврем, проблемы математики, 23(1983), стр. 79-136. См. особенно стр. 81-90.

21D. Bennequin, Hommage à Jean-Louis Vcrdier: Au jardin des systèmes integrables // in: Integrable systems. The Verdier memorial conférence (O. Babelon et al. eds), Boston, Birkhâuser, 1993. 1-36. См. особенно стр. 35-36.

22B

.E. Захаров, C.B. Маиаков, С.П. Новиков и Л.П. Питаевский, Теория солитонов. Метод обратной задачи рассеяния, Москва, Наука, 1980.

23Л.А. Тахтаджян и Л. Д. Фаддеев, Гамильтонов подход в теории солитонов, Москва, Наука, 1986. См. особенно гл. II частиI и §§6—8 гл.1 части II.

24Й.Давидов, А.Г.Сергеев, Твисторпые пространства и гармонические отображения // Успехи Матем. Наук 48(1993), вып.З, 3-96.

2aF. Héiein and J.C.Wood, Harmonie maps // in: Handbook of global analysis (D. Krupka, D. Sauoders eds.), Amsterdam, Elsevier, 2008, 417-491. См. особенно стр. 476-480.

2бК. Uhlenbeck, Harmonie maps into Lie groups: classical solutions of the chiraî model // J.Diff.Geom. 30(1989), 1-50.

ставлением нулевой кривизны (9) для изучаемого уравнения, мы переносим теорию унитонов на некоммутативную сигма-модель27, получаемую из обычной сигма-модели квантованием по Вейлю (см. монографию Л. Хёрмандера6, т.Ш, § 18.5), и извлекаем следствия: целочисленность энергии всех решений (в надлежащих единицах измерения) и описание всех решений, энергии не выше 5.

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

Научная новизна. Все результаты работы являются новыми. В диссертации получены следующие основные результаты.

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

2. Описаны все возможные оболочки мероморфности ростков голоморфных решений таких уравнений.

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

4. Установлено свойство тривиальности монодромии в полюсах глобальных мероморфных функций, полученных продолжением ростков решений солитонных уравнений.

5. Описаны пространства модулей решений некоммутативной сигма-модел. теории поля, имеющих нормированную энергию не выше 5.

Теоретическая и практическая ценность. Работа носит теоретичес кий характер. Результаты диссертации могут найти применение в теорш функций нескольких комплексных переменных, теории уравнений с частным! производными и математической физике.

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

Апробация работы. Результаты работы докладывались и обсуждались Московском государственном университете им. М.В.Ломоносова на семинар

27О. Lechtcnfeld, Noncommutative solitons // Recent developments in gravitation and cosm logy (A. Macias et al. eds), AIP Conf. Proc. 977(2008), 37-51.

кафедры Т'ФФА по многомерному комплексному анализу (семинаре Витушки-на) под руководством чл.-корр. РАН Е. М. Чирки, чл.-корр. РАН С. Ю. Неми-ровского, проф. А. Г. Сергеева и проф. В. К. Белошапки и на семинаре "Операторные модели в математической физике" под руководствам проф. А. А. Шка-ликова, в Математическом институте им. В. А. Стеклова РАН на семинаре по комплексному анализу под руководством академика A.A.Гончара, чл.-корр. РАН Е. М. Чирки и проф. А. И. Аптекарева, семинаре отдела математической физики под руководством академика В. С. Владимирова и семинаре "Комплексные задачи математической физики" под руководством проф. А. Г. Сергеева, на семинаре кафедры анализа под руководством проф. А. Т. Хаклберри в Рурском университете в Бохуме, семинаре по теории струн под руководством проф. О. Лехтенфельда в институте физики университета им. Лейбница в Ганновере, семинаре по теории интегрируемых систем под руководством проф. А. Дегаспериса в университете Рим-3, семинаре по многомерному комплексному анализу под руководством проф. К. Pea в университете Рим-2, семинаре по комплексному анализу и геометрии под руководством проф. Р. Кобаяши в университете г. II aro я и на ряде других семинаров, а также на международных конференциях, в том числе:

— международная конференция "Геометрический анализ и его приложения" (Волгоград, 2004),

— международная конференция SCV2004 (Пекин, 2004),

— XXV международная конференция по геометрическим методам в физике (Беловежа, Польша, 2006),

— международная школа-конференция "Геометрия и квантование" (Москва, 2007),

— II российско-армянское совещание по математической физике, комплексному анализу и смежным вопросам (Москва, 2008),

— академический симпозиум "Римановы поверхности, гармонические ото бражения и визуализация" (Осака, Япония, 2008),

— российско-германская конференция по многомерному комплексному анализу (Москва, 2012).

Публикации. Основные результаты диссертации опубликованы в 11 работах автора, список которых приведен в конце автореферата.

Структура и объем работы. Диссертация состоит из введения, четырех глав и списка литературы из 116 наименований. Общий объем диссертации — 205 страниц.

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

Глава I посвящена описанию класса изучаемых нами солитонных уравнений и метода построения их голоморфных решений с помощью задачи Римана о факторизации обратимых матричнозначных функций на окружности. Здесь

закладывается необходимый фундамент для построений главы II. Формально говоря, читатель может опустить всю главу I, кроме первых трех пунктов § 1.2, но тогда он лишится мотивировок и связей с предшествующими версиями метода обратной задачи рассеяния.

Мы начинаем в § 1.1 с уравнений нулевой кривизны (9), в которых II{:г, £, г) и У (х, t, г) суть gl(n, С)-значные рациональные функции от вспомогательного параметра 2, коэффициенты которых зависят от пространственной и временной переменных х, При этом дивизоры полюсов функции Г/, V фиксированы заранее и не зависят от ж, £, а под коэффициентами рациональной функции понимаются коэффициенты ее разложения на простейшие дроби или, что то же самое, коэффициенты главных частей лорановских разложений во всех полюсах. Голоморфным решением уравнения (9) на области П С С24 называется пара рациональных gl(n, С)-значных функций II, V от г с предписанными дивизорами полюсов такая, что все коэффициенты функций {/, V определены и голоморфны на П, а все коэффициенты рациональной функции Щ — Ух + [£/, У] от г тождественно равны 0 на П. Выполнение уравнения (9) при фиксированном г (отличном от полюсов II и V) на какой-либо односвязной области

С равносильно существованию голоморфного решения Е : О, —> СЬ(п, С) вспомогательной линейной системы (8) при том же значении Это решение единственно с точностью до умножения справа на любую обратимую матрицу, возможно, свою при каждом г.

В нужной нам версии задачи Римана задаются открытые непересекающиеся круги , замыкания которых покрывают всю расширенную комплексную

плоскость: Т>+ и £>_ = С. Непрерывная функция -у : Г —> СЬ(п, С) на окружности Г := £>+ П£>_ называется левофакторизуемой (соотв. правофакторизу-емой), если найдутся непрерывные функции 7± : 0± —* СЬ(п,С), голоморфные на £>± и такие, что у = 7+7-1 на Г (соотв. 7 = 7Г*7+ на Г). Мы рассматриваем функцию 7 как данные задачи Римана, а пару (7+, 7_) — как решение. Если решение существует, то оно единственно с точностью до умножения элементов пары справа (соотв. слева) на одну и ту же постоянную обратимую матрицу.

Опишем голоморфную версию метода одевания Захарова—Шабата28. Пусть (1<о, 1-о) — некоторое голоморфное решение (например, тождественно нулевое) уравнения (9) на области О С С2 и пусть Е0 — нормированное в точке (хсь ¿о) £ О (условием, что Ео(хо, ¿о, -г) = I есть единичная матрица при всех г) решение вспомогательной линейной системы (8). Рассмотрим любое покрытие расширенной комплексной плоскости С такими кругами -04,0 -, что окружность Г = £>+П1?_ не проходит через полюсы рациональных функций С/о, ^о, и возьмем любую правофакторизуемую непрерывную функцию д : Г —» СЬ(п, С). Для всех (ж. /) е П рассмотрим задачу Римана о нахождении обратимых не-

28В. Е. Захаров и А. Б. Шабат, Интегрирование нелинейных уравнений математической физики методом обратной задачи рассеяния. II // Функц. анализ и его прилож. 13(1979). вып. 3, 13-22.

прерывных функций в± : D± —* GL(n, С), голоморфных на D± и таких, что

(10) E0(x,t,z)g(z)E£1(x,t,z)=OZ1(x,t,z)e+(x,t,s) при z € Г.

Чтобы добиться единственности решения в±, фиксируем точку г0 € £)_ и добавим условие в-(х, го) = / для всех я,По теореме Б. Мальгранжа29, множество Р,д всех точек (ж, I) е О, для которых задача Римана (10) разрешима, есть либо вся область П, либо дополнение к некоторой комплексной кривой Сд С О, не проходящей через точку (хо,<о), а матричнозначные функции в±(хЛ, г) ме-роморфны на О х И± и имеют при каждом г е £>± не более чем полюс по (.х, вдоль указанной кривой. Положим

и зададим V\(x,t,z) точно такой же формулой, но с заменой Uq на Vq и производных по х на производные по t. Тогда пара (Ui(x,t,z),Vi(x,t,z)) задает голоморфное решение уравнения (9) на области Qg С (или мероморфное решение на Q) с теми же дивизорами полюсов рациональных функций Ui,Vi от переменного z, что и у функций Uo,Vq. Говорят, что это решение получено одеванием решения Uq, Vq посредством функции д.

Начиная с § 1.2, мы ограничиваемся случаем, когда дивизоры полюсов рациональных функций U, V равны оо и moo для некоторого целого та :> 2, т.е. U есть полином степени 1 от z, а V — полином степени то ^ 2 от г. В такой ситуации естественно рассмотреть предельный вариант метода одевания (аналог этой конструкции для случая, когда множества, полюсов U и V не пересекаются, описан в 20.2J), при котором круг £>_ стягивается в точку ос, а круг D+, напротив, расширяется до всей плоскости С. Тогда в качестве одевающей функции g(z) берется росток в точке оо произвольного голоморфного обратимого матричнозначного отображения, а, в качестве контура Г — любая окружность столь большого радиуса, что она лежит в области определения этого ростка. Чтобы сформулировать, во что превратится метод одевания в таком пределе, сделаем отступление об алгебраической структуре уравнений (9) для интересующих нас полиномов U, V, которая описана в п. 1.2.1. А именно, можно с самого начала считать, что (см. (1.2.1))

для некоторых диагональных матриц а, Ь € gl(n, С) и голоморфных функций д,г1;... ,rm : fi —► gl(n,C) на заданной области О С С2. Тогда уравнение (9)

29В. Malgrange, Sur les deformations isornonodromiques. I. Singularités regulieres // in: Mathématique et Physique. Sem. Ecole Norm. Sup. 1979-1982 (L.Boutet de Monvel et al. eds), Basel, Birkhauser, 19S3, 401-426.

1

при z € D+, при 2 e £>_

(И)

(12)

U(x, t, z) = az + q(x, t) ,

V(x, t, z) = bzm + п (x, ф™-1 +...+rm(x,t)

записывается в виде системы т +1 матричных уравнений на т+1 неизвестных матричнозначных функций ... ,гт. Предположим для невырожденности, что матрица а имеет простой спектр, т.е. все ее собственные значения различны, а матричнозначная функция q(x, t) внедиагоналъна, т.е. qu (х, t) = 0 при i — 1,... , п. Тогда тп уравнений этой системы и диагональная часть последнего (т+1)-го уравнения решаются чисто алгебраически, так что система сводится к одному внедиагональному матричному уравнению на одну внедиагоиал ьную матричнозначную функцию q{x,t).

Чтобы дать более подробную формулировку этого факта, фиксируем произвольную точку хо € С и обозначим через 3£(жо) множество ростков всех голоморфных gl(n, С)-значных отображений в точке хо, а через !R.(xo)od — множество всех внедиагональных ростков q € т.е. таких, что qu(x) = 0 при i — 1,... ,п. Отображение F : X(xq) —* 31(хо) называется дифференциальным полиномом, если каждый матричный элемент функции F(>c) есть обычный полином (один и тот же для всех х) от матричных элементов функции к и их производных по х. В следующем утверждении соединены лемма 1.1 и следствие из леммы 1.3.

Утверждение 3. (А) Пусть a,b,ci,c2, ■ ■ ■ € gl(п, С) — диагональные матрицы, причем а имеет простой спектр. Тогда существует единственная последовательность дифференциальных полиномов Fj : CR(zo) —'■ 3i(zo) (j = 0,1,2,... ) такая, что

(a) F0{x) = Ъ,

(b) Fj{0) = Cj для всех j = 1,2,...,

(c) формальный ряд Лорана F(x,z) := Fj(?i)z~:> удовлетворяет уравнению dxF{j<, г) = [as -г ус, F(x, z)\ тождественно по х и z для всех >r <Е Л(х0 )od.

(В) Для того, чтобы пара полиномов U{x,t,z). V(x,t,z) вида (12) с диагональными матрицами a, b € gl(n, С) (причем, а имеет простой спектр) и внедиагональной функцией q(x, t) была голоморфным решением уравнения (9) в области О С С2, необходимо и достаточно выполнение следующих двух условий.

(d) Коэффициенты г*,... ,rm : Q —» gl(n,С) полинома V должны выражаться через внедиагональную функцию q : Q —► gl(?i, С) формулами

П = -Fi(<?), • • - , rm = Fm(q)

для некоторых диагональных матриц, С\ (t),... ,cm{t) € gl(n, С), голоморфно зависящих от t в области, равной проекции £1 на координатную ось С*.

(e) Внедиагональная голоморфная функция q : Q —> gl(ra,C) должна удовлетворять на уравнению

(13) qt = [a, Fm+i (<?)]

для того же выбора диагональных матриц (^(г;,... ,ст(£), что в пункте (с!) и для произвольной диагональной матрицы Ст+х € gl(n,С) (от выбора которой правая часть уравнения (13) на самом деле не зависит).

В дальнейшем на,с будут интересовать не все решения Г/, V уравнений нулевой кривизны (9), имеющие вид (12), а только те, которые отвечают решениям уравнения (13) для некоторых не зависящих от Ь диагональных матриц Сх,... ,Сг,г- Кроме того, в целях невырожденности мы будем требовать, чтобы не только матрица а, но и матрица Ъ имела простой спектр. В этом случае мы будем называть уравнение (13) солитонным уравнением параболического типа, заданным матрицами а,Ъ,с±,... ,СгП. Оно эквивалентно уравнению нулевой кривизны 11% — \'х + [С/, V] = 0 для полиномов II, V вида

т

(14) и(х,г,г) = аг + д(х,г), У(х, = ^

3=0

где Ро, Рг, ..., Ртп суть дифференциальные полиномы, заданные последовательностью матриц а, 6, Сх,... , стп согласно утверждению 3( А). В качестве примеров редукций солитонных уравнений параболического типа в конце п. 1.2.1 приводятся линейные уравнения вида щ = Р(дх)и для произвольного полинома Р степени > 2 (см. (1.2.9)), три варианта нелинейного уравнения Шредингера (см. (1.2.10), (1.2.11)), уравнение Кортевета-де Фриза (1.2.12) и модифицированное уравнение Кортевега-де Фриза (1.2.13).

Вернемся к предельному случаю метода одевания для построения голоморфных решений описанных уравнений. Одевать будем тождественно нулевое решение 11а, Уо посредством любого ростка д = /_1 € Т>, где Т) есть множество всех голоморфных СЬ(п, С)-значных функций / на {г в С | |г| > До} и {оо} (До свое для каждой /) с /(оо) = 1. Иными словами, Т) состоит из ростков голоморфных СЬ(п, С)-значных функций / в точке оо с /(оо) = I. Следующее утверждение представляет собой теорему 1.1.

Утверждение 4. Пусть а,ъ,с\,с2,■.. € gl(п,С) — диагональные матрицы, причем а имеет простой спектр. Фиксируем целое число т ^ 2 и точку (я-Чь^о) € С2. Для каждой функции / € Ъ обозначим через П(/) множество всех (х, ¿) € С2 таких, что функция

7<(ж, I, г) := ехр{аг(х - х0) + (Ьгт + с^г™-1 + ... + ст)(г - *о)}/-1(*)

правофакторизуема па некоторой (и тогда на любой) окружности {|~|=Д}, До < Д < +оо. Тогда множество П(/) с С2 содержит, некоторую окрестность точки (жо,<о). Далее, для каждой точки (х,Ь) € П(/) обозначим- через (-у+(х, Ь, г),(х, Ь, г)) решение соответствующей задачи Ргтана

(15) 7(х, г, г) = 7Г1(х,4,;г)7+(х,£, г) при До < \г\ < +ос,

нормированное условием 7_(х, оо) = I, и положим (16) 9/(х,0 := 1пп г[7-(х,*,г) - /,а].

2—*ОС)

Тогда функция qf : П(/) —► gl(n, С) внедиагоналъна, голоморфна в некоторой окрестности точки (хоЛо) и удовлетворяет там солитонному ■уравнению параболического типа (13), заданному матрицами а, Ъ. С1,е2,... .

Заметим, что задача Римана (15) совпадает с (10) с точностью до обозначений / = д~1, 7_ = 9-, 7+ = 8+Ео, а определение (16) построенного в утверждении 4 решения получается приравниванием коэффициентов при во втором равенстве (11)-

Класс решений д/(аг, £), построенных в утверждении 4, содержит все конеч-нозонные решения и многие быстроубывающие, причем как для тех, так и для других конструкция из утверждения 4 совпадает с соответствующим вариантом метода обратной задачи рассеяния, если рассматривать росток / € Т> как данные рассеяния матричнозначного потенциала д/(х, £0) € 3£(хо). Эти утверждения будут подробно обоснованы в §1.4 и §1.5, а пока важно отметить, что наши "данные рассеяния" определяются своими "потенциалами" не однозначно, но эта неоднозначность контролируема: они определены с точностью до умножения справа на любой диагональный росток из Т>. Следующее утверждение, выражающее этот факт, совпадает с леммой 1.4.

Утверждение 5. Две функции /, <? € Т> задают одно и то же решение = дя(х,Ь) уравнения (13) в окрестности точки (хо,1о) € С2 тогда и только тогда, когда функция <?-1/ € Т) диагональна. То же самое условие необходимо и достаточно для выполнения равенства <?/(х,¿о) = д9(х^о) в окрестности точки Хд 6 С.

В оставшейся части § 1.2 приведены три примера ситуаций, когда задача Римана (15) решается в явном виде. Первый из этих примеров (п. 1.2.3) касается редукции 921 = О для 2 х 2-матриц, которая приводит к линейным эволюционным уравнениям (1.2.9) с постоянными коэффициентами. Оказывается, что тогда сопоставление каждому потенциалу его данных рассеяния практически совпадает с хорошо известным преобразованием Лапласа. Этот факт мотивирует наши обозначения в гл. II и является основой доказательства леммы III.2.

Второй пример (п. 1.2.4) состоит в вычислении данных рассеяния любого постоянного g].(n, С)-значного потенциала, что иллюстрирует конечнозонный случай, обсуждаемый в §1.5. В третьем примере (п. 1.2.5) вычисляется потенциал, данные рассеяния которого задаются матричнозначным множителем Бляшке. Полученный результат используется в одном из доказательств основного результата §1.3: теоремы 1.2, сформулированной ниже как утверждение 6 и представляющей собой достаточное условие разрешимости задачи Римана о факторизации матричнозначных функций на окружности. Это достаточное

условие 7(г)*7(г) = I равносильно тому, что отображение г: у(г) окружности {|г| = Я} в комплексную группу Ли СЬ(п, С) переводит любые две точки, симметричные относительно вещественной осп в точки, симметричные относительно унитарной группы С7(п) С СЬ(п, С).

Утверждение 6. Пусть П > О, Г = {г € С | |г| = Л} и 7 : Г — СЦп,С) такая гельдеровская функция, что 7(г)*7(г) = I для всех г € Г. Тогда 7 лево- и правофакторизуема.

Отметим, что это утверждение не вытекает из известной теоремы Гохберга-Крейна30, которую напоминает по формулировке. Впрочем, оно и не содержит эту теорему. Мы приводим два доказательства утверждения 6 и его приложения к редукциям уравнений (13), заданных косоэрмитовыми матрицами а, Ь, с\ ,сг,. •. . Примером таких уравнений может служить комплексифициро-ванная версия (1.2.8) (с коэффициентами А0 = г, А\ = Л2 = 0) нелинейного уравнения Шредингера (6) с коэффициентами а = —1, Ь = —2. Среди всех решений д(х, £) такого уравнения (13) выделяются те, которые косоэрмитовы при вещественных х, £: именно они дают решения физически интересных уравнений, возникающих после редукции. Первая часть следующего утверждения (леммы 1.9) показывает, что (с точностью до неоднозначности, описанной в утверждении 5) решение д/(х, ¿), построенное в утверждении 4, обладает этим свойством тогда и только тогда, когда породившая его задача Римапа (15) удовлетворяет условиям утверждения б для всех вещественных Из второй же части вытекает, что каждое такое решение qf{x,t) определено (и, разумеется, вещественно аналитично) на всей вещественной плоскости Иными словами, все физически интересные решения изучаемого нами масса глобально определены.

Утверждение 7. (А) Если все матрицы а, Ь, с],с2,... к осоэрмитовы, то построенное в утверждении 4 решение <?(х, £) уравнения (13) удовлетворяет условию д(х,Ь) — —для всех вещественных (х,£) в некоторой окрестности точки {хо^.о) 6 К2 б том и только том случае, когда д = щ для некоторой функции / е Т>, удовлетворяющей /(г)"/(г) = I при > II.

(В) Если все матрицы а, Ь, с\, сг,... косоэрмитовы и функция / 6 Т> удовлетворяет /(г)*/(г) = I при |г| > Я, то поставленная в утверждении 4 задача Римана (15) разрешима при всех вещественных т.е. имеем. П(/) Э

Завершающие главу I параграфы 1.4 и 1.5 не являются логически необходимыми для последующего изложения. Их цель — показать, что наше употребление терминов "потенциал", "данные рассеяния", "прямое и обратное преобразования рассеяния" совпадает с общепринятым всякий раз, когда на,-ши "потенциалы" удовлетворяют соответствующим граничным условиям. В

30И.Ц.Гахберг и М. Г. Крейн, Системы интегральных уравнений на полупрямой с ядрами, зависящими от разности аргументов // Успехи матем. наук 13(1958), вып. 2, 3—72.

зависимости от граничных условий различают быстроубывающую конечно-зонную (квазипериодическую) версии метода обратной задачи рассеяния.

Быстрсубывающая версия рассмотрена в §1.4. Здесь под потенциалом для простоты понимается произвольная внедиагональная функция q : —> gl(n, С) класса Шварца S(Ra). Данные рассеяния такого потенциала (некоторые спектральные характеристики оператора а~1 дх — q{х) для заданной обратимой диагональной п х п-матрицы а с простым спектром) полностью характеризуются структурой особенностей некоторох! (определенной в п. 1.4.1) кусочно-мероморфной gl(n,С)-значной функции z н-» т±(хо, z) со скачком вдоль К'. По теореме единственности для голоморфных функций, эти особенности однозначно определяются ростком /(z) указанной кусочно-мероморфной функции в точке ^ = оо. Этот росток мы и будем рассматривать как данные рассеяния потенциала q(x). Тогда быстроубы вающая версия метода обратной задачи рассеяния становится полностью параллельной теории, изложенной в §1.2, с одной лишь разницей: пространство D голоморфных ростков в точке г = оо следует всюду заменить на некоторое новое пространство 'Drd кусочно-мероморфных ростков в той же точке. Роль утверждения 6 переходит к теореме Гохберга-Крейна, которая, однако, теперь выражает симметрию относительно носителя данных факторизации, т.е. используется совсем по-другому.

Конечнозонная версия рассмотрена в §1.5. Основной результат параграфа содержится в пунктах (А) и (В) теоремы 1.3 и гласит, что решения, построенные в утверждении 4 (в котором точка (хо,<о) считается равной началу координат в С2) — это те и только те гладкие решения q(x,t) уравнения (13) в окрестности fl начала координат в M2t, для которых существует gl(n, «Позначная функция W(a;, t, z), гладкая по (г, t) 6 CI и голоморфная по z на множестве {|z| > Я} (включая точку z = ос), удовлетворяющая дифференциальным уравнениям

WS=[U,W\, Wt = \V,W]

для всех (x,i) 6 |г| > R, где функции U(x,t,z), V{x,t,z) определены по решению q(x,t) формулами (14), а также удовлетворяющая условию невырожденности: комплексная кривая {(z, w) € С2 j \z\ > R, det(H7(0,0, z) — u:I) = 0} распадается на n различных голоморфных ветвей над проколотой окрестностью точки z = оо. В то же время, согласно определению И. М. Кричевера20, конечнозонньте решения уравнений нулевой кривизны — это те и только те, для которых существует рациональная по z функция W(x, t, z) с теми же свойствами, что и выше. Таким образом, конечнозонные решения составляют подкласс множества решений, построенных в утверждении 4.

Глава II содержит основные результаты работы. От метода построения решений, изложенного в утверждении 4, мы переходим к его естественной модификации, охватывающей все локальные голоморфные решения уравнения (13) в окрестности данной точки (Xo,to) € С2. Оказывается, для этого достаточно

заменить множество "данных рассеяния" 2), состоящее из всех сходящихся в некоторой окрестности точки г = со рядов вида

/00 = / + ^ + ^ + ...,

где Ч>\ ч ■ • • 6 иКп., С), на множество Т>х/т всех формальных рядов такого же вида с внедиагоиальными 6 gl(п, С) и с

£

l^fcl д к ^ ^ дпя HeKOTOporo А > 0,

fcfl/т к=О

где тп ^ 2 есть номер изучаемого уравнения (13) в его иерархии, а условие внедиагональности матрин fk наложено для того, чтобы избавиться от неоднозначности соответствия между потенциалами и их данными рассеяния, описанной в утверждении 5. Естественность класса T>i/m заключается в том, что его элементы — это те и только те формальные степенные ряды указанного вида, для которых левая часть равенства (15) (т.е. данные задачи Римана) корректно определена как формальный ряд Лорана при всех (ж, £) в некоторой окрестности точки (xo,ta) £ С2. В случае т = 1 (или, что то же самое, Ъ = с 1 — с'2 = ... = 0) уравнение (13) принимает тривиальный вид qt = 0, но его "решения", т.е. любые ростки д(х) голоморфных внедиагональных gl(n, С)-значных функций в точке Xq € С, также включаются в область действия описываемого метода. Этому посвящен весь §11.2.

В п. II. 1.1 вводятся нужные нам банаховы пространства формальных степенных рядов. Для каждого а ^ 0 будем обозначать через Geva. и называть классом Жеврея а множество всех формальных степенных рядов вида ¥>(*) = IZfclo 9?fcÄ_(fe+1) с ipk € gl(n,C) таких, что ряд Z)fcLo(k!)-aIVfcla;fc имеет ненулевой радиус сходимости. Здесь | • | означает любую норму на gl(n, С), обладающую свойством \АВ\ ^ Векторное пространство Gev„. есть

объединение возрастющего семейства банаховых пространств, изометрически изоморфных Ii, а именно, Geva = Uyi>o Ga{Ä), где Ga(A) есть множество всех формальных степенных рядов <p{z) = Ylh^o с^ € gl(n, С) таких, что

1Мкл := Е^о^Г^И* < ос.

В том же духе мы при каждом rn Js 1 записываем векторное пространство всех gl(n, С)-значных целых функций порядка ^ m и конечного типа (при порядке пг) в oime Entm = Ub>o Ет(В), где Ет(В) есть множество всех формальных рядов s(z) = с £i е sKniC) таких, что ||е|[т,в :=

siipi;;:0 |е;|(Л)1''таВ""1 < оо. Ясно, что каждое Е,п(В) есть банахово пространство, изометрически изоморфное пространству /ос.

Важным свойством банаховых пространств Ga{A) и BTTi (-Ö) является возможность перемножать их элементы при am < 1 и В < А, причем эти неравенства в общем случае неулучшаемы. Этот факт выражается следующим

утверждением (леммой 11.1), в котором через {•}+ и {•}_ обозначаются положительная и отрицательная части формального ряда Лорана: {]Рг.€2 а^гНл. =

Утверждение 8. Пусть А > В > 0, т ^ 1 и 0 ^ а ^ 1 /т. Тогда произведение элементов из Са(А) и Ет(В), взятых в любом порядке, есть корректно определенный формальный ряд Лорана, принадлежащий <7а(Л — В) 4- Ет(В). Отображения »-* и (¥>1£) ' {£<р}± являются непрерывными би-

линейными. формами на Са{А) х Ет(В) со значениями в Са(А — В) и Ет(В).

Основной результат §11.1 — это следующее утверждение (теорема И. 1) о разрешимости задачи Римана (15) в контексте расходящихся степенных рядов и об аналитических свойствах ее решений как функций от параметров. Фактически нам нужен лишь весьма частный случай, когда Г2 есть а полином Р(х,£, г) имеет вид а(х — х0) + (Ьггп+С1гт~'1 + ... + сгп)^ — Ь0) Для тех же диагональных матриц а,Ь,С1,С2,... е gl(n,C), что и в утверждении4. В пункте (В) утверждения 9 используется обозначение Се\'а_о := ио^ч<а Се\',.

Утверждение 9. (А) Пусть даны комплексное многообразие $7, целое число т ^ 1, голоморфные отображения рсьрь ... ,рт '■ ^ ~1• еЦ",^) и точка £о € О такие, что Рк(£а) = 0 при к = 0,1,... , гп. Положим Р(£, г) ~ Рк(0?к

для всех ^ с П, г € €. Тогда для любого ряда / € / + Оо\-1/га найдутся окрестность П(/) точки £0 в О, числа А, В > 0 и голоморфные отображения 7_ : Г2(/) —► I + С\/т{А) и 7+ : П(/) Ет(В) такие, что при каждом £ € П(/) выполнено следующее равенство формальных рядов Лорана:

(17) = )7+(е,г)

и все значения целой функции г 7+(£,.г) принадлежат группе СЬ(п.С) всех обратимых комплексных п х п-матриц и удовлетворяют равенству

(18) <1^7+г) = для всех г 6 С.

(В) Если в условиях пункта (А) имеем / с I т Се\'(1//т)_0; а является многообразием Штейна с Н2(0,2) = 0, то существует не обращающаяся в нуль в точке £о голоморфная функция Tf 6 0(£7) со следующими свойствами.

(a) Росписи отображений £ >—> Т/(£)("У— (£, г) — I) и £ >—> 7Г1(С>-г) ~ -О в точке аналитически продолжаются до голоморфных отображений £1 —» С]/т{А) при каждом А > 0.

(b) Для любого исчерпания {£о} = Ко С К\ С ... многообразия П голоморфно выпуклыми компактами К3 С ¿г^/^+х с Н2(ил = 0 найдется последовательность чисел Bj > 0 такая. что ростки £ I—► т/(£)7+(£, г) и £ (£,г) продолжаются при каждом = 1,2,... до голоморфных отображений ii.it К^ —> Ет{В

^с) Равенства (17) и (18) выполнены для всех £ 6 Г2 с ту(£) ф 0.

Таким образом, если формальный gl(n,С)-значный степенной ряд /(г) = I + <ро2-1 + <+>\г~2 + ... принадлежит такому классу Жеврея, что левая часть равенства (17) корректно определена в некоторой окрестности точки £о по утверждению 8, то задача Римана (17) разрешима в (вообще говоря, меньшей) окрестности точки а ее решение 7±(£, г) голоморфно по £ в этой точке. Если же, как в пункте (В), ряд /(г) принадлежит строго меньшему классу Жеврея, то задача Римана (17) разрешима всюду на П кроме, может быть, некоторой комплексной гиперповерхности {£ £ О | ту(£) = 0}, не проходящей через точку £о> а решение 7±(£, г) глобально мероморфио по £ на П и имеет не более чем полюс вдоль указанной гиперповерхности.

Для доказательства пункта (А) утверждения 9 задача Римана (17) сводится к линейному неоднородному уравнению (11.1.6) вида = и(£ ) на банаховом

пространстве Е = Са(А) для надлежащих а < 1/т и А > 0, где заданный непрерывный линейный оператор Х(£) : Е —> Е и заданный вектор «(£) 6 Е голоморфно зависят от £ в окрестности £0 и Х(£о) = I есть тождественный оператор. Ясно, что решение = А'"(£)_1и(§) существует, единственно и

голоморфно зависит от $ в некоторой окрестности точки £о-

Для доказательства пункта (В) мы замечаем, что в условиях этого пункта оператор Х(£) и вектор гг(£) определены и голоморфны по £ на всем пространстве параметров П, причем оператор У(£) := — I компактен при каждом £ 6 П. Поэтому требуемое заключение вытекает из следующей "меро-морфной альтернативы Фредгольма" (леммы 11.8).

Утверждение 10. Пусть $1 есть лтогообразие Штейна с = 0, а

У : Г2 —» Ъ(Е) есть голоморфное отображение из П в пространство линейных непрерывных операторов на банаховом пространстве Е, причем операторы У(£) компактны для всех £ £ С1 и оператор / + У(£о) обратим для некоторой тпочки ^о € П. Тогда найдется голоморфная функция т € 0(П) с т(£о) = 1 такая, что: (¡) I + У(£) обратим для т.ех и только тех ^ 6 П, для которых г(?) Ф 0; (и) т(£)(/ + У(£))-1 есть голоморфное отображение П —» Ъ(Е).

Утверждение 9(А) дает нам возможность определить обратное преобразование рассеяния для всех / € / + Сег'х (в то время как в утверждении 4 допускались лишь / € I + Се\'о) формулой (16) с 4 = 40 (или, эквивалентно, с Ь = с\ — со = ... — 0). Это делается в п. II. 1.3. Фиксируем диагональную матрицу а в g'l(n,C) с простым спектром и произвольную точку хд е С. Для каждого формального степенного ряда <р 6 Сс\'1 рассмотрим решение 7-^(1,2) задачи Римана (17) с Р(х,г) = а{х — х<у)г и /(г) = I + •р(г). Обозначим через К.(хо) множество ростков всех голоморфных gl(n,C)-знaчныx отображений в точке хо, а через 31(жо)0!1 — множество всех внедиагональных ростков q € 34(ж0), т.е. таких, что дц(х) = 0 при 1 = 1,... , п. Тогда все коэффициенты дь(х) в записи 7_(х,г) — / + принадлежат Щхо), а формула

(по существу (16) при t — to)

(19) В<р(х) :—

задает отображение В : Gevj —г 3i(xo)od, называемое обратным, преобразованием рассеяния и играющее важную роль в дальнейшем. Обозначение Bip выбрано в честь преобразования Бореля (1.2.21), к которому (19) сводится для верхнетреугольных gl(2, С)-значных сходящихся рядов tp € Gev0 (см. (1.2.23)).

Прямое преобразование рассеяния L : IR(xo)od —» Gevi определяется в § II.2 формулой

(20) Lq(z) := fi{xQ,z) - I,

где n(x,z) — I + ?'ik{x)z~(k+1) есть единственное решение дифференци-

ального уравнения fix = (az + q(x))/i — (шг в классе формальных степенных рядов указанного вида с тк € 1К(аг0), к = 0,1,2,..., такое, что все коэффициенты ряда ц(хо,г) — I внедиагональны. Обозначение Lq выбрано в честь преобразования Лапласа (1.2.20), к которому (20) сводится в случае верхнетреугольных gl(2,C)-3Ha4Hbix потенциалов д(х), являющихся целыми функциями экспоненциального типа (см. лемму 1.6(B)). Первая часть следующего утверждения (теоремы II.2) показывает, что отображения L и В действительно взаимно обратны, если ограничиться только внедиагональными рядами из Gevj (как уже говорилось при определении пространства T>i/m, это ограничение снимает неоднозначность, описанную в утверждении 5). Вторая часть утверждения 11 в соответствии с утверждением 9(B) гласит, что потенциалы, данные рассеяния которых, принадлежат строго меньшему классу Жеврея, чем это необходимо для зада,чи Римана (17), являются глобально мероморфными по х.

Утверждение 11. (А) Отображение q > Lq есть биекция множества 3l(xo)od на множество Gev°d всех внедигональных рядов из Gevi. Обратным отображением является сужение па Gev°d отображения В : Gevx —» :R(xo)od, определенного в (19).

(В) Если q 6 3?(x0)od и Lq € Gevj-o, то росток q(x) аналитически продолжается до глобально мероморфной внедиагональной gl(n, С)-значной функции на С*, обладающей следующим свойством тривиальной монодромии во всех свох полюсах: при каждом z € С вспомогательная линейная система Ех = (az + q{x))E имеет глобально мероморфную фундаментальную систему решений или, эквивалентно, всякое голоморфное решение и : D —* Сп системы их = (az + g(:r))ti на какой-либо области D С Сх аналитически продолжается до мероморфного решения на всем С*.

В доказательстве утверждения 11 используется следующая теорема Я.Си-буя31 . Пусть даны целые числа т, и ^ 1 и обратимый линейный оператор

31Y. Sibuya, Linear differential equations in the complex domain: problems of analytic continuation, Providence, AMS, 1990. См. особенно стр. 254-256.

А : С" —> С. Пусть формальный степенной ряд у(х, г) = ак{х")г~к от

параметра л: € С, коэффициенты которого а* (х) суть С"-значные голоморфные ростки в точке го € С, удовлетворяет дифференциальному уравнению

где все Bj(x,y) суть С-значные полиномы от компонент вектора у с коэффициентами из О(ж0). Тогда ряд у(х0, z) принадлежит классу Жеврея Gev1/m.

В наших применениях этой теоремы. С" есть векторное пространство всех внедиагональных матриц X € gl(n,C), а оператор АХ := [С, X] сопоставляет каждой такой матрице ее коммутатор с некоторой диагональной матрицей С € gl(n, С). Роль матрицы С играет а в § II.2 и b в § II.3. Обратимость оператора А равносильна тому, что матрица С имеет простой спектр. Этим и объясняются принятые в нашей работе условия невырожденности на матрицы а и 6.

Что касается сформулированного в утверждении 11 (В) свойства тривиальной монодромии, то оно всего лишь выражает геометрический смысл компоненты 7+(х, z) решения задачи Римана (17) с Р{х, z) — a(x — xo)z, состоящий в том, что столбцы матрицы "f+{x, z) задают поле реперов в слоях тривиального расслоения, параллельное относительно изучаемой плоской связности. Иными словами, 7+ (х, г) является фундаментальной системой решений вспомогательной линейной системы (линейная независимость столбцов матрицы 7+(ж, z) вытекает из (18)).

Переходя к § II.3, напомним, что в нашей работе солитонными уравнениями параболического типа называются уравнения (или, собственно говоря, системы уравнений с частными производными) вида, уже указанного в (13):

где д(х,1) — неизвестная внедиагональная С)-значная функция, т ^ 2 —■ заданное целое число, а через обозначается последовательность

дифференциальных полиномов по х, отвечающая некоторой последовательности диагональных матриц а, Ь, а, с2,... € gl(n, С) согласно утверждению 3(А), причем всегда предполагается выполненным условие невырожденности: матрицы а, Ь имеют простой спектр.

Обозначим через !К(хо,4о) множество ростков всех голоморфных: gl(те, (Позначных отображений в точке [х0,Ь0) е С2, а через 3?(х0,£о)ос1 множество всех внедиагональных ростков из 3£(хо,*.0). Локальная голоморфная задача Коти для уравнения (22) состоит в том, что задан впедиагональный голоморфный росток до € 3?(хо)0<1 и требуется найти росток д € 'Л(хо,<о)оа, удовлетворяющий уравнению (22) и начальному условию д(х,1о) = (¡о(х)-

(21)

j=о

(22)

qt — [а, Fm+1(q)},

Утверждение 12. (А) Задача Коши = <?о(х) для уравнения (22) до-

пускает локальное голоморфное решение в точке (жо,£о) € С2 тогда и только тогда, когда Ьдо € Се\'1/Тгг. Если такое решение д(хЛ) существует, тпо только одно.

(B) Всякое голоморфное решение q{x,t) уравнения (22) в произвольном би-диске П :— {(а;, £) 6 С2 | Хо! < ¿ь ¿о! < ¿2} аналитически продолжается до функции, мероморфной в полосе 5 := {(х,£) 6 С2 | — < ¿2} и обладающей свойством тривиальной монодромии по х (в смысле утверждения 11 (В)) при каждом фиксированном Ь. При этом существует голоморфное решение до(:г,4) уравнения (22) в И, не допускающее аналитического продолжения ни через одну граничную точку полосы Б.

(C) Оболочка мероморфности любого локального голоморфного решения д б 31(х0, ¿о)0<1 уравнения (22) имеет вид С* X X. где X — некоторая ри-манова область над С*. Обратно, для любой римановой области тг : X —> С* над С\ и любой точки (жо, ¿о) 6 С х тт(Х) существует локальное решение д б ГК(хоЛо)0<1 уравнения (22) с оболочкой мероморфности х X.

(О) Если в обозначениях пункта (А) росток до(х) := д(х,*о) удовлетворяет Ьдо € СеУ(1(/тп)_0, то решение д(х, £) рассматриваемой задачи Коши аналитически продолжается до енедиагональной ц1(п, С)-значной функции, мероморфной на всем С2 и обладающей следующим свойством тривиальной монодромии по х и £ во всех своих полюсах. Для каждого г 6 С линейная система Ех = (ах + я(х,Ь))Е, Ег = (Ьгт + ^(д)(х, €)гт~з)Е (заданная равен-

ствами (8) с учетом (14)) имеет глобально мероморфную фундаментальную систему решений на С2(.

Доказательство необходимости условия Ьдо е Се^'!^ из пункта (А) для существования локального голоморфного решения задачи Коши проводится сведением уравнения, которому удовлетворяет формальное калибровочное преобразование нулевой связности 0 йх + О <Й в связность и с1х + V (И (задаваемую функцией <?(х,£) по формулам (14)), к виду (21) с переменной £ вместо х и применением теоремы Сибуя (для чего нужно, чтобы матрица Ь имела простой спектр). Доказательство достаточности по существу такое же, как в утверждении 4, только разрешимость задачи Римана извлекается теперь из утверждения 9(А). Все остальные пункты утверждения 12 вытекают из пункта (А) и предыдущих утверждений. В замечаниях II.2-11.4 показано, что из локальной разрешимости задачи Коши д(х,£0) = <?о(х) Для какого-либо уравнения (22) с номером т > 2 вытекает ее глобальная разрешимость для всех уравнений вида (22) с номерами т' < т, а также строится пример не конечнозонных начальных условий, для которых указанная задача глобально разрешима при всех т ^ 2.

Заметим, что утверждение 1 для уравнений (4) и (б) является весьма частным случаем утверждения 12(В) благодаря примерам, приведенным в конце п. 1.2.1. (Уравнение Буссинеска (5) будет включено в область действия утверж-

дения 12 только в § III.4.) Что касается утверждения 2 и его аналогов для стах> ших уравнений иерархии фокусирующего нелинейного уравнения Шредингера, то они являются столь же частными случаями результатов § II.4, в котором все сказанное в § 1.3 об унитарно-симметричных решениях, построенных в утверждении 4, переносится (в той мере, насколько это возможно) на класс всех локальных голоморфных унитарно-симметричных решений уравнений вида (22).

Всюду в § II.4 мы считаем, что диагональная матрица а € gl(n, С) косоэрми-това, а начальная точка х0 вещественна: хо € R. Назовем росток q € IR(xo)od симметричным, если q(x)* = —q(x) для всех комплексных х в окрестности xq или, эквивалентно, если матрица q(x) косоэрмитова для всех вещественных х в окрестности Хо- Следуя терминологии § 1.3, будем также называть формальный степенной ряд / 6 / + Gevj симметричным, если равенство f(z)*f(z) = I выполняется в смысле формальных степенных рядов. Связь между этими понятиями такова (см. лемму II. 13(С)).

утверждение 13. Росток q s 3?(xo)od симметричен тогда и только тогда, когда он имеет вид q = Bip для некоторого симметричного ряда f — I + <р G / 4- Gevj. При любом а, О ^ а ^ 1, росток q £ 0l(xo)0<1, удовлетворяющий включению Lq 6 Geva, симметричен тогда и только тогда, когда q = Bip для некоторого симметричного ряда J—I + ipÇzI + Gcvtt.

Основной результат § II.4 обобщает утверждение б на случай расходящихся рядов и содержит утверждение 2 в виде весьма частного случая. Будем называть целую функцию Е : С —► gl(n,C) симметричной, если E(z)*E(z) = I для всех г € С. Ясно, что все значения такой функции — обратимые матрицы, т.е. автоматически имеем отображение Е : С —> GL(n,C).

Утверждение 14. (А) Пусть m ^ 1 и А() > 12В0 > 0. Если целая функция Eq 6 Ет(Во) и формальный ряд f € I + Gi/m(Ao) силшетричны, то задача Ргишна Eof^1 = 7Г17+ разрешима, т.е. для некоторых А > В > 0 найдется симметричная целая функция 7+ € Sm(S) и симметричный формальный ряд 7_ € I + Gi/m(A) такие, что равенство Eof"1 = 7Z17+ выпол'няется е смысле формальных рядов Лорана.

(В) Пусть m ^ 2 — целое число, а. 6, Cj.... , cm € gl(n, С) — диагональные косоэрмитовы матрицы, причем а иЪ имеют простой спектр, и (xq, to) 6 Ж2. Тогда всякое локальное голоморфное решение q 6 3î(xo,io)°d уравнения (22), для которого росток q(x,to) 6 3ï(xo)od симметричен, аналитически продолжается до мероморфной внедиагоиалъной gl(n, С)-значпой функции q(x,t) на области Se = {(x.i) € С2 | |i — io| < £} при некотором е > 0, причем это продолжение голоморфно (не имеет полюсов) на Sc П R.2,.

Доказательство пункта (А) основано на альтернативе Фредгольма для операторов, возникающих в доказательстве утверждения 9(А), а пункт (В) выводится из пункта (А) и утверждений 12(В), 13 по существу тем же способом, что

и для сходящихся рядов в § 1.3. Примеры, показывающие что в общем случае нельзя утверждать голоморфность продолженного решения q(x, t.) ни на каком множестве, большем чем указано в утверждении 14(В). строятся с помощью теоремы Коши-Ковалевской в доказательстве теоремы III.4(C).

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

Обозначим через Ö(xq, ¿о) множество всех ростков голоморфных функций в точке (х0, irj) € С2. Скажем, что уравнение вида

где т> к ^ 1 — целые числа, а е С\{0}, а Ф(£о,£1,... , Ст-О —произвольный полином с комплексными коэффициентами, обладает свойством голоморфного (мероморфного) продолжения (далее сокращенно СГП и СМП), если для любой точки (ж0, ¿о) € С2 и любого решения и0 € О(х0, £о) этого уравнения существует голоморфная (мероморфная) функция и(х, £) на полосе {(х,г) е С21\t- to] < б-} для некоторого е > 0, совпадающая с ио(хЛ) в окрестности точки (жо,^)-Как показано в лемме III. 1, постулированное здесь свойство автоматически влечет выполнение всех утверждений пунктов (В) и (С) утверждения 12, кроме свойства тривиальной монодромии.

Рассмотрим 4 семейства уравнений вида (23):

где а € С \ {0}, Р, О, Л, 5 — полиномы, ск^ Р ^ 2. Какие из этих уравнений обладают С-ГП или СМП? Ответ на этот вопрос дается в теореме III.1: свойством голоморфного продолжения обладают те и только те из указанных уравнений, которые линейны, а свойство мероморфного продолжения имеет место тогда и только тогда, когда степени полиномов, задающих нелинейность, достаточно малы, а именно, <1е§ <3 1, с^Д ^ 1, 5 = 0. Доказательство этих утверждений опирается в своей положительной части на лемму III.2, принадлежащую, по-видимому, Г. С. Салехову3 (но снабженную нами новым простым доказательством на основе утверждения 12(В)), а в отрицательной части — на лемму III.3, известную еще Ш. Врио и К. Буке (1855). Приводится также

(23)

(24)

(25)

(26) (27)

ut = Р{дх)и,

ut = аихх + Q(u)ux, ut = аихх + R(ux), ut = auxx 4- S(u)-u2,

следующий пример контраста между СМП и СГП: хотя все локальные голоморфные решения (существующие в изобилии по теореме Коши-Ковалевской с г в роли времени) любого из уравнений

(28) tit = дх{дх + и)"1-1«, тп = 3,4,...

аналитически продолжаются до глобально мероморфных функций от х при каждом ¿, но если такое решение продолжается до целой функции от х хотя бы при одном значении £, то оно тождественно равно константе.

Пункт III. 1.2 посвящен подробному обзору трех исторически сложившихся доказательств СГП для линейных уравнений вида (23) и для более общих линейных уравнений2,3,4,5. В пункте III.1.3 вкратце перечислены направления современных исследований, наиболее близко подходящих к формулировке СМП для каких-либо нелинейных уравнений вида (23).

В § III. 2 изучается вопрос о СГП и СМП для уравнений вида

(29) ut = аиххх + Q(u)ux,

(30) ut — аиххх + R(ux),

где а € С \ {0}, Q,R — полиномы. Ответ, содержащийся в теореме III.2, гласит, что эти уравнения обладают СГП тогда и только тогда, когда они линейны, а СМП имеет место в том и только том случае, когда deg Q ^ 2, deg R sj 2. Примерами являются уравнение Кортевега—де Фриза (Q(u) = bu для некоторого Ь € С \ {0}) и его модифицированная (Q(u) = bu2) и потенциальная (R(0 = Ь£2) версии. Доказательство положительной части основано на утверждении 12(B), а доказательство отрицательной части — на лемме III.3. Развитие этого круга идей позволяет нам установить в теореме III.3, что известное решение иерархии Кортевега-де Фриза в виде формального степенного ряда, изучавшееся Э.Виттеном32 и M.JI. Концевичем33, расходится, по всем временным переменным, кроме первой.

В § III.3 установлено утверждение 1 (СМП во всех точках вещественной плоскости) для общего нелинейного уравнения Шредингера (б), а также утверждение 2 (о продолжении вещественно-аналитических решений в полосу на K2t) для фокусирующего случая ab > 0.

Утверждение 1 для уравнения Буссинеска (5) доказано в § III.4 в общем контексте уравнений типа Кортевега—де Фриза. Так называются эволюционные уравнения вида

(31) £« = [Р,£],

Witten, Two-dimensional gravity and intersection theory on moduli spa.ee //in: Surveys in diff. geom. (Cambridge MA, 1990), Lehigh Univ., Bethlehem PA, 1(1991), 243-310.

33M. L. Kontscvich, Intersection theory on the moduli space of curves and the matrix Airy function ,// Comm. Math. Phys. 147(1992), 1-23.

где неизвестные функции — это коэффициенты иа, щ ,... , и„-2 £ ta) диф-

ференциального оператора L = + гг;(х, фиксированного поряд-

ка п ^ 2, под Lt понимается оператор, полученный из L заменой всех его коэффициентов на их частные производные по t (и, очевидно, имеющий порядок не выше п — 2), а оператор Р = + Ylk=o wk(x,t)dx фиксированного порядка г J 2 выбирается так, чтобы порядок оператора [P. L] := PL — LP тоже не превосходил п — 2. В полной аналогии с утверждением 3(B), это условие на коэффициенты wo,wi,.. - , «V-2 € O(xo,to) оператора P выполнено тогда и только тогда, когда

(32) Р = £!/" +2 7*<í)bí-/n

fc=0

для произвольных ростков 7о,-•• ,7г-2 6 О (to). Ограничиваясь, как и в (14). случаем, когда 7fc(f) =7к — const в равенстве (32), мы можем записать эволюционную задачу (31) в виде системы п—1 уравнений с частными производными:

(33) ^ =Pj(u0,u1,... ,u„_2), j = 0,1,... ,n-2,

где fq,fi,... ,fn-2 - ПОЛИНОМЫ ОТ функций ÍX0,Ui,... ,un—2 И их производных по х. Основной результат § III.4 (теорема III.5) представляет собой следующий точный аналог утверждения 12 для случая вспомогательной линейной системы (7) вместо (8).

Утверждение 15. Пусть целые числа n,r ^ 2 взаимно просты и набор ростков uq,Ui,... ,ггп_2 6 0(хо, ío) удовлетворяет в окрестности данной точки (xo,to) € С2 системе (33), эквивалентной уравнению (31) для некоторого оператора Р вида (32) с коэффициентами 7k(t) = 7k — const, к = 0,1,... , i— 2. Тогда выполнены следующие утверждения.

(A) Все ростки uq(x, to), ui(x, t0),... , ип_г(х, ¿0) 6 o(xo) допускают аналитическое продолжение до функций üo(x),ñi(x), ..., йп_2(х), мероморфных на всей плоскости С* комплексного переменного х.

(B) Оператор L := dr¿ + YUjZo обладает следующим свойством тривиальной монодромии во всех полюсах своих коэффициентов: при каждом А 6 С обыкновенное дифференциальное уравнение Lip — Aip имеет фундаментальную систему решений, мероморфных на всей плоскости С* переменного х. Иными словами, любое решение <р € 0(жо) уравнения Lp = Х(р аналитически продолжается до мероморфной функции на С*.

(C) Все полюсы каждой из функций ñj(x), j — 0,1,... , п—2. имеют порядок не выше п — j.

(D) Любое решение uq,ui,... , ип-2 € O(D) системы (33) в бидиске D := {(x,t,) € С2 | |х —xq| < ¿i, |í — íq| < ¿2} аналитически продолжается до набора

мероморфных функций ь полосе Б := {(х, £) € С2 | ¿о| < ¿2} и, вообще говоря, не может быть аналитически продолжено дальше ни через одну граничную точку области 3.

(Е) Тем не менее, все решения •• • 2 € 0(а:о,£о) общего положения

допускают аналитическое продолжение до набора мероморфных функций на всем пространстве С2 переменных х, I.

Для доказательства мы, следуя В. Г. Дринфельду и В. В. Соколову34, разлагаем оператор Ь в произведение п операторов первого порядка:

Ь = (дх- ь'п (ж,£)) ...(Эх- щ(х,г))

для некоторых ростков ы,... , ип 6 О(ж0, ¿о) и определяем (автоматически вне-диагональный в силу равенства г'1 + ... + ьп = О) матричнозначный росток

(](х, *) := К-1 с^^ (х, *),... , ь„(х, 1))К

с помощью матрицы К € СЬ(п, С) с элементами К13 = 1 ?, у < п.

где Оь... ,ап — все корни п-ой степени из единицы, перечисленные в произвольном порядке. Тогда вспомогательная линейная система (7), условием совместности которой является (31), принимает вид уравнений нулевой кривизны (8), (14) с номером т — г для диагональных матриц

о := diag(tt^,... , ап), Ь := аг, с,- := 7г-^аГ**, 3 = 1,... , г.

Ясно, что матрица а имеет простой спектр. В то же время матрица Ъ имеет простой спектр тогда и только тогда, когда г и п взаимно просты. В этих предположениях к полученному уравнению (13), эквивалентному (31), применимо утверждение 12. Из него и вытекают все пункты утверждения 15, кроме пункта (С), являющегося следствием широко известного критерия регулярной особой точки, принадлежащего Л. Фуксу (1868).

Глава IV начинается с изложения подхода К. Уленбек26 к задаче описания гармонических отображений сферы Римана 5'2 (с обычной сферической метрикой) в унитарную группу 17(п), снабженную метрикой Киллинга {А, В) = Н,е (:г А В*. Рассмотрим функционал энергии

(34) Е(ф) = \ [ \ф~1(1ф\2 (1хйу = 2 [ \ф~^дф\2йхс1у

* Ус Jc

на множестве всех гладких отображений ф : С —* 11{п). Здесь дф = (фх + гфу)/2 означает производную по г, а норма матрицы А определяется как \А\2 =

34В. Г. Лринфельд и В. В. Соколов, Алгебры Ли и уравнения типа Кортевега-де Фриза // Итоги науки техн. Соврем, проблемы математики. 24(1984), 81-180.

tr(^L4*). Гармонические отображения из S2 в U (п) — это критические точки функционала Е(ф), т.е. решения уравнений Эйлера-Лагранжа

д{ф-1дф)+д(ф-1дф) = О

с Е(ф) < со, где дф = (фх — 1'Фу)/2 означает производную но z. Простейшие примеры таких решений задаются голоморфными и антиголоморфными отображениями из S2 = CP1 в комплексный грассманиан Сг^(С"), вложенный в унитарную группу U (п) в качестве вполне геодезического подмногообразия по формуле Vi—* ф — I — 2 Q, где Q : Сп —> С" есть ортопроектор с образом V. Результат Уленбек26 гласит, что для любого гармонического отображения о : S~ —> U(n) найдется последовательность гармонических отображений фо,ф1,... ,фт : S2 U(n) такая, что фо есть постоянное отображение (или, эквивалентно, решение нулевой энергии), Фт = ф, а каждое отображение ф$+1 получается из ф^ добавлением некоторого ф3-унитона. Последнее означает, что ф}+i(C) = 4>j{0(I — 2Pj(0) для некоторого семейства {Pj(0 ¡С в С} ортопроекторов на Сп, удовлетворяющих уравнениям

(35) PAP-1 = О, Р±АР + 2Р±дР = О,

где Р = Pj есть указанное семейство проекторов, а А = ф~1 Зф3 есть логарифмическая ö-производная отображения ф}. Дж. Валли30 вывел из (35) формулу для скачка энергии

(36) - Е{ф5) = Sttc^-HS2],

где Ci(Pj) есть первый класс Чженя векторного расслоения на S2, слоем которого над точкой С G S2 является образ проектора Pj(C), а правая часть (36) с точностью до множителя 8зт равна значению этого класса когомологий на фундаментальном цикле базы [S2] 6 H2(S2). Поскольку числа Ci(Pj)[S2J всегда целые, отсюда вытекает, что энергия любого гармонического отображения из S2 в U(n) есть целое кратное 87г. Неизвестно, как можно было бы получить этот результат без теории унитонов.

В начале XXI столетия потребности физики (теории струн.) и некоммутативной геометрии привели к рассмотрению следующего "проквантованного по Вейлю" варианта, задачи об описании гармонических двумерных сфер в унитарной группе27. Пусть Н есть сепарабельное гильбертово пространство с ортонормированным базисом {eo,ej,...}. Зададим неограниченный оператор а на Н с областью определения dom(a) = {ж € II | Yl'jLoÜ + 1)!-Tj j2 < со} по формуле a(ej) = л/jej-i для j = 0,1,2,.... Сопряженный к нему оператор а'

35G. Valli, On the energy spectrum of harmonic 2-sphere.s in unitary groups // Topology 27(1988), 129-136.

имеет ту же область определения <1от(а*) = <1от(а) и действует по формуле а'(е^) = у/з -г Для каждого целого 1 распространим обозначения а и

а* на гильбертово пространство Я" := ЯфЯф.. .©Я (п слагаемых) = СП<8>Я, полагая 0,(2:1,... , х„) := (аз?!,... , ах„) и аналогично для а*. Теперь при каждом значении параметра в > 0 заменим отображения ф : С —> {/(п) на унитарные операторы Ф 6 17(Нп). производные д и д — на коммутаторы с (2в)~1/2а и —(2в)~1/2а* соответственно, а взятие интеграла по С — на взятие 2-х0 Тг, где ТУХ означает след ядерного оператора Л' на Я". Тогда функционал (34) превратится в не зависящий от в функционал

(37) £(Ф):=27г||[а,Ф]||23

на множестве всех операторов Ф £ 1/(Нп) таких, что коммутатор [а, Ф] плотно определен и продолжается по непрерывности со своей области определения на все Я™, причем это продолжение принадлежит классу НЗ(ЯП) операторов Гильберта-Шмидта. Здесь ||А|||[3 := Тт(АА*) означает квадрат нормы Гильберта-Шмидта. Чтобы избежать рассмотрения тонких вопросов, связанных с областями определения различных операторов, но сохранить геометрические аналогии, мы будем дополнительно предполагать, что оператор Ф — Фо имеет конечномерный образ для какого-либо оператора вида Фо = 17о 0 /, где С/о € и(п), а I есть тождественный оператор на Я (тогда £^(Ф0) = 0).

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

В § IV.2 мы вводим обозначения и обсуждаем различные классы решений I/(п)-модели без привлечения теории унитонов. Сначала выводятся различные формы записи уравнений экстремалей и устанавливается эффект эллиптической регулярности: для каждого решения Ф с Ш1(Ф — Ф0) С с1ош(а2) автоматически имеем ¡т(Ф — Ф0) С с1от(а':) для всех к ^ 2. Затем рассмотрены решения энергии 0 и грассмаповы решения (т.е. решения вида I — 2Р для некоторого ортопроектора Р : Я" —> Я").

В § IV.3 изложены общие результаты теории унитонов, начиная с некоммутативных аналогов класса Чженя в формуле (36) и процедуры добавления уии-тона (35). Из существования канонических отрицательных унитонов (п. IV.3.3) выводится наличие унитонной факторизации и пелочисленность энергии (с точностью до множителя 8тг) всех изучаемых решений. В оставшейся части § IV.3 введено понятие канонического ранга решения и дано описание решений с наименьшим и наибольшим возможным значением канонического ранга при данной энергии, а также установлены некоторые общие свойства грассмановых решений, которые затем иллюстрируются на примере диагональных решений

£/(1)-модели. В частности, в п. IV.3.5 вводится важное для дальнейшего понятие дефекта грассманова решения.

В § IV.4 изучаются пространства решений 6г(1)-модели, отличающихся от тождественного оператора на конечномерный. Основными целочисленными характеристиками таких решений являются нормированная энергия е, канонический ранг г и минимальное унитонное число и, всегда удовлетворяющие неравенствам г ij е и н ^ е. В п. IV.4.2 мы описываем множество всех BPS-решений, т.е. решений с и = 1 или, что то же самое, некоммутативных аналогов голоморфных отображений из СР1 в грассманианы, вложенные в U(n). Оказывается, что все BPS-решения энергии е составляют пространство Се, вещественно-аналитически вложенное в унитарную группу U (Н) гильбертова пространства II. Это автоматически дает описание всех решений, для которых либо с ^ 2, либо г = 1, либо г = е: все они являются BPS-решениями. В п. IV.4.3 доказано, что всякое грассманово решение G дефекта 2 порождает сферу неграссмановых решений, интерполирующую между G и некоторым BPS-решением toxi же энергии. Поскольку любое не-БРЭ-решехгие с г — е — 1 принадлежит одной из этих сфер, мы автоматически получаем описание всех решений с е = 3 (п. IV.4.4). В п. IV.4.5 установлено, что множество всех не-ВРБ-решений энергии е и канонического ранга 2 является прямым произведением С1 на цепочку из [(е — 1)/2] двумерных сфер, последовательно склееных друг с другом своими полюсами. Это автоматически дает описание случая е = 4 (п. IV.4.6). В п. IV.4.7 изучены случаи г = е — 2 (частично) и с = 5. Кроме уже известных нам множеств решений с е = 5,г = 4 (3-параметрическое семейство сфер) и е = 5,г = 2 (произведение С1 на цепочку из двух сфер), найдено множество решений с е = 5.г = 3: оно состоит из 3 непересекающихся экземпляров С3 \ С2, расположенных вокруг общей оси С2 как 3 листа книги вокруг переплета. В заключительном п. IV.4.8 мы вкратце суммируем все полученные результаты.

Список публикаций автора по теме диссертации

1. Об одном варианте задачи Римана в теории интегрируемых систем. Доклады Росс. Акад. Наук, 390 (2003), вып.З, 301-303.

2. Достаточное условие разрешимости задачи Римана и его приложения к теории интегрируемых систем. "Геометрический анализ и его приложения". Труды: международной школы-конференции, г. Волгоград (24.05.04 — 30.05.04). Изд-во Волгоградского госуд. ун-та, 2005. Стр. 33—13.

3. Задача Римана и матричнозначные потенциалы со сходящейся функцией Бейкера-Ахиезера. Теор. и Матем. Физика, 144 (2005), вып. 3, стр. 453-471.

4. Замечания о локальном варианте метода обратной задачи рассеяния. Труды Матем. Института им. В.А.Стеклова РАН, 253 (2006), стр. 46-60.

5. A noncommutative uniton theory. Journal of Geometry and Symmetry in Physics, 10 (2007), pages 1-7.

6. Локальная голоморфная задача Коши для солитонных уравнений параболического типа. Доклады Росс. Акад. Наук, 420 (2008), стр. 14-17.

7. (совместно с А. В. Домриной) О расходимости ряда Концевича-Виттена. Успехи Матем. Наук 63 (2008), вып. 4, стр. 185-186.

8. Некоммутативные унитоны. Теор. и Матем. Физика, 154 (2008), вып. 2. стр. 220-239.

9. Пространства модулей решений некоммутативной сигма-модели. Теор. и Матем. Физика 156 (2008), вып. 3, стр. 307-327.

10. Мероморфное продолжение решений солитонных уравнений. Известия АН Сер. Матем. 74 (2010), вып. 3, стр. 23-44.

11. О голоморфных решениях уравнений типа Кортевега-де Фриза, Труды Московского Матем. Общества 73 (2012), выпуск 2, стр. 241-257.

Отпечатано в Математическом институте им. В. А. Стеклова РАН

Тираж 100 экз.

 
Текст научной работы диссертации и автореферата по математике, доктора физико-математических наук, Домрин, Андрей Викторович, Москва

МОСКОВСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМЕНИ М.В. ЛОМОНОСОВА

Механико-математический факультет

На правах рукописи УДК 517.55 + 517.958

05201351391

Домрин Андрей Викторович ГОЛОМОРФНЫЕ РЕШЕНИЯ СОЛИТОННЫХ УРАВНЕНИЙ

01.01.01 — вещественный, комплексный и функциональный анализ

ДИССЕРТАЦИЯ на соискание ученой степени доктора физико-математических наук

Москва 2013

СОДЕРЖАНИЕ

Введение 4

I. Задача Римаыа в теории интегрируемых систем 37

1. Уравнения нулевой кривизны и метод одевания 37

2. Солитонные уравнения параболического типа 43

2.1. Описание класса изучаемых уравнений 43

2.2. Построение решений с помощью задачи Римана 51

2.3. Верхнетреугольные 2 х 2-потенциалы и преобразование Лапласа 56

2.4. Постоянные потенциалы 59

2.5. Множители Бляшке и добавление солитона 60

3. Унитарное условие вещественности 63

3.1. Условия разрешимости задачи Римана 63

3.2. Первое доказательство теоремы 2 64

3.3. Второе доказательство теоремы 2 66

3.4. Приложения 67

4. Сравнение с быстроубывающим случаем 69

4.1. Прямое преобразование рассеяния 70

4.2. Обратное преобразование рассеяния 71

4.3. Унитарное условие вещественности 73

5. Сравнение с конечнозонным случаем 73

II. Локальный вариант метода обратной задачи рассеяния 79

1. Обратное преобразование рассеяния 79

1.1. Леммы о пространствах формальных степенных рядов 80

1.2. Разрешимость задачи Римана 83

1.3. Свойства обратного преобразования рассеяния 90

2. Прямое преобразование рассеяния 92

3. Локальная голоморфная задача Коши для солитонных уравнений параболического типа 98

4. Унитарное условие вещественности 107

III. Мероморфное продолжение решений солитонных уравнений 114

1. Линейные уравнения и связанные с ними 114

1.1. Свойство продолжения 114

1.2. Задача Коши и голоморфное продолжение решений линейных уравнений 122

1.3. Мероморфные решения нелинейных уравнений 129

2. Уравнение Кортевега-де Фриза и связанные с ним 131

2.1. Свойство продолжения 131

2.2. Расходимость ряда Концевича-Виттена 133

3. Нелинейное уравнение Шредингера 137

4. Уравнения типа Кортевега-де Фриза 138

4.1. Формулировки результатов 138

4.2. Подготовка к доказательству теоремы 143

4.3. Доказательство теоремы 5 149

4.4. Доказательство следствия 153

IV. Некоммутативный комплексный анализ: теория

унитонов 154

1. Введение 154

1.1. Гармонические отображения из S2 в U(n) 155

1.2. Некоммутативный вариант задачи 157

1.3. Область определения функционала энергии 158

1.4. Дальнейшее содержание главы 159

2. Предварительные сведения 160

2.1. Уравнения экстремалей 160

2.2. Эллиптическая регулярность 163

2.3. Решения энергии 0 164

2.4. Грассмановы решения 164

3. Теория унитонов 166

3.1. Топологический заряд проектора 166

3.2. Добавление унитона 168

3.3. Канонические унитоны 170

3.4. Базовые унитоны 172

3.5. Грассмановы решения 174

3.6. Диагональные решения £/(1)-модели 176

4. Пространства решений С7(1)-модели 176

4.1. Обозначения и предварительные сведения 176

4.2. BPS-решения 179

4.3. Грассмановы решения дефекта 2 и сферы неграссмано-

вых решений 184

4.4. Решения се = 3 188

4.5. Решения с г = 2 189

4.6. Решения с е = 4 192

4.7. Решения с е = 5 194

4.8. Заключение 198

Список публикаций автора по теме диссертации 200

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

ВВЕДЕНИЕ

Настоящая диссертационная работа состоит из введения, четырех глав и списка литературы, содержащего 116 наименований. Ее основной целью является изучение вопросов аналитического продолжения голоморфных решений вполне интегрируемых нелинейных эволюционных дифференциальных уравнений с частными производными (солитонных уравнений). Отметим, что эти вопросы нетривиальны только для эволюционных уравнений параболического типа. Достижению указанной цели посвящены главы 1-Ш, где для ростков таких решений установлены теоремы о принудительном аналитическом продолжении и описаны все возможные оболочки мероморфности, причем основным инструментом для этого служит развитый автором локальный вариант метода обратной задачи рассеяния для голоморфных потенциалов. В главе IV внешне совсем другими методами дается описание всех голоморфных (а также антиголоморфных и смешанных) решений достаточно малой энергии для некоммутативного (квантового) аналога одного из важнейших солитонных уравнений гиперболического типа: уравнения гармонических отображений двумерной сферы в унитарную группу. Объединяющей идеей всех глав работы является общая геометрическая основа солитонных уравнений (калибровочные преобразования плоских связностей), с которой и начнется наше изложение в § 1 главы I. Но введение удобнее будет начать с формулировки некоторых результатов главы III, а точнее, с их классических предшественников.

Хорошо известно, что всякое решение и(х,£) уравнения теплопроводности щ = ихх в окрестности точки (х0, ¿о) Е К2, дважды непрерывно дифференцируемое по х и один раз по ¿, автоматически является бесконечно дифференцируемым по £ и аналитическим по х (это результат Э. Хольмгрена 1908 г.). Менее известно (хотя было открыто С. В. Ковалевской еще раньше, в 1875 г.), что если такое решение аналитично также и по то по х оно обязательно будет целой функцией, т. е. радиус сходимости ряда Тейлора функции и(х, ¿о)

в точке Xq будет равен оо. Переходя к случаю комплексных переменных х и t, можно переформулировать это утверждение так: любое голоморфное решение u(x,t) уравнения щ = ихх в бидиске D = {(x. t) € С2 | \х—хо| < £1, \t — ío| < £2} допускает аналитическое продолжение до функции u(x,t), голоморфной в полосе S = t) 6 С2 | \t — ío| < £2}- Более подробное изложение истории этого результата и его обобщений см. в п. 1.2 главы III.

Из наших теорем1 Ш.2(А), Ш.4(А) и следствия из теоремы III.5 в § III.4 вытекает, что то же самое утверждение, только с заменой голоморфности на мероморфность, справедливо и для следующих нелинейных эволюционных уравнений:

(0.1) щ — аиххх + Ъиих, а,Ъ е С\{0},

(0.2) ии = аихххх + Ъиихх + bul, a,beC\{ 0},

(0.3) iut = аихх + Ъи\и\2, а, Ь G 1 \ {0},

причем в (0.3) под \и\2 понимается u(x,t)u(x,t).

Утверждение 1. Для каждого из уравнений (0.1)-(0.3), любое голоморфное решение u(x,t) в бидиске D = {(rr, t) £ С2 | \х — xq\ < £1, \t — ¿o| < ^2} (с вещественным центром (xqAo) G l2 е случае уравнения (0.3)) допускает аналитическое продолжение до мероморфной функции ñ(x,t) в полосе S={(x,t)eC2\\t-t0\<e2}.

Отметим, что все три уравнения (0.1)-(0.3) (с вещественными а, Ъ) являются широко известными солитонными уравнениями, с каждого из которых в свое время начинался новый этап развития метода обратной задачи рассеяния. Этот метод был впервые предложен именно для уравнения Кортевега-де Фриза (0.1), описывающего длинные волны на мелкой воде2. К.Гарднер, Дж. Грин, М. Крускал и Р. Миура (1967) заметили, что когда потенциал и(х, t) эволюционирует согласно (0.1), то эволюция его данных рассеяния (некоторых спектральных характеристик оператора L = дх + u(x,t) на пространстве L2(R*)) оказывается линейной и "явно интегрируемой", что позволяет строить примеры решений и изучать свойства всех решений определенных классов. Объяснение неожиданного успеха этого подхода дал П. Лаке (1968),

хПри ссылках на теоремы, леммы, замечания, формулы, параграфы и пункты глав I-IV мы сначала указываем номер главы (но опускаем его, если ссылка делается из той же главы).

2Само слово "солитон" также было впервые введено Н. Забуски и М. Крускалом (1965) в качестве названия некоторых специальных решений уравнения (0.1).

показав, что уравнение (0.1) с а — 1/4, 6 = 3/2 есть условие разрешимости вспомогательной линейной задачи

(0.4)

Ьф = А ф, фг = Рф

для операторов Ь :— д^+и и Р д1 + (3/2)идх + (3/4)их (см. формулу (Ш.4.7) для случая п = 2, г = 3). Иными словами, уравнение (0.1) с а = 1/4, 6 = 3/2 можно записать в виде = — ЬР (см. (Ш.4.1)). Отсюда в силу кососимметричности оператора Р вытекает, что эволюция оператора Ь сводится к его сопряжению посредством некоторого зависящего от Ь унитарного оператора на пространстве чем и объясняется удивительная простота закона эволюции данных рассеяния.

Нелинейное уравнение Шредингера (0.3) описывает эволюцию огибающей волнового пакета (амплитудно-модулированного сигнала), распространяющегося в нелинейной среде с дисперсией, и встречается в оптике, физике плазмы и гидродинамике. Его включение в рамки метода обратной задачи рассеяния, проведенное В.Е. Захаровым и А. Б. Шабатом (1971), потребовало замены в первом уравнении (0.4) скалярного дифференциального уравнения второго порядка на матричное 2 х 2-уравнение первого порядка с последующей редукцией (т.е. подбором матриц специальной алгебраической структуры, в данном случае косоэрмитовых; см. конец п. 1.2.1). При этом вспомогательная линейная задача приобрела вид (см. (1.1.2))

для некоторых матричнозначных полиномов и(х, г) и У(х, ¿, г) степеней соответственно 1 и 2 от спектрального параметра г Е. С (который в общей постановке § Ш.4 будет связан с параметром А из (0.4) соотношением А = гп в случае п х п-матриц), а само уравнение (0.3) оказалось записанным, хотя и неявно, в виде редукции уравнения нулевой кривизны (см. (1.1.1))

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

Наконец, уравнение Буссинеска (0.2), описывающее (как и уравнение Кор-тевега-де Фриза) волны на воде, но допускающее (в отличие от уравнения

(0.5)

Ех = иЕ, Ег = УЕ

(0.6)

иг-ух + иу -уи = 0,

Кортевега-де Фриза) движение волн как вправо, так и влево, было включено в рамки метода обратной задачи рассеяния В. Е. Захаровым (1973) и оказалось первым физически важным случаем, где уже неудобно было ограничиваться 2 х 2-матрицами в (0.5) или операторами L второго порядка в (0.4) и пришлось рассматривать 3 х 3-матрицы или операторы третьего порядка (см. §111.4).

Завершая это краткое отступление в историю нелинейных моделей математической физики, отметим, что в значительной части нашей работы (как, между прочим, и во всей работе С. В. Ковалевской об уравнении теплопроводности) физический смысл изучаемых уравнений не играет никакой роли3. Нам достаточно знать, что все эти уравнения являются редукциями уравнений нулевой кривизны (0.6), связывающих функции U, V вида (0.12). В частности, коэффициенты а, Ъ в (0.1), (0.2) могут быть любыми ненулевыми вещественными или даже комплексными числами.

Уже простейшие примеры показывают, что мероморфная функция и(х, t) в условиях утверждения 1 не обязана быть голоморфной4 на области S С С2. Например, не зависящее от t решение u(x,i) = —12ab~l(x — с)-2 уравнения (0.1) имеет полюс вдоль произвольной комплексной прямой {(с, t) Е С2 11 Е С}, параллельной оси t. Однако, ограничиваясь лишь вещественными значениями переменных (х, t) и так называемым фокусирующим случаем аЬ > 0 нелинейного уравнения Шредингера (0.3), можно сформулировать следующий более точный аналог результата С. В. Ковалевской.

Утверждение 2. Всякое вещественно-аналитическое решение и : П —> С уравнения (0.3) с аЪ > 0 на прямоугольнике П {(х, t) Е М2 | \х — хо\ < £±, 1t — t0| < £2} продолжается до вещественно-аналитической функции и : £ —> С на полосе Е := {(£,£) Е М2 | \t — t0\ < s2}.

Это утверждение содержится в теореме 111.4(C) и получено в конце довольно длинного пути, начатого в § 1.3 и продолженного в § II.4. Оно неверно в дефокусирующем случае аЪ < 0, что вполне согласуется с физическим смыслом нелинейного уравнения Шредингера.

Заметим, что утверждения 1 и 2 неулучшаемы: для каждого из рассмотренных в них случаев можно указать такое голоморфное решение и (ж, t) в бидис-

3Он, однако, вторгнется независимо от нашего желания в формулировку утверждения 2.

4Более того, нет никаких сомнений в том, что для всех решений u(x,t) уравнения (0.1), удовлетворяющих условиям утверждения 1, кроме постоянного решения u(x,t) = const и "решения Концевича-Виттена" u(x,t) = (х + В)/(С — bt), В,С £ С (см. (III.2.8)), мероморфная функция х i—► и(х, to) всегда имеет хотя бы один полюс на С^.. Однако мы пока не располагаем полным доказательством этого факта.

ке D (соответственно, вещественно-аналитическое в прямоугольнике П) что функция ñ(x,t) не допускает дальнейшего мероморфного (или вещественно-аналитического) продолжения ни через одну граничную точку полосы S (соответственно £). Это замечание вытекает из цитированных выше результатов и леммы Ш.1(А) и может быть по лемме III.l(B) переформулировано так: оболочка мероморфности локального голоморфного решения u(x,t) любого из уравнений (0.1)—(0.3) (вблизи точки (xq. ¿0) G М2 С С2 в случае (0.3)) всегда равна всей плоскости С в направлении оси х и может быть совершенно произвольной (любой предписанной) в направлении оси t.

Утверждение 1 переносится со случая уравнений Кортевега—де Фриза (0.1), Буссинеска (0.2) и нелинейного уравнения Шредингера (0.3) на порожденные ими бесконечные иерархии (описанные в § 1.2 и § III.4) более сложных солитон-ных уравнений, причем чем выше номер уравнения в иерархии, тем сильнее результат об аналитическом продолжении (см. замечание II.4). Утверждение 2 также переносится со случая уравнения (0.3) на всю порожденную им иерархию (это вытекает из результатов § II.4).

Более того, утверждение 1 остается верным и для многих других известных уравнений, включая модифицированное и потенциальное уравнения Кортеве-га-де Фриза (см. (1.2.13) и замечание III.3) и уравнение Бюргерса (см. (III.1.6), (III.1.11)). Однако оно не имеет места для уравнения sin-Гордон utt — ихх — sin и и уравнения главных киральных полей (IV. 1.1) в силу гиперболического характера последних5. Неверно оно и для многих "несолитонных" параболических нелинейных уравнений (см. теоремы III.1 и Ш.2), а также для линейных уравнений с постоянными коэффицентами в случае более чем одной пространственной переменной (например, уравнение du/dt = d2u/dx\ + d2u/dx\ имеет не зависящие от t голоморфные решения с точками ветвления или любыми другими наперед заданными особенностями).

Сделав эти вводные замечания, перейдем к рассмотрению содержания диссертации по главам.

Глава I посвящена описанию класса изучаемых нами солитонных уравнений и метода построения их голоморфных решений с помощью задачи Римана о факторизации обратимых матричнозначных функций на окружности. Здесь закладывается необходимый фундамент для построений главы И.

Мы начинаем в § 1.1 с уравнений нулевой кривизны (0.6), в которых U(х, t, z)

5В этом случае теорема Коши-Ковалевской позволяет построить локальное голоморфное в окрестности точки (жо, ío) G С2 решение u(x,t) с любым предписанным ростком u(x,to) = uq(x). В частности, этот росток может не допускать мероморфного продолжения на С.

и г) суть gl(n, С)-значные6 рациональные функции от вспомогатель-

ного параметра г, коэффициенты которых зависят от пространственной и временной переменных При этом дивизоры полюсов функций V, V фиксированы заранее и не зависят от х, а под коэффициентами рациональной функции понимаются коэффициенты ее разложения на простейшие дроби или, что то же самое, коэффициенты главных частей лорановских разложений во всех полюсах. Голоморфным решением уравнения (0.6) на области П С С^ называется пара рациональных gl(n, С)-значных функций 17, V от г с предписанными дивизорами полюсов такая, что все коэффициенты функций 17, V определены и голоморфны на О, а все коэффициенты рациональной функции Щ — Ух + [и, V] от г тождественно равны 0 на П. Выполнение уравнения (0.6) при фиксированном г € С (отличном от полюсов 17 и V) на какой-либо одно-связной области О С С^ равносильно существованию голоморфного решения Е : —> СЬ(п, С) вспомогательной линейной системы (0.5) при том же значении г. Это решение единственно с точностью до умножения справа на любую обратимую матрицу, возможно, свою при каждом г. Если нас интересуют ростки решений 17,V уравнения (0.6) в точке (хо,^о) £ П, то естественно нормировать Е требованием, что Е{хо,^2) = I (единичная п х п-матрица) при всех г.

Вторым главным действующим лицом в § 1.1 является задача Римана. В простейшей ее версии (только и нужной нам) задаются открытые непересекающиеся круги С С, замыкания которых покрывают всю расширенную комплексную плоскость: и В- = С. Непрерывная функция 7 : Г —> СЬ(п, С) на окружности Г := П называется левофактори-зуемой (соответственно правофакторизуемой), если найдутся непрерывные функции 7-1- : И± —> СЬ(п,С), голоморфные на В± и такие, что 7 = 7+7Г1 на Г (соответственно 7 = 71Х7+ на Г). Мы рассматриваем функцию 7 как данные задачи Римана, а пару (7+, 7_) — как решение. Если решение существует, то оно единственно с точностью до умножения элементов пары справа (соответственно слева) на одну и ту же постоянную обратимую матрицу.

Метод одевания Захарова-Шабата (1979) в нашем голоморфном контексте выглядит так. Пусть (С/о, И)) — некоторое голоморфное решение (например, тождественно нулевое) уравнения (0.6) на области Г2 С С2 и пусть Е$

6Через §1(гг, С) на протяжении всей работы обозначается множество всех тг X п-матриц с комплексными коэффициентами, а через СЬ(п, С) — группа всех обратимых таких матриц. Через [А, В] — АВ — В А обозначается коммутатор матриц А, В & §1(гг, С), а через С := С и {оо} расширенная комплексная плоскость.

есть нормированное (в точке (xq. ¿о) £ О) решение вспомогательной линейной системы (0.5). Рассмотрим любое покрытие расширенной комплексной п�