■漸化式と母関数(その26)
[Q]関数方程式
f(x)=1/(1+x)・f(2√x/(1+x))
===================================
通常型母関数
f(x)=Σanx^n,n≧0
指数型母関数
f(x)=Σanx^n/n!,n≧0
が用いられるが,ここでは通常型母関数
f(x)=Σanx^n (n≧0)
とおくと,
f(2√x/(1+x)=Σ2^nanx^n/2/(1+x)^n
1/(1+x)・f(2√x/(1+x))=Σ2^nanx^n/2/(1+x)^n+1
1/(1+x)=(1−x+x^2−x^3+・・・)より,
Σanx^n=Σ2^nanx^n/2(1−x+x^2−x^3+・・・)^n+1
nが奇数のとき,an=0であることがわかる.
nが偶数のときはかなり面倒である.
[A]f(x)=1+1/4x^2+9/64・x^4+25/256・x^6+1225/16384・x^8+・・・
=1+(1/2)^2x^2+(1・3/2・4)^2x^4+(1・3・5/2・4・6)^2x^6+(1・3・5・7/2・4・6・8)^2x^8+・・・
はこれを満たす.
===================================