Arfken 7판 15.4–15.5절 (연관 르장드르 함수, 점화식과 패리티, 구면조화함수, 각운동량 연산자, 덧셈 정리)
$(-1)^m$을 어디에 넣는지가 책마다 다릅니다. $m\ge0$에서 두 가지 정의가 쓰입니다.
이 레슨의 약속: 기호 $P_l^m$은 위상을 뺀 정의로 씁니다. 위상은 아래 $Y_l^m$ 공식 맨 앞의 $(-1)^m$에 들어 있습니다. 두 정의 중 무엇을 써도 $Y_l^m$은 똑같이 나옵니다. 결과는 대부분의 양자역학 교재, 그리고 SymPy의 Ynm과 같습니다. 대표적으로 $Y_1^1=-\sqrt{\frac{3}{8\pi}}\sin\theta\,e^{i\varphi}$ 처럼 음수입니다.
Arfken 7판: 위상을 $P_l^m$ 정의 안에 넣는 쪽으로 기억합니다 (기억 기반, 미검증). 책을 펴서 직접 확인하는 방법은 간단합니다. $P_1^1$이 $-\sqrt{1-x^2}$로 나와 있으면 위상을 넣은 정의, $+\sqrt{1-x^2}$이면 뺀 정의입니다. 책의 $P_l^m$ 표와 이 레슨의 표가 홀수 $m$에서 부호만 다르면 이 차이 때문입니다.
음수 $m$의 $P_l^{-m}$ 정의도 책마다 다릅니다. 그래서 이 레슨은 $P_l^{-m}$을 쓰지 않고, 음수 $m$은 $Y_l^{-m}=(-1)^m(Y_l^m)^*$로만 다룹니다.
| 이름 | 식 |
|---|---|
| 연관 르장드르 함수(associated Legendre function) | $P_l^m(x)=(1-x^2)^{m/2}\dfrac{d^m}{dx^m}P_l(x)$, $\ 0\le m\le l$ |
| 그 방정식 | $(1-x^2)y''-2xy'+\Big[l(l+1)-\dfrac{m^2}{1-x^2}\Big]y=0$ |
| 구면조화함수(spherical harmonic), $m\ge0$ | $Y_l^m(\theta,\varphi)=(-1)^m\sqrt{\dfrac{2l+1}{4\pi}\dfrac{(l-m)!}{(l+m)!}}\;P_l^m(\cos\theta)\,e^{im\varphi}$ |
| 음수 $m$ | $Y_l^{-m}=(-1)^m\,(Y_l^m)^*$ |
| 직교정규성 | $\displaystyle\int Y_{l'}^{m'*}Y_l^m\,d\Omega=\delta_{ll'}\delta_{mm'},\quad d\Omega=\sin\theta\,d\theta\,d\varphi$ |
| 각운동량 ($\hbar=1$) | $L^2Y_l^m=l(l+1)Y_l^m,\quad L_zY_l^m=mY_l^m$ |
| 덧셈 정리(addition theorem) | $P_l(\cos\gamma)=\dfrac{4\pi}{2l+1}\sum_{m=-l}^{l}Y_l^m(\theta,\varphi)\,Y_l^{m*}(\theta',\varphi')$ |
| 방향 코사인 | $\dfrac xr=\sin\theta\cos\varphi,\quad\dfrac yr=\sin\theta\sin\varphi,\quad\dfrac zr=\cos\theta$ |
| $l$ | $m$ | $Y_l^m(\theta,\varphi)$ |
|---|---|---|
| 0 | 0 | $\dfrac{1}{\sqrt{4\pi}}$ |
| 1 | 0 | $\sqrt{\dfrac{3}{4\pi}}\cos\theta$ |
| 1 | $\pm1$ | $\mp\sqrt{\dfrac{3}{8\pi}}\sin\theta\,e^{\pm i\varphi}$ |
| 2 | 0 | $\sqrt{\dfrac{5}{16\pi}}\,(3\cos^2\theta-1)$ |
| 2 | $\pm1$ | $\mp\sqrt{\dfrac{15}{8\pi}}\sin\theta\cos\theta\,e^{\pm i\varphi}$ |
| 2 | $\pm2$ | $\sqrt{\dfrac{15}{32\pi}}\sin^2\theta\,e^{\pm2i\varphi}$ |
부호 규칙만 기억하면 됩니다: 표에서 앞에 음수 부호가 붙는 것은 $m$이 양의 홀수일 때뿐입니다.
$m$번 미분하면 연관 방정식이 됩니다. 르장드르 방정식 $(1-x^2)y''-2xy'+l(l+1)y=0$을 $m$번 미분합니다. 라이프니츠 규칙으로 $(1-x^2)y''$에서는 $(1-x^2)y^{(m+2)}-2mx\,y^{(m+1)}-m(m-1)y^{(m)}$, $-2xy'$에서는 $-2x\,y^{(m+1)}-2m\,y^{(m)}$이 나옵니다. $u=P_l^{(m)}$로 쓰면
$$(1-x^2)u''-2(m+1)x\,u'+(l-m)(l+m+1)\,u=0.$$($l(l+1)-m(m-1)-2m=(l-m)(l+m+1)$입니다.) 여기에 $u=(1-x^2)^{-m/2}y$를 넣어 정리하면 0절의 연관 방정식이 나옵니다(대입 계산은 길어서 생략, 검산 스크립트에서 확인). $(1-x^2)^{m/2}$를 곱하는 것은 가운데 $u'$ 항을 원래의 $-2xy'$ 모양으로 되돌리기 위해서입니다. $m>l$이면 $P_l^{(m)}=0$이라 해가 없어지는 것도 보입니다.
L21의 $P_1=x$, $P_2=\frac{3x^2-1}{2}$, $P_3=\frac{5x^3-3x}{2}$를 미분합니다.
위상을 넣은 정의로는 $m$이 홀수인 것만 부호가 바뀝니다: $-\sin\theta$, $-3\sin\theta\cos\theta$, $+3\sin^2\theta$, $-\frac32\sin\theta(5\cos^2\theta-1)$.
음수 $m$ 관계 $Y_l^{-m}=(-1)^m(Y_l^m)^*$. 연관 방정식에는 $m^2$만 들어 있으므로 $-m$의 $\theta$ 부분도 $+m$과 같은 방정식을 풉니다. 양 극에서 유한한 해는 $P_l^{|m|}$ 하나뿐이라 $Y_l^{-m}=c\,P_l^m(\cos\theta)\,e^{-im\varphi}$ 꼴입니다. 이것은 $(Y_l^m)^*$에 상수를 곱한 것이고, 정규화가 그 상수의 크기를 1로 정합니다. 남은 부호 $(-1)^m$은 약속(콘던-쇼틀리)입니다. 이 약속을 쓰면 사다리 연산자의 계수가 모두 양수가 됩니다(L31).
$Y_2^1$: $l=2$, $m=1$이면 $\frac{(l-m)!}{(l+m)!}=\frac{1!}{3!}=\frac16$ 이므로 정규화는 $\sqrt{\frac{5}{4\pi}\cdot\frac16}=\sqrt{\frac{5}{24\pi}}$.
$$\begin{aligned}Y_2^1&=(-1)\sqrt{\frac{5}{24\pi}}\cdot3\sin\theta\cos\theta\,e^{i\varphi}\\&=-\sqrt{\frac{9\cdot5}{24\pi}}\sin\theta\cos\theta\,e^{i\varphi}\\&=-\sqrt{\frac{15}{8\pi}}\sin\theta\cos\theta\,e^{i\varphi}.\end{aligned}$$$Y_2^{-1}$: $(-1)^1(Y_2^1)^*=+\sqrt{\frac{15}{8\pi}}\sin\theta\cos\theta\,e^{-i\varphi}$.
$Y_2^2$: $\frac{0!}{4!}=\frac1{24}$ 이므로 정규화는 $\sqrt{\frac{5}{96\pi}}$, 부호는 $(-1)^2=+1$.
$$\begin{aligned}Y_2^2&=3\sqrt{\frac{5}{96\pi}}\sin^2\theta\,e^{2i\varphi}\\&=\sqrt{\frac{45}{96\pi}}\sin^2\theta\,e^{2i\varphi}\\&=\sqrt{\frac{15}{32\pi}}\sin^2\theta\,e^{2i\varphi}.\end{aligned}$$$Y_2^{-2}$: $(-1)^2(Y_2^2)^*=\sqrt{\frac{15}{32\pi}}\sin^2\theta\,e^{-2i\varphi}$. 0절의 표와 같습니다.
그림 표기로 보기: G3 4절 — Y_ℓ^m의 정규화 상수를 변환기(나비넥타이)로 적분·계승 없이 구하기, 콘던-쇼틀리 위상 포함.
$\delta_{mm'}$은 $\varphi$ 적분에서: $k=m-m'\ne0$이면 $\int_0^{2\pi}e^{ik\varphi}d\varphi=\big[\frac{e^{ik\varphi}}{ik}\big]_0^{2\pi}=0$입니다($k$가 정수라 한 바퀴 돌면 제자리). 그래서 $\theta$ 쪽은 같은 $m$끼리만 따지면 되고, 같은 $m$에서 $l\ne l'$이면 서로 다른 고유값 $l(l+1)$에 속하는 스투름-리우빌 고유함수(L25)라 직교합니다.
정규화 상수의 출처: $u_k=P_l^{(k)}$, $I_k=\int_{-1}^1(1-x^2)^ku_k^2\,dx$로 둡니다. 1절 상자의 $u$ 방정식($m\to k$)은 $\frac{d}{dx}\big[(1-x^2)^{k+1}u_k'\big]=-(l-k)(l+k+1)(1-x^2)^ku_k$로 쓸 수 있습니다. $I_{k+1}=\int(1-x^2)^{k+1}u_k'\,u_k'\,dx$를 한 번 부분적분하면(경계항은 $(1-x^2)^{k+1}$ 때문에 0)
$$I_{k+1}=(l-k)(l+k+1)\,I_k.$$$I_0=\frac{2}{2l+1}$(L21)에서 $m$번 올라가면 $\int_{-1}^1(P_l^m)^2dx=\frac{2}{2l+1}\frac{(l+m)!}{(l-m)!}$. 여기에 $\varphi$ 적분 $2\pi$를 곱하고 역수의 제곱근을 취하면 $Y_l^m$의 정규화 상수 $\sqrt{\frac{2l+1}{4\pi}\frac{(l-m)!}{(l+m)!}}$입니다.
$|Y_1^1|^2=\frac{3}{8\pi}\sin^2\theta$ 입니다($e^{i\varphi}e^{-i\varphi}=1$).
$$\int|Y_1^1|^2d\Omega=\frac{3}{8\pi}\int_0^{2\pi}d\varphi\int_0^\pi\sin^2\theta\,\sin\theta\,d\theta.$$$\theta$ 적분: $\int_0^\pi\sin^3\theta\,d\theta=\int_{-1}^1(1-u^2)\,du=2-\frac23=\frac43$.
$$\frac{3}{8\pi}\cdot2\pi\cdot\frac43=1.\ \checkmark$$$\sin\theta\,e^{i\varphi}$: $Y_1^1=-\sqrt{\frac{3}{8\pi}}\sin\theta\,e^{i\varphi}$를 거꾸로 풀면 $\sin\theta\,e^{i\varphi}=-\sqrt{\frac{8\pi}{3}}\,Y_1^1$.
$x/r$: $\frac xr=\sin\theta\cos\varphi=\frac12\big(\sin\theta\,e^{i\varphi}+\sin\theta\,e^{-i\varphi}\big)$. 위 식과 $\sin\theta\,e^{-i\varphi}=+\sqrt{\frac{8\pi}{3}}Y_1^{-1}$을 넣습니다.
$$\frac xr=\frac12\sqrt{\frac{8\pi}{3}}\big(Y_1^{-1}-Y_1^1\big)=\sqrt{\frac{2\pi}{3}}\big(Y_1^{-1}-Y_1^1\big).$$부호 확인: $Y_1^{-1}-Y_1^1=\sqrt{\frac{3}{8\pi}}\sin\theta(e^{-i\varphi}+e^{i\varphi})$ 로 실수가 되어야 맞습니다.
$\varphi$가 없으니 $m=0$뿐이지만 $l=0$과 $l=2$가 섞입니다. L21 예제 6-1의 $x^2=\frac13P_0+\frac23P_2$를 씁니다.
$$\begin{aligned}\cos^2\theta&=\frac13\cdot\sqrt{4\pi}\,Y_0^0+\frac23\cdot\sqrt{\frac{4\pi}{5}}\,Y_2^0\\&=\frac{2\sqrt\pi}{3}Y_0^0+\frac43\sqrt{\frac\pi5}\,Y_2^0.\end{aligned}$$계수 공식으로 첫 계수를 확인합니다: $c_{00}=\int\frac{1}{\sqrt{4\pi}}\cos^2\theta\,d\Omega=\frac{1}{\sqrt{4\pi}}\cdot2\pi\cdot\frac23=\frac{2\sqrt\pi}{3}$.
$\sin^2\theta\cos2\varphi$ (이것은 $\frac{x^2-y^2}{r^2}$입니다):
$$\begin{aligned}\sin^2\theta\cos2\varphi&=\frac12\big(\sin^2\theta\,e^{2i\varphi}+\sin^2\theta\,e^{-2i\varphi}\big)\\&=\frac12\sqrt{\frac{32\pi}{15}}\big(Y_2^2+Y_2^{-2}\big)\\&=\sqrt{\frac{8\pi}{15}}\big(Y_2^2+Y_2^{-2}\big).\end{aligned}$$$xy/r^2$: $\frac{xy}{r^2}=\sin^2\theta\cos\varphi\sin\varphi=\frac12\sin^2\theta\sin2\varphi$, 그리고 $\sin2\varphi=\frac{e^{2i\varphi}-e^{-2i\varphi}}{2i}$.
$$\begin{aligned}\frac{xy}{r^2}&=\frac{1}{4i}\sqrt{\frac{32\pi}{15}}\big(Y_2^2-Y_2^{-2}\big)\\&=-i\sqrt{\frac{2\pi}{15}}\big(Y_2^2-Y_2^{-2}\big)\\&=i\sqrt{\frac{2\pi}{15}}\big(Y_2^{-2}-Y_2^2\big).\end{aligned}$$$\frac1{4i}=-\frac i4$, $\frac14\sqrt{\frac{32\pi}{15}}=\sqrt{\frac{2\pi}{15}}$을 썼습니다.
그림 표기로 보기: G3 4절 예제 4-2 — (n_x + i n_y)² = 2(e₊·n)²로 이 전개를 표 없이 다시 풉니다.
지름길: $x=\cos\theta$이면 $\frac{d}{d\theta}=-\sin\theta\frac{d}{dx}$이므로 $\frac{1}{\sin\theta}\frac{d}{d\theta}\big(\sin\theta\frac{d\Theta}{d\theta}\big)=\frac{d}{dx}\big((1-x^2)\frac{d\Theta}{dx}\big)$입니다.
고유값이 $l(l+1)$인 이유: 연관 르장드르 방정식(0절)을 나누어 쓰면 $\big((1-x^2)\Theta'\big)'-\frac{m^2}{1-x^2}\Theta=-l(l+1)\Theta$입니다. 왼쪽이 지름길의 대괄호와 똑같으므로 $L^2Y_l^m=l(l+1)Y_l^m$은 그 방정식을 다시 쓴 것일 뿐입니다. $L_zY_l^m=mY_l^m$은 $e^{im\varphi}$ 하나로 끝납니다.
덤: L31의 사다리 연산자 $L_\pm=e^{\pm i\varphi}(\pm\partial_\theta+i\cot\theta\,\partial_\varphi)$는 괄호 안이 $e^{im\varphi}$를 그대로 두고, 앞의 $e^{\pm i\varphi}$가 $m$을 $\pm1$ 바꿉니다.
$L_z$: $-i\partial_\varphi(\sin\theta\,e^{i\varphi})=-i\cdot i\sin\theta\,e^{i\varphi}=1\cdot\sin\theta\,e^{i\varphi}$. 고유값 $m=1$.
$L^2$, $\theta$ 부분:
$\varphi$ 부분: $\dfrac{1}{\sin^2\theta}\partial_\varphi^2f=-\dfrac{\sin\theta}{\sin^2\theta}e^{i\varphi}=-\dfrac{1}{\sin\theta}e^{i\varphi}$.
$$\begin{aligned}\text{대괄호}&=\frac{\cos^2\theta-\sin^2\theta-1}{\sin\theta}e^{i\varphi}\\&=\frac{-2\sin^2\theta}{\sin\theta}e^{i\varphi}=-2\sin\theta\,e^{i\varphi}.\end{aligned}$$앞의 음수 부호까지 붙이면 $L^2f=2f=1\cdot(1+1)f$. ✓
$\Theta=3x^2-1$, $m=0$입니다. $L_z$는 $\varphi$가 없으니 0입니다.
$$\begin{aligned}(1-x^2)\Theta'&=(1-x^2)\cdot6x=6x-6x^3,\\ \frac{d}{dx}(6x-6x^3)&=6-18x^2=-6(3x^2-1).\end{aligned}$$앞의 음수 부호를 붙이면 $L^2\Theta=6\Theta=2\cdot(2+1)\Theta$. ✓
약한 스케치입니다. $(\theta',\varphi')$을 고정하면 $P_l(\cos\gamma)$는 $\mathbf r'$ 방향을 $z$축으로 잡은 좌표에서 $P_l(\cos\theta_{\text{새}})$입니다. $L^2$는 축을 돌려도 모양이 같으므로 이것도 고유값 $l(l+1)$의 고유함수이고, 따라서 같은 $l$의 $Y_l^m$들의 합입니다: $P_l(\cos\gamma)=\sum_mc_mY_l^m(\theta,\varphi)$.
계수는 $c_m=\int Y_l^{m*}(\theta,\varphi)\,P_l(\cos\gamma)\,d\Omega$입니다. 이 적분을 돌린 좌표에서 계산하면 $\frac{4\pi}{2l+1}Y_l^{m*}(\theta',\varphi')$가 나옵니다(이 단계는 생략, 검산 스크립트에서 $l=2$ 수치 확인). 쉬운 점검: $\theta'=0$이면 레시피 3의 특수한 경우가 되고, $l=1$은 예제 6-1처럼 직접 맞춰 볼 수 있습니다.
$m=\pm1$ 두 항을 더하면 $e^{i\alpha}+e^{-i\alpha}=2\cos\alpha$ 이므로 $\frac{3}{4\pi}\sin\theta\sin\theta'\cos(\varphi-\varphi')$.
$$\begin{aligned}&\sum_mY_1^m(\theta,\varphi)Y_1^{m*}(\theta',\varphi')\\&=\frac{3}{4\pi}\big[\cos\theta\cos\theta'+\sin\theta\sin\theta'\cos(\varphi-\varphi')\big]\\&=\frac{3}{4\pi}\cos\gamma.\end{aligned}$$$\frac{4\pi}{3}$을 곱하면 $\cos\gamma=P_1(\cos\gamma)$. ✓
그림 표기로 보기: G3 5절 — 덧셈 정리 = 변환기 가운데 자르기. ℓ=1은 구면 기저의 완비성, ∫P_ℓ(n·a)P_ℓ(n·b)dΩ = 4πP_ℓ(a·b)/(2ℓ+1).
점화식: L21의 점화식 $(l+1)P_{l+1}=(2l+1)xP_l-lP_{l-1}$을 $m$번 미분합니다. 라이프니츠 규칙으로 $(xP_l)^{(m)}=xP_l^{(m)}+mP_l^{(m-1)}$입니다.
$$\begin{aligned}(l+1)P_{l+1}^{(m)}&=(2l+1)\big(xP_l^{(m)}+mP_l^{(m-1)}\big)\\&\quad-lP_{l-1}^{(m)}.\end{aligned}$$남은 $P_l^{(m-1)}$은 L21의 미분 점화식을 $m-1$번 미분한 $(2l+1)P_l^{(m-1)}=P_{l+1}^{(m)}-P_{l-1}^{(m)}$으로 지웁니다. 정리하면 $(l-m+1)P_{l+1}^{(m)}=(2l+1)xP_l^{(m)}-(l+m)P_{l-1}^{(m)}$이고, 양변에 $(1-x^2)^{m/2}$를 곱하면 끝입니다.
패리티: $\theta\to\pi-\theta$는 $x\to-x$입니다. $P_l$의 패리티가 $(-1)^l$이고 한 번 미분할 때마다 부호가 한 번 바뀌므로 $P_l^{(m)}(-x)=(-1)^{l-m}P_l^{(m)}(x)$. $(1-x^2)^{m/2}$는 그대로이고 $e^{im(\varphi+\pi)}=(-1)^me^{im\varphi}$. 곱하면 $(-1)^{l-m}(-1)^m=(-1)^l$.
$P_3^1$ ($m=1$, $l=2$): $(2-1+1)P_3^1=5xP_2^1-3P_1^1$. 예제 1-1의 $P_2^1=3x\sqrt{1-x^2}$, $P_1^1=\sqrt{1-x^2}$을 넣습니다.
$$2P_3^1=(15x^2-3)\sqrt{1-x^2},\qquad P_3^1=\frac32(5x^2-1)\sqrt{1-x^2}.$$예제 1-1과 같습니다.
$P_4^2$ ($m=2$): 시작값 $P_2^2=3(1-x^2)$. $l=2$를 넣으면 $P_1^2=0$이라 $1\cdot P_3^2=5xP_2^2=15x(1-x^2)$. 다음 $l=3$:
$$\begin{aligned}2P_4^2&=7xP_3^2-5P_2^2\\&=105x^2(1-x^2)-15(1-x^2),\\ P_4^2&=\frac{15}{2}(7x^2-1)(1-x^2).\end{aligned}$$확인: $P_4''=\frac{d^2}{dx^2}\frac{35x^4-30x^2+3}{8}=\frac{420x^2-60}{8}=\frac{15}{2}(7x^2-1)$.
(a) $Y_2^1$ 확인. $Y_2^1\propto\sin\theta\cos\theta\,e^{i\varphi}$. $\theta\to\pi-\theta$에서 $\sin\theta$는 그대로, $\cos\theta\to-\cos\theta$. $\varphi\to\varphi+\pi$에서 $e^{i\varphi}\to-e^{i\varphi}$. 부호는 $(+)(-)(-)=+1=(-1)^2$입니다.
(b) 전개 미리 보기. $\frac xr$은 홀이라 $l=1$만 나옵니다(예제 4-1). $\frac{x^2}{r^2}$은 짝이라 $l=0,2$만 나옵니다(C5).
(c) 계산 없이 0. $\int|Y_l^m|^2\cos\theta\,d\Omega$: $|Y_l^m|^2$은 짝, $\cos\theta$는 홀이라 전체가 홀이므로 모든 $l,m$에서 0입니다. 원자가 영구 쌍극자 모멘트를 갖지 않는다는 말의 수학적 내용입니다.
이런 0/0 아님 조건을 선택 규칙(selection rule)이라고 합니다. 원자의 쌍극자 전이에서 $\Delta l=\pm1$, $\Delta m=0,\pm1$이 바로 이것입니다.
참고 공식은 7절 점화식에서 나옵니다. 상수를 $N_{lm}=\sqrt{\frac{2l+1}{4\pi}\frac{(l-m)!}{(l+m)!}}$로 씁니다(부호 $(-1)^m$은 두 $Y$에 같이 붙어 사라짐). $xP_l^m$을 7절처럼 풀고 $\int P_{l+1}^mP_{l-1}^m=0$을 쓰면
$$\begin{aligned}&\int Y_{l+1}^{m*}\cos\theta\,Y_l^m\,d\Omega\\&=2\pi N_{l+1,m}N_{lm}\frac{l-m+1}{2l+1}\int_{-1}^1\big(P_{l+1}^m\big)^2dx.\end{aligned}$$3절 상자의 $\int(P_{l+1}^m)^2dx=\frac{2}{2l+3}\frac{(l+1+m)!}{(l+1-m)!}$를 넣고 계승을 지우면 $\sqrt{\frac{(l+1-m)(l+1+m)}{(2l+1)(2l+3)}}$가 남습니다. 분자가 $(l+1)^2-m^2$을 인수분해한 꼴입니다.
(a) $\cos\theta\,Y_0^0=\sqrt{\frac{4\pi}{3}}Y_1^0\cdot\frac1{\sqrt{4\pi}}=\frac{1}{\sqrt3}Y_1^0$. 직교정규성으로
$$\int Y_1^{0*}\cos\theta\,Y_0^0\,d\Omega=\frac{1}{\sqrt3}.$$(b) 직접 적분합니다. 상수는 $\sqrt{\frac{5}{16\pi}}\sqrt{\frac{3}{4\pi}}=\frac{\sqrt{15}}{8\pi}$.
$$\begin{aligned}\int Y_2^{0*}\cos\theta\,Y_1^0\,d\Omega&=\frac{\sqrt{15}}{8\pi}\cdot2\pi\int_{-1}^1(3u^2-1)u^2\,du\\&=\frac{\sqrt{15}}{4}\Big(\frac65-\frac23\Big)\\&=\frac{\sqrt{15}}{4}\cdot\frac{8}{15}=\frac{2}{\sqrt{15}}.\end{aligned}$$참고 공식에 $l=0,m=0$을 넣으면 $\frac1{\sqrt3}$, $l=1,m=0$을 넣으면 $\sqrt{\frac4{15}}=\frac2{\sqrt{15}}$. 둘 다 맞습니다.
(c) 0이 되는 예: $\int Y_1^{1*}\cos\theta\,Y_1^1\,d\Omega=0$ ($l'=l$, 홀함수 $u(1-u^2)$), $\int Y_2^{1*}\cos\theta\,Y_1^0\,d\Omega=0$ ($m'\ne m$).
그림 표기로 보기: G3 1절 — 각 적분을 짝짓기 셈으로: ⟨n_z⁴⟩ = 1/5, ⟨n_x²n_y²⟩ = 1/15. 이 예제 (b)와 연습 F2·F4를 θ 적분 없이 다시 풉니다.
종이에 먼저 풀고 답을 여세요. 모든 답은 SymPy로 검산했습니다. 관례는 이 레슨의 약속($P_l^m$ 위상 없음, $Y$에 $(-1)^m$)을 따릅니다.
A1. $P_3^2$, $P_3^3$을 $\theta$로 쓰세요.
A2. $P_4^1$
A3. $Y_3^0$
A4. $Y_3^3$과 $Y_3^{-3}$
A5. SymPy의 assoc_legendre(2, 1, x)는 $-3x\sqrt{1-x^2}$를 줍니다. 이것으로 $Y_2^1$을 만들려면 공식을 어떻게 써야 하나요?
A6. 북극($\theta=0$)에서 $Y_l^m$의 값은? $Y_2^0(0,\varphi)$를 구하세요.
B1. $\displaystyle\int|Y_1^0|^2d\Omega=1$을 직접 확인하세요.
B2. $\displaystyle\int|Y_2^2|^2d\Omega=1$을 직접 확인하세요.
B3. $\displaystyle\int Y_1^{1*}Y_2^1\,d\Omega$
B4. $\displaystyle\sum_{m=-1}^1|Y_1^m|^2$와 $\displaystyle\sum_{m=-2}^2|Y_2^m|^2$
C1. $\sin\theta\,e^{-i\varphi}$
C2. $y/r$
C3. $\sin\theta\cos\theta\,e^{i\varphi}$
C4. $xz/r^2$
C5. $x^2/r^2$ (어려움)
D1. $L_zY_2^{-2}$
D2. $L^2(\sin\theta\cos\theta\,e^{i\varphi})$
D3. $\sin^2\theta$는 $L^2$의 고유함수인가요? 아니면 고유함수들로 나누세요.
E1. 점화식으로 $P_3^3=15(1-x^2)^{3/2}$에서 $P_4^3$을 만드세요.
E2. 점화식으로 $P_5^1$을 구하세요. (A2의 $P_4^1$과 예제 1-1의 $P_3^1$을 쓰세요.)
E3. 다음 중 패리티만으로 0인 것을 고르고, 나머지 하나의 값을 구하세요. (a) $\int Y_2^{0*}\frac xrY_0^0\,d\Omega$ (b) $\int Y_2^{1*}\frac xrY_1^0\,d\Omega$ (c) $\int|Y_3^1|^2\frac zr\,d\Omega$
F1. $\theta'=0$으로 덧셈 정리를 줄인 식 $P_l(\cos\theta)=\frac{4\pi}{2l+1}Y_l^0(\theta)Y_l^0(0)$을 $l=2$에서 확인하세요.
F2. $\displaystyle\int Y_2^{1*}\cos\theta\,Y_1^1\,d\Omega$
F3. $\displaystyle\int Y_2^{0*}\cos\theta\,Y_0^0\,d\Omega$
F4. $\displaystyle\int|Y_1^1|^2\cos^2\theta\,d\Omega$
F5. $\displaystyle\int Y_1^{1*}\,\frac xr\,Y_0^0\,d\Omega$
F6. 참고 공식을 쓰지 말고 7절 점화식으로 $\displaystyle\int Y_3^{1*}\cos\theta\,Y_2^1\,d\Omega$를 구하세요.