5

ある漸化式の計算と内容の検討

415
0

本記事の内容

Mathお様投稿の記事「自作漸化式」 にある漸化式を解いてみた.
ある程度結果を得たので記事にしたい.
なお、以下元記事解答の内容も含めてネタバレであるため,
先に問題を解きたいという方は一旦上記リンクから元記事に進まれることをお勧めする.

問題の漸化式と元記事での解答方針

{an}
a1=2,an+1=1+n(n+2)an.
{an}n.

この問題に対して元記事では
bn=an(n+1)
と置いてうまく漸化式を変形することで
bn+1=(n+1)bn+1bn+(n+1) ()

を得て,さらにここから多少の変形によりbn+1tanh
加法定理を適用する形で計算を進めている.
以降の詳細については Mathお様投稿の元記事 を見ていただく
こととして,以下では別の方針で問題にあたる.

一次分数変換の利用

さて、別の方針と言いつつ、(※)の式はそのまま利用したい。
bn+1=(n+1)bn+1bn+(n+1)
を元記事ではtanhの加法定理とみなして計算を進められているが
bn+1bnの一次分数変換であるとみることもできる.
つまり数列{bn}はひとつ前の項に延々とある種の一次分数変換を
施すことで得られる数列であるということができる.

一次分数変換と行列

よく知られた事実として一次分数変換は複素数C(に{}を加えたもの)
に対する行列の作用と見なせ,一次分数変換の合成は行列の積に対応する.
このことから、元の問題は次のように言い換えられることがわかる.

一次分数変換を行列Aによって
Az=(abcd)z=az+bcz+d,

b1=0,bn=Tn1b1,T1=(2112)
Tn+1=((n+2)11(n+2))Tn
bnn.

行列の積の計算の問題になった.

計算

Tn..

Tn=(xnyn(1)nyn(1)nxn)

数学的帰納法で示す.n=1のとき
T1=(2112)x1=2,y1=1.

n=k.
Tk+1=((k+2)11(k+2))(xkyk(1)kyk(1)kxk)
=((k+2)xk+(1)kyk(k+2)yk+(1)kxkxk(k+2)(1)kykyk(k+2)(1)kxk)
=((k+2)xk+(1)kyk(k+2)yk+(1)kxk(1)k+1{(k+2)yk+(1)kxk}(1)k+1{(k+2)xk+(1)kyk})

となりn=k+1の時も成り立つ.

行列の項が実質2つしかないことと,ついでにそれらが満たす漸化式もわかったのでさらに計算を進める.
上記補題の証明中の項の内容から
{xn+1=(n+2)xn+(1)nyn (1)yn+1=(n+2)yn+(1)nxn (2)
という連立漸化式を得られる.
(1)+(2),(1)-(2)を計算すると
{xn+1+yn+1={(n+2)+(1)n}(xn+yn)xn+1yn+1={(n+2)(1)n}(xnyn)

(1)nが邪魔なのでn=2kとすると
x2k+1+y2k+1=(2k+3)(x2k+y2k)
       =(2k+3)(2k)(x2k1+y2k1)
       =(2k+3)(2k)(2k+1)(2k2)(x2k3+y2k3)
       =(2k+3)(2k)(2k+1)(2k2)7452(x1+y1)
       =(2k+3)(2k)(2k+1)(2k2)74523
       =(2k+3)(2k+1)!

となる.n=2k1のときは最初の(2k+3)が消えるので
x2k+y2k=(2k+1)!=(2k+1)(2k)!
これより
xn+yn=(2n+3+(1)n+12)n!
同様に
x2k+1y2k+1=(2k+1)(x2ky2k)
       =(2k+1)(2k+2)(x2k1+y2k1)
       =(2k+1)(2k+2)(2k1)(2k)(x2k3y2k3)
       =(2k+1)(2k+2)(2k1)(2k)5634(x1y1)
       =(2k+1)(2k+2)(2k1)(2k)56341
       =(2k+2)/2(2k+1)!
となる。n=2k1のときは最初の(2k+1)が消えて(2k+2)が余るので
x2ky2k=(2k+2)/2(2k)!
これより
xnyn=(n+32+(1)n22)n!
よって
xn=12{(2n+3+(1)n+1)2)n!+(n+32+(1)n22)n!}
xn=(3n+92+(1)n+124)n!=(6n+9+(1)n+18)n!
yn=(2n+3+(1)n+1)2)n!(6n+9+(1)n+18)n!
yn=(2n+3+3(1)n+1)8)n!

元の問題の答え

b1=0,bn=Tn1b1,T1=(2112)
Tn+1=((n+2)11(n+2))Tn

bn=Tn1b1,Tn=(xnyn(1)nyn(1)nxn)
bn=(xn1yn1(1)n1yn1(1)n1xn1)0=xn10+yn1(1)n1yn10+(1)n1xn1=(1)n1yn1xn1
bn=(1)n12n+1+3(1)n6n+3+(1)n=(2n+1)(1)n136n+3+(1)n
an=n+1+(2n+1)(1)n136n+3+(1)n
めでたく元記事と答えが一致した.

元記事解答との関連性

さて,まぁ別解を名乗ってもよかろうというぐらいには別の内容になったと思われるが,関連性がないかと言われればそうではない.
元記事ではtanhの加法定理が解答の重要部分に現れるが
当解答でもその片鱗を見出すことができる。
それは当解答で頑張って計算したTnの部分にある
T1=(2112)
Tn+1=((n+2)11(n+2))Tn
というTnの定義について、
行列式の絶対値が1になるよう行列のスカラー倍で調整する。
(一次分数変換を行列で書く時行列のスカラー倍は結果に影響を及ぼさない)
T1=(2/31/31/32/3)
Tn+1=((n+2)/(n+1)(n+3)1/(n+1)(n+3)1/(n+1)(n+3)(n+2)/(n+1)(n+3))Tn
T1について(2/3)2(1/3)1=1であり
(2/3)1より2/3=coshθ1,1/3=sinhθ1と置くことができて
T1=(coshθ1sinhθ1sinhθ1coshθ1)
同様に
((n+2)/(n+1)(n+3)1/(n+1)(n+3)1/(n+1)(n+3)(n+2)/(n+1)(n+3))=(coshηnsinhηnsinhηncoshηn)
と置ける.
T2=(coshη1sinhη1sinhη1coshη1)(coshθ1sinhθ1sinhθ1coshθ1)
 =(coshη1coshθ1sinhη1sinhη1coshη1sinhθ1sinhη1coshθ1coshη1sinhθ1+sinhη1coshθ1coshη1coshθ1+sinhη1sinhη1)
 =(cosh(θ1η1)sinh(θ1η1)sinh(θ1η1)cosh(θ1η1))
からTnも同様にcosh,sinhで書けることが分かり
bntanhで書けそうなことが見て取れる.
(ただしここからηnがうまく処理できるのかについては検討できていない)

終わりの余談

紙の上で計算できたと思ってから,mathlogでの記事にしている間に
xnの計算方法が2度更新され,当初は結果から逆算したような
天下りな計算が結構あったところ,今の内容はだいぶましになった.

またbnほど対称性の高くなる置き換えを見つけられなくても
anから一次分数変換,行列,項のなす漸化式と進む方法であれば
答えにたどり着けそうだとこの記事を書き終わったあたりで気づいた.
漸化式の計算は大分面倒くささが増すので,上記のほうがいいのは間違いないと思われる.

投稿日:2023715
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

TKSS
TKSS
46
5459

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. 本記事の内容
  2. 問題の漸化式と元記事での解答方針
  3. 一次分数変換の利用
  4. 一次分数変換と行列
  5. 計算
  6. 元の問題の答え
  7. 元記事解答との関連性
  8. 終わりの余談