Рекуррентная формула

Рекуррентная формула — формула вида $a_n=f(n,a_{n-<!--\; -\; -->1},a_{n-<!--\; -\; -->2},\dots <!--\; \dots \; -->,a_{n-<!--\; -\; -->p})$$a_{n}=f(n,a_{n-1},a_{n-2},\dots ,a_{n-p})$, выражающая каждый член последовательности $a_n$$a_n$ через $p$$p$ предыдущих членов и номер члена последовательности $n$$n$.

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

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

ПримерыПравить

• Функция факториала натурального числа удовлетворяет рекуррентной формуле:

  $n!={\begin{cases}1,&n=0;\\(n-1)!\cdot n,&n\geqslant 1.\end{cases}}$ 

• Числа Фибоначчи задаются линейной рекуррентной формулой:

  $F_{n}={\begin{cases}0,&n=0;\\1,&n=1;\\F_{n-1}+F_{n-2},&n\geqslant 2.\end{cases}}$ 

• Значение интеграла $I_n=\int <!--\; \int \; -->{\sin }^n<!--\; \; -->xdx$$\textstyle I_{n}=\int \sin ^{n}x\,dx$  удовлетворяет рекуррентной формуле:

  $I_n=\frac{-<!--\; -\; -->\cos <!--\; \; -->x\cdot <!--\; \cdot \; -->{\sin }^{n-<!--\; -\; -->1}<!--\; \; -->x}{n}+\frac{n-<!--\; -\; -->1}{n}{I}_{n-<!--\; -\; -->2}.$$I_{n}={\frac {-\cos x\cdot \sin ^{n-1}x}{n}}+{\frac {n-1}{n}}I_{n-2}.$ 

• Решение дифференциального уравнения Бесселя $y^{″}+(1/x)y^{\prime }+(1-<!--\; -\; -->{\mathrm{\nu <!--\; \nu \; -->}}^2/x^2)y=0$$y''+(1/x)y'+(1-\nu ^{2}/x^{2})y=0$  может быть записано в виде степенного ряда:

  $y=\underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}{a}_n{x}^{2n+\mathrm{\nu <!--\; \nu \; -->}}.$$y=\sum \limits _{n=0}^{\infty }a_{n}x^{2n+\nu }.$ 

Чтобы определить коэффициенты $a_n$$a_n$ , достаточно установить, что $4n(n+\mathrm{\nu <!--\; \nu \; -->})a_n+a_{n-<!--\; -\; -->2}=0$$4n(n+\nu )a_{n}+a_{n-2}=0$  для всех $n\ge <!--\; \ge \; -->1$$n\geq 1$ . После чего сразу получается известный результат:

$a_n=\frac{(-<!--\; -\; -->1{)}^n{a}_0}{2^{2^n}n!(1+\mathrm{\nu <!--\; \nu \; -->})(2+\mathrm{\nu <!--\; \nu \; -->})\cdots <!--\; \cdots \; -->(n+\mathrm{\nu <!--\; \nu \; -->})}.$$a_{n}={\frac {(-1)^{n}a_{0}}{2^{2^{n}}n!(1+\nu )(2+\nu )\cdots (n+\nu )}}.$ 

• Длина стороны при удвоении числа сторон вписанного правильного n-угольника:

  $a_{2n}=\sqrt{2R^2-<!--\; -\; -->2R\sqrt{R^2-<!--\; -\; -->\frac{a_n^2}{4}}},n\ge <!--\; \ge \; -->2,$$a_{2n}={\sqrt {2R^{2}-2R{\sqrt {R^{2}-{\frac {a_{n}^{2}}{4}}}}}},\qquad n\geq 2,$ 

где $R$$R$  — радиус описанной окружности.

Линейные рекуррентные уравненияПравить

Линейное рекуррентное уравнение с постоянными коэффициентами имеет вид:

$f_{n+r}+a_1{f}_{n+r-<!--\; -\; -->1}+a_2{f}_{n+r-<!--\; -\; -->2}+\dots <!--\; \dots \; -->+a_r{f}_n=\mathrm{\phi <!--\; \phi \; -->}(n).$$f_{n+r}+a_{1}f_{n+r-1}+a_{2}f_{n+r-2}+\ldots +a_{r}f_{n}=\varphi (n).$ 

Здесь $n$$n$  — неотрицательные целые числа, $f_n$$f_{{n}}$  — последовательность чисел, $a_1,a_2,\dots <!--\; \dots \; -->,a_r$$a_{1},a_{2},\ldots ,a_{r}$  — постоянные числа, $a_r\ne <!--\; \ne \; -->0$$a_{{r}}\neq 0$ , $\mathrm{\phi <!--\; \phi \; -->}(n)$$\varphi (n)$  — заданная функция от $n$$n$ .

Однородные линейные рекуррентные уравненияПравить

Основная статья: Линейная рекуррентная последовательность

Предположим, что последовательность чисел $f_0,f_1,\dots <!--\; \dots \; -->$$f_{0},f_{1},\dots$  удовлетворяет однородному линейному рекуррентному уравнению $f_{n+r}+a_1{f}_{n+r-<!--\; -\; -->1}+a_2{f}_{n+r-<!--\; -\; -->2}+\dots <!--\; \dots \; -->+a_r{f}_n=0$$f_{n+r}+a_{1}f_{n+r-1}+a_{2}f_{n+r-2}+\ldots +a_{r}f_{n}=0$ , где $n$$n$  — неотрицательные целые числа, $a_1,\dots <!--\; \dots \; -->,a_r$$a_{1},\ldots ,a_{r}$  — заданные постоянные числа и $a_r\ne <!--\; \ne \; -->0$$a_{{r}}\neq 0$ .

Обозначим через $F(z)$$F(z)$  производящую функцию последовательности $f_0,f_1,\dots <!--\; \dots \; -->$$f_{0},f_{1},\dots$ . Построим многочлен $K(z)=1+a_{1}z+a_2{z}^2+\dots <!--\; \dots \; -->+a_r{z}^r$$K(z)=1+a_{1}z+a_{2}z^{2}+\ldots +a_{r}z^{r}$ . Этот многочлен можно рассматривать как производящую функцию последовательности $1,a_1,a_2,\dots <!--\; \dots \; -->,a_r,0,0,\dots <!--\; \dots \; -->$$1,a_{1},a_{2},\ldots ,a_{r},0,0,\dots$ . Рассмотрим произведение производящих функций $C(z)=F(z)K(z)$$C(z)=F(z)K(z)$ . Коэффициент $c_{n+r}$$c_{{n+r}}$  при $z^{n+r}$$z^{{n+r}}$  и $n\ge <!--\; \ge \; -->0$$n\geq 0$  определяется соотношением $c_{n+r}=f_{0}0+\dots <!--\; \dots \; -->+f_{n-<!--\; -\; -->1}0+f_n{a}_r+\dots <!--\; \dots \; -->+f_{n+r}1=f_{n+r}+a_1{f}_{n+r-<!--\; -\; -->1}+\dots <!--\; \dots \; -->+a_r{f}_n$$c_{n+r}=f_{0}0+\ldots +f_{n-1}0+f_{n}a_{r}+\ldots +f_{n+r}1=f_{n+r}+a_{1}f_{n+r-1}+\ldots +a_{r}f_{n}$  и равен нулю. Это означает, что многочлен $C(z)$$C(z)$  имеет степень самое большее $r-<!--\; -\; -->1$$r-1$ , следовательно степень числителя рациональной функции $F(z)=\frac{C(z)}{K(z)}$$F(z)={\frac {C(z)}{K(z)}}$  меньше степени знаменателя.

Характеристическим многочленом линейного рекуррентного уравнения называется многочлен $g(z)=z^r+a_1{z}^{r-<!--\; -\; -->1}+\dots <!--\; \dots \; -->+a_r$$g(z)=z^{r}+a_{1}z^{r-1}+\ldots +a_{r}$ . Корни этого многочлена называются характеристическими. Характеристический многочлен можно представить в виде $g(z)=(z-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_1{)}^{e_1}(z-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_2{)}^{e_2}\cdots <!--\; \cdots \; -->(z-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_s{)}^{e_s}$$g(z)=(z-\alpha _{1})^{e_{1}}(z-\alpha _{2})^{e_{2}}\cdots (z-\alpha _{s})^{e_{s}}$ , где ${\mathrm{\alpha <!--\; \alpha \; -->}}_1,\dots <!--\; \dots \; -->,{\mathrm{\alpha <!--\; \alpha \; -->}}_s$$\alpha _{1},\ldots ,\alpha _{s}$  — различные характеристические корни, $e_1,\dots <!--\; \dots \; -->,e_s$$e_{1},\ldots ,e_{s}$  — кратности характеристических корней, $e_1+e_2+\dots <!--\; \dots \; -->+e_s=r$$e_{1}+e_{2}+\ldots +e_{s}=r$ .

Характеристический многочлен $g(z)$$g(z)$  и многочлен $K(z)$$K(z)$  связаны между собой соотношением $K(z)=z^{r}g\left(\frac{1}{z}\right)$$K(z)=z^{r}g\left({\frac {1}{z}}\right)$ . Таким образом,

$K(z)=(1-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_{1}z{)}^{e_1}(1-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_{2}z{)}^{e_2}\cdots <!--\; \cdots \; -->(1-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_{s}z{)}^{e_s}.$$K(z)=(1-\alpha _{1}z)^{e_{1}}(1-\alpha _{2}z)^{e_{2}}\cdots (1-\alpha _{s}z)^{e_{s}}.$ 

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

$F(z)=\frac{C(z)}{K(z)}=\underset{i=1}{\overset{s}{\sum <!--\; \sum \; -->}}\underset{k=1}{\overset{e_i}{\sum <!--\; \sum \; -->}}\frac{{\mathrm{\beta <!--\; \beta \; -->}}_{ik}}{(1-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_{i}z{)}^k}.$$F(z)={\frac {C(z)}{K(z)}}=\sum _{i=1}^{s}\sum _{k=1}^{e_{i}}{\frac {\beta _{ik}}{(1-\alpha _{i}z)^{k}}}.$ 

Каждая дробь в этом выражении имеет вид $\mathrm{\beta <!--\; \beta \; -->}(1-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}z{)}^{-<!--\; -\; -->k}$$\beta (1-\alpha z)^{{-k}}$ , поэтому её можно разложить в степенной ряд следующего вида

$\mathrm{\beta <!--\; \beta \; -->}(1-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}z{)}^{-<!--\; -\; -->k}=\mathrm{\beta <!--\; \beta \; -->}\left[1+(-<!--\; -\; -->k)(-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}z)+\dots <!--\; \dots \; -->+\frac{(-<!--\; -\; -->k)\cdots <!--\; \cdots \; -->(-<!--\; -\; -->k-<!--\; -\; -->n+1)}{n!}(-<!--\; -\; -->\mathrm{\alpha <!--\; \alpha \; -->}z{)}^n+\dots <!--\; \dots \; -->\right]$$\beta (1-\alpha z)^{-k}=\beta \left[1+(-k)(-\alpha z)+\ldots +{\frac {(-k)\cdots (-k-n+1)}{n!}}(-\alpha z)^{n}+\ldots \right]$ .

Коэффициент при $z^n$$z^{n}$  в этом ряду равен

$\frac{\mathrm{\beta <!--\; \beta \; -->}(n+k-<!--\; -\; -->1)\cdots <!--\; \cdots \; -->k}{n!}{\mathrm{\alpha <!--\; \alpha \; -->}}^n=\mathrm{\beta <!--\; \beta \; -->}(\genfrac{}{}{0ex}{}{n+k-<!--\; -\; -->1}{n}){\mathrm{\alpha <!--\; \alpha \; -->}}^n=\mathrm{\beta <!--\; \beta \; -->}(\genfrac{}{}{0ex}{}{n+k-<!--\; -\; -->1}{k-<!--\; -\; -->1}){\mathrm{\alpha <!--\; \alpha \; -->}}^n.$${\frac {\beta (n+k-1)\cdots k}{n!}}\alpha ^{n}=\beta {\binom {n+k-1}{n}}\alpha ^{n}=\beta {\binom {n+k-1}{k-1}}\alpha ^{n}.$ 

Следовательно, производящая функция $F(z)=\underset{n=0}{\overset{\mathrm{\infty <!--\; \infty \; -->}}{\sum <!--\; \sum \; -->}}\left(\underset{i=1}{\overset{s}{\sum <!--\; \sum \; -->}}{p}_i(n){\mathrm{\alpha <!--\; \alpha \; -->}}_i^n\right)z^n$$F(z)=\sum _{n=0}^{\infty }\left(\sum _{i=1}^{s}p_{i}(n)\alpha _{i}^{n}\right)z^{n}$  и $f_n=\underset{i=1}{\overset{s}{\sum <!--\; \sum \; -->}}{p}_i(n){\mathrm{\alpha <!--\; \alpha \; -->}}_i^n$$f_{{n}}=\sum _{{i=1}}^{{s}}p_{{i}}(n)\alpha _{{i}}^{{n}}$  является общим решением линейного рекуррентного уравнения, где $p_i(n)$$p_{{i}}(n)$  — многочлен от $n$$n$  степени самое большее $e_i-<!--\; -\; -->1$$e_{{i}}-1$ .

Пример

Пусть требуется найти решение уравнения $f_{n+2}-<!--\; -\; -->f_{n+1}+f_n=0$$f_{{n+2}}-f_{{n+1}}+f_{{n}}=0$  c граничными условиями $f_0=1$$f_{{0}}=1$  и $f_1=1$$f_{{1}}=1$ .

Данное уравнение имеет характеристический многочлен $z^2-<!--\; -\; -->z+1=(z-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_1)(z-<!--\; -\; -->{\mathrm{\alpha <!--\; \alpha \; -->}}_2)$$z^{2}-z+1=(z-\alpha _{1})(z-\alpha _{2})$ , где ${\mathrm{\alpha <!--\; \alpha \; -->}}_1=\frac{1}{2}+i\frac{\sqrt{3}}{2}=e^{i\frac{\mathrm{\pi <!--\; \pi \; -->}}{3}}$$\alpha _{{1}}={\frac {1}{2}}+i{\frac {{\sqrt {3}}}{2}}=e^{{i{\frac {\pi }{3}}}}$ , ${\mathrm{\alpha <!--\; \alpha \; -->}}_2=\frac{1}{2}-<!--\; -\; -->i\frac{\sqrt{3}}{2}=e^{-<!--\; -\; -->i\frac{\mathrm{\pi <!--\; \pi \; -->}}{3}}$$\alpha _{{2}}={\frac {1}{2}}-i{\frac {{\sqrt {3}}}{2}}=e^{{-i{\frac {\pi }{3}}}}$ . Общее решение имеет вид $f_n=c_1{\mathrm{\alpha <!--\; \alpha \; -->}}_1^n+c_2{\mathrm{\alpha <!--\; \alpha \; -->}}_2^n=c_1{e}^{\frac{i\mathrm{\pi <!--\; \pi \; -->}n}{3}}+c_2{e}^{\frac{-<!--\; -\; -->i\mathrm{\pi <!--\; \pi \; -->}n}{3}}$$f_{{n}}=c_{{1}}\alpha _{{1}}^{{n}}+c_{{2}}\alpha _{{2}}^{{n}}=c_{{1}}e^{{{\frac {i\pi n}{3}}}}+c_{{2}}e^{{{\frac {-i\pi n}{3}}}}$ . Подставляя $n=0,1$$n=0,1$ , получаем $c_1+c_2=1$$c_{{1}}+c_{{2}}=1$ , $c_1{\mathrm{\alpha <!--\; \alpha \; -->}}_1+c_2{\mathrm{\alpha <!--\; \alpha \; -->}}_2=1$$c_{{1}}\alpha _{{1}}+c_{{2}}\alpha _{{2}}=1$ . Получаем значения $c_1=\frac{1}{2}-<!--\; -\; -->i\frac{1}{2\sqrt{3}}$$c_{{1}}={\frac {1}{2}}-i{\frac {1}{2{\sqrt {3}}}}$ , $c_2=\frac{1}{2}+i\frac{1}{2\sqrt{3}}$$c_{{2}}={\frac {1}{2}}+i{\frac {1}{2{\sqrt {3}}}}$ . Таким образом $f_n=\left(\frac{1}{2}-<!--\; -\; -->i\frac{1}{2\sqrt{3}}\right)\left(\cos <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)+i\sin <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)\right)+\left(\frac{1}{2}+i\frac{1}{2\sqrt{3}}\right)\left(\cos <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)-<!--\; -\; -->i\sin <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)\right)=\cos <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)+\frac{1}{\sqrt{3}}\sin <!--\; \; -->\left(\frac{\mathrm{\pi <!--\; \pi \; -->}n}{3}\right)$$f_{n}=\left({\frac {1}{2}}-i{\frac {1}{2{\sqrt {3}}}}\right)\left(\cos \left({\frac {\pi n}{3}}\right)+i\sin \left({\frac {\pi n}{3}}\right)\right)+\left({\frac {1}{2}}+i{\frac {1}{2{\sqrt {3}}}}\right)\left(\cos \left({\frac {\pi n}{3}}\right)-i\sin \left({\frac {\pi n}{3}}\right)\right)=\cos \left({\frac {\pi n}{3}}\right)+{\frac {1}{\sqrt {3}}}\sin \left({\frac {\pi n}{3}}\right)$ .

ПриложенияПравить

Существует формула, выражающая общий член линейной рекуррентной последовательности через корни её характеристического многочлена. Например, для последовательности Фибоначчи такой формулой является формула Бине. Рекуррентные формулы используются для описания времени работы алгоритма, рекурсивно обращающегося к самому себе. В такой формуле время, требуемое для решения задачи объемом ввода $n$$n$ , выражается через время решения вспомогательных подзадач.

См. такжеПравить

• Линейная рекуррентная последовательность
• Рекурсивная функция
• Рекурсия
• Основная теорема о рекуррентных соотношениях (упрощенное решение некоторых видов рекуррентных соотношений, возникающих при анализе сложности рекурсивных алгоритмов)

ЛитератураПравить

• Фудзисава Т., Касами Т. Математика для радиоинженеров: теория дискретных структур. — М., издательство=Радио и связь, 1984. — 240 с.