Слоения, несвободные подгруппы в группах Ли и бильярды

Предельный цикл векторного поля — это его изолированная замкнутая траектория.

Вторая часть 16-й проблемы Гильберта — это следующий вопрос о предельных циклах полиномиальных векторных полей на вещественной плоскости:

Верно ли, что число предельных циклов ограничено константой, зависящей только от максимальной степени компоненты векторного поля?

Это — более чем столетняя открытая проблема, имеющая довольно сложную историю (см. [57]). Наилучший известный результат утверждает, что всякое индивидуальное полиномиальное векторное поле имеет лишь конечное число предельных циклов. Это было доказано одновременно и независимо Ж. Экалем [28] и Ю. С. Ильяшенко [131].

В 1950;х гг. И. Г. Петровский и Е. М. Ландис [136] сделали попытку решить 16-ю проблему Гильберта и опубликовали доказательство, в котором позднее была найдена ошибка. В то же время, они предложили новые идеи, представляющие интерес. Их стратегия состоит в исследовании комплексифицирован-ного полиномиального векторного поля в С2 и его комплексных фазовых кривых. Последние суть римановы поверхности, образующие голоморфное слоение с особенностями на С2. Предельные циклы вещественного поля становятся комплексными предельными циклами: нестягиваемыми петлями на комплексных фазовых кривых с нетривиальной голономией (отображением Пуанкаре первого возвращения).

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

Исследование 16-й проблемы Гильберта и идеи Петровского и Ландиса привели к развитию многих областей в теории динамических систем, геометрии и анализе, в частности,.

— слоения на римановы поверхности и униформизация листов,.

— абелевы интегралы и оценки числа нулей трансцендентных аналитических функций,.

— локальная динамика и инварианты аналитической классификации ростков конформных отображений и голоморфных векторных полей, нелинейное явление Стокса,.

Исследование голоморфных слоений с особенностями было начато Ю. С. Ильяшенко в конце 1960;х гг. Он доказал, что у типичного нелинейного полиномиального векторного поля данной степени в С2 все комплексные фазовые кривые плотны, и имеется счетное число комплексных предельных циклов [125, 130].

В 1960;е годы Д. В. Аносов высказал гипотезу, говорящую, что у типичного полиномиального векторного поля все комплексные фазовые кривые од-носвязны, за исключением счетного числа фазовых кривых. Эта гипотезаоткрыта.

Большая часть результатов, представленных в настоящей диссертации, относится к вышеупомянутым темам, происходящим из исследования 16-й проблемы Гильберта (главы 1−3). Результаты глав 4 и 5 относятся к другим темам из смежных областей:

— несвободные подгруппы в группах Ли (глава 4),.

— четырехугольные орбиты в плоских бильярдах (глава 5).

Краткая аннотация результатов диссертации приведена ниже.

0.1. Униформизации слоений на римановы поверхности (глава 1).

Один из подходов к исследованию геометрии голоморфных слоений на аналитические кривые состоит в изучении одновременной униформизации листов. Этот подход был предложен и развит Ю. С. Ильяшенко в конце 1960;х — начале 1970;х гг. Результат униформизации индивидуального листа дается классической теоремой Пуанкаре — Кёбе об униформизации:

Теорема об униформизации (Пуанкаре — Кёбе). Всякая некомпактная односвязная риманова поверхность конформно эквивалентна либо комплексной прямой С, либо диску.

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

По всякому односвязному трансверсальному сечению Ю к слоению на аналитические кривые, конструкция, принадлежащая Ю. С. Ильяшенко, строит соответствующее многообразие универсальных накрывающих. Это — объединение универсальных накрывающих над листами, пересекающими с отмеченными точками в Б. Ю. С. Ильяшенко доказал, что для всякого одномерного голоморфного слоения с особенностями на многообразии Штейна (например, Сп), если И — тоже штейново, то и соответствующее многообразие универсальных накрывающих имеет естественную структуру комплексного многообразия и тоже является многообразием Штейна [56, 128].

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

В кандидатской диссертации автора было доказано [116−118], что все фазовые кривые типичного полиномиального векторного поля в Сп являются гиперболическими римановыми поверхностями. Там же было доказано аналогичное утверждение для большинства естественных классов одномерных голоморфных слоений с особенностями на произвольном гладком проективном алгебраическом многообразии. Версии этих результатов были параллельно получены в работах А. Кандела и Х. Гомес-Монта [16] (чуть ранее) и А. Линса Нето [72] (одновременно), но в меньшей общности. Вышеупомянутые результаты дали положительный ответ к проблеме конформного типа листов, поставленной Ю. С. Ильяшенко в конце 1960;х гг.

Для исследования голоморфного слоения в целом важно знать зависимость униформизации листа от трансверсального параметра. В классической теореме Липмана Берса об одновременной униформизации [10] рассматриваются голоморфные слоения на компактные римановы поверхности. Теорема Берса утверждает, что многообразие их универсальных накрывающих, отвечающее произвольной односвязной трансверсали И, всегда одновременно уни-формизуемо: биголоморфно эквивалентно открытому подмножеству вСхй, расслоенному над И на односвязные области в С.

В конце 1960;х гг. Ю. С. Ильяшенко высказал гипотезу, относящуюся к одномерным голоморфным слоениям с особенностями на аффинных (проективных) алгебраических многообразиях и на многообразиях Штейна. Гипотеза Ильяшенко говорит, что всякое многообразие универсальных накрывающих (и даже всякий штейнов косой цилиндр) одновременно униформизуемо. Ильяшенко доказал положительный ответ в частном случае, для слоения на компактные алгебраические кривые в окрестности инвариантной кривой с морсовскими особенностями [129].

В 1999;2001 гг. автором настоящей диссертации были построены контрпримеры [40, 41] к гипотезе Ильяшенко: не одновременно-униформизуемые многообразия универсальных накрывающих. Контрпример из работы [40] связан со слоением некоторой (аффинной или проективной) алгебраической поверхности на алгебраические кривые и подходящим трансверсальным сечением. Отметим, что слоение из [40] на проективной поверхности имеет как не одновременно-униформизуемые, так и униформизуемые многообразия универсальных накрывающих. А именно, по теореме Берса, всякое односвязное трансверсальное сечение, не пересекающее особых слоев, отвечает одновременно униформизуемому многообразию универсальных накрывающих.

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

В вышеупомянутых работах Кандела, Гомес-Монта и Линса Нето доказано, что для типичных одномерных голоморфных слоений с особенностями на комплексных проективных пространствах метрика Пуанкаре (гиперболических) листов непрерывно зависит от трансверсального параметра. В работе [42] автором была исследована родственная задача о (не обязательно голоморфных) слоениях на параболические римановы поверхности, где комплексная структура листов гладко зависит от трансверсального параметра. Основным примером, рассмотренным и частично исследованным Э. Жисом в [35], является тор произвольной размерности, расслоенный на параллельные плоскости и снабжённый произвольной бесконечно-гладкой римановой метрикой д. Метрика индуцирует комплексную структуру на каждом листе. Всякий лист конформно эквивалентен С, и следовательно, допускает плоскую полную конформную метрику. Точнее, на каждом индивидуальном листе существует положительная гладкая функция ф, такая что метрика фд на листе является плоской и полной. Функция ф единственна с точностью до умножения на константу.

Э.Жис поставил следующий вопрос: верно ли, что функция ф может быть выбрана на каждом листе так, чтобы она гладко зависела от трансвер-сального параметра? Например, верно ли, что она гладко зависит от точки пересечения данного листа с данным трансверсальным сечением? Он доказал положительный ответ в размерности три в частных случаях, когда-либо листы гомеоморфны цилиндру, либо наклон листов удовлетворяет некоторому диофантову условию [35].

Автором был доказан положительный ответ в общем случае:

Теорема 0.1 ([42]). Для всякого слоения тора произвольной размерности параллельными плоскостями, и для всякой римановой метрики д класса гладкости С°° на торе существует положительная функция ф класса гладкости С°° на торе, такая что ограничение метрики фд на каждый лист является плоским.

В той же статье [42] автором были получены и другие результаты (положительные и отрицательные) о других слоениях на параболические римано-вы поверхности. Основные результаты статьи [42] представлены в диссертации.

Доказательство вышесформулированной теоремы позволило автору получить новое доказательство теоремы об интегрируемости гладкой почти комплексной структуры на двумерном торе [42, 46]. С помощью вышеупомянутого доказательства и классических рассуждений было получено новое, упрощённое доказательство [46] основной теоремы теории квазиконформных отображений: теоремы Ч. Морри Мл. о существовании квазиконформного гомеоморфизма, выпрямляющего произвольную заданную измеримую ограниченную почти комплексную структуру на двумерной сфере [3, 78].

0.2. Ограниченная версия инфинитезимальной 16-й проблемы Гильберта (глава 2).

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

Ш = 0, где Н — гамильтониан.

Напомним, что овал многочлена — это замкнутая кривая, лежащая на его кривой уровня и не содержащая его критических точек. Замкнутые траектории гамильтонова поля образуют конечное объединение непрерывных семейств овалов гамильтониана.

Отметим, что никакая равномерная оценка числа предельных циклов не известна даже для векторных полей, близких к гамильтоновым. Обзор частных результатов с библиографией представлен в статье Ю. С. Ильяшенко [57].

Рассмотрим следующую однопараметрическую деформацию гамильтонова поля направлений, зависящую от параметра е:

Ш + ей = 0, со = А{х, у)(1х + В (х, у)(1у, йедА, йедВ < ¿-едН.

Гамильтоново поле отвечает нулевому значению параметра е. Овал С {Н — гамильтонова поля может породить предельный цикл возмущённого поля (е у^ 0) только в том случае, когда соответствующее значение? гамильтониана является нулём некоторой специальной функции /(?).' абе-лева интеграла.

I{t) = и.

7 (t).

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

Теорема Варченко — Хованского [108, 140] утверждает, что число вещественных изолированных нулей абелева интеграла допускает равномерную оценку функцией от степени гамильтониана. Однако метод Варченко — Хованского не позволяет получить эффективной явной оценки.

Напомним, что многочлен от двух переменных называется ультра-мор-совским, если его комплексные критические значения различны и комплексные прямые нулей его старшей однородной части также различны.

В совместной работе автора с д.ф.-м.н., проф. Ю. С. Ильяшенко ([47, 120]) была получена явная верхняя оценка числа нулей абелева интеграла для уль-тра-морсовских гамильтонианов функцией от гамильтониана. Эта оценка не равномерна: она стремится к бесконечности, когда гамильтониан вырождается, так что сливаются либо пара комплексных прямых нулей старшей однородной части, либо пара комплексных критических значений гамильтониана. Однако она равномерна по всем гамильтонианам, пробегающим «достаточно большое11 компактное подмножество /Сп в пространстве ультра-морсовских многочленов произвольной заданной степени п + 1. Оценка имеет вид экспоненты от q (H)(degH)4. Коэффициент q (H) равномерно ограничен сверху на Кп абсолютной константой, не зависящей от п. На данный момент этолучшая из известных явных оценок числа нулей абелева интеграла, справедливых на «достаточно больших «компактных подмножествах в пространствах вещественных ультра-морсовских многочленов (гамильтонианов) произвольной степени.

Идея доказательства вышеупомянутой оценки, а также оценка числа нулей вблизи критических значений гамильтониана и бесконечности принадлежат Ю. С. Ильяшенко. Последняя оценка использует результат Ильяшенко [58], опубликованный отдельно и развивающий результаты РойтманаХованского — Яковенко [66, 91] об оценке вариации аргумента голоморфной функции. Доказательство оценки числа нулей 11 вдали «от критических значений и бесконечности получена совместно и основано на идее Ю. С. Ильяшенко и на результатах автора, опубликованных в статьях [43, 44].

Результаты автора [43, 44] относятся к слоениям на кривые уровня комплексного многочлена от двух переменных, у которого старшая однородная часть не вырождена.

Основной результат статьи [44] даёт явную формулу для детерминанта матрицы абелевых интегралов от базисных мономиальных 1-форм вдоль циклов, порождающих гомологии некритической комплексной кривой уровня рассматриваемого многочлена.

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

Результаты автора, опубликованные в статье [43] и относящиеся к «количественной алгебраической геометрии,» дают аналог предыдущего утверждения для комплексных многочленов от двух переменных (аналогично нормированных подходящим образом). Основная теорема статьи [43] относится к топологии кривых уровня многочлена, отвечающих не слишком большим его значениям. Она дает верхнюю оценку на минимальный радиус бидиска с центром в нуле, содержащего всю нетривиальную топологию вышеупомянутых кривых уровня.

Основные результаты статей [47, 120] представлены в главе 2.

Замечание 0.2. После того, как вышеупомянутые результаты Ильяшенко и автора были опубликованы, явная равномерная оценка числа нулей абелевых интегралов была получена в совместной работе Г. Биньямини, Д. И. Новикова и С. Ю. Яковенко [11]. Их оценка — двойная экспонента от многочлена степени 61 от йедН, в то время, как вышеупомянутая оценка на компактных подмножествах /Сп, полученная Ю. С. Ильяшенко и автором — простая экспонента от многочлена четвертой степени от degH.).

0.3. Слияние особых точек и явление Стокса (глава 3).

Голономия (отображение первого возвращения) предельного цикла голоморфного слоения коразмерности один есть росток конформного отображения (С, 0) —> (С, 0) в неподвижной точке 0. Росток называется параболическим, если он касателен к тождественному в неподвижной точке и отличен от тождественного. Аналитическая классификация (т.е. классификация с точностью до конформной сопряжённости) параболических ростков была получена одновременно и независимо Ж. Экалем [27] и С. М. Ворониным [114]. Построенный ими инвариант аналитической классификации параболического ростка состоит из его формальной нормальной формы и конечного набора конформных ростков (С, 0) (С, 0), называемого модулем Экаля — Воронина.

Теория модулей Экаля — Воронина — это нелинейный аналог классической теории (развитой в 1970;е годы) линейных обыкновенных дифференциальных уравнений с комплексным временем в окрестности иррегулярных особых точек. Рассмотрим, например, дифференциальное уравнение вида г = А{Ь)г, г € Сп, 13 где А (Ь) — матричнозначная мероморфная функция. Особая точка уравнения — это полюс функции Фуксова особая точка — это простой полюс. В окрестности фуксовой особой точки решения растут не более, чем полиномиально вдоль секторов с вершиной в рассматриваемой точке. Особая точка называется иррегулярной, если в ее окрестности некоторое решение растёт быстрее, чем полиномиально вдоль некоторого сектора с вершиной в рассматриваемой особой точке. Например, кратный полюс типичного линейного уравнения есть иррегулярная особая точка. Аналитическая классификация ростков линейных уравнений в иррегулярных особых точках была получена В. Бальзером, В. Юркатом, Д. Лутцем, А. Пейеримхофом и Я. Сибуйей [6, 63, 64, 94]. В типичном случае соответствующий инвариант аналитической классификации состоит из формальной нормальной формы ростка уравнения и набора унипотентных линейных операторов, действующих в пространствах решений уравнения над подходящими секторами с вершиной в особой точке. Последние линейные операторы называются операторами Стокса.

В 1984 г. В. И. Арнольд предложил изучать росток линейного уравнения в иррегулярной особой точке как предел уравнений со сливающимися фуксо-выми особенностями. Он высказал гипотезу, утверждающую, что некоторые операторы монодромии возмущённого (фуксова) уравнения сходятся к операторам Стокса. Близкий вопрос был сформулирован и частично исследован Ж.-П.Рамисом [89]. Краткий обзор частных результатов со ссылками представлен в статье [38].

В статьях [36, 38, 39] автором были получены результаты, связывающие предельную монодромию с операторами Стокса в общем нерезонансном случае для типичной фуксовой деформации иррегулярной особой точки. Эти результаты представлены в диссертации. Аналогичный результат получен диссертантом и для некоторых линейных резонансных иррегулярных уравнений (работа [37], не включена в диссертацию). В статье [119] автором были получены нелинейные аналоги вышеупомянутых результатов:

— для параболических ростков и их модулей Экаля — Воронина;

— для седлоузловых ростков двумерных голоморфных векторных полей и их модулей Мартине — Рамиса (результат представлен в диссертации);

— для седлоузловых ростков в высших размерностях и их секториальных центральных многообразий.

Перечисленные выше результаты автора о линейных уравнениях и параболических и двумерных седлоузловых ростках нашли применение и продолжение в работах К. Кристофера, П. Мардешича, Р. Руссари, К. Руссо, Л. Тейсье [19, 20, 75, 92] об аналитической классификации деформаций вышеупомянутых ростков.

0.4. Несвободные подгруппы в группах Ли (глава 4).

Известно, что во всякой группе Ли с неразрешимой единичной компонентой типичная пара элементов (по мере Хаара) порождает свободную подгруппу [29]. В статье [45] автором было показано, что если свободная подгруппа не дискретна, то она не устойчива, т. е. данная пара её образующих является пределом пар, порождающих несвободные подгруппы.

Теорема 0.3 ([45]). Пусть С — группа Ли, а Гконечно-порождённая некоммутативная свободная группа. Тогда всякое инъективное недискретное представление р: Г —> С есть предел последовательности неинъективных представлений.

Дополнение. Аппроксимирующие неинъективные представления из теоремы могут быть выбраны с несвободными образами.

Вышесформулированная теорема даёт положительный ответ на вопрос Э.Жиса. Последний также предложил исследовать оптимальную скорость приближения образующих недискретной свободной подгруппы в группе Ли образующими несвободных подгрупп с заданной минимальной длиной соотношения. Имеется гипотеза, говорящая, что для типичной исходной свободной подгруппы погрешность наилучшего приближения экспоненциально растет с ростом последней длины. г.

В той же статье [45] автором исследована скорость приближения недискретных инъективных представлений неинъективными. Доказана верхняя оценка оптимальной погрешности приближения, экспоненциально зависящая от некоторой степени минимальной длины соотношения.

Основные результаты статьи [45] представлены в главе 4. Ниже сформулированы смежные открытые вопросы о группе ростков конформных отображений, тесно связанные с исследованием топологии фазовых портретов комплексных полиномиальных векторных полей и голоморфных слоений вообще. Типичное полиномиальное векторное поле данной степени в С2 продолжается до одномерного голоморфного слоения с изолированными особенностями на СР2, имеющего инвариантную прямую на бесконечности. Всякая петля на инвариантной прямой с выколотыми особенностями поднимается до путей на соседних фазовых кривых и задает росток конформного отображения трансверсали, называемого отображением голо-номии. Это задаёт представление фундаментальной группы проколотой инвариантной прямой в группе ростков одномерных конформных отображений (С, 0) —" (С, 0). Образ представления называется группой монодромии на бесконечности. Гипотеза Аносова об односвязности фазовых кривых, сформулированная в начале диссертации, тесно связана с вопросом о свободности группы монодромии на бесконечности.

Ю.С.Ильяшенко и А. С. Пяртли [59] доказали свободность группы монодромии на бесконечности для типичного по Лебегу полиномиального векторного поля данной степени, лежащего в дополнении к счетному объединению аналитических множеств.

Вопрос 0.4.1. Свободна ли группа монодромии для открытого множества полиномиальных векторных полей данной степени?

Вопрос 0.4.2. Существует ли открытое множество пар ростков конформных отображений, каждая из которых порождает свободную группу? Верен ли аналог вышесформулированной теоремы для представлений в группе ростков?

0.5. О четырёхугольных орбитах в плоских бильярдах (глава 5).

Здесь представлен совместный результат автора с аспирантом (ныне к.ф.-м.н.) Ю. Г. Кудряшовым.

Пусть С — ограниченная область в евклидовом пространстве с кусочно-гладкой границей.

Рассмотрим бильярд в области О. Это — отображение в себя пространства пар (ж, г>), где х Е дО, — это точка границы области, а у е Т^М^ - единичный касательный вектор в точке х, направленный внутрь области По определению, бильярдное преобразование переводит пару (х, у) в другую пару (х*, у*), определенную следующим образом:

— луч, порождённый вектором у, пересекает границу сЮпервая точка пересечения — это точка х*.

— предыдущий луч отражается от касательной плоскости Тх*дО, по обычному закону отражения (угол падения равен углу отражения), и отражённый луч, выпущенный из точки х*, направлен внутрь области Г2- вектор у* - это единичный касательный вектор отражённого луча в точке х*.

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

В главе 5 диссертации представлен результат о бильярдах (совместный с Ю.Г.Кудряшовым), связанный с гипотезой Г. Вейля из спектральной теории оператора Лапласа.

Рассмотрим задачу Дирихле в области на собственные функции оператора Лапласа с нулевыми граничными условиями. Известно, что ее собственные значения отрицательны и стремятся к бесконечности. Физик Дебай и Герман Вейль исследовали асимптотическое поведение собственных значений задачи Дирихле. Они рассмотрели счетную функцию от Л > 0, равную количеству собственных значений, по модулю не превосходящих Л2. Дебай получил асимптотическую формулу для счетной функции при Л —> оо с первым главным мономиальным членом для случая прямоугольного параллелепипеда. В 1911 г. Вейль доказал [101], что формула Дебая справедлива для любой области и вывел более точную асимптотическую формулу, со вторым мономиальным асимптотическим членом, для прямоугольного параллелепипеда. Вейль высказал гипотезу, утверждающую, что последняя формула со вторым асимптотическим членом верна для любой области [101].

Гипотеза Вейля была исследована многими математиками, в частности, Р. Курантом, Б. М. Левитаном, Л. Хёрмандером, Дж. Дейстермаатом, В. Гийемином [24] и В. Я. Иврием. Наилучший результат был получен в 1980 г. В. Я. Иврием [124], который доказал гипотезу Вейля при следующем геометрическом условии на область множество периодических точек преобразования бильярда имеет меру нуль. Иврий высказал гипотезу, утверждающую, что последнее геометрическое условие выполнено всегда:

Гипотеза (В.Я.Иврий, 1980). Для всякой области в евклидовом пространстве с кусочно-бесконечно-гладкой границей множество периодических траекторий бильярда имеет меру нуль.

В.Я.Иврий сформулировал эту гипотезу в своем докладе на семинаре Я. Г. Синая. Участники семинара сказали, что это очень просто, и гипотеза будет решена в течение нескольких дней. нескольких недель.нескольких лет. Гипотеза остается открытой!

Гипотеза Иврия была исследована многими математиками. В 1989 г. М. Рыхлик [93] доказал, что в плоском бильярде множество треугольных траекторий имеет меру нуль, с использованием компьютера. Позднее Л. Стоянов [96] получил простое геометрическое доказательство результата Рыхлика. В 1994 г. Я. Б. Воробец [113] обобщил результат Рыхлика на случай треугольных орбит бильярда в произвольной размерности. Обзор других результатов о гипотезе Иврия см. в главе 5 диссертации.

В совместной работе автора с аспирантом (ныне к.ф.-м.н.) Ю. Г. Кудряшовым [121, 135] получено доказательство частного случая гипотезы Иврия для четырёхугольных орбит в размерности два: доказано, что для любого плоского бильярда с кусочно-гладкой границей достаточной гладкости множество четырёхугольных орбит имеет меру нуль.

Доказательство состоит из двух шагов. Первый шаг — это сведение к кусочно-аналитическому случаю, принадлежащее Ю. Г. Кудряшову. Оно основано на переформулировке гипотезы Иврия в терминах аналитических пфаффовых систем как задача о существовании интегральных многообразий данной размерности.

В главе 5 диссертации представлен второй шаг: доказательство гипотезы Иврия для кусочно-аналитического случая. Доказательство получено совместно с Ю. Г. Кудряшовым. В предположении противного множество четырехугольных траекторий имеет непустую внутренность. Исследуется её граница (идея, предложенная Ю.С.Ильяшенко). Для этого изучаются максимальные аналитические продолжения локальных зеркал бильярда. Доказывается, что типичная точка границы отвечает «вырожденной» четырехугольной траектории. Классифицируются всевозможные вырождения и доказывается, что ни одно из них не может отвечать типичной точке границы множества четырёхугольных траекторий. Диссертантом разобрана половина случаев вырождения, в том числе ключевой: вырождение типа «четырёхугольник с развёрнутым углом». Другая половина случаев разобрана Ю. Г. Кудряшовым. Ему же принадлежит структуризация дерева случаев.

0.6. Благодарности.

Я благодарен д.ф.-м.н. профессору Ю. С. Ильяшенко, моему научному отцу, и всей семье его учеников. Быть учеником Ю. С. Ильяшенко — это огромное счастье. Большая часть диссертации (раздел 1.2, главы 2, 3, 5) посвящена поставленным им или сообщённым им мне задачам. Глава 2 посвящена совместной с ним работе. Я благодарен Ю. С. Ильяшенко за постановку задач и за плодотворное сотрудничество.

Я благодарен д.ф.-м.н. академикам В. И. Арнольду, Д. В. Аносову, А. А. Болибруху и всем участникам их семинаров, в которых я многому научился. Глава 3 диссертации посвящена задаче об операторах Стокса, поставленной В. И. Арнольдом в 1984 г. Я благодарен Ю. С. Ильяшенко и д.ф.-м.н. академику А. А. Болибруху, которые ввели меня в круг открытых вопросов о линейных дифференциальных уравнениях, явлении Стокса и нелинейных аналогах.

Я благодарен моему французскому коллеге Э. Жису, замечательному математику и человеку, у которого я многому научился и которому я очень многим обязан. Раздел 1.1 и глава 4 диссертации посвящены поставленным им задачам.

Я благодарен моему соавтору, к.ф.-м.н. Ю. С. Кудряшову за плодотворное сотрудничество.

Я благодарен всем вышеперечисленным, а также д.ф.-м.н. проф. Э. Б. Винбергу, проф. М. Л. Громову, д.ф.-м.н. чл.-корр. РАН.

С.Ю.Немировскому, д.ф.-м.н. проф. Г. М. Хенкину, профессорам З. Бюффу, А. Дуади, Э. Жису, Ф. Лорэ, П. Мардешичу, Ж.-Ф.Маттеи, Ж.-П.Рамису, Ж. Ребело, Р. Руссари, М. Ю. Любичу, Э. Брейяру, Э. Жиру, Ж.-П.Оталю, Г. Томанову, к.ф.-м.н. В. А. Клепцыну, к.ф.-м.н. А. А. Щербакову, Ж.-Ф.Кэну за полезные обсуждения.

Работа поддержана грантами РФФИ, Национальным Центром Научных Исследований Франции (CNRS), совместными грантами РФФИ и CNRS, французским грантом ANR, американским грантом CRDF.

1. Abels, H.- Margulis, G.A.- Soifer, G.A. Semigroups containing proximal linear maps, 1. rael J. Math., 91 (1995), 1−30.

2. Abikoff, W. Real analytic theory of Teichmiiller space, Leet. Notes in Math., 820 (1980), Springer-Verlag.

3. Ahlfors, L. Lectures on quasiconformal mappings, Wadsworth (1987).

4. Ahlfors, L.- Bers, L. Riemann’s mapping theorem for variable metrics, Ann. of Math. (2) 72 (1960), 385−404.

5. Aleksenko, A.- Plakhov, A. Bodies of zero resistance and bodies invisible in one direction, Nonlinearity, 22 (2009), 1247−1258.

6. Balser, W.- Jurkat, W.B.- Lutz, D.A. Birkhoff invariants and Stokes' multipliers for meromorphic linear differential equations, J. Math. Anal. Appl. 71 (1979), no. 1, 48−94.

7. Banica, C.- Forster, O. Complete intersections in Stein Manifolds, Manuscripta Math. 37 (1982), no. 3, 343−356.

8. Baryshnikov, Yu.- Zharnitsky, V. Billiards and nonholonomic distributions, J. Math. Sciences, 128 (2) (2005), 2706−2710.

9. Berndtsson, BoRansford, T.J. Analytic multifunction, the dequation, and a proof of the corona theorem, Pacific J.Math. 124 (1986), no. 1, 57−72.

10. Bers, L. Simultaneous uniformization, Bull. Amer. Math. Society. 66 (1960), 94−97.

11. Binyamini, G.- Novikov, D.- Yakovenko, S. On the number of zeros of Abelian integrals. A constructive solution of the infinitesimal Hilbert sixteenths problem, Invent. Math. 181 (2010), 227−289.

12. Breuillard, E. Proprietes qualitatives des groupes discrets, Notes du cours Peccot 2006 au College de France, Paris. Preprint available athttp: //www.math.u-psud.fr/~breuilla/Peccot4.pdf.

13. Breuillard, E.- Gelander, T. On dense free subgroups of Lie groups, J. Algebra, 261 (2003), no. 2, 448−467.

14. Brown, G. On commutators in a simple Lie algebra, Proc. Amer. Math. Soc. 14 (1963), 763−767.

15. Candel, A. Uniformization of surface laminations, Ann. Sci. Ecole Norm. Sup. (4) 26 (1993), no. 4, 489−516.

16. Candel, A.- Gomez-Mont, X. Uniformization of the leaves of a rational vector field, Ann. Inst. Fourier (Grenoble) 45 (1995), no. 4, 1123−1133.

17. Chern, S.-S. An elementary proof of the existence of isothermal parameters on a surface, Proc. Amer. Math. Soc. 6 (1955), 771−782.

18. Choquet-Bruhat, Y.- de Witt-Morette, C.- Dillard-Bleick, M. Analysis, Manifolds and Physics, North-Holland, 1977.

19. Christopher, C.- Rousseau, C. Normalizable, integrable and linearizable saddle points in the LotkaVolterra system, Qualitative Theory of Differential Equations, 5 (2004), 11−61.

20. Christopher, C.- Rousseau, C. Modulus of analytic classification for the generic unfolding of a codimension one resonant diffeomorphism or resonant saddle, Annales de l’Institut Fourier, 57 (2007), 301−360.

21. Dawson, C.M.- Nielsen, M.A. The Solovay-Kitaev algorithm, Quantum Inf. Comput. 6 (2006), no. 1, 81−95.

22. Douady, A.- Buff, X. Le theoreme d’mtegrabihte des structures presque complexes, The Mandelbrot set, theme and variations, 307−324, London Math Soc. Lecture Note Ser., 274, Cambridge Univ. Press, Cambridge, 2000.

23. Douady, A., Estrada, F., Sentenac, P. Champs de vecteurs polynomiaux sur C, To appear in the Proceedings of Bodilfest.

24. Duistermaat, J.J.- Guillemin, V.W. The spectrum of positive elliptic operators and periodic bicharacteristics, Invent Math 29 (1975), 39−79.

25. Epstein, D. B. A. Almost all subgroups of a Lie group are free, J. Algebra 19 (1971), 261−262.

26. Gamburd, A.- Jakobson, D.- Sarnak, P. Spectra of elements in the group ring of SU{2), J. Eur. Math. Soc. (JEMS) 1 (1999), no. 1, 51−85.

27. Garland, H.- Raghunathan, M. S. Fundamental domains for lattices in (R-)rank 1 semisimple Lie groups, Ann. of Math., 92 (1970), no. 2, 279−326.

28. Gamier, R. Sur les singularites irregulieres des equations differentielles lineaires, J. Math. Pures Appl. 8 (1919), no. 2, 99−198.

29. Gelander, T. On deformations of free subgroups in compact Lie groups, Israel J. Math. 167 (2008), 15−26.

30. Ghys, E.- Carriere, Y. Relations d’equivalence moyennables sur les groupes de Lie, C. R. Acad. Sci. Paris Ser. I Math, 300 (1985), no. 19, 677−680.

31. Ghys, E. Sur l’uniformisation des laminations paraboliques, In «Integrable systems and foliations», ed. C. Albert, R. Brouzet, J.-P. Dufour (Montpellier, 1995), Progress in Math. 145 (1996), 73−91.

32. Glutsuk, A. Stokes operators via limit monodromy of generic perturbation, Journal of Dynamical and Control Systems, 5 (1999), no. 1, 101−135.

33. Glutsyuk, A. Resonant confluence of singular points and Stokes phenomena, Journal of Dynamical and Control Systems, 10 (2004), no. 2 (April), 253−302.

34. Glutsyuk, A. On the monodromy group of confluenting linear equations, Moscow Math. J., 5 (2005), no. 1, 67−90.

35. Glutsyuk, A. Nonuniformizable skew cylinders: a counterexample to the simultaneous uniformization problem, C. R. Acad. Sci. Paris, Serie 1 Math., 332 (2001), 209−214.

36. Glutsyuk, A. On simultaneous uniformization and local nonumformizability, C. R. Math. Acad. Sci. Paris, 334 (2002), 489−494.

37. Glutsyuk, A Simultaneous metric uniformization of foliations by Riemann surfaces, Commentarii Mathematici Helvetici, 79 (2004), Issue 4, 704−752.

38. Glutsyuk, A. Upper bounds of topology of complex polynomials m two variables, Moscow Math. J. 5 (2005), no. 4, 781−828.

39. Glutsyuk, A. An explicit formula for period determinant, Ann. Inst. Fourier (Grenoble) 56 (2006), no. 4, 887−917.

40. Glutsyuk, A. Instability of nondiscrete free subgroups in Lie groups, Transformation Groups, 16 (2011), no. 2, 413−479.

41. Glutsyuk, A. Simple proofs of uniformization theorems, Fields Institute Communications, 53 (2008), 125−143. A Volume in Honour of John Milnor’s 75th Birthday.

42. Glutsyuk, A.- Ilyashenko, Yu. Restricted version of the infinitesimal Hilbert 16-th problem, Moscow Math. J. 7 (2007), no. 2, 281−325.

43. Goto, M. A theorem on compact semi-simple groups, J. Math. Soc. Japan, 1 (1949), 270−272.

44. Grigoriev, A. Uniform asymptotic bound on the number of zeros of Abelian integrals, Preprint arXiv: math. DS/305 248 vl, May 17, 2003.

45. Grigoriev, A. Ph. D. thesis, the Weizmann Institute of Sciences, December 2001.

46. Gromov, M. Pseudoholomorphic curves in symplectic manifolds, Invent. Math. 82 (1985), no. 2, 307−347.

47. Guichardet, A. Cohomologie des groupes topologiques et des algebres de Lie, Textes Mathematiques, 2, CEDIC, Paris, 1980.

48. Haefliger, A. Some remarks on foliations with minimal leaves, J. Differential Geometry, 15 (1980), no. 2, 269−284.

49. Hitchin, N. Lie groups and Teichmuller space, Topology, 31 (1992), no. 3, 449−473.

50. Ilyashenko, Yu. S., ed. Nonlinear Stokes Phenomena, Adv. Soviet Math. 14, Amer. Math. Soc., Providence, RI, 1993.

51. Ilyashenko, Yu.S. Covering manifolds for analytic families of leaves of foliations by analytic curves, Topol. Methods Nonlinear Anal. 11 (1998), no. 2, 361−373.

52. Ilyashenko, Yu.S. Centennial history of Hilbert’s 16th problem, Bull AMS, 39 (2002), no. 3, 301−354.

53. Ilyashenko, Yu.S. Variation of argument and Bernstein index for holomorphic functions on Riemann surfaces, Math. Res. Lett. 14 (2007), no. 3, 433−442.

54. Ilyashenko, Yu.S.- Pyartli, A.S. The monodromy group at infinity of a generic polynomial vector field on the complex projective plane, Russian J. Math. Phys. 2 (1994), no. 3, 275−315.

55. Ilyashenko Yu.S.- Yakovenko S.Yu. Counting real zeros of analytic functions satisfying linear ordinary differential equations, Journal of Differential equations 126 (1996), no. 1, 87−105.

56. Ilyashenko, Yu.S.- Yakovenko, S.Yu. Lectures on analytic differential equations, Graduate Studies in Mathematics, 86. American Mathematical Society, Providence, RI, 2008.

57. Jurkat, W.B.- Lutz, D.A.- PeyerimhofT, A. Birkhoff invariants and effective calculations for meromorphic linear differential equations, J. Math. Anal. Appl. 53 (1976), no. 2, 438−470.

58. Jurkat, W.B.- Lutz, D.A.- PeyerimhofT, A. Birkhoff invariants and effective calculations for meromorphic linear differential equations, Houston J. Math. 2 (1976), no. 2, 207−238.

59. Kaloshin, V.- Rodnianski, I. Diophantine properties of elements of SO (3), Geom. Funct. Anal. 11 (2001), no. 5, 953−970.

60. Khovanskii, A. G.- Yakovenko, S.Yu. Generalized Rolle theorem in Mn and C, Journal of Dynamical and Control Systems, 2 (1996), no. 1, 103−123.

61. Korn, A. Zwei Anwendungen der Methode der sukzessiven Annaherungen, Schwarz Festschrift, Berlin (1919), 215−229.

62. Kuranishi, M. On everywhere dense embedding of free groups in Lie groups, Nagoya Math. J., 2 (1951), 63−71.

63. Labourie, F. Anosov flows, surface groups and curves in projective space, Invent. Math., 165 (2006), 51−114.

64. Lavrentiev, M.A. Sur une classe des representations continues, MaTeM. c6., 42:4 (1935), 407−434.

65. Lichtenstein, L. Zur Theorie der konformen AbbildungenKonforme Abbildungen nicht-analytischer singularitatenfreier Flachenstucke auf ebene Gebiete, Bull. Acad. Sei. Cracovie (1916), 192−217.

66. Lins Neto, A. Simultaneous uniformization for the leaves of projective foliations by curves, Bol. Soc. Brasil. Mat. (N.S.) 25 (1994), no. 2, 181−206.

67. Lubotzky, A. Free quotients and the first Betti number of some hyperbolic manifolds, Transformation Groups, 1 (1996), no. 1−2, 71−82.

68. Mardesic, P. An explicit bound of the multiplicity of zeros of generic Abelian integrals, Nonlinearity 4 (1991), 845−852.

69. Mardesic, P.- Roussarie, R.- Rousseau, C. Modulus of analytic classification for unfoldmgs of generic parabolic diffeomorphisms, Moscow Math. J., 4(2) (2004), 455−502.

70. Martinet, J Remarques sur la bifurcation n? ud-col dans le domaine complexe, Asterisque, 150−151 (1987), 131−149.

71. Martinet J.- Ramis, J.-P. Problemes de modules pour des equations differentielles non lineaires du premier ordre, Inst. Hautes Etudes Sei. Publ. Math., 55 (1982), 63−164.

72. Morrey, C. B., Jr. On the solutions of quasi-linear elliptic partial differential equations, Trans. Amer. Math. Soc., 43 (1938), no. 1, 126−166.

73. Nielsen, M.A.- Chuang, I.L. Quantum computation and quantum information, Cambridge University Press, Cambridge, 2000. xxvi-f676 pp.

74. Nishino, T. Nouvelles recherches sur les fonctions entieres de plusieurs variables complexes (II). Fonctions entieres qui se reduisent a celles d’une variable, J. Math. Kyoto Univ., 9−2 (1969), 221−274.

75. Novikov, D.- Yakovenko, S.Yu. A complex analog of Rolle theorem and polynomial envelopes of irreducible differential equations in the complex domain, J London Math Soc., (2) 56 (1997), no. 2, 305−319.

76. Novikov, D.- Yakovenko, S.Yu. La borne simplement exponentielle pour le nombre de zeros reels isoles des integrales completes abeliennes, Comptes Rendus Acad. Sei. Paris, serie I, 320 (1995), 853−858 (brief announcement).

77. Novikov, D.- Yakovenko, S.Yu. Simple exponential estimate for the number of zeros of complete Abelian integrals, Ann. Inst. Fourier (Grenoble), 45 (1995), 897−927.

78. Novikov, D.- Yakovenko, S.Yu. Redundant Picard-Fuchs systems for Abelian integrals, J. of Differential Equations, 177 (2001), 267−306.

79. Pasiencier, S.- Wang, H.-C. Commutators in a semisimple Lie group, Proc. Amer. Math. Soc., 13 (1962), no. 6, 907−913.

80. Petkov, V.M.- Stojanov, L.N. On the number of periodic reflecting rays m generic domains, Erg. Theor. Dyn. Sys., 8 (1988), 81−91.

81. Plakhov, A.- Roshchina, V. Invisibility m billiards, Nonlinearity, 24 (2011), 847−854.

82. Ramis, J.-P Phenomene de Stokes et filtration Gevrey sur le groupe de PicardVessiot, C. R. Acad. Sei Paris, Ser I Math, 301 (5) (1985), 165−167.

83. Ramis, J.-P. Confluence et resurgence, J. Fac. Sei. Tokyo, Sect. IA, Math., 36 (1989), no. 3, 703−716.

84. Ree, R. Commutators in semisimple algebraic groups, Proc. Amer. Math. Soc., 15 (1964), no. 3, 457−460.

85. Roitman, M.- Yakovenko, S.Yu. On the number of zeros of analytic functions in a neighborhood of a Fuchsian singular point with real spectrum, Math. Res. Letters, 3 (1996), no. 3, 359−371.

86. Rousseau, C.- Teyssier, L. Analytical moduli for unfoldings of saddle-node vector fields, Moscow Math. J., 8 (2008), 547−614.

87. Rychlik, M.R. Periodic points of the billiard ball map in a convex domain, J. Diff. Geom., 30 (1989), 191−205.

88. Sibuya, Y. Stokes phenomena, Bull. Amer. Math. Soc., 83 (1977), 1075−1077.

89. Stein, K. Uberlagerungen holomorph-vollstandiger komplexer Raume, Arch. Math., 7 (1956), no. 5, 354−361.

90. Stojanov, L.N. Note on the periodic points of the billiard, J. Differential Geom., 34 (1991), 835−837.

91. Sullivan, D. Quasiconformal homeomorphisms and dynamics II, Acta Math., 155 (1985), 243−260.

92. Tits, J. Free subgroups in linear groups, J. Algebra, 20 (1972), 250−270.

93. Verjovsky, A. A uniformization theorem for holomorphic foliations, The Lefschetz centennial conference, Part III (Mexico City, 1984), 233−253, Contemp. Math., 58, III, Amer. Math. Soc., Providence, RI, 1987.

94. Weil, A. Remarks on the cohomology of groups, Annals of Math., 80 (1964), 149−157.

95. Weyl, H. Uber die asymptotische Verteilung der eigenwerte, Nachrichten von der Gesellschaft der Wissenschaften zu Gottingen, MathematischPhysikalische Klasse (1911), 110−117.

96. Wojtkowski, M.P. Two applications of Jacobi fields to the billiard ball Problem, J. Differential Geom., 40 (1) (1994), 155−164.

97. Zhang, C. Quelques etudes en theorie des equations fonctionnelles et en analyse combinatoire, These, Institut de Recherche Mathematique Avancee, Univ. Louis Pasteur et CNRS (URA 01), 1994.

98. Апанасов, Б.H.- Гусевский, H.A.- Крушкаль, С.JI. Клейновы группы и униформизация в примерах и задачах, Новосибирск: Наука, 1981.

99. Арнольд, В. И. Дополнительные главы теории обыкновенных дифференциальных уравнений, Москва: Наука, 1978.

100. Арнольд, В.И.- Ильяшенко, Ю. С. Обыкновенные дифференциальные уравнения, В сборнике Динамические системы 1, Итоги Науки и Техники, Сер. Соврем, пробл. мат. Фундам. направления, 1 (1985), 7−140. ВИНИТИ, Москва, 1985.

101. Арнольд, В.И.- Варченко, А.Н.- Гусейн-Заде, С. М. Особенности дифференцируемых отображений, Москва: Наука, 1982.

102. Варченко, А. Н. Оценка числа нулей абелева интеграла, зависящего от параметра, и предельные циклы, Функц. анализ и его прил., 18:2 (1984), 14−25.

103. Варченко, А. Н. Критические значения и детерминант периодов, УМН, 44:4 (268) (1989), 235−236.

104. Васильев, Д. Г. Двучленная асимптотика спектра краевой задачи при внутреннем отражении общего вида, Функц. анализ и его прил., 18:4 (1984), 1−13.

105. Васильев, Д. Г. Двучленная асимптотика спектра краевой задачи в случае кусочно-гладкой границы, Доклады Акад. Наук, 286 (1986), по. 5, 1043−1046.

106. Винберг, Э.Б.- Онищик A.JI. Семинар по группам Ли и алгебраическим группам, Второе издание, УРСС, Москва, 1995.

107. Воробец, Я.Б. О мере множества периодических точек бильярда, Ма-тем. заметки, 55 (1994), по. 5, 25−35.

108. Воронин, С. М. Аналитическая классификация ростков конформных отображений (С, 0) —> (С, 0), Функц. анализ и его прил., 15 (1981), no. 1, 1−17.

109. Воронин, С.М.- Мещерякова. Ю. И. Аналитическая классификация типичных вырожденных элементарных особых точек ростков голоморфных векторных полей на комплексной плоскости, Изв. Высших Уч. За-вед. Мат., (1) (2002), 13−16.

110. Глуцюк, A.A. Гиперболичность фазовых кривых общего полиномиального векторного поля в Сп, Функц. анализ и его прил., 2 (1994), 1−11.

111. Глуцюк, A.A. Гиперболичность листов общего одномерного голоморфного слоения на неособом проективном алгебраическом многообразии, Труды Матем. Инст. им. В. А. Стеклова, 213 (1996), 90−111.

112. Глуцюк, A.A. Униформизация листов одномерных голоморфных слоений, Диссертация канд. физ-мат. наук, мехмат МГУ, Москва 1996.

113. Глуцюк, A.A. Слияние особых точек и нелинейное явление Стокса, Труды Моск. Матем. Общества, 62 (2000), 54−104.

114. Глуцюк, A.A.- Ильяшенко, Ю. С. Ограниченная инфинитезималъная 16-я проблема Гильберта, Доклады Акад. Наук, 407 (2006), по. 2, 154−159.

115. Глуцюк, A.A.- Кудряшов, Ю.Г. О четырёхугольных орбитах в плоских бильярдах, Доклады Акад. Наук, 438:5 (2011), 590−592.

116. Горбовицкис, H.A. Нормальные формы семейств отображений в области Пуанкаре. Труды МИАН, 254 (2006), 101−110.

117. Гриффите, Ф.- Харрис, Дж. Принципы алгебраической геометрии, Москва, Мир, 1982.

118. Иврий, В.Я. О втором члене спектральной асимптотики для оператора Лапласа-Бельтрами на многообразиях с краем, Функц. анализ и его прил., 14 (1980), по. 2, 25−34.

119. Ильяшенко, Ю. С. Плотность индивидуального решения и эргодичность семейства решений уравнения drj/d^ — P{^, T})/Q{^, r}), Матем. заметки, 4:6 (1968), 741−750.

120. Ильяшенко, Ю. С. Возникновение предельных циклов при возмущении уравнения dw/dz = —Rz/Rw, где R (z, w) многочлен, Матем. сб., 78(120):3 (1969), 360−373.

121. Ильяшенко, Ю. С. Пример уравнений dw/dz = Рп (г, w)/Qn (z, w), имеющих счетное число предельных циклов и сколь угодно большой жанр по Петровскому-Ландису, Матем. сб., 80(122):3(11) (1969), 388−404.

122. Ильяшенко, Ю. С. Слоения на аналитические кривые, Матем. сб., 88(130):4(8) (1972), 558−577.

123. Ильяшенко, Ю. С. Невырожденные B-группы, Доклады Акад. Наук, 208 (1973), 1020−1022.

124. Ильяшенко, Ю. С. Топология фазовых портретов аналитических дифференциальных уравнений на комплексной проективной плоскости, Труды Семин. И. Г. Петровского (1978), по. 4, 83−136.

125. Ильяшенко, Ю. С. Теоремы конечности для предельных циклов, УМН, 45:2(272) (1990), 143−200.

126. Ильяшенко, Ю.С.- Хованский, А. Г. Группы Галуа, операторы Стокса и теорема Рамиса, Функц. анализ и его прил., 24:4 (1990), 31−42.

127. Ильяшенко, Ю.С.- Щербаков A.A. О косых цилиндрах и одновременной униформизации, Труды МИАН, 213 (1997), 112−123.

128. Китаев, А. Ю. Квантовые вычисления: алгоритмы и исправление ошибок, УМН, 52:6 (318) (1997), 53−112.

129. Кудряшов, Ю. Г. Костлявые аттракторы и магические бильярды, Диссертация канд. физ-мат. наук, мехмат МГУ, Москва 2011.

130. Ландис, Е.М.- Петровский, И.Г. О числе предельных циклов уравнения dy/dx = P (x, y)/Q (x, y), где Р и Q полиномы, Матем. сб., 43(85) (1957), 149−168.

131. Петров, Г. С. О числе нулей полных эллиптических интегралов, Функц. анализ и его прил., 18:2 (1984), 73−74.

132. Пушкарь, И. А. Многомерное обобщение теоремы Ильяшенко об абеле-вых интегралах, Функц. анализ и его прил., 31:2 (1997), 34−44.

133. Рашевский, П. К. Геометрическая теория уравнений с частными производными, ОГИЗ Гостехиздат, 1947.

134. Хованский А. Г. Вещественные аналитические многообразия со свойством конечности и комплексные абелевы интегралы, Функц. анализ и его прил., 18:2 (1984), 40−50.

135. Щербаков, A.A. Метод исчерпывания для косых цилиндров, Алгебра и анализ, 12:5 (2000), 178−206.