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

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

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

Лейнартас Евгений Константинович

ИНТЕГРАЛЬНЫЕ МЕТОДЫ В МНОГОМЕРНОЙ ТЕОРИИ СТЕПЕННЫХ РЯДОВ И РАЗНОСТНЫХ УРАВНЕНИЙ

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

АВТОРЕФЕРАТ

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

Красноярск, 2006

Работа выполнена в Красноярском государственном университете.

Научный консультант — доктор физико-математических

наук, профессор Цих А.К.

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

наук, профессор Александров А.Г. доктор физико-математических наук, профессор Кытманов A.M. доктор физико-математических наук, профессор Чуешев В.В.

Ведущая организация — Математический институт им.

В.А. Стеклова

Защита состоится " 4 9 "."^QЛ".2006 г. в " 15°""часов на заседании диссертационного совета Д 212.099.02 в Красноярском государственном университете по адресу: 660041, г. Красноярск, пр. Свободный, 79

С диссертацией можно ознакомиться в библиотеке Красноярского государственного университета.

Автореферат разослан " ^ " 2006г.

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

совета j

кандидат физико-математических УУ/^Г^^Ролованов М.И.

наук, доцент ^

ОБЩАЯ ХАРАКТЕРИСТИКА РАБОТЫ

Актуальность темы

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

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

Одномерная теория конечно-разностных уравнений [2] развивалась параллельно с теорией обыкновенных дифференциальных уравнений и в случае линейных уравнений имеет вполне законченный вид. Одной из наиболее тонких и глубоких теорем анализа является теорема Пуанкаре об асимптотическом поведении решений разностного уравнения с предельно-постоянными коэффициентами. Перрон уточнил теорему Пуанкаре при дополнительном условии невырожденности разностного уравнения. Теорема Пуанкаре-Перрона в векторной формулировке уточнялась в [3] в связи с доказательством гипотезы Гончара о возможности распространиния теоремы Фабри об отношении коэффициентов степенного ряда на случай т-ой строки таблицы многоточечных аппроксимаций Паде.

В отличие от одномерного случая теория многомерных линейных разностных уравнений была мало исследована до недавнего времени. Так, в [4] были рассмотрены частные виды уравнений с двумя переменными, а в работе Даффина [6] был построен дискретный аналог теории гармонических функций двух переменных.

Далее, в [7] в связи с решением некоторых комбинаторных задач о числе путей в целочисленной решетке, приводящих к линейным рекур-

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

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

В [10] интегральные представления фундаментальных решений разностного уравнения применялись для получения асимптотических оценок, которые нашли свое применение в некоторых задачах интерполяции (cardinal interpolation). Совсем недавно была обнаружена связь асимптотической теории разностных уравнений с биоинформатикой (2005, работы Штурмфельса и его соавторов [12]), а также с теорией димеров (Кенион, Окуньков [13], 2003).

Проблема продолжения степенного ряда за пределы круга сходимости и исследование особых точек этого ряда относится к числу трудных уже для функций одной переменной. Разработанная Вейерштрассом и нашедшая продолжение в трудах Римана общая теория аналитического продолжения функций позволила понять сущность явления многозначности аналитических функций, которое было основным источником ошибок при неумелых попытках аналитического продолжения, однако не отменила необходимости в специальных методах аналитического продолжения. Представление функции интегралами, зависящими от параметров, в силу своей обозримости зачастую предпочтительнее ее представления с помощью ряда. Ярким примером такого типа является одна из красивых теорем в теории распределения особенностей аналитических функций - теорема Адамара об умножении особенностей (см. [14]) для степенного ряда, коэффициенты которого являются произведением коэффициентов двух заданных рядов. Для кратных степенных рядов конструкции, обобщающие произведение Адамара рядов, появились в связи с решением некоторых задач теории чисел [15] и комбинаторного анализа [16], [17]. Одна из этих конструкций - «диагональные» композиции

Адамара двойного ряда восходит еще к Пуанкаре [18]. В [9] диагонали двойного ряда изучались в связи с проблемой устойчивости цифровых рекурсивных фильтров. Отметим еще, что идея «разделения особенностей» подынтегрального выражения, использованная в доказательстве теоремы Адамара об умножении особенностей, успешно применялась при исследовании интегралов, зависящих от параметра, гомологическими методами (см., например, [19], [20]).

В 50-60 годы прошлого века Лере [5] (в связи с исследованиями в теории линейных гиперболичеких уравнений с помощью обобщенного преобразования Лапласа) создал аппарат интегрирования по комплексному многообразию дифференциальных форм с особенностями — теорию вычетов Лере. Постороение одного из основных объектов этой теории — формы-вычета Лере приводит к необходимости отыскания в данном классе когомологий дифференциальной формы с полюсами первого порядка, т. е. к задаче когомологического приведения периодов. Общая конструкция когомологического приведения периодов использует разбиение единицы и не сохраняет рациональности исходной дифференциальной формы. Гриффите в [21], исследуя периоды рациональных дифференциальных форм в п-мерном проективном пространстве, предложил метод понижения порядка полюсов, не выводящий из класса рациональных дифференциальных форм. Когомологическое исследование рациональных форм было продолжено в статьях Батырева и Кокса ([11] 1995) с точки зрения торической геометрии, а конструирование формы-вычета с сингулярными полярными множествами и их связь со связностью Гаусса-Манина изучались Александровым ([1] 2005).

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

Цель диссертации

Цель данной работы - развитие техники кратных рядов и интегралов и ее применение для:

1) описания пространства решений линейных разностных уравнений с постоянными коэффициентами;

2) исследования асимптотик решений разностных уравнений и поиска многомерной версии теоремы Пуанкаре;

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

4) когомологического приведения периодов рациональных дифференциальных форм.

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

В исследовании паряду с общими методами комплексного анализа использовалась также теория идеалов в полиномиальных кольцах и кроне-керовская теория исключения. Ключевую роль при изучении разностных уравнений играют понятия многогранника Ньютона характеристического уравнения и логарифмического отображения Гаусса, а также введенное относительно недавно понятие амебы многочлена [8] и ее. связь с разложениями рациональных функций в ряды Лорана [23].

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

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

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

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

Результаты главы. 3 о многомерных конструкциях степенных рядов, обобщающих произведение Адамара, представляют в основном теоретический интерес и могут быть полезны в перечислительных задачах комбинаторного анализа и в аддитивных задачах теории чисел.

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

Апробация работы

Результаты диссертации докладывались:

- на Красноярском городском семинаре по многомерному комплексному анализу под руководством профессоров А. А. Айзенберга и А. П.

Южакова, а с 1994 года профессоров А. К. Циха и А. М. Кытманова;

- на семинаре, по дифференциальным уравнениям при университете г. Варшавы (1995г.);

- на семинаре по многомерному комплексному анализу при университете г. Стокгольма (2004г.);

- на Всесоюзных конференциях по комплексному анализу: Кациве-ли (1979г.), г. Черноголовка (1980г.), г. Красноярск (1987г.), г. Ташкент (1987г.), г. Челябинск (1994г.);

- на Международных конференциях: г. Варшава (1994г.), г. Красноярск (2002г.), г. Волгоград (2004г.), г. Краснодар (2005г.).

Публикации

Основные результаты опубликованы в работах [24]—[36].

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

Диссертация состоит из введения и четырех глав основного текста. Список литературы содержит 106 наименований. Работа изложена на 157 страницах.

СОДЕРЖАНИЕ РАБОТЫ

Характеризуя диссертационную работу в целом можно сказать, что она посвящена развитию техники рядов и интегралов и ее применению для решения некоторых проблем как теории разностных уравнений, так и собственно кратных степенных рядов. Изложение начинается с теории многомерных разностных уравнений (главы 1, 2), где степенные ряды и интегралы по циклам естественно появляются как аппарат исследования. В третьей главе интегралы с параметрами выступают главным инструментом в изучении распределения особенностей функций многих комплексных переменных. Важным частным случаем рассматриваемых интегралов являются интегралы от замкнутых мероморфных, в частности, рациональных дифференциальных форм, т.е. многомерные вычеты. Когомологическим аспектам теории многомерных вычетов посвящена глава 4. Некоторые результаты этой главы используются в главе 2 (§2.4), но вместе с тем она имеет самостоятельное значение для многомерной теории вычетов.

В Главе 1 дано описание пространства решений многомерных разностных уравнений с постоянными коэффициентами.

Одномерное одпородное линейное разностное уравнение относительно неизвестной функции / : Z+ —> С с постоянными коэффициентами

имеет вид

/(:х + тп) + ат-1/(х + т — 1) + • —I- а0/(х) =0,16 (1)

Если известны корни гего характеристического уравнения

Р(г) :— гт + аго_1гт-1 Н-----(- аа = 0, (2)

и ао ^ 0, то всякое решение разностного уравнения представляется в виде

/(«) = Х>,(х)г»,хе2+, (3)

.7

где е., (х) — многочлен относительно х, степень которого меньше кратности корня г,-. В одномерной ситуации формула (3) дает полное описание пространства решений уравнения (1), однако оказалось, что на многомерный случай она не переносится, поэтому отметим два других, эквивалентных (1) представления решения (3) разностного уравнения (1):

ПХ) = ъГг Уг РЦГ = — ^ГЖ 6 2+' (4)

где (¡(г) — многочлен степени < т — 1, а цикл Г — {г € С : |г| = Л} — окружность радиуса К такого, что все корни характеристического уравнения лежат внутри Г.

Для произвольной функции целочисленного аргумента / : Ъ+ —> С ее ^-преобразование (производящая функция) определяется следующим образом:

хе г+

Задача: найти функцию определенную степенным рядом (5),

если коэффициенты /(х) этого ряда удовлетворяют условиям (1) решена еще Муавром, и ответ состоит в том, что г-преобразование является рациональной функцией Р(г). == г)/Р(г), причем степень числителя (¿{г) меньше порядка т уравнения (1).

В одномерном случае представляется очевидным, что решение (неоднородного) разностного уравнения .. . , .

}(х + т) + ат_1/(х + тп — 1) Ч-----Ь а0/(х) — д{х),х б Ъ+ (6)

полностью определяется своими значениями фх в т „начальных" точках

/(х)=фх,х = 0,1,...,т-1\ (7)

иными словами задача Коши:

найти функцию / : Ъ+ —> С, удовлетворяющую' уравнению (6) и начальным условиям (7)

всегда имеет решение, причем единственное.

Функция V : Ъ С называется фундаментальным решением разностного уравнения (6) если

т

^ааТ{х + а)=5Х1о,хеЪ, ; (8)

а=0

где <5г,о = 0 для всех г/Ой <50,о — 1- Интегральная формула

, 1 Г г1-1

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

Если известно фундаментальное решение Р(х), то формула

/(*)= Х)7>(*-г/)<?Ы (ю)

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

Обозначим через Ъп — X х • - - х Z — п-мерную целочисленную решетку. Пусть — подмножество этой решетки, состоящее из точек с целыми неотрицательными компонентами, А = {а} С — некоторое фиксированное конечное множество таких точек.

Разностным уравнением (относительно неизвестной функции / : Z" —»■ С) назовем соотношение вида

^аа/(х + а) =0,хе2£. (11)

Характеристическим многочленам для разностного уравнения (11) назовем многочлен

а£А

где = г?1 • • • г = (zu ■ • •, zn) е С".

Ларакэтгерыстичесхил« множеством для разностного уравнения (11) назовем множество нулей характеристического многочлена V = {г 6 С" : P(z) — 0}. Иногда мы будем исследовать уравнение (11) на всей решетке Zn или на произвольном конусе этой решетки, в этом случае естественно характеристическое множество рассматривать в комплексном торе, т.е. полагать V = {г е (С \ 0)" : P(z) = 0}.

Если z € V, то также как и в случае п = 1, функция f(x) = consta* является решением уравнения (11), однако, в отличие от одномерной ситуации, представить любое решение формулой вида (3) ила даже «непрерывным» аналогом этой формулы: f(x) = fvzxd[i(z) (с некоторой мерой d¡i{z), сосредоточенной на характеристическом множестве V) не представляется возможным. Действительно, для простейшего двумерного разностного уравнения /(аи +1, Х2) — fix 1, x-¡) = 0 решением является произвольная функция от х2, и возможность ее «экспоненциального» представления (V = {(zi,z2) е С2 : Z\ — 1})

с(х2) = f z?z?dfi(z1,z2)= f z?dn(l,z2) Jv Je

означала бы разрешимость следующей (неразрешимой!) проблемы моментов:

для любой последовательности с(хг) комплексных чисел существует мера dfj,(z) такая, что с(х2) = /с zXl d¡i(z).

Этот же пример* говорит и о невозможности представить любое решение í{x) интегралом вида (4), так как в этом случае оно будет удовлетворять неравенству вида |/(х)| < const \zx\, следовательно, не может быть произвольной функцией.

Таким образом, при n > 1 для решения проблемы описания пространства решений уравнения (11) остается лишь поиск в виде f(x) = Res — многомерного аналога правой части формулы (4). Соот-

ветствующий результат излагается в §1.1. Для его формулировки пам потребуются некоторые известные понятия.

Многогранником Ньютона Мр многочлена Р называется выпуклая оболочка в К" элементов множества А (напомним, что А — набор показателей мономов для Р).

Если г/ — вершина многогранника Npt то рациональная функция 1/Р(г) разлагается в ряд Лорана вида

" = "ад

''•'*> „.f.. ••

где К„ — конус, построенный на векторах v — а, а €-А. Отметим, что этот ряд имеет непустую область сходимости и, кроме того, для его коэффициентов справедлива интегральная формула ,

где Г — вещественный n-мерный тор (остов) {|zi| = Ль..., |-г„| = Rn}> лежащий в области сходимости.

На множестве рядов Лорана F(z) = J^sez» a(x)zx определим функционал Res следующим образом:

Res F(z) = а(—/), / = (1,..., 1).

Пусть Z" — а — сдвиг конуса Z" на вектор (—а:)- Определим для конечного набора А = {а} множество

и обозначим через ца линейное пространство рядов Лорана вида

Отметим, что сходимость этих рядов, вообще говоря, не предполагается.

В предложениии 1.1.4 доказывается, что для вершин v многогранника Np с условием

dim(C„ П R") = п, (14)

где Cv — двойственный конус к NP в точке v, произведения ряда (12) на ряды М(z) е Ца алгебраически определены, т.е. выражаются через

конечные процедуры, при этом очевидно, что всегда существует хотя бы одна вершина v многогранника NP с условием (14). Следующая теорема дает описание пространства всех решений уравнения (11). Ее можно рассматривать как дискретную версию известного в теории дифференциальных операторов с частными производными фундаментального принципа.

Теорема 1 (1.1.1). Всякое решение разностного уравнения (11) можно представить в виде

J(x) = Res{-~M(z)zx}, х € (15)

где выражение под знаком Res понимается как произведение ряда Лорана (12) для 1 fP(z) и (формального) ряда-М(г) € ца-

Если ряд M(z) сходящийся и его область сходимости имеет непустое пересечение с областью сходимости ряда (12), то решение можно представить интегралом

... 1 Г M(z)

= Jr.,

по подходящему остову Г„ и, следовательно, такое решение допускает экспоненциальную оценку |/(х)| < conste*".

Условие (14), обеспечивающее корректность умножения рядов в теореме 1, напрямую связано с возможностью корректной постановки задачи Коши для уравнения

^aQf{x + a) =g(x),z€ ZI. (16)

а€Л

В отличие от одномерной задачи (6)-(7) вопрос о множествах, на которых можно задавать «начальные» данные задачи Коши и требовать выполнения соотношения (16), уже представляется далеко не очевидным.

Фиксируем m 6 Np П Z" и обозначим = {у € : 0 < у$ < rrij — 1}. Далее = ZJJ, и пусть ф : ZJJ, -» С — заданная функция.

Формулируем задачу:

найти функцию / : Z" —> С, удовлетворяющую уравнению (16) и совпадающую на ZJJ, с функцией ф(х):

f{x)=ф{x),xeZl. (17)

Решение сформулированной задачи (16)-(17) существует и единственно не для всякого т € Np П Zn. Так, при п = 1 это будет справедливо только для m = deg P(z).

Условия на точку m е Np П Z", обеспечивающие существование и единственность решения задачи (16)—(17), исследовались в работе [7] (без использования понятия многогранника Ньютона) и могут быть сформулированы следующим образом:

если вершина т многогранника Ньютона удовлетворяет условию (14) или эквивалентному ему условию

(m + R") П Np = {т}, (18)

то задача (16)-(17) имеет единственное решение.

Фундаментальное решение Р(х) разностного уравнения (16) определяется также, как и для тг = 1 (см. формулу (8)):

]Г) ааГ(х + а) = гх,0. х е Z",

абА

где = 0 для всех х € Z" таких, что io,o — !■

Каждой вершине т многогранника Ньютона соответствует фундаментальное решение ■Рт(х), определенное формулой (13). Если известно фундаментальное решение V(x)t то решение уравнения (16) дается формулой f(x) = "Р{х — y)g(y) при условии, что правая часть определена корректно. Построим решение задачи (16)—(17) в конусе Z", предполагая вначале, что д(у) = 0 для у 6 Z", т.е. рассмотрим однородную задачу Коши.

Определим функцию ф : Zn —» С, полагая ф(х) = ф(х) для х € Z^ и ф{х) = 0 для х £ ZJJ,, и обозначим

S = (х € : существует а € А такое, что х 4- а € Z"„}. Введем множества S+ — S П Z+ и S- = S \ S+ и обозначим

ям - Ы*).* 6 s->

0 ,x£S. ■ 13

функцию, определенную на и такую, что ¡л(х) — 0 для гей". Носитель функции "Р : Ъп —> С будем обозначать Бирр'Р.

Теорема 2 (1.2.1). Если существует фундаментальное решение раз-постного уравнения, удовлетворяющее нижеследующим условиям:

(a) для любого х € множество Бирр "Р Г) (х — 5_) состоит из конечного числа точек;

(b) для любого х 6 2* множество ЭиррР п (х — 5_) = 0, тпо функция <

/(*)=1>(*-У)Д(!/) (19)

у£5-

является решением задачи (16)-(17), причем сумма, стоящая в правой части (19), конечна.

Из того, что вершина т многогранника Ньютона, удовлетворяет условию (14) (или (18)), обеспечивающему существование и единственность решения задачи Копта, еще не следует, что она удовлетворяет условиям (а), (Ь) теоремы 2. В следующей теореме выделены случаи, когда условия (а) и (Ь) выполняются.

Теорема 3 (3.2.2). Если вершина т многогранника Ньютона Np удовлетворяет одному из двух следующих условий:

■ шх = т2' = ■ -■ = 1 = mj+l = • • - = гпп = 0, , «

Шд > с*} для всех а. е Ыр П а фтп\ ^ '

т7- >а],]~1,. •., п для всех а е Np П 2", (**)

то однородная задача (16)-(17) имеет единственное решение и его можно найти по формуле (19).

Для неоднородного уравнения (16) формула /(х) = Т(х —

у)д(у) дает его частное решение, причем для х € имеем /(г) = О и в случаях (*) и (%*) сумма, определяющая решение / конечна. Поэтому решение задачи (16)-(17) для неоднородного уравнения имеет вид f(x)+f(x), где /(х) — решение задачи Коши для однородного уравнения.

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

Если одномерное разностное уравнение (1) имеет переменные коэффициенты аа (я), то формул для его решений вида (3) или (4) нет, однако, при некоторых естественных ограничениях на коэффициенты, его решения f(x) ведут себя асимптотически также, как решения уравнения с постоянными коэффициентами: /(х) ~ Const при х —> оо. Это следует из теоремы Пуанкаре, которая утверждает, что если

1) существуют конечные пределы коэффициентов разностного уравнения limt-Kaflafi) = аа;

2) корни Zj характеристического многочлена P(z) предельного уравнения различны по модулю,

тогда для любого решения f(x) разностного уравнения с переменными коэффициентами либо f(x) = 0 для х > Xq, либо найдется j такое, что lim^oo = Zj.

При попытках перенести на многомерный случай теорему Пуанкаре возникают трудности принципиального характера, связанные с тем, что многомерное разностное уравнение имеет «слишком много» решений, среди которых есть и решения с неконтролируемым асимптотическим поведением. Например, решением простейшего уравнения f(xi +1,2:2) — f(x 1,12) — 0 является произвольная функция от х?: f(xi,xz) = с(х2).

Ситуация несколько улучшается для переопределенной системы разностных уравнений.

«£(*)/(» + ") = . (20)

oSAj'

относительно одной неизвестной функции / : Z" —> С, где А, — конечные множества из Z*.

Так, в случае постоянных коэффициентов а3а (х) = а?а при условии, что соответствующая характеристическая система полиномиальных уравнений

= = i.....n (2i)

o€Aj

имеет конечное число простых корней гзд = (¿(да, ■ • -1 z(/3)n) € Cn, /? = 1,..., m, всякое решение системы разностных уравнений (20) можно представить в виде суммы «простейших» экспоненциальных решений

т

■/(*) = £ "(22) , 0=1

где Cß — некоторые константы. Здесь важно отметить, что в случае, когда координата z^^ корня z^) равна нулю, под г^ мы понимаем функцию переменного xß g Z+, равную 1 при xß = 0 и нулю для остальных значений

Если в качестве многомерного аналога отношения f(x +1)/f(x) будем рассматривать вектор Горна Н(х) := (^jy^, • • •, (в честь математика, впервые применившего его в определении общего гипергеометрического ряда), то при произвольном стремлении целочисленного аргумента к бесконечности предел вектора Горна для решений (22) уравнения (20) по-прежнему не существует. Однако, на „лучах" х — {a + pl}, при I —> ±оо он существует и равен одному из корней Л(^) предельной характеристической системы (21) в случае, если все эти корни имеют различные модули в направлении р: |Aj\j| > •■• > Здесь а,р € Zn — произвольные фиксированные векторы. ■

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

7г: {(ж, z) е Z% х С"; Pi(x, z) = ... = Pn(xt z) ~ 0} -> Ъ\ (23)

должна быть собственным отображением, в том смысле, что число прообразов 7г-1(х) конечно и не зависит от х. Например, такому условию удовлетворяют многочлены Pj{x, z), у которых однородные составляющие старшей степени по z не зависят от х и обращаются в нуль лишь при z — 0.

В общем случае системы уравнений (20) с переменными коэффициентами справедлив следующий многомерный аналог теоремы Пуанкаре.

Теорема 4 (2.2.1). Предположим, что проекция (23) собственная, и что для данного направления q € Z" \ {0} каждый из коэффициентов системы (21 Устремится к конечному пределу при х —> оо вдаль последовательностей вида { о 4- ql; Z G N }, где а <Е Zn. Потребуем также, чтобы для корней Ац),..., Х^к) предельной характеристической системы, соответствующей (21), мономы А^,.А*^ были все различны по

абсолютной величине. Тогда для любого ненулевого решения /(я) системы (.21) предел вектора Горна

существует и равен одному из характеристических корней А(р) предельной системы.

В отличие от системы (20) скалярное уравнение (11) даже для постоянных коэффициентов не только допускает решения с произвольным ростом, но и в случае экспоненциального роста решения j(x) вектор Горна может не иметь предела вдоль бесконечного числа направлений. Например, для уравнения /(zi +1,х2) + /(жi, х2 ~ fixi»^г) — 0 решениями будут функции f(xi,x2) = + с2(—I)*5) с произвольными

константами Ci и с2. Если cic2 ф 0, то отношение ^/¿f^^1 — ^(ei+e^-'l'aj не имеет предела вдоль любого направления (хъхг) = Л(ръ l),Pi € Z, В данном примере вместе с любой точкой (¿1,22) € V = {zi + z\ — 1 = 0} характеристическому множеству V принадлежит и точка (z¡, —z^} и эти точки имеют одинаковые по модулю координаты. Таким образом, формулировка аналога теоремы Пуанкаре для скалярного разностного уравнения должна содержать многомерный аналог условия условия о различных по модулю корнях характеристического уравнения, а также описание класса решений, для которых справедлива теорема Пуанкаре,

Под экспоненциальным решением уравнения мы будем (в случае, ко-; гда характеристический многочлен P{z) не имеет кратных множителей) понимать интеграл вида

где (1/л — мера с носителем на характеристическом множестве V = {Р(г) = 0}. При наличии кратных множителей следует ввести под знак интеграла дифференциальный оператор Т>х.

Для того, чтобы была возможность контролировать асимптотическое поведение интеграла (24) с помощью хорошо известных методов, мы

(24)

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

/(яг) = J^zxu{z) , аг.€ , (25)

где ы е iin_l(F) голоморфные формы на V, а с — (п — 1)-цикл на regV, т.е. на регулярной части V. Отметим, что в данном случае характеристическое множество V рассматривается в (С \ 0)".

Амебой многочлена Лорана Р, или, эквивалентно, алгебраической гиперповерхности V — {z € (С \ {0})"; P(z) — 0}, называется образ V при логарифмическом проектировании

Log: (zu...,zn) v-)- (log|zi|,-...,log|z„|).

Будем обозначать амебу через Av-

Число компонент дополнения R" \ Av не меньше числа вершин многогранника Np и не больше числа целых точек NP> см. [23]:

#vertNP < #{Е} < #{Zn П Np} .

Мы рассматриваем амебы, которые имеют максимальное число #{Z" П JVp} связных компонент. В одномерной ситуации это случай, когда все корни попарно различны.

Теорема 5 (2,3.1). Пусть п ~ 2. Предположим, что амеба Av характеристического множества уравнения имеет максимальное число компонент дополнения и что граница дАу гладкая. Тогда для любого ненулевого допустимого решения и для почти любого из направлений q € QPi, на которых f не обращается в ноль, предел

fc-» /(*) fix) у существует и равен точке z e.V.

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

x=o+Je

Если даны два степенных ряда

F(z) = Y^b(y)z», (26)

yez

= (27)

yez

то их композицией Адамара называется степенной ряд вида

H(z) = ¿rb{y)g(y)z\ (28)

yez

Отметим, что если b(y) ~ V(x — у) и степенной ряд (28) сходится при z = 1, то Н(1) в соответствии с формулой (10) есть решение разностного уравнения (6).

В исследовании вопроса об аналитическом продолжении композиции II(z) решающую роль играет интегральное представление композиции

HM = é¡frF{&G$f (29)

где контур Г выбирается таким образом, чтобы он «разделял» особые точки функций F(f) и G(j) соответственно, В общем случае вопрос об аналитическом продолжении интеграла (29) далеко не простой даже в случае функций одной переменной и ответ на него дает теорема Адамара об умножении особенностей ([3]) в терминах композиции главных звезд функций F и G.

Отметим еще, что если F и G — рациональные функции, то прямые вычисления (с использованием теоремы о разложении на простейшие дроби, например) показывают, что композиция H{z) будет рациональной функцией.

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

ПО = £ а(а)€° (30)

ед = Е ьш <31)

pez™

и дано линейное отображение Ь : Ът —» с матрицей, которую будем обозначать той же буквой

(32)

Определим композицию рядов и £?(??) следующим образом:

НЛг) = £ + МЖ/?)Л (33)

где /¿е 2" — фиксированный вектор, а Р • Ь — произведение вектора 0 на матрицу Ь. Классическая адамаровская композиция степенных рядов получается при тп ~ п — 1, йц — 1, Рг — 0. Выбирая подходящим образом матрицу матрицу Ь и вектор р. можно получить композиции степенных рядов, изучавшихся в работах [15, 16, 17].

Также, как и для одномерного случая, решающую роль при решении задачи аналитического продолжения функции Нц{г) играет интегральное представление этой функции.

Теорема 6 (3.2.1). Пусть функция (30) голоморфна в замкнутом полицилиндре 1/ = {£ € С" : < г^,= 1,..., п}, а функция (31) — в замкнутом полицилиндре V = {г; € С" : < Д,1 = 1,...,т}, тогда их композиция Адамара (33) голоморфна в полицилиндре IV = {г € Ст "-\г1 < pi, г — 1,. -., тп), где /?» = Я¡г*'1 • - • г*», г = 1,..., т и для г € IV справедливо интегральное представление

ад = ^(осые)^, (34)

гдее = = {£ € С" : = г^з =*

1,...,п},/ = (1,...,1).

Звездой в комплексной плоскости С будем называть звездную по отношению к началу координат область.

Композицией звезд II, V С С называется [14, с. 36] множество С/о V — (и'У)', где' означает дополнение множества в комплексной плоскости, а и'У = {«V : и' е V,

В [14] показано, что композиция двух звезд снова звезда и £7 о V = V о и.

Далее определим для целых неотрицательных композицию звезд вида: ^ о ... о = (М*.....(О'ЧЦ £ Щ,з = 1,...,»}'.

Область V = 1/г х • • • х 11к С С* назовём к-звездной, если С/, — звезда, ¿ = 1,...,*.

Пользуясь интегральным представлением (34) можно осуществить аналитическое продолжение композиции (33).

Теорема 7 (3.2.2). Если функция (30) голоморфна в п-звездной области II, функция (31) голоморфна в т-звездной области V, тогда функция (33) голоморфна в тп-звездной области Н — Н\ х ■•• х Нт, где Щ = и?" о---ои£" оУ(, i = l,...,m.

Точку £ € ди назовем угловой тонкой звезды II С С, если € С/ для всех 0 < г < 1.

Точку £ € ди назовем хорошо достижимой точкой звезды {/ С С, если € и для всех 0 < £ < 1 и некоторого комплексного числа ш такого, что Деш > 0, а 1ти> ф 0.

Точку £ = (£ь •••,&>) назовем угловой (хорошо достижимой) точкой п-звездной области V = 1]\ х • • • х 11„ если — угловая (хороню достижимая) точка звезды Щ для всех j — 1,..., п.

Теорема 8 (3.4.1). Среди угловых и хорошо достижимых точек т-звездной области Н особыми точками композиции (33) могут быть

лишь те точки, которые принадлежат множеству фь • гр = {Фг'х.....

Фп" ■ "Фи • • •. Фг"1.....Ф?Га • ^гаЬ Ф = (Фи • • •. Фп) ~ особые точки

функции (30), лежащие на остове дШ\ х - ■ • х д1/п, аф — (^ъ ..., Фп) — особые точки функции (31), лежащие на остове дУ\ х • • • х дУт.

Теоремы 7 и 8 в случае п = 1 дают теорему Адамара об умножении особенностей.

Другое обобщение композиции Адамара на многомерный случай получится в том случае, когда для представления и аналитического продолжения композиции Н используем интегральные представления, в которых интегрирование ведется по (2п — 1)-мерным циклам (границам областей в С"). Е — {г € С" : < \,з = 1,. ..,п} — единичный поликруг, V — полная п-круговая область с центром в начале координат, Т>Т = гТ> — гомотетия области Т> и р-р{г) — функционал Минковского области V. Фиксируем область V С Е такую, что Т>г $ Е для г > 1.

Коэффициенты Тейлора с.а ядра Cere области Т>, соответствующие мере dfj,, определяются следующим образом:

Ca = [f (СП201.....\tn\2a"d»}-\

J£t>

где dp = (27гг)-пйЛх^-А- • -A^, а А — конечная мера на \дЮ\, массивная на границе Шилова.

Для двух кратных степенных рядов

F(z) = £ a{a)z° и G(z) - £ b{a)z° (35)

определим их композицию Адамара следующим образом:

Я (г) = F(z) о G{z) = J2 a^n^z« (36)

Отмстим, что для п = 1 область Т> — единичный круг, и все коэффициенты са = 1, поэтому (36) — классическая композиция Адамара.

В одномерной ситуации важную роль при аналитическом продолжении интеграла, представляющего композицию Адамара, играют свойства отображения | : Cj —» Cj, многомерным аналогом которого является отображение Ф2 : Cj? —> <С£, зависящее от параметров z е С2, у которого j'-ая компонента имеет вид ~,lj/Pi>(£). j — 1,...,п.

Звездой назовем всякую область из С", звездную по отношению к началу координат.

Композицией звезд U и V назовем множество U@V = {z 6 С" : Ф«(0") П V = 0}, где U' = С \ ¿7, V' = С" \ V.

Определенная таким образом композиция звезд является звездой и для n = 1 получаем классическое определение композиции звезд. Вместе с тем есть и различия. Например, в отличие от одномерного случая, данная композиция звезд не коммутативна.

Теорема 9 (3.3.1). Пусть степенные ряды (35) сходятся в областях VTl и Т>Г2 соответственно. Тогда их композиция (36) сходится в области РГ1гг и для z € Т^пгз справедливо интегральное представление

= .....¿А " ^ <' <

Данное интегральное представление позволяет осуществить аналитическое представление композиции Н{г).

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

Теорема 10 (3.3.2). Пусть £/, V, Ж — главные звезды функций Р, С, Н соответственно, тогда 17©V С IV.

Пусть 17 С С" — звезда. Точку £ е II' назовем угловой точкой звезды и, если 6 17 для всех £ € [0,1). Точку £ € V назовем хорошо достижимой, если она хорошо достижима в сечении звезды и комплексной прямой {т£;т € С}.

Теорема 11 (3.4.2). Среди угловых и хорошо достижимых тачек звезды и@У особыми точками композиции Н могут быть лишь точки, принадлежащие множеству

{геС; <М£/0) П УЬ ^ 0},

где ¿7о — множество особых точек функции Р на границе главной звезды [/, а Уо — множество особых точек функции С на границе главной звезды V.

Отметим, что для п = 1, теоремы 10 и 11 дают в точности теорему Адамара об умножении особенностей (в изложении Бибербаха).

Конструкцию композиции Адамара кратных степенных рядов, определяемую формулой (36) можно также интерпретировать следующим образом. Так как а € Ъ\ и ¡3 е то композицию Нц(г) можно рассматривать как сумму с линейными ограничениями на индексы суммирования:

нЛг) = 52 *(0ь + р.)ьиз)Л (37)

Д>0

где неравенство /3 > 0 означает, что > 0 для всех Д > 0, г — 1,..., т.

Такого рода суммы встречаются в различных задачах перечислительного комбинаторного анализа и один из возникающих при этом вопросов состоит в отыскании производящей функции тг-мерной последовательности {ЯА1(2)}^ег», т.е. функции

П(«;г)=

Теорема 12 (3.2.3). Если производящие функции (30), (31) голоморфны в замкнутых полицилиндрах [/ = {£€ С" : |£j| < Tj,j = 1,...,п} и V == {и 6 С"1 : \vj\ < Rj,j = l,...,m} соответственно, то для (t\z) € U х {UL О V) справедливо интегральное представление

П (i; z) = (2тг»)"" ^ (38)

г<?е 7 = {£ € С" : = = 1,... ,гг} « £ - г = (6 - h,..., Çn - t„).

Если все элементы матрицы L отрицательны Uj = —> 0, то система линейных неравенств ¡3L + fi > 0, (3 > 0 имеет конечное число решений в Z", т.е. функция Hu(z) является многочленом, а к интегралу (38) применима интегральная формула Коши, из которой следует, что

U{t-z)=F(t)G(zt%

где Q = ||^||тХ„.

Отметим, что при F ~ 1, G(v) — (1 — v)~* и z — (1,... ,1) получим что Hfi{I) — это число целочисленных решений системы линейных уравнений /3Q = fj., а для F(Ç) — (l-f)-i. G{v) = (l-i/)-' и z = (1,..., 1) окажется, что HfjSj) — число решений системы неравенств ¡3Q < ц в Z".

В монографии Г. П. Егорычева [17j производящая функция TI(i) вычислялась в частном случае F(Ç) — (1 и G(u) = ln(l-hfi Ч-----f-fm).

Глава 4 посвящена решению задачи когомологического приведения периодов в классе рациональных дифференциальных форм.

Формула Стокса и интегральная теорема Коши-Пуанкаре позволяют заменять в интеграле дифференциальную форму ш на когомологичную ей (и более простую в каком-либо смысле) дифференциальную форму oj+ Лф. Такое преобразование интеграла будем называть когомологическим приведением периодов.

В случае, когда дифференциальная форма и с особенностями на комплексном аналитическом подмногообразии S С X имеет полюс первого порядка, формула вычета Jlepe позволяет понизить порядок интегрирования: fÔ7 и — /7 Rcs со (здесь — кограница Л ере цикла 7, Resca — класс формы-вычета Лере).

Естественным образом возникает задача об отыскании в каждом классе когомологий [и>] дифференциальной формы, имеющей на S полюс первого порядка.

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

Пусть известно разложение знаменателя рациональной функции Р(г) = П7=1 Рр (2) на неприводимые множители. Обозначим V = {г е С" : Р(г) = 0} и V, = {г € Сп : РДг) = 0}, очевидно V = и^,^-.

Теорема 13 (4.1.1). Всякую рациональную функцию = Можно представить в виде суммы «простейших» дробей

Ш-Еад/п^- ' (39)

* ' абА }£а

>

где А — множество наборов а = {о^,..., ар} с {1,2,..., т} таких, что 1 < р < п и ^ 0, а Ма{г) некоторые многочлены, ¡3^ € Z+.

Отметим, что число неприводимых множителей Р}{г) в слагаемых правой части разложения (39) не превосходит числа переменных п. В этом случае дальнейшее разложение на простейшие, вообще говоря, невозможно. Так функцию /(г) = - • • г^, т < п нельзя представить в виде суммы рациональных функций, в знаменателях которых меньше чем т множителей (см. [22]).

Будем говорить, что множества V} = {г € Сп : Р, (г) = 0} находятся в общем положении, если дифференциалы ЛР] определяющих эти множества многочленов Р^ линейно независимы в точках множеств Уд П • ■ • П у,р для всех наборов Зр = 0':,..., таких, что 1 < р < п и 1 < 31 < • • • < 3Р < т.

Теорема 14 (4.2.1). Если полярное множество рациональной дифференциальной формы и — рУ'^^г является объединением многообразий V}, находящихся в общем положении, то и) когомологична в рациональной форме с полюсами первого порядка вида

J

где 3 = € {1,...,т},1 <р< = •■■••Ри.

При изучении периодов рациональных дифференциальных форм часто оказывается полезным переходить к проективной компактификации пространства С" и рассматривать рациональные дифференциальные п-формы вида

РЮ к ;

в однородных координатах 4 = (£о, 6, - - • > ?п)> где

«(О -

¿=о

Р(£) и М(£) — однородные многочлены, причем с^ Р(£) = deg М+п+1, а [7] означает, что дифференциал пропущен.

В отличие от рациональных дифференциальных форм в С" в проективном пространстве понизить порядок полюса до первого не всегда удается [21], однако справедлива

Теорема 15 (4.3.2). Если полярное множество V = {£ € СР" : Р(£) — 0} является объединением многообразий Vj = {£ <Е СР" : РДО — 0}, § = 1,..., ш, т < п находящихся в общем положении, то рациональная дифференциальная п-форма (40) когомологична в СР"\У дифференциальной рациональной п-форме вида

= о,

J

где суммирование производится по наборам 3 — {/1,..., целых чисел из [0; г*] таких, что

т т

< (п + 1) -!) + !.

к=1 А=1

М,/(£) — однородные многочлены и Р-7 = Р/1.....Р^т.

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

ЗАКЛЮЧЕНИЕ

Таким образом, основные результаты диссертации следующие:

1) решена проблема описания пространства решений многомерных линейных разностных уравнений с постоянными коэффициентами;

2) исследовано асимптотическое поведение решений систем линейных разностных уравнений с переменными коэффициентами и скалярного разностного уравнения с постоянными коэффициентами, получены многомерные аналоги теоремы Пуанкаре;

3) даны конструкции, обобщающие классическую адамаровскую композицию степенных рядов, доказаны соответегвующие многомерные аналоги теоремы Адамара об умножении особенностей;

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

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

[1] Aleksandrov A.G. Logarithmic differential forms, torsion differentials and residue. Complex Variables. 50(8). 2005. P.l-29.

[2] Гельфонд А.О. Исчисление конечных разностей. M.: Гос. изд-во физ.-мат. лит., 1959- 400 с.

[3] Буслаев В.И. О теореме Пуанкаре и ее приложениях к вопросам сходимости цепных дробей// Мат. сборн. 1998. Т.189. Х»12. С. 13-28.

[4] Levy H., Lessman F. Finite difference equations. London. Pitman LTD. 1959.

[5] Leray J. Le calcul diiférentiel et intégral sur une variété analytique complexe. (Problème de Cauchy III.), Bull. Soc. Math. France, 87 (1959), P. 81-180.

16] Duffin R. Discrete potential theory //Duke Math. J., 1953, V. 20, P. 233-251

(7] Bousquet-Mélou M., Petrovgek M. Linear recurrences with constant coefficients: the multivariate case // Discrete Mathematics. 2000. V. 225. P. 51-75.

[8] Gelfand I., Kapranov M., Zelevinsky A.: Discriminants, resultants and multidimensional determinants, Birkhauser, Boston, 1994, x+523 pp.

[9] Цих А.К. Условия абсолютной сходимости ряда их коэффициентов Тейлора мероморфных функций двух переменных // Мат. сборн. 1991. Т. 182(11). С. 1588-1612.

[10] De Boor С., Hollig К., Riemenschneider S. Fundamental solutions of multivariate difference equations //Journal of AMS, 1989, V. Ill, P. 403-415.

[11] Batyrev V.V., Cox D. On the Hodge structure of projective hypersur-faces in toric varieties//Duke Math. J. V. 75. 1995. P. 293-338

[12] Ho§ten S., Khetan A., Sturmfels B. Solving the likelihood equations// Found. Сотр. Math. 5(2005), №4, 389-407.

[13] Kenyon R., Okounkov A. Planar dimers and Harnack curves//arXiv: math. AG/0311062 V2, 29p.

[14] Бибербах JI. Аналитическое продолжение. М.: Наука, 1967. 240 с.

[15] Odoni R.W.K. On the norms of algebraic integers //Mathematica. 1975. V. 22. P. 71-80.

[16] Djokovifi D.Z. A properties of the Taylor expansion of rational function in several variables //J. of Math. Anal, and Appl., 1978. V. 66. P. 679685.

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

[18] Пуанкаре А. Избранные труды: 3 т. Т.1. Новые методы небесной механики. М.:Наука, 1971.

[19] Фам Ф. Введение в топологическое исследование особенностей Ландау. М.: Мир, 1967. 184 с.

[20] Хуа Р., Теплиц В. Гомологии и фейнмановские интегралы. М.: Мир, 1969. 223 с.

[21] Griffits P.A. On the periods of certain rational integrals //Ann. Math. 1969. V. 90. №3. P. 460-495.

[22] Южаков А.П. Достаточное условие разделения аналитических особенностей в С" и базис одного пространства голоморфных функций //Мат. заметки. 1972. Т. 11. №5. С. 585-596.

[23] Forsberg M., Passare M., Tsikh A. Laurent Determinants and Arrangements of Hyperplane Amoebas //Advances in Math, 2000, V. 151, P. 45-70.

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

[24] Лейнартас Е.К. Об одном обобщении композиции Адамара на функции многих комплексных переменных// Сиб. мат. журн. 1981. Т. 22. №4. С. 18-21.

[25] Лейнартас Е.К. Об одном обобщении произведния Адамара в С"// Мат. заметки. 1982. Т. 32. №4. С. 477-482.

[26] Лейнартас Е.К. Теорема Адамара об умножении особенностей в С"// Сиб. мат. журн. 1986. Т. 27. №3. С. 209-212.

[27] Айзенберг Л.А., Лейнартас Е.К. Многомерная композиция Адамара и ядра Сеге //Сиб. мат. журн., 1983. Т. 24. №3. С. 3-10.

[28] Лейнартас Е.К. Многомерная композиция Адамара и суммы с линейными ограничениями на индексы суммирования// Сиб. мат. журн. 1989. Т.ЗО. №2. С. 102-107.

[29] Лейнартас Е.К., Южаков А.П. О когомологическом приведении периодов некоторых рациональных и мероморфных форм в С" //Изв. вузов. Математика. 1980. №6. С. 34-35.

[30] Лейнартас Е.К. О разложении рациональных функций многих переменных на простейшие дроби //Изв. вузов. Математика. 1978. №10. С. 47-52.

[31] Лейнартас Е.К., Тесленко Я.О. Двумерные разностные уравнения в некоторых задачах комбинаторного анализа // Вестник Красноярского госуниверситета. 2004. №1. С. 121-123.

[32] Лейнартас Е.К. Кратные ряды Лорана и разностные уравнения //Сиб. мат. журн., 2004. Т. 45. №2. с. 387-393.

[33] Лейнартас Е.К. Многомерные разностные уравнения и амеба характеристического многочлена// Вестник Красноярского госуниверситета. 2004. №1. С. 117-120.

[34] Лейнартас Е.К. Линейные разпостные уравнения с матричными коэффициентами //Вестник Красноярского госуниверситета. 2005. №1. С. 163-166.

[35] Лейнартас Е.К., Пассаре М., Цих А.К. Асимптотика многомерных разностных уравнений //УМН. 2005. Т. 60. Вып. 5 (365). с. 171-172.

[36] Лейнартас Е.К. Кратные ряды Лорана и фундаментальные решения многомерных разностных уравнений //Сиб. мат. журн. (в печати).

Подписано в печать IO.of.OSr. 60 х 84/16

Бумага офсетная N 1 Печать офсетная

Усл. печ. л. 2 . Усл. изд. л. 2

Тираж 100 экз. Заказ N 68.

Издательский центр

Красноярского государственного университета.

660041, г. Красноярск, пр. Свободный, 79.

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

Введение.

1 Кратные степенные ряды и разностные уравнения с постоянными коэффициентами

1.1 Структурная теорема о решениях многомерного разностного уравнения

1.2 Задача Коши и фундаментальные решения для многомерного разностного уравнения.

1.3 Многомерные разностные уравнения с матричными коэффициентами

1.4 Многомерные разностные уравнения и амеба характеристического многочлена.

2 Асимптотика многомерных разностных уравнений и амебы алгебраических гиперповерхностей

2.1 Вычеты Гротеидика и системы разностных и дифференциальных уравнений с постоянными коэффициентами.

2.2 Асимптотика системы многомерных разностных уравнений с переменными коэффициентами

2.3 Асимптотика скалярного разностного уравнения с постоянными коэффициентами.

2.4 Ассоциированная система и ее связь с многомерной теоремой Пуанкаре.

3 Композиция Адамара и теоремы об умножении особенностей

3.1 Композиции Адамара типа «диагонали» кратного степенного ряда.

3.2 Суммы с линейными ограничениями па индексы суммирования.

3.3 Композиция Адамара с «весом»

3.4 Угловые и хорошо достижимые особые точки композиции Адамара.

4 Когомологическое приведение периодов рациональных дифференциальных форм

4.1 Разложение рациональной функции многих переменных на простейшие дроби.

4.2 Когомологическое приведение периодов в Сп

4.3 Понижение порядка полюсов и когомологическое приведение периодов в СРп.

4.4 Оценка размерности n-мерной группы когомо-логий дополнения алгебраической гиперповерхности в С'1.

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

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

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

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

Одномерная теория конечно-разностных уравнений [54] развивалась параллельно с теорией обыкновенных дифференциальных уравнении и в случае линейных уравнений имеет вполне законченный вид. Одной из наиболее топких и глубоких теорем анализа является теорема Пуанкаре об асимптотическом поведении решений разностного уравнения с предельно-постоянными коэффициентами. Перрон уточнил теорему Пуанкаре при дополнительном условии невырожденности разностного уравнения. Теорема Пуанкаре-Перрона в векторной формулировке уточнялась в [53] в связи с доказательством гипотезы Гончара о возможности распростраииния теоремы Фабри об отношении коэффициентов степенного ряда па случаи т-ой строки таблицы многоточечных аппроксимаций Паде.

В отличие от одномерного случая теория многомерных линейных разностных уравнений была мало исследована до недавнего времени. Так, в [31] были рассмотрены частные виды уравнений с двумя переменными, а в работе Даффина [14] был построен дискретный аналог теории гармонических функций двух переменных.

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

Многомерные разностные уравнения естественным образом возникают в теории цифровой обработки многомерных сигналов. Важнейшей характеристикой цифрового рекурсивного фильтра является его импульсный отклик, обеспечивающий устойчивость фильтра. С точки зрения анализа речь идет о сходимости ряда из мо/1улей коэффициентов Тейлора рациональной функции. В случае двух переменных проблема устойчивости цифрового рекурсивного фильтра решена Цихом (1991) в [98].

В [7] интегральные представления фундаментальных решении разностного уравнения применялись для получения асимптотических оценок, которые нашли свое применение в некоторых задачах интерполяции (cardinal interpolation). Совсем недавно была обнаружена связь асимптотической теории разностных уравнений с биоинформатикой (2005, работы Штурмфельса и его соавторов [24]), а также с теорией димерои (Кенион, Окуньков [27], 2003).

Проблема продолжения степенного ряда за пределы круга сходимости и исследование особых точек этого ряда относится к числу трудных уже для функции одной переменной. Представление функции интегралами, зависящими от параметров, в силу своей обозримости зачастую предпочтительнее ее представления с помощью ряда. Ярким примером такого типа является одна из красивых теорем в теории распределения особенностей аналитических функций - теорема Адамара об умножении особенностей (см. [52]) для степенного ряда, коэффициенты которого являются произведением коэффициентов двух заданных рядов. Для кратных степенных рядов конструкции, обобщающие произведение Адамара рядов, появились в связи с решением некоторых задач теории чисел [35] и комбинаторного анализа [12], [61]. Одна из этих конструкций - «диагональные» композиции Адамара двойного ряда восходит еще к Пуанкаре [88]. В [98] диагонали двойного ряда изучались в связи с проблемой устойчивости цифровых рекурсивных фильтров. Отметим еще, что идея «разделения особенностей» подынтегрального выражения, использованная в доказательстве теоремы Адамара об умножении особенностей, успешно применялась при исследовании интегралов, зависящих от параметра, гомологическими методами (см., например, [93], [97]).

В 50-60 годы прошлого века Jlepe [30] (в связи с исследованиями в теории линейных гиперболичеких уравнений с помощью обобщенного преобразования Лапласа) создал аппарат интегрирования по комплексному многообразию дифференциальных форм с особенностями — теорию вычетов Лере. Постороепие одного из основных объектов этой теории — формы-вычета Лере приводит к необходимости отыскания в данном классе когомологий дифференциальной формы с полюсами первого порядка, т. е. к задаче когомологического приведения периодов. Общая конструкция когомологического приведения периодов использует разбиение единицы и не сохраняет рациональности исходной дифференциальной формы. Гриффите в [19], исследуя периоды рациональных дифференциальных форм в ?г-мерном проективном пространстве, предложил метод понижения порядка полюсов, не выводящий из класса рациональных дифференциальных форм. Когомологическое исследование рациональных форм было продолжено в статьях Батырева и Кокса ([5] 1995) с точки зрения торической геометрии, а конструирование формы-вычета с сингулярными полярными множествами и их связь со связностью Гаусса

Машша изучались Александровым ([1] 2005).

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

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

Цель данной работы - развитие техники кратных рядов и интегралов и ее применение для:

1) описания пространства решений линейных разностных уравнений с постоянными коэффициентами;

2) исследования асимптотик решений разностных уравнений и поиска многомерной версии теоремы Пуанкаре;

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

4) когомологического приведения периодов рациональных дифференциальных форм.

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

Одномерное однородное линейное разностное уравнение относительно неизвестной функции / : Z+ —у С с постоянными коэффициентами имеет вид

0.0.1) f(x + т) + «mi f{x + т - 1) + • • • + aQf(x) = 0, х е Z +.

Если известны корни zj его характеристического уравнения (0.0.2) P{z) := zm + am12w"1 + • • • + a0 = 0, и «о ф 0, то всякое решение разностного уравнения представляется и виде

0.0.3) f(x) = ^Cj(x)z],xeZ+, 3 где Cj(x) — многочлен относительно х, степень которого не превосходит кратности корня Zj. В одномерной ситуации формула (0.0.3) дает полное описание пространства решений уравнения (0.0.1), однако на многомерный случай она не переносится, поэтому отмстим, что из теоремы о полной сумме вычетов легко следует справедливость двух других представлений решения (0.0.3) разностного уравнения (0.0.1):

0.0.4) /W = -L/«^=res^>f,iez+,

2пг Jг P[z) z=oо P{z) где Q(z) — многочлен, степень которого ниже степени т характеристического многочлена P(z), а цикл Г = {z € С : |z| = /2} — окружность радиуса R такого, что все корни характеристического уравнения лежат внутри Г.

Для произвольной функции целочисленного аргумента / : —> С ее ^-преобразование (производящая функция) определяется следующим образом:

0.0.5) F(z) = £ М. xez+

Формула (0.0.4) означает, в частности, что f(x) является решением разностного уравнения (0.0.1) тогда и только тогда, когда ее z-преобразование является рациональной функцией F(z) = Q{z)/P{z), причем степень числителя Q(z) меньше порядка т уравнения (0.0.1).

Последнее замечание можно интерпретировать как утверждение о разрешимости при п = 1 следующей задачи аналитического продолжения: найти функцию F(z), определенную степенным рядом (0.0.5), если коэффициенты f(x) этого ряда удовлетворяют условиям (0.0.1).

Отметим, что для дифференциального уравнения с тем же характеристическим многочленом P(z)

0.0.6) P(D)u := Dmu + amiZ?m-*u + • • • + a0u = 0 формулы для общего решения, соответствующие (0.0.3) и (0.0.4) имеют вид:

0.0.7) «(«) =

0.0.8) ttW = JL/

Q{z)eu dz Q{z)c — Res tz r P{z) z=00 p{z) ' и, кроме того, решение u(t) дифференциального уравнения (0.0.6) является преобразованием Бореля (см. [52]) 2-иреобразонания (0.0.5) решения ])азпостного уравнения (0.0.1):

0.0.9) u(t) = £ №f.

В одномерном случае представляется очевидным, что решение (неоднородного) разностного уравнения

0.0.10) f(x + т) + am-if(x + т - 1) + • • • + a0f(x) = д(х),х е полностью определяется своими значениями фх в т «начальных» точках

0.0.11) f(x) = фх,х = 0,1,. .,т — 1; иными словами задача Коши: найти функцию / : —> С, удовлетворяющую уравнению (0.0.10) и начальным условиям (0.0.11) всегда имеет решение, причем единственное.

Функция V : Z —> С называется фундаментальным решением разностного уравнения (0.0.10), если т

0.0.12)

У^ aaV(x + «) = 8Хго, х £ a=0 где 8Xiо = 0 для всех x ф 0 и <5о,о = 1. Интегральная формула

I f „х-1 очевидным образом определяет фундаментальное решение (при любом цикле Г, охватывающем начало координат, и не проходящем через пули характеристического многочлена).

Если известно фундаментальное решение V(x), то решение неоднородного разностного уравнения (0.0.10) определяется формулой

0.0.14) НХ)=^'Р(Х-У)9(У) yez+ и естественным образом возникает вопрос о сходимости ряда (0.0.11). Отметим, что конструкцию сверточиого типа, аналогичную правой части формулы (0.0.14), можно описать в терминах композиции Адамара степенных рядов (см. ниже, формула (0.0.30)).

Обозначим через Z" = Z х • • • х Z - ?г-мерную решетку. Пусть Z" — подмножество этой решетки, состоящее из точек с целыми неотрицательными компонентами, А = {а} С Z" — некоторое фиксированное конечное множество таких точек.

Разностным уравнением (относительно неизвестной функции / : Z" -> С) назовем соотношение вида

0.0.15) ^Гаа/(х + а) = 0,х£%1. аел

Характеристическим многочленом для разностного уравнения (0.0.15) назовем многочлен

Р{г) :=£>аЛ оел где za = z"1 • • ■ z°n, z = (z\,., zn) € C™.

Характеристическим множеством для разностного уравнения (0.0.15) назовем множество нулей характеристического многочлена V = {z е С" : P(z) = 0}. Иногда мы будем исследовать уравнение (0.0.15) на всей решетке Z" или на произвольном конусе этой решетки, в этом случае естественно характеристическое множество рассматривать в комплексном торе, т.е. полагать V = {z G (С \ 0)" : P(z) = 0}.

Если z G V, то также как и в случае п = 1, функция f(x) = const г® является решением уравнения (0.0.15), однако, в отличие от одномерной ситуации, представить любое решение формулой вида (0.0.3) или даже непрерывным» аналогом этой формулы: f(x) = fyzxdji(z) (с некоторой мерой d/i(z), сосредоточенной на характеристическом множестве К) не представляется возможным. Действительно, для простейшего двумерного разностного уравнения f(xi +1, ж2) — f(x 1, х2) = 0 решением является произвольная функция от и возможность се «экспоненциального» представления (К = {(21,22) € С2 : Z\ = 1}) означала бы разрешимость следующей (неразрешимой!) проблемы моментов: для любой последовательности с(х2) комплексных чисел существует мера d[i(z) такая, что с(х2) = JczX2dfi(z).

Этот же пример говорит и о невозможности представить любое решение f(x) интегралом вида (0.0.4), так как в этом случае оно будет удовлетворять неравенству вида |/(ж)| < const \zx\, следовательно, не может быть произвольной функцией.

Таким образом, при п > 1 для решения проблемы описания пространства решений уравнения (0.0.15) остается лишь поиск в виде f(x) = Res --многомерного аналога правой части формулы (0.0.4). Соответствующий результат излагается в §1.1. Для его формулировки нам потребуются некоторые известные понятия.

Многогранником Ньютона Np многочлена Р называется выпуклая оболочка в Rra элементов множества А (напомним, что А — набор показателей мономов для Р).

Если v — вершина многогранника Np, то рациональная функция l/P(z) разлагается в ряд Лорана вида где Kv — конус, построенный на векторах и — а, а € Л. Отмстим, что этот ряд имеет непустую область сходимости и, кроме того, для его коэффициентов справедлива интегральная формула

0.0.10)

0.0.17) где Г — вещественный ?г-мерный тор (остов) {|zi| = Ri,.,\zn\ = Rn), лежащий в области сходимости.

На множестве рядов Лорана F(z) = £xezn aix)zX определим функционал Res следующим образом:

RcsF(z) = a{-I),I = ( 1,.,1).

Пусть Ъ\ — а — сдвиг конуса Ъ\ па вектор (—а). Определим для конечного набора А — {«} множество

Z2 = U aeA(Zn+-a)\Zl и обозначим через цд линейное прост])анство рядов Лорана вида

M{z) = £ i^z-y-1.

Отметим, что сходимость этих рядов, вообще говоря, не предполагается.

В предложении» 1.1.4 доказывается, что для вершин v многогранника Np с условием

0.0.18) dim(C„nR^) = ri, где Си — двойственный конус к Np в точке г/, произведения ряда (0.0.1G) на ряды М(z) € Ца алгебраически определены, т.е. выражаются через конечные процедуры, при этом очев»д»о, что всегда существует хотя бы одна вершина и многогранника Np с условием (0.0.18). Следующая теорема дает описание пространства всех решений уравнения (0.0.15). Ее можно рассматривать как дискретную версию известного в теории дифференциальных операторов с частными производными фундаментального принципа.

Теорема 0.0.1 (1.1.1). Всякое решение разностного уравнения (0.0.15) Mooicno представить в виде

0.0.19) f(x) = Res{-^-M(z)zx}, х € Ъп+, где вираоюение под знаком Res понимается как произведение ряда Лорана (0.0.1G) для 1 /P(z) и (формального) ряда M(z) £ /ьд.

Если ряд М(z) сходящийся и его область сходимости имеет непустое пересечение с областью сходимости ряда (0.0.1G), то решение можно представить интегралом

2-1)" Л. P(z) но подходящему остову IV и, следовательно, такое решение допускает экспоненциальную оценку \f(x)\ ^ constехи.

Условие (0.0.18), обеспечивающее корректность умножения рядов в теореме 0.0.1, напрямую связано с возможностью корректной постановки задачи Коши для уравнения

0.0.20) a"f(x + а) = 0{х), z € Ъ\. пел

В отличие от одномерной задачи (О.О.Ю)-(О.О.Н) вопрос о множествах, па которых можно задавать «начальные» данные задачи Коши и требовать выполнения соотношения (0.0.20), уже пе является очевидным, и его решение дано в §1.2.

Фиксируем т € NP(lZn и обозначим Ъпт. = {у Е : 0 < jjj < nij-1}. Далее U"=1Z" = Ъпт и пусть ф : Ъ]1п —> С — заданная функция.

Сформулируем задачу: найти функцию / : Z" —> С, удовлетворяющую уравнению (0.0.20) и совпадающую на Z^ с функцией ф{х):

0.0.21) /(х) = ф(х),хе к.

Решение сформулированной задачи (0.0.20)-(0.0.21) существует и единственно не для всякого т € NP П Ъп. При п = 1 это будет справедливо только для т = (leg P(z). Пример для п = 2 приведен в § 1.2.

Фундаментальное решение V{x) разностного уравнения (0.0.20) определяется также, как и для п = 1 (см. формулу (0.0.12)):

Х + а) = <*х,0> х G Z", а€л где 5Х)0 = 0 для всех х G Ъп таких, что х ф 0 и 5о,о = 1

Каждой вершине т многогранника Ныотона соответствует фундаментальное 1>ешепие Vm(x), определенное (формулой (0.0.17). Если известно фундаментальное решение V(x), то решение уравнения (0.0.20) дается формулой f(x) = Yhy^i^^ ~ у)(Лу) п1ш условии, что правая часть определена корректно. Построим решение задачи (0.0.20)-(0.0.21) в конусе предполагая вначале, что д(у) = 0 для у £ Z", т.е. рассмотрим однородную задачу Коиш.

Определим функцию ф : Zn —> С, полагая ф(х) = ф(х) для х £ Ъ\1п и ф(х) = 0 для х i Ъпт, и обозначим

S = {х £ Z" : существует а £ Л такое, что х + а £ Z"J

Введем множества = S П Z" и = S \ S+ и обозначим

1{х) = { 0,х i функцию, определенную на Zn и такую, что fi(x) = 0 для х £ Z". Носитель функции V : Z" -> С будем обозначать SuppV.

Теорема 0.0.2 (1.2.1). Если существует фундаментальное решение разностного уравнения, удовлетворяющее нио/сеследующим условиям: г) для любого х £ Z" множество SuppV П (х — S-) состоит из конечного числа точек;

И) для любого х £ Z"t множество SuppV П (х — S+) = 0, то функция

0.0.22) f(x) = У)КУ) уевявляется решением задачи (0.0.20) -(0.0.21), причем сумма, стоягцая в правой части (0.0.21), конечна.

Из того, что вершина m многогранника Ныотона, удовлетворяет условию (0.0.18) (или (1.2.3)), обеспечивающему существование и единственность решения задачи Коши, еще не следует, что она удовлетворяет условиям (г), (и) теоремы 0.0.2 (соответствующий пример приведен в конце §1.2).

Теорема 0.0.3 (1.2.2). Если вершина т многогранника Ньютона Np удовлетворяет одному из двух следующих условий: mi — т2 = ••• = m,j-1 = nij+i = • • • = тп = 0, , . nij > aj для всех а £ NpD Zn, а Ф т; ' rrij >ttj, j = 1,., n для всех a £ Np П Zn, (**) то однородная задача (0.0.20)-(0.0.21) имеет единственное решение и его можно найти по формуле (0.0.22).

Для неоднородного уравнения (0.0.20) формула f(x) = х ~~ у)д(у) даст его частное решение, причем для х £ Z^ имеем f(x) = 0 и в случаях (*) и (**) сумма, определяющая решение / конечна. Поэтому решение задачи (0.0.20)-(0.0.21) для неоднородного уравнения имеет вид f(x)+f(:г), где f(x) — решение задачи Коши для однородного уравнения.

Глава 2 посвящена асимптотике многомерных разностных уравнений. Если одномерное разностное уравнение (0.0.1) имеет переменные коэффициенты ап(х), то формул для его решений вида (0.0.3) или (0.0.4) пет, однако, при некоторых естественных ограничениях на коэффициенты, его решения f(x) ведут себя асимптотически также, как решения уравнения с постоянными коэффициентами. Это следует из теоремы Пуанкаре ([54, 38]), которая утверждает, что если

1) существуют конечные пределы коэффициентов разностного уравнения lim аа(х) = аа; х->оо

2) корни Zj характеристического многочлена P(z) предельного уравнения различны по модулю, тогда для любого решения f(x) разностного уравнения с переменными коэффициентами либо f(x) = 0 для х > Xq, либо найдется j такое, что Hindoo ^jgp = Zj.

При дополнительном условии невырожденности разностного уравнения (ао(х) ф 0) Перрон ([37]) доказал, что для любого корня Zj найдется решение f(x) такое, что lim = Zj.

X-tOO

При попытках перенести на многомерный случай теорему Пуанкаре возникают трудности принципиального характера, связанные с тем, что многомерное разностное уравнение имеет «слишком много» решений, среди которых есть и решения с неконтролируемым асимптотическим поведением. Например, решением простейшего уравнения f(x\ +1,0.2) — f(xi,,Х2) — 0 является произвольная функция от Х2. f(x\,x2) = cfa).

Ситуация несколько улучшается для переопределенной системы разностных уравнений

0.0.23) £ a{(x)f(x + а) = 0, j = 1,., п a£Aj относительно одной неизвестной функции / : Z" С, где Aj — конечные множества из Z".

Так, в случае постоянных коэффициентов о?а(х) = aJa при условии, что соответствующая характеристическая система полиномиальных уравнений

0.0.24) Pj{z)'.= Y,<za = = aeAj имеет конечное число простых корней A(j) = (A(j)i, • • •,\j)n) € С'1, j = всякое решение системы разностных уравнений (0.0.23) можно представить в виде (следствие 2.1.1, стр. G3): к

0.0.25) f(x) = J2ciXU)' j=i где Cj — некоторые константы.

Здесь важно отметить, что в случае, когда координата A(j)M корня A (j) равна нулю, под мы понимаем функцию переменного х^ £ равную 1 при Хц = 0 и пулю для остальных значений х^.

Если в качестве многомерного аналога отношения /(х+1)/f(x) будем рассматривать вектор Горна Н(х) (и мссть математика, впервые применившего его в определении общего гииергеомет-рического ряда в 1889 г.), то при произвольном стремлении х оо предел вектора Горна для решений (0.0.25) уравнения (0.0.23) по-прежнему не существует. Однако, на «лучах» х = {a+pl}, при I —> +оо он существует и равен одному из корней предельной характеристической системы (0.0.24) в случае, если все эти корни имеют различные модули в направлении р: > ••• > Здесь а,р G Ъп — произвольные фиксированные векторы.

Прежде чем сформулировать обобщение теоремы Пуанкаре для системы (2.0.1), отметим следующее. Формально в одномерной теореме Пуанкаре есть только два условия: сходимость коэффициентов и несовпадение модулей корней. По в действительности требуется также нормирование коэффициента при старшей степени, и возможность такой нормировки отражает тот факт, что корни характеристического многочлена P(x,z) не «исчезают» на бесконечность при х -> оо. В многомерном случае соответствующее условие следующее: проекция

0.0.20) 7г: {{х, z) G Ъ\ х Cn; Р1(х, z) = . = Рп(х, z) = 0} -> должна быть собственным отображением в том смысле, что число прообразов 7г-1(х) конечно, и не зависит от х. Например, такому условию удовлетворяют многочлены Pj(x,z), у которых однородные составляющие старшей степени по г не зависят от х и обращаются одновременно в нуль лишь при г = 0.

Теорема 0.0.4 (2.2.1). Предполооюим, что проекция (0.0.2G) собственная, и что для данного направления q G Z" \ {0} каждый из коэффициентов системы (0.0.23) стремится к конечному пределу при х —» оо вдоль последовательностей вида { a + ql; I G N }, где а G Ъп. Потребуем тако/се, чтобы для корней A(i),., X(k) предельной характеристической системы, соответствующей (0.0.23), мономы А^,., А^ были все различны по абсолютной величине. Тогда для любого ненулевого решения f(x) системы (0.0.23) предел вектора Горна f{x + e i) J{x + сп) ""' М x=a+ql существует и равен одному из характеристических корней А(р) предельной системы.

В отличие от системы (0.0.23) скалярное уравнение (0.0.15) даже для постоянных коэффициентов не только допускает решения с произвольным ростом, по и в случае экспоненциального роста решения f(x) вектор Горна может не иметь предела вдоль бесконечного числа направлений. Например, для уравнения f(xi + 1,х2) + f(x,i,x2 + 2) — /(^i,x2) = 0 решениями будут функции f(xl,x2) = (г)11 C^)X2(ci + с2(-1)Т2) с произвольными константами с\ и с2. Если CiC2 ф 0, то отношение it)^ = ^(с!+сг(-1р) ие 1шеет "Радела вдоль любого направления (х1,х2) = l(pi,l),pi G Z. В данном примере вместе с любой точкой (21,22) G V = {21 + — 1 = 0} характеристическому множеству V принадлежит и точка (21,-22) " эти точки имеют одинаковые по модулю координаты. Таким образом, формулировка аналога теоремы Пуанкаре для скалярного разностного уравнения должна содержать многомерный аналог условия условия о различных по модулю корнях характеристического уравнения, а также описание класса решений, для которых справедлива теорема Пуанкаре.

В качестве такого класса решений уравнения (0.0.15) будем рассматривать интегралы вида

0.0.27) f(x) = I zxu(z), xeZn, j a где и 6 fin-1(F) — голоморфные формы па V и а — (п — 1)-циклы на rcgV, т.е. на регулярной части V. Отметим, что в данном случае характеристическое множество V расматривается в (С \ 0)'\

Амебой многочлена Лорана Р, или, эквивалентно, алгебраической гиперповерхности V = {z е (€ \ {0})"; P(z) = 0}, называется образ V при логарифмическом проектировании

Log: (zu.,zn) н- (log. .,log|z„|).

Будем обозначать амебу через Avх1нсло компонент дополнения R" \ Av не меньше числа вершин многогранника Np и не больше числа целых точек NP, см. [17]: vertNP < #{£} < #{Zn П NP] .

Мы рассматриваем амебы, которые имеют максимальное число #{Z"fliVp} связных компонент. В одномерной ситуации это случай, когда все корни попарно различны.

Теорема 0.0.5 (2.3.1). Пусть п = 2. Предположим, что амеба Ау характеристического мноокества уравнения имеет максимальное число компонент дополнения и что граница дАу гладкая. Тогда для любого ненулевого допустимого решения и для почти любого из направлений q G QP[, на которых / не обращается в ноль, предел lim ' ^Х + + ^

I-oo V f{x) ' fix) существует и равен точке z G V. х=a+lq

В Главе 3 изучаются различные конструкции кратных степенных рядов, обобщающие классическую адамаровскую композицию.

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

Если даны два степенных ряда

0.0.28) Пг) = £>(г/)Л ye z

0.0.29) = ye z то их композицией Лдамара называется степенно!'! ряд вида (см. [52]) (0.0.30) H{z) = Y,b(v)g(v)zy. у&

Отметим, что если b(y) = V(x — у) и степенной ряд (0.0.30) сходится при z = 1, то Я( 1) в соответствии с формулой (0.0.14) есть решение разностного уравнения (0.0.10).

В исследовании вопроса об аналитическом продолжении композиции H(z) решающую роль играет интегральное представление композиции

0.0.31) н{!!) = ± J^Gi^I, где контур Г выбирается таким образом, чтобы он «разделял» особые точки функций F(Q и G(|) соответственно. В общем случае вопрос об аналитическом продолжении интеграла (0.0.31) далеко не простой даже в случае функций одной переменной и ответ на него дает теорема Ада-мара об умножении особенностей (в терминах композиции главных звезд функций Fn G). Если же функции F и G регулярны в нуле и имеют конечное число изолированных особсппостсй(фактически этот случай и рассматривал сам Адамар), то процедура аналитического продолжения становится наглядной и довольно простой.

Пусть {n-j}, {Pj} — особые точки функций F(f;) и С(<^) соответственно, тогда у функции G(j) особыми будут точки j; и при z достаточно малых найдется такая окрестность Г, что все особые точки функции G(|) будут расположены внутри этой окружности, а особые точки функции F(£) — вне Г. Очевидно, что при таком выборе 2 и контура Г интеграл (0.0.31) определяет аналитическую функцию H(z). Изменяя 2 и деформируя контур Г так, чтобы он не попадал на особые точки подынтегрального выражения, видим, что особыми точками функции H(z) могут быть лишь точки z такие, что j: = сц, т.е. z = — «особенности перемножаются».

Отметим еще, что если F и G — рациональные функции, то прямые вычисления (с использованием теоремы о разложении на простейшие дроби, например) показывают, что композиция H(z) будет рациональной функцией.

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

0.0.32) i'XO = £ а(а)е°

06Z5.

0.0.33) <эд = £ bifitf

Pezy и дано линейное отображение L : Zm Ъп с матрицей, которую будем обозначать той же буквой

0.0.34) L = \\dij\\mxn,<kj £ Z+.

Определим композицию рядов F(£) и G(?/) следующим образом:

0.0.35) ЯД г) = Y, а(РЬ + где fi G Zn — фиксированный вектор, а (3 • L — произведение вектора (5 на матрицу L. Классическая адамаровская композиция степенных рядов получается при т = п = 1, (in = 1, =0. Выбирая подходящим образом матриц}' L и вектор ц можно получить композиции степенных рядов, изучавшихся в работах [35, 12, 61].

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

Теорема 0.0.6 (3.2.1). Пусть функция (0.0.32) голоморфна в замкнутом полицилиндре U = {£ € Сп : < Tj,j — 1 ,.,п}, а функция (0.0.33) — в замкнутом полицилиндре V = {77 € С"1 : |гд | < Ri, i =

1,. , m}, тогда их композиция Лдамара (0.0.35) голоморфна в полицилиндре W = {z £ Cm : |Zi < pi, i = 1,., m), где pi = T^rf1 • • ■ rdnin, i = 1,., m и для z £ W справедливо интегральное представление где iL = (tf11---^,.,^1 = {£ € С" : = rhj =

Звездой в комплексной плоскости С будем называть звездную по отношению к началу координат область.

Композицией звезд U, V С С называется [52, с. 3G] множество UoV — (U'V1)', где ' означает дополнение множества в комплексной плоскости, &U'V'= {u'v': и' £U',v' £V'}.

В [52) показано, что композиция двух звезд снова звезда и U о V —

Область U = JJ\ х • • • х Uk С Ck назовем k-звездной, если Uj — звезда,

Пользуясь интегральным представлением (0.0.3G) можно осуществить аналитическое продолжение композиции (0.0.35).

Теорема 0.0.7 (3.2.2). Если функция (0.0.32) голоморфна в п-звездной области U = U\ х ••• х Un, функция (0.0.33) голоморфна в т-звездиой области V = \\ х • • • х Vn, тогда ф\]нщия (0.0.35) голоморфна в т-звездной области II = #i х ••• х Нт, где Hi = U(il о ••• о U%in о Ц, i — 1,. ,m.

Точку £ £ 0U назовем угловой точкой звезды U С С, если ff £ U для всех 0 < t < 1.

Точку £ £ 0U назовем хорошо достижимой точкой звезды U С С, если f £ £ U для всех 0 < t < 1 и некоторого комплексного числа со такого, что Re и; > 0, а 1ш и ф 0.

Точку £ = (£i,. ,£„) назовем угловой (хорошо достижимой) точкой 71-звездной области U = U\,., Un если — угловая (хорошо достижимая) точка звезды Uj для всех j = 1,., п.

Теорема 0.0.8 (3.4.1). Среди угловых и хорошо достижимых точек т-звездной области II особыми точками композиции (0.0.35) могут быть лишь те точки, которые принадлежат множеству

0.0.3G)

VoU. ф1-ф = {ф\п.Ф1г-Фт), где ф = (</>i,., фп) — особые точки (функции (0.0.32), лежащие па остове 0U\ х • • • х 0Un, а ф = (ф\,., фт) — особые точки функции (0.0.33), лежащие на остове OVi х • • • х dVm.

Другое обобщение композиции Адамара на многомерный случай получится и том случае, когда для представления и аналитического продолжения композиции II используем интегральные представления, в которых интегрирование ведется но (2п — 1)-мериым циклам (границам областей в С71). Пусть г = (zi,. .,zn),£ = (£i,. ,£n) — точки ?г-мериого пространства С" и £ = ., £„), где ^ — сопряженное к j = 1,., п, № = ы2 + ••• + ы2 И Е = {z е С" : \Zj\ < 1 ,j = 1,.,»} -единичный поликруг. Обозначим через V полную я-круговую область с центром в начале координат, Vr = rV — гомотетию области V и Pv{z) = inf{r : f G V, г > 0} — функционал Мипковского области V. Фиксируем область V С Е такую, что VT Е для г > 1.

Обозначим S(V) границу Шилова области V и \S(T>)\ — образ области S(V) при отображении г = (zi, .,zn) (\zi\,., \zn\) и \0V\ — образ границы 0Т> при этом же отображении. Мера А (конечная) на \дТ>\ называется массивной на границе Шилова, если для всякого М С \дТ>\ нулевой меры А имеет место включение \сЮ\ \М Э |5(7?)|. Коэффициенты Тейлора сп ядра Сеге области V, соответствующие мере dfi, определяются следующим образом [50, §G, 11]:

Ca = [f |6|2ai.Itnl^dH}-1 = [ f 16Г.Ы2°П<Щ-\

JdV J\OV\ где dfi = (2m)~nd\ x f- Л • • • Л . Для двух кратных степенных рядов

0.0.37) F{z) = J2 a(a)z° 11 G(z) = Л b(a)z" a€Z™ agZf. определим их композицию Адамара следующим образом:

0.0.38) H{z) = F(z) о G{z) = a(a)b(a)c~* za aezf.

Отметим, что для n = 1 область V — единичный круг, и все коэффициенты са = 1, поэтому (0.0.38) — классическая композиция Адамара.

В одномерной ситуации важную роль при аналитическом продолжении интеграла, представляющего композицию Адамара, играют свойства отображения | : С{ —> многомерным аналогом которого является отображение Фг : зависящее от иарамст1юв z е Сг, у которого jf-ая компонента имеет вид Zj£j/p2D(£), J = 1, • ■ ■,

Звездой назовем всякую область из С", звездную но отношению к началу координат. о

Композицией звезд U и V назовем множество U V V = {z G С'1 : ФZ(U') П V' = 0}, где U' ~Сп\ U, V = Сп\ V.

Определенная таким образом композиция звезд является звездой и для п = 1 получаем классическое определение композиции звезд. Вместе с тем есть и различия. Например, в отличие от одномерного случая, композиция звезд не коммутативна.

Предложение 0.0.1 (3.3.1). Пусть степенные ряды (0.0.37) сходятся в областях Vri и VT2 соответственно. Тогда их композиция (0.0.38) сходится в области Т>ПГ2 и для z G Т>Г1Г2 справедливо интегральное представление где у = • • ■ > и г выбрано так, чтобы ^^ < г < Г\.

Данное интегральное представление позволяет осуществить аналитическое представление композиции H(z).

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

Теорема 0.0.9 (3.3.2). Пусть U,V,W — главные звезды функций о

F, G, II соответственно, тогда U V V С W.

Пусть U С С" — звезда. Точку £ £ U' назовем угловой точкой звезды U, если Е U для всех t G [0,1). Точку £ е U' назовем хорошо достиэ/симой, если она хорошо достижима (см. [52]) в сечении звезды U комплексной прямой т£;т £ С}.

Теорема 0.0.10 (3.4.2). Среди угловых и хорошо достижимых точек о звезды U V V особыми точками композиции II могут быть лишь точки, принадлежащие мпооюеетву геСп:Ф2(6/о)П1/о#0}, где Uq — множество особых точек функции F па границе главной звезды U, a V0 — мнооюество особых точек функции G на границе главной звезды V.

Отметим, что для п = 1, теоремы 0.0.9 и 0.0.10 дают и точности теорему Адамараоб умножении особенностей (в изложении Бибербаха).

Конструкцию композиции Адамара кратных степенных рядов, определяемую формулой (0.0.38) можно также интерпретировать следующим образом. Так как a € Z" и (3 £ Z™, то композицию Htl(z) можно рассматривать как сумму с линейными ограничениями на индексы суммирования:

0.0.39) H,(z)= Y, a(/3L + n)b{f})zfit $L+n>О

0>О где неравенство /3 > 0 означает, что Д > 0 для всех $ > 0, i = 1,., т.

Такого рода суммы встречаются в различных задачах перечислительного комбинаторного анализа и один из возникающих при этом вопросов состоит в отыскании производящей функции n-мерной последовательности {Я/4(2;)}д62п, т.е. функции

U(t;z)= £ ИМ*. I

Теорема 0.0.11 (3.2.3). Если производящие функции (0.0.32), (0.0.33) голоморфны в замкнутых полицилиндрах U = {£ G С™ : |£j| < rj,j = 1,.,п} и V — {и е Ст : \uj\ < Rj,j = 1 ,.,m} соответственно, то для (t; z) € U х (l)L О V) справедливо интегральное представление

0.0,10) П (t;z) = {2т)~п jmG{zie)-^rc гдС1= {(GC": |&| = г^' = 1,.,п} и £ - t = fa-tx,.,Zn-tn).

Если все элементы матрицы L отрицательны /у = -qij,qij > 0, то система линейных неравенств /3L + ц > 0,(3 > 0 имеет конечное число решений в Z", т.е. функция Htl(z) является многочленом, а к интегралу (0.0/10) применима интегральная формула Коши, из которой следует, что

Щ\г) =F(t)G(ztQ), где Q = \\qij\\mx„.

Отметим, что при F = 1, G(i/) — (l-i/)/ и z = (1,., 1) получим что — это число целочисленных решений системы линейных уравнений j3Q = /f, а для F(£) = (l-t;)-1 ,G{v) = (1 -и)'1 и г = (1,., 1) окажется, что Htl(I) — число решений системы неравенств PQ < ц в Z".

В монографии Г.П. Егорычева [G1] производящая (функция П(£) вычислялась в связи с применениями в теории графов в частном случае

F(0 = (1 - <£)"' и ОД = ln(l + Ч + --- + vn).

Глава 4 посвящена решению задачи когомологического приведения периодов в классе рациональных дифференциальных форм.

Как при изучении многомерных разностных уравнений, так и при исследовании многомерных аналогов композиции Адамара, естественным образом возникают интегралы (периоды) от замкнутых дифференциальных форм со на некотором комплексном многообразии А' с особенностями на комплексных аналитических подмножествах S этого многообразия, по циклам, лежащим в Л" \ S.

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

M(z)dz по 71-мерным циклам (замкнутым n-мерным ориентированным поверхностям) в пространстве Сп или в комплексном проективном пространстве CP'1.

Формула Стокса и интегральная теорема Коши-Пуанкаре позволяют заменять в интеграле дифференциальную форму и на когомологичную ей (и более простую в каком-либо смысле) дифференциальную форму ш+ (1ф. Такое преобразование интеграла будем называть когомологическим приведением периодов.

В случае, когда дифференциальная форма и с особенностями на комплексном аналитическом подмногообразии S С X имеет полюс первого порядка, формула вычета Лере позволяет понизить порядок интегрирования: fs и = f^ftcsu (здесь 5у — кограница Лере цикла 7, Res и) — класс формы-вычета Лере).

Естественным образом возникает задача об отыскании в каждом классе когомологий [о;] £ Hp+l(X \S) дифференциальной формы, имеющей на S полюс первого порядка.

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

Если ii = 1, то задачу когомологического приведения рациональной дифференциальной формы ш = Mp^z решает теорема о разложении рациональной функции на простейшие дроби. Действительно, если P{z) — njLi(* — zjYJ ~ разложение многочлена P(z) на неприводимые множители, то рациональная функция представляется в виде

Л' суммы многочлена и простейших дробей вида j^rf-jk- Если kj > 1, то , А\к. — d,, следовательно, рациональная дифференциальная

Z-Zj) J \z~zjr ' форма из когомологична в С\ {zi,., zm} рациональной форме с полюсами первого порядка.

Пусть теперь п > 1 и известно разложение знаменателя рациональной функции P(z) = fljli Pj3{z) на неприводимые множители. Обозначим V = {z € С'1 : P(z) = 0} и Vj = {z G С" : Pj(s) = 0}, очевидно v = u^v-.

Теорема 0.0.12 (4.1.1). Всякую рациональную функцию

M(z) M{z)

P{z) " Ф-РХГ mooicho представить в виде суммы «простейших» дробей ' adA где Л — MHooicecmeo наборов а — ., ар} С {1,2,., ?/t) таких, что 1 < р < п И r)j<=nVj ф 0, a Ma(z) некоторые многочлены, fij G Z+.

Отметим, что число неприводимых множителей Pj{z) в слагаемых npauoii части разложения (0.0.41) не превосходит числа переменных п. В этом случае дальнейшее разложение на простейшие, вообще говоря, невозможно. Так функцию f(z) = l/z^ •• • zm, т < п нельзя представить в виде суммы рациональных функций, в знаменателях которых меньше чем т множителей Zj (см. [104]).

Отмстим также, что для того, чтобы из теоремы 0.0.12 получить каноническое одномерное разложение па простейшие дроби нужно еще воспользоваться алгоритмом Евклида деления многочленов.

Будем говорить, что множества Vj = {z € Cn : Pj{z) — 0} находятся в общем положении, если дифференциалы dPj определяющих эти множества многочленов Pj линейно независимы в точках множеств УдП- • -C\Vjp для всех наборов Jp = (ju., jp), 1 < р < п, 1 < < • • • < jp < т.

Теорема 0.0.13 (4.2.1). Если полярное множество рациональной дифференциальной формы

M(z)dz со = -—

РГ» . . . Рг™ '1 m является объединением многообразий Vj, находящихся в общем положении, то со когомологична в С" \U^.1Vj рациональной (форме с полюсами первого порядка вида со ^ Mj {z) dzf Pj (z), где J = (л,. ,jP} £ {1,., m}, l<p<n,PJ = Pjl.Pjp.

При изучении периодов рациональных дифференциальных форм часто оказывается полезным переходить к проективной комиактнфикации пространства С" и рассматривать рациональные дифференциальные п-формы вида

0.0.42)

Р(0 в однородных координатах £ = (£<,, £ь • • •, &»), гДе т=fli-lYWb'],

3=0

Р(() и M{Q — однородные многочлены, причем degР(£) = dcgM + n+1, a [j] означает, что дифференциал d£j пропущен.

В отличие от рациональных дифференциальных форм в С" в проективном пространстве понизить порядок полюса до первого не всегда удается [19], однако справедлива

Теорема 0.0.14 (4.3.2). Если полярное мноо/сество V = {£ € СРп : Р(£) — 0} является объединением многообразий Vj = {£ G СРп : Pj(£) -0},j = 1 ,.,m,m < п находящихся в общем положении, то рациональная дифференциальная п-форма (0.0.42) когом,алогична в СРп \ V диф)фереициалг>ной рационального п-форме вида и*=Y,Mj№/pJ(a j где суммирование производится по наборам J = {ji,., jm} целых чисел jk из [0; ri] таких, что т т ^ deg Pk < (n + 1) ]T(deg Pk - 1) + 1, k=1 k=1 однородные многочлены и PJ = Р/1.

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

 
Список источников диссертации и автореферата по математике, доктора физико-математических наук, Лейнартас, Евгений Константинович, Красноярск

1. Aleksandrov A.G. Logarithmic differential forms, torsion differentials and residue. Complex Variables. 50(8). 2005. P. 1-29.

2. Aleksandrov A.G., Tsikli A.K. Theorie des rcsidus de Leray et formes dcr Barlet sur une intersection completesinguliere //C.R. Acad. Sci. Paris. T.333. Ser. 1. 2001. P. 973-978.

3. Arnold V., Gusem-Zade S., Varclienko A. Singularities of differentiable maps; The classification of critical points, caustics and wave fronts, Monographs in Mathematics Vol. 82, Birkhauser, Boston, 1985, xi+382 pp.

4. Aronzajn N. Calculus of residues and general Cuachy formulas in C" //Bui. scien. К lath. Ser. 2. 1977. V. 101. P. 319-352.

5. De Boor C., Hollig K., Hiemensckneider S. Fundamental solutions of multivariate difference equations //Journal of AMS, 1989, V. Ill, P. 403-415.

6. Bousquet-Mclou M., Petrovsek M. Linear recurrences with constant coefficients: the multivariate case // Discrete Mathematics. 2000. V. 225. P. 51-75.

7. Brion M., Vergne M. Residue formulae, vector partition functions and lattice points in rational polytopes //Journal of AMS 1997, V. 10, J\M, P. 797-833

8. Brown Z.M. Analitic properties of n-pirt loops in Perturbation Theory //Nuovociinento. 1961. V. 22. N1, p. 55-70

9. Dell'Agnola C.A. Estensione di un teorema di Hadamard. Veil. 1st. Atti. 58. 525-539, GG9-G77 (1898).

10. Djokovic D.Z. A properties of the Taylor expansion of rational function in several variables// J. of Math. Anal, and Appl., 1978. V. GG. P. 679-G85.

11. Dulfin R., Shaffer D. Asymptotic expantions of double Fourier transforms //Duke Math. J. I960. V. 27. P. 581-596.

12. Duffin R. Discrete potential theory //Duke Math. J., 1953,V. 20, P. 233-251.

13. Ehrenpreis L. A fundamental principle for system of linear differential equations with constant coefficients and some of it applications // Proc. Int. Symp. on linear spaces, Jerusalem, 1960.

14. Henkin G. , Passare M. Holomorphic forms on singular varieties and variations on a theorem of Lie-Griffits// Invent. Math., 135, 1999, 297328.

15. Forsberg M., Passare M., Tsikh A. Laurent Determinants and Arrangements of Hyperplane Amoebas //Advances in Math, 2000, V. 151, P. 45-70.

16. Gelfand I., Kapranov M., Zelevinsky A. Discriminants, resultants and multidimensional determinants, Birkhauser, Boston, 1994, x+523 pp.

17. Griffits P.A. On the periods of certain rational integrals //Ann. Math. 1969. V. 90. №3. P. 460-495.

18. Grotendick A. On the de Itliain cogomology of algebraic varieties //Publ. Math. Ilautes c'tudes Scient. 19GG. V. 29. P. 351-359.

19. Ilaustus M.L.T., Klarner D.A. The diagonal of a double power series //Duke Math. J. 1971. V. 38. №2. P. 229-235.

20. Hadamard J. Theoreme sur les series entieres //Acta Math. 22 (1898). p. 55-63.

21. Horn J. Uber die Convergenz der hypergeometrischen Reihcn zweier und dreier Veriinderlichen //Math. Ann. 34 (1889), 544-G00.

22. Ilosjten S., Klietan A., Sturmfels B. Solving the likelihood equations// Found. Сотр. Math. 5(2005), №4, 389-407.

23. Ilurwitz A. Sur un theoreme de M. Hadamard //C.Il. Acad. Sci. 128(1899), p. 350-353.2G. Kapranov M. A characterization of Л-discriminantal hypersurfaces in terms of the logarithmic Gauss map //Math. Ann. 290 (1991), 277-285.

24. Kenyon R., Okounkov A. Planar diiners and Harnack curves//arXiv: math. AG/03110G2 V2, 29p.

25. Lazard P. Algebre linneare sur K(xi,.,xn) et elimination //Bull. Sor. Math. France. 1977. V. 105. P. 1G5-190.

26. Leinartas E. On the Cauchy problem in a class of entire functions in several variables // Banach Center Publications. 1995, V. 38, P. 189192.

27. Leray J. Le calcul differentiel et integral sur unc variete analytique com-plexe. (Probleme de Cauchy III)// Bull. Soc. Math. France, 87 (1959), P. 81-180.

28. Levy II., Lcssman F. Finite difference equations. London. Pitman LTD. 1959.

29. Macauley F.S. The Algebraic Theory of Modular Systems. Cambridge University Press. 191G.

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

31. Mikhalkin G., RullgSrd II. Amoebas of maximal area, //Inter-nat. Math. Res. Notices (2001) 441-451.

32. Айзенберг JI.A. Полиномы, ортогональные голоморфным функциям многих комплексных переменных и аналог теоремы Рпссов //Докл. АН СССР, 1971. Т. 199. Ш. С. 255-257.

33. Айзенберг Л.А., Лейнартас Е.К. Многомерная композиция Адамара и ядра Сеге //Сиб. мат. жури., 1983. Т. 24. №3. С. 3-10.

34. Айзенберг Л.А., Митягин B.C. Пространства функций, аналитических в кратно-круговых областях //Сиб. мат. жури., 19G0. Т. 1. jV>2. С. 153-170.

35. Айзенберг Л.А., Трутнев В.М. Об одном методе суммирования по Борелю ?г-кратных степенных рядов //Сиб. мат. жури., 1971. Т. 12.С. 1985-1901.

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

37. Арнольд В.П., Варчепко A. II., Гусейн-Заде С. II. Особенности дифференцируемых отображений. Т.1., М.:11аука, 1982.

38. Бибербах Л. Аналитическое продолжение. М.: Наука, 19G7. 240 с.

39. Буслаев В.И. О теореме Пуанкаре и ее приложениях к вопросам сходимости ценных дробей // Мат. сборн. 1998. Т.189. №12. С. 1328.

40. Гельфолд А.О. Исчисление конечных разностей. М.: Гос. изд-во физ.-мат. лит., 1959. 400 с.

41. Ван-дер-Вардеп Б.Л. Современная алгебра. Ч. I. М.-Л.: Гостехиздат, 1917. 251 с.5G. Ван-дер-Варден Б.Л. Современная алгебра. Ч. II. М.-Л.: Гостехиздат, 1947. 2G0 с.

42. Голубева В.А. о семействе дифференциальных уравнений в частных производных для аналитической функции типа интеграла Фейнмана //Докл. АН СССР. 1973. Т. 212. Ш. С. 71.

43. Голубева В.А. Диффернциальпые уравнения для фейпмановского интеграла собственно-энергетической диаграммы //Диффер. уравнения, 1973. Т. 9. т. С. 1298-1309.

44. Иванов В.К. Характеристика роста целой функции двух переменных и ее приложение к суммированию двойных степенных рядов// Мат. сб. 1959. Т. 47. т. С. 3-1G.

45. Лейнартас Е.К. Когомологическое понижение порядка полюсов рациональных форм в CP". В кн.: Некоторые вопросы многомерного комплексного анализа. Красноярск. ИФ СО АН СССР. 1980. С. 6572.

46. Лейиартас Е.К. Об аналитическом продолжении обощенного произведения Адамара. В кн.: Некоторые вопросы многомерного комплексного анализа. Красноярск. ИФ СО АН СССР. 1980. С. 73-78.

47. Лейиартас Е.К. Об одном обобщении композиции Адамара на функции многих комплексных переменных// Сиб. мат. жури. 1981. Т. 22. №4. С. 18-21.

48. Лейиартас Е.К. Об одном обобщении произведения Адамара is С™//Мат. заметки. 1982. Т. 32. ЛЧ. С. 477-482.

49. Лейиартас Е.К. Теорема Адамара об умножении особенностей в С"// Сиб. мат. жури. 198G. Т. 27. №3. С. 209-212.

50. Лейиартас Е.К. Кратные ряды Лорана и разностные уравне-ния//Сиб. матем. журн., 2004.- Т.45- №2- С.387-393.

51. Лейиартас Е.К. Многомерные разностные уравнения и амеба характеристического многочлена//Вестник Краен, гос. унив. 2004. №1. С.117-120.

52. Лейиартас Е.К. Линейные разностные уравнения с матричными ко-эффициентами//Вестиик Краен, гос. унив. 2005. №1. C.1G3-1GG.

53. Лейиартас Е.К. Двумерные разностные уравнения в некоторых задачах комбинаторного анализа// Вестник Красноярского госупнвер-ситета 2001 - М - С. 121-123.

54. Лейиартас Е.К., Пассаре М., Цпх А.К. Асимптотика многомерных разностных уравнений// УМН. 2005. T.G0. Вып. 5(3G5). С.171-172.

55. Лейиартас Е.К. Кратные ряды Лорана и фундаментальные решения многомерных разностных уравнений// Сиб. мат. жури, (в печати).

56. Лере Ж. Дифференциальное и интегральное исчисления па комплексном аналитическом многогобразии. М., ПЛ. 19G1. 140 с.

57. Мандельбройт С. Ряды Дирихле. М.: Мир, 19G8. 172 с.

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

59. Пуанкаре Л. Новые методы небесной механики. Избр. тр. в Зх т. М.:11аука. 1971. Т.1. 771 с.

60. Риордан Дж. Комбинаторные тождества. М.:11аука, 1972.

61. Ронкнн Л.И. Введение в теорию целых функций многих комплексных пременных. М.:Наука, 1971.

62. Стенли Р. Перечислительная комбинаторика. М.:Мир. 1990.

63. Трутнсв В.М. Радиальный индикатор в теории суммирования Боре-ля и некоторые применения// Сиб. мат. журн. 1972. Т. 13. JY®3. С. G59-GG4.

64. Фам Ф. Введение в топологическое исследование особенностей Ландау. М.: Мир, 19G7. 184 с.

65. Фсдорюк М.В. Асимптотика: интегралы и ряды. М.: Наука, 1987, 544 с.

66. Фрейман Г.А. О теоремах Пуанкаре и Перрона //УМН. 1957. Т. 12. т. С. 241-246.

67. Хермаидер Л. Введение в теорию функции нескольких переменных. М.: Мир, 19G8. 279 с.

68. Хуа Р., Теплиц В. Гомологии и фейпмановские интегралы. М.: Мир, 19G9. 223 с.

69. Цнх А.К. Условия абсолютной сходимости ряда их коэффициентов Тейлора мероморфных функций двух переменных // Мат. сборн. 1991. Т.182(11). С. 1588-1G12.

70. Цнх Л.К. Многомерные вычеты и их приложения. Н-ск.:Наука СО РАН, 1988.

71. Чирка Е.М. Комплексные аналитические множества. М.: Наука. 1985. 272 с.

72. Чуешен В.В. Периоды гармонических дифференциалов Прима па компактной римановой поверхности//Сиб. матем. журн. 2002. Т. 43. ЛМ. С. 937-952.

73. Шабат Б.В. Введение в комплексный анализ. М.: Наука, 1969.

74. ГОжаков А.П. О вычетах функции многоих комплексных переменных// Изв. вузов. Математика. 19G4. №5. С. 149-1G1.

75. Южаков А.П. Достаточное условие разделения аналитических особенностей в С'1 и базис одного пространства голоморфных функций //Мат. заметки. 1972. Т. 11. Ж С. 585-596.