Задайте последовательность рекуррентным способом

Содержание

Решение рекуррентных соотношений
Содержание
Определения [ править ]
Метод производящих функций [ править ]
Примеры [ править ]
[math]1[/math] пример [ править ]
[math]2[/math] пример: числа Фибоначчи [ править ]
[math]3[/math] пример [ править ]
[math]4[/math] пример [ править ]
Конспект урока «Рекуррентное задание числовых последовательностей» (9 класс)

Решение рекуррентных соотношений

Содержание

Определения [ править ]

Определение:

Рекуррентная формула (англ. recurrence relation) — формула вида [math]a_n=f(n, a_, a_, \dots, a_ ) [/math] , выражающая каждый следующий член последовательности [math]a_n[/math] через [math]p[/math] предыдущих членов и номер члена последовательности [math]n[/math] , вместе с заданными первыми p членами, где [math]p[/math] — порядок рекуррентного соотношения.

Для рекуррентного соотношения, которому удовлетворяет последовательность [math] \ < a_n \>[/math] мы часто хотим получить выражение для [math]a_n[/math] . Например, для рекуррентного соотношения, задающего числа Фибоначчи:

[math] F_0 = 0,\qquad F_1 = 1,\qquad F_ = F_ + F_, \quad n\geqslant 2, \quad n\in Z[/math]

[math]a_n[/math] член может быть записан следующим образом: [math]a_n=\dfrac<1><\sqrt<5>>\left( \biggl( \dfrac<1+\sqrt<5>> <2>\biggr)^n — \biggl( \dfrac<1-\sqrt<5>> <2>\biggr)^n \right).[/math]

Для этого можно использовать метод производящих функций (англ. generating function method).

Метод производящих функций [ править ]

Алгоритм получения выражения для чисел [math]a_[/math] , удовлетворяющих рекуррентному соотношению, с помощью производящих функций cостоит из [math]4[/math] шагов.

Записать рекуррентное соотношение и начальные данные для него в следующем виде (если порядок соотношения равен [math]k[/math] ): [math]a_ <0>= …, \\ a_ <1>= …, \\ a_ = …, \\ … \\ a_ = …, n\geqslant k[/math]
Домножить каждую строчку на [math]z[/math] в соответствующей степени ( [math]z^ \cdot a_ = … \cdot z^[/math] ) и сложить все выражения, многоточие надо рассматривать как множество из выражений, где [math]n \in [k, +\infty)[/math] . В левой части получится сумма [math]\displaystyle\sum_^ <\infty>a_nz^n[/math] — это производящая функция, назовем ее [math]G(z)[/math] . Правую часть преобразовать так, чтобы она превратилась в выражение, включающее [math]G(z)[/math] .
Решить полученное уравнение, получив для [math]G(z)[/math] выражение в замкнутом виде.
Разложить [math]G(z)[/math] в степенной ряд, коэффициент при [math]z_n[/math] будет искомым выражением для [math]a_n[/math] .

Примеры [ править ]

[math]1[/math] пример [ править ]

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

Задано линейное однородное рекуррентное соотношение порядка [math]2[/math] с постоянными коэффициентами:
[math]\begin a_0&<>=<>&0,\\ a_1&<>=<>&1,\\ a_n&<>=<>&5a_-6a_, \quad n\geqslant2.\\ \end [/math]

Порядок соотношения — это его «глубина», то есть количество предшествующих элементов, требуемых для вычисления элемента с номером [math]n[/math] . В данном случае порядок равен [math]2[/math] , так как для вычисления [math]a_n[/math] требуется знать [math]a_[/math] и [math]a_[/math] .

Будем искать производящую функцию последовательности в виде
[math] G(z)=\displaystyle\sum_^ <\infty>a_nz^n = a_0+a_1z+a_2z^2+\cdots, [/math]

с этой целью умножим верхнюю строчку в записи рекуррентного соотношения на [math]z^0[/math] , следующую — на [math]z^1[/math] и последнюю — на [math]z^n[/math] :
[math]\begin 1\cdot a_0&<>=<>&0\cdot 1,\\ z\cdot a_1&<>=<>&1\cdot z,\\ z^n\cdot a_n&<>=<>&(5a_-6a_)\cdot z^n, \quad n\geqslant2.\\ \end [/math]

Теперь сложим все уравнения для всех значений [math]n[/math] :
[math] \underbrace^<\infty>a_nz^n>_ <=>z+5\displaystyle\sum_^<\infty>a_z^n-6\displaystyle\sum_^<\infty>a_z^n. [/math]

Левая часть уравнения в точности равна [math]G(z)[/math] , а в правой части есть суммы, очень похожие на функцию [math]G(z)[/math] , но не равные ей. Эти суммы нужно привести к виду [math]G(z)[/math] . Начнём с первой:
[math] \displaystyle\sum_^<\infty>a_z^n \stackrel<(1)><=>z\displaystyle\sum_^<\infty>a_z^ \stackrel<(2)> <=>z\displaystyle\sum_^<\infty>a_z^n \stackrel<(3)> <=>z\biggr( \underbrace< \displaystyle\sum_^<\infty>a_z^n+a_0>_ — a_0\biggr)=z(G(z)-a_0) \stackrel<(4)> <=>z G(z). [/math]

Равенство [math](1)[/math] получатся вынесением [math]z[/math] в первой степени за знак суммы, это необходимо, чтобы уровнять степень переменной [math]z[/math] и индекс переменной a внутри суммы. Действие [math](2)[/math] — изменение индекса суммирования, которое позволяет избавиться от [math]n-1[/math] . Равенство [math](3)[/math] получается, если прибавить и снова отнять значение [math]a_0[/math] , чтобы получить полную сумму от [math]n=0[/math] до [math]∞[/math] . Равенство [math](4)[/math] справедливо в силу того, что [math]a_0=0[/math] .

Аналогичные манипуляции со второй суммой дают нам выражение
[math] \displaystyle\sum_^<\infty>a_z^n = z^2\displaystyle\sum_^<\infty>a_z^ = z^2\displaystyle\sum_^<\infty>a_z^=z^2G(z). [/math]

Теперь наше исходное уравнение для производящей функции принимает вид:
[math] G(z) = z + 5zG(z) -6z^2G(z), [/math]

откуда получаем производящую функцию последовательности в замкнутом виде:
[math] G(z) = \dfrac<1-5z+6z^2>. [/math]

Отыскав производящую функцию в замкнутом виде, её нужно снова разложить в ряд. Это можно сделать разными способами, но самый простой из них — разбить всю дробь на простые дроби и применить формулу для разложения [math]\dfrac<1><1-z>[/math] . Итак, разложим знаменатель функции на множители:
[math] G(z) = \dfrac <1-5z+6z^2>= \dfrac<(1-3z)(1-2z)>. [/math]

Теперь разобьём дробь на сумму простых дробей:
[math] \dfrac <(1-3z)(1-2z)>= \dfrac<1> <1-3z>— \dfrac<1><1-2z>. [/math]

Из этого разложения следует, что
[math] \dfrac<1><1-3z>= \displaystyle\sum_^<\infty>(3z)^n \quad\mbox< и >\quad \dfrac<1><1-2z>= \displaystyle\sum_^<\infty>(2z)^n. [/math]

Таким образом,
[math] G(z) = \displaystyle\sum_^<\infty>3^nz^n — \displaystyle\sum_^<\infty>2^nz^n = \displaystyle\sum_^<\infty>(3^n-2^n)z^n. [/math]

С другой стороны, мы искали [math]G(z)[/math] в виде
[math] G(z)=\displaystyle\sum_^ <\infty>a_nz^n, [/math]
поэтому, в силу равенства рядов, [math]a_n=3^n-2^n[/math] (для [math]n\geqslant 0[/math] ).

[math]2[/math] пример: числа Фибоначчи [ править ]

Рассмотрим рекуррентное соотношение для чисел Фибоначчи:
[math]\begin f_0&<>=<>&0,\\ f_1&<>=<>&1,\\ f_n&<>=<>&f_+f_, \quad n\geqslant2.\\ \end [/math]

Первый шаг алгоритма мы уже выполнили, записав рекуррентное соотношение. Выполним второй шаг:
[math]\begin 1\cdot f_0&<>=<>&0\cdot 1,\\ z\cdot f_1&<>=<>&1\cdot z,\\ z^n\cdot f_n&<>=<>&(f_+f_)\cdot z^n, \quad n\geqslant2.\\ \end [/math]

Складываем все строчки:
[math] f_0 + f_1 z + \displaystyle\sum_^<\infty>f_nz^n = z + \displaystyle\sum_^<\infty>f_z^n+\displaystyle\sum_^<\infty>f_z^n. [/math]

Третий шаг алгоритма требует привести все суммы к замкнутому виду:
[math]\begin G(z) &<>=<>& z + z\displaystyle\sum_^<\infty>f_z^+z^2\displaystyle\sum_^<\infty>f_z^, \\ G(z) &<>=<>& z + z\displaystyle\sum_^<\infty>f_z^n+z^2\displaystyle\sum_^<\infty>f_z^n, \\ G(z)&<>=<>& \displaystyle z + z(G(z)-f_0)+z^2G(z),\\ G(z)&<>=<>& \displaystyle z + zG(z)+z^2G(z),\\ \end [/math]

откуда получаем замкнутое выражение для производящей функции:
[math] G(z) = \dfrac<1-z-z^2>. [/math]

Осталось разложить её в ряд (чего требует четвёртый шаг алгоритма). С этой целью нужно разложить знаменатель на множители. Найдем корни уравнения:
[math]\displaylines< 1-z-z^2 = 0 \cr z_1=-\dfrac<1-\sqrt<5>><2>, z_2=-\dfrac<1+\sqrt<5>><2>. > [/math]

Нам известно разложение следующей рациональной функции:
[math] \dfrac<1> <1-z>= \displaystyle\sum_^<\infty>z^n = 1 + z + z^2 + z^3 + \cdots. [/math]

Рассмотрим первую дробь и поделим в ней числитель и знаменатель на [math]z_1[/math] :
[math] \dfrac = \dfrac1\dfrac<1><1-\dfrac> = \dfrac1\displaystyle\sum_^<\infty>\dfrac. [/math]

Аналогично (но с делением на [math]z_2[/math] ) поступим со второй дробью:
[math] \dfrac = \dfrac1\dfrac1<1-\dfrac> = \dfrac1\displaystyle\sum_^<\infty>\dfrac. [/math]

Данное выражение можно упростить, если обратить внимание на то, что [math]1/z_1=-z_2[/math] , [math]1/z_2=-z_1[/math] и [math]z_1-z_2=√5[/math] . Подставим [math]z_1[/math] и [math]z_2[/math] в предыдущее выражение:
[math] f_n=\dfrac<1><\sqrt<5>>\left( \biggl( \dfrac<1+\sqrt<5>> <2>\biggr)^n — \biggl( \dfrac<1-\sqrt<5>> <2>\biggr)^n \right). [/math]

[math]3[/math] пример [ править ]

Найдём производящую функцию для последовательности квадратов чисел Фибоначчи: $1, 1, 4, 9, 25, \ldots, f_k^2,\ldots$.

По определению последовательности Фибоначчи выполняется:
[math] \left\< \begin f_ = f_ + f_n \\ f_ = f_ — f_n \end \right. [/math]
Возведя в квадрат и сложив, получим:
[math] \begin f_^2 + f_^2 = 2f_^2 + 2f_n^2, \\ f_^2 = 2f_^2 + 2f_n^2 — f_^2, \\ f_^2 = 2f_^2 + 2f_^2 — f_^2.\\ \end [/math]
Обозначим рассматриваемую последовательность [math]A[/math] , а её члены [math]a_n[/math] , тогда:
[math]a_n = 2a_ + 2a_ — a_[/math]

Рекуррентное соотношение:
[math] \begin a_0 = f_0^2 = 1 \\ a_1 = f_1^2 = 1 \\ a_2 = f_2^2 = 4 \\ a_n = 2a_ + 2a_ — a_, \quad n\geqslant3.\\ \end [/math]

Приведём суммы к замкнутому виду:
[math] \begin A(z) = \displaystyle\sum_^<\infty>a_nz^n = 1 + z + 4z^2 + \displaystyle\sum_^<\infty>(2a_ + 2a_ — a_)z^n, \\ A(z) = 1 + z + 4z^2 + 2\displaystyle\sum_^<\infty>a_z^n + 2\displaystyle\sum_^<\infty>a_z^n — \displaystyle\sum_^<\infty>a_z^n, \\ A(z) = 1 + z + 4z^2 + 2z\displaystyle\sum_^<\infty>a_nz^n + 2z^2\displaystyle\sum_^<\infty>a_nz^n — z^3\displaystyle\sum_^<\infty>a_nz^n, \\ A(z) = 1 + z + 4z^2 + 2z(A(z) — 1 — z) + 2z^2(A(z) — 1) — z^3A(z), \\ A(z) = 1 + z + 4z^2 + 2zA(z) — 2z — 2z^2 + 2z^2A(z) — 2z^2 — z^3A(z), \\ A(z)(1 — 2z — 2z^2 + z^3) = 1 + z + 4z^2 — 2z — 2z^2 — 2z^2 = 1 — z, \\ \end [/math]
откуда получаем замкнутое выражение для производящей функции:
[math]G(z) = \dfrac<1 - z><1 - 2z 2z^2 + z^3>.[/math]

[math]4[/math] пример [ править ]

Рассмотрим следующее рекуррентное соотношение:
[math]\begin a_0&<>=<>&1,\\ a_1&<>=<>&2,\\ a_n&<>=<>&6a_-8a_+n, \quad n\geqslant2.\\ \end [/math]

Следующие действия аналогичны тем, которые мы делали для чисел Фибоначчи:
[math]\begin \displaystyle a_0 + a_1 z + \displaystyle\sum_^<\infty> &<>=<>& 1+2z+6\displaystyle\sum_^<\infty>>-8\displaystyle\sum_^<\infty>>+\displaystyle\sum_^<\infty>nz^n, \\ G(z) &<>=<>& 1+2z+6z\displaystyle\sum_^<\infty>>>-8z^2\displaystyle\sum_^<\infty>>>+\displaystyle\sum_^<\infty>nz^n, \\ G(z) &<>=<>& 1+2z+6z\displaystyle\sum_^<\infty>>>-8z^2\displaystyle\sum_^<\infty>>>+\displaystyle\sum_^<\infty>nz^n, \\ G(z) &<>=<> & 1+ 2z + 6z(G(z)-a_0)-8z^2G(z) + \displaystyle\sum_^<\infty>nz^n.\\ G(z) &<>=<> & 1 — 4z + 6zG(z)-8z^2G(z) + \displaystyle\sum_^<\infty>nz^n.\\ \end [/math]

Вспомним, что
[math] (z^n)’ = nz^, [/math]

поэтому
[math] \displaystyle\sum_^<\infty>nz^n=z\displaystyle\sum_^<\infty>nz^=z\displaystyle\sum_^<\infty>(z^n)’=z\biggl(\displaystyle\sum_^<\infty>z^n\biggr)’. [/math]

Последняя сумма может быть свёрнута:
[math] \displaystyle\sum_^<\infty>z^n=\displaystyle\sum_^<\infty>z^n-1-z=\dfrac<1><1-z>-1-z=\dfrac<1-z>. [/math]

Подставив свёрнутое выражение обратно, имеем,
[math] z\biggl(\displaystyle\sum_^<\infty>z^n\biggr)’ = z \biggl(\dfrac<1-z>\biggr)’=\dfrac<(1-z)^2>. [/math]

Таким образом, наше последнее уравнение примет вид
[math] G(z) = 1 -4z + 6zG(z)-8z^2G(z) + \dfrac<(1-z)^2>.\\ [/math]

Это уравнение для производящей функции. Из него выражаем [math]G(z)[/math] :
[math] G(z) = \dfrac<1-6z+11z^2-5z^3><(1-6z+8z^2)(1-z)^2>. [/math]

Дальше мы знаем что делать со всеми этими дробями, кроме, разве лишь, первой. Рассмотрим её (без множителя) подробнее:
[math] \dfrac<1> <(1-z)^2>=(1-z)^ <-2>=\displaystyle\sum_^<\infty>\binom<-2>(-z)^n=\displaystyle\sum_^<\infty>(-1)^n\binom<1>(-z)^n =\displaystyle\sum_^<\infty>(n+1)z^n. [/math]

Источник

Конспект урока «Рекуррентное задание числовых последовательностей» (9 класс)

Выбранный для просмотра документ Открытый урок Рекуррентное задание числовой последовательности.docx

ТЕМА: Рекуррентное задание числовых последовательностей

Цель урока : познакомить учащихся с рекуррентным способом задания числовой последовательности на примере чисел Фибоначчи и разобрать задачи на преобразование одного задания последовательности в другое.

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

Развивающая : продолжить развитие навыков и умений работы с формулами задания функции.

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

Учебник, компьютер (проектор).

Учащиеся получат представление рекуррентных соотношениях.

Узнают о способе перехода от аналитического задания к рекуррентному.

Научатся использовать рекуррентные формулы для вычисления значений последовательности.

Проверка домашнего задания.

Актуализация темы «Способы задания функции»

Изучение нового материала (работа с презентацией).

Определение рекуррентного соотношения.

Различия аналитического и рекуррентного способа задания.

Определение последовательности Фибоначчи

Онтологическая интерпретация чисел Фибоначчи.

Свойства последовательности Фибоначчи.

Решение заданий из учебника

Приветствие, проверка присутствующих. Объявление темы урока, объяснение хода урока.

2. Проверка домашнего задания: № 16.6, 15.41.

3. Актуализация темы «Способы задания функции»

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

4. Изложение нового материала.

1. Определение рекуррентного соотношения

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

2. Различия аналитического и рекуррентного способа задания .

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

3. Определение последовательности Фибоначчи

Опр. ( презентация ) Последовательностью Фибоначчи называется числовая последовательность, у которой заданы изначально первый и второй члены, а n — ый член вычисляется как сумма ( n —1)- го и ( n —2)- го членов.

4. Онтологическая интерпретация чисел Фибоначчи.

На Западе впервые эта последовательность была исследована Леонардо Пизанским, известным как Фибоначчи, в его труде «Liber Abaci» (1202). Он рассматривает развитие идеализированной (биологически нереальной) популяции кроликов, предполагая что: изначально есть новорожденная пара кроликов (самец и самка), со второго месяца после своего рождения кролики начинают спариваться и каждый месяц производить новую пару кроликов, кролики никогда не умирают. Сколько пар кроликов будет через год? ( презентация )

В начале первого месяца есть только одна новорожденная пара (1).

В конце первого месяца по-прежнему только одна пара кроликов, но уже спарившаяся (1)

В конце второго месяца первая пара рождает новую пару и опять спаривается (2)

В конце третьего месяца первая пара рождает еще одну новую пару и спаривается, вторая пара только спаривается (3)

В конце четвертого месяца первая пара рождает еще одну новую пару и спаривается, вторая пара рождает новую пару и спаривается, третья пара только спаривается (5)

5. Свойства последовательности Фибоначчи .

Если числа Фибоначчи заданы следующим образом: