| 2007/02/23(Fri) 16:44:02 編集(投稿者)
微分演算子をDで表します。 ライプニッツの法則より、性質の良い関数f(x)に対して D^(n+1)[xf(x)]=(n+1)D^n[f(x)]+xD^(n+1)[f(x)]・・・@
これより、 D^(n+2)[x^2f(x)]=(n+2)D^(n+1)[xf(x)]+xD^(n+2)[xf(x)] もう一度@を用いて、
=(n+2)(n+1)D^n[f(x)]+2(n+2)xD^(n+1)[f(x)]+x^2D^(n+2)[f(x)] よって、 D^(n+2)[(x^2-1)f(x)]=(n+2)(n+1)D^n[f(x)]+2(n+2)xD^(n+1)[f(x)] +(x^2-1)D^(n+2)[f(x)] f(x)=(x^2-1)^nを代入すると、
D^(n+2)[(x^2-1)^(n+1)]=(n+2)(n+1)y^(n)+2(n+2)xy^(n+1)+(x^2-1)y^(n+2)・・・A
一方D^(n+2)[(x^2-1)^(n+1)]=2(n+1)D^(n+1)[x(x^2-1)^n] これに再び@を用いて、 =2(n+1)^2y^(n)+2(n+1)xy^(n+1)・・・B A=Bより、 (n+2)(n+1)y^(n)+2(n+2)xy^(n+1)+(x^2-1)y^(n+2)=2(n+1)^2y^(n)+2(n+1)xy^(n+1)
これを整理すると、 (x^2-1)y^(n+2)+2xy^(n+1)-n(n+1)y^(n)=0
|