漸化式

漸化式の概要

数学における漸化式（ぜんかしき）は、数列を再帰的に定義する等式で、各項がそれ以前の項の関数として記述されます。漸化式は、差分方程式と呼ばれることもあり、同じ意味で使われることがあります。例えば、フィボナッチ数列やロジスティック写像が漸化式の代表的な例です。

漸化式の基礎

漸化式を解くとは、添字 n に関する非再帰的な関数として一般項を求めることを指します。たとえば、フィボナッチ数列は、以下のように定義されます:

$$F_n = F_{n-1} + F_{n-2}$$
初期値 $F_0 = 0, F_1 = 1$ が与えられると、この漸化式から数列が導出され、最初の数項は 0, 1, 1, 2, 3, 5, 8, 13, 21, 34 となり、このように無限に続くことがわかります。

この数列は、陽に書けば次のように表せますが、無限個の式が含まれていることに注意が必要です。

• - $F_2 = F_1 + F_0$
• - $F_3 = F_2 + F_1$
• - $F_4 = F_3 + F_2$

漸化式の構造

定数係数の d-階斉次線型漸化式は一般に、以下の形で表されます:

$$a_n = c_1 a_{n-1} + c_2 a_{n-2} + erm_... + c_d a_{n-d}$$
ここで、$c_1, c_2, ext{...}, c_d$ はすべて定数です。このような式の解は、異なる公比を持つ幾何数列の和として表現されることが多いです。特に、ビネーの公式において、フィボナッチ数列の一般項が導かれることがあります。

漸化式の解法

漸化式の解法にはいくつかの方法があります:
1. 特性方程式を使用: 漸化式の特性多項式を求め、固有値を導出します。
2. 行列法を使用: 行列の性質を使って初期条件から解を求める方法です。
3. Z変換の利用: 特定のタイプの差分方程式は、Z変換を用いて解くことができます。

たとえば、$a_n = A a_{n-1} + B a_{n-2}$ の形の漸化式では、特性方程式 $r^2 - Ar - B = 0$ を導出し、これを解くことで一般解が得られます。

安定性の理論

漸化式の安定性を論じる際には、特性多項式のすべての根が1よりも小さい絶対値を持つことが重要です。この条件が満たされている場合、数列は安定的に収束します。一方、根が1以上の場合は、数列が発散する可能性があります。

他分野での応用

漸化式は生物学や経済学、デジタル信号処理など、様々な分野で応用されます。たとえば、ロジスティック写像は人口動態のモデルとして広く利用されており、与えられた初期値から未来の個体数を予測します。また、デジタル信号処理では、信号のフィードバックを表現するために用いられます。

このように、漸化式は数学だけでなく、多くの応用分野でも重要な役割を果たしています。

もう一度検索