logo

르장드르 다항식의 생성 함수 📂함수

르장드르 다항식의 생성 함수

정리

르장드르 다항식의 생성함수는 다음과 같다.

Φ(x,t)=11−2xt+t2=∑l=0∞Pl(x)tl,∣t∣<1 \Phi (x,t) = \frac{1}{\sqrt{1-2xt+t^{2}}} = \sum \limits_{l=0}^{\infty}P_{l}(x)t^{l},\quad |t|<1

설명

르장드르 다항식의 생성 함수란 쉽게 말해서 르장드르 다항식 Pl(x)P_{l}(x)를 계수로 갖는 다항식이다.

보조정리

함수 Φ(x,t)=11−2xt+t2\Phi (x,t) = \dfrac{1}{\sqrt{1-2xt+t^{2}}}는 아래의 미분 방정식의 해이다.

(1−x2)∂2Φ∂x2−2x∂Φ∂x+t∂2∂t2(tΦ)=0 \begin{equation} (1-x^{2})\frac{ \partial ^{2} \Phi}{ \partial x^{2} }-2x\frac{ \partial \Phi}{ \partial x }+t\frac{ \partial ^{2}}{ \partial t^{2} }(t\Phi) = 0 \end{equation}

증명

단순히 미분하고 더하는 것으로 쉽게 보일 수 있으므로 자세한 계산 과정과 설명은 생략한다.

∂Φ∂x=t(1−2xt+t2)−32 \frac{ \partial \Phi}{ \partial x }=t(1-2xt+t^{2})^{-\frac{3 }{2}}

∂2Φ∂x2=3t2(1−2xt+t2)−52 \frac{ \partial ^{2}\Phi}{ \partial x^{2} }=3t^{2}(1-2xt+t^{2})^{-\frac{5 }{2}}

∂∂t(tΦ)=(1−2xt+t2)−12−(t2−xt)(1−2xt+t2)−32 \frac{ \partial }{ \partial t }(t\Phi)=(1-2xt+t^{2})^{-\frac{1}{2}}-(t^{2}-xt)(1-2xt+t^{2})^{-\frac{3 }{2}}

∂2∂t2(tΦ)=−(3t−2x)(1−2xt+t2)−32+3(t3−2xt2+x2t)(1−2xt+t2)−52 \frac{ \partial ^{2}}{ \partial t^{2} }(t\Phi)=-(3t-2x)(1-2xt+t^{2})^{-\frac{3}{2}}+3(t^{3}-2xt^{2}+x^{2}t)(1-2xt+t^{2})^{-\frac{5}{2}}

따라서

(1−x2)∂2Φ∂x2−2x∂Φ∂x+t∂2∂t2(tΦ)=3(t2−x2t2)(1−2xt+t2)−52−2xt(1−2xt+t2)−32−(3t2−2xt2)(1−2xt+t2)−32+3(t4−2xt3+x2t2)(1−2xt+t2)−52=−3t2(1−2xt+t2)−32+3t2(1−2xt+t2)(1−2xt+t2)−52=−3t2(1−2xt+t2)−32+3t2(1−2xt+t2)−32=0 \begin{align*} &(1-x^{2})\frac{ \partial ^{2} \Phi}{ \partial x^{2} }-2x\frac{ \partial \Phi}{ \partial x }+t\frac{ \partial ^{2}}{ \partial t^{2} }(t\Phi) \\ &= 3(t^{2}-x^{2}t^{2})(1-2xt+t^{2})^{-\frac{5 }{2}}-2xt(1-2xt+t^{2})^{-\frac{3 }{2}} \\ & -(3t^{2}-2xt^{2})(1-2xt+t^{2})^{-\frac{3}{2}}+3(t^{4}-2xt^{3}+x^{2}t^{2})(1-2xt+t^{2})^{-\frac{5}{2}} \\ &= -3t^{2}(1-2xt+t^{2})^{-\frac{3}{2}}+3t^{2}(1-2xt+t^{2})(1-2xt+t^{2})^{-\frac{5}{2}} \\ &= -3t^{2}(1-2xt+t^{2})^{-\frac{3}{2}}+3t^{2}(1-2xt+t^{2})^{-\frac{3}{2}} \\ &= 0 \end{align*}

■

증명

Φ(x,t)=11−2xt+t2\Phi(x, t) = \dfrac{1}{\sqrt{1-2xt+t^{2}}}가 르장드르 다항식의 생성함수임을 보이려면, 생성함수의 정의에 의해 Φ(x,t)\Phi(x, t)를 tt에 대한 다항식으로 나타냈을 때 계수가 르장드르 다항식인 것을 확인하면 된다. 우선 y≡2xt−t2y \equiv 2xt - t^{2}으로 치환하면,

Φ(y)=11−y=(1−y)−12. \begin{align*} \Phi(y) &= \dfrac{1}{\sqrt{1 - y}} \\ &= (1-y)^{-\frac{1}{2}}. \end{align*}

음이항급수

(1−x)−α=1+αx+α(α+1)2!x2+α(α+1)(α+2)3!x3+⋯ (1 - x)^{-\alpha} = 1 + \alpha x + \dfrac{\alpha(\alpha+1)}{2!} x^{2} + \dfrac{\alpha(\alpha+1)(\alpha+2)}{3!} x^{3} + \cdots

그러면 음이항급수 공식에 의해 아래와 같다.

Φ(y)=(1−y)−12=1+12y+12⋅322!y2+⋯=1+12(2xt−t2)+38(2xt−t2)2+⋯=1+xt−12t2+38(4x2t2−4xt3+t4)+⋯=1+xt+(32x2−12)t2+⋯=f0(x)+f1(x)t+f2(x)t2+⋯=∑l=0∞fl(x)tl \begin{align*} \Phi(y) &= (1-y)^{-\frac{1}{2}} \\ &= 1 + \frac{1}{2}y + \frac{\frac{1}{2}\cdot \frac{3}{2}}{2!}y^{2} + \cdots \\ &= 1 + \frac{1}{2}(2xt-t^{2}) + \frac{3}{8}(2xt-t^{2})^{2} + \cdots \\ &= 1 + xt -\frac{1}{2}t^{2} + \frac{3}{8}(4x^{2}t^{2} - 4xt^{3} + t^{4}) + \cdots \\ &= 1 + xt + \left(\frac{3}{2}x^{2} - \frac{1}{2}\right)t^{2} + \cdots \\ &= f_{0}(x) + f_{1}(x)t + f_{2}(x)t^{2} + \cdots \\ &= \sum\limits_{l=0}^{\infty} f_{l}(x) t^{l} \end{align*}

이제 위의 급수를 미분방정식 (1)(1)에 대입해보면 다음을 얻는다.

 0=(1−x2)∂2(∑l=0∞fl(x)tl)∂x2−2x∂(∑l=0∞fl(x)tl)∂x+t∂2∂t2(t∑l=0∞fl(x)tl)=(1−x2)∑l=0∞fl′′(x)tl−2x∑l=0∞fl′(x)tl+∑l=0∞l(l+1)fl(x)tl=∑l=0∞[(1−x2)fl′′(x)−2xfl′(x)+l(l+1)fl(x)]tl \begin{align*} &\quad \ 0 \\ &= (1-x^{2})\frac{ \partial ^{2} \left( \sum\limits_{l=0}^{\infty} f_{l}(x) t^{l}\right)}{ \partial x^{2} }-2x\frac{ \partial \left( \sum\limits_{l=0}^{\infty} f_{l}(x) t^{l}\right)}{ \partial x } + t\frac{ \partial ^{2}}{ \partial t^{2} }\left( t \sum\limits_{l=0}^{\infty} f_{l}(x) t^{l}\right) \\ &= (1-x^{2}) \sum\limits_{l=0}^{\infty} f^{\prime \prime}_{l}(x) t^{l} - 2x \sum\limits_{l=0}^{\infty} f^{\prime}_{l}(x) t^{l} + \sum\limits_{l=0}^{\infty}l(l+1) f_{l}(x) t^{l} \\ &= \sum\limits_{l=0}^{\infty} \left[ (1 - x^{2}) f_{l}^{\prime \prime}(x) - 2x f_{l}^{\prime}(x) + l(l+1)f_{l}(x) \right] t^{l} \end{align*}

위 식은 tt에 대한 항등식이므로 각각의 tlt^{l}의 계수는 모두 00어야 한다. 따라서 다음을 얻는다.

(1−x2)fl′′(x)−2xfl′(x)+l(l+1)fl(x)=0 (1 - x^{2}) f_{l}^{\prime \prime}(x) - 2x f_{l}^{\prime}(x) + l(l+1)f_{l}(x) = 0

이는 르장드르 미분 방정식이고 해는 르장드르 다항식이다. 따라서 fl(x)=Pl(x)f_{l}(x) = P_{l}(x)이므로 Φ\Phi는 르장드르 다항식의 생성함수이다.

■