[논문 리뷰] The scaling properties and the multiple derivative of Legendre polynomials

Guillaume Laurent, Geoffrey Robert Harrison|arXiv (Cornell University)|2017. 10. 28.

Fractional Differential Equations Solutions참고 문헌 3인용 수 3

한 줄 요약

이 논문은 레지온드르 다항식 $P_n(\lambda x)$와 그 다중 도함수의 스케일링 성질에 대한 명시적 해석적 표현을 유도한다. $P_n(\lambda x)$는 레지온드르 다항식 또는 그 도함수의 합으로 전개될 수 있으며, 로드리그의 공식과 기하급수 급수를 통해 닫힌 형태의 계수를 유도하고, 도함수 전개의 계수에 대한 재귀 관계를 수립한다.

ABSTRACT

In this paper, we study the scaling properties of Legendre polynomials Pn(x). We show that Pn(ax), where a is a constant, can be expanded as a sum of either Legendre polynomials Pn(x) or their multiple derivatives dkPn(x)/dxk, and we derive a general expression for the expansion coefficients. In addition, we demonstrate that the multiple derivative dkPn(x)/dxk can also be expressed as a sum of Legendre polynomials and we obtain a recurrence relation for the coefficients.

연구 동기 및 목표

• 상수 $\lambda$에 대해 스케일링 변환 $P_n(\lambda x)$에 대한 명시적 표현을 유도함으로써, 레지온드르 다항식의 알려진 성질을 확장한다.
• $P_n(\lambda x)$를 레지온드르 다항식 $P_{n-2k}(x)$와 그 다중 도함수 $d^kP_{n-k}/dx^k$의 선형 조합으로 표현함으로써, 물리적 및 수학적 문제에서의 해석적 다루기 가능성을 제공한다.
• 다항식 $P_n(x)$의 $k$-번째 도함수 전개에서의 계수에 대한 재귀 관계를 수립한다.
• 로드리그의 공식, 이항 전개, 기하급수 급수 항등식을 활용하여 전개 계수를 체계적으로 계산하는 방법을 제시한다.
• 특히, 구면 조화함수를 평면에 투영하는 데 응용되는 물리 및 공학 분야를 지원하기 위해, 스케일된 레지온드르 함수에 대한 해석적 도구를 제공한다.

제안 방법

• 로드리그의 공식을 적용하고 체인 룰 및 이항 전개를 사용하여, 스케일된 다항식 $P_n(\lambda x)$를 더 낮은 차수의 레지온드르 다항식의 도함수 합으로 표현한다.
• 베아투의 공식을 활용하여 $x^2 - 1$ 항으로 전개된 다항식의 계수를 $\lambda$와 $n$에 관여하는 형태로 결정한다.
• 해당 다항식에 $n$-번째 도함수를 적용하고, 레지온드르 다항식의 로드리그 표현을 통해 결과를 레지온드르 다항식으로 재표현한다.
• 기하급수 급수 표현에서 계수를 일치시켜 $k$-번째 도함수 $d^kP_n/dx^k$의 레지온드르 다항식 합 전개를 도출한다.
• 기하급수 함수 표현 $P_n(x) = {}_{2}F_1(-n,n+1,1;(1-x)/2)$를 사용하고, 미분 법칙을 적용하여 $d^kP_n/dx^k$에 대한 급수를 유도한다.
• 기하급수 급수 전개에서 동일한 거듭제곱의 계수를 비교함으로써, 전개 계수 $\alpha_{n-k-2i}$에 대한 재귀 관계를 수립한다.

실험 결과

연구 질문

• RQ1 상수 스케일링 인자 $\lambda$에 대해 $P_n(\lambda x)$는 어떻게 레지온드르 다항식 $P_{n-2k}(x)$의 선형 조합으로 표현될 수 있는가?
• RQ2 표현 $P_n(\lambda x) = \sum_k b_{\lambda,n,k} P_{n-2k}(x)$에서의 전개 계수 $b_{\lambda,n,k}$의 해석적 형태는 무엇인가?
• RQ3 레지온드르 다항식의 $k$-번째 도함수 $d^kP_n/dx^k$는 더 낮은 차수의 레지온드르 다항식의 유한 합으로 표현될 수 있는가? 만약 가능하다면, 계수는 무엇인가?
• RQ4 전개 $d^kP_n/dx^k = \sum_i \alpha_{n-k-2i} P_{n-k-2i}(x)$에서 계수 $\alpha_{n-k-2i}$를 지배하는 재귀 관계는 무엇인가?
• RQ5 레지온드르 다항식의 스케일링 및 도함수 성질은 기하급수 표현과 내림 팩토리얼 항등식과 어떻게 관련되어 있는가?

주요 결과

• 스케일링 성질 $P_n(\lambda x)$는 $\sum_{k=0}^{\lfloor n/2 \rfloor} a_{\lambda,n,k} \frac{d^k}{dx^k} P_{n-k}(x)$로 표현되며, 계수 $a_{\lambda,n,k} = \frac{\lambda^{n-2k}(\lambda^2 - 1)^k}{2^k k!}$이다.
• 레지온드르 다항식에 대한 $P_n(\lambda x)$ 전개는 $P_n(\lambda x) = \sum_{k=0}^{\lfloor n/2 \rfloor} b_{\lambda,n,k} P_{n-2k}(x)$로 주어지며, 여기서 $b_{\lambda,n,k}$는 계수 $\alpha_{n,k,i}$를 포함하는 이重합으로 유도된다.
• $P_n(x)$의 $k$-번째 도함수는 유한 합으로 표현 가능함을 보여주며, $\frac{d^k}{dx^k} P_n(x) = \sum_{i=0}^{\lfloor (n-k)/2 \rfloor} \alpha_{n-k-2i} P_{n-k-2i}(x)$이며, 계수 $\alpha_{n-k-2i}$는 재귀 관계를 만족한다.
• $\alpha_{n-k-2i}$에 대한 재귀 관계는 $\alpha_{n-k-2i} = \frac{2^{k+2i}(n-\frac{1}{2})^{\underline{k}}(n-i)^{\underline{i}}(n-k-\frac{1}{2})^{\underline{2i}}}{(2i)^{\underline{2i}}(n-\frac{1}{2})^{\underline{i}}} - \sum_{l=0}^{i-1} \frac{(2(n-k-i-l))^{\underline{2(i-l)}}}{(2(i-l))^{\underline{2(i-l)}}} \alpha_{n-k-2l}$로 유도된다.
• 계수 $\alpha_{n,k,i}$는 명시적으로 $\alpha_{n,k,i} = \frac{2^{k+i}(n-k+i-\frac{1}{2})^{\underline{k-i}}(n-k)^{\underline{i}}(n-2k+2i-\frac{1}{2})^{\underline{2i}}}{(2i)^{\underline{2i}}(n-k+i-\frac{1}{2})^{\underline{i}}} - \sum_{l=0}^{i-1} \frac{(2(n-2k+i-l))^{\underline{2(i-l)}}}{(2(i-l))^{\underline{2(i-l)}}} \alpha_{n,k-i+l,l}$로 주어진다.
• 유도 과정은 $P_n(x)$의 $k$-번째 도함수가 차수 $n-k-2i$의 레지온드르 다항식의 유한 선형 조합임을 확인하며, 계수는 재귀를 통해 계산 가능하므로 물리적 응용에서 정확한 해석적 다루기가 가능하다.