4年ゼミの話題の一つが,細矢氏が提案するトポロジカルインデックスなんだが,
その中にちょっと「おやっ」となった計算があったので,その紹介と種明かし.ピタゴラス数を生成する行列にまつわる連立漸化式
\begin{equation}
\begin{pmatrix}
a_{n+1}\\
b_{n+1}\\
c_{n+1}
\end{pmatrix}
=
A\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
=
\begin{pmatrix}
1 & 2 & 2\\
2 & 1 & 2\\
2 & 2 & 3
\end{pmatrix}
\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
\end{equation}
から一種類の文字に関する漸化式
\begin{equation}
a_{n+3}=5a_{n+2}+5a_{n+1}-a_n
\end{equation}
等を導く件.本書では
\begin{equation}
\sigma a_n=a_{n+1}
\end{equation}
なる線形作用素を持ち出して
\begin{equation}
\sigma\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
=A\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix},
\end{equation}
すなわち
\begin{equation}
(\sigma I-A)
\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
=\textbf{0}
\end{equation}
(は単位行列)がnontrivialな解をもつことから
\begin{equation}
\det(\sigma I-A)=\sigma^3-5\sigma^2-5\sigma+1=0
\end{equation}
が導かれるので
\begin{equation}
(\sigma^3-5\sigma^2-5\sigma+1)a_n=a_{n+3}-5a_{n+2}-5a_{n+1}+a_n=0
\end{equation}
なる漸化式が得られる,とある.
作用素をあたかも数のように扱って議論しているわけだ.
はて,こんな扱いかた,妥当なんだろうか???
数日悩んだけど,何だか分かったので備忘録.
線形代数でいうところのCayley-Hamiltonの定理の証明を真似をすれば良い.
その証明は特性多項式を
\begin{equation}
p(\lambda)=\det(\lambda I-A)
\end{equation}
とし,の余因子行列をとおけば
\begin{equation}
\tilde{A}(\lambda)(\lambda I-A)=p(\lambda)I
\end{equation}
となるところから始まる.
さて,この両辺はともにの多項式を成分とする行列なので,へ作用素を代入しても大丈夫.
すると
\begin{equation}
p(\sigma)\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
=\tilde{A}(\sigma)(\sigma I-A)
\begin{pmatrix}
a_n\\
b_n\\
c_n
\end{pmatrix}
=\textbf{0}
\end{equation}
となって,確かに作用素としての等式
\begin{equation}
p(\sigma)=\det(\sigma I-A)=0
\end{equation}
が得られる.なるほどね.
因みには役割が対称なので新たにとおけば,
\begin{equation}
\begin{pmatrix}
d_{n+1}\\
c_{n+1}
\end{pmatrix}
=
\begin{pmatrix}
3 & 4\\
2 & 3
\end{pmatrix}
\begin{pmatrix}
d_n\\
c_n
\end{pmatrix}
\end{equation}
と書けるので,今度は
\begin{equation}
\begin{vmatrix}
3-\sigma & 4\\
2 & 3-\sigma
\end{vmatrix}
=\sigma^2-6\sigma+1=0,
\end{equation}
すなわち
\begin{equation}
(\sigma^2-6\sigma+1)c_n=c_{n+2}-6c_{n+1}+c_n=0
\end{equation}
なる漸化式が得られる.