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

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

На правах рукописи

Садыков Тимур Мрадович

ГИПЕРГЕОМЕТРИЧЕСКИЕ ФУНКЦИИ МНОГИХ КОМПЛЕКСНЫХ ПЕРЕМЕННЫХ

01.01.01 — математический анализ

Автореферат

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

1 00346423Т ^

Москва - 2009

003464237

Работа выполнена в Сибирском федеральном университете.

Научный консультант:

доктор физико-математических наук, профессор А. К. Цих

Официальные оппоненты: доктор физико-математических

наук, профессор В. К. Белошапка доктор физико-математических наук, член-корр. РАН

С. Ю. Немировский

доктор физико-математических наук, профессор А. Г. Хованский

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

Институт математики им. С. Л. Соболева СО РАН, г. Новосибирск

Защита диссертации состоится 9 апреля 2009 г. в 14 часов на заседании диссертационного совета Д 002.022.01 при Математическом институте им. В. А. Стеклова РАН по адресу: 119991, Москва, ул. Губкина, д. 8, конференц-зал.

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

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

Ученый секретарь

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

В. А. Ватутин

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

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

Девяностые годы XX века отмечены всплеском интереса к многомерной гипергеометрической теории. Этот интерес был в значительной степени вызван возросшими потребностями компьютерной алгебры, нуждавшейся в систематизации имеющегося многообразия специальных функций математической физики. На протяжении десятилетия в свет вышли получившие вскоре широкую известность монографии о теоретико-числовых аспектах этой теории4, о комбинаторных свойствах дискриминантов и многомерных определителей5 (которые описывают особенности функций гипергеометрического типа), об обобщенных гипергеометрических уравнениях в квантовой теории поля6 и об алгоритмах и вычислительных мето-

1 Р. Candelas, X. de la Ossa, P.Greene, and L.Parkes, A pair of Calabi-Yau manifolds as an exactly soluble superconformai theory, Nucí. Phys. B539 (1991), 2174.

2M. Пассаре, А. К. Цих, А. А. Чешель, Кратные интегралы Меллина-Барнса как периоды многообразий Калаби-Яу с несколькими модулями, Теор. и матем. физика 109:3 (1996), 381-394.

3L. A. Borisov, R. P. Horja, Mellin-Barnes integrals as Fourier-Mukai transforms, Adv. in Math. 207:2 (2006), 876-927.

4B. M.Dwork, Generalized Hypergeometric Functions, Oxford University Press, 1990.

5I. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants, Birkhäuser. Boston, 1994.

6A . Varchenko, Multidimensional Hypergeometric Functions and Representation Theory of Lie Algebras and Quantum Groups, Advanced Series in Mathem

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

Класс систем дифференциальных уравнений в частных производных гипергеометрического типа является, в некотором смысле, простейшим классом систем уравнений с непостоянными полиномиальными коэффициентами. Такие системы дифференциальных уравнений в частных производных образуют важный класс регулярных го-лономных идеалов в алгебре Вейля линейных дифференциальных операторов с полиномиальными коэффициентами. К ним относятся система Гельфанда-Капранова-Зелевинского8, уравнения Книжника-Замолодчикова, а также системы дифференциальных уравнений Горна и Меллина. Эти уравнения могут рассматриваться как обобщенные уравнения гипергеометрического типа, а их решения допускают интегральные представления, обобщающие классические интегралы Эйлера для гипергеометрических функций одного переменного. Такой подход позволяет связать специальные функции гипергеометрического типа и актуальные задачи теории представлений алгебр Ли и квантовых групп. В отличие от случая постоянных коэффициентов, немногое известно о глобальных свойствах общей системы уравнений гипергеометрического типа.

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

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

Physics 21. World Scientific, 1995.

7М. Saito, В. Sturmfels, and N. Takayama, Gröbner Deformations of Hypergeo-metric Differential Equations, Springer Verlag. Berlin, Heidelberg, 2000.

8И. M. Гельфанд, А. В. Зелевинский, M. M. Капранов, Гипергеометрические функции и торические многообразия, Функциональный анализ и его приложения 23:2 (1989), 12-26.

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

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

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

— доказано, что множество нулей любого главного А-детерминанта имеет сплошную амебу;

— установлено, что умножение неконфлюэнтных гипергеометрических рядов по Адамару соответствует сложению многогранников Ньютона многочленов, определяющих их особенности, по Минковскому;

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

9Е. Cattani, A. Dickenstein, and B.Sturmfels, Rational hypergeometric functions, Compositio Math. 128:2 (2001), 217-240.

стемы уравнений в окрестности точки общего положения;

— построен базис в пространстве голоморфных решений гипер-гсомстрнческой системы уравнений в случае, когда главные символы определяющих ее операторов образуют полное пересечение;

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

Точные формулировки основных результатов работы приведены ниже.

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

Методы исследования весьма разнообразны. Для представления функций гипергеометрического типа используется многомерный аналог интегрального представления Меллина-Барнса и кратные ряды Пюизо. Развитая в диссертации методика построения многогранника Ньютона многочлена, определяющего алгебраическую особенность гипергеометрической функции, опирается на ряд теорем о сингулярном носителе решения системы линейных дифференциальных уравнений в частных производных и использует понятие результанта набора однородных форм. Для дальнейшего изучения множества особенностей гипергеометрической функции используются теоремы о представлении монодромии гипергеометрической системы уравнений, теоремы о порождающих фундаментальных групп некоторых

областей в многомерном комплексном пространстве, а также понятие торического многообразия.

При изучении гипергеометрических систем дифференциальных уравнений оказывается весьма полезным встать на «алгебраическую» точку зрения и рассмотреть модуль над алгеброй Вейля линейных дифференциальных операторов с полиномиальными коэффициентами, ассоциированный с исходной системой уравнений. При этом такие понятия как условия совместности системы уравнений, пространство ее решений в заданном классе функций, число линейно независимых решений в окрестности неособой точки и множество их особенностей получают алгебраическую интерпретацию. Использование методов некоммутативной алгебры10 позволяет находить условия голономности гипергеометрических систем и вычислять их го-лономный ранг. Для построения базисов в пространствах их голоморфных решений используется многомерный аналог интегрального представления Меллина-Барнса, которое в совокупности с техникой теории многомерных вычетов позволяет вычислять решения гипергеометрических систем в виде кратных рядов Пюизо. Для доказательства утверждений о существовании гипергеометрических функций с заданным ветвлением используются результаты теории отображений Белого и многочленов Шабата.

Для получения формулировок ряда теорем использовались методы компьютерной алгебры, реализованные в системах Mathematica, Singular и Macaulay. В этих случаях компьютерные эксперименты приводили к возникновению гипотезы, которая затем доказывалась без использования вычислительной техники.

Апробация работы и публикации. Результаты диссертации докладывались и обсуждались на семинарах в МГУ, Институте математических исследований в г.Беркли, Математическом институте им. Макса Планка в Бонне, в Институте математических исследований в г.Киото, Институте математики им. С.Л.Соболева СО

10J.-E. Bjork, Rings of Differential Operators, North. Holland Mathematical Library, 1979.

РАН, в университетах Торонто, Беркли, Сан-Диего, Буэнос-Айреса, Стокгольма, Кумамото, в Сибирском федеральном университете и в других научных центрах. Основные результаты диссертации были представлены на российских и международных конференциях в МИАН, Независимом московском университете, в университетах Беркли, Питсбурга, Исландии, Западного Онтарио, Токио, в университетах штатов Оклахома и Мичиган. Работы о голономном ранге гипергеометрической системы уравнений и умножении гипергеометрических рядов по Адамару были отмечены премией Шведской Королевской Академии наук. За цикл работ о монодромии гипергеометрических систем уравнений автору была присуждена стипендия фонда «Династия».

Результаты диссертации полностью опубликованы. Список основных одиннадцати статей приведен в конце автореферата.

Структура диссертации. Диссертация состоит из введения и семи глав основного текста, разделенных на параграфы. Нумерация параграфов двойная и ведется по главам, нумерация определений, теорем, замечаний и т.п. - тройная, единая для всех этих элементов текста и сквозная внутри каждой главы. Этим же способом организована нумерация формул. Диссертация снабжена оглавлением, указателем обозначений и списком литературы из 123 наименований, где вначале в алфавитном порядке перечислены работы на кириллице, а затем - на латиннице. Общий объем диссертации - 260 страниц.

Обзор содержания диссертации

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

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

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

Одной из основных целей главы 1 является изучение характеристических многообразий гипергеометрических систем дифференциальных уравнений. Проекции этих многообразий на пространство переменных заведомо содержат множества особенностей гипергеометрических функций, удовлетворяющих таким системам. Примерами таких систем уравнений являются система Гельфанда-Капранова-Зелевинского, система Меллина для алгебраической функции многих переменных (подробно рассмотренная в главе 7 настоящей диссертации), гипергеометрические системы уравнений, ассоциированные с решетками, а также система уравнений Горна. Последняя естественно возникает из определения гипергеометрического ряда, предложенного Горном11. Согласно этому определению, формальный (ло-рановский) ряд от п переменных

называется гипергеометрическим, если для любого г = 1,..., п отношение е^)/^(а) является рациональной функцией. Здесь ег = (О, ..., 1, ...,0) (1 на г-ом месте), в = (в1,..., зп), х = (х\,..., хп),

11 J.Horn, Über hypergeometrische Funktionen zweier Veränderlichen, Math. Ann. 11T (1940), 384-414.

(1)

seZ'

Нетрудно выписать систему дифференциальных уравнений, которой формально удовлетворяет ряд (1). Пусть <f(s + ei)/ip(s) = Pi{s)/Qi(s+ei), где Pi, Qi - многочлены, тогда ряд (1) является формальным решением системы уравнений

ХгР{{0)у{х) = Qi{9)y(x), ¿ = 1,...,п. (2)

Здесь в = (01,..., вп), Qi = Частные случаи данной системы

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

Определение. Аналитическая функция (вообще говоря, многозначная) называется гипергеометрической, если она удовлетворяет гипергеометрической системе Горна (2) при некотором выборе многочленов Pi,Qi.

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

char(J) = {(х, z) € С2" : а(Р)(х, z) = 0, для всех Р е J}

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

Теорема 1.10.50. Двумерная система Горна голономна для почти всех значений своих параметров.

12А

. Erdelyi, Hypergeometric functions of two variables, Acta Math. 83 (1950), 131-164.

13H. M. Srivastava and P. W. Karlsson, Multiple Gaussian Hypergeometric Series, Ellis Horwood Limited, 1985.

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

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

у{х) = J <p(s)xsds, (3)

с

где s — (si,..., sn), xs = а^1 .. .х®", ds = dsi... dsn.

Для построения решений системы (2) необходимо исследовать систему разностных уравнений

íp(s + ei) = Ri(s)ip(s), г = 1,...,п, (4)

где Ri(s) = Pi(s)/Qi(s + e¿), e¿ = (0,..., 1,... ,0) (1 на г-ом месте). Разрешимость данной системы уравнений описывается теоремой 2.2.2:

Теорема 2.2.2. Для разрешимости системы (4) необходимо и достаточно выполнение условий согласования

Ri{s + ej)Rj(s) = Rj(s + ei)Ri(s), i,j = l,...,n. (5)

При этом если решение системы (4) существует, то оно единственно с точностью до произвольного множителя (f>(s), удовлетворяющего условиям периодичности ф(в + e¿) = </>(s), для всех г = 1,..., п.

Утверждение данной теоремы вытекает из известной теоремы Оре-Сато14, однако приведенное в § 2.2 доказательство является новым и конструктивным, причем конструкция общего решения существенно используется в последующих разделах диссертации. Речь идет об общем виде решения системы разностных уравнений (4) в случае, когда

14М. Sato, Theory of prehomogeneous vector spaces (algebraic part), Nagoya Math. J. 120 (1990), 1-34.

многочлены Pi,Qi разлагаются в произведения линейных множителей. Это решение имеет вид

<р{8) = ^ . . . К -ф{8). (6)

ПГ «я,-, «}-<%)

.7=1

Здесь ф{в) - произвольная функция со своим ф{э + е^ = , г = 1,...,П, ¿1 , - - - , ¿тг, С1,...,Ср, € С, Л1,...,Лр, В1,...,Вд €

Коэффициенты векторов конструктивным образом опре-

деляются по многочленам Pi,Qi■ Отметим, что класс функций, которому принадлежит решение системы разностных уравнений, определяется выбором периодической функции ф(з).

Функция (6) имеет вид произведения трех функций: показательной функции, так называемой Г-дроби (отношения произведений Г-функций в линейных по переменным суммирования аргументах) и периодической функции. Предположим, что функция ф(з) - целая. Тогда множество полюсов функции (6) представляет собой конечный набор счетных семейств гиперплоскостей, каждое из которых соответствует множителю в числителе Г-дроби. Аналогом простых полюсов в этом случае является ситуация, когда через каждую точку проходит не более чем п полярных гиперплоскостей. Заметим, что в теории Гельфанда и его соавторов такая ситуация соответствует нерезонаисному случаю. Роль окружностей в одномерном случае теперь играют остовы т(ш), которые фактически являются топологическими произведениями п окружностей и представляются системой уравнений

К^г!,^) - с^ +тх\ = е,

где гп{ € Мо и ,..., Агп - линейно независимая система векторов, фигурирующих в числителе (6).

Для получения решений гипергеометрической системы интеграл (3) должен удовлетворять следующим условиям:

А. Для любого г — 1 ,...,п контур C¿, получающийся из контура С сдвигом на базисный вектор е^, гомологичен контуру С в дополнении ко множеству особенностей подынтегральной функции

В. Интеграл (3) сходится.

В §§ 2.3, 2.4 рассмотрены условия А, В соответственно и сформулированы ограничения на параметры системы (2), при которых эти условия удовлетворяются. Доказано следующее предложение.

Предложение 2.3.6. В нерезонапсном случае контур

удовлетворяет условию А.

В нерезонансном случае решения системы уравнений (2), соответствующие набору линейных независимых векторов А¿1,..., А[п, могут быть представлены в виде Г-рядов, то есть в виде степенных рядов, коэффициенты которых являются отношениями произведений Г-функций в линейных по переменным суммирования аргументах. Однако для представления интеграла (3) в виде ряда необходимо

обеспечить выполнение условия В. Для этого рассмотрим полупро-

р я

странство П = {11е(Д, в) < 0}, где А = ^ Ai— ^ В^. Напомним, что

конус, двойственный заданному конусу С С К", определяется при помощи равенства Су = {» 6 К" : {и, у) > 0, \/и е С}. Условие В будет выполнено, если конус Ку, двойственный конусу К, порожденному системой векторов ..., А1п, лежит в полупространстве П. Доказана следующая теорема.

Теорема 2.5.7. Если набор векторов А^,... ,А,п удовлетворяет условиям предложения 2.3.6 и конус Ку С П, то ряд

в(3).

С= £ т(ш)

i=l j=l

х

х

(7)

з=1

удовлетворяет системе уравнений Горна (2); здесь I = {¿1,... , гп}, С] — (с*!, • • •, Сгп), Л - матрица со строками А^,..., А¿п и т) - решение системы линейных уравнений Ав = с/ — т.

Целью главы 3 является вычисление размерности пространства голоморфных решений системы уравнений Горна в окрестности точки общего положения и построение базиса в этом пространстве. Важную роль играют при этом условия нерезонансности параметров системы Горна и конкретная конструкция общего решения системы разностных уравнений (4). В § 3.3 построен базис в пространстве голоморфных решений системы Горна при некоторых предположениях относительно параметров данной системы. А именно, предположим, что для любого i = 1,..., п многочлен (¿{(в) зависит лишь от переменного я; и запишем этот многочлен в виде С^^в) = П^=1(5г — ач)> г = 1,..., п, а^ £ С. Основной результат главы 3 состоит в следующем.

Теорема 3.3.14. Предположим, что для всех г = 1 ,...,п многочлен (¿1(8) зависит лишь от переменного в, и > degPi. Для любого мулътииндекса I — (¿1,..., г„), € положим 7/ = («1 ... ,аПгп). Тогда при выполнении условий нерезонансности существуют р € N0, ¿1,... сь ..., ср е С, А1,... ,АР € Zn, такие, что семейство, состоящее из . .йп функций

есть базис в пространстве голоморфных решений системы (2) в окрестности любой точки х б (С*)п = (С \ {0})п.

Напомним, что носителем ряда Лорана (р(8)хв называется

множество {я 6 : ф 0}. Доказательство теоремы 3.3.14 опирается на представление (7) решения системы Горна в виде кратного ряда, полученное в главе 2, и на конструкцию носителей решений

системы Горна. Для обоснования того, что построенное семейство функций (8) исчерпывает пространство голоморфных решений системы Горна, используется следующая теорема о размерности данного пространства, доказанная в § 3.2.

Теорема 3.2.13. Предположим, что многочлены Р^в), удовлетворяют условиям согласования (5) и что для любого г = 1,..., п многочлен ^(й) зависит лишь от переменного Si. Если главные символы Н1(х(°\г),... ,Нп(х(°\г) дифференциальных операторов, определяющих систему Горна (2), образуют регулярную последовательность в точке £ С", то размерность пространства голоморфных решений системы уравнений (2) в окрестности точки х^ равна ПГ=1 (х(0) >г) ■

При доказательстве теоремы 3.2.13 оказывается удобным встать на «алгебраическую^» точку зрения и рассматривать гипергеометрическую систему уравнений Горна как левый модуль над алгеброй Вейля V дифференциальных операторов с полиномиальными коэффициентами. Напомним, что алгебра Вейля порождается операторами XI,..., хп, т^, ..., ~~ со стандартным коммутационным соотношением о X] — х^ о ^ = Перевод задачи о вычислении размерности пространства голоморфных решений системы уравнений Горна на язык ©-модулей является частью следующей более общей схемы15.

Пусть К - ассоциированное кольцо с единицей, 3 С К - левый идеал, Р - левый К-модуль. Тогда имеет место изоморфизм абеле-вых групп

Нотк{К/3, Р) ^ {у £ ^ : Ру = О, УР £ 3}. (9)

Действительно, любое К-линейное отображение из К/3 в -ЙГ-модуль Р задается своим значением у на образе единичного элемента кольца К в факторкольце К/3 и является корректно определенным, если Ру = О, УР £ 3. Заметим, что в правой части формулы (9) записано пространство решений системы уравнений Ру = О, Р 6 3. Ес-

15М.Кашивара, П.Шапира, Пучки на многообразиях. М.: Мир, 1997.

ли идеал 3 порождается элементами С?ъ..., Сп, то данная система уравнений эквивалентна системе С^у = 0, г = 1,..., п. Поэтому для изучения пространства решений данной системы уравнений достаточно рассмотреть Нот# (К/3, Е).

Положим теперь К = V, обозначим через 3 С V идеал, порожденный дифференциальными операторами, определяющими систему уравнений Горна, и выберем в качестве Е Р-модуль функций, голоморфных в окрестности фиксированной точки х^ £ Сп. Применяя описанную выше схему рассуждений к гипергеометрической системе Горна, мы приходим к задаче изучения Р-модуля М. = Т>/3, ассоциированного с данной системой уравнений.

Изучение свойств ©-модуля М составляет основное содержание главы 3 (носящей, наряду с главой 2, вспомогательный характер и подготавливающей почву для основных результатов диссертации) и приводит к формуле для голономного ранга системы уравнений Горна с коммутирующими операторами в произвольной размерности пространства переменных.

Глава 4 посвящена изучению характера ветвления гипергеометрических функций одного комплексного переменного на множествах их особенностей, а также построению обыкновенных линейных дифференциальных операторов с полиномиальными коэффициентами и заданной монодромией решений. На протяжении этой главы используются следующие обозначения. Пусть 5 с Р - конечное множество с ш + 1 элементами, Е - другое конечное множество, а = 7Гх(Р \ 5) —► АиЬ(Е) - гомоморфизм в группу перестановок множества Е. Здесь -Рт обозначает свободную группу с тп порождающими. Предположим, что действие образа на Е является транзитивным, то есть, что для любых а,Ь 6 Е существует перестановка из образа группы Ет, отображающая а в Ь. Один из вопросов, рассматриваемых в главе 4, заключается в следующем: всегда ли можно реализовать элементы множества Е как различные ростки голоморфных функций в некоторой точке Р \ 5, такие, что Е порождает пространство решений однородного фуксова уравнения, особенности которого

содержатся в S, причем заданный гомоморфизм групп совпадает с представлением монодромии, определяемой аналитическим продолжением вокруг точек множества 5?

В главе 4 дается положительный ответ на данный вопрос и подробно рассматривается ситуация, когда множество S содержит не более трех точек, в качестве которых мы без ограничения общности выберем точки S = {0,1,оо}. Этот частный случай представляет особый интерес по следующим причинам. Во-первых, конечное множество Е в совокупности с гомоморфизмом групп F2 —> Aut(JS) определяют конечноразветвленное накрытие р : X —> Р с точностью до изоморфизма, в то время как при |£| = т + 1 > 3 накрытие зависит от т—2 непрерывных параметров. Это соответствует выбору точек 5 с точностью до дробно-линейных преобразований. Во-вторых, в этом случае исходные данные допускают комбинаторную интерпретацию в терминах так называемых детских рисунков, которые представляют собой графы, оснащенные некоторой дополнительной структурой. Помимо этого, теорема Белого16 проливает свет на глубокую связь поставленной задачи с теорией чисел. (Напомним, что, согласно теореме Белого, класс конечноразветвленных накрытий сферы Римана Р с ветвлением над не более чем тремя точками совпадает с классом компактных римановых поверхностей, которые могут быть заданы над полем алгебраических чисел.) Таким образом, абсолютная группа Галуа Aut(Q/Q) действует на множестве детских рисунков. Гротендик17 предложил использовать это действие для изучения абсолютной группы Галуа. Основным здесь является вопрос о том, могут ли орбиты Галуа детских рисунков быть описаны в терминах комбинаторных или топологических инвариантов. Задачу о построении фуксова дифференциального уравнения по комбинаторным данным детского рисунка мы называем дискретной проблемой Римана-Гильберта.

16Г. В. Белый, Новое, доказательство теоремы о трех точках, Матем. сборник 193:3 (2002), 21-24.

Grothendieck, Esquisse d'un programme. London Mathematical Society-Lecture Note Series 242, Cambridge University Press (1997), 5-48.

Детские рисунки находятся во взаимно-однозначном соответствии с конечноразветвленными накрытиями Р с ветвлением над 0,1,оо (здесь мы не различаем изоморфные накрытия). Такие накрывающие отображения называются отображениями Белого18. Детский рисунок есть прообраз отрезка [0,1] в накрывающем пространстве. Его дополнение есть объединение граней, каждая из которых содержит один прообраз бесконечности. Если детский рисунок состоит из V вершин, е ребер, и / граней, то V — е + / есть Эйлерова характеристика накрывающего пространства. При V = е + 1 детский рисунок является деревом. В этом случае накрывающее пространство есть Р, / = 1 и можно без ограничения общности считать, что единственным прообразом бесконечно удаленной точки является она сама. Отображение Белого в данном случае есть многочлен с не более чем двумя критическими значениями. Такие многочлены называются многочленами Шабата.

Многочлены Шабата Р, <5 называются эквивалентными, если существуют обратимые аффинные отображения ф и ф, такие, что ф о Р = С} оф. Под плоским деревом понимается дерево с заданным циклическим порядком ребер в каждой вершине. Классы эквивалентных многочленов Шабата взаимно-однозначно соответствуют классам изоморфных плоских деревьев. В главе 4 рассматривается класс плоских деревьев, состоящий из «цепей» (деревьев с вершинами валентности < 2), «звезд» (деревьев, все вершины которых, за исключением одной, имеют валентность 1) и так называемых 2-звезд. В § 4.6 доказана следующая теорема.

Теорема 4.С.З. Дискретная проблема Римана-Гильберта для плоского дерева Т имеет решение степени не выше чем 2 в том и только том случае, когда Т является звездой, 2-звездой или цепью.

Из данной теоремы вытекает следующее утверждение. Следствие 4.6.4. Пусть Р - многочлен Шабата. Функция, обращающая эквивалентный многочлен Шабата Р{х+Ь) для некоторого

18Н. М. Адрианов, Г. Б. Шабат, Функции Белого детских рисунков рода 2 с 4 ребрами, Успехи Мат. Наук, 60:6 (2005), 1237-1239.

Ь € С, удовлетворяет гипергеометрическому уравнению степени не выше чем 2 в том и только том случае, когда дерево Р есть либо звезда, либо 2-звезда, либо цепь.

В главе 5 получена «гипергеометрическая версия» одной из центральных теорем в теории распределения особенностей степенных рядов - классической теоремы Адамара об умножении особенностей. Для кратных рядов существует несколько конкурирующих определений композиции Адамара19 на основе ядер интегральных представлений20. Композиция Адамара одномерных степенных рядов может быть также обобщена на случай двух переменных на основе изучения диагоналей двойных рядов21.

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

19М. М.Елин, Многомерная композиция Адамара, Сиб. матем. журнал 35 (1994), 936-940.

20Е. К. Лейнартас, Многомерная композиция Адамара и суммы с линейными ограничениями на индексы суммирования, Сиб. матем. журнал 30 (1989), 250254.

21 К. В. Сафонов, А. К. Цих, Особенности параметрического вычета Гротен-дика и диагонали двойных степенных рядов, Изв. Высш. Учебн. Завед. Сер. Мат. 4 (1984), 51-58.

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

Следствие 5.2.10. Умножение в полугруппе главных символов коэффициентов Оре-Сато, зависящих от двух переменных, соответствует сложению многоугольников Ньютона их результантов по Минковскому.

Несколько иная версия этого результата была независимо получена А. Дикенштейн и Б.Штурмфельсом22. Использование свойств результанта коэффициента гипергеометрического ряда, определяемого как результант главных символов дифференциальных операторов в соответствующей гипергеометрической системе уравнений, позволяет сформулировать следующую теорему. Теорема 5.2.11. Многоугольник Ньютона многочлена, задающего сингулярную гиперповерхность произведения Адамара двойных некопфлюэптных гипергеометрических рядов, есть слагаемое Мин-ковского в сумме многоугольников Ньютона результантов коэффициентов этих рядов.

Из теоремы Андроникова-Кашивары23 следует, что в случае, когда двойные гипергеометрические ряды удовлетворяют регулярной голономной системе уравнений, включение в теореме 5.2.11 превращается в равенство.

22A.Dickenstein and В. Sturmfels, Elimination theory in codimension 2, J. Symbolic Comput. 34:2 (2002), 119-135.

23J.-E. Bjork, Analytic V-Modules and Applications, Kluwer Academic Publishers, 1993 (Theorem 8.11.8).

Настоящая глава диссертации завершается примером, который показывает, что, с точки зрения умножения гипергеометрических рядов по Адамару, случай двойных рядов существенно отличается от ситуации, когда перемножаемые ряды зависят от большего числа переменных, а следствие 5.2.10, вообще говоря, не имеет места в трех и более переменных. Отличие это определяется, в основном, тем обстоятельством, что на плоскости любой конус является симплици-альным. Таким образом, основные результаты настоящей главы не могут быть тривиальным образом обобщены на случай более высоких размерностей.

Глава 6 посвящена изучению логарифмической проекции множества особенностей гипергеометрической функции многих комплексных переменных на вещественное пространство. Пусть / - многочлен Лорана, зависящий от переменных xi,... ,хп. Его амебой Л/ называется образ множества нулей многочлена / в торе (С*)" при отображении Log : (xi,... ,хп) н-> (In |xi|,... ,ln |ж„|). Известно24, что связные компоненты дополнения к амебе Л/ выпуклы и находятся во взаимно однозначном соответствии с разложениями рациональной функции 1// в ряды Лорана с центром в нуле. Таким образом, изучение разложений рациональной функции 1// в ряды Лорана с центром в нуле естественно приводит к рассмотрению амебы А/.

В главе б вычисляется количество связных компонент в дополнении к амебе ядра Бергмана комплексного эллипсоида fpi,,",p" = {х € С" : \xi\2^Pl +... + \xn\l^1Pn < 1}. Здесь pi,... ,рп - натуральные числа. Показано, что число таких компонент не зависит от параметров pi,... ,рп и равно п + 1.

Известно25, что число связных компонент дополнения к амебе многочлена не может быть меньше числа вершин многогранника Ньютона данного многочлена. Амеба многочлена Лорана называется сплошной, если число связных компонент ее дополнения равно числу вершин многогранника Ньютона данного многочлена. Одним из основных результатов главы б является следующее утверждение.

24I. М. Gelfand, М. М. Kapranov, and А. V. Zelevinsky, Op. cit., Chapter 6.

25I.M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky (1994), Op. cit.

Теорема 6.4.11. Амеба множества особенностей неконфлюэнтной гипергеометрической функции является сплошной.

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

Особенности гипергеометрической функции, удовлетворяющей системе уравнении Гельфанда-Капранова-Зелевинского, лежат в множестве нулей так называемого главного Л-детерминанта. Любой А-гипергеометрический ряд может быть преобразован в ряд Горна подходящей мономиальной заменой переменных. Эта мономиальная замена переменных соответствует линейному преобразованию пространства амебы и, следовательно, не может повлиять на сплошное свойство амебы. Используя теорему 6.4.11, мы приходим к следующему утверждению.

Следствие 6.4.12. Множество нулей любого главного А-детер-минанта имеет сплошную амебу.

Теорема 6.4.11 позволяет также установить сплошное свойство амебы классического дискриминанта общего алгебраического уравнения (10).

В главе 6 рассматривается также является проблема классификации рациональных функций гипергеометрического типа, сформулированная Каттани, Дикенштейн и Штурмфельсом26. В настоящее время известно несколько необходимых условий рациональности сумм гипергеометрических рядов, однако эти условия не являются достаточными. При выполнении этих условий рациональные функции гипергеометрического типа допускают представление в виде то-рических вычетов. Для классификации рациональных функций гипергеометрического типа в главе 6 используется п-параметрическое семейство ядер Бергмана комплексных эллипсоидов DPl'--'Pn. Два

26Е. Cattani, A. Dickenstein, and B.Sturmfels, Op. cit.

гипергеометрических ряда называются контигуалъно эквивалентными, если отношение их коэффициентов есть произведение экспоненциальной и рациональной функций от индексов суммирования. Показано, что любое рациональное решение нерезонансной некон-флюэнтной гипергеометрической системы с коммутирующими операторами контигуально эквивалентно ядру Бергмана комплексного эллипсоида £>Рь—,Рп для некоторых р\, - ■. ,рп £ N.

В главе 7 рассматривается класс алгебраических функций, удовлетворяющих алгебраическим уравнениям с символьными коэффициентами, то есть уравнениям вида

Здесь т > гпх > ... > тп > 0, ш,т; 6 М, г = г(ао, ■ • •, ап+1) -функция комплексных переменных ао, ■ ■ ■, ап+\- Все решения уравнения (10) являются также решениями Л-гипергеометрической системы Гельфанда-Капранова-Зелевинского, связанной с матрицей

и с вектором показателей однородности (0, —1). В частности, любое решение уравнения (10) является биоднородной функцией и потому может быть рассмотрено как функция п переменных. Отсюда следует, что два любых отличных от нуля коэффициента в уравнении (10) могут быть зафиксированы произвольным образом без потери существенной информации об общем решении данного уравнения. Оказывается удобным разделить (10) на —ап+х и затем сделать замену переменных у = (—ao/an+l)1/mz, сведя (10) к уравнению

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

27Hj.Mellin, Résolution de l'équation algébrique générale à l'aide de la fonction Г, C.R. Acad. Se. 172 (1921), 658-661.

a0zm + aizmi + a2zm2 + ... + anzm" + an+1 = 0. (10)

ym + xiymi + ... + xnym»-l = 0.

(H)

решение у(х) = у(хi,... ,хп) уравнения (11) удовлетворяет следующей системе из п дифференциальных уравнений в частных производных:

/

mj-1

JJ (mi6i+.. .+тпвп+тк+1) JJ (т^Ч-.. .+mn9n+mk-l)y(x) = k=0 fc=o

dmv(x)

i = l, (12)

о /

где dj = Xjfar: и rrij = m — rrij. ~B данной главе рассматриваются алгебраические уравнения вида (11). Систему уравнений (12) мы будем называть системой Меллина, ассоциированной с уравнением (11)-

Целью главы 7 настоящей диссертации является построение базиса в пространстве голоморфных решений системы уравнений Меллина. Проблема нахождения решений системы Меллина возникла в рамках общей теории гипергеометрических функций и их связей с алгебраическими уравнениями28.

Помимо решений уравнения (11), системе (12) удовлетворяют все решения ассоциированных алгебраических уравнений

ут + е^х1Ут1 + ... + е^хпут" -1 = 0, (13)

где I = (¿1,..., in) 6 Nn - произвольный мультииндекс, ае = е2™/"1. В главе 7 дается полное описание пространства всех голоморфных в окрестности нуля решений системы Меллина в терминах решений алгебраических уравнений (13). Основные результаты данной главы диссертации состоят в следующем.

Во-первых, размерность пространства голоморфных в окрестности нуля решений системы Меллина равна ш" (теорема 7.1.1). Во-вторых, все алгебраические решения являются линейными комбинациями решений уравнений (13). При этом, если d = НОД(т,т\, ... ,mn) > 1, то никаких других голоморфных в окрестности нуля

28В. Sturmfels, Solving algebraic equations in terms of A-hypergeometric series, Discrete Math. 210:1-3 (2000), 171-181.

решений нет. Если же в, = 1, т. е. показатели т, т\,... ,тп взаимно просты, то неалгебраические решения образуют подпространство

размерности т

. (Здесь [] обозначает целую часть числа.) Базис этого подпространства строится из корней уравнений (13) с помощью конструкции в теореме 7.3.13.

Частный случай триномиального уравнения ут + хур — 1 = 0 (которое соответствует обыкновенному уравнению Меллина) хорошо изучен29. Монодромия обыкновенного уравнения Меллина всегда приводима и, за исключением случая р = т — 1, оно не является линейным дифференциальным уравнением минимального порядка, пространство решений которого содержит корни заданного триномиального уравнения. Более того, обыкновенное уравнение Меллина может иметь неалгебраическое решение лишь в случае, когда р < иг—1 и наибольший общий делитель (1 чисел т, р равен 1. Явный вид неалгебраического решения дается простым частным случаем основного результата главы - теоремы 7.3.13.

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

29M. Kato and M.Noumi, Monodromy groups of hypergeometric functions satisfying algebraic equations, Tohoku Math. J. 55:2 (2003), 189-205.

Работы автора по теме диссертации

1. Т. М. Садыков, О многомерной системе дифференциальных гипергеометрических уравнений, Сиб. матем. журнал 39 (1998), 1141-1153.

2. Т.М. Sadykov, On the Horn system of partial differential equations and series of hypergeometric type, Math. Scand. 91:1 (2002), 127149.

3. Т. M. Sadykov, The Hadamard product of hypergeometric series, Bulletin des Sciences Mathematiques 126:1 (2002), 31-43.

4. M.Passare, Т. M. Sadykov, and A.K.Tsikh, Nonconfluent hypergeometric functions in several variables and their singularities, Com pos. Math. 141:3 (2005), 787-810.

5. A. Dickenstein, L. Matusevich, and Т. M. Sadykov, Bivariate hypergeometric V-modules, Adv. in Math. 196:1 (2005), 78-123.

6. А. Дикенштейн, Т. M. Садыков, Алгебраичностъ решений системы уравнений Меллина и ее монодромия, Докл. Рос. Акад. Наук Сер. мат. 412:4 (2007), 1-3.

7. F.Larusson and Т.М.Sadykov, Dessins d'enfants and differential equations, Алгебра и анализ 19:6 (2007), 184-199.

8. А. Дикенштейн, Т. М. Садыков, Базисы в пространстве решений системы уравнений Меллина, Матем. сборник 198:9 (2007), 59-80.

9. Т. М. Садыков, Hypergeometric systems with polynomial bases, Журнал Сибирского федерального университета. Математика и физика 1 (2008), 25-32.

10. Ф.Ларуссон, Т.М. Садыков, Дискретный вариант проблемы Римана-Гильберта, Успехи Мат. Наук 63:5 (2008), 193-194.

11. Т. М. Садыков, Гипергеометрические системы уравнений с максимально приводимой монодромией, Докл. Рос. Акад. Наук Сер. мат. 423:4 (2008), 455-457.

Соавторство. В совместной с М.Пассаре и А. К.Цихом работе [4] автору принадлежат распространение теоремы о сплошном свойстве амеб особенностей гипергеометрических функций на функции с произвольным ветвлением, а также применение ядер Бергмана комплексных эллипсоидов для изучения рациональных гипергеометрических функций. В совместных с А. Дикенштейн и Л. Матусевич работах [5,6,8] автору принадлежат результаты о голономности, го-лономном ранге и монодромии гипергеометрических систем. В совместных с Ф. Ларуссоном работах [7,10] автору принадлежит конструкция универсального дифференциального оператора, зануляю-щего заданную алгебраическую функцию.

 
Содержание диссертации автор исследовательской работы: доктора физико-математических наук, Садыков, Тимур Мрадович

Введение.

1. Характеристическое многообразие двумерной гипергеометрической системы уравнений

1.1. Многомерные гипергеометрические системы

1.2. Некоторые свойства системы уравнений Горна.

1.3. Биномиальные идеалы коразмерности 2.

1.4. Л-гипергеометрические решения системы Горна.

1.5. Решения гипергеометрических систем в классе многочленов Пюизо и решения разностных уравнений с конечным носителем.

1.6. Решения гипергеометрических систем, определяемых решетками

1.7. Голоиомность и решения системы Нв(с).

1.8. Начальные идеалы, индексные идеалы и голономные ранги

1.9. Явная конструкция гипергеометрических функций с полным носителем.

1.10. Голоиомность системы уравнений Horn (В, с).

1.11. Использование свойства Коэна-Маколея для вычисления голономного ранга и дальнейшие направления исследований

2. Интегральное представление для решений гипергеометрической системы уравнений

2.1. Система разностных уравнений для веса интегрального представления

2.2. Решение системы разностных уравнений

2.3. Условия трансляционной инвариантности контура интегрирования

2.4. Достаточное условие существования интегрального преобразования

2.5. Представление решений гипергеометрической системы в виде кратных рядов (случай простых особенностей)

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

3.1. Условия разрешимости, гипергеометрические ряды и их носители

3.2. Р-модуль, ассоциированный с гипергеометрической системой уравнений.

3.3. Базис в пространстве голоморфных решений гипергеометрической системы с коммутирующими операторами.

4. Детские рисунки и дифференциальные уравнения

4.1. Дискретная проблема Римана-Гильберта.

4.2. Случай трех особенностей. Детские рисунки.

4.3. Построение явного решения проблемы Римана-Гильберта для деревьев

4.4. Аннулятор отображения, обратного к полиномиальному

4.5. Деревья Мебиуса.

4.6. Деревья не более чем второго порядка.

5. Произведение Адамара гипергеометрических рядов

5.1. Многоугольник коэффициента неконфлюэнтного гипергеометрического ряда.

5.2. Мультипликативность произведения Адамара

5.3. Примеры

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

6.2. Решения гипергеометрической системы в классе рядов Пю

6.3. Веер гипергеометрической системы уравнений.

6.4. Минимальность особенностей гипергеометрических функций и дискриминантов

6.5. Рациональность мероморфных неконфлюэнтных гипергеометрических функций.

6.6. Рациональные гипергеометрические функции, контигуально эквивалентные ядрам Бергмана.

7. Алгебраичность решений системы уравнений Меллина и ее монодромия

7.1. Порождающие решения и удобные базисы в пространстве решений системы Меллина.

7.2. А-гипергеометрические системы уравнений и их связь с системой Меллина

7.3. Решения системы Меллина в терминах корней алгебраического уравнения

7.4. Одномерный случай.

 
Введение диссертация по математике, на тему "Гипергеометрические функции многих комплексных переменных"

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

Теория специальных функций является одним из основных разделов математической физики. На протяжении последних трех столетий необходимость решения задач гидродинамики, теории управления, классической и квантовой механики, а также многочисленных задач теории вероятностей и математической статистики стимулировала развитие теории специальных функций одного и нескольких переменных. Математические модели физических процессов содержат, как правило, обыкновенные дифференциальные уравнения, дифференциальные уравнения в частных производных или системы таких уравнений. Однако лишь немногие из встречающихся на практике уравнений могут быть решены в классе элементарных функций. Новые функции определялись зачастую как решения дифференциальных уравнений или их систем и назывались специальными функциями. Так возникли функции Бесселя, функции Эрмита, гипергеометрическая функция Гаусса.

Введенные таким образом специальные функции математической физики не являются независимыми. Многие специальные функции могут быть выражены через другие. Детальное изучение и систематизация соотношений между ними являются одной из основных целей и фундаментальных трудов [15],[23]. Однако, несмотря на все приложенные усилия, эту цель вряд ли можно считать достигнутой. Связь между различными специальными функциями математической физики нуждается в дальнейшем изучении. Тем сильнее ощущается необходимость создания единой теории специальных функций.

Важный класс специальных функций составляют функции гипергеометрического типа. Первоначально термин «гипергеометрический» применялся к следующим объектам:

Гипергеометрическое уравнение Гаусса» - линейное обыкновенное уравнение второго порядка х(х - 1)у"(х) + ((« + /?+ 1)х - 7)у'{х) + а/3у(х) = 0. (0.0.1)

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

Гипергеометрическая функция» - любое решение гипергеометрического уравнения.

Гипергеометрический ряд Гаусса» - следующий степенной ряд, являющийся одним из решений гинергеометрического уравнения: где (a)k = Г(а 4- к)/Г(а) - символ Похгаммера. Выбирая подходящим образом значения параметров а, (3,7, можно получить многие элементарные и специальные функции. Например, полные эллиптические интегралы первого и второго рода, присоединенные функции Лежандра, ультрасферические многочлены и др. являются частными случаями функции

7; я).

Следующим шагом в теории гииергеометрических функций одного комплексного переменного явился переход от уравнения Гаусса (0.0.1) к так называемому обыкновенному обобщенному гипергеометрическому дифференциальному уравнению [16]: хР(в)у(х) = Q(9)y(x). (0.0.2)

Здесь в = х-^, а Р и Q - многочлены: р ч

P(s)=tH(s-ak), = к=1 к=1 t,a.k,Pk £ С. Гипергеометрическое уравнение Гаусса (0.0.1) соответствует случаю jP(s) = s2 + (а + (3)s + а/3, Q(s) = s2 + (7 — l)s. Уравнениям вида (0.0.2) удовлетворяет подавляющее большинство специальных функций математической физики.

Для гипергеометрических функций одного комплексного переменного существует хорошо развитая теория с многочисленными приложениями. Многие системы компьютерной алгебры (такие как Mathematica и Maple) содержат процедуры, позволяющие работать с гипергеометрическими функциями. Существует также большое количество пакетов для таких систем, поддерживающих символьные вычисления с использованием функций гипергеометрического типа. К ним относится, например, пакет HYPERG, разработанный в институте им. Гаспара Монжа (Франция).

Девяностые годы XX века отмечены всплеском интереса к многомерной гипергеометрической теории. Этот интерес был в значительной степени вызван возросшими потребностями компьютерной алгебры, нуждавшейся в систематизации существующего многообразия специальных функций математической физики. На протяжении десятилетия в свет вышли получившие вскоре широкую известность монографии о теоретико-числовых аспектах этой теории [48], о комбинаторных свойствах дискриминантов и многомерных определителей (которые описывают особенности функций гипергеометрического типа) [61], об обобщенных гипергеометрических уравнениях в квантовой теории поля [110] и об алгоритмах и вычислительных методах, лежащих в основе работы современных систем компьютерной алгебры, ориентированных на символьное («точное») решение систем дифференциальных уравнений в частных производных [96].

В многомерном случае существует несколько подходов к понятию гипергеометрической функции. Такие функции могут быть определены как суммы степенных рядов определенного вида (так называемых Г-рядов) [9],[11],[12], как решения систем дифференциальных уравнений [13],[89], как интегралы типа Эйлера [38],[62] и интегралы Меллина-Барнса [89].

Многомерные системы дифференциальных уравнений гипергеометрического типа возникают в некоторых задачах математической физики. В частности, такие уравнения появляются при изучении фейнманов-ских интегралов [14], в теории суперструн при исследовании юкавских констант связи [38], а так же при решении алгебраических уравнений [24],[83],[105].

В 1989 году в работе [13] была детально рассмотрена система дифференциальных уравнений, которая в настоящее время широко известна как система Гельфанда-Канранова-Зелевинского. Эта система уравнений задается натуральным числом N и произвольной иодрешеткой В С Ъм. Пусть L С CjV - линейное подпространство, натянутое на решетку В, и А С (С^)' - аннулятор L. Системой Гельфанда-Капранова-Зелевин-ского, ассоциированной с решеткой В, называется следующая система дифференциальных уравнений па С^ :

П (^т) гу = П (£:) гу Для любого b е (°-0-3) i:b;> 0 N Qy diXi—— = (а,а)у для любого а е А. (0.0.4) г=1

ЭХ,

Здесь a G С1 /L - фиксированный вектор, играющий роль параметра. Данная система уравнений интенсивно изучалась на протяжении последнего десятилетия, вызвав к жизни дальнейшие обобщения понятия гипергеометричности. В частности, была построена теория гинергеометри-ческих функций па грассмановых многообразиях [10].

Однако гипергеометрические функции многих переменных могут быть введены при помощи более классической системы дифференциальных уравнений гипергеометрического тина, нежели система Гельфанда-Ка-пранова-Зелевинского. Эта система уравнений естественно возникает из определения гипергеометрического ряда, предложенного Горном [67]. Согласно определению Горна, формальный (лорановский) ряд от п переменных sez" называется гипергеометрическим, если для любого г = 1,. ,п отношение </?(s+e;)/V(s) является рациональной функцией. Здесь ег- = (0, ., 1, ., 0) (1 на г-ом месте), s — (si,., sn), x = (ж15., xn), xs = ж^1. x^n.

Нетрудно выписать систему дифференциальных уравнений, которой формально удовлетворяет ряд (0.0.5). Пусть ip{s+ei)/<p{s) = Pi{s)/Qi(s+ ei), где Pi, Qi - многочлены, тогда ряд (0.0.5) является формальным решением системы уравнений

ХгРг{в)у{х) = Qi(9)y{x), % = 1, . . . , П. (0.0.6)

Здесь в = {0\,., 0п), 9i = Система (0.0.6) восходит к Меллину и

Горну [67]. Частные случаи данной системы уравнений, особенно в двух-и трехмерном случае, рассматривались во многих работах (см., например, [52],[83],[102]). Всюду в дальнейшем будем называть систему (0.0.6) гипергеометрической системой дифференциальных уравнений Горна и исходить из следующего определения:

Определение. Аналитическая функция (вообще говоря, многозначная) называется гипергеометрической, если она удовлетворяет гипергеометрической системе Горна (0.0.6) при некотором выборе многочленов Pi, Qi.

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

Отметим связь между гипергеометрической системой Горна и хорошо изученным классом голономных систем дифференциальных уравнений в частных производных с постоянными коэффициентами. Линейная однородная голономная система п дифференциальных уравнений в частных производных с постоянными коэффициентами и одной неизвестной функцией, зависящей от п переменных (zi,., zn) Е С", имеет вид д д \ — J f{zu .,zn) = 0, i = 1,., п. (0.0.7)

Здесь Qi,.,Qn - многочлены с конечным числом общих нулей в С'\ Решения системы (0.0.7) даются фундаментальным принципом Паламо-дова-Мальгранжа-Эренпрайса (см. [22], глава 6).

Нетрудно видеть, что (0.0.7) является частным случаем гипергеометрической системы дифференциальных уравнений Горна. Действительно, переходя к переменным 1; = ег',{ = 1,.,.,пи обозначая у(х\,., хп) = /(ln^i,. ,ln£n), мы преобразуем систему уравнений (0.0.7) к виду

Qi{0Xl, ■ ■ ■ ,9хп)у(х) =0, г = 1,. ,п, где 9Xi = Xi^. Следовательно, произвольная линейная однородная голо-номная система п дифференциальных уравнений в частных производных с постоянными коэффициентами является частным случаем гипергеометрической системы уравнений (0.0.6) при Pi = . = Рп = 0. С другой стороны, система (0.0.6) может рассматриваться как линейное возмущение левого идеала в коммутативной подалгебре С[0Ж1,. ,вХп] алгебры Вейля Т>п.

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

Во введении к работе [10] отмечается, что, по сравнению с рядами Горна и соответствующей им системой Горна, система Гельфанда-Капрано-ва-Зелевинского и ее формальные решения в виде рядов гипергеометрического типа имеют существенно более простую структуру. Поэтому, с учетом сказанного выше, задача исследования гипергеометрической системы Горна представляется весьма актуальной и непростой.

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

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

I. В одном из вариантов метода Лапласа [16] общее решение уравнения (0.0.2) ищется в виде

При этом на контур С накладывается два условия:

A. Контур Ci, получающийся из контура С сдвигом на 1 (параллельно действительной оси), гомологичен контуру С в дополнении ко множеству особенностей подынтегральной функции в (0.0.8).

B. Интеграл (0.0.8) сходится.

Функция у(х), представленная интегралом (0.0.8), заведомо удовлетворяет уравнению (0.0.2), если вес интегрального представления ip(s) удовлетворяет разностному уравнению

0.0.8) с tp(s + l)Q(s + 1) = ip(s)P(s). Общее решение разностного уравнения имеет вид [16]

0.0.9) r(s — ai). T(s — ар) ф{8) где </>(s) - произвольная периодическая функция с периодом 1. Поэтому при построении решений уравнения (0.0.2) подбирается не только контур интегрирования С, но и функция ф(в). Возможности выбора контура сильно ограничиваются условием А. Согласно этому условию, если один из полюсов функции T(s — а к) обходится контуром С, то им должны обходиться и остальные полюсы этой функции.

II. Опишем процесс построения фундаментальной системы решений уравнения (0.0.2) при некоторых ограничениях на величины аь,Рк [16]. Например, рассмотрим случай, когда р — q и мнимые части всех этих величин попарно различны. Уравнение (0.0.2), удовлетворяющее условию р = q, называется неконфлюэнтным, а его решения - неконфлюэнтными гипергеометрическими функциями одного переменного. С точки зрения задачи изучения особенностей и монодромии интерес представляет именно неконфлюэнтный случай. Условие некон-флюэнтности связано также с показателями роста функции вблизи особых точек. Неконфлюэнтными являются функции (1 — х)х (для любого А 6 С) и In ж. Простейшими примерами конфлюэнтных функций гипергеометрического типа являются многочлены и экспоненциальная функция, не имеющие особенностей. Многомерный аналог понятия неконфлю-энтности дан в определении 5.1.2. Условие Im(o!fc — fij) Ф 0 при k ^ j означает, что параметры уравнения (0.0.2) являются нерезонансными.

Рассмотрим полуполосы где число е столь мало, что полуполосы Lk и Lv (а также 1/к и L*) не имеют общих точек при к v. Границы дЬк полуполос Lk удовлетворяют условию А, а при выполнении неравенства \tx\ > 1 они удовлетворяют и условию В. Поэтому функции

Lk = {s : |Im(s - ajfc)| < e, Re(s - ak) < s}

LI = {s : |Im(s - fa) \ < e, Re(pk -s- 1) < e}

Ук(х) = dLk при > 1 являются решениями уравнения (0.0.2).

Интеграл (0.0.10) равен сумме вычетов в полюсах функции T(s — Вычисляя эти вычеты, получаем разложения (*) = f>r п r^r^'^iv АА Т(п + а„-ак + 1) где р ак П sin?г(Д, - ак)

Ак

7г П sin7r(aA; — а„) уфк

Можно показать, что функции yi{x),.,ур{х) лиР1ейно независимы и потому образуют фундаментальную систему решений уравнения (0.0.2).

Построим фундаментальную систему решений уравнения (0.0.2), определенную при < 1. С этой целью заметим, что функция

Г(с*1 - s + l).r(ap-s + l) также является решением уравнения (0.0.9). Поэтому функция ^ / TV ,txyds (0.0.11)

УкК ' 2тгij T(ai -s + l).r(ap-s + l) ^ ; dLl является решением уравнения (0.0.2) при < 1. Интеграл (0.0.11) равен сумме вычетов в полюсах функции Т{(Зк — s) и, вычислив эти вычеты, получаем разложения х) = в,,ATterTT

Здесь - некоторые постоянные. Функции уЦх),.,у*(х) также линейно независимы и образуют фундаментальную систему решений уравнения (0.0.2).

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

В рассмотренном выше одномерном случае условие, согласно которому все величины v имеют попарно различимые мнимые части, автоматически обеспечивает простые полюсы подынтегрального выражения в (0.0.8) и, кроме того, позволяет удобно сконструировать инвариантный относительно сдвига контур С в виде границы дЬ& соответствующей полуполосы. Разумеется, контур дЬ& можно заменить на сумму окружностей малого радиуса с центрами в полюсах из этой полуполосы.

III. Вопрос об особенностях решений в одномерном случае также решается просто. Например, при р — q коэффициент при старшей производной в уравнении (0.0.2) равен xp(tx — 1), поэтому его решение может иметь особенности в трех точках: 0,1/t, оо. При р ф q особенностями могут быть лишь 0 и оо. Таким образом, сингулярное множество одномерного гипергеометрического уравнения является сплошным (см. § 6.1). Отсюда следует, что все его решения допускают не более двух разложений в ряды (Пюизо) с центром в нуле.

Главы 2,3 и 6 настоящей диссертации находятся в соответствии с тремя приведенными выше разделами, в которых рассматривается обыкновенное обобщенное гипергеометрическое дифференциальное уравнение (0.0.2). В главе 2 приводится интегральное представление для решений системы Горна и изучается связанная с этим представлением система разностных уравнений. Согласно теореме Оре-Сато решения представляются кратными интегралами Меллина-Барнса. В главе 3 вычисляется размерность пространства голоморфных решений системы Горна и строится базис в этом пространстве. Для этого изучается Р-модуль системы Горна и используется алгебраический аппарат теории дифференциальных операторов с полиномиальными коэффициентами. В главе 6 исследуется множество сингулярностей решений системы Горна. Подобно тому как в одномерном случае это множество задается нулями коэффициента при старшей производной, в многомерном случае это есть алгебраическая гиперповерхность, задаваемая нулями результанта главных символов дифференциальных операторов в системе Горна. Здесь свойства этой гиперповерхности оказалось удобным выразить при помощи понятия амебы.

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

Одной из основных целей главы 1 является изучение характеристических многообразий гипергеометрических систем дифференциальных уравнений в частных производных. Проекции этих многообразий на пространство переменных заведомо содержат множества особенностей гипергеометрических функций, удовлетворяющих таким системам. Примерами таких систем уравнений являются система Гельфанда-Капрано-ва-Зелевинского, система Меллина для алгебраической функции многих переменных (подробно рассмотренная в главе 7 настоящей диссертации), гипергеометрические системы уравнений, ассоциированные с решетками, а также система уравнений Горна. Частные случаи системы уравнений Горна, особенно в двух- и трехмерном случае, рассматривались во многих работах (см. [52],[102]).

Напомним, что идеал J в алгебре Вейля (равно как и соответствующая система дифференциальных уравнений) называется голономным, если (комплексная) размерность его характеристического многообразия char(J) = {(ж, z) е С2" : cr(P)(x, z) = 0, для всех Р е J} равна размерности пространства переменных, то есть п. Здесь с{Р) обозначает главный символ дифференциального оператора Р. Из голоном-ности системы уравнений следует, в частности, конечномерность пространства ее голоморфных решений в окрестности точки общего положения. Одним из ключевых результатов главы 1 является следующее утверждение.

Теорема 1.10.50. Двумерная система Горна голономна для почти всех значений своих параметров.

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

В главе 2 дано интегральное представление решений системы (0.0.6). Ее решения ищутся в виде у(х) = J сp(s)xsds, (0.0.12) с где s = (si,., sn), xs — ж®1. Xjtn, ds = ds\. dsn.

Для построения решений системы (0.0.6) необходимо исследовать систему разностных уравнений p(s + е{) = Ri(s)(p(s), г = 1,., п, (0.0.13) где Ri(s) — Pi(s)/Qi(s + е*), е* = (0,., 1,., 0) (1 на г-ом месте). Разрешимость данной системы уравнений описывается теоремой 2.2.2:

Теорема 2.2.2. Для разрешимости системы (0.0.13) необходимо и достаточно выполнение условий согласования

Ri(s + ej)Rj(s) = Rj(s + ei)Ri(s), г, j = 1,., п. (0.0.14)

При этом если решение системы (0.0.13) существует, то оно единственно с точностью до произвольного мпоэюителя ф{э), удовлетворяющего условиям периодичности ф(з + ег) = ф(в), для всех г = 1,., п.

Утверждение данной теоремы вытекает из известной теоремы Оре-Сато (см. [97], а также [10], § 1.2), однако приведенное в § 2.2 доказательство является новым и конструктивным, причем конструкция общего решения существенно используется в последующих разделах диссертации. Речь идет об общем виде решения системы разностных уравнений (0.0.13) в случае, когда многочлены Pi,Qi разлагаются в произведения линейных множителей. Это решение имеет вид

ПГ((Л,в)-сО p(s) = t? . -Ф{з). (0.0.15)

П r((£j-,s) -dj)

3=1

Здесь ф(в) - произвольная функция со свойством ф(в + е;) = ф(в), г — 1,., га, ti,. ,tn: сь ., ср, di,., dq e С, Ai,., Ap, Bi,., Bq G Коэффициенты векторов Ai,Bj определяются по многочленам Pi,Qi в соответствии с конструкцией (2.2.17). Отметим, что класс функций, которому принадлежит решение системы разностных уравнений, определяется выбором периодической функции ф(в).

Функция (0.0.15) имеет вид произведения трех функций: показательной функции, так называемой Г-дроби (отношения произведений Г-функ-ций с линейными по переменным суммирования аргументами) и периодической функции. Предположим, что функция ф(в) - целая. Тогда множество полюсов функции (0.0.15) представляет собой конечный набор счетных семейств гиперплоскостей, каждое из которых соответствует множителю в числителе Г-дроби. Аналогом простых полюсов в этом случае является ситуация, когда через каждую точку проходит не более чем п полярных гиперплоскостей. Заметим, что в теории Гельфанда и его соавторов такая ситуация соответствует черезонапсному случаю. Роль окружностей в одномерном случае теперь играют остовы т(т), которые фактически являются топологическими произведениями п окружностей и представляются системой уравнений

Aii,s) - Сг 1 +mi| = е, |(Ai„,s) - cin+mn| = £, где тп{ £ N, А^,., Ain - линейно независимая система векторов, фигурирующих в числителе (0.0.15).

Многомерными аналогами условий А, В являются следующие условия:

А\. Для любого i = 1,., п контур С{, получающийся из контура С сдвигом па базисный вектор е^, гомологичен контуру С в дополнении ко множеству особенностей подынтегральной функции в (0.0.12).

В\. Интеграл (0.0.12) сходится.

В §§ 2.3, 2.4 рассмотрены условия A\,Bi соответственно и сформулированы ограничения на параметры системы (0.0.6), при которых эти условия удовлетворяются. Доказано следующее предложение.

Предложение 2.3.6. В нерезонансном случае контур интегрирования С = Yh Т(т) удовлетворяет условию А\.

В нерезонансном случае решения системы (0.0.6), соответствующие набору линейных независимых векторов А;15. ,Ain, могут быть представлены в виде Г-рядов, то есть в виде степенных рядов, коэффициенты которых являются отношениями произведений Г-функций с линейными по переменным суммирования аргументами. Однако для представления интеграла (0.0.12) в виде ряда необходимо обеспечить выполнение условия В\. Для этого рассмотрим полупространство П — (Re(A,s) < 0},

Р Q где А = — Bi. Напомним, что конус, двойственный заданному конусу С С К", определяется при помощи равенства Cv = {г> £ Rn : (u,v) > 0, Уи £ С}. Условие В\ будет выполнено, если конус двойственный конусу К, порожденному системой векторов А^,., Ain, лежит в полупространстве П. Доказана следующая теорема.

Теорема 2.5.7. Если набор векторов . ,Ain удовлетворяет условиям предложения 2.3.6 и конус

С П, то ряд me Nn теПп nr((4,5(Am))-Cfc) x(tlXl)s^ . {tnxn)s^m)^-- (0.0.16)

П s(A, m),) — dj + 1) з=i удовлетворяет системе уравнений Горна (0.0.6); здесь I = ., in}, ci — (q15 •••, cin), A - матрица со строками ,., и s(A,m) -решение системы линейных уравнений As — cj — т.

Целью главы 3 является вычисление размерности пространства голоморфных решений системы уравнений Горна в окрестности точки общего положения и построение базиса в этом пространстве. Важную роль играют при этом условия нерезонансности параметров системы Гориа и конкретная конструкция общего решения системы разностных уравнений (0.0.13). В § 3.3 построен базис в пространстве голоморфных решений системы Горна при некоторых предположениях относительно параметров данной системы. А именно, предположим, что для любого i = 1,., п многочлен Qi(s) зависит лишь от переменного S{ и запишем этот многочлен в виде Qi{s) = IT/Li(si — г = 1,. . CKy 6 С. Основной результат главы 3 состоит в следующем.

Теорема 3.3.14. Предположим, что для всех i = 1 ,.,п многочлен Qi(s) зависит лишь от переменного Si и degQi > degPj. Для любого мультииндекса I = (ii,. ,гп), гk 6 {1,.,с4} полоэюим ■у/ = (ai. ,anin). Тогда при выполнении условий нерезонансности существуют р е N, ti,.,tn, ci,.,Ср е С, Ai,., Ар е Z", такие, что семейство, состоящее из d,\. .dn функций уАх) = х» Y ts+*-+ 71)-*)-^ (0>017) WU и%1 ГО* + - «V + 1) есть базис в пространстве голоморфных решений системы (0.0.6) в окрестности любой точки х Е (С*)п = (С \ {0})п.

Напомним, что носителем ряда Лорана tp{s)xs называется множество {s е Z" : <p{s) Ф 0}. Доказательство теоремы 3.3.14 опирается на представление (0.0.16) решения системы Горна в виде кратного ряда, полученное в главе 2, и на теорему 3.1.2, в которой дано описание носителей решений системы Горна. Для обоснования того, что построенное семейство функций (0.0.17) исчерпывает пространство голоморфных решений системы Горна, используется следующая теорема о размерности данного пространства, доказанная в § 3.2.

Теорема 3.2.13. Предположим, что многочлены Pi(s),Qi(s) удовлетворяют условиям согласования (0.0.14) и что для любого г = 1,. ,п многочлен Qi(s) зависит лишь от переменного Si. Если главные символы Н\(х(°\г),., Нп(х^°\ z) дифференциальных операторов, определяющих cucmeAiy Горна (0.0.6), образуют регулярную последовательность в точке х^ € С", то размерность пространства голоморфных решений системы (0.0.6) в окрестности точки х^ равна ПГ=1 degHi(x^°\ z).

При доказательстве теоремы 3.2.13 оказывается удобным встать на «алгебраическую» точку зрения и рассматривать гинергеометрическую систему уравнений Горна как левый модуль над алгеброй Вейля V дифференциальных операторов с полиномиальными коэффициентами. Нао помним, что алгебра Вейля порождается операторами х\,., хп, ., т^г со стандартным коммутационным соотношением : —

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

Пусть К - ассоциативное кольцо с единицей, J С К - левый идеал, F - левый if-модуль. Тогда имеет место изоморфизм абелевых групп

HornK{K/J, F) ~ {у Е F : Ру = 0, VP G J}. (0.0.18)

Действительно, любое if-линейное отображение из К/J в if-модуль F задается своим значением у на образе единичного элемента кольца К в фактор-кольце К/ J и является корректно определенным, если Ру = 0, VP Е J. Заметим, что в правой части формулы (0.0.18) записано пространство решений системы уравнений Ру = 0, Р 6 J. Если идеал J порождается элементами G\,., Gn, то данная система уравнений эквивалентна системе Giy = 0, г = 1 ,.,п. Поэтому для изучения пространства решений данной системы уравнений достаточно рассмотреть Нот K(K/J,F).

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

Положим теперь К = Т>, обозначим через J С Т> идеал, порожденный дифференциальными операторами, определяющими систему уравнений Горна, а в качестве модуля F выберем модуль функций, голоморфных в окрестности фиксированной точки х^ 6 Сп. То обстоятельство, что число порождающих идеала J совпадает с размерностью пространства переменных, является несущественным: по теореме Стаффорда (см. теорему 7.1 в главе 1 книги [34]) любой идеал в алгебре Вейля может быть порожден не более чем двумя элементами. Применяя описанную выше схему рассуждений к гипергеометрической системе Горна, мы приходим к задаче изучения Р-модуля Л4 = Т>/ J, ассоциированного с данной системой уравнений.

Изучение свойств Т>- модуля Л4 составляет основное содержание главы 3 (носящей, наряду с главой 2, вспомогательный характер и подготавливающей почву для основных результатов диссертации) и приводит к формуле для размерности пространства решений системы уравнений Горна (теорема 3.2.13). Одним из ключевых результатов, на которые опирается доказательство теоремы 3.2.13, является следующая теорема. Теорема 3.2.9. Существует семейство линейных операторов {Wi}f=1, действующих на кольце многочленов C[rci,., хп, z\,., zn], таких, что для D-модуля Л4, ассоциированного с системой Горна, имеет место изоморфизм

М ~ С[жь ., хп, zh., zn] j ^^ WjC[xu ., хп, zi,.,zn]

В § 3.2 данное семейство операторов выписано в явном виде. Подробное изложение применений теории Р-модулей к дифференциальным уравнениям содержится в монографии [20].

Глава 4 посвящена изучению характера ветвления гипергеометрических функций одного комплексного переменного на множествах их особенностей, а также построению обыкновенных линейных дифференциальных операторов с полиномиальными коэффициентами и заданной монодромией решений. На протяжении этой главы используются следующие обозначения. Пусть 5 С Р - конечное множество ст + 1 элементами, Е - другое конечное множество, a Fm = 7Гх(Р \ 5) —> Aut(E) -гомоморфизм в группу перестановок множества Е. Здесь Fm обозначает свободную группу с т порождающими. Предположим, что действие образа на Е является транзитивным, то есть, что для любых а,Ь 6 Е существует перестановка из образа группы Fm, отображающая а в Ь. Один из вопросов, рассматриваемых в главе 4, заключается в следующем: всегда ли можно реализовать элементы множества Е как различные ростки голоморфных функций в некоторой точке Р \ 5, такие, что Е порождает пространство решений однородного фуксова уравнения, особенности которого содержатся в S, причем заданный гомоморфизм групп совпадает с представлением монодромии, определяемой аналитическим продолжением вокруг точек множества S?

В главе 4 дается положительный ответ на данный вопрос и подробно рассматривается ситуация, когда множество S содержит не более трех точек, в качестве которых мы без ограничения общности выберем точки S — {0,1, оо}. Этот частный случай представляет особый интерес по следующим причинам. Во-первых, конечное множество Е в совокупности с гомоморфизмом групп F2 > Aut(Е) определяют конечпоразветвленное накрытие р : X —» Р с точностью до изоморфизма, в то время как при |5| =т+1 > 3 накрытие зависит от т — 2 непрерывных параметров. Это соответствует выбору точек S с точностью до дробно-линейных преобразований. Во-вторых, в этом случае исходные данные допускают комбинаторную интерпретацию в терминах так называемых детских рисунков, которые представляют собой графы, оснащенные некоторой дополнительной структурой. Помимо этого, теорема Белого [5] проливает свет на глубокую связь поставленной задачи с теорией чисел. (Напомним, что, согласно теореме Белого, класс конечноразветвленных накрытий сферы Римана Р с ветвлением над не более чем тремя точками совпадает с классом компактных римановых поверхностей, которые могут быть заданы над полем алгебраических чисел.) Таким образом, абсолютная группа Галуа Aut(Q/Q) действует на множестве детских рисунков. Гротендик [64] предложил использовать это действие для изучения абсолютной группы Галуа. Основным здесь является вопрос о том, могут ли орбиты Галуа детских рисунков быть описаны в терминах комбинаторных или топологических инвариантов. Задачу о построении фуксова дифференциального уравнения по комбинаторным данным детского рисунка мы называем дискретной проблемой Римана-Гильберта.

Детские рисунки находятся во взаимно-однозначном соответствии с конечноразветвленными накрытиями Р с ветвлением над 0,1, сю (здесь мы не различаем изоморфные накрытия). Такие накрывающие отображения называются отобраоюениями Белого [1]. Детский рисунок есть прообраз отрезка [0,1] в накрывающем пространстве. Его дополнение есть объединение граней, каждая из которых содержит один прообраз бесконечности. Если детский рисунок состоит из v вершин, е ребер, и / граней, то v — е + / есть Эйлерова характеристика накрывающего пространства. При v = е + 1 детский рисунок является деревом. В этом случае накрывающее пространство есть Р, / = 1 и можно без ограничения общности считать, что единственным прообразом бесконечно удаленной точки является она сама. Отображение Белого в данном случае есть многочлен с не более чем двумя критическими значениями. Такие многочлены называются многочленами Шабата.

Многочлены Шабата Р, Q называются эквивалентными, если существуют обратимые аффинные отображения ф и ф, такие, что фоР = Qo-ф. Под плоским деревом понимается дерево с заданным циклическим порядком ребер в каждой вершине. Классы эквивалентных многочленов Шабата взаимно-однозначно соответствуют классам изоморфных плоских деревьев. В главе 4 рассматривается класс плоских деревьев, состоящий из «цепей» (деревьев с вершинами валентности < 2), «звезд» (деревьев, все вершины которых, за исключением одной, имеют валентность 1) и так называемых 2-звезд. В § 4.6 доказана следующая теорема. Теорема 4.6.3. Дискретная проблема Римана-Гильберта для плоского дерева Т ильеетп решение степени не выше чем 2 в том и только том случае, когда Т является звездой, 2-звездой или цепью.

Из данной теоремы вытекает следующее утверждение. Следствие 4.6.4. Пусть Р - многочлен Шабата. Функция, обращающая эквивалентный многочлен Шабата Р{х + Ъ) для некоторого b £ С, удовлетворяет гипергеометрическому уравнению степени не выше чем 2 в том и только том случае, когда дерево Р есть либо звезда, либо 2-звезда, либо цепь.

В главе 5 получена «гипергеометрическая версия» одной из центральных теорем в теории распределения особенностей степенных рядов - классической теоремы Адамара об умножении особенностей. Для кратных рядов существует несколько конкурирующих определений композиции Адамара (см. [51]) на основе ядер интегральных представлений [75]. Композиция Адамара одномерных рядов может быть также обобщена на случай двух переменных на основе изучения диагоналей двойных степенных рядов [94].

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

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

Следствие 5.2.10. Умнооюение в полугруппе главных символов коэффициентов Оре-Сато, зависящих от двух переменных, соответствует сложению многоугольников Ньютона их результантов по Минковско-му.

Несколько иная версия этого результата была независимо получена А. Дикенштейн и Б. Штурмфельсом [45]. Использование свойств результанта коэффициента гипергеометрического ряда, определяемого как результант главных символов дифференциальных операторов в соответствующей гипергеометрической системе уравнений, позволяет сформулировать следующую теорему.

Теорема 5.2.11. Многоугольник Ньютона многочлена, задающего сингулярную гиперповерхность произведения Адамара двойных некопфлю-энтных гипергеометрических рядов, есть слагаемое Минковского в сумме многоугольников Ньютона результантов коэффициентов этих рядов.

Из теоремы Андроникова-Кашивары (см. теорему 8.11.8 в [35]) следует, что в случае, когда двойные гипер геометрические ряды удовлетворяют регулярной голономной системе уравнений, включение в теореме 5.2.11 превращается в равенство.

Настоящая глава диссертации завершается примером, который показывает, что, с точки зрения умножения гипергеометрических рядов по Адамару, случай двойных рядов существенно отличается от ситуации, когда перемножаемые ряды зависят от большего числа переменных, а следствие 5.2.10, вообще говоря, не имеет места в трех и более переменных. Отличие это определяется, в основном, тем обстоятельством, что на плоскости любой конус является симплициальным. Таким образом, основные результаты настоящей главы не могут быть тривиальным образом обобщены на случай более высоких размерностей.

Глава 6 посвящена изучению логарифмической проекции множества особенностей гипергеометрической функции многих комплексных переменных на вещественное пространство. Пусть / - многочлен Лорана, зависящий от переменных х\,. ,хп. Его амебой Л/ называется образ множества нулей многочлена / в торе (С*)71 при отображении Log : (#1,. ,хп) I—> (In |a;i., In |жТ1|). Известно (см. главу 6 в [61]), что связные компоненты дополнения к амебе Л/ выпуклы и находятся во взаимно-однозначном соответствии с разложениями рациональной функции 1// в ряды Лорана с центром в нуле. Таким образом, изучение разложений рациональной функции 1// в ряды Лорана с центром в нуле естественно приводит к рассмотрению амебы Л/.

В главе 6 вычисляется количество связных компонент в дополнении к амебе ядра Бергмана комплексного эллипсоида DPl,-,Pn — {rr £ С" : |Ж1|2/Р1 \хп^Рп < 1}. Здесь pi,. ,рп - натуральные числа. Показано, что число таких компонент не зависит от параметров pi,. ,рп и равно п + 1.

В главе 6 книги [61] показано, что число связных компонент дополнения к амебе многочлена не может быть меньше числа вершин многогранника Ньютона данного многочлена. Амеба многочлена Лорана называется сплошной, если число связных компонент ее дополнения равно числу вершин многогранника Ньютона данного многочлена. Одним из основных результатов главы 6 является следующее утверждение.

Теорема 6.4.11. Амеба множества особенностей неконфлюэнтной гипергеометрической функции является сплошной.

Особенности гипергеометрической функции, удовлетворяющей системе уравнений Гельфанда-Капранова-Зелевинского, лежат в множестве нулей т.н. главного А-детерминанта. Любой А-гипергеометрический ряд может быть преобразован в ряд Горна подходящей мономиальной заменой переменных. Эта мономиальная замена переменных соответствует линейному преобразованию пространства амебы и, следовательно, не может повлиять на сплошное свойство амебы. Используя теорему 6.4.11, мы приходим к следующему утверждению.

Следствие 6.4.12. Множество нулей любого главного А-детерминан-та имеет сплошную амебу.

Теорема 6.4.11 позволяет также установить сплошное свойство амебы классического дискриминанта общего алгебраического уравнения (0.0.19).

В главе 6 рассматривается также проблема классификации рациональных функций гипергеометрического типа, сформулированная Кат-тани, Дикенштейн и Штурмфельсом [41]. В настоящее время известно несколько необходимых условий рациональности сумм гипергеометрических рядов, однако эти условия не являются достаточными. При выполнении этих условий рациональные функции гипергеометрического типа допускают представление в виде торических вычетов. Для классификации рациональных функций гипергеометрического типа в главе 6 используется n-параметрическое семейство ядер Бергмана комплексных эллипсоидов DPl'~'Pn. Два гипергеометрических ряда называются кон-тигуалъно эквивалентными (contiguously equivalent), если отношение их коэффициентов есть произведение экспоненциальной и рациональной функций от индексов суммирования. Показано, что любое рациональное решение нерезонансной неконфлюэптной гипергеометрической системы с коммутирующими операторами контигуально эквивалентно ядру Бергмана области DPl'-'Pn для некоторых pi,. е N \ {0}.

В главе 7 рассматривается класс алгебраических функций, удовлетворяющих алгебраическим уравнениям с символьными коэффициентами, то есть уравнениям вида

Здесь т> т \> . > тп > 0, m, m; Е N, z = z(ao,., an+i) - функция комплексных переменных ао,. . ,an+i- Все решения уравнения (0.0.19) являются также решениями А-гипергеометрической системы Гельфан-да-Капранова-Зелевинского, связанной с матрицей и с вектором показателей однородности (0,-1). В частности, любое решение уравнения (0.0.19) является биоднородной функцией и потому может быть рассмотрено как функция п переменных. Отсюда следует, что два любых отличных от нуля коэффициента в уравнении (0.0.19) могут быть зафиксированы произвольным образом без потери существенной информации об общем решении данного уравнения. Оказывается удобным разделить (0.0.19) на —an+i и затем сделать замену переменных у = (—а0/an+i)1/mz, сведя (0.0.19) к уравнению a0zm + aizmi + a2zm2 + . + anzm" + an+1 = 0.

0.0.19)

1 1 . 1 1 тп mi . mn 0 ym + X!ymi + . + Xnym» -1 = 0.

0.0.20)

Согласно классическому результату Меллина [83], решения данного уравнения удовлетворяют некоторой системе дифференциальных уравнений в частных производных гипергеометрического типа. А именно, решение у(х) = у(х 1,., хп) уравнения (0.0.20) удовлетворяет следующей системе из п дифференциальных уравнений в частных производных: rrij — l mj~l . + тп0п + тк + 1) П (m'lOi + ■ • • + т'пвп + тк — 1 )у(х) = к=0 к=0

-1 3 = (0.0.21)

Я / где = Xj-r~- R rri- — т — rrij. В данной главе рассматриваются алгебраические уравнения вида (0.0.20). Систему уравнений (0.0.21) мы будем называть системой Меллина, ассоциированной с уравнением (0.0.20).

Целью главы 7 настоящей диссертации является построение базиса в пространстве голоморфных решений системы уравнений Меллина. Проблема нахождения решений системы Меллина возникла в рамках общей теории гипергеометрических функций и их связей с алгебраическими уравнениями [105].

Помимо решений уравнения (0.0.20), системе (0.0.21) удовлетворяют все решения ассоциированных алгебраических уравнений ут + екх1Угп' + . + е{"хпут» -1 = 0, (0.0.22) где I — (гх,., гп) 6 ff - произвольный мультииндекс, а е — е2т/т. В главе 7 дается полное описание пространства всех голоморфных в окрестности нуля решений системы Меллина в терминах решений алгебраических уравнений (0.0.22). Основные результаты данной главы диссертации состоят в следующем.

Во-первых, размерность пространства голоморфных в окрестности нуля решений системы Меллина равна тп (теорема 7.1.1). Во-вторых, все алгебраические решения являются линейными комбинациями решений уравнений (0.0.22). При этом, если d — НОД(т,т1, . ,тп) > 1, то никаких других голоморфных в окрестности нуля решений нет. Если же d = 1, т. е. показатели т, mi,., тп взаимно просты, то неалгебраические решения образуют подпространство размерности тп~1 — [^rj] • (Здесь [] обозначает целую часть числа.) Базис этого подпространства строится из корней уравнений (0.0.22) с помощью конструкции в теореме 7.3.13.

Частный случай триномиального уравнения ут + хур — 1 = 0 (которое соответствует обыкновенному уравнению Меллина) хорошо изучен [72]. Монодромия обыкновенного уравнения Меллина всегда приводима и, за исключением случая р = т — 1, оно не является линейным дифференциальным уравнением минимального порядка, пространство решений которого содержит корни заданного триномиального уравнения. Более того, обыкновенное уравнение Меллина может иметь неалгебраическое решение лишь в случае, когда р < т — 1 и наибольший общий делитель d чисел т,р равен 1. Явный вид неалгебраического решения дается простым частным случаем основного результата главы - теоремы 7.3.13.

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

Работа над настоящей диссертацией была поддержана грантами Президента Российской Федерации, Российским фондом фундаментальных исследований, фондом «Династия», Японским обществом продвижения науки, научно-образовательными грантами Сибирского федерального университета, а также Красноярским краевым фондом науки. Исследования по теме диссертации были представлены на конференциях и семинарах в Сибирском федеральном университете, в Институте математических исследований в Беркли (США), в университете Западного Онтарио (Канада), в Математическом институте им. Макса Планка (Германия), в Стокгольмском университете (Швеция), в Институте математических исследований в Киото (Япония), а также в университете Буэнос-Айреса (Аргентина). Приобрести опыт работы с системами компьютерной алгебры автору очень помогла стажировка в компании Wolfram Research Inc. (США). Автор выражает искреннюю благодарность всем перечисленным выше организациям и учреждениям.

Автор глубоко признателен своему научному консультанту А.К. Циху за постановки задач и внимание к работе, а также своей семье за терпение и моральную поддержку.

 
Заключение диссертации по теме "Математический анализ"

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

- доказана голономность произвольной двумерной гипергеометрической системы дифференциальных уравнений с параметрами общего положения;

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

- доказано, что множество нулей любого главного Л-детерминанта имеет сплошную амебу;

- установлено, что умножение пеконфлюэнтных гипергеометрических рядов по Адамару соответствует сложению многогранников Ньютона многочленов, определяющих их особенности, по Минковскому;

- найдена формула для числа линейно независимых голоморфных решений произвольной двумерной гипергеометрической системы уравнений в окрестности точки общего положения;

- построен базис в пространстве голоморфных решений гипергеометрической системы уравнений в случае, когда главные символы определяющих ее операторов образуют полное пересечение;

- вычислена монодромия системы уравнений Меллина и найдены условия алгебраичности ее решений.

Указатель обозначений

N - множество неотрицательных целых чисел; Z - множество целых чисел; Q - множество рациональных чисел; R - множество вещественных чисел; С - множество комплексных чисел; Р - сфера Римана;

Rn - вещественное пространство размерности щ Сп - комплексное пространство размерности щ С* = С \ {0}; ф(М) ~ число элементов в конечном множестве М\ а, Ь) = ai&i+. .+anbn - скалярное произведение векторов а = (ai,., ап) и Ъ = (Ъъ . . ,Ъп);

Xs — х\г . . . х- моном с вектором оснований х = (ж1г., хп) и вектором показателей s = (si,. ., sn); о;| = a\ + . + an - норма мультииндекса a E Nn;

K[xi,.,xn] - кольцо многочленов с переменными xi,. ,хп и коэффициентами из поля К;

К(х 1,., - поле рациональных функций с переменными х\,., хп и коэффициентами из поля iC;

Г (г) - гамма-функция Эйлера;

V(I) - нулевое множество идеала I С С [ж]; supp (/) - носитель ряда (в частности, многочлена) Пюизо, то есть, для / = саха по определению supp (/) = {а : са ф 0}; Pi, Qi - многочлены, определяющие гииергеометрическую систему уравнений Горна (0.0.6), см. стр. 8; ,еп - стандартный базис решетки Zn; в = (0Ь ., вп), Qi = Xi^\

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

Ui,., Um) - левый идеал в алгебре Вейля, порожденный операторами U\:., Um\

U, V] — UV — VU - коммутатор дифференциальных операторов U, V £ а(Р) - главный символ линейного дифференциального оператора Р £ Т>, см. стр. 129; rank (J) - голономный ранг левого идеала J, то есть, число его линейно независимых (над полем комплексных чисел) голоморфных решений в окрестности точки общего положения; rank p(J) - комплексная размерность линейного пространства многочленов Пюизо, лежащих в ядре каждого оператора из идеала J в алгебре Вейля Т>\

Gi = XiPi(9) — Qi(0) - дифференциальный оператор в г-ом уравнении системы Горна;

Нг(х,г) - главный символ дифференциального оператора Gi, см. стр. 130;

М - левый модуль над алгеброй Вейля, ассоциированный с системой уравнений Горна, см. стр. 121; char(A^) - характеристическое многообразие системы уравнений Горна, см. стр. 130;

Um — {х е Сп :3z ф 0 для которого (х, z) £ char(A^)}; V(ip) - многоугольником коэффициента Оре-Сато, см. стр. 171; Ох{о) - левый Р-модуль формальных степенных рядов с центром в точке

Af - амеба многочлена Лорана /, см. стр. 24;

Л/} - многогранник Ньютона многочлена Лорана /, см. стр. 194; vert (Af) - множество вершин многогранника jV:

Log - отображение Log : (xi,., хп) ь-» (In |xi|,., In |жп|);

Pi,-,Pn = {x eCn : |xi|2/pi + . • . + \xn\2/pn < 1} -комплексный эллипсоид;

KPl,.,pn ~ ядро Бергмана области DPl'~,Pn, см. стр. 200;

Xs - торическое многообразие, ассоциированное с веером Е;

Cv = {и G М" : (и, v) > 0, Vii £ С} - конус, двойственный к конусу С;

См = {s £ Hn : и + As £ М, \fu £ М, А > 0} - конус рецессии выпуклого множества М;

Ej - оператор сдвига, придающий г-му аргументу приращение t, то есть

Etif(x)^f(x + tei)int(M) - внутренность множества М; vol (А) - нормированный (комбинаторный) объем конечного множества А С Z", то есть, произведение п! на стандартный евклидов объем выпуклой оболочки множества А\

IB ~ решеточный идеал, ассоциированный с решеткой L&, см. стр. 33; 1а ~ торический идеал, соответствующий матрице А, см. стр. 33; Uij - индекс пары строк целочисленной матрицы, см. стр. 35; На (Л -с) = IA + (Z)"=i aijxjdX] - {А ■ с) i ■ г = 1,., п - т) С Т>п - А-гипергеометрическая система дифференциальных уравнений в частных производных с вектором параметров А • с; in W(I) - начальный идеал для идеала I относительно весового вектора w, см. стр. 42; ind W(J) = R • in (Ш)Ш)( J) П С., 0п] - индексный идеал для идеала J, см. стр. 71.

Заключение

 
Список источников диссертации и автореферата по математике, доктора физико-математических наук, Садыков, Тимур Мрадович, Красноярск

1. Н.М.Адрианов, Г. Б.Шабат, Функции Белого детских рисунков рода 2 с 4 ребрами, Успехи Мат. Наук 60:6 (2005), 1237-1239.

2. М. Айгнер, Комбинаторная теория. М.: Мир, 1982.

3. JL А. Айзенберг, Формулы Карлемана в комплексном анализе. Первые приложения. Новосибирск: Наука, 1990.

4. JL А. Айзенберг, А. П. Южаков, Интегральные представления и вычеты в многомерном комплексном анализе. Новосибирск: Наука, 1979.

5. Г. В. Белый, Новое доказательство теоремы о трех точках, Матем. Сборник 193:3 (2002), 21-24.

6. А. А. Болибрух, Фуксовы дифференциальные уравнения и голоморфные расслоения. Московский центр непрерывного математического образования, 2000.7J В.А.Васильев, Топология дополнений к дискриминантам. М.: ФАЗИС, 1997.

7. И. М. Гельфанд, М. И. Граев, GG-функции и их связи с обшими гипергеометрическими функциями, Успехи Мат. Наук 52:4 (1997), 3-48.

8. И. М. Гельфанд, М. И. Граев, А. В. Зелевинский, Голономные систелт уравнений и ряды гипергеометрического типа, Докл. Рос. Акад. Наук Сер. мат. 295 (1987), 1419.

9. И. М. Гельфанд, М. И. Граев, В. С. Ретах, Общие гипергеометрические системы уравнений и ряды гипергеометрического типа, Успехи Мат. Наук 47:4 (1992), 3-82.

10. И. М. Гельфанд, М. И. Граев, В. С. Ретах, q-Гипергеометрическое уравнение Гаусса и описание его решений в виде рядов и интегралов, Докл. Рос. Акад. Наук Сер. мат. 331 (1993), 140-143.

11. И. М. Гельфанд, М. И. Граев, В. С. Ретах, Общие гамма-функции, экспоненты и гипергеометрические функции, Успехи Мат. Наук 53:1 (1998), 3-60.

12. И.М.Гельфанд, А.В.Зелевинский, М.М.Капранов, Гипергеометрические функции и торические многообразия, Функциональный анализ и его приложения 23:2 (1989), 12-26.

13. В. А. Голубева, Некоторые вопросы аналитической теории фейнмановских интегралов, Успехи Мат. Наук 31:2 (1976), 135-220.

14. И. С. Градштейн, И. М. Рыжик, Таблицы интегралов, сумм, рядов и произведений. М.: Физматгиз, 1963.

15. М.А.Евграфов, Ряды и интегральные представления. Итоги науки и техники. М.: Современные проблемы математики. Фундаментальные направления. Т. 13.1986.

16. Г. П. Егорычев, Интегральное представление и вычисление комбинаторных сумм. Новосибирск: Наука, 1977.

17. О. Н. Жданов, А. К. Цих, Исследование кратных интегралов Меллина-Барнса с помощью многомерных вычетов, Сиб. матем. журнал 39 (1998), 281-298.

18. Б. С. Зиновьев, О воспроизводящих ядрах для кратно-круговых областей голоморфности, Сиб. матем. журнал 15 (1974), 35-48.

19. М. Кашивара, П.Шапира, Пучки на многообразиях. М.: Мир, 1997.

20. А. Ф. Никифоров, В.В.Уваров, Основы теории специальных функций. М.: Наука, 1974.

21. В. П. Паламодов, Линейные дифференциальные операторы с постоянными коэффициентами. М.: Наука, 1967.

22. А.П.Прудников, Ю.А.Брычков, О.И.Маричев, Интегралы и ряды. Специальные функции. М.: Наука, 1983.

23. А. Ю. Семушева, А. К. Цих, Продолжение исследований Меллина о решении алгебраических уравнений, Комплексный анализ и дифференциальные операторы. Красноярск: Красноярский государственный университет. (2000), 134-146.

24. А. К. Цих, Многомерные вычеты и их применения. Новосибирск: Наука, 1988.

25. A. Adolphson, Hypergeometric functions and rings generated by monomials, Duke Math. J. 73 (1994), 269-290.

26. D. V. Anosov and A. A. Bolibruch, The Riemann-Hilbert problem. Aspects of Mathematics E22. Friedr. Vievveg k Sohn, 1994.

27. A. Beauville, Monodromie des systemes differentiels lineaires a poles simples sur la sphere de Riemann (d'apres A. Bolibruch), S&ninaire Bourbaki, vol. 1992/93. Asterisque 216 (1993), exp. no. 765, 4, 103-119.

28. H. Behnke and P. Thullen, Theorie der Funktionen mehrerer komplexer Verdnderlichen. Springer-Verlag, 1970.

29. G.V. Belyi, Galois extensions of a maximal cyclotomic field, Izv. Akad. Nauk SSSR Ser. Mat. 43 (1979), 267-276.

30. J. ВёЬгёта and A. Zvonkin, Plane trees and Shabat polynomials, Proceedings of the 5th Conference on Formal Power Series and Algebraic Combinatorics (Florence, 1993). Discrete Math. 153 (1996), 47-58.

31. F.Beukers and G.Heckman, Monodromy for the hypergeornetric function nFn-i, Invent. Math. 95 (1989), 325-354.

32. Bieberbach, Analytische Fortsetzung. Springer-Verlag, 1955.

33. J.-E. Bjork, Rings of Differential Operators. North. Holland Mathematical Library, 1979.

34. J.-E. Bjork, Analytic V-Modules and Applications. Kluwer Academic Publishers, 1993.

35. A. Borel, P.-P. Grivel, В. Каир, A.Haefliger, B.Malgrange, and F. Ehlers, Algebraic V-modules, volume 2 of Perspectives in Mathematics. Academic Press Inc., Boston, MA, 1987.

36. A. Borisov, R. P. Horja, Mellin-Barnes integrals as Fourier-Mukai transforms, Adv. Math. 207:2 (2006), 876-927.

37. P.Candelas, X.de la Ossa, P.Greene, and L.Parkes, A pair of Calabi-Yau manifolds as an exactly soluble superconforrrial theory, Nucl. Phys. V. B539 (1991), 21-74.

38. F. Castro-Jimenez and N. Takayama, Slopes of a Hypergeornetric System Associated to a Monomial Curve, Trans. Amer. Math. Soc. 355 (2003), 3761-3775.

39. E. Cattani, C.D'Andrea, and A. Dickenstein, The A-hypergeometric system associated with a monomial curve, Duke Math. J. 99 (1999), 179-207.

40. E. Cattani, A. Dickenstein, and B.Sturmfels, Rational hypergeornetric functions, Compositio Math. 128 (2001), 217-240.

41. D. Cox, J. Little, and D.O'Shea, Ideals, varieties and algorithms. Undergraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 1997. An introduction to computational algebraic geometry and commutative algebra.

42. S.R. Dahmen, Counting integral Lame equations by means of dessins d'enfants, Transactions of the Amer. Math. Soc. 359:2 (2007), 909-922.

43. A. Dickenstein, L. Matusevich, and E. Miller, Binomial T>-modules, arXiv:math.AG/0610353.

44. A. Dickenstein and B. Sturmfels, Elimination theory in codimension 2, J. Symbolic Comput. 34:2 (2002), 119-135.

45. A. Dickenstein, J.M.Rojas, K.Rusek, and J.Shih, Extremal real algebraic geometry and A-discriminants, Moscow Math. J. 7:3 (2007), 425Ц452.

46. H. Dinwoodie, L. F. Matusevich, and E. Mosleig, Transform methods for the hyper geometric distribution, Statistics and Computing 14 (2004), 287-297.

47. B. M. Dwork, Generalized Hypergeometric Functions. Oxford University Press, 1990.

48. D.Eisenbud, Commutative algebra. With a view toward algebraic geometry. Springer-Verlag, New York, 1995.

49. D.Eisenbud and B.Sturmfels, Binomial ideals, Duke Math. J. 84:1 (1996), 1-45.

50. M.M.Elin, Multidimensional Hadamard composition, Siberian Math. J. 35 (1994), 936940.

51. A.Erdelyi, Hypergeometric functions of two variables, Acta Math. 83 (1950), 131-164.

52. Euler, Introductio in Analysis Infinitorum, volume 1. Laussane, 1748.

53. K. G. Fischer and J. Shapiro, Mixed matrices and binomial ideals, J. Pure Appl. Algebra 113 (1996), 39-54.

54. M. Forsberg, Amoebas arid Laurent series. Doctoral thesis. Royal Institute of Technology, Stockholm, 1998.

55. M. Forsberg, M.Passare, and A. Tsikh, Laurent determinants and arrangements of hyperplane amoebas, Adv. Math. 151 (2000), 45-70.

56. G.Francsics and N. Hanges, The Bergman kernel of complex ovals and multivariuble hypergeometric functions, J. Funct. Anal. 142 (1996), 494-510.

57. W.Fulton, Introduction to Toric Varieties. Annals of Mathematics Studies. V. 131. Princeton University Press, 1993.

58. C. Gantz and B. Steer, Gauge fixing for logarithmic connections over curves and the Riemann-Hilbert problem, J. London Math. Soc. (2) 59 (1999), 479-490.

59. C.F.Gauss, Disquisitiones generates circa seriem infinitam. Thesis, Gottingen, 1812. In Ges. Werke, Gottingen, 1866.

60. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Discriminants, Resultants and Multidimensional Determinants. Birkhauser. Boston, 1994.

61. M. Gelfand, M. M. Kapranov, and A. V. Zelevinsky, Generalized Euler integrals and A-hypergeometric functions Adv. Math. 84 (1990), 255-271.

62. D. R. Grayson and M. E. Stillman, Macaulay 2, a software system for research in algebraic geometry. Available at www.math.uiuc.edu/Macaulay2/.

63. A. Grothendieck, Esquisse d'un programme. London Mathematical Society Lecture Note Series 242, Geometric Galois actions, 1, 5-48. English translation on pp. 243-283. Cambridge University Press, 1997.

64. S.Ho§ten and J.Shapiro, Primary decomposition of lattice basis ideals, J. Symbolic Comput. 29:(4-5) (2000), 625-639.

65. J.Horn, Uber die Konvergenz der hypergeometrischen Reihen zweier und dreier Veranderlichen, Math. Ann. 34 (1889), 544-600.

66. J.Horn, Uber hypergeometrische Funklionen zweier Veranderlichen, Math. Ann. 117 (1940), 384-414.

67. Hormaiider, The Analysis of Linear Partial Differential Operators I. Springer-Verlag, 1990.

68. R. Hotta, Equivariant V-modules, In P. Torasso, editor, Proceedings of ICPAM Spring School in Wuhan, Travaux en Cours. Paris, 1991.

69. M. Kalkbrener and B. Sturmfels, Initial complexes of prime ideals, Adv. Math. 116:2 (1995), 365-376.

70. M. M. Kapranov, A characterization of A-discriminantal hypersurfaces in terms of the logarithmic Gauss map, Math. Ann. 290 (1991), 277-285.

71. M. Kato and M. Noumi, Monodromy groups of hypergeometric functions satisfying algebraic equations, Tohoku Math. J. 55 (2003), 189-205.

72. E. E. Kummer, Uber die hypergeometrische Reihe F(a, (3,7, x), J. fur Math. 15 (1836).

73. S. K. Lando and A. K. Zvonkin, Graphs on surfaces and their applications. With an appendix by Don B. Zagier. Encyclopaedia of Mathematical Sciences 141. Low-Dimensional Topology II. Springer-Verlag, 2004.

74. E. K. Leinartas, The Hadamard multidimensional composition and sums with linear constraints on summation indices, Siberian Math. J. 30 (1989), 250-254.

75. B.Maskit, Kleinian groups. Grundlehren der Mathematischeii Wissenschaften 287. Springer-Verlag, 1988.

76. F. Matusevich, Exceptional parameters for generic A-hypergeometric systems, Int. Math. Res. Not. 22 (2003), 1225-1248.

77. F. Matusevich and U. Walther, Arbitrary rank jumps of A-hypergeometric systems through Laurent monomials, J. London Math. Soc. 75:1 (2007), 213-224.

78. F. Matusevich and E. Miller, Combinatorics of rank jumps in simplicial hypergeometric systems, Proceedings of the AMS 134 (2005), 1375 1381.

79. L.F.Matusevich, E.Miller, and U.Walther, Homological methods for hypergeometric families, J. Amer. Math. Soc. 18 (2005), 919-941.

80. K.Mayr, Uber die Aufldsung algebraischer Gleichungssysteme durch hypergeometrische Funktionen, Monatshefte fur Mathematik und Physik 45 (1937), 280-313.

81. J. McDonald, Fiber polytopes and fractional power series, J. Pure Appl. Algebra 104 (1995), 213-233.

82. Hj.Mellin, Itdsolution de Vequation algebrique generate a I'aide de la fonction Г, C.R. Acad. Sc. 172 (1921), 658-661.

83. G. Mikhalkin, Real algebraic curves, the moment map and amoebas, Ann. of Math. (2) 151 (2000), 309-326.

84. D.Mumford, Algebraic Geometry I. Complex Projective Varieties. Springer-Verlag, 1976.

85. J.Oesterte, Dessins d'enfants. S6minaire Bourbaki, vol. 2001/2002. Aslerisque 290 (2003), exp. no. 907, ix, 285-305.

86. M. Passare and H. Rullg&rd, Amoebas, Monge-Ampere measures, and triangulations of the Newton polytope, Duke Math. J. 121 (2004), 481-507.

87. M. Passare and A. Tsikh, Algebraic equations and hypergeometric series, in the book "The Legacy of N. H. Abel," Springer-Verlag (2004), 563-582.

88. M.Passare, A.Tsikh, and O.Zhdanov, A multidimensional Jordan residue lemma with an application to Mellin-Barnes integrals, Aspects Math. E. 26 (1994), 233-241.

89. P. S. Pedersen, A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's, Adv. Math. 117:1 (1996), 157-163.

90. P. S. Pedersen, Basis for Power Series Solutions to Systems of Linear, Constant Coefficient Partial Differential Equations, Adv. Math. 141:1 (1999), 155-166.

91. G. F. B. Riemann, P-Funktionen. In Ges. Math. Werke, pages 67-84. Gottingen, 1857. Republished Leipzig 1892.

92. H.Rullgard, Stratification des espaces de polynomes de Laurent et la structure de leurs amibes, C.R. Acad. Sci. Paris Ser. I Math. 331 (2000), 355-358.

93. K.V. Safonov and A. K. Tsikh, Singularities of the Grothendieck parametric residue and diagonals of a double power series, Izv. Vyssh. Uchebn. Zaved. Mat. 4 (1984), 51-58.

94. M. Saito, Logarithm-free A-hypergeometric series, Duke Math. J. 115:1 (2002), 53-73.

95. M. Saito, B.Sturmfels, arid N. Takayama, Grobner Deformations of Hypergeometric Differential Equations. Springer Verlag. Berlin, Heidelberg, 2000.

96. M. Sato, Theory of prehomogeneous vector spaces (algebraic part), Nagoya Math. J. 120 (1990), 1-34.

97. L.Schueps (editor), The Grothendieck theory of dessins d'enfants. Papers from the Conference on Dessins d'Enfants held in Luminy, April 19-24,1993. London Mathematical Society Lecture Note Series 200. Cambridge University Press, 1994.

98. M. Schulze and U. Walther, Irregularity of hypergeometric systems via slopes along coordinate subspaces, Duke Math. J. 142:3 (2008), 465-509.

99. M. F. Singer, Testing Reducibility of Linear Differential Operators: A Group Theoretic Perspective, AAECC 7 (1996), 77-104.

100. L.J. Slater, Generalized Hypergeometric Functions. Cambridge University Press, 1966.

101. H. M. Srivastava and P. W. Karlsson, Multiple Gaussian Hypergeometric Series. Ellis Horwood Limited, 1985.

102. R. P. Stanley, Enumerative Combinatorics, V. 1. Wadsworth h Brooks/ Cole Mathematics Series, 1986.

103. B. Sturmfels, Grobner Bases and Convex Polytopes. American Mathematical Society, Providence, RI, 1996.

104. B. Sturmfels, Solving algebraic equations in terms of A-hypergeometric series, Discrete Math. 210:(l-3) (2000), 171-181.

105. B. Sturmfels, N. V. Trung, and W. Vogel, Bounds on degrees of projective schemes, Math. Aim. 302:3 (1995), 417-432.

106. S-ТапаЬё, On Horn-Kapranov uniformisation of the discriminantal loci, Advanced Studies in Pure Math. 46 (2007), 223-249.

107. S. Tanabo, Invariant of the hypergeometric group associated to the quantum cohomology of the projective space, Bull. Sci. Math. 128:10 (2004), 811-827.

108. M. van der Put and M. F. Singer, Galois theory of linear differential equations. Grundlehren der Malhematischen Wissenschaften 328. Springer-Verlag, 2003.

109. A. Varchenko, Multidimensional Hypergeometric Functions and Representation Theory of Lie Algebras and Quantum Groups. Advanced Series in Mathematical Physics 21. World Scientific, 1995.

110. U. Walther, Duality and reducibility of hypergeometric systems, Math. Ann. 338:1 (2007), 55-74.

111. G.M. Ziegler, Lectures on Pohjtopes. Springer-Verlag, 1995.

112. Т. М. Садыков, О многомерной системе дифференциальных гипергеометрических уравнений, Сиб. матем. журнал 39 (1998), 1141-1153.

113. Т. М. Sadykov, On the Horn system of partial differential equations and series of hypergeometric type, Math. Scand. 91:1 (2002), 127-149.

114. A.Dickenstein, L.Matusevich, and T.M. Sadykov, Bivariate hypergeometric V-modules, Adv. Math. 196:1 (2005), 78-123.

115. А.Дикенштейн, T.M.Садыков, Алгеб^шичность решений системы уравнений Меллина и ее монодромия, Докл. Рос. Акад. Наук Сер. мат. 412:4 (2007), 1-3.

116. F.L&russon and T.M.Sadykov, Dessins d'enfants and differential equations, Алгебра и анализ 19:6 (2007), 184-199.

117. Т. М. Садыков, Гипергеометрические системы уравнений с максимально приводимой монодромией, Докл. Рос. Акад. Наук Сер. мат. 423:4 (2008), 455-457.