[경고] 아래 글을 읽지 않고 "버금 르장드르 함수"를 보면 바보로 느껴질 수 있습니다.
르장드르 함수(Legendre function) $P_n(x)$의 일반화인 버금 르장드르 함수(associated Legendre function) $P_n^m(x)$는 차수(次數, degree) $n$과 계수(階數, order) 혹은 계층수(階層數) $m$을 가지고 있다. 버금 르장드르 함수에서 $m$ = $0$으로 대입한 아주 특별한 경우가 르장드르 함수이다. 버금 르장드르 함수는 $m$까지 변화해서 함수를 생성하기 때문에, 함수값을 계산하기도 수학식에서 다루기도 더 어렵고 복잡하다. 버금 르장드르 함수가 만족하는 미분 방정식은 르장드르의 미분 방정식(Legendre's differential equation)으로 부른다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgRAxxOwNpb-71eDS0jNMLlwwHy1m_cfN3pGk49E39OyAu4rHfgxK_2H8wQ0eMYyAJyl17b6RRUGoLPZzaqu1QZAwWsajs1qcWpkJE7k0fXksQO9q3J_A9uuKkbrpGbgqz0KRK-lzSyvjUE/s1600/lg1.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEioXMcl5PocdcUjXJaKahv4JGoqbY78FgPpZ7D_G7Ign9im8wOVQDvxVw6yHAX3KYLfKkqyErt8hFnjAedvirYf7YxxVvKrC1WljVSbEBJL7LHIaM6t4CjxSgFurUpi75MTyT1j7a0Gpl-sw4Gf50jTWfM7NM5ttIh8kojfGNSi3os86nAO1ssoLPdgsDEo/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiQBfvoM7tz1uQtOlTMX9yye-fc9eSD7LsBbBTQyUU-wqpXiURPbzqQ913n1Xx8h4eTL6gNnjNt_NqdpE2N9Rzecx4nTkJ31JrsBM1jEg24bKy_r8yC38fCHRn6LpE3Oo2hPv6eO8JSK_sl/s1600/lg3.png)
여기서 $m, n$은 정수이다. 식 (1)과 (2)의 해는 각각 $P_n^m(x)$와 $P_n^m(\cos \theta)$로 나타낸다.
미분 방정식 이론에서 버금 르장드르 함수를 다루는 이유는 구 좌표계(spherical coordinate system)를 기준으로 만들어지는 파동을 극고도각(極高度角, polar angle) $\theta$축에서 표현하는 기본 함수로 $P_n^m(\cos \theta)$를 선택하기 때문이다. 예를 들어, 자유 공간에서 평화롭게 전파되는 파동은 다음과 같이 공식화한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi53ueiVyGRyrjQIxEYJzwf1V7xx8LDyax_NhvUuKJn_uf_1ZV9U4OXxqVhhBT18ob8TP3-9WGT2FDTlusZe7oFfbqmn2zZTDDsi2FP9oWT1YxmCIPzwkLyI7mvfQm_rNX99h9zuMFQwPZ-/s1600/lg25.png)
리카티–베셀 함수(Riccati–Bessel function) 혹은 구면 베셀 함수(spherical Bessel function)와 복소 지수 함수(complex exponential function)를 이어주는 접착제 역할에 뽑힌 함수가 바로 버금 르장드르 함수이다. 버금 르장드르 함수는 $\theta$축을 다루는 기본 함수일 뿐만 아니라 $r, \phi$축의 변화를 연결해주는 속성도 가지고 있다. 이런 특성으로 인해 버금 르장드르 함수를 제대로 이해해야 구 좌표계 문제를 정상적으로 해결할 수 있다. 버금 르장드르 함수 $P_n^m (x)$의 차수와 계수는 $\phi$방향으로 $2 \pi$ 주기를 가지게 하고 $\theta$의 모든 정의역에서 $P_n^m (x)$가 유한하도록 만들기 위해 $m,n$을 정수로 제한한다. 하지만 $\phi$방향 주기 조건과 $\theta$에서 유한성을 버리면, 차수와 계수는 모두 실수 혹은 복소수가 될 수 있어서 $P_n^m (x)$ 대신 $P_\nu^\mu (x)$를 사용한다. 여기서 차수와 계수 $\nu, \mu$는 실수와 복소수 범위에 있다.
1. 기본(basics)
[음의 차수와 계수]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjWEurqbmO0KcB_qQN5Ul2AWDY38HPFgh30Vc8LD8y7xsyIxS7_INfDxEn6aFRnvDRE3AIFIGYmps5xlXpL0GSlCfXPeG4Y59QX0G9nsXs9RZWNlRIwrNOa23rMk3ZciyBeexYCJk_OvP88UY5eAU09DDF_qcbv_50BaxVrYCaQfWLW7nFyZpuyOai0xQ/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi0uV7rZcLxFXAmNBAEuYO0QefZxWhEIyw1sJrVWuIvd8spQfxca6HhP-ilK168yDJZkY8uvNlDlw_6uHoxtJbbBYnGMetfm4I5bLnY1G8uJJy-dWUhbGKcbNYjtE7Zv0irldhZVCFVAN9lHZ7Vr6Mkf9Jf1-NmgP2qZ147AhZi0s3ER3TFtj-_0Ei3Nw/s16000/lf.png)
[증명]
(1.4)
(1.5)
르장드르 함수 $P_n(x)$에 대한 음의 차수 공식에 넣어서 식 (1.2)를 증명한다. 식 (1.3)을 밝히기 위해, 식 (1.3)의 우변에 식 (2.1)을 넣고 일반 라이프니츠 규칙(general Leibniz rule)을 적용해서 정리한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhoYu8iPYMdQnFr06FraDo42QV5KG2Pe1hoKQ3nEMqbhb8ZHGhyQ1K8-eCg_YVy243Mh_g7x7chLzn4lH4csCduMp1qLpRWhKuKibWfzCjBX5JTCU52GQNzulIXifaqRP_57DiEmTSqr9LlTXYyzA4Wr5qT49K7ZUR6HUou6iyePL7lH-09gtuueZ8aBQ/s16000/df.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj2Wo-A8n-lq9awxtYllr6SgScMtOMIpMetPd-9wJYh3_q5JFW6Jk8PQ-99gMWpusHxQBsy0u7pR2ZXvkUzT80uXWjKVPU-Ulr6UEGn6OnrFMRtUPCV35sTGQjBJeqTIyFFc2lbaWn2YzEXCo5K4L4G99Sc455KGpAZvpf1x1w12og4xe3rsbFsjhu8uw/s16000/lf.png)
______________________________
식 (1.4)로 인해 버금 르장드르 함수의 정의인 식 (2.1)에는 보기 싫은 항인 $(-1)^m (1 - x^2)^{m/2}$가 필연적으로 출현한다.
[음의 입력 변수: 패리티 혹은 동등성(parity)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhohFKw40uXnzjZePy8qE-wf3niUhODtP-rW02F2H1WkEEWg-8quUOE1V9x9aLQoiVaOEsndQraidkdZMLY7IRyrzhPCDenGXj_GsOYzf1A3584ij1CIIYqo8IcwYZDYnf-9IatAfo1RC9pYCczTNWaxCWbNYqYY2ltURrxk5MbMeg8spKoYC3t5ma_dA/s16000/lf.png)
식 (2.1)에 따라 $-x$에 대한 미분은 $\frac{d^{n+m}}{d(-x)^{n+m}} [(-x)^2 - 1]^n$ = $(-1)^{n+m} \frac{d^{n+m}}{dx^{n+m}} (x^2 - 1)^n$이 되어서 식 (1.6)이 유도된다.
______________________________
[차수와 계수의 관계]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiur7sf26gek2Owc9lmbShYm_j6Ppv-zpxZGr79uG-1XMNobEC8JF6oTYmsT2QGpyrHnO8bq_EpFrt-KAQUQz7QEzoiQ5zLIxUPDcU5OGlknD33KrR588B7h-7w4oUXFe2YdRQdaYGUO2hhLseDlj2tSp-JuBHANeeluTng8_1ntewL2r5mj_vHSmWnyQ/s16000/lf.png)
여기서 $m \ge 0$이다.
[증명]
만약 $n+m > 2n$이라면, 식 (2.1)에 의해 미분한 값은 반드시 0이 된다.
______________________________
만약 $m < 0$인 경우는 식 (1.3)을 적용해서 계산한다. 그러면 $-m > n$인 조건도 $P_n^m(x)$를 0으로 만든다. 따라서 $|m| > n$인 $P_n^m(x)$는 항상 0이다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjGd9wpzHe0mzrGjIfBnaPEs9boBU4Td_zzVpDH3rEXn3JbPPteNwRsYcoXgr6p0d7HentHDsTV9wPpY-VJ0BvdPm5Kb_QXNmcg5ZXxBGT-U8CujpZlGl0eyg6DO-cb_xXlBzZ7ucF6yGj46RD--AM2on4nbUt3_izRAUJgOs_YsxDk4SLqtP7tFe2USQ/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgFChhBx7qlKjAZrAviVjAZ1zy9x6ve2aVs0ExDHH_r8gK46e7EheAgUUZMbDRgtvTnHXTOwv6CSsyuUJBrn5pow6KR6uIKfGs_zVof6iTudENdpc0vQCkDPcg9ePWriNToJ1tqGMQefGRIUq_dxOw7wqHr8PYBrlqrFywM-B-1LuckoYRZsX48e0djQg/s16000/lf.png)
[증명]
식 (1.8a)를 증명하기 위해, 식 (2.1)에 $n$ = $m$을 대입한 후에 $2^m m!$ = $(2m)!!$, $\frac{d^{2m}}{dx^{2m}} x^{2m}$ = $(2m)!$로 놓고 정리한다.
식 (1.8b)에 식 (1.3)을 적용해서 식 (1.8a)로 바꾸면, 식 (1.8b)의 우변이 그대로 유도된다.
______________________________
[로드리그의 공식(Rodrigues' formula)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh-e0c4kP69si4p0KSff1GyjKOuljME1rJEcVhEVpL86TlDiMXx64THkabYhJ_l9mc9kKLGSsatCqT1aeiUXrINKvya1lzwyjmKmPdFJkDI4X3pFZ1K_jQNgw6Ag50kVe4GI1iH0SH1w0l23xu4caUhd-xmbiAwGQlxBkYSQknZTH6HNMMnH5q3LxhRQw/s16000/lf.png)
______________________________
[생성 함수(generating function)]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjn_1mDoKaXY1kJLp-7nM9BuQ6GsWWZj0Ehww0lnnSf5Rezfw71G58LXre2OvcRJqByL2NcMzwPHfvWiaBqO5M4y3dtlCR1IJ4bhll25uZ17Jv8k0_nhOT8OdEfohUTvbNt9GNBM3zHCWRPhY-quYU-kdsIcMUpC3Ax6k1ivJnqkWkEsmL_EXIl74TqRQ/s16000/lf.png)
여기서 $|t| < 1$, $(\cdot)!!$은 이중 계승(double factorial)이다.
식 (2.3)의 우변도 동일하게 미분을 하고 식 (2.4)의 결과를 식 (2.3)의 좌변에 넣는다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjkw6NMtyvwu-KXJiYYrO5evsKeUB_Az0nBz0qy_Mi6THPDT3K2tbVyqnDHiMnQqn7VS5ICqMDT56kSyEooSYfFcKleUSFFjdW3lrfXyhQwI_riknwDe9THkv__w5Zc4C0ipGhsrRiT-EziKMrndQdw-bm9ZxlPLxbDwD_nMi06LmTrnDMC-sYeORTgkQ/s16000/lf.png)
여기서 식 (1.7)에 의해 $P_0^m (x)$ = $P_1^m (x)$ = $\cdots$ = $P_{m-1}^m (x)$ = $0$이다.
______________________________
식 (2.2)에 식 (1.8)을 넣어서 버금 르장드르 함수의 생성 함수를 더욱 간략화할 수 있다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEh0D5P2_du75l_iA5xpQddAwUQ0lKiXYQxYet24AtXSI1hkkttl8mEaUvyF9ZOKsdwoHfNEEVXP3eeBtxR4J3_Uc2O9f8gl0t_gvYisfnI1pt28xnGr6Z43ZDKp1GMT9vpQbkKouBnNsj_RJYGkzPjItFPMeevpzVnJapBFWHsHo4EOSK8y5BD_W57vvQ/s16000/lf.png)
식 (2.6)은 $P_{k+m}^m(x)$의 특성을 $P_m^m(x)$와 연결시킬 때에 매우 편리하게 사용된다.
버금 르장드르 함수의 재귀 관계는 주로 르장드르 함수에서 얻는 재귀 관계를 재활용해서 유도한다.
[단순한 재귀 관계]
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgU6JiftIKtfJUDevkR1NvlJSx2iQ9MBxky8GdkGNaZ81MUF33017ihZ2bRhDCacawRiekNTQgA9C2-EG0wLddbVggaD9E5QSg8yjLFIR234_tppNnnLzhFoYWsRyvJx34N1K1d-mcb0Xt-8J74o4V0uw0RUoDdMpfmT73l438tzd1cEmUNCc8Y5aqXeQ/s16000/lf1.png)
식 (3.2)를 $m$번 미분하고 $(-1)^m (1-x^2)^{m/2}$을 곱해서 계수 $m$을 가진 버금 르장드르 함수를 만들면 식 (3.1)이 바로 유도된다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEha9laDSSlI0iL96AzvEO1ae45M8WleuQs5vl3UFFG1HWPs1KCP14I89aX3SfI04AQ1sdoWtBqZMJj9DNWUUcjf4FwnjYpiRrWNnjXpLSkhJIET2Kx6E001FwAmEIrNNT-togojPTK5PDZ4dGYtPfSRC6XQLHpO-pbG3HLQoluMG-whYevxpPdz12vo8g/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgKFoNTpYbl-zldPmrxPf0xHQEI84rmZ3yCHi6XRhFHyDJN_Mu3RcO-Ka1s5Grig2ia_vtnLeFhPGLzn6uIbjZTy2cnIgn5895Y6TdwCrBs6OqsTopMeA4CuiOYH1nXoEq4iMxST8S22caPgubV9-s-lT3qS5RhNPjEswVdjMJKVLB-e7bGl-2Av3kkzg/s16000/lf.png)
식 (3.4)의 첫째식에서 둘째식으로 넘어갈 때는 식 (3.5)가 필요하다.
______________________________
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEirqwWuA4NkP3s123dUfypa729_z_nuKzMaDTprDli0194U6-zKHPeZLvoiqKc-fCfXgISSqLw3rigOumQ2jneVgYpet0Ei5HZP-UqrViGnrFwp7aF_rYlVG5xKC3Q3z-7nlAtPuLzByVWwunmZL_1izQwU0NGv8cb3g882GVAlvQw8ePPgogBdFiMnsw/s16000/lf.png)
______________________________
4. 특정값(specific value)과 극한(limit)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg6j36WetOh2dBe7bulQqroJ13B80igydswbaJZ7bsYo3HO99KqJXXxPcGHJ0wZC6zUI0RHTNrjqjNYEgJKCOGlKiGEGE_a6VPfEVteJdFN7lErWX6EEYdOHw_I5-02A5DPlqCAppSaKcI5VnZ5jfbdG8vzbR0d_fY3qLni6rAI1kxc0HYNrhQloP9Z_w/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhNSqjkwVWTIs16TlnN_mJuB7pdZlMoPC7NBTTC9IO648UDcxs0MAbqNqVeF3wxOviUe5SJxQMMbE-XqZewfTneDscHExEI7R3PDljUKNRs7RTwtLCA8XLWTYs4erotpPdTWAFrc_AIjsPNbL_6VSjuWtWFWe6Z4DUm6t-om4JoxY5MVK0F1fZwRewv8g/s16000/lf.png)
[증명]
식 (1.1a)를 써서 간편하게 식 (4.1)을 얻는다.
______________________________
식 (4.3)의 무한 급수와 식 (2.2)의 우변을 비교해서 $P_{k+m}^m(0)$ = $P_{2l+m}^m(0)$이 가지는 값을 결정한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjQ5a7lQ5saqNUVGML6qOnNcCCdcBV2IhdIt8FO5o2eqK6gbnE5mF7CZs6BjOOXkHxDVXYDiIAiOzwL0sHQ9XpJ4NOtjcYgFqpCA2zikDmb6QCrjoVph_7L6saNI9CFme2vPRWeRso5VAb4jg65A6t1mT8MLWjweNEfqtPUid4JDr-eKNodOPmfp2xWkA/s16000/lf.png)
여기서 $k$ = $2l$이다. 식 (4.4)에서 $n$ = $2l + m$ 혹은 $l$ = $(n-m)/2$이라 두면, $2l$이 짝수라서 $n+m$도 항상 짝수가 된다. 그래서 $n+m$인 경우에만 함수값이 식 (4.2)의 첫째식과 같이 주어진다.
______________________________
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgDyqwMSoM6FwoSD18OpMqFdMZjjVmrO51Cmtcd1j4zdERZ0ftb_iCTxixXoTyrVJnZfO0Z8Wr8Zj36v43uk_CHpQ3wuZdJxDaUpUOeNVk1VDqoKLjO-z23MtFjLQqaQF9VRDHcJVELtyLmoGzcgZdmC9eVcCrDd6kxYn_TEKfrsps_OeuIyb9KDElvTQ/s16000/lf.png)
식 (4.6)에 $n$ = $k+m$ 혹은 $k$ = $n-m$과 식 (1.8)을 대입한 후, 식 (2.6)과 항별로 비교해서 식 (4.5)의 우변을 얻는다.
______________________________
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjKbmnn5WNSojzMNU_EAbTrl0hi1ZbjQ-03qBehqv02MgLU6GssfSyFGwBOa74zwxD2S7Mf_1xJ0Bd51kCxv9lzTwkK8p7TVjyn7yFRJ7on0wJoJo3nkfcnHuxxc0mw0jXomaD3qkmt2XEtggk_V7eQ5dkgTkHaZbcuJ219uys0L4fB9n37weBLyyrGVg/s16000/lf.png)
[증명] [3]
먼저 $m \ge 0$, $x$ = $\cos \theta$이라 놓고 식 (4.5)를 변형해서 식 (4.7)의 첫째식을 얻는다. 반대로 $m < 0$인 경우는 식 (1.3)을 써서 계수를 0보다 크게 만든다. 그러면 식 (4.5)를 다시 쓸 수 있어서 식 (4.7)의 둘째식도 증명된다.
______________________________
5. 정적분(definite integral)
[버금 르장드르 함수의 직교성(orthogonality of associated Legendre function)] [1]
[증명]
(5.2)
르장드르의 미분 방정식(Legendre's differential equation)은 $q(x)$ = $m^2 \mathbin{/} (x^2 - 1)$, $r(x)$ = $1$, $\lambda$ = $n(n+1)$을 가진 스튀름–리우빌 미분 방정식(Sturm–Liouville differential equation)이므로, 고유 함수 $P_n^m(x)$는 서로 직교해서 $n \ne l$이라면 적분이 항상 0이 된다. 그래서 $n$ = $l$라고 한정하고 식 (2.1)을 식 (5.1)에 대입한 후에, 르장드르 함수의 직교성처럼 부분 적분(integration by parts)으로 답을 구한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiBnzwOOp-1R8khAbYmQ2uu8eyiueW2re_-nFwDWaFI4Rs6tWLAN-FuLwkPdveB_HKXpJZ10vDPgnD4OTjq5FPma9tYl28oBj56x8GciS2P5ig4YgZQJ6ovhms5ZluGxpGwbWOA_VfpDurfmu-m8YKh29dgIdyTp8kP-ctmg79x69RHm9iG1PQ-hXgK5g/s16000/lf.png)
여기서 부분 적분에 나오는 적분이 없는 항[$\int f'g\,dx$ = $fg - \int fg',dx$에서 $fg$]은 항상 0이다.[∵ 점 $x$ = $\pm 1$에서 $X^n X^m$은 영점을 $n+m$개 가지고 있고, 부분 적분으로 인해 미분은 $n+m-1$번을 하기 때문이다.] 식 (5.2)의 마지막식에 일반 라이프니츠 규칙(general Leibniz rule)을 적용하고 계산한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhHGsxDIyz9TcXWi68Xm81gIqrX9lpmoDet6HhVIzvzJfgecGn8WULK58zCclwq-GtpoCPegWUGFZvqiAdaVwHJ20sDi861S1F90ml2qUo5UJLdPMXDykERSJa85fUo6oa_UW03at56RVGG5F7aZcWcgFd5uDubcNELwYtrz-DHx4Q-wT6UMZRObuXmyg/s16000/lf.png)
여기서 $n+m+k \le 2n$과 $n+m-k \le 2m$을 동시에 만족하는 값은 $k$ = $n-m$이 유일하다. 식 (5.3)을 식 (5.2)에 다시 넣고 베타 함수(beta function)를 써서 최종 유도를 완성한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEix2D02HapTHPrQCaykcHEtxy80-9a1DCTdyFQqv7UmpiHoW5a9y29tcqsTrqmuxGfZhUFz2p2va0XGr2bkTfZUwPX4yqa-x13vylC6atule11n_ztd1GBbR1e6cXjlLNsdlxqqEIa8e1k62gjHB-iVOuTcscpS_Dm6caeSMmUtAcANgzkJq8tDnEIEDA/s16000/lp5.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhywdZv2bndrj7053AD1O-r5wl4mEx6wdo2XUe7b6nnGEl2_7L9_ZQecLl4JPfVe0UNQqbPKw42UGmkE9mKaTVLoT_TLbA0IPOnwaNlo68jgrJFBzTu7coS-TFuIDXTPmJgMmi6_oaNs6sDXJhZhDNWXJXMFcI9r1fLxCxEbvpsIPuxmva-BpGolGMbHg/s16000/be2.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiLLFNGjRoiyPA1WhjqTLQ78ugSceXQ8aHazVr6rqLgq7WZx_m76wKTbknoZBUS2H7irjQ4Ua8ZKofEZSsPSMZnSWhesrNbKKJo01xrcgS9RUKRAqwFOKSP4SizVZfoYXbtuWmT5HUvFp5B90kZF4usPXV0rhCTZlg8VusBwkk3sEFuoMj21jq_l17AsQ/s16000/lf.png)
______________________________
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjYqVvUhHGCH0kgWeHY9fVd_HB8bP790FdXSHhTzXeLrXs5YbTtxnZNjeLP2wQ6ak9Q6_56kQZkU5NSgic4RKiADhOzz58IC2gbNl22slJDO5vg21n2BKxEse-684k4UMboc7VRCSAWSV8vnXsEPmdq2OV3ms4lNOmuzEZMO3OAWZZe2a3OGNtjMAMpaw/s16000/lf.png)
여기서 $m \ne 0$, 만약 $m$ = $k$ = $0$이면 적분값이 발산한다.
[증명] [2]
(5.8)
르장드르의 미분 방정식(Legendre's differential equation)을 스튀름–리우빌 미분 방정식(Sturm–Liouville differential equation)으로 바꿀 때, 식 (5.1)의 증명과는 다르게 $q(x)$ = $-n(n+1)$, $r(x)$ = $1 \mathbin{/} (1-x^2)$, $\lambda$ = $-m^2$로 둔다. 다만 $r(x)$가 $x$ = $\pm 1$ 근방에서 발산하므로 $\lim_{x \to \pm 1} r(x) P_n^m(x)$는 유한해야 한다. 이에 따라 고유 함수 $P_n^m(x)$의 직교성을 이용해 $m \ne k$인 적분은 0이 됨을 쉽게 밝힐 수 있다. 반면에 계수가 $m$ = $k$인 경우는 식 (5.2)와 비슷한 연산을 되풀이한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEiRYbMev2un40cC0gvija6jlJTU8JODIMJYGtoK7m-OCEwTmAp67QZ12tr1hbfjX-GNlK16gsB9FA_2MSDab8uBL17bthZ6db-nkra4XWIU3FbCA9AcKWAL3gr9IC_QkFa7yhRShCx9JOzGnBjM0PYn04xFgndTZXWdPEuLZS36C7pMvR8HhtdC2zB4-w/s16000/lf.png)
다만 식 (5.2)와 다르게 부분 적분에서 적분이 없는 항이 사라지지 않는 경우가 발생한다. 왜냐하면 $X^n$과 $X^{m-1}$을 각각 $n$번 및 $m-1$번 미분함으로 인해 $x$ = $\pm 1$에서 $X$의 영점이 사라지기 때문이다. 식 (5.8)의 마지막 적분은 일반 라이프니츠 규칙(general Leibniz rule)으로 처리한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEi4peZyJBehxoXnJzqw0CxA46ACCQBUG5KitG3OTDMX1Gkf490lhMUmEakiJrhOOzKPkK13R_0KauO8DZ9FytgSKLCva9SJ3BmXkSlw9fMTjYz2AMzVllL1jSAbVd8G5O1YDCF-eNox8V5lz7ZuVSQPJJniy8UiAdrxMNqc3OTTLxVYsE3dRgZ8EhVSPw/s16000/lf.png)
여기서 $k$는 $n+m+k \le 2n$과 $n+m-k \le 2m -2$를 동시에 만족할 수 없어서 적분이 0으로 나온다. 따라서 $x$ = $1$과 $-1$에서 함수값을 구하면 식 (5.7)의 적분이 유도된다. 먼저 식 (5.8)의 마지막식에 $x$ = $1$를 넣어서 항별로 계산한다.
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg3zgUuVuvRx_LOZwKH9tAXoM01KTsCnSwa06Y9oTqtr3yOJiny0oBc_7rxsYZHB7QwPyLiafFzQY4BjU1MXLPXbab2FSDBU5Ologi9YiGBms1-uynOgucL_rzAw8uSFGMK20Yve7W7LouY_OIAVrE0CQ-cSnxPoaWCE3QJUdbTjWftZD_J1ucPIhYuyA/s16000/lf.png)
![](https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjLNMTdGgkdnjK31-H2BsIvjrGBOY2eATvQmQkihxMR-PkgfhxAhZDgh1p_yRsJsnxONVI7N0IPxkMq5jqZu3LsQb0LG1DK6iJJZ-XyKrxP-1M1ZoA3H-F5ar3qDFFpQp5vldVFyVnmFuaBEy4PyFig7-HxQYFFseRpYhXOuiemPlOIMcQDKnq1Rp_a_Q/s16000/lf.png)
______________________________
[참고문헌]
[1] G. B. Arfken, H. J. Weber, and F. E. Harris, Mathematical Methods for Physicists, 7th ed., Academic Press, 2013.
[2] Orthogonality of associated Legendre functions," ProofWiki. (방문일 2022-11-16)
[3] Y. H. Cho and W. J. Byun, "Generalized Friis transmission equation for orbital angular momentum radios," IEEE Trans. Antennas Propag., vol. 67, no. 4, pp. 2423–2429, Apr. 2019.
[4] R. S. Maier, "Associated Legendre functions and spherical harmonics of fractional degree and order," Constr. Approx., vol. 48, no. 2, pp. 235–281, Oct. 2018.
[다음 읽을거리]
댓글 없음 :
댓글 쓰기
욕설이나 스팸글은 삭제될 수 있습니다. [전파거북이]는 선플운동의 아름다운 인터넷을 지지합니다.