logo

버금 르장드르 다항식의 직교성 📂함수

버금 르장드르 다항식의 직교성

정리

구간 [−1,1][-1,1]에서 고정된 mm에 대한 버금 르장드르 다항식은 직교 집합을 이룬다.

∫−11Plm(x)Pkm(x)dx=22l+1(l+m)!(l−m)!δlk \int_{-1}^{1} P_{l}^{m}(x)P_{k}^{m}(x)dx =\frac{ 2}{ 2l+1 }\frac{(l+m)!}{(l-m)!}\delta_{lk}

x=cos⁡θx=\cos \theta일 경우에는,

∫0πPlm(cos⁡θ)Pkm(cos⁡θ)sin⁡θdθ=22l+1(l+m)!(l−m)!δlk \int_{0}^{\pi} P_{l}^{m}(\cos \theta)P_ {k}^{m}(\cos\theta)\sin \theta d\theta =\frac{ 2}{ 2l+1 }\frac{(l+m)!}{(l-m)!}\delta_{lk}

버금 르장드르 다항식 Plm(x)=(1−x2)m212ll!dl+mdxl+m(x2−1)l P_{l}^{m}(x) = (1-x ^{2})^{\frac{m}{2}} \dfrac{1}{2^l l!} \dfrac{d^{l+m}}{dx^{l+m}}(x^2-1)^l

증명

우선 편의를 위해 간단히 Plm=Plm(x)P_{lm} = P_{l}^{m}(x)과 같이 표기하자. 버금 르장드르 미분방정식은 아래와 같다.

ddx[(1−x2)Plm′]+[l(l+1)−m21−x2]Plm=0 \begin{equation} \frac{d}{dx} \left[ (1-x^{2})P_{lm}^{\prime} \right] +\left[ l(l+1)-\frac{m^{2}}{1-x^{2}} \right]P_{lm} = 0 \end{equation}

경우 1: l≠kl \ne k

증명 방식은 르장드르 다항식의 직교성을 보이는 것과 같다. (1)(1)을 ll, kk에 대해서 쓰면,

ddx[(1−x2)Plm′]+[l(l+1)−m21−x2]Plm=0ddx[(1−x2)Pkm′]+[k(k+1)−m21−x2]Pkm=0 \frac{d}{dx} \left[(1-x^{2}) P_{lm}^{\prime}\right] + \left[l(l+1) - \frac{m^{2}}{1-x^{2}}\right] P_{lm} = 0 \\ \frac{d}{dx} \left[(1-x^{2}) P_{km}^{\prime}\right] + \left[k(k+1) - \frac{m^{2}}{1-x^{2}}\right] P_{km} = 0

위의 식(ll에 대한 식)에 PkmP_{km}을 곱하고, 아래의 식(kk에 대한 식)에 PlmP_{lm}을 곱한 뒤 서로 빼주면 다음과 같다.

Pkmddx[(1−x2)Plm′]−Plmddx[(1−x2)Pkm′]+[l(l+1)−k(k+1)]PlmPkm=0 \begin{equation} P_{km} \frac{d}{dx} \left[ (1-x^{2})P_{lm}^{\prime} \right]-P_{lm}\frac{d}{dx} \left[ (1-x^{2})P_{km}^{\prime} \right]+\left[l(l+1)- k(k+1) \right]P_{lm}P_{km} = 0 \end{equation}

여기서 첫째항, 둘째항을 다음과 같이 정리할 수 있다.

 Pkmddx[(1−x2)Plm′]−Plmddx[(1−x2)Pkm′]=Pkm(1−x2)′Plm′+Pkm(1−x2)Plm′′−Plm(1−x2)′Pkm′−Plm(1−x2)Pkm′′=Pkm(1−x2)′Plm′+Pkm(1−x2)Plm′′−Plm(1−x2)′Pkm′−Plm(1−x2)Pkm′′+Pkm′(1−x2)Plm′−Pkm′(1−x2)Plm′=ddx[(1−x2)Plm′Pkm−(1−x2)PlmPkm′]=ddx[(1−x2)(Plm′Pkm−PlmPkm′)] \begin{align*} &\quad \ P_{km} \frac{d}{dx} \left[ (1-x^{2})P_{lm}^{\prime} \right]-P_{lm}\frac{d}{dx} \left[ (1-x^{2})P_{km}^{\prime} \right] \\ &= P_{km}(1-x^{2})^{\prime}P_{lm}^{\prime}+P_{km}(1-x^{2})P_{lm}^{\prime \prime}-P_{lm}(1-x^{2})^{\prime}P_{km}^{\prime}-P_{lm}(1-x^{2})P_{km}^{\prime \prime} \\ &= {\color{blue}P_{km}(1-x^{2})^{\prime}P_{lm}^{\prime}+P_{km}(1-x^{2})P_{lm}^{\prime \prime}}-{\color{orange}P_{lm}(1-x^{2})^{\prime}P_{km}^{\prime}-P_{lm}(1-x^{2})P_{km}^{\prime \prime} } \\ &\quad + {\color{blue}P_{km}^{\prime}(1-x^{2})P_{lm}^{\prime}}-{\color{orange}P_{km}^{\prime}(1-x^{2})P_{lm}^{\prime}} \\ &= \frac{d}{dx}\left[{\color{blue}(1-x^{2})P_{lm}^{\prime}P_{km}}-{\color{orange}(1-x^{2})P_{lm}P_{km}^{\prime} } \right] \\ &= \frac{d}{dx}\left[(1-x^{2})(P_{lm}^{\prime}P_{km}-P_{lm}P_{km}^{\prime}) \right] \end{align*}

이를 (2)(2)에 대입하면,

ddx[(1−x2)(Plm′Pkm−PlmPkm′)]+[l(l+1)−k(k+1)]PlmPkm=0 \frac{d}{dx}\left[(1-x^{2})(P_{lm}^{\prime}P_{km}-P_{lm}P_{km}^{\prime}) \right]+\left[l(l+1)- k(k+1) \right]P_{lm}P_{km}=0

양변을 구간 [−1,1][-1,1]에서 적분하면 다음을 얻는다.

[(1−x2)(Plm′Pkm−PlmPkm′)]−11+[l(l+1)−k(k+1)]∫−11PlmPkmdx=0 \left[(1-x^{2})(P_{lm}^{\prime}P_{km}-P_{lm}P_{km}^{\prime}) \right]_{-1}^{1}+\left[l(l+1)- k(k+1) \right]\int_{-1}^{1}P_{lm}P_{km}dx=0

첫번째 항은 00이므로 아래와 같다.

[l(l+1)−k(k+1)]∫−11PlmPkmdx=0 \left[l(l+1)- k(k+1) \right]\int_{-1}^{1}P_{lm}P_{km}dx=0

이때 l≠kl \ne k이므로 l(l+1)−k(k+1)≠0l(l+1)-k(k+1)\ne 0이다. 그러므로 다음과 같다.

∫−11Plm(x)Pkm(x)dx=0 \int_{-1}^{1}P_{l}^{m}(x)P_{k}^{m}(x)dx=0

■

경우 2: l=kl=k

보조 정리

다음이 성립한다.

dl+mdxl+m(x2−1)l=(l+m)!(l−m)!(x2−1)−mdl−mdxl−m(x2−1)l(3) \frac{d^{l+m}}{dx^{l+m}}(x^{2}-1)^{l}=\frac{(l+m)!}{(l-m)!}(x^{2}-1)^{-m}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \tag {3}

위의 공식을 버금 르장드르 다항식에 대입하면,

Plm(x)=(1−x2)m212ll!dl+mdxl+m(x2−1)l=(1−x2)m212ll!(l+m)!(l−m)!(x2−1)−mdl−mdxl−m(x2−1)l=(−1)m2ll!(l+m)!(l−m)!(1−x2)−m2dl−mdxl−m(x2−1)l \begin{align*} P_{l}^{m}(x) &= (1-x ^{2})^{\frac{m}{2}} \dfrac{1}{2^l l!} \dfrac{d^{l+m}}{dx^{l+m}}(x^2-1)^l \\ &= (1-x ^{2})^{\frac{m}{2}}\dfrac{1}{2^l l!} \frac{(l+m)!}{(l-m)!}(x^{2}-1)^{-m}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \\ &= \dfrac{(-1)^{m}}{2^l l!} \frac{(l+m)!}{(l-m)!}(1-x^{2})^{-\frac{m}{2}}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \end{align*}

위 식의 양변을 제곱하면 다음을 얻는다.

[Plm(x)]2=122l(l!)2[(l+m)!(l−m)!]2(1−x2)−mdl−mdxl−m(x2−1)ldl−mdxl−m(x2−1)l [P_{l}^{m}(x)]^{2} =\dfrac{1}{2^{2l}(l!)^{2}} \left[ \frac{(l+m)!}{(l-m)!} \right]^{2}(1-x^{2})^{-m}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l}

위 식에 다시 (3)(3)을 대입하면,

 [Plm(x)]2=122l(l!)2[(l+m)!(l−m)!]2(1−x2)−m[(l−m)!(l+m)!(x2−1)mdl+mdxl+m(x2−1)l]dl−mdxl−m(x2−1)l=(−1)m22l(l!)2(l+m)!(l−m)!dl+mdxl+m(x2−1)ldl−mdxl−m(x2−1)l \begin{align*} &\quad \ [P_{l}^{m}(x)]^{2} \\ &= \dfrac{1}{2^{2l}(l!)^{2}} \left[ \frac{(l+m)!}{(l-m)!} \right]^{2}(1-x^{2})^{-m}\left[ \frac{(l-m)!}{(l+m)!}(x^{2}-1)^{m}\frac{ d ^{l+m}}{ dx^{l+m} }(x^{2}-1)^{l} \right]\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \\ &= \dfrac{(-1)^{m}}{2^{2l}(l!)^{2}} \frac{(l+m)!}{(l-m)!} \frac{ d ^{l+m}}{ dx^{l+m} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \end{align*}

이제 양변을 구간 [−1,1][-1,1]에서 적분하면 아래와 같다.

 ∫−11[Plm(x)]2dx=(−1)m22l(l!)2(l+m)!(l−m)!∫−11[dl+mdxl+m(x2−1)ldl−mdxl−m(x2−1)l]dx \begin{align*} &\quad \ \int_{-1}^{1}[P_{l}^{m}(x)]^{2}dx \\ &= \dfrac{(-1)^{m}}{2^{2l}(l!)^{2}} \frac{(l+m)!}{(l-m)!}\int_{-1}^{1} \left[ \frac{ d ^{l+m}}{ dx^{l+m} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \right]dx \tag{4} \end{align*}

우변의 적분 부분만 살펴보자. 부분적분으로 풀어내면 다음과 같다.

 ∫−11[dl+mdxl+m(x2−1)ldl−mdxl−m(x2−1)l]dx=∫−11[dl+m−1dxl+m−1(x2−1)l]′dl−mdxl−m(x2−1)ldx=[dl+m−1dxl+m−1(x2−1)ldl−mdxl−m(x2−1)l]−11−∫−11dl+m−1dxl+m−1(x2−1)ldl−m+1dxl−m+1(x2−1)ldx \begin{align*} &\quad \ \int_{-1}^{1} \left[ \frac{ d ^{l+m}}{ dx^{l+m} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} \right]dx \\ &= \int_{-1}^{1} \left[ \frac{ d ^{l+m-1}}{ dx^{l+m-1} }(x^{2}-1)^{l}\right]^{\prime}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} dx \\ &= \left[ \frac{ d ^{l+m-1}}{ dx^{l+m-1} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l}\right]_{-1}^{1}-\int_{-1}^{1}\frac{ d ^{l+m-1}}{ dx^{l+m-1} }(x^{2}-1)^{l}\frac{ d ^{l-m+1}}{ dx^{l-m+1} }(x^{2}-1)^{l}dx \end{align*}

여기서 첫째항은 00이다. (x2−1)l(x^{2}-1)^{l}은 2l2l차 다항식이고 ∣m∣<l|m| \lt l이므로 l+m−1l+m-1과 l−ml-m모두 ll보다 작아서 적어도 (x2−1)(x^{2}-1)가 미분되지 않고 남아있기 때문이다. 여기에 ±1\pm 1을 대입하면 00이다. 남은 항을 다시 부분 적분으로 풀업보면,

 −∫−11dl+m−1dxl+m−1(x2−1)ldl−m+1dxl−m+1(x2−1)ldx=[−dl+m−2dxl+m−2(x2−1)ldl−m+1dxl−m+1(x2−1)l]+∫−11dl+m−2dxl+m−2(x2−1)ldl−m+2dxl−m+2(x2−1)ldx \begin{align*} &\quad \ -\int_{-1}^{1}\frac{ d ^{l+m-1}}{ dx^{l+m-1} }(x^{2}-1)^{l}\frac{ d ^{l-m+1}}{ dx^{l-m+1} }(x^{2}-1)^{l}dx \\ &= \left[- \frac{ d ^{l+m-2}}{ dx^{l+m-2} }(x^{2}-1)^{l}\frac{ d ^{l-m+1}}{ dx^{l-m+1} }(x^{2}-1)^{l} \right]+\int_{-1}^{1} \frac{ d ^{l+m-2}}{ dx^{l+m-2} }(x^{2}-1)^{l}\frac{ d ^{l-m+2}}{ dx^{l-m+2} }(x^{2}-1)^{l}dx \end{align*}

여기서 첫번째 항은 위와 같은 이유로 00이다. 이런 식으로 부분 적분을 mm번 반복하면 아래와 같은 식을 얻는다.

∫−11dl+mdxl+m(x2−1)ldl−mdxl−m(x2−1)ldx=(−1)m∫−11dldxl(x2−1)ldldxl(x2−1)ldx \int_{-1}^{1} \frac{ d ^{l+m}}{ dx^{l+m} }(x^{2}-1)^{l}\frac{ d ^{l-m}}{ dx^{l-m} }(x^{2}-1)^{l} dx=(-1)^{m}\int_{-1}^{1}\frac{ d ^{l}}{ dx^{l} }(x^{2}-1)^{l}\frac{d^{l}}{dx^{l}}(x^{2}-1)^{l}dx

따라서 (4)(4)는 다음과 같다.

∫−11[Plm(x)]2dx=122l(l!)2(l+m)!(l−m)!∫−11[dldxl(x2−1)l]2dx \int_{-1}^{1}[P_{l}^{m}(x)]^{2}dx= \dfrac{1}{2^{2l}(l!)^{2}} \frac{(l+m)!}{(l-m)!}\int_{-1}^{1}\left[ \frac{ d ^{l}}{ dx^{l} }(x^{2}-1)^{l}\right]^{2}dx

로드리게스 공식

Pl(x)=12ll!dldxl(x2−1)l P_{l}(x)=\dfrac{1}{2^l l!} \dfrac{d^l}{dx^l}(x^2-1)^l

그러면 로드리게스 공식에 의해 다음과 같다.

∫−11[Plm(x)]2dx=122l(l!)2(l+m)!(l−m)!22l(l!)2∫−11[Pl(x)]2dx=(l+m)!(l−m)!∫−11[Pl(x)]2dx \begin{align*} \int_{-1}^{1}[P_{l}^{m}(x)]^{2}dx &= \dfrac{1}{2^{2l}(l!)^{2}} \frac{(l+m)!}{(l-m)!}2^{2l}(l!)^{2}\int_{-1}^{1}\left[ P_{l}(x)\right]^{2}dx \\ &= \frac{(l+m)!}{(l-m)!}\int_{-1}^{1}\left[ P_{l}(x)\right]^{2}dx \end{align*}

그러면 르장드르 다항식의 직교성에 의해 최종적으로 다음을 얻는다.

∫−11[Plm(x)]2dx=22l+1(l+m)!(l−m)! \int_{-1}^{1}[P_{l}^{m}(x)]^{2}dx = \frac{2}{2l+1}\frac{(l+m)!}{(l-m)!}

■