Введение 3
1 Задача о числе путей на целочисленной решетке 4
1.1 Постановка задачи 4
1.1.1 Постановка задачи при п=1 4
1.1.2 Постановка задачи при п=2 4
1.2 Примеры путей на целочисленной решетке 5
1.2.1 Последовательность Фибоначчи 5
1.2.2 Пути Дика 5
1.2.3 Числа в треугольнике Паскаля 7
2 Производящие функции на целочисленной решетке 8
2.1 Производящие функции в одномерном случае 8
2.2 Производящие функции в двумерном случае 8
2.3 Общие идеи нахождения двумерной производящей функции .... 9
3 Примеры 12
3.1 Нахождение производящей функции для чисел Фибонначи 12
3.2 Общий вид производящей функции при п=1 13
3.3 Нахождение производящей функции для чисел в треугольнике Паскаля 14
3.4 Общий вид производящей функции при п=2 18
3.5 Алгоритм нахождения производящей функции 20
Заключение 22
Список использованных источников 23
Приложение А 25
Всем, кто изучал математику, хорошо известен метод конечных разностей, который используется для аппроксимации непрерывного уравнения дискретным. Но исчисление конечных разностей пригодилось не только для аппроксимации, оно развивалось параллельно основным разделам математического анализа и имеет свою теоретическую базу для решения различных задач. Основными задачами в исчислении конечных разностей являются интерполирование и суммирование функций. С последней задачей тесно связана задача решения уравнений в конечных разностях. Задача суммирования тесно связана с производящими функциями. Как в математической статистике, так и в комбинаторике невозможно переоценить значение производящих функций. Зная производящую функцию решения, можно найти решение для большого количества комбинаторных задач.
Дадим общую постановку задачи. Дано разностное уравнение вида
caf (x+ a) = 0,x Е Zn, (0.1)
aEAcZn
где переменная x = {x1, x2,..., хп}—п-мерный вектор, а константы а имеют вид а = {ai,a2,... ,ап}.
С начальными (краевыми) условиями вида
f(x) = ф(х),х ЕM c Zn. (0.2)
Необходимо найти производящую функцию решения задачи (0.1) с начальными условиями (0.2).
В работе решена задача поиска производящей функции решения задачи о числе путей на целочисленной решетке для одномерного и двумерного случая.
Представлен и запрограммирован алгоритм нахождения производящей функции в двумерном и одномерном случае.
1. Виленкин, Н.Я. Комбинаторика / Н.Я.Виленкин, А.Н.Виленкин, П.А.Виленкин — Москва : ФИМА МЦНМО, 2006. — 399 с.
2. Гельфонд, А. О. Исчисление конечных разностей / А.О. Гельфонд — Москва : ГИФМЛ, 1959. — 400 с.
3. Ландо, С.К. Введение в дискретную математику / С.К. Ландо — Москва : МЦНМО, 2014. - 224 с.
4. Лейнартас, Е.К. Многомерные разностные уравнения / Е.К. Лейнартас, Д.Е. Лейнартас — Красноярск : СФУ, 2010. — 152 с.
5. Лейнартас, Е. К. Я. О. Тесленко Двумерные разностные уравнения в некоторых за- дачах комбинаторного анализа / Е.К. Лейнартас, Я.О. Тесленко // Вестник Красноярского госуниверситета — 2004. — № 1. — С. 121-123.
6. Лейнартас, Д.Е. О задаче Коши для многомерных разностных уравнений с постоянными коэффициентами / Д.Е. Лейнартас // Красноярский Государственный Университет — Известия высших учебных заведений — 2002. — № 1. — С. 79-80.
7. Ляпин, А.И. Последовательности Риордана и двумерные разностные уравнения / А.И. Ляпин // Красноярск : СФУ. —2009. — Т. 2, № 2. — С. 210-220.
8. Некрасова, Т.Н. Об иерархии производящих функций решений многомерных разностных уравнений / Т. И. Некрасова // Изв.
Иркутского гос. ун- та. — Сер. Математика, — 2014, — Т. 9. — С. 91-102.
9. Некрасова, Т.И. Задача Коши для многомерного разностного уравнения в конусах целочисленной решетки /Т. И. Некрасова // Красноярск : СФУ. - 2012. - Т. 5, № 4. - С. 576-580.
10. Риордан, Дж. Комбинаторные тождества / Дж. Риордан — Москва : Наука, 1982. - 255 с.
11. Самарский, А.А. Теория разностных схем / А.А. Самарский — Москва : Наука, 1977. - 552 с.
12. Стенли, Р. Перечислительная комбинаторика. / Стенли Р. — Москва : Мир, 1990. - 440 с.
13. Leinartas, Е.К. On the Rationality of Multidimentional Recusive Series / E.K. Leinartas, A.P. Lyapin // Journal of Siberian Federal University. — Mathematics & Physics. —2009. — Vol. 2, > 4. — C. 449-455.
14. Lipshitz, L. D-Finite Power Series / L.Lipshitz // Department of Mathematics, Purdue University, West Lafayette, Indiana. — 1987. — Vol. 122. - C. 353-373.
15. Merlini, D. On Some Alternative Characterizations of Riordan Arrays / Donatella Merlini,Douglas G. Rogers, Renzo Sprugnoli, M. Cecilia Verri // Canadian Journal of Mathematics —1997. — Vol. 49. — C. 301-320.
16. Moivre A. De fractionibus algebraicis radicalitate immunibus ad fractiones simpliciores reducendis, deque summandis terminis quarumdam serierum aequali intervallo a se distantibus / A. de Moivre // Philosophical transactions —Vol. 32 — 1722. — C. 162-178.
17. Информация о числах Каталана [Электронный ресурс] — режим доступа : https://oeis.org/A000108