2

m項間漸化式の特性方程式はどこから出て来るのか

513
0

はじめに

 この記事では三項間漸化式
an+2=pan+1+qan
を解くときにan+kxkに置き換えた方程式
x2=px+q
が出てくることの謎について考察していきます。

 私が昔漸化式の勉強をしていたときこのような話を見かけました。

 三項間漸化式
an+2=pan+1+qan
特性方程式
x2=px+q
の解x=α,βを使って
an={Aαn+Bβn(αβ)(An+B)αn(α=β)
と解ける。

 このカラクリについては線形代数の勉強をしていたときに次のような説明を知りました。

 上の三項間漸化式は
(an+2an+1)=(pq10)(an+1an)
と表すことができ、右の行列の固有方程式
x2pxq=0
となることからある行列Pがあって
P1(pq10)P=(α00β),(α10α)
と標準化できる。よって漸化式は
(an+2an+1)=(pq10)n(a2a1)={P(αn00βn)P1(a2a1)P(αnnαn10αn)P1(a2a1)と解ける。

 しかしこれだけだと漸化式の特性方程式と行列の固有方程式が一致することの本質的な説明がされておらず、いまいちしっくりきませんでした。
 ということで「なぜan+kxkに置き換えると特性方程式が出て来るのか」と言う話についてそれっぽい説明付けを考えていこうと思います。

線形代数による説明

問題の言い換え

 以下では一般のm項間漸化式
k=0m1ckan+k=0(cm1=1)
を考えることにします。
 このとき数列空間上の線形写像
T:Map(N0,C)Map(N0,C)(an)n(k=0mckan+k)n
行列で表すと
T(a0a1a2)=(c0c1c2cm000c0c1cm1cm000c0cm2cm1cm)(a0a1a2)
を考えると、上の漸化式を解く問題はTの核KerTを求める問題と言い換えることができます。

特性方程式

 さらに別の線形写像(シフト作用素)S(an)n=(an+1)nを考えるとT
T=k=0m1ckSk
と表すことができます。これをSについて因数分解するために特性方程式
k=0m1ckxk=0
を解く必要があります。

問題の帰着

 TSについて因数分解して
T=k=1l(Sαk)ek(αiαj)
とおくと
KerT=k=1lKer(Sαk)ek
が成り立ちます。
 実際T=f1(S)f2(S)(f1,f2は互いに素な多項式)と分解したとき、あるg,hがあって
g(S)f1(S)+h(S)f2(S)=1
が成り立つのでxKerTに対して
x=g(S)f1(S)x+h(S)f2(S)xKerf1(S)Kerf2(S)
が成り立ちます。
 よってKerTを求めるにはKer(Sα)eを求めれば十分となります。

Ker(Sα)eの計算

 ここで元の漸化式に戻って
(Sα)ean=0
を考えると、左辺にαneを掛けることで
0=αnek=0e(ek)(α)ekSkan=k=0e(ek)(1)ekαnkan+k=k=0e(ek)(1)ekSk(αnan)=(S1)e(αnan)
が成り立ちます。
 いまS1は差分作用素
Δan=an+1an
に他ならないので望遠鏡和(和分)
k=0n1Δak=ana0
を繰り返すことでΔean=0からは
ank=0e1(n+kk)(Δkan)0=0
が得られます。
 よって(Sα)ean=0
an=αnk=0e1(n+kk)(Δk(αnan))0
と解けます。
 特に(n+kk)nについてのk次多項式であることに注意すると
Ker(Sα)e={f(n)αndegf<e}
が成り立ちます。

おまけ

 ちなみにこれらの操作は
Eα(an)n=(αnan)nΣ(an)n=(k=0nak)nδ(an)n=(a0)n
と定めると線形写像の演算として
Eα1(Sα)=αΔEα1ΣΔ=(1δ)ΣeΔe=1k=0e1ΣkδΔkΣk(1)n=((n+kk))n
のように書けます。

まとめ

 an+kをシフト演算子Skに置き換えて考えると
T=k=0m1ckSk
を因数分解するために特性多項式
k=0m1ckxk=0
を解く必要があり、
T=k=1l(Sαk)ek
と因数分解することで
an=k=1lfk(n)αkn(degfk<ek)
と解くことができる。という話でした。
 これで「なぜan+kxkに置き換えるのか」という謎について説明できたのではないでしょうか。
 ついでにいくつかおまけを書いておきます。
 では。

おまけ:一次分数型の漸化式

 一次分数型の漸化式
an+1=pan+qran+s
を解くときも特性方程式
x=px+qrx+s
が出てきます。これについても行列によってある程度説明できます。
 その前にまずメビウス変換(一次分数変換)と行列の対応について説明します。

 複素行列
A=(pqrs)(detA=psqr0)
の複素数zへの作用を
Az=pz+qrz+s
によって定めます。このときこの作用は結合的となる、つまり行列A,Bに対して
A(Bz)=(AB)z
が成り立ちます。このことは次のように確かめられます。

 ベクトルx=(x,y)(y0)に対してf(x)=(x/y,1)=x/yと定めるとf(ax)=f(x)より
f(Af(Bx))=f(ABx/(Bx)2)=f(ABx)
が成り立つのでx=(z,1)としてこの両辺の第一成分を比較することでA(Bz)=(AB)zを得る。

 さてこれによって一次分数型の漸化式an+1=Aan
an=Ana0
と解くことができます。
 よってAの標準化を考えればよく、Aの固有ベクトル
Ax=αx
x=(x,1)として考えると
(px+qrx+s)=α(x1)
なのでこの比を取ることで特性方程式
px+qrx+s=x
が出てきます。

 また特性方程式が異なる二解x=x1,x2を持つとき、A
P=(x1x2)=(x1x211)
によって
P1AP=(α00β)
と対角化されるので
Q=(1x21x1)=(detP)P1
とおくと
Qan+1=QAQ1(Qan)=α(Qan)+00(Qan)+β=αβ(Qan)
と等比数列
bn=Qan
が得られたりします。

 ちなみにan+1=AanAの標準化
P1AP=(α00β),(α10α)
によって
an=aαn+bβncαn+dβn,an+bcn+d
と解けます。このα,βを求める方程式は特性方程式とは違って
det(xIA)=(xp)(xs)qr=0
となります。

おまけ:微分方程式へのアナロジー

 今回漸化式を解いたのと同じようにしてm階微分方程式
k=0m1ckdkydxk=0
も解くことができます。
 ここでは関数空間C(C)上の線形写像
L=k=0m1ckDk(D=ddx)
を考えます。例のごとく
L=k=1l(Dαk)ek
と因数分解すると
KerL=k=1lKer(Dαk)ek
が成り立ちます。
 そしてライプニッツ則より
eαx(Dα)ey=k=0e(ek)(eαx)(ek)y(k)=De(eαxy)
が成り立つので(Dα)ey=0
y=f(x)eαx(degf<e)
と解けます。

投稿日:202313
OptHub AI Competition

この記事を高評価した人

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

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

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

子葉
子葉
1065
259608
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 線形代数による説明
  3. まとめ
  4. おまけ:一次分数型の漸化式
  5. おまけ:微分方程式へのアナロジー