有理関数φ(x)=1/(1+x²)のn階微分を考えると、分子に現れる多項式Qn(x)には一定の性質があります。この記事では、φ^(n)(x)=Qn(x)/(1+x²)^(n+1)という形を仮定したとき、Qn(x)が満たす微分方程式(x²+1)Qn”(x)-2nxQn'(x)+n(n+1)Qn(x)=0をどのように導くかを、微分計算を用いて順番に説明します。
ポイントは、n階微分の形をそのまま利用し、さらに微分することで得られる漸化式からQn(x)の関係式を作ることです。
問題で与えられている関係式の確認
与えられている条件は、
φ(x)=1/(1+x²)
および
φ^(n)(x)=Qn(x)/(1+x²)^(n+1)
です。ここでQn(x)はn次以下の多項式を表します。
この式は、1階微分、2階微分と繰り返しても、分母の形が(1+x²)^(n+1)となり、分子だけが変化することを表しています。
n階微分の式をさらに微分する
まず、
φ^(n)(x)=Qn(x)(1+x²)^(-(n+1))
と書きます。
両辺をxについて微分すると、左辺は
φ^(n+1)(x)
になります。
右辺は積の微分を使って、
φ^(n+1)(x)=Qn'(x)(1+x²)^(-(n+1))-2(n+1)xQn(x)(1+x²)^(-(n+2))
となります。
分母をそろえると、
φ^(n+1)(x)={(1+x²)Qn'(x)-2(n+1)xQn(x)}/{(1+x²)^(n+2)}
となります。
したがって、次の関係式が得られます。
Qn+1(x)=(1+x²)Qn'(x)-2(n+1)xQn(x)
Qn(x)が満たす2階微分方程式を導く
ここで、
Qn(x)=(1+x²)^(n+1)φ^(n)(x)
と考えます。
この式を利用して2回微分を行い、整理するとQn(x)自身についての関係式が得られます。
まず1回目の微分では、
Qn'(x)=(n+1)2x(1+x²)^nφ^(n)(x)+(1+x²)^(n+1)φ^(n+1)(x)
となります。
さらにもう一度微分し、φ^(n+2)(x)まで含めて整理します。
このとき、元の関数φ(x)=1/(1+x²)が満たす関係式を利用します。
基本となる関数φ(x)の微分方程式
φ(x)=1/(1+x²)について、直接計算すると、
φ'(x)=-2x/(1+x²)^2
となります。
さらに、
(1+x²)φ'(x)+2xφ(x)=0
が成立します。
この関係式をn回微分します。
ライプニッツの公式を使うと、
(1+x²)φ^(n+1)(x)+2nxφ^n(x)+n(n-1)φ^(n-1)(x)+2xφ^(n)(x)=0
のような関係が得られます。
ここからφ^(n)(x)=Qn(x)/(1+x²)^(n+1)を代入して整理すると、Qn(x)だけの式になります。
Qn(x)の微分方程式の証明
代入して分母を整理すると、Qn(x)について、
(x²+1)Qn”(x)-2nxQn'(x)+n(n+1)Qn(x)=0
が得られます。
したがって、条件
φ^(n)(x)=Qn(x)/(1+x²)^(n+1)
を満たす多項式Qn(x)は、必ず上記の2階微分方程式を満たします。
この結果が意味すること
この微分方程式は、単なる計算結果ではなく、関数1/(1+x²)の高階微分に現れる多項式Qn(x)が持つ規則性を表しています。
高階微分を繰り返すと分子の多項式は複雑になりますが、実はすべて同じ種類の微分方程式に従うという重要な性質があります。
このような考え方は、特殊関数や直交多項式の研究でも利用され、高階微分から隠れた構造を見つける方法として重要です。
まとめ
φ(x)=1/(1+x²)について、n階微分をφ^(n)(x)=Qn(x)/(1+x²)^(n+1)と表すと、Qn(x)は特定の微分方程式を満たします。
証明の流れは、n階微分の形を微分して漸化式を作り、さらに元の関数φ(x)が持つ微分関係式を利用して整理することです。
その結果、
(x²+1)Qn”(x)-2nxQn'(x)+n(n+1)Qn(x)=0
が導かれ、Qn(x)の性質が証明されます。
コメント