Задача Коши для полиномиальных разностных операторов и производящие функции решений с носителями в рациональных конусах
Введение 3
1 Задача Коши для полиномиальных разностных операторов
с постоянными коэффициентами 20
1.1 Существование и единственность решения задачи Коши в ра-
циональных конусах . . . . . . . . . . . . . . . . . . . . . . . 22
1.2 Задача Коши на подрешетке целочисленной решетки . . . . 27
1.3 Формула для производящей функции решения задачи Коши 32
1.4 Мультисекции кратных рядов Лорана с носителями в раци-
ональных конусах . . . . . . . . . . . . . . . . . . . . . . . . 34
2 Природа производящих функций решений задачи Коши:
иерархия Стенли 45
2.1 D-финитность рядов Лорана с носителями в рациональных
конусах . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 47
2.2 Связь D-финитности рядов Лорана с носителями в рацио-
нальных конусах с D-финитностью по Липшицу . . . . . . . 51
2.3 Сечения кратных рядов Лорана с носителями в рациональ-
ных конусах и доказательство теоремы о сохранении иерар-
хии Стенли . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.4 Применения в некоторых задачах комбинаторного анализа . 58
Список литературы 65
Исчисление конечных разностей — раздел математики, в котором изучают-
ся функции при дискретном изменении аргумента. Его начала содержатся
в трудах П. Ферма, И. Барроу, Г. Лейбница, и развивалось оно парал-
лельно с основными разделами математического анализа. В 18 веке теория
конечных разностей приобрела характер самостоятельной математической
дисциплины, изложение начал которой принадлежит Б. Тейлору (1717 г.),
но подлинным основателем следует все же считать Д. Стирлинга (1730 г.).
Первое систематическое исследование по теории конечных разностей было
написано Л. Эйлером в 1755 году, в нем впервые использовалось обозначе-
ние ∆ для разностного оператора.
К основным задачам теории конечных разностей относятся задачи ин-
терполирования и суммирования функций. С последней задачей тесно свя-
зана задача решения уравнений в конечных разностях. Для линейных
конечно-разностных уравнений построена теория, вполне аналогичная тео-
рии обыкновенных линейных дифференциальных уравнений (см., напри-
мер, [36], [2]). Разностные уравнения в сочетании с методом производящих
функций представляют собой мощный аппарат исследования задач пере-
числительного комбинаторного анализа и в одномерном случае позволили
решить широкий круг задач (Дж. Риордан [21], Р. Стенли [23], Г. Дж. Рай-
зер [20]). Многомерный случай менее развит, отметим, например, работы
[26], [11], [12], [5], [6], [4], [9].
А. Муавр [41] рассмотрел под названием возвратных рядов степенные
ряды F (z) = a0 + a1 z + · · · + ak z k + … с коэффициентами a1 , a2 , . . . , ak , . . . ,
образующими возвратные последовательности, т. е. удовлетворяющими со-
отношению вида c0 am+p + c1 am+p−1 + · · · + cm ap = 0, p = 0, 1, 2, . . . , где
cj — некоторые постоянные. Оказалось, что такие ряды всегда изобража-
ют рациональные функции. В многомерном случае ситуация значительно
сложнее, например, уже вопрос о «запасе» решений уравнения становит-
ся нетривиальным, а производящий ряд решения разностного уравнения,
вообще говоря, расходящийся.
Сформулируем общую постановку задачи. На комплекснозначных функ-
циях f (x) = f (x1 , . . . , xn ) целочисленных переменных x1 , . . . , xn определим
операторы δj сдвига по переменным xj :
[1] Арнольд В. И. Особенности дифференцируемых отображений / В. И.
Арнольд, А. Н. Варченко. — M.: МЦНМО, 2009. — 672 с.
Помогаем с подготовкой сопроводительных документов
Хочешь уникальную работу?
Больше 3 000 экспертов уже готовы начать работу над твоим проектом!
5 (8 отзывов)
4.8 (13 отзывов)
0 (13 отзывов)
4.8 (105 отзывов)
4.2 (13 отзывов)
4.7 (18 отзывов)
5 (14 отзывов)
5 (174 отзыва)
4.2 (6 отзывов)
