Достаточные условия алгебраичности производящих функций решений многомерных разностных уравнений Текст научной статьи по специальности «Математика»

Серия «Математика»

2013. Т. 6, № 3. С. 88-96

Онлайн-доступ к журналу: http://isu.ru/izvestia

УДК 517.55+517.96

Достаточные условия алгебраичности производящих функций решений многомерных разностных уравнений *

Т. И. Некрасова

Сибирский федеральный университет

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

Ключевые слова: многомерные разностные уравнения, задача Коши, производящая функция.

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

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

1. Введение

{рациональные} С {алгебраические} С {D-финитные}.

* Работа выполнена при финансовой поддержке МО и науки РФ, грант 1.34.11.

Для линейных разностных уравнений с постоянными коэффициентами одной переменной известно (см.[3], [6]), что производящая функция всякого решения является рациональной.

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

/(Х1 + 1,Х2 + 1) - /(Ж1 + 1, Х2) - /(Х1,Х2 + 1) + /(Х1,Х2) = 0

является функция вида /(Х]_,Х2) = ф(х1 )+ф(х2), где ф и ф — произвольные функции целочисленного аргумента, а соответствующий производящий ряд будет, вообще говоря, расходящимся. Для разностных уравнений в положительном октанте целочисленной решетки Zn в [5] приведен пример, показывающий, что если производящая функция начальных данных рациональна, то производящая функция соответствующего решения может быть не рациональной и даже не D-финитной. В работе [1] приведены некоторые достаточные условия рациональности производящей функции решения.

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

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

Введем необходимые обозначения и определения.

Определение 1. Рациональным конусом в Zn будем называть множество К точек п-мерной целочисленной решетки Zn, представимых линейной комбинацией в векторов а1,...,ая € Zn.•

К = {х : х = \1а1 + ... + Азая, Аг € Z+, г = 1,...,в},

где Z+ — целые неотрицательные числа.

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

Обозначим A = {а} — некоторое фиксированое конечное множество точек n-мерной целочисленной решетки, A С K и рассмотрим однородное разностное уравнение вида

У, Caf (X + а) = 0, X Є K, (2.1)

где ca—коэффициенты (постоянные) уравнения.

Определение 2. Характеристическим многочленом уравнения 2.1 называется многочлен Лорана P(z) = caza.

Ниже нас будут интересовать разложения в ряд функции -рщ. Как и в одномерном случае, рациональная функция разлагается в ряд Лорана многими способами. Для n > І для описания этих разложений удобно использовать понятия многогранника Ньютона многочлена и амебы алгебраической поверхности (см. [7]).

Определение 3. Многогранником Ньютона Np многочлена P называется выпуклая оболочка в Rn элементов множества A.

Определение 4. Амебой Ay алгебраической поверхности V называется образ множества нулей V многочлена P(z) при отображении

Log : z = (zi,...,zn) ^ (log(|zi|),...,log(|zn|)) = Loglzl.

Всякой вершине многогранника Ньютона Np многочлена Лорана P(z) соответствует непустая связная компонента Em дополнения амебы Мга\Ду, при этом в Log~1Em функция у разлагается в ряд Лорана

1 _ \ 'Рт(х)

P{z) Z* ’ 1 J

xem+Лт

где Лт — конус, построенный на векторах m — а, а Є A и Vm(X) определяется формулой

^ . І f zx dz

ад = (2Й)^і Щ7’ ( 3)

Гт

а Гт = Log u,u Є Em.

Двойственный конус Cm к точке m многогранника Np определяется следущим образом

Cm = {s Є Rn : max(s,x) = (s,m)}.

x£Np

Отметим, что он является асимптотическим, т. е. вместе с каждой

точкой и Є Ет этой компоненте принадлежит и сдвиг двойственного

конуса и + Ст С Ет.

Определим отношение частичного порядка > между точками т и

к

а Є Тп. А именно, будем писать т > а, если т + К С а + К.

к

Кроме того, будем писать т ^ а, если т Є К\{К+а}, т. е. отношение

к

т > а не выполняется. к

Далее будем рассматривать уравнения вида 2.1, многогранник Ньютона Мр характеристического многочлена которого удовлетворяет условию

Зт Є А : т > а, У а Є МР П К. (2.4)

к

Отметим, что если такая точка существует, то она единственная.

Зафиксируем такое т Є Мр П К и обозначим Кт = {х Є К : х ^ т}.

к

Задача 1. Найти решение / (х) уравнения 2.1, которое на множестве Кт совпадает с заданной функцией ф(х):

/(х) = ф(х),х Є Кт. (2.5)

Задачу 2.1, 2.5 назовем задачей Коши для разностного уравнения 2.1. В [2] доказана разрешимость этой задачи и приведена формула, выражающая ее решение / (х) через фундаментальное решение Рт (х), т. е. решение уравнения 2.1 с правой частью, равной

_ , . І 0, если х = 0,

5о(х) = < 1 _

I 1, если х = 0

и нулевыми начальными данными ф(х) = 0,х Є Кт. Нетрудно видеть, что функция Рт(х), определяемая формулой 2.3, является фундаментальным решением.

Определение 5. Производящей функцией (производящим рядом) п-мерной последовательности /(х) : Тп С назовем ряд Лорана вида

Р(г) = Е

хвТ"

Для рядов Лорана справедлив следующий аналог теоремы Абеля о множестве сходимости степенного ряда.

Носителем ряда Лорана Г (г) назовем множество вирр Г = {х Є Тп : /(х) = 0}. Если носитель ряда Лорана лежит в симплициальном конусе К и ряд сходится в точке г0, то он сходится и в точках г0+Ьод-1Ст ([7]). Если обозначить Ка = {х Є К : х ^ а}, то очевидно, что для всех

к

а Є Мр П К справедливо вложение Ка С Кт. Рассмотрим ряды вида

Ф«(-2) = построенные по начальным данным (р(х) задачи Ко-

Х^Ка

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

Теорема 1. Производящая функция Г (г) решения f (х) задачи 2.1,2.5 выражается через производящие функции (ряды) Фа(г) начальных данных следующим образом:

Нг) = ^2 сага-^--Фа(г),

P(z)

oeNPпк v '

где под -рщ понимается разложение этой функции в ряд с носителем в аффинном конусе m + К, сходящийся в Log-lEm.

Из теоремы 1 сразу следует основной результат данной работы.

Теорема 2. Пусть f (x) решение разностного уравнения 2.1, фа(х) = = f \ка — его сужение на множество Ка и для всех а £ Np П K

производящие функции начальных данных Фa(z) = алгебра-

хеКа

ичны (рациональны), тогда и производящая функция решения F(z) =

= Yl алгебраична ('рациональна), хек

Замечание 1. В теореме 2 естественным образом предполагается, что производящие ряды начальных данных Фа имеют непустую область сходимости Da. И поскольку для всех а двойственный конус Cm является асимптотическим для LogDa, то Р| LogDa = 0, а поэтому и

f]Da П Log 1Ет ф 0. Таким образом, у рядов рт-^у и Ф«(ж) имеется

а

непустая общая область сходимости.

3. Доказательства и примеры

Докажем теорему 1.

Доказательство. Пусть Ет — компонента дополнения амебы, ассоциированная с вершиной т (см. [7]). В области Ьод-1Ет С С” функция 1/Р(г) разлагается в ряд Лорана вида 2.2. Очевидно, что множество Лт в разложении 2.2 является подмножеством конуса К.

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

1 1 1

Р(г) стгт + Е стгт(1 - £ сага-т)

а=т а=т

л

ст г , п /

к=0 а=т

и далее после стандартных преобразований получим разложение вида

1 _ Ут{х)

Р(г) г'х '

хет+Лт

Умножим производящую функцию Р(г) = ^ ^0- решения задачи

хек

2.1,2.5 на характеристический многочлен Р(г) и преобразуем полученное произведение с учетом того, что / (х) — решение уравнения 2.1, а ф(х) — начальные данные задачи Коши:

л*№> = | Е с«г“) (Е 4?) =

аеИр ПК у \хеК )

/(х) , V- I(х) \

Е ^ Е^+Е

і аЄМрПК / \х а х > а

к к

V саг° ^ — + Е с*Т:—+і

/ ^ а / ^ гх ^ ^ 7х-а+1

аеМрПК х ^ а авМрПК х > а

а

7 " гх

аЄМРПК х

кк

= е «.*•*.<*) + Е =

аЄМрПК аЄМрПК х > 0

к

= £ сагаФа(г) + ^ Е Са/(^+а) = Е с^“ф«(^)-

аЄМРПК х > 0 аЄМРПК аЄМРПК

к

Таким образом, Р(г)Р(г) = ^ сагаФа(г), и после умножения

а£МРГК

на ряд 2.2 получим утверждение теоремы 1. □

Доказательство теоремы 2 следует из теоремы 1 в силу того, что

ряды Фа(г) и 2.2 имеют непустую общую область сходимости, а линейная комбинация с рациональными коэффициентами ^>щ алгебраических (рациональных) функций Фа(г) является функцией алгебраической (рациональной).

В качестве примера применения полученных результатов рассмотрим задачу об обобщенных путях Дика. Пусть даны набор Ь шагов

х

г

Ні ,...,№ Є Zn и заостренный конус К. Обозначим f (х) — число решеточных путей, которыми можно попасть из начала координат в точку х, используя только шаги из Ь и оставаясь в конусе К. В случае, когда К = Z+, данная задача рассматривалась в [5].

Пример 1. Возьмем п = 2 и в = 2, шаги Ні = (1,1), Н2 = (1, —1) и конус К, порожденный этими векторами К = {х Є Z2 : х = ЛіНі + Л2Н2, (Лі, Л2) Є Z+}. Очевидно, что конус К — симплициальный. Для искомого числа путей f (хі,х2) разностное уравнение имеет вид f (х+Н1+Н2) = = f (х + Н1) + f (х + Н2),х Є К или

f (хі + 2, х2) — f (хі + 1,х2 + 1) — f (хі + 1,х2 — 1) = 0. (3.1)

Очевидно, что попасть в точки (к, к), (к, —к) к = 0,1, 2,..., лежащие на "границе"конуса К можно только одним способом. Это означает, что нужно найти решение уравнения 3.1, удовлетворяющее начальным данным

/ (к,к) = 1,к = 0,1, 2,..., (3.2)

/ (к, -к) = 1, к = 0,1, 2,....

Найдем производящую функцию Г(г,^) решения задачи 3.1,3.2, используя теорему 1. Для этого нужно найти производящие функции

начальных данных Ф(1д), Ф(1—1), Ф(2,0). Имеем

К(1,1) = {(ж1,ж2) е Z2 : х1 = к,х2 = -к,к = 0,1, 2,...},

К(1—1) = {(х1 ,Х2) е Z2 : Х1 = к,Х2 = к,к = 0,1, 2,...},

К(2,0) = К(і,і) и К(і,-і).

Вычислим Ф„:

го / .. ч к

1 \ г

^(М) Е гХ1ъиХ2 г — ю

х ^(і,і) к=0

ф(!. і) Е гХ1ъиХ2 гю — 1’

х ^(і,-і) к=0

к

^ 1 гт г

ф(2,0) = / . ~7, ^

^ гхі тХ2 гт — 1 г — т

х ^(2,0)

По теореме 1 имеем:

2

г2 гш г

м) — ~2----------------ГГ ( ---------7 Н 1 —

г2 — гш — гш 1 \гш — 1 г — ш '

— 1 /

гш / г \ гш 1 гш

-----------------------------------------------------------------------------------------I ----------------------------------------- I —

г2 — гш — гш-1 \ г — ш/ г2 — гш — гш-1 \гш — 1

гш

гш — 1 — ш2 ’

Разлагая полученную функцию в ряд Лорана с носителем в конусе К , . 1 ^—\ / 1 из \ ^—\ Х\1 1

г,1и 1 —-— 1 гги ^ г ) ^ (Х1~Х2)1(Х1^,Х2)1 гХ1гиХ2 ’

г'ш Хк=0 4 7 (х1,х2)ек К 2 > V 2 >

получим искомое число путей

/ (Ж1,Ж2) =

ж1!

^Х1 -Х^у^Х! +Х?.У' ■

Замечание 2. Классическая постановка задачи о путях Дика (см. [5]) состоит в том, чтобы найти число #(Ж1,Ж2) решеточных путей, выходящих из начала координат, которыми можно попасть в точку (ж1 ,ж2) е Z+, используя шаги (1,1), (1, —1) и не пересекая горизонтальную ось с момента выхода из (0, 0).

По смыслу задачи число путей #(Ж1,Ж2) неотрицательно. Любопытно, что решение этой задачи можно получить, если в примере 1 разрешить числу путей / (ж1,ж2) принимать отрицательные значения. Поскольку нельзя пересекать ось ОХ, то на ней должно быть /(к, 0) = 0, к = 1,2,... и если взять на «луче» (к, —к) начальные данные

/(к, —к) = —1, то на горизонтальной оси получим /(к, 0) = 0,к = 1,2,....

Нетрудно видеть, что при этом производящие функции начальных данных будут равны Ф(1Д) = Ф(1)_1} = Ф(2)0) =

+ — 1) а производящая функция решения равна

. гш — 2ш2

г{г,ь}) =

гш — 1 — ш2'

Разлагая ее в ряд с носителем в конусе К, получим решение уравнения 3.1

ж2(ж! - 1)!

/(Ж1,Ж2) = + (жьж2) е К.

Очевидно, что для всех точек из К(2,0), кроме точки (0, 0), выполнены начальные условия. В точке (0, 0) имеем /(0, 0) = 0(—1)! = 0 • Г(0) =

= Г(1) = 1, где Г(ж) — гамма-функция. Здесь мы воспользовались формулой жГ(ж) = Г(ж + 1).

Искомое число путей д(ж\,ж2) в классическом варианте задачи Дика равно сужению f на положительный октант Z+: д(ж1 ,ж2) = f (ж1,ж2) для (ж1,ж2) £ K П Z+.

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

1. Лейнартас Е. К. О рациональности многомерных возвратных степенных рядов / Е. К. Лейнартас, А. П. Ляпин // Журн. Сиб. федер. ун-та. - 2009. - T. 2, вып. 4. - С. 449-455.

2. Некрасова Т. И. Задача Коши для многомерного разностного уравнения в конусах целочисленной решетки / Т. И. Некрасова // Журн. Сиб. федер. ун-та.

- 2012. - Т. 5, вып. 4. - С. 576-580.

3. Стенли Р. Перечислительная комбинаторика / Р. Стенли. - М. : Мир, 1990. -440 с.

4. Стенли Р. Перечислительная комбинаторика. Деревья, производящие функции и симметрические функции / Р. Стенли. - М. : Мир, 2009. - 767 с.

5. Bousquet-Melou M. Linear recurrences with constant coefficients: the multivariate case / M. Bousquet-Melou, M. Petkovsek // Discrete Mathematics. - 2000. -Vol. 225. - P. 51-75.

6. Moivre A. de De fractionibus algebraicis radicalitate immunibus ad fractiones simpliciores reducendis, deque summandis terminis quarumdam serierum aequali intervallo a se distantibus / A. de Moivre // Philosophical transactions. 32 (1722/3) 1724, P. 176.

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

T. I. Nekrasova

Sufficient conditions of algebraicity of generating functions of the solutions of multidimensional difference equations

Abstract. In this paper we study difference equations (recurrence relations) in rational lattice cones. It is found the relation between generating functions of the initial data and generating functions of the solutions of Cauchy problem for multidimensional difference equations. It is proved that condition of algebraicity (rationality) of generating functions of the initial data is sufficient condition of algebraicity (rationality) of generating functions of the solution.

Keywords: multidimensional difference equations; Cauchy problem; generating function.

Некрасова Татьяна Игоревна, аспирант, Институт математики и фундаментальной информатики, Сибирский федеральный университет, 660041, Красноярск, пр. Свободный, 79 тел.: +79232759272 (t.neckrasova@gmail.com)

Nekrasova Tatiana, Siberian Federal University, 79 Svobodny Prospect, Krasnoyarsk, 660041 Ph.D 1 year, Phone: +79232759272 (t.neckrasova@gmail.com)