1

定数係数線形漸化式の演算子的解法

327
0
$$$$

読めばわかると思いますがこの記事は微分演算子を参考にして自分なりにまとめたものです。参考程度にお読みください。

演算子$S$の導入

$Sa_n=a_{n+1}$$S^k a_n=a_{n+k}\quad(k=0,1,2,\cdots)$となるように、演算子$S$を次のように定義します。

任意の数列$\{a_n\}_{0,1,2,\cdots}$に対して、$$(C_0S^k+C_1S^{k-1}+\cdots+C_{k-1}S+C_k)a_n=C_0a_{n+k}+C_1a_{n+k-1}+\cdots+C_{k-1}a_{n+1}+C_k a_n$$とする。ただし$C_i(i=0,1,\cdots ,k)$は定数とする。

$$ a_{n+1}-2a_n=(S-2)a_n$$
$$ a_{n+2}+2a_{n+1}+3a_n=(S^2+2S+3)a_n$$
$$ a_{n+2}+a_{n+1}=(S^2+S)a_n=(S+1)a_{n+1}$$
$$ a_{n+k}-a_n=(S^k-1)a_n$$

$S$の多項式に対して次の性質が成り立ちます。

基本性質

$f(S),g(S)$$S$の複素係数多項式とする。
$$𝟙. f(S)(ca_n)=cf(S)a_n,\quad f(S)(a_n+b_n)=f(S)a_n+f(S)b_n$$
$$𝟚. f(S)+g(S)=g(S)+f(S),\quad f(S)g(S)=g(S)f(S)$$
$$𝟛. \{f(S)\pm g(S)\}a_n=f(S)a_n\pm g(S)a_n$$
$$𝟜. f(S)\{g(S)a_n\}=\{f(S)g(S)\}a_n$$が成り立つ。

𝟙,𝟚,𝟛は省略。
𝟜は$\begin{eqnarray} f(S)=\sum_{i=0}^{k}C_i S^i {\large(}C_i\in\mathbb{C}(i=0,1,\cdots ,k){\large)}\end{eqnarray}$として、$\left\lbrace(S-\lambda)f(S)\right\rbrace a_n=(S-\lambda)\left\lbrace f(S)a_n\right\rbrace \quad (\lambda\in\mathbb{C})$を示せばよい。
$$ \begin{eqnarray} \left\lbrace(S-\lambda)f(S)\right\rbrace a_n&=&\left\lbrace(S-\lambda)\sum_{i=0}^{k}C_i S^i\right\rbrace a_n\\&=&\left(\sum_{i=0}^{k}C_i S^{i+1}-\lambda\sum_{i=0}^{k}C_i S^i\right)a_n\\&=&\sum_{i=0}^{k}C_i a_{n+i+1}-\lambda\sum_{i=0}^{k}C_i a_{n+i}\\&=&(S-\lambda)\left(\sum_{i=0}^{k}C_i a_{n+i}\right)\\&=&(S-\lambda)\left\lbrace\sum_{i=0}^{k}C_i S^i a_n\right\rbrace\\&=&(S-\lambda)\left\lbrace f(S)a_n\right\rbrace \end{eqnarray}$$


$\Delta=S-1$と定義すると数列$\{\Delta a_n\}$は数列$\{a_n\}$の階差数列になります。

パスカルの三角形 パスカルの三角形

このように何回も階差を取り続けるとパスカルの三角形が現れますが、$(S-1)^k$を展開してるだけと思えば当たり前です。

定数係数同次線形漸化式の解法その1

漸化式$f(S)a_n=g(n)$が与えられたとき、$g(n)=0$なら同次漸化式、$g(n) \neq 0$なら非同次漸化式と呼ぶことにします。

ここで、$f$$k$次の多項式ならこの漸化式を満たす数列$\{a_n\}_{0,1,2,\cdots}$$a_i(i=0,1,\cdots ,k-1)$を与えれば一意に定まるのでこれらが各々実数値を動くときの漸化式$f(S)a_n=g(n)$を満たす数列$\{a_n\}_{0,1,2,\cdots}$全体の集合を漸化式$f(S)a_n=g(n)$の解と呼ぶことにします。

そして、解が$\begin{eqnarray}\left\lbrace h(n,C_1,C_2,\cdots,C_k) \vert C_i\in \mathbb{C}\quad (i=1,2,\cdots ,k)\right\rbrace\end{eqnarray}$であるとき、一般解は$a_n=h(n,C_1,C_2,\cdots ,C_k)$($C_i (i=1,2,\cdots ,k)$は任意定数)であるともいうことにし、漸化式$f(S)a_n=g(n)$の解の要素を漸化式$f(S)a_n=g(n)$の特殊解と呼ぶことにします。

隣接2項間漸化式$a_{n+1}=\lambda a_n+f(n)(\lambda\in\mathbb{C} \verb|\| \{0\})$の解

$f(n)=0$のとき

$a_{n+1}=\lambda a_n$なので$a_0=C$($C$は任意定数)とすると、一般解は$a_n=C\lambda^n$になります。

$\lambda=1$のとき

$a_{n+1}=a_n+f(n)$なので$a_0=C$($C$は任意定数)とすると、一般解は$$ a_n=C+\sum_{k=0}^{n-1} f(k)\quad (n\geq 1)$$となります。

$a_{n+1}=\lambda a_n+f(n)$の解

$$\begin{eqnarray} a_{n+1}&=&\lambda a_n+f(n)\\ \frac{a_{n+1}}{\lambda^{n+1}}&=&\frac{a_n}{\lambda^n}+\frac{f(n)}{\lambda^{n+1}}\\ \Delta\frac{a_n}{\lambda^n}&=&\frac{f(n)}{\lambda^{n+1}}\\ \frac{a_n}{\lambda^n}&=&C+\sum_{k=0}^{n-1} \frac{f(k)}{\lambda^{k+1}}\\ a_n&=&C\lambda^n+\sum_{k=0}^{n-1}\lambda^{n-k-1}f(k) \end{eqnarray}$$
よって

$\lambda\neq 0$とする。漸化式$a_{n+1}=\lambda a_n+f(n)$の一般解は
$$ a_n=C\lambda^n+\sum_{k=0}^{n-1}\lambda^{n-k-1}f(k)$$ただし$C$は任意定数で、$n\geq 1$とする。

が成り立ちます。

隣接3項間漸化式$a_{n+2}+pa_{n+1}+qa_n=0(p,q\in\mathbb{C})$の解

3項間漸化式なので$q\neq 0$とします。
$\lambda^2+p\lambda+q=0$の解を$\lambda=\alpha,\beta$とすると、$\alpha\neq 0$かつ$\beta \neq 0$であり、
$$\begin{eqnarray} (S-\alpha)(S-\beta)a_n&=&0\\ (S-\beta)a_n&=&\frac{1}{S-\alpha} 0\\ (S-\beta)a_n&=&C\alpha^n\\ a_n&=&\frac{1}{S-\beta}(C\alpha^n)\\a_n&=&C'\beta^n+C \beta^{n-1} \sum_{k=0}^{n-1} \left(\frac{\alpha}{\beta}\right)^n\\ a_n &=& \left\{ \begin{array}{l} C_0 \alpha^n+C_1\beta^n\quad(\alpha\neq \beta) \\ (C_2+C_3n)\alpha^n\quad(\alpha= \beta) \end{array} \right. \end{eqnarray}$$
ただし$\begin{eqnarray}C_0=\frac{C}{\alpha-\beta},C_1=C'-C_0,C_2=C',C_3=\frac{C}{\alpha}\end{eqnarray}$とおいた。

漸化式$(S-\alpha)(S-\beta)a_n=0$の一般解は
$$\begin{eqnarray} a_n=\left\{ \begin{array}{l} C_0 \alpha^n+C_1\beta^n\quad(\alpha\neq \beta) \\ (C_2+C_3n)\alpha^n\quad(\alpha= \beta) \end{array} \right. \end{eqnarray}$$ただし$C_0,C_1,C_2,C_3$は任意定数

4項間以上のときも同様にすれば解を求めることができますが場合分けが少々面倒です。特殊解を使うともう少し簡単にできます。

特殊解を使った非同次線形漸化式の解法

漸化式$a_{n+1}=pa_n+q$を解くとき、$x=px+q$を満たす$x$を求めて辺々引いて$(a_{n+1}-x)=p(a_n-x)$としました。この操作の利点は邪魔な定数$q$が消えて等比数列に帰着することでした。

いま、非同次線形漸化式$$ f(S)a_n=g(n)\quad\cdots(1)$$が与えられていて、$f(S)a_n=0$の一般解$G_n$(これを同次解と呼ぶことにします)がわかっているとします。ただし$f(S)$は多項式です。特殊解を$a_n=P(n)$とおくと$$f(S)P(n) =g(n)\quad\cdots(2)$$であるので、式(1),(2)で辺々引いて$f(S)a_n-f(S)P(n)=0$すなわち$$f(S)\{a_n-P(n)\}=0$$となります。特殊解を用いることで邪魔だった$g(n)$が消えて非同次漸化式を同次漸化式に帰着させることができました。よって、漸化式$ f(S)a_n=g(n)$の一般解は
$$\begin{eqnarray} a_n-P(n)&=&G_n\\ a_n&=&P(n)+G_n \end{eqnarray}$$
となります。特殊解と同次解の和です。


隣接3項間漸化式

$\alpha\neq\beta$とする。$(S-\beta)a_n=C\alpha^n$の特殊解として$\alpha^n$の定数倍が思いつくと思います。$a_n=C_0 \alpha^n$としてみると$(S-\beta)a_n=(C_0 \alpha-C_0\beta)\alpha^n$となるので、$\begin{eqnarray}C_0=\frac{C}{\alpha-\beta}\end{eqnarray}$とすると$a_n=C_0 \alpha^n$が特殊解になります。同次解は$C_1 \beta^n$であるので解は$a_n=C_0 \alpha^n+C_1\beta^n$となります。

命題2の別証明

$$ a_n=\sum_{k=0}^{n-1}\lambda^{n-k-1}f(k) $$とすると
$$\begin{eqnarray} (S-\lambda) a_n& = &\sum_{k=0}^{n} \lambda^{n-k} f(k)- \lambda \sum_{k=0}^{n-1} \lambda^{n-k-1}f(k)\\ &=& \left(f(n)+\sum_{k=0}^{n-1}\lambda^{n-k}f(k)\right) - \sum_{k=0}^{n-1} \lambda^{n-k}f(k)\\ &=&f(n) \end{eqnarray}$$
であるから、これは特殊解である。同次解は$C\lambda^n$であるから、
漸化式$a_{n+1}=\lambda a_n+f(n)$の一般解は
$$ a_n=C\lambda^n+\sum_{k=0}^{n-1}\lambda^{n-k-1}f(k)$$

例2で急に特殊解を思いついていますが、次の事実によるものです。

$f(S)$は多項式で、$f(\lambda)\neq 0$とする。漸化式$f(S)a_n=\lambda^n$に対して、
$$ a_n=\frac{1}{f(\lambda)}\lambda^n$$
は特殊解である。

$$ f(S)= \sum_{i=0}^{k}c_i S^i$$とおくと
$$\begin{eqnarray} f(S)\lambda^n&=&\left(\sum_{i=0}^{k}c_i S^i\right)\lambda^n &=&\sum_{i=0}^{k}c_i \lambda^{n+i}&=&\left(\sum_{i=0}^{k}c_i\lambda^i\right)\lambda^n &=&f(\lambda)\lambda^n\end{eqnarray}$$
となるから、
$$ f(S)\left(\frac{1}{f(\lambda)}\lambda^n\right)=\frac{1}{f(\lambda)}f(S)\lambda^n=\frac{1}{f(\lambda)} f(\lambda)\lambda^n=\lambda^n$$

特殊解を分解して考えることもできます。

$f(S)$を多項式とし、$C_i\quad(i=1,2,\cdots ,k)$を定数とする。漸化式
$$ f(S)a_n=C_1 g_1 (n)+C_2 g_2 (n)+\cdots +C_k g_k (n)$$の特殊解の1つ$P(n)$は、$f(S)a_n=g_i (n)\quad(i=1,2,\cdots ,k)$の特殊解を$a_n=P_i (n)$とすると
$$ P(n)=C_1 P_1 (n)+C_2 P_2 (n)+\cdots +C_k P_k (n)$$で与えられる。

$$ f(S)P_i (n)=g_i (n)\quad(i=1,2,\cdots ,k)$$
であるから、
$$\begin{eqnarray} f(S)\left(\sum_{i=1}^{k}C_i P_i (n)\right)&=&\sum_{i=1}^{k}C_i f(S)P_i (n)\\ &=&\sum_{i=1}^{k}C_i g_i (n) \end{eqnarray}$$

漸化式$$ (S-\gamma)a_n=C_0 \alpha^n+C_1 \beta^n\quad(\alpha\neq\gamma,\beta\neq\gamma)$$の同次解は$C_2 \gamma^n$で、$(S-\gamma)a_n=\alpha^n,(S-\gamma)a_n=\beta^n$の特殊解の1つとしてそれぞれ$\begin{eqnarray}\frac{1}{\alpha-\gamma}\alpha^n,\frac{1}{\beta-\gamma}\beta^n\end{eqnarray}$が取れるので、一般解は$$ a_n=C_3\alpha^n+C_4 \beta^n+C_2 \gamma^n$$である。ただし$\begin{eqnarray}C_3=\frac{C_0}{\alpha-\gamma},C_4=\frac{C_1}{\beta-\gamma}\end{eqnarray}$とおいた。

定数係数同次線形漸化式の解法その2

特性方程式

$f(S)$を多項式とする。漸化式
$$ f(S)a_n=0$$
に対して、方程式
$$ f(\lambda)=0$$
をこの漸化式の特性方程式という。

$x=px+q$

僕が持っている参考書の中には、$a_{n+1}=pa_n+q$に対して$x=px+q$を特性方程式という、と書かれているものがありましたが2項間のときだけ定義を変えるのも変なので、ここでは$x=px+q$は特性方程式と呼ばないことにします。(高校の教科書を確認したところ、そもそも特性方程式という言葉は出てきていませんでした。)

特性方程式が重解を持たない場合

例4では特性方程式が重解を持たないような定数係数隣接4項間同次線形漸化式の一般解を求めています。

例4のように補題3と補題4を使うことで、特性方程式が重解を持たないようなような定数係数隣接$k$項間同次線形漸化式の一般解なら求めることができます。

$f(S)$は重根を持たない$k$次多項式とする。方程式$f(\lambda)=0$の異なる$k$個の解を$\lambda=\lambda_i\quad(i=1,2,\cdots ,k)$とすると、漸化式$$ f(S)a_n=0$$の一般解は
$$ a_n=C_1 \lambda^n_1+C_2 \lambda^n_2+\cdots +C_k \lambda^n_k$$
である。$C_i\quad(i=1,2,\cdots ,k)$は任意定数とする。

全ての自然数$k$で成り立つことを数学的帰納法で示す。
[1]$k=1$の場合は前に証明しているので省略します。
[2]$k=m(m\geq 1)$で成り立つと仮定すると、
$$ (S-\lambda_1)(S-\lambda_2)\cdots(S-\lambda_m)a_n=0$$の一般解は
$$ a_n=C_1 \lambda^n_1+C_2 \lambda^n_2+\cdots +C_m \lambda^n_m$$であるから、
$$ (S-\lambda_1)(S-\lambda_2)\cdots(S-\lambda_m)(S-\lambda_{m+1})a_n=0$$
$$ (S-\lambda_{m+1})a_n=C_1 \lambda^n_1+C_2 \lambda^n_2+\cdots +C_m \lambda^n_m\quad\cdots(A)$$
と変形できる。同次解は$C_{m+1}\lambda^n_{m+1}$である。
補題3から、$$ (S-\lambda_{m+1})a_n=\lambda^n_i\quad(i=1,2,\cdots,m)$$の特殊解は
$$ a_n=\frac{1}{\lambda_i-\lambda_{m+1}}\lambda_i^n$$で与えられるから、補題4より$(A)$の一般解は
$$ a_n=C'_1 \lambda^n_1+C'_2 \lambda^n_2+\cdots +C'_m \lambda^n_m+C_{m+1} \lambda^n_{m+1}\quad\left(C'_i=\frac{C_i}{\lambda_i-\lambda_{m+1}}\right)$$
である。よって$k=m+1$でも成り立つ。
[1],[2]より、全ての自然数$k$で成り立つ。

途中で$\begin{eqnarray}\frac{1}{\lambda_i-\lambda_{m+1}}\end{eqnarray}$が出てきているので$f(S)$が重解を持つときは残念ながらこの方法は使えません。

特性方程式が重解を持つ場合

まずは次の等式を証明します。($\Delta=S-1$です。)

$k$は自然数の定数とする。
$$ (S-\lambda)^k a_n=\lambda^{n+k}\Delta^k (\lambda^{-n}a_n)$$ただし$\lambda\neq 0$とする。

二項係数は$\begin{eqnarray}\binom{n}{k}\end{eqnarray}$ $\left(={}_n\mathrm{C}_k\right)$で書きます。
$$\begin{eqnarray} (S-\lambda)^k a_n &=& \sum_{i=0}^{k}\binom{k}{i}(-\lambda)^{k-i}S^i a_n\\ &=& \sum_{i=0}^{k}\binom{k}{i}(-1)^{k-i} \lambda^{k-i}a_{n+i}\\ &=& \lambda^{n+k}\sum_{i=0}^{k}\binom{k}{i}(-1)^{k-i}\frac{a_{n+i}}{\lambda^{n+i}}\\ &=& \lambda^{n+k}\sum_{i=0}^{k}\binom{k}{i}(-1)^{k-i}S^i\frac{a_n}{\lambda^n}\\ &=&\lambda^{n+k}(S-1)^k\frac{a_n}{\lambda^n}\\ &=&\lambda^{n+k}\Delta^k (\lambda^{-n}a_n) \end{eqnarray}$$

これを使って$(S-\lambda)^k a_n=0$の一般解を求めると、
$$\begin{eqnarray} (S-\lambda)^k a_n&=&0\\ \lambda^{n+k}\Delta^k (\lambda^{-n}a_n)&=&0\\ \Delta^k (\lambda^{-n}a_n)&=&0 \end{eqnarray}$$
であるので
$$\begin{eqnarray} \Delta^{k-1}(\lambda^{-n}a_n)&=&C_0\\ \Delta^{k-2}(\lambda^{-n}a_n)&=&C_1 +C_2 n\\ \vdots \\ \end{eqnarray}$$
$$\begin{eqnarray} \lambda^{-n}a_n&=&C'_0 +C'_1 n+C'_2 n^2+\cdots +C'_{k-1} n^{k-1})\\ a_n&=&(C'_0 +C'_1 n+C'_2 n^2+\cdots +C'_{k-1} n^{k-1})\lambda^n \end{eqnarray}$$

ここで、命題2と$\begin{eqnarray}\sum_{i=0}^{n}i^k \end{eqnarray}$$n$$k+1$次式で表されることを用いています。また、その式は$n=0$を代入すると0になるので、$n=0$のときも成り立ちます。

よって、

$k$は自然数の定数とする。漸化式$(S-\lambda)^k a_n=0$の一般解は
$$ a_n=(C_0 +C_1 n+C_2 n^2+\cdots +C_{k-1} n^{k-1})\lambda^n$$
ただし$\lambda\neq 0$であり、$C_i(i=0,1,\cdots ,k-1)$は任意定数とする。


そして、次が成り立ちます。

$\lambda\neq 0,1$とし、漸化式$(S-\lambda)^m a_n=0$の解を$G(\lambda,m)$とする。任意の$\begin{eqnarray}f(n)\in G(\lambda,m)\end{eqnarray}$に対して、漸化式$$ \Delta^k a_n=f(n)$$の特殊解であって$G(\lambda,m)$に属するものがただ1つ存在し、逆に、任意の$\begin{eqnarray}g(n)\in G(\lambda,m)\end{eqnarray}$に対して$\Delta^k g(n)\in G(\lambda,m)$となる。

$\begin{eqnarray}g(n)\in G(\lambda,m)\end{eqnarray}$ならば$g(n)=(C_0 +C_1 n+C_2 n^2+\cdots +C_{m-1} n^{m-1})\lambda^n$とおけて、
$$\begin{eqnarray} \Delta g(n)&=&(C_0 +C_1 (n+1)+C_2 (n+1)^2+\cdots +C_{m-1} (n+1)^{m-1})\lambda^{n+1}-(C_0 +C_1 n+C_2 n^2+\cdots +C_{m-1} n^{m-1})\lambda^n\\ &=&(C_0\lambda-C_0 +C_1 \lambda(n+1)-C_1 n+C_2\lambda (n+1)^2-C_2 n^2+\cdots +C_{m-1}\lambda (n+1)^{m-1}-C_{m-1} (n+1)^{m-1})\lambda^n \end{eqnarray}$$
であるので、常に$\begin{eqnarray}\Delta g(n)\in G(\lambda,m)\end{eqnarray}$
また、$i$次の係数は$C_j(j=i,i+1,\cdots ,m-1)$で表されるので、任意の$\begin{eqnarray}f(n)\in G(\lambda,m)\end{eqnarray}$$\Delta g(n)=f(n)$となるような定数$C_i(i=0,1,\cdots ,k-1)$は一意に決定される。
これを$k$回繰り返せば、題意が従う。

これで準備は整いました。

$k$は自然数の定数とする。漸化式
$$ (S-\lambda_1)^{m_1}(S-\lambda_2)^{m_2}\cdots (S-\lambda_k)^{m_k}a_n=0$$の一般解は
$$ a_n= \sum_{i=1}^{k}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C_{i,j}n^j\right) $$
である。ただし$\lambda_i(i=1,2,\cdots ,k)$は0でない相異なる実数であり、$m_i(i=1,2,\cdots ,k)$は正の整数であり、$C_{i,j}$は任意定数とする。

全ての自然数$k$で成り立つことを数学的帰納法で示す。
[1]$k=1$のときは補題7より成立する。
[2]$k=N(\geq 1)$で成り立つと仮定すると、
$$ (S-\lambda_1)^{m_1}(S-\lambda_2)^{m_2}\cdots (S-\lambda_N)^{m_N}a_n=0$$の一般解は$$ a_n= \sum_{i=1}^{N}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C_{i,j}n^j\right) $$であるから、$$ (S-\lambda_1)^{m_1}(S-\lambda_2)^{m_2}\cdots (S-\lambda_N)^{m_N}(S-\lambda_{N+1})^{m_{N+1}}a_n=0\quad \cdots (B)$$$$ (S-\lambda_{N+1})^{m_{N+1}}a_n=\sum_{i=1}^{N}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C_{i,j}n^j\right) $$と変形できる。これの同次解は$$ \lambda_{N+1}^n\sum_{j=0}^{m_{N+1}-1}C_{{N+1},j}n^j$$である。
ここで、$$ (S-\lambda_{N+1})^{m_{N+1}}a_n=\lambda_i^n\sum_{j=0}^{m_i-1}C_{i,j}n^j\quad (i=1,2,\cdots,m)\quad \cdots(C)$$は補題6より$$\begin{eqnarray} \lambda_{N+1}^{n+m_{N+1}}\Delta^{m_{N+1}} (\lambda_{N+1}^{-n}a_n)&=&\lambda_i^n\sum_{j=0}^{m_i-1}C_{i,j}n^j\\ \Delta^{m_{N+1}} (\lambda_{N+1}^{-n}a_n)&=&\lambda_{N+1}^{m_{N+1}}\left(\frac{\lambda_i}{\lambda_{N+1}}\right)^n \cdot \sum_{j=0}^{m_i-1}C_{i,j}n^j\quad\cdots(D)\end{eqnarray}$$と変形でき、補題7より、漸化式$(S-\lambda)^m a_n=0$の一般解を$a_n=g(\lambda,m)$とすると、$$ g\left(\frac{\lambda_i}{\lambda_{N+1}},m_i\right)=\left(\frac{\lambda_i}{\lambda_{N+1}}\right)^n\cdot\sum_{j=0}^{m_i-1}C_{i,j}n^j$$であるので、$$ \Delta^{m_{N+1}} (\lambda_{N+1}^{-n}a_n)=g\left(\frac{\lambda_i}{\lambda_{N+1}},m_i\right)\quad\cdots(E)$$
よって補題8より、$(E)$の特殊解であって$\begin{eqnarray}G\left(\frac{\lambda_i}{\lambda_{N+1}},m_i\right)\end{eqnarray}$に属するものが存在するから、適切に定数$C'_{i,j}$を取って、$$ \lambda_{N+1}^{-n}a_n=\left(\frac{\lambda_i}{\lambda_{N+1}}\right)^n\sum_{j=0}^{m_i-1}C'_{i,j}n^j$$とすれば、これは(E)を満たす。また、補題8より、$C'_{i,j}$は任意定数としてよい。
ゆえに、$$ \lambda_i^n\sum_{j=0}^{m_i-1}C'_{i,j}n^j$$が(C)の特殊解となるので、補題4より、$$\sum_{i=1}^{N}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C'_{i,j}n^j\right)$$は(B)の特殊解となるから、(B)の一般解は、$$ a_n=\lambda_{N+1}^n\sum_{j=0}^{m_{N+1}-1}C_{{N+1},j}n^j+\sum_{i=1}^{N}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C'_{i,j}n^j\right)$$である。
$C_{{N+1},j}=C'_{{N+1},j}$とおけば、$$ a_n=\sum_{i=1}^{N+1}\left(\lambda_i^n\sum_{j=0}^{m_i-1}C'_{i,j}n^j\right)$$よって$k=N+1$でも成り立つ。
[1],[2]より、全ての自然数$k$で成り立つ。

これですべての定数係数隣接$k$項間同次線形漸化式の一般解を求めることができるようになりました!

命題9で$m_i=1(i=1,2,\cdots ,k)$とすると、
$$ (S-\lambda_1)(S-\lambda_2)\cdots (S-\lambda_k)a_n=0$$の一般解は
$$ a_n= \sum_{i=1}^{k}C_i\lambda_i^n$$
となり、これは命題5の結果と一致する。

漸化式$(S-\alpha)^p(S-\beta)^q a_n=0$($\alpha\neq\beta$$p,q$は正の整数)の一般解は
$$ a_n=(C_{1,0} +C_{1,1} n+\cdots +C_{1,p-1} n^{p-1})\alpha^n+(C_{2,0} +C_{2,1} n+\cdots +C_{2,q-1} n^{q-1})\beta^n$$である。


2005年の東京医科歯科大学の数学入試問題の第1問(2)です。

(2)次のように定義される数列$\{b_n\}$の一般項を求めよ。
$$ b_1=2,b_2=\frac{5}{2},b_3=\frac{17}{4}$$
$$ b_n=\frac{7}{2}b_{n-1}-\frac{7}{2}b_{n-2}+b_{n-3}(n=4,5,6,\cdots)$$

まず一般解を求めます。

$$\begin{eqnarray} b_n=\frac{7}{2}b_{n-1}-\frac{7}{2}b_{n-2}+b_{n-3}\\ b_{n+3}-\frac{7}{2}b_{n+2}+\frac{7}{2}b_{n+1}-b_n&=&0\\ \left(S^3-\frac{7}{2}S^2+\frac{7}{2}S-1\right)b_n&=&0\\ \left(S-\frac{1}{2}\right)(S-1)(S-2)b_n&=&0\\ b_n=C_1 \left(\frac{1}{2}\right)^n+C_2 +C_3 2^n \end{eqnarray}$$
ここで$C_1,C_2,C_3$は定数とする。

次に初期条件から一般項を求めます。

$b_1=2,b_2=\frac{5}{2},b_3=\frac{17}{4}$より、
$$ \begin{eqnarray} \left\{ \begin{array}{l} \frac{1}{2}C_1 +C_2+2C_3=2 \\ \frac{1}{4}C_1 +C_2+4C_3=\frac{5}{2}\\ \frac{1}{8}C_1 +C_2+8C_3=\frac{17}{4} \ \end{array} \right. \end{eqnarray} $$
これを解いて、$C_1=2,C_2=0,C_3=\frac{1}{2}$
よって、$$ b_n=\left(\frac{1}{2}\right)^{n-1}+2^{n-1}$$


非同次の線形漸化式を解くには特殊解を1つ見つける必要がありますが、その詳しい求め方に関しては、また時間のあるときに調べてみようと思います。

投稿日:2023315
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

Omicron
Omicron
14
1373
オミクロン株出てくる前からこの名前でした。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中