| In[1]:= Solve[α^n == β*α^(n - 1) + α^(n - 2), α]
Out[1]= {{α -> 1/2*(β - Sqrt[4 + β^2])}, {α -> 1/2*(β + Sqrt[4 + β^2])}}
解空間Ker(E^2-β*E+I)の基 n--->(1/2*(β - Sqrt[4 + β^2]))^n n--->(1/2*(β + Sqrt[4 + β^2]))^n
を求めたので(がコレを利用しての意です) ;
In[2]:= c1*(1/2*(β - Sqrt[4 + β^2]))^n + c2*(1/2*(β + Sqrt[4 + β^2]))^n
Out[2]= (c1*(β - Sqrt[4 + β^2])^n)/2^n + (c2*(β + Sqrt[4 + β^2])^n)/2^n
In[3]:= c1*(1/2*(β - Sqrt[4 + β^2]))^n + c2*(1/2*(β + Sqrt[4 + β^2]))^n /. n -> 1
Out[3]= 1/2*c1*(β - Sqrt[4 + β^2]) + 1/2*c2*(β + Sqrt[4 + β^2])
In[4]:= c1*(1/2*(β - Sqrt[4 + β^2]))^n + c2*(1/2*(β + Sqrt[4 + β^2]))^n /. n -> 2
Out[4]= 1/4*c1*(β - Sqrt[4 + β^2])^2 + 1/4*c2*(β + Sqrt[4 + β^2])^2
In[5]:= FullSimplify[Solve[ {1/2*c1*(β - Sqrt[4 + β^2]) + 1/2*c2*(β + Sqrt[4 + β^2]) == 1, 1/4*c1*(β - Sqrt[4 + β^2])^2 + 1/4*c2*(β + Sqrt[4 + β^2])^2 == 0}, {c1, c2}]]
Out[5]= {{c1 -> -(β/2) - (2 + β^2)/ (2*Sqrt[4 + β^2]), c2 -> 1/2*(-β + (2 + β^2)/ Sqrt[4 + β^2])}}
In[6]:= c1*(1/2*(β - Sqrt[4 + β^2]))^n + c2*(1/2*(β + Sqrt[4 + β^2]))^n /. {c1 -> -(β/2) - (2 + β^2)/ (2*Sqrt[4 + β^2]), c2 -> 1/2*(-β + (2 + β^2)/ Sqrt[4 + β^2])}
Out[6]= ((-(β/2) - (2 + β^2)/ (2*Sqrt[4 + β^2]))* (β - Sqrt[4 + β^2])^n)/2^n + 2^(-1 - n)*(-β + (2 + β^2)/ Sqrt[4 + β^2])* (β + Sqrt[4 + β^2])^n が x[n]
|