Chapter 08

각운동량

현대물리학에서는 수소 원자를 풀다가 각운동량이 \(L^2 = l(l+1)\hbar^2\), \(L_z = m\hbar\)로 양자화된다는 사실을 미분 방정식의 경계 조건에서 얻었다. 이 장은 같은 결과를 교환 관계 세 줄에서 다시 얻는다. 미분 방정식을 하나도 풀지 않고 사다리 연산자만으로 고유값이 나오고, 그 대수가 곧 회전의 대수라는 것을 보게 된다. 아래 곡면은 구면 조화 함수 \(Y_l^m\)이다. 중심에서의 거리가 \(|Y_l^m|\), 색이 복소 위상이다. \(m \ne 0\)이면 색이 \(z\)축 둘레를 \(m\)번 감는다 — 그것이 \(L_z = m\hbar\)의 모습이다.

끌어서 돌려 보세요

궤도 각운동량 연산자와 교환 관계

고전 역학의 각운동량은 \(\mathbf L = \mathbf r\times\mathbf p\)이다. 양자역학에서는 위치와 운동량을 연산자로 바꾸면 된다. 곱의 순서가 걱정되지만 \(\hat L_x = \hat y\hat p_z - \hat z\hat p_y\)에서 \(\hat y\)와 \(\hat p_z\)는 서로 다른 좌표라 교환하므로 순서는 문제가 되지 않고, 세 성분 모두 에르미트 연산자다.

$$\hat L_x = \hat y\hat p_z - \hat z\hat p_y,\qquad \hat L_y = \hat z\hat p_x - \hat x\hat p_z,\qquad \hat L_z = \hat x\hat p_y - \hat y\hat p_x$$
이것이 궤도 각운동량(orbital angular momentum) 연산자다. 위치 표현에서는 \(\hat p_x = -i\hbar\,\partial/\partial x\) 등을 넣는다. 기본 재료는 정준 교환 관계 \([\hat x_i, \hat p_j] = i\hbar\,\delta_{ij}\) 하나뿐이다.
z y x r p L = r × p 고전: 세 성분이 모두 정해진 한 벡터 L̂x L̂y L̂z [L̂x, L̂y] = iħ L̂z 순환: x → y → z 거꾸로 돌면 부호가 바뀐다: [L̂y, L̂x] = −iħ L̂z
왼쪽: 고전 각운동량은 공간의 한 벡터다. 오른쪽: 양자역학에서는 세 성분이 서로 교환하지 않고, 교환자는 순환 순서(\(x\to y\to z\to x\))를 따라 다음 성분이 된다. 이 순환 구조가 이 장 전체의 출발점이다.

세 성분의 교환자를 계산해 보자(예제 8.1). 결과는 놀랄 만큼 간단하다.

$$[\hat L_x, \hat L_y] = i\hbar\hat L_z,\quad [\hat L_y, \hat L_z] = i\hbar\hat L_x,\quad [\hat L_z, \hat L_x] = i\hbar\hat L_y \;\;\Longleftrightarrow\;\; [\hat L_i, \hat L_j] = i\hbar\,\varepsilon_{ijk}\hat L_k$$
\(\varepsilon_{ijk}\)는 레비-치비타 기호(\(xyz\)의 짝순열 +1, 홀순열 −1, 같은 지표가 있으면 0). 이 세 식을 각운동량의 교환 관계(commutation relations)라 부른다. 같은 방법으로 \([\hat L_i, \hat x_j] = i\hbar\,\varepsilon_{ijk}\hat x_k\), \([\hat L_i, \hat p_j] = i\hbar\,\varepsilon_{ijk}\hat p_k\)도 나온다 — \(\hat{\mathbf r}\), \(\hat{\mathbf p}\)처럼 이 꼴의 교환 관계를 따르는 것을 벡터 연산자(vector operator)라 한다.

성분끼리는 교환하지 않지만 크기의 제곱 \(\hat L^2 = \hat L_x^2 + \hat L_y^2 + \hat L_z^2\)은 모든 성분과 교환한다. 예를 들어 \([\hat L^2, \hat L_z] = [\hat L_x^2, \hat L_z] + [\hat L_y^2, \hat L_z] = -i\hbar(\hat L_x\hat L_y + \hat L_y\hat L_x) + i\hbar(\hat L_y\hat L_x + \hat L_x\hat L_y) = 0\).

$$[\hat L^2, \hat L_x] = [\hat L^2, \hat L_y] = [\hat L^2, \hat L_z] = 0, \qquad \Delta L_x\,\Delta L_y \ge \frac{\hbar}{2}\,\bigl|\langle \hat L_z\rangle\bigr|$$
둘째 식은 3장의 로버트슨 불확정성 관계 \(\Delta A\,\Delta B \ge \tfrac12|\langle[\hat A,\hat B]\rangle|\)에 교환 관계를 넣은 것이다. 결론: \(\hat L^2\)과 한 성분(관례상 \(\hat L_z\))은 동시에 정해진 값을 가질 수 있지만, 두 성분은 \(\langle\hat L_z\rangle = 0\)인 특별한 경우가 아니면 동시에 정해질 수 없다. 우리가 쓰는 기저 \(|l\,m\rangle\)은 \(\hat L^2\)과 \(\hat L_z\)의 동시 고유 상태다.

정준 교환 관계 \([\hat x_i, \hat p_j] = i\hbar\delta_{ij}\)만 써서 \([\hat L_x, \hat L_y] = i\hbar\hat L_z\)를 보여라.

풀이 보기
전략 정의를 넣어 네 항으로 펼치고, 교환하지 않는 짝(같은 좌표의 위치와 운동량)이 있는 항만 남긴다. 교환자의 곱 규칙 \([\hat A, \hat B\hat C] = [\hat A,\hat B]\hat C + \hat B[\hat A,\hat C]\)을 쓴다.
풀이 \([\hat L_x,\hat L_y] = [\hat y\hat p_z - \hat z\hat p_y,\; \hat z\hat p_x - \hat x\hat p_z] = [\hat y\hat p_z, \hat z\hat p_x] - [\hat y\hat p_z, \hat x\hat p_z] - [\hat z\hat p_y, \hat z\hat p_x] + [\hat z\hat p_y, \hat x\hat p_z]\). 가운데 두 항은 공통 좌표가 없거나(\(\hat y, \hat p_z, \hat x\)) 같은 좌표끼리만 있어(\(\hat z, \hat p_y, \hat p_x\)) 0이다. 첫 항: \(\hat y\,[\hat p_z, \hat z]\,\hat p_x = \hat y(-i\hbar)\hat p_x\). 넷째 항: \(\hat x\,[\hat z, \hat p_z]\,\hat p_y = \hat x(i\hbar)\hat p_y\). 합: \(i\hbar(\hat x\hat p_y - \hat y\hat p_x) = i\hbar\hat L_z\).
\([\hat L_x, \hat L_y] = i\hbar\hat L_z\) (나머지 둘은 \(x\to y\to z\to x\) 순환 치환)
검토 고전 역학의 푸아송 괄호 \(\{L_x, L_y\} = L_z\)에 \(i\hbar\)를 곱한 꼴이다(디랙의 대응 규칙). 단위도 맞다: 좌변은 (J·s)², 우변은 J·s × J·s.

\(\hat L_z\)는 \(z\)축 둘레의 방위각 \(\phi\)로 쓰면 가장 간단하다. 구면 좌표로 바꾸면 \(\hat L_z = -i\hbar\,\partial/\partial\phi\)이고, \(\hat L^2\)은 라플라시안의 각도 부분이다(9장에서 \(\nabla^2 = \text{지름 부분} - \hat L^2/\hbar^2 r^2\)으로 쓴다).

$$\hat L_z = -i\hbar\frac{\partial}{\partial\phi}, \qquad \hat L^2 = -\hbar^2\left[\frac{1}{\sin\theta}\frac{\partial}{\partial\theta}\left(\sin\theta\frac{\partial}{\partial\theta}\right) + \frac{1}{\sin^2\theta}\frac{\partial^2}{\partial\phi^2}\right]$$
\(\hat L_z\)의 고유함수는 \(\Phi_m(\phi) = e^{im\phi}/\sqrt{2\pi}\), 고유값 \(m\hbar\). \(\phi\)와 \(\phi+2\pi\)는 같은 점이므로 \(m\)은 정수다. 고리 위의 입자(2차원 회전자) \(\hat H = \hat L_z^2/2I\)의 에너지는 \(m^2\hbar^2/2I\)로 \(\pm m\)이 축퇴한다.
MINI LAB고리 위의 파동함수 \(\Phi = c_1 e^{im_1\phi} + c_2 e^{im_2\phi}\) (규격화 생략). 고리 바깥으로 솟은 높이가 \(|\Phi|^2\), 색이 위상이다(오른쪽 위 고리 = 위상 범례). \(|c_2|^2 = 0\)이면 \(\hat L_z\) 고유 상태: 밀도는 고르고 위상만 \(m_1\)번 돈다. 섞으면 \(|m_1 - m_2|\)개의 봉우리가 생기고, 에너지 \(\propto m^2\)이 달라 시간이 흐르면 봉우리가 돈다. \(m_2 = -m_1\)이면 에너지가 같아 서 있는 무늬가 된다.

그러면 성분 셋을 행렬로 직접 만들어 교환 관계를 눈으로 확인하자. 다음 절에서 유도할 공식으로 \(l\)마다 \((2l+1)\times(2l+1)\) 행렬 \(L_x, L_y, L_z\)를 만들 수 있다(\(\hbar = 1\) 단위, 기저 순서 \(m = l, l-1, \dots, -l\)).

\([\hat L^2, \hat L_x]\)는 무엇일까?

\(\hat L^2\)은 회전해도 바뀌지 않는 양(스칼라)이라 모든 성분과 교환한다. 계산기에서 A = \(L^2\), B = \(L_x\)로 놓으면 교환자 행렬이 0이다. 그래서 \(\hat L^2\)의 고유값 \(l\)은 어느 축을 고르든 같은 좋은 양자수다.
SIMULATOR

교환자 계산기: 행렬로 확인하는 각운동량 대수

각운동량 j
연산자 A
연산자 B
[A, B] =—
A의 고유값 (ħ 단위)—
L² 대각 원소—
\(\hbar = 1\) 단위로 \(L_x, L_y, L_z\)를 만들고 \([A, B] = AB - BA\)를 곱셈으로 계산한 뒤, 결과가 어떤 연산자의 몇 배인지 자동으로 찾는다. j = 1/2, 3/2는 궤도 각운동량에는 없고 스핀(10장)에서 나오지만 대수는 똑같다. 해볼 것: ① j를 바꿔도 \([L_x, L_y] = i\hbar L_z\)가 그대로인지 본다. ② \(L_x\)의 고유값이 \(L_z\)의 대각 원소와 같은 \(\{j, \dots, -j\}\)임을 확인한다 — 축을 돌려도 스펙트럼은 같다. ③ \([L_z, L_+] = \hbar L_+\), \([L_+, L_-] = 2\hbar L_z\)를 찾아 다음 절을 미리 본다.

상태 \(|l\,m\rangle\)에서 \(l\) = 2, \(m\) = 1이면 \(\langle L_x\rangle = \langle L_y\rangle = 0\)이고 \(\Delta L_x = \Delta L_y = \hbar\sqrt{[l(l+1)-m^2]/2}\) = . 곱 \(\Delta L_x\Delta L_y\) = 는 하한 \(\tfrac{\hbar}{2}|\langle L_z\rangle|\) = 보다 크거나 같다.

사다리 연산자로 구하는 고유값

이제 미분 방정식을 잊고 교환 관계만 믿어 보자. 아래 논증은 \([\hat J_i, \hat J_j] = i\hbar\varepsilon_{ijk}\hat J_k\)만 쓰므로, 궤도 각운동량이든 스핀이든 둘의 합이든 똑같이 성립한다. 그래서 일반 각운동량을 \(\hat{\mathbf J}\)로 쓴다. 6장에서 조화 진동자를 \(\hat a\), \(\hat a^\dagger\)로 푼 것과 같은 전략이다.

올림·내림 연산자

\(\hat J_\pm = \hat J_x \pm i\hat J_y\). 에르미트가 아니고 서로의 수반이다(\(\hat J_+^\dagger = \hat J_-\)). 교환 관계에서 곧바로 \([\hat J_z, \hat J_\pm] = \pm\hbar\hat J_\pm\), \([\hat J_+, \hat J_-] = 2\hbar\hat J_z\), \([\hat J^2, \hat J_\pm] = 0\), 그리고 \(\hat J_\mp\hat J_\pm = \hat J^2 - \hat J_z^2 \mp \hbar\hat J_z\)이 나온다. \(\hat J_+\)를 올림 연산자(raising operator), \(\hat J_-\)를 내림 연산자(lowering operator)라 한다.

\(\hat J^2\)과 \(\hat J_z\)의 동시 고유 상태를 \(|\lambda, m\rangle\) (\(\hat J^2 \to \lambda\hbar^2\), \(\hat J_z \to m\hbar\))이라 하자. 논증은 네 걸음이다.

  1. 사다리: \(\hat J_z(\hat J_+|\lambda,m\rangle) = (\hat J_+\hat J_z + \hbar\hat J_+)|\lambda,m\rangle = (m+1)\hbar\,\hat J_+|\lambda,m\rangle\). \(\hat J_+\)는 \(m\)을 1 올리고 \(\lambda\)는 그대로 둔다(\([\hat J^2, \hat J_+] = 0\)). \(\hat J_-\)는 1 내린다.
  2. 끝이 있다: \(\langle\hat J^2 - \hat J_z^2\rangle = \langle\hat J_x^2 + \hat J_y^2\rangle \ge 0\)이므로 \(m^2 \le \lambda\). 사다리는 위아래로 끝나야 한다. 맨 위 \(m_\text{max} \equiv j\)에서 \(\hat J_+|\lambda, j\rangle = 0\).
  3. λ 결정: 맨 위 상태에 \(\hat J_-\hat J_+ = \hat J^2 - \hat J_z^2 - \hbar\hat J_z\)를 걸면 \(0 = (\lambda - j^2 - j)\hbar^2\), 곧 \(\lambda = j(j+1)\). 같은 방법으로 맨 아래는 \(m_\text{min} = -j\).
  4. 양자화: \(-j\)에서 \(j\)까지 정수 걸음으로 가야 하므로 \(2j\)가 0 이상의 정수다: \(j = 0, \tfrac12, 1, \tfrac32, \dots\), \(m = -j, -j+1, \dots, j\) (\(2j+1\)개).
$$\hat J^2|j\,m\rangle = j(j+1)\hbar^2|j\,m\rangle,\qquad \hat J_z|j\,m\rangle = m\hbar|j\,m\rangle,\qquad \hat J_\pm|j\,m\rangle = \hbar\sqrt{j(j+1) - m(m\pm1)}\;|j\,m\pm1\rangle$$
계수는 노름에서 나온다: \(\|\hat J_\pm|j\,m\rangle\|^2 = \langle j\,m|\hat J_\mp\hat J_\pm|j\,m\rangle = \hbar^2[j(j+1) - m(m\pm1)]\). 위상은 관례(콘던–쇼틀리 위상(Condon–Shortley phase))로 양의 실수를 고른다. 같은 계수를 \(\hbar\sqrt{(j\mp m)(j\pm m+1)}\)로도 쓴다.
m = +2 m = +1 m = 0 m = −1 m = −2 l = 2: L² = 6ħ² (모든 칸 공통) |2, −2⟩ 에서 시작 ×2ħ√(6 − (−2)(−1)) = √4 ×√6 ħ√(6 − (−1)(0)) = √6 ×√6 ħ√(6 − 0·1) = √6 ×2ħ√(6 − 1·2) = √4 L₊|2, 2⟩ = √(6 − 2·3) ħ = 0 (L₊)⁴|2,−2⟩ = 2·√6·√6·2 ħ⁴ |2,2⟩ = 24ħ⁴ |2,2⟩
  1. \(l = 2\)의 다섯 칸. 맨 아래 \(|2,-2\rangle\)에서 시작한다.
  2. \(\hat L_+\)를 한 번: 계수 \(\hbar\sqrt{l(l+1) - m(m+1)} = \hbar\sqrt{6-2} = 2\hbar\).
  3. 두 번째: \(m = -1 \to 0\), 계수 \(\sqrt6\,\hbar\).
  4. 세 번째: \(m = 0 \to 1\), 계수 \(\sqrt6\,\hbar\). 가운데 칸 근처의 계수가 가장 크다.
  5. 네 번째: \(m = 1 \to 2\), 계수 \(2\hbar\). 계수는 \(m \leftrightarrow -m-1\)에 대해 대칭이다.
  6. 한 번 더 올리면 0 — 사다리의 끝이다. 계수 \(\sqrt{(l-m)(l+m+1)}\)이 \(m = l\)에서 저절로 0이 된다.
\(\hat L_+\)가 \(m\)을 한 칸씩 올린다. 칸의 높이(\(L_z\))만 바뀌고 \(L^2\)은 그대로다. 계수를 곱해 두면 \((\hat L_+)^4|2,-2\rangle = 24\hbar^4|2,2\rangle\)처럼 여러 번 올린 결과도 바로 쓸 수 있다.

4단계의 "\(2j\)는 정수"가 정말 피할 수 없는 조건인지 손으로 확인하자. \(j\)를 아무 실수로 가정하고 맨 위 \(m = j\)에서 \(\hat J_-\)로 내려가면, \(k\)번째 걸음의 노름 제곱 인자 \((j+m)(j-m+1)\)이 언제 0이 되는지 본다.

MINI LAB막대 높이 = \(\|\hat J_-|j\,m\rangle\|^2/\hbar^2 = (j+m)(j-m+1)\). 막대가 정확히 0에 닿으면(초록) 사다리가 거기서 끝난다. \(2j\)가 정수가 아니면 0을 건너뛰고 음수(빨강)가 된다 — 노름 제곱이 음수인 벡터는 없으므로 그런 \(j\)는 불가능하다.

행렬로 쓰면 \(\hat J_z\)는 대각, \(\hat J_\pm\)는 대각선 바로 위·아래에만 원소가 있다. 앞 절의 계산기는 이 공식으로 만든 것이다.

$$\langle j\,m'|\hat J_z|j\,m\rangle = m\hbar\,\delta_{m'm},\quad \langle j\,m'|\hat J_\pm|j\,m\rangle = \hbar\sqrt{j(j+1)-m(m\pm1)}\;\delta_{m',m\pm1},\quad \hat J_x = \tfrac12(\hat J_+ + \hat J_-),\; \hat J_y = \tfrac{1}{2i}(\hat J_+ - \hat J_-)$$

\(j = 1\)(기저 \(m = 1, 0, -1\))에서 \(J_+\), \(J_x\)를 행렬로 쓰고, \(J_x\)의 고유값과 고유값 \(+\hbar\)의 고유벡터를 구하라.

풀이 보기
전략 계수 \(\hbar\sqrt{2 - m(m+1)}\): \(m = 0\to1\)과 \(m = -1\to0\) 모두 \(\sqrt2\,\hbar\). \(J_x = (J_+ + J_-)/2\).
풀이 $$J_+ = \sqrt2\,\hbar\begin{pmatrix}0&1&0\\0&0&1\\0&0&0\end{pmatrix},\qquad J_x = \frac{\hbar}{\sqrt2}\begin{pmatrix}0&1&0\\1&0&1\\0&1&0\end{pmatrix}.$$ 특성 방정식 \(-\lambda^3 + \lambda\hbar^2 = 0\) → \(\lambda = \hbar, 0, -\hbar\). \(\lambda = \hbar\): \(b/\sqrt2 = a\), \((a+c)/\sqrt2 = b\), \(b/\sqrt2 = c\) → \((a,b,c) = (\tfrac12, \tfrac{1}{\sqrt2}, \tfrac12)\).
고유값 \(\hbar, 0, -\hbar\); \(|L_x = +\hbar\rangle = \tfrac12|1,1\rangle + \tfrac{1}{\sqrt2}|1,0\rangle + \tfrac12|1,-1\rangle\)
검토 고유값이 \(J_z\)와 같다 — \(x\)축은 \(z\)축을 돌린 것일 뿐이다. 이 상태를 \(z\)로 재면 \(m = 1, 0, -1\)이 확률 \(\tfrac14, \tfrac12, \tfrac14\)로 나온다. 4절의 측정 시뮬레이터에서 \(\theta = 90^\circ\)로 놓으면 같은 숫자를 본다.

\(j\) = 2, \(m\) = 0에서 \(\hat J_+|j\,m\rangle\)의 계수는 , \(\hat J_-|j\,m\rangle\)의 계수는 이다.

계수를 외우기보다 직접 걸어 보는 편이 빠르다. 아래 놀이터에서 막대를 끌어 아무 상태나 만들고 연산자를 걸어 보라.

맨 위 칸 \(|2, 2\rangle\)에 \(\hat J_+\)를 걸면?

계수 \(\hbar\sqrt{6 - 2\cdot3} = 0\). \(\hat J_+\)는 \(j\)를 바꾸지 못하므로(\([\hat J^2, \hat J_+] = 0\)) 칸이 더 없으면 결과는 영벡터다. 놀이터에서 맨 위 칸만 채우고 J₊를 눌러 보라.
SIMULATOR

사다리 놀이터: 막대를 끌어 상태를 만들고 연산자를 건다

흰 원을 좌우로 끈다
j
연산자 걸기
‖ψ‖ (ħ 단위 누적)—
⟨Jz⟩/ħ (정규화)—
⟨J²⟩/ħ²—
마지막 연산—
막대 길이 = 그 칸의 진폭(실수, 오른쪽 + 자홍, 왼쪽 − 초록). 오른쪽 숫자는 그 칸에서 위 칸으로 가는 \(\hat J_+\) 계수(ħ 단위)다. 해볼 것: ① 맨 아래 칸에서 J₊를 \(2j\)번 눌러 맨 위에 도착할 때의 누적 노름을 예측해 본다(\(j = 2\)이면 24). ② 아무 상태에서나 J₊ 다음 J₋를 누르면 각 칸이 \(j(j+1) - m(m+1)\)배가 된다 — \(\hat J_-\hat J_+ = \hat J^2 - \hat J_z^2 - \hbar\hat J_z\). ③ J_x를 걸면 이웃 칸이 섞인다. 어떤 상태를 넣어도 \(\langle J^2\rangle/\hbar^2 = j(j+1)\)은 그대로다.
궤도 각운동량은 왜 정수만?

대수만으로는 \(j = \tfrac12, \tfrac32, \dots\)도 허용된다. 그러나 궤도 각운동량 \(\hat L_z = -i\hbar\,\partial_\phi\)의 고유함수 \(e^{im\phi}\)는 \(\phi\)에 대해 한 값이어야 하므로 \(m\), 따라서 \(l\)은 정수다. 반정수는 공간 속 파동함수의 모양이 아닌 내부 자유도, 곧 10장의 스핀에서만 나타난다. 이 장에서 \(j\)는 일반 대수, \(l\)은 궤도(정수)를 뜻한다.

구면 조화 함수

대수가 준 \(|l\,m\rangle\)를 위치 표현으로 옮기면 각도의 함수 \(\langle\theta,\phi|l\,m\rangle = Y_l^m(\theta,\phi)\), 곧 구면 조화 함수(spherical harmonics)가 된다. 현대물리학에서는 이것을 버금 르장드르 방정식의 해로 얻었다(현대물리학 8장). 여기서는 사다리로 만든다. 필요한 것은 구면 좌표의 올림·내림 연산자다.

$$\hat L_\pm = \pm\hbar\, e^{\pm i\phi}\left(\frac{\partial}{\partial\theta} \pm i\cot\theta\,\frac{\partial}{\partial\phi}\right)$$
(그리피스 4.130). 맨 위 칸 조건 \(\hat L_+ Y_l^l = 0\)에 \(Y_l^l = f(\theta)e^{il\phi}\)를 넣으면 \(f' = l\cot\theta\, f\), 곧 \(f \propto \sin^l\theta\). 여기에 \(\hat L_-\)를 거듭 걸면 나머지 \(2l\)개가 모두 나온다.
맨 위: Y₁¹ L₊Y₁¹ = 0 → sinθ e^(iφ) Y₁¹ = −√(3/8π) sinθ e^(iφ) L₋ Y₁⁰ L₋Y₁¹ = √2 ħ Y₁⁰ Y₁⁰ = √(3/4π) cosθ L₋ Y₁⁻¹ L₋Y₁⁰ = √2 ħ Y₁⁻¹ +√(3/8π) sinθ e^(−iφ) L₋Y₁⁻¹ = 0 (맨 아래) 결과: Y₁^(−1) = (−1)¹ (Y₁¹)* — 콘던–쇼틀리 위상에서 Y_l^(−m) = (−1)^m (Y_l^m)*
  1. \(\hat L_+ Y_1^1 = 0\)에서 \(Y_1^1 \propto \sin\theta\,e^{i\phi}\). 규격화와 콘던–쇼틀리 부호 \((-1)^m\)를 붙인다.
  2. \(\hat L_- = -\hbar e^{-i\phi}(\partial_\theta - i\cot\theta\,\partial_\phi)\)를 건다: \(-\sqrt{3/8\pi}\,\hbar\,(-\cos\theta - \cos\theta) = \sqrt2\,\hbar\,\sqrt{3/4\pi}\cos\theta\). 계수 \(\sqrt2\,\hbar\)는 대수가 예언한 \(\hbar\sqrt{l(l+1) - m(m-1)}\)과 같다.
  3. 한 번 더: \(\cos\theta\)를 미분해 \(\sin\theta\,e^{-i\phi}\)가 나온다.
  4. 세 번째 \(\hat L_-\)는 0 — 대수의 사다리와 미분 연산자의 결과가 정확히 일치한다.
미분 방정식을 풀지 않고 1계 미분만으로 \(l = 1\)의 세 함수를 모두 얻는다. 계수와 부호가 대수의 \(\hat J_\pm\) 공식과 같다는 것이 위치 표현과 추상 대수가 같은 이야기라는 증거다.
$$Y_l^m(\theta,\phi) = \sqrt{\frac{2l+1}{4\pi}\frac{(l-m)!}{(l+m)!}}\;P_l^m(\cos\theta)\,e^{im\phi}\quad(m\ge0),\qquad Y_l^{-m} = (-1)^m\,(Y_l^m)^*$$
\(P_l^m\)은 콘던–쇼틀리 부호 \((-1)^m\)을 포함한 버금 르장드르 함수(그리피스 3판 관례, QM.Ylm도 같다). 성질: 규격 직교 \(\int Y_{l'}^{m'*}Y_l^m\,d\Omega = \delta_{l'l}\delta_{m'm}\), 완비성(구면 위의 어떤 함수도 \(Y_l^m\)으로 전개), 패리티(parity) \(Y_l^m(-\hat{\mathbf r}) = (-1)^l Y_l^m(\hat{\mathbf r})\).
\(l\)\(m\)\(Y_l^m(\theta,\phi)\)직교 좌표 꼴 (\(\times r^l\))
00\(\sqrt{1/4\pi}\)상수
10\(\sqrt{3/4\pi}\,\cos\theta\)\(z\)
1±1\(\mp\sqrt{3/8\pi}\,\sin\theta\,e^{\pm i\phi}\)\(\mp(x \pm iy)/\sqrt2\)
20\(\sqrt{5/16\pi}\,(3\cos^2\theta - 1)\)\(2z^2 - x^2 - y^2\)
2±1\(\mp\sqrt{15/8\pi}\,\sin\theta\cos\theta\,e^{\pm i\phi}\)\(\mp z(x \pm iy)\)
2±2\(\sqrt{15/32\pi}\,\sin^2\theta\,e^{\pm 2i\phi}\)\((x \pm iy)^2\)
z ↑ (점선) · xz 단면 |Y₀⁰|² |Y₁⁰|² |Y₁¹|² |Y₂⁰|² |Y₂¹|² |Y₂²|²
\(|Y_l^m|^2\)의 \(xz\) 단면(극좌표: 원점에서의 거리 = 그 방향의 확률 밀도, 그림마다 따로 규격). \(|Y_l^m|^2\)은 \(\phi\)에 의존하지 않아 모두 \(z\)축(점선) 둘레로 돌린 모양이다. \(|m|\)이 클수록 밀도가 적도로 몰린다 — \(L_z\)가 크면 각운동량 벡터가 \(z\)축 쪽을 향하고 궤도 운동은 \(xy\) 평면에 가까워진다.

예제의 단계 그림에서 얻은 \(Y_1^0 = \sqrt{3/4\pi}\cos\theta\)가 규격화되어 있는지, 그리고 \(Y_1^1\)과 직교하는지 확인하라.

풀이 보기
전략 \(d\Omega = \sin\theta\,d\theta\,d\phi\). \(\phi\) 적분이 직교성을 맡는다.
풀이 \(\int|Y_1^0|^2 d\Omega = \frac{3}{4\pi}\cdot 2\pi\int_0^\pi\cos^2\theta\sin\theta\,d\theta = \frac32\cdot\frac23 = 1\). \(\int Y_1^{1*}Y_1^0\,d\Omega \propto \int_0^{2\pi}e^{-i\phi}\,d\phi = 0\).
규격화됨(적분 = 1), \(\langle 1,1|1,0\rangle = 0\)
검토 \(\hat L_-\)가 규격화를 보존하는 것은 계수 \(\hbar\sqrt{l(l+1) - m(m-1)}\)로 나눴기 때문이다. 서로 다른 \(m\)의 직교성은 \(\hat L_z\)가 에르미트이고 고유값이 다르다는 사실에서 바로 나온다(2장).

이제 여러 \(l, m\)의 모양을 돌려 보자. 곡면의 반지름이 \(|Y_l^m|\)이고 색이 위상 \(\arg Y\)다. 복소 \(Y_l^m\)는 \(e^{im\phi}\) 때문에 \(z\)축 둘레로 색이 \(m\)번 감기고, 그 감김이 \(L_z = m\hbar\)다. 실수 오비탈로 바꾸면 위상은 0(빨강)과 π(청록) 두 값뿐이다.

SIMULATOR

구면 조화 함수 뷰어: 끌어서 돌려 보기

끌어서 돌린다
l
함수
함수—
L²—
Lz—
각 마디 · 패리티—
해볼 것: ① 복소 \(Y_2^{1}\)과 \(Y_2^{-1}\)을 비교한다 — 모양은 같고 색이 도는 방향만 반대다(\(L_z = \pm\hbar\)). ② 실수 오비탈로 바꾸면 \(m = \pm1\)이 \(d_{xz}\), \(d_{yz}\)가 된다. 둘은 \(z\)축 둘레로 90° 돌린 같은 모양이고, 둘 다 \(L_z\)가 정해지지 않는다. ③ 실수 오비탈에서 마디면(색이 바뀌는 곳)을 센다: \(z\)축을 품은 평면 \(|m|\)개 + 원뿔 \(l - |m|\)개 = 언제나 \(l\)개.

실수 오비탈과 복소 \(Y_l^m\)

화학과 소자 물리에서 쓰는 \(p_x, p_y, d_{xy}\) 같은 오비탈은 \(Y_l^{m}\)과 \(Y_l^{-m}\)을 더하고 뺀 실수 구면 조화 함수(real spherical harmonics)다. 같은 \(l\)의 선형 결합이므로 \(\hat L^2\)의 고유 함수(같은 \(l\))지만 \(\hat L_z\)의 고유 함수는 아니다. \(L_z\)를 재면 \(+|m|\hbar\)와 \(-|m|\hbar\)가 반반 나온다.

$$p_x = \frac{Y_1^{-1} - Y_1^{1}}{\sqrt2} = \sqrt{\tfrac{3}{4\pi}}\frac{x}{r},\qquad p_y = \frac{i\,(Y_1^{-1} + Y_1^{1})}{\sqrt2} = \sqrt{\tfrac{3}{4\pi}}\frac{y}{r},\qquad d_{xy} = \frac{i\,(Y_2^{-2} - Y_2^{2})}{\sqrt2} = \sqrt{\tfrac{15}{4\pi}}\frac{xy}{r^2}$$
일반적으로 \(m > 0\)이면 \(\tfrac{1}{\sqrt2}[(-1)^m Y_l^m + Y_l^{-m}] \propto P_l^{|m|}\cos m\phi\), \(m \lt 0\)이면 \(\tfrac{i}{\sqrt2}[Y_l^{m} - (-1)^{m}Y_l^{-m}] \propto P_l^{|m|}\sin|m|\phi\) (QM.realY와 같은 부호). 실수 오비탈은 원자가 다른 원자와 결합할 방향을 보여 주므로 결정장·결합 문제에 편하고, 복소 \(Y_l^m\)은 자기장(\(L_z\)) 문제에 편하다.
짝
MINI LAB\(\psi = \sqrt{w}\,e^{i\chi/2}\,Y_l^{-m} + (-1)^m\sqrt{1-w}\,e^{-i\chi/2}\,Y_l^{m}\) (\(w = |c_-|^2\)). \(w = 0.5\), \(\chi = 0\)이면 \(p_x\)(또는 \(d_{x^2-y^2}\)), \(\chi\)를 키우면 같은 모양이 \(z\)축 둘레로 \(\chi/2m\)만큼 돈다 — 상대 위상이 곧 방향이다. \(w\)를 0이나 1로 보내면 위상이 감기는 복소 \(Y_l^{\pm m}\)로 돌아간다.

벡터 모형과 각운동량의 측정

\(|l\,m\rangle\) 상태에서 각운동량의 크기는 \(\hbar\sqrt{l(l+1)}\)로 \(z\) 성분의 최댓값 \(l\hbar\)보다 언제나 크다. \(\hat L_x\)와 \(\hat L_y\)는 정해지지 않지만 그 통계는 사다리 연산자로 정확히 계산된다. \(\hat L_x = (\hat L_+ + \hat L_-)/2\)는 \(m\)을 바꾸므로 \(\langle l\,m|\hat L_x|l\,m\rangle = 0\)이고, \(\hat L_x^2 + \hat L_y^2 = \hat L^2 - \hat L_z^2\)와 \(x \leftrightarrow y\) 대칭에서 다음을 얻는다.

$$\langle\hat L_x\rangle = \langle\hat L_y\rangle = 0,\qquad \langle\hat L_x^2\rangle = \langle\hat L_y^2\rangle = \frac{\hbar^2}{2}\left[l(l+1) - m^2\right],\qquad \cos\theta_L = \frac{m}{\sqrt{l(l+1)}}$$
이것을 그림으로 그린 것이 벡터 모형(vector model)이다. 길이 \(\hbar\sqrt{l(l+1)}\)인 벡터가 \(z\)축과 각 \(\theta_L\)을 이루는 원뿔 위 어딘가에 있고, 옆 성분의 크기 \(\hbar\sqrt{l(l+1) - m^2}\)는 정해져 있지만 방향(방위각)은 완전히 불확정이다. 원뿔 둘레를 "도는" 그림은 비유일 뿐 실제 운동이 아니다 — 정상 상태에서는 아무것도 움직이지 않는다.
z (Lz) m = +2 (2ħ)m = +1m = 0m = −1m = −2 |L| = √6 ħ 35.3° l = 2, m = 2 상태 |L| = √6 ħ ≈ 2.45ħ L_z = 2ħ (정해짐) √(L_x²+L_y²) = √2 ħ ⟨L_x⟩ = ⟨L_y⟩ = 0 ΔL_x = ΔL_y = ħ L은 z축과 나란할 수 없다
\(l = 2\)의 벡터 모형. 길이 \(\sqrt6\,\hbar\)인 벡터가 다섯 높이 \(m\hbar\) 가운데 하나에 걸린 원뿔 위에 있다. \(m = l\)이어도 \(\cos\theta_L = 2/\sqrt6\)로 35.3° 기울어져 있다 — 세 성분이 동시에 정해질 수 없다는 교환 관계의 기하학적 모습이다.
SIMULATOR

벡터 모형 원뿔: L의 끝을 끌어 m을 고른다

흰 원 ↕ = m · 빈 곳 = 회전
l
|L|—
Lz = mħ—
z축과의 각 θL—
ΔLx = ΔLy—
원뿔 둘레를 도는 화살표는 "\(L_x, L_y\)가 정해지지 않았다"를 보여 주는 비유다. 바닥의 초록 원은 옆 성분의 크기 \(\hbar\sqrt{l(l+1)-m^2}\). 해볼 것: ① \(l\)을 키우며 \(m = l\)의 원뿔 각이 줄어드는 것을 본다(\(l = 1\): 45°, \(l = 4\): 26.6°) — 큰 \(l\)에서 고전 극한. ② \(m = 0\)이면 벡터가 \(xy\) 평면에 눕고 \(\Delta L_x\)가 가장 크다. ③ 고전 비교를 켜면 고전 벡터는 \(z\)축에 나란할 수 있지만 양자 벡터는 그럴 수 없음을 확인한다.

다른 축으로 재면

상태 \(|l\,m\rangle\)를 \(z\)가 아닌 축 \(\hat{\mathbf n}\)(\(z\)축에서 \(\theta\) 기울어짐)으로 재면 무엇이 나올까? \(\hat L_n = \hat{\mathbf n}\cdot\hat{\mathbf L}\)도 각운동량의 한 성분이므로 가능한 값은 똑같이 \(m'\hbar\) (\(m' = -l, \dots, l\))다. 확률은 \(\hat L_n\)의 고유 상태 \(|l\,m'\rangle_n\)와의 겹침이고, 5절에서 보듯 \(|l\,m'\rangle_n\)은 \(|l\,m'\rangle\)를 \(y\)축 둘레로 \(\theta\) 돌린 것이다.

$$P(m') = \bigl|{}_n\langle l\,m'|l\,m\rangle\bigr|^2 = \bigl|d^{\,l}_{m'm}(\theta)\bigr|^2,\qquad \langle\hat L_n\rangle = m\hbar\cos\theta$$
\(d^{\,l}_{m'm}(\theta) = \langle l\,m'|e^{-i\theta\hat L_y/\hbar}|l\,m\rangle\)는 다음 절의 위그너 작은 \(d\) 행렬이다(\(|d_{m'm}| = |d_{mm'}|\)이라 순서는 확률에 상관없다). \(l = 1\), \(m = 1\)이면 \(P(+1) = \bigl(\tfrac{1+\cos\theta}{2}\bigr)^2\), \(P(0) = \tfrac12\sin^2\theta\), \(P(-1) = \bigl(\tfrac{1-\cos\theta}{2}\bigr)^2\).

상태 \(|1,1\rangle\)에서 (a) \(L_x\)를 잴 때 \(+\hbar, 0, -\hbar\)의 확률, (b) \(z\)축에서 60° 기운 축으로 잴 때의 확률과 기댓값을 구하라.

풀이 보기
전략 위 공식에 \(\theta = 90^\circ\)(\(x\)축)와 \(60^\circ\)를 넣는다.
풀이 (a) \(\cos90^\circ = 0\): \(P = (\tfrac12)^2, \tfrac12, (\tfrac12)^2 = \tfrac14, \tfrac12, \tfrac14\). (b) \(\cos60^\circ = \tfrac12\): \(P(+1) = (\tfrac34)^2 = 0.5625\), \(P(0) = \tfrac12\cdot\tfrac34 = 0.375\), \(P(-1) = (\tfrac14)^2 = 0.0625\). \(\langle L_n\rangle = (0.5625 - 0.0625)\hbar = 0.5\hbar\).
(a) 1/4, 1/2, 1/4 (b) 0.5625, 0.375, 0.0625; \(\langle L_n\rangle = \hbar/2\)
검토 (a)는 예제 8.2의 \(|L_x = +\hbar\rangle\) 성분 제곱과 같다(\(\tfrac14, \tfrac12, \tfrac14\)의 대칭). (b)의 기댓값은 고전 벡터 \(\hbar\hat z\)의 사영 \(\hbar\cos60^\circ\)와 같지만, 한 번의 측정값은 언제나 정수 × ħ다.

상태 \(|1,\)1\(\rangle\)을 \(z\)축에서 60 기운 축으로 재면 \(+\hbar, 0, -\hbar\)의 확률은 이고, 기댓값 \(\langle L_n\rangle = m\hbar\cos\theta\) = .

\(|1,1\rangle\) 상태(\(L_z = +\hbar\) 확정)에서 \(L_x\)를 재면 \(+\hbar\)가 나올 확률은?

\(|d^1_{11}(90^\circ)|^2 = (\tfrac{1+0}{2})^2 = \tfrac14\). 0이 1/2로 가장 잘 나온다. 아래에서 축을 90°로 끌어 놓고 여러 번 재 보라.
SIMULATOR

측정 실험: 축 n을 끌어 기울이고 Ln을 잰다

왼쪽 흰 원(축 n의 끝)을 끈다
l
축 기울기 θ—
측정 횟수—
평균 Ln (측정 · 이론)—
마지막 결과—
매번 새로 준비한 \(|l\,m\rangle\)를 축 \(\hat{\mathbf n}\)으로 한 번 잰다. 자홍 막대 = 측정 빈도, 초록 테두리 = 이론 \(|d^{\,l}_{m'm}(\theta)|^2\)(QM.wignerd). 첫 화면은 고정 시드로 미리 200번 잰 결과다. 해볼 것: ① \(\theta = 0\)이면 언제나 \(m\), \(\theta = 180^\circ\)이면 언제나 \(-m\)이 나온다. ② \(|1,0\rangle\)을 \(\theta = 90^\circ\)로 재면 0이 절대 나오지 않는다(\(d^1_{00} = \cos\theta\)). ③ 평균값이 \(m\hbar\cos\theta\)로 다가가는지 1000번쯤 재서 확인한다.

회전 연산자와 위그너 d 행렬

각운동량은 회전과 떼어 놓을 수 없다. 운동량 \(\hat p\)가 평행 이동 \(e^{-ia\hat p/\hbar}\)를 만들듯(7장), 각운동량은 회전을 만든다. 파동함수를 \(z\)축 둘레로 아주 작은 각 \(\varepsilon\)만큼 돌리면 새 함수는 \(\psi'(\mathbf r) = \psi(R^{-1}\mathbf r) = \psi(x + \varepsilon y,\, y - \varepsilon x,\, z) \approx \psi - \varepsilon(x\partial_y - y\partial_x)\psi = (1 - i\varepsilon\hat L_z/\hbar)\,\psi\)이다. 작은 회전을 거듭하면 지수 함수가 된다.

$$\hat R(\alpha, \hat{\mathbf n}) = \exp\!\left(-\frac{i\alpha\,\hat{\mathbf n}\cdot\hat{\mathbf J}}{\hbar}\right),\qquad \hat R_z(\alpha)\,Y_l^m = e^{-i\alpha\hat L_z/\hbar}\,Y_l^m = e^{-im\alpha}\,Y_l^m$$
\(\hat R\)을 회전 연산자(rotation operator), \(\hat{\mathbf J}\)를 회전의 생성자(generator)라 한다. \(\hat{\mathbf J}\)가 에르미트이므로 \(\hat R\)은 유니터리다. \(z\)축 둘레 회전은 \(Y_l^m\)에 위상 \(e^{-im\alpha}\)만 곱한다 — \(|Y_l^m|^2\)은 \(z\)축 둘레로 대칭이니 당연하다.

거꾸로, 교환 관계는 회전의 성질을 그대로 옮긴 것이다. \(x\)축 둘레 \(\varepsilon\), \(y\)축 둘레 \(\varepsilon\), 다시 거꾸로 \(-\varepsilon\), \(-\varepsilon\) 돌리면 처음으로 돌아오지 않고 \(z\)축 둘레로 \(\varepsilon^2\)만큼 돌아가 있다(책을 직접 돌려 보라). 이것을 생성자로 옮기면 정확히 \([\hat J_x, \hat J_y] = i\hbar\hat J_z\)다. 그래서 공간 회전에 반응하는 것은 무엇이든 — 궤도 운동이든 전자의 스핀이든 원자핵이든 — 같은 대수를 따른다.

좌우로 끈다
상태
MINI LAB\(e^{-i\alpha\hat L_z/\hbar}\)로 함수를 \(z\)축 둘레로 \(\alpha\) 돌린다. 복소 \(Y_l^m\)은 모양(반지름)이 전혀 바뀌지 않고 색만 \(-m\alpha\)만큼 돈다 — 고유 상태는 회전에 대해 위상만 얻는다. 실수 오비탈은 모양이 실제로 돌고, 원래 함수와의 겹침이 \(\cos|m|\alpha\)로 줄었다 커진다. \(d_{xy}\)는 90°에서 −1(\(-d_{xy}\)), 180°에서 다시 자기 자신이다.

회전은 \(\hat J^2\)과 교환하므로 \(j\)를 바꾸지 못한다. 그래서 회전은 \(j\)마다 \((2j+1)\times(2j+1)\) 유니터리 행렬, 곧 위그너 D 행렬(Wigner D-matrix)로 표현된다. 아무 회전이나 \(z\)–\(y\)–\(z\) 오일러 각(Euler angles) \((\alpha, \beta, \gamma)\)로 쪼갤 수 있고, \(z\) 회전은 위상뿐이니 실제 정보는 \(y\)축 둘레 회전에 있다.

$$D^{\,j}_{m'm}(\alpha,\beta,\gamma) = \langle j\,m'|e^{-i\alpha\hat J_z/\hbar}e^{-i\beta\hat J_y/\hbar}e^{-i\gamma\hat J_z/\hbar}|j\,m\rangle = e^{-im'\alpha}\,d^{\,j}_{m'm}(\beta)\,e^{-im\gamma}$$
\(d^{\,j}_{m'm}(\beta) = \langle j\,m'|e^{-i\beta\hat J_y/\hbar}|j\,m\rangle\)가 위그너 작은 d 행렬(Wigner small d-matrix)로, 실수다(사쿠라이 3.5절 관례, QM.wignerd). 회전한 구면 조화 함수는 \(Y_l^m(R^{-1}\hat{\mathbf r}) = \sum_{m'} Y_l^{m'}(\hat{\mathbf r})\,D^{\,l}_{m'm}(R)\) — 같은 \(l\)끼리만 섞인다.
$$d^{\,1/2}(\beta) = \begin{pmatrix}\cos\frac\beta2 & -\sin\frac\beta2\\[2pt] \sin\frac\beta2 & \cos\frac\beta2\end{pmatrix},\qquad d^{\,1}(\beta) = \begin{pmatrix}\frac{1+\cos\beta}{2} & -\frac{\sin\beta}{\sqrt2} & \frac{1-\cos\beta}{2}\\[2pt] \frac{\sin\beta}{\sqrt2} & \cos\beta & -\frac{\sin\beta}{\sqrt2}\\[2pt] \frac{1-\cos\beta}{2} & \frac{\sin\beta}{\sqrt2} & \frac{1+\cos\beta}{2}\end{pmatrix}$$
행 \(m'\), 열 \(m\) 모두 \(+j\)부터 내림차순. \(d^{\,1/2}\)는 \(\beta = 2\pi\)에서 \(-1\)이 된다 — 반정수 각운동량은 한 바퀴 돌리면 부호가 바뀐다(10장). 정수 \(j\)는 \(+1\)로 돌아온다.
z x p_z = Y₁⁰ R_y(90°) p_x |ψ⟩ = |1,0⟩ : 성분 (m = 1, 0, −1) = (0, 1, 0) d¹(90°)의 가운데 열 (m = 0): (−sin90°/√2, cos90°, sin90°/√2) = (−1/√2, 0, 1/√2) R_y(90°)|1,0⟩ = (|1,−1⟩ − |1,1⟩)/√2= (Y₁⁻¹ − Y₁¹)/√2 = p_x ✓z로 재면 m = 0은 결코 나오지 않는다 (d¹₀₀(90°) = 0)
  1. \(p_z = Y_1^0\), 성분 \((0,1,0)\). \(L_z = 0\) 확정.
  2. \(y\)축 둘레로 90° 돌린다. 결과 성분은 \(d^1(90^\circ)\)의 \(m = 0\) 열이다.
  3. \((Y_1^{-1} - Y_1^1)/\sqrt2\) — 실수 오비탈 공식의 \(p_x\) 그대로다. 회전 행렬과 실수 오비탈 정의가 정확히 맞물린다.
위그너 \(d\) 행렬의 한 열은 "그 상태를 돌렸을 때의 성분"이다. \(p_z\)를 \(x\)쪽으로 눕히면 \(p_x\)가 되고, 그 성분은 \(m = \pm1\)뿐이다.

\(p_x\)를 \(z\)축 둘레로 각 \(\alpha\) 돌린 함수가 \(\cos\alpha\,p_x + \sin\alpha\,p_y\)임을 \(e^{-i\alpha\hat L_z/\hbar}\)로 보여라.

풀이 보기
전략 \(p_x\)를 \(Y_1^{\pm1}\)로 펼치면 회전은 각 성분에 \(e^{-im\alpha}\)만 곱한다.
풀이 \(p_x = (Y_1^{-1} - Y_1^1)/\sqrt2 \to (e^{i\alpha}Y_1^{-1} - e^{-i\alpha}Y_1^1)/\sqrt2\). \(e^{\pm i\alpha} = \cos\alpha \pm i\sin\alpha\)로 나누면 \(\cos\alpha\,(Y_1^{-1} - Y_1^1)/\sqrt2 + \sin\alpha\cdot i(Y_1^{-1} + Y_1^1)/\sqrt2 = \cos\alpha\,p_x + \sin\alpha\,p_y\).
\(e^{-i\alpha\hat L_z/\hbar}p_x = \cos\alpha\,p_x + \sin\alpha\,p_y\) (90°이면 \(p_y\))
검토 \(p_x \propto x/r\)를 돌리면 \(x\cos\alpha + y\sin\alpha\) — 기하학으로도 같다. 겹침 \(\langle p_x|\hat R p_x\rangle = \cos\alpha\)는 위 미니 실험의 \(\cos|m|\alpha\)다.

\(|1,0\rangle\)(\(p_z\))을 \(y\)축 둘레로 90° 돌린 뒤 \(L_z\)를 재면 0이 나올 확률은?

\(d^1_{00}(\beta) = \cos\beta\)이므로 90°에서 0이다. 돌린 상태는 \(p_x = (|1,-1\rangle - |1,1\rangle)/\sqrt2\)라 \(\pm\hbar\)만 반반 나온다. 아래에서 β를 90°로 끌어 가운데 칸을 보라.
SIMULATOR

위그너 d 행렬: β를 끌어 돌리고 행렬 지수와 비교

왼쪽 원의 흰 손잡이를 돌린다
j
max |e−iβJy − d|—
유니터리 오차—
대각합 Σ dmm—
한 바퀴(360°)에서—
칸의 색 = \(d^{\,j}_{m'm}(\beta)\)의 값(빨강 +, 파랑 −), 숫자 = 값. 행렬은 QM.wignerd로 그리고, 옆에서 QM.expm으로 \(\exp(-i\beta J_y)\)를 따로 계산해 차이를 보인다(반올림 오차 수준이어야 한다). β는 0–720°. 해볼 것: ① \(j = 1\), β = 90°에서 가운데 칸 \(d^1_{00} = 0\)과 첫 열 \((\tfrac12, \tfrac{1}{\sqrt2}, \tfrac12)\)(\(L_x = +\hbar\) 고유 상태)를 확인한다. ② \(j = 1/2\)에서 β = 360°이면 행렬이 \(-I\), 720°에서야 \(+I\)다. ③ 대각합이 \(\sin[(j+\tfrac12)\beta]/\sin(\beta/2)\)를 따르는지 본다 — 회전각에만 의존하는 "지표"다.
덧셈 정리

회전 공식을 두 방향 \(\hat{\mathbf r}\), \(\hat{\mathbf r}'\)에 쓰면 \(P_l(\hat{\mathbf r}\cdot\hat{\mathbf r}') = \frac{4\pi}{2l+1}\sum_{m}Y_l^{m*}(\hat{\mathbf r}')Y_l^m(\hat{\mathbf r})\)를 얻는다. 두 방향 사이의 각만으로 정해지는 양(쿨롱 \(1/|\mathbf r - \mathbf r'|\)의 다중극 전개, 산란 진폭의 부분파)을 구면 조화 함수의 곱으로 쪼개는 도구다. 15장 산란과 11장의 헬륨 전자 반발 적분에서 다시 쓴다.

강체 회전자와 분자 회전 스펙트럼

각운동량 대수가 가장 깨끗하게 드러나는 계는 회전하는 분자다. 이원자 분자를 두 질점이 길이 \(R\)인 막대에 고정된 강체 회전자(rigid rotor)로 보면, 퍼텐셜이 없고 운동 에너지가 전부 회전이다. 고전 \(E = L^2/2I\)를 그대로 연산자로 바꾼다.

$$\hat H = \frac{\hat L^2}{2I},\quad I = \mu R^2,\quad E_J = \frac{\hbar^2}{2I}J(J+1) = hc\,B\,J(J+1),\quad B = \frac{h}{8\pi^2 c\,I}\ [\mathrm{cm^{-1}}]$$
고유 함수는 분자 축 방향의 \(Y_J^M(\theta,\phi)\), 각 준위는 \(2J+1\)겹 축퇴(\(M = -J..J\)). 분광학 관례로 회전 양자수는 \(J\), 에너지는 파수(cm⁻¹, \(E/hc\))로 쓴다. \(B\)를 회전 상수(rotational constant)라 한다. 1 cm⁻¹ = 29.98 GHz = 0.124 meV = 1.44 K × \(k_\mathrm{B}\). 상온 \(k_\mathrm{B}T\) = 208.5 cm⁻¹.
E/hc J=0 0J=1 2BJ=2 6BJ=3 12BJ=4 20BJ=5 30B 2B4B6B8B10B 파수 ν̃ 세기 ∝ (2J+1)e^(−E_J/kT) 2B J → J+1 흡수선ν̃ = 2B(J+1)
강체 회전자의 준위는 \(J(J+1)\)로 벌어지지만, 이웃 준위 사이 간격 \(E_{J+1} - E_J = 2B(J+1)\)은 등차수열이라 흡수선은 \(2B\) 간격으로 고르게 늘어선다. 선 세기는 처음에 \(2J+1\) 축퇴로 커지다가 볼츠만 인자로 줄어든다.

빛이 회전을 일으키려면 분자가 영구 쌍극자를 가져야 하고(CO, HF, HCl은 있고 N₂, O₂, H₂는 없다), 쌍극자 연산자는 \(l = 1\)짜리 벡터 연산자라서 선택 규칙(selection rule) \(\Delta J = \pm1\), \(\Delta M = 0, \pm1\)이 나온다(\(\int Y_{J'}^{M'*}\cos\theta\,Y_J^M\,d\Omega \ne 0\)은 \(J' = J\pm1\)일 때만; 증명은 14장). 따라서 흡수선은

$$\tilde\nu_{J\to J+1} = E_{J+1} - E_J = 2B(J+1) = 2B,\ 4B,\ 6B,\ \dots \qquad(\text{간격 } 2B)$$
실제 분자는 빨리 돌수록 늘어나(원심 뒤틀림(centrifugal distortion)) \(E_J = BJ(J+1) - DJ^2(J+1)^2\)이고 높은 \(J\)에서 선 간격이 조금씩 좁아진다(CO: \(D \approx 6\times10^{-6}\) cm⁻¹). 대칭 이원자 분자 N₂는 마이크로파 흡수가 없지만 라만 산란(\(\Delta J = \pm2\), 스토크스 이동 \(4B(J + \tfrac32)\), 간격 \(4B\))이나 전자 띠의 회전 구조로 보인다.

환산 질량 \(\mu\) = 6.86, 결합 길이 \(R\) = 0.113인 분자의 회전 상수는 \(B\) = , 선 간격 \(2B\) = 이고, 300 K에서 가장 센 선은 \(J\) = 에서 올라가는 선이다.

¹²C¹⁶O의 순수 회전 흡수선이 3.845 cm⁻¹ 간격으로 늘어서 있다. (a) 회전 상수, (b) \(J = 0\to1\) 선의 진동수(GHz), (c) 관성 모멘트와 결합 길이를 구하라. 원자 질량 12.000 u, 15.995 u.

풀이 보기
전략 간격 = \(2B\). \(I = h/(8\pi^2cB)\), \(\mu = m_1m_2/(m_1+m_2)\), \(R = \sqrt{I/\mu}\).
풀이 (a) \(B = 1.9225\) cm⁻¹. (b) \(\nu = 2B\,c = 3.845 \times 29.979\ \text{GHz} = 115.27\) GHz. (c) \(I = \dfrac{6.626\times10^{-34}}{8\pi^2(2.998\times10^{10})(1.9225)} = 1.456\times10^{-46}\) kg·m². \(\mu = 12.000\times15.995/27.995 = 6.856\) u \(= 1.1385\times10^{-26}\) kg. \(R = \sqrt{1.456\times10^{-46}/1.1385\times10^{-26}} = 1.131\times10^{-10}\) m.
(a) \(B = 1.92\) cm⁻¹ (b) 115 GHz (λ = 2.60 mm) (c) \(I = 1.46\times10^{-46}\) kg·m², \(R = 0.113\) nm
검토 전파 천문학에서 성간 분자운을 찾는 115.271 GHz CO 선이 바로 이것이다. 바닥 진동 상태의 평균 결합 길이(0.1131 nm)는 평형 길이 0.1128 nm보다 조금 길다(영점 진동의 비조화성).

온도가 정하는 선 세기

기체에서 회전 준위 \(J\)에 있는 분자의 비율은 볼츠만 분포에 축퇴도 \(2J+1\)을 곱한 것이다. 선 세기가 아래 준위의 점유수에 비례한다고 근사하면, 스펙트럼의 모양이 곧 온도계다.

$$\frac{N_J}{N} = \frac{(2J+1)\,e^{-hcBJ(J+1)/k_\mathrm{B}T}}{q_\text{rot}},\qquad q_\text{rot} \approx \frac{k_\mathrm{B}T}{hcB},\qquad J_\text{max} \approx \sqrt{\frac{k_\mathrm{B}T}{2hcB}} - \frac12$$
\(q_\text{rot}\)는 회전 분배 함수(\(k_\mathrm{B}T \gg hcB\)일 때, 열·통계물리 볼츠만 분포). \(J_\text{max}\)는 \(N_J\)를 \(J\)로 미분해 0으로 놓은 것이다. \(\ln[I_J/(2J+1)]\)을 \(E_J\)에 대해 그리면(볼츠만 그림) 기울기가 \(-1/k_\mathrm{B}T\)인 직선이 되고, 이렇게 구한 온도를 회전 온도(rotational temperature)라 한다. 회전 준위는 몇 번의 충돌로 병진 운동과 평형을 이루므로 회전 온도는 기체 온도의 좋은 대리값이다.

CO 기체의 온도를 300 K에서 1200 K로 네 배 올리면 가장 센 흡수선의 \(J\)는 대략?

\(J_\text{max} \approx \sqrt{k_\mathrm{B}T/2hcB} - \tfrac12 \propto \sqrt T\). 300 K에서 7, 1200 K에서 14쯤이다. 아래에서 봉우리 손잡이를 끌어 확인하라.
SIMULATOR

회전 스펙트럼 실험실: 봉우리를 끌어 온도를 바꾼다

아래 스펙트럼의 흰 손잡이(봉우리)를 좌우로 끈다
분자
B · 선 간격—
kBT—
가장 많은 J (계산 · 공식)—
qrot (합 · 근사)—
위: 준위별 점유 비율 \(N_J/N\). 아래: 스펙트럼(막대 높이 = 아래 준위 점유수에 비례하는 선 세기, 초록 점선 = 매끈한 포락선). 분자 자료는 바닥 진동 상태의 \(B_0\): CO 1.9225, HCl 10.44(H³⁵Cl), HF 20.56, N₂ 1.9896 cm⁻¹. N₂는 라만 스토크스 선(\(\Delta J = +2\), 간격 \(4B\))이고 핵스핀 통계 때문에 짝수 \(J\)가 홀수보다 두 배 세다(11장). 해볼 것: ① HF는 \(B\)가 커서 상온에서도 선이 몇 개뿐이다. ② 온도를 네 배로 올리면 봉우리 \(J\)가 두 배쯤 된다. ③ \(q_\text{rot}\)의 정확한 합과 \(k_\mathrm{B}T/hcB\)를 비교한다(낮은 온도·큰 \(B\)에서 어긋난다).
플라스마의 기체 온도를 분자 회전으로 잰다

식각·증착 플라스마의 기체 온도는 라디칼 반응 속도, 웨이퍼로 가는 열속, 가스 해리율을 바꾸지만 열전대를 넣을 수 없다. 대신 챔버 창으로 나오는 빛을 분광기로 받는 발광 분광(OES)에서 N₂ 2차 양성 띠(C→B, 337 nm)나 N₂⁺ 1차 음성 띠(B→X, 391.4 nm)의 회전 구조를 본다. 선 세기가 이 절의 \((2J+1)e^{-E_J/kT}\)꼴(정확히는 \(J'+J''+1\) 같은 횐–런던 인자가 곱해진다)이므로 볼츠만 그림이나 스펙트럼 맞춤으로 회전 온도를 얻고, 전자 충돌 들뜸이 \(J\)를 거의 바꾸지 않는다는 가정 아래 이를 기체 온도로 쓴다. ICP 식각 플라스마에서는 보통 400–1000 K가 나오고, 전력·압력에 따라 수백 K씩 움직인다. 아르곤에 N₂를 몇 % 섞어 "온도계 기체"로 쓰기도 한다. → EtchBook · 플라스마: 식각의 재료

MINI LAB볼츠만 그림: OES로 잰 회전선(\(B = 2.07\) cm⁻¹, N₂⁺ B 상태 근처) 세기를 \(\ln[I_J/(2J+1)]\) 대 \(E_J\)로 찍고(자홍 점) 직선을 맞춘다(초록). 기울기 \(-1/k_\mathrm{B}T\)에서 회전 온도가 나온다. 잡음을 키우면 약한 선(높은 \(J\))이 흩어져 오차가 커진다 — 실제로는 센 선에 무게를 두거나 스펙트럼 전체를 맞춘다.

OES 스펙트럼에서 회전 상수 \(B = 2.07\) cm⁻¹인 띠의 \(J = 6\) 선과 \(J = 18\) 선의 세기비가 \(I_{18}/I_6 = 0.80\)이었다. 선 세기 \(\propto (2J+1)e^{-hcBJ(J+1)/k_\mathrm{B}T}\)로 보고 회전 온도를 구하라. (\(k_\mathrm{B}/hc = 0.6950\) cm⁻¹/K)

풀이 보기
전략 축퇴도로 나눈 세기비의 로그 = \(-(E_{18} - E_6)/k_\mathrm{B}T\).
풀이 \(E_6 = 2.07\times42 = 86.9\) cm⁻¹, \(E_{18} = 2.07\times342 = 707.9\) cm⁻¹, 차이 621.0 cm⁻¹. \(\dfrac{I_{18}/37}{I_6/13} = 0.80\times\dfrac{13}{37} = 0.2811\), \(\ln 0.2811 = -1.269\). \(k_\mathrm{B}T = 621.0/1.269 = 489.3\) cm⁻¹ → \(T = 489.3/0.6950 = 704\) K.
\(T_\text{rot} \approx 704\) K
검토 \(J_\text{max} = \sqrt{489/4.14} - 0.5 = 10.4\)이니 \(J = 6\)과 18은 봉우리의 양쪽이다. 세기비가 1에 가깝다는 것은 두 선이 봉우리를 사이에 두고 비슷한 높이라는 뜻이다. 실전에서는 두 선보다 여러 선의 직선 맞춤(미니 실험)이 훨씬 튼튼하다.

도전: 스펙트럼을 보고 B와 온도 맞히기

공정 가스 분석에서는 반대로 묻는다. 측정한 회전 스펙트럼 하나에서 어떤 분자인지(\(B\))와 얼마나 뜨거운지(\(T\))를 동시에 읽어야 한다. 선 간격은 \(B\)만, 봉우리 위치는 \(B\)와 \(T\)를 함께 정한다는 점을 이용하라.

SIMULATOR

스펙트럼 맞히기 게임: 모형 손잡이 두 개로 B와 T를 찾아라

□ = 선 간격(B) · ○ = 봉우리(T)
내 모형 B · T—
일치도—
판정—
점수—
자홍 막대 = 측정 스펙트럼(잡음 포함, 가장 센 선을 1로), 초록 막대 = 내 모형(오른쪽에 살짝 비켜 그림). 사각 손잡이는 모형의 다섯째 선(\(\tilde\nu = 10B\))이고, 둥근 손잡이는 모형 포락선의 봉우리다. 성공: \(B\)가 1.5 %, \(T\)가 8 % 안. 점수는 성공한 판에서 정답 보기 없이 맞힌 수다. 요령: ① 먼저 사각 손잡이로 막대 간격을 맞춘다(\(T\)와 무관). ② 그다음 둥근 손잡이로 봉우리를 맞춘다. 같은 봉우리라도 \(B\)가 크면 온도가 높다(\(J_\text{max} \propto \sqrt{T/B}\)).
배기 가스의 FTIR: 회전선이 지문이다

식각·챔버 세정 배기에는 HF, CO, COF₂, SiF₄와 남은 CF₄·NF₃·SF₆가 섞여 나온다. 스크러버 앞뒤에서 이를 실시간으로 재는 표준 도구가 FTIR(푸리에 변환 적외선 분광)이다. 이원자 분자의 진동 흡수는 회전 구조를 데리고 나온다: 띠 중심 \(\tilde\nu_0\)(CO 2143 cm⁻¹, HCl 2886, HF 3961) 양쪽으로 R 가지 \(\tilde\nu_0 + 2B(J+1)\)와 P 가지 \(\tilde\nu_0 - 2BJ\)가 \(2B\) 간격으로 늘어서고 가운데에 \(4B\)짜리 틈이 있다. HF는 \(B\)가 커서 선이 40 cm⁻¹ 간격으로 띄엄띄엄 서 있어 다른 가스와 겹치지 않고 ppm 이하까지 정량된다. 선 세기 분포가 이 절의 볼츠만 꼴이므로 가스 셀 온도를 맞춰야 농도가 맞는다. 과불화 화합물 분해 효율(DRE)도 같은 장비로 확인한다. → InfraBook · 배기와 스크러버

종말점 신호도 분자 띠다

산화막 식각에서 막이 뚫리는 순간을 잡는 OES 종말점 검출은 CO(483, 520 nm 근처 옹스트룀 띠)나 SiF, CN 같은 반응 생성물의 띠 세기를 지켜본다. 이 띠들은 진동·회전 구조로 수 nm에 걸쳐 퍼져 있어서, 분광기 분해능과 플라스마 온도(회전 분포)에 따라 띠 모양이 바뀐다. 장비를 바꾸거나 전력을 올리면 같은 파장 창에서 읽는 세기가 회전 온도 때문에 달라질 수 있으므로 종말점 문턱을 다시 맞춘다. → EtchBook · 종말점과 균일도

핵심 정리

  1. 교환 관계: \(\hat{\mathbf L} = \hat{\mathbf r}\times\hat{\mathbf p}\)에서 \([\hat L_i, \hat L_j] = i\hbar\varepsilon_{ijk}\hat L_k\), \([\hat L^2, \hat L_i] = 0\). 성분 둘은 동시에 정해지지 않고(\(\Delta L_x\Delta L_y \ge \tfrac\hbar2|\langle L_z\rangle|\)), \(\hat L^2\)과 \(\hat L_z\)의 동시 고유 상태 \(|l\,m\rangle\)를 기저로 쓴다. \(\hat L_z = -i\hbar\,\partial_\phi\).
  2. 사다리 대수: \(\hat J_\pm = \hat J_x \pm i\hat J_y\), \([\hat J_z, \hat J_\pm] = \pm\hbar\hat J_\pm\). 교환 관계만으로 \(\hat J^2 \to j(j+1)\hbar^2\), \(\hat J_z \to m\hbar\), \(m = -j..j\), \(2j \in \{0,1,2,\dots\}\). \(\hat J_\pm|j\,m\rangle = \hbar\sqrt{j(j+1)-m(m\pm1)}\,|j\,m\pm1\rangle\). 궤도 각운동량은 단일값 조건으로 정수 \(l\)만.
  3. 구면 조화 함수: \(Y_l^m \propto P_l^m(\cos\theta)e^{im\phi}\)는 \(\hat L_+Y_l^l = 0\)과 \(\hat L_-\)로 만든다. 규격 직교, 완비, 패리티 \((-1)^l\), \(Y_l^{-m} = (-1)^mY_l^{m*}\). 실수 오비탈은 \(Y_l^{\pm m}\)의 합·차(\(p_x = (Y_1^{-1}-Y_1^1)/\sqrt2\)): 같은 \(l\)이지만 \(L_z\)는 \(\pm|m|\hbar\) 반반.
  4. 벡터 모형: \(|\mathbf L| = \hbar\sqrt{l(l+1)} > l\hbar\), \(\langle L_x\rangle = 0\), \(\langle L_x^2\rangle = \tfrac{\hbar^2}{2}[l(l+1)-m^2]\), \(\cos\theta_L = m/\sqrt{l(l+1)}\). \(\mathbf L\)은 \(z\)축과 나란할 수 없다.
  5. 기운 축의 측정: 축 \(\hat{\mathbf n}\)(극각 \(\theta\))으로 재도 결과는 \(m'\hbar\)뿐이고 확률은 \(|d^{\,l}_{m'm}(\theta)|^2\), 기댓값 \(m\hbar\cos\theta\). \(|1,1\rangle\)을 \(x\)로 재면 \(\tfrac14, \tfrac12, \tfrac14\).
  6. 회전: \(\hat R(\alpha,\hat{\mathbf n}) = e^{-i\alpha\hat{\mathbf n}\cdot\hat{\mathbf J}/\hbar}\) — 각운동량은 회전의 생성자이고 교환 관계는 회전의 비가환성이다. \(e^{-i\alpha\hat L_z/\hbar}Y_l^m = e^{-im\alpha}Y_l^m\). \(D^{\,j}_{m'm} = e^{-im'\alpha}d^{\,j}_{m'm}(\beta)e^{-im\gamma}\), 회전은 \(j\)를 바꾸지 않는다. 반정수 \(j\)는 360°에서 \(-1\).
  7. 강체 회전자: \(E_J = hcBJ(J+1)\), \(B = h/8\pi^2cI\), \(I = \mu R^2\), 축퇴 \(2J+1\). 쌍극 선택 규칙 \(\Delta J = \pm1\) → 선 \(2B(J+1)\), 간격 \(2B\). 점유 \(\propto(2J+1)e^{-E_J/k_\mathrm{B}T}\), \(J_\text{max} \approx \sqrt{k_\mathrm{B}T/2hcB} - \tfrac12\): 선 간격이 결합 길이를, 세기 분포가 회전 온도를 준다(OES 기체 온도, FTIR 가스 분석).

연습문제

각운동량은 따로 말이 없으면 \(\hbar\) 단위로 답한다(예: \(\sqrt6\,\hbar\)이면 2.45). 확률은 0–1 사이 소수로 쓴다. 상수: \(h = 6.626\times10^{-34}\) J·s, \(c = 2.998\times10^{10}\) cm/s, 1 u = \(1.6605\times10^{-27}\) kg, \(k_\mathrm{B}/hc = 0.6950\) cm⁻¹/K.

\([\hat L_z, \hat x]\)는?

\([\hat x\hat p_y - \hat y\hat p_x, \hat x] = -\hat y[\hat p_x, \hat x] = -\hat y(-i\hbar) = i\hbar\hat y\). 일반식 \([\hat L_i, \hat x_j] = i\hbar\varepsilon_{ijk}\hat x_k\)에서 \(i = z, j = x\) → \(k = y\), \(\varepsilon_{zxy} = +1\). \(\hat L_z\)가 \(x\)를 \(y\) 쪽으로 돌리는 생성자라는 뜻이다.

\(l = 3\)(f) 상태의 각운동량 크기와 가능한 \(L_z\) 값의 개수를 구하라.

\(|L| = \sqrt{3\cdot4}\,\hbar = \sqrt{12}\,\hbar = 3.46\hbar\). \(m = -3, \dots, 3\)의 7개.

\(\hat J_+|3, 1\rangle = c\,|3, 2\rangle\)에서 \(c\)를 구하라.

\(c = \hbar\sqrt{j(j+1) - m(m+1)} = \hbar\sqrt{12 - 2} = \sqrt{10}\,\hbar = 3.16\hbar\).

\(j = 3/2\)에서 행렬 원소 \(\langle \tfrac32, \tfrac12|\hat J_x|\tfrac32, -\tfrac12\rangle\)를 구하라.

\(\hat J_x = (\hat J_+ + \hat J_-)/2\). \(m = -\tfrac12 \to \tfrac12\)는 \(\hat J_+\)만 기여한다.

\(\tfrac12\hbar\sqrt{\tfrac{15}{4} - (-\tfrac12)(\tfrac12)} = \tfrac12\hbar\sqrt{\tfrac{16}{4}} = \tfrac12\cdot2\hbar = \hbar\).

상태 \(|3, -1\rangle\)에서 \(\Delta L_x\)를 구하고, \(\Delta L_x\Delta L_y\)가 로버트슨 하한을 만족하는지 확인하라.

\(\langle L_x\rangle = 0\), \(\langle L_x^2\rangle = \tfrac{\hbar^2}{2}[l(l+1) - m^2]\).

\(\langle L_x^2\rangle = \tfrac{\hbar^2}{2}(12 - 1) = 5.5\hbar^2\), \(\Delta L_x = \sqrt{5.5}\,\hbar = 2.35\hbar\). \(\Delta L_x\Delta L_y = 5.5\hbar^2 \ge \tfrac\hbar2|\langle L_z\rangle| = 0.5\hbar^2\) — 넉넉히 만족한다. 등호는 \(|m| = l\)일 때만 성립한다: \(\Delta L_x\Delta L_y = \tfrac{\hbar^2}{2}[l(l+1) - l^2] = \tfrac{l\hbar^2}{2} = \tfrac\hbar2\cdot l\hbar\).

각도 부분이 \(Y_1^0\)인 입자가 \(z\)축에서 45° 이내의 원뿔(\(0 \le \theta \le 45^\circ\)) 방향에서 발견될 확률은?

\(P = \frac{3}{4\pi}\cdot2\pi\int_0^{\pi/4}\cos^2\theta\sin\theta\,d\theta\).

\(P = \tfrac32\cdot\tfrac13[1 - \cos^3(\pi/4)] = \tfrac12(1 - 0.3536) = 0.323\). 원뿔이 구 넓이의 14.6 %밖에 안 되지만 \(\cos^2\theta\)가 극 쪽에 몰려 있어 확률은 32 %다. 반대쪽 원뿔도 같으니 두 극 45° 이내에 65 %가 있다.

다음 가운데 \(\hat L_z\)의 고유 함수는?

\(-i\hbar\,\partial_\phi(\sin\theta\,e^{-i\phi}) = -\hbar\sin\theta\,e^{-i\phi}\) → 고유값 \(-\hbar\). 나머지는 \(\cos\phi = (e^{i\phi} + e^{-i\phi})/2\)처럼 \(\pm m\)이 섞인 실수 함수(\(p_x\), \(p_y\) 꼴, \(d_{x^2-y^2}\))다.

\(\psi = \tfrac{1}{\sqrt3}Y_1^1 + \sqrt{\tfrac23}\,Y_2^{-1}\)에서 \(\langle L^2\rangle\)과 \(\langle L_z\rangle\)를 구하라. \(L^2\)을 한 번 재면 어떤 값들이 어떤 확률로 나오는가?

\(L^2 = 2\hbar^2\)(확률 1/3) 또는 \(6\hbar^2\)(2/3). \(\langle L^2\rangle = \tfrac13\cdot2 + \tfrac23\cdot6 = 4.67\hbar^2\). \(L_z = +\hbar\)(1/3) 또는 \(-\hbar\)(2/3) → \(\langle L_z\rangle = -0.333\hbar\). \(\langle L^2\rangle\)은 어떤 측정값(2나 6)과도 같지 않다.

\(|1, 0\rangle\) 상태를 \(z\)축에서 30° 기운 축으로 잴 때 결과가 0일 확률과 \(+\hbar\)일 확률을 구하라.

\(d^1_{00}(\theta) = \cos\theta\), \(d^1_{\pm1,0}(\theta) = \pm\sin\theta/\sqrt2\).

\(P(0) = \cos^230^\circ = 0.750\), \(P(\pm\hbar) = \sin^230^\circ/2 = 0.125\)씩. 합 1, 기댓값 0(\(m = 0\)이므로 어느 축이든 0).

\(|\psi\rangle = (|1,1\rangle + |1,0\rangle)/\sqrt2\)에서 \(\langle L_x\rangle\)를 구하라. \(\langle L_y\rangle\)는 얼마인가?

\(L_x = \frac{\hbar}{\sqrt2}\begin{pmatrix}0&1&0\\1&0&1\\0&1&0\end{pmatrix}\).

\(L_x\psi = \frac{\hbar}{\sqrt2}\cdot\frac{1}{\sqrt2}(1, 1, 1)^T\), \(\psi^\dagger L_x\psi = \frac{\hbar}{2}\cdot\frac{1}{\sqrt2}(1 + 1) = \hbar/\sqrt2 = 0.707\hbar\). \(L_y\)는 순허수 행렬이고 \(\psi\)가 실수라 \(\langle L_y\rangle = 0\). 벡터 모형으로는 \(z\)와 \(xy\) 평면 사이에서 \(x\)쪽으로 기운 각운동량이다.

\(|1,1\rangle\)을 \(y\)축 둘레로 각 \(\beta\) 돌린 뒤 \(L_z\)를 쟀더니 \(+\hbar\)가 나올 확률이 0.5였다. \(\beta\)(0–180°)를 구하라.

생존 진폭은 \(d^1_{11}(\beta) = (1+\cos\beta)/2\).

\(\bigl(\tfrac{1+\cos\beta}{2}\bigr)^2 = 0.5\) → \(1 + \cos\beta = \sqrt2\) → \(\cos\beta = 0.4142\) → \(\beta = 65.5^\circ\). 스핀 1/2라면 \(\cos^2(\beta/2) = 0.5\)에서 90°였을 것이다 — \(j\)가 클수록 같은 각에서 상태가 더 빨리 "빠져나간다".

H³⁵Cl(\(B = 10.44\) cm⁻¹)의 \(J = 2 \to 3\) 순수 회전 흡수선의 파수는?

\(\tilde\nu = 2B(J+1) = 2\times10.44\times3 = 62.6\) cm⁻¹ (원적외선, 파장 160 µm).

¹²C¹⁶O의 회전선 간격이 3.845 cm⁻¹이다. 결합 길이를 구하라(질량 12.000 u, 15.995 u).

\(B = 1.9225\) cm⁻¹, \(I = h/(8\pi^2cB) = 1.456\times10^{-46}\) kg·m². \(\mu = 6.856\) u \(= 1.1385\times10^{-26}\) kg. \(R = \sqrt{I/\mu} = 1.131\times10^{-10}\) m = 0.113 nm.

500 K의 HF 기체(\(B = 20.56\) cm⁻¹)에서 가장 많이 채워진 회전 준위 \(J\)(정수)는?

\(J_\text{max} \approx \sqrt{k_\mathrm{B}T/2hcB} - \tfrac12\)을 구해 가장 가까운 정수를 고르고, 이웃 \(J\)의 \(N_J\)를 비교해 확인한다.

\(k_\mathrm{B}T/hc = 347.5\) cm⁻¹, \(\sqrt{347.5/41.12} - 0.5 = 2.41\). \(N_J \propto (2J+1)e^{-20.56J(J+1)/347.5}\): \(J = 2\): \(5e^{-0.355} = 3.51\), \(J = 3\): \(7e^{-0.710} = 3.44\) → \(J = 2\)(근소한 차이).

배기 라인의 뜨거운 HCl(\(B = 10.44\) cm⁻¹)을 FTIR로 재었더니 \(J = 5\)에서 올라가는 선이 \(J = 1\)에서 올라가는 선보다 1.40배 셌다. 선 세기 \(\propto(2J+1)e^{-hcBJ(J+1)/k_\mathrm{B}T}\)로 보고 기체 온도를 구하라.

\(E_1 = 20.88\), \(E_5 = 313.2\) cm⁻¹, 차 292.3 cm⁻¹. \(\dfrac{I_5/11}{I_1/3} = 1.40\times\dfrac{3}{11} = 0.3818\), \(\ln = -0.9628\). \(k_\mathrm{B}T/hc = 292.3/0.9628 = 303.6\) cm⁻¹ → \(T = 437\) K. 높은 \(J\) 선이 더 세다는 것만으로 상온(300 K에서 비 0.90)보다 뜨겁다는 것을 바로 알 수 있다.

다음 가운데 순수 회전 흡수(마이크로파·원적외선) 스펙트럼이 나타나지 않는 분자는?

N₂는 대칭이라 영구 쌍극자가 없어 \(\Delta J = \pm1\) 쌍극 전이가 일어나지 않는다. 회전 구조는 라만(\(\Delta J = \pm2\))이나 전자 띠(OES의 N₂ 2차 양성 띠)에서 본다.

개념 확인 퀴즈

\(|l\,m\rangle\) 상태의 각운동량 벡터가 \(z\)축과 정확히 나란할 수 없는 이유는?

\(|\mathbf L|^2 = l(l+1)\hbar^2 > (l\hbar)^2\)인 것은 \(\langle L_x^2 + L_y^2\rangle = [l(l+1) - m^2]\hbar^2 \gt 0\)이기 때문이고, 이것은 교환 관계가 요구하는 최소한의 불확정성이다. 예외는 \(l = 0\)(모든 성분이 0)뿐이다.

사다리 논증에서 \(2j\)가 정수여야 하는 이유는?

닿지 못하면 노름 제곱이 음수인 상태가 생긴다(미니 실험). 첫째 보기(단일값)는 궤도 각운동량에서 반정수를 추가로 없애는 조건이다.

\(Y_3^2\)를 \(z\)축 둘레로 60° 돌리면?

\(\hat L_z\) 고유 상태는 \(z\) 회전의 고유 상태이기도 하다. 모양이 실제로 도는 것은 실수 오비탈(\(\pm m\) 섞임)이고, 어떤 회전도 \(l\)은 바꾸지 못한다.

\(|2, 0\rangle\) 상태를 \(x\)축 방향으로 재면 가능한 결과는?

\(d^2_{\pm1,0}(90^\circ) \propto \sin\beta\cos\beta = 0\)이라 \(\pm\hbar\)는 확률 0이다. 확률은 \(P(\pm2) = 3/8\), \(P(0) = 1/4\) (\(d^2_{00} = (3\cos^2\beta - 1)/2 = -1/2\)). 측정 시뮬레이터에서 \(l = 2\), \(m = 0\), θ = 90°로 확인할 수 있다.

기체의 온도를 올리면 회전 흡수 스펙트럼은?

선 위치 \(2B(J+1)\)은 분자 구조(\(B\))만으로 정해진다. 온도는 점유 분포 \((2J+1)e^{-E_J/k_\mathrm{B}T}\)를 바꿔 세기 모양만 바꾼다 — 그래서 간격에서 \(B\)를, 모양에서 \(T\)를 따로 읽을 수 있다.