- 410 名前：１３２人目の素数さん mailto:sage [2008/01/04(金) 04:55:41 ]
- >>394-401
同じように 整数 a,b,c,d に対して p=d^(1/3) (ただし 1,d,d^2 はQ上1次独立) として
x[n] + y[n]*p + z[n]*p^2 = ( a + b*p + c*p^2 )^n
で定まる数列 x[n],y[n],z[n]は、行列 A = aE + bD + cD^2 のn乗 A^n の第1列で与えられる。
ただし Dは
D =
[0,0,d]
[1,0,0]
[0,1,0]
であり Eは3次の単位行列。また Dの固有ベクトルは、ω=exp(i*2π/3) として
Dの固有値 p に対しては t[p^2, p, 1]
Dの固有値 ωp に対しては t[ω^2*p^2, ω*p, 1]
Dの固有値 ω^2p に対しては t[ω*p^2, ω^2*p, 1]
Aの固有値は上のそれぞれに対して
a+bp+cp^2, a+bωp+cω^2p^2, a+bω^2p+cωp^2
になる。従って a,b,c が正なら a+bp+cp^2 が絶対値が最大の固有値だが、たとえば
c=0 で aとbが異符号なら a+bωp+cω^2p^2 や a+bω^2p+cωp^2 の方が絶対値が大きくなる。
このため収束列を作りたいなら a,b,c の選択に制限がある。
|
 |
