호이겐스 원리 (Huygens' Principle)

1. 원리의 진술

정의2.1호이겐스 원리

파면(wavefront) 위의 모든 점은 새로운 구면 이차파(secondary spherical wavelet)의 원천으로 간주할 수 있다. 이후 시각의 파면은 이 모든 이차파들의 포락면(envelope)으로 결정된다.

크리스티안 호이겐스(Christiaan Huygens, 1690)가 제안한 이 원리는 빛의 전파, 굴절, 회절 현상을 파동론적으로 설명하는 기본 원리이다. 그러나 원래의 호이겐스 원리에는 두 가지 문제점이 있었다:

역방향 파동을 배제하는 메커니즘이 없다.
이차파의 진폭에 대한 정량적 처방이 없다.

이 문제들은 프레넬과 키르히호프에 의해 해결되었다.

2. 호이겐스-프레넬 원리

정의2.2호이겐스-프레넬 원리

파면 $\Sigma$ 위의 면적 요소 $dS$ 에서 방출되는 이차파의 기여는 관측점 $P$ 에서의 파동 $U(P)$ 에 다음과 같이 더해진다:

U(P) = -\frac{i}{\lambda} \iint_\Sigma U(\mathbf{r}_S)\, \frac{e^{ikr}}{r}\, K(\chi)\, dS

여기서:

$U(\mathbf{r}_S)$ 는 파면 위의 점 $\mathbf{r}_S$ 에서의 파동 진폭
$r = |\mathbf{r}_P - \mathbf{r}_S|$ 는 파면 위의 점에서 관측점까지의 거리
$k = 2\pi/\lambda$ 는 파수
$K(\chi)$ 는 경사 인자(obliquity factor, inclination factor)로서 $K(\chi) = \frac{1}{2}(1 + \cos\chi)$
$\chi$ 는 파면의 법선과 관측 방향 사이의 각도

경사 인자 $K(\chi)$ 의 도입으로 역방향 전파( $\chi = \pi$ ) 문제가 해결된다: $K(\pi) = 0$ 이므로 후방 이차파의 기여가 사라진다.

3. 키르히호프의 회절 이론

유도키르히호프 적분 정리

스칼라 파동 방정식 $(\nabla^2 + k^2)U = 0$ 을 만족하는 파동 $U$ 에 대해, 그린 정리(Green's theorem)를 적용하면:

U(P) = \frac{1}{4\pi} \oint_S \left[U \frac{\partial G}{\partial n} - G \frac{\partial U}{\partial n}\right] dS

여기서 $G = e^{ikr}/r$ 은 자유 공간 그린 함수, $\partial/\partial n$ 은 면의 외향 법선 미분이다.

키르히호프 경계 조건을 적용하면:

개구(aperture) 위에서: $U$ 와 $\partial U/\partial n$ 은 입사파의 값과 같다.
차폐면(screen) 위에서: $U = 0$ , $\partial U/\partial n = 0$ .

이로부터 키르히호프 회절 공식이 얻어진다:

U(P) = -\frac{i}{\lambda} \iint_{\text{aperture}} U_{\text{inc}}(\mathbf{r}_S)\, \frac{e^{ikr}}{r}\, \frac{1}{2}(\cos\theta_i + \cos\theta_d)\, dS

여기서 $\theta_i$ 는 입사 방향과 법선 사이의 각도, $\theta_d$ 는 회절 방향과 법선 사이의 각도이다.

■

참고키르히호프 경계 조건의 자기모순

키르히호프 경계 조건은 수학적으로 자기모순적이다. 차폐면 위에서 $U = 0$ 이고 $\partial U/\partial n = 0$ 이면, 유일성 정리(uniqueness theorem)에 의해 $U \equiv 0$ 이어야 한다. 이 문제는 좀머펠트(Sommerfeld)의 반평면 회절 이론과 레일리-좀머펠트 회절 공식으로 보완된다.

4. 레일리-좀머펠트 회절 공식

키르히호프 이론의 자기모순을 해결하기 위해 제1종 레일리-좀머펠트 공식이 도입된다:

U(P) = -\frac{1}{2\pi} \iint_{\text{aperture}} U_{\text{inc}} \frac{\partial G^{(1)}}{\partial n}\, dS

여기서 $G^{(1)}$ 은 디리클레 그린 함수(Dirichlet Green's function)로서:

G^{(1)} = \frac{e^{ikr}}{r} - \frac{e^{ikr'}}{r'}

$r'$ 은 관측점의 경상(mirror image)까지의 거리이다. 이 그린 함수는 경계면에서 $G^{(1)} = 0$ 을 만족하므로, $U$ 의 경계값만 지정하면 된다.

5. 평면파의 전파와 호이겐스 원리의 검증

예제구면파에서 평면파로의 전이

점 광원에서 발생한 구면파가 멀리 떨어진 지점에서 평면파로 근사되는 과정을 호이겐스 원리로 확인할 수 있다.

파면 $\Sigma$ 가 반지름 $R$ 인 구면일 때, 관측점 $P$ 가 $\Sigma$ 로부터 거리 $z \gg R$ 에 있으면:

U(P) \approx -\frac{i}{\lambda} \cdot \frac{U_0}{R} \int_0^{\theta_{\max}} \frac{e^{ik(R + r)}}{r} K(\chi)\, R^2 \sin\theta\, d\theta\, d\phi

프레넬 대역(Fresnel zone) 분석에 의해, 첫 번째 프레넬 대역의 기여가 지배적이며 결과는:

U(P) \approx \frac{U_0}{R + z} e^{ik(R + z)}

이는 구면파가 계속 구면파로 전파됨을 보여주며, 호이겐스 원리의 자기 일관성을 확인한다.

6. 각 스펙트럼 방법

현대적 관점에서 호이겐스 원리는 각 스펙트럼(angular spectrum) 표현과 동치이다.

평면 $z = 0$ 에서의 파동장 $U(x, y, 0)$ 을 푸리에 변환하면:

\tilde{U}(k_x, k_y; 0) = \iint U(x, y, 0)\, e^{-i(k_x x + k_y y)}\, dx\, dy

이후 $z > 0$ 에서의 파동장은:

U(x, y, z) = \iint \tilde{U}(k_x, k_y; 0)\, e^{i(k_x x + k_y y + k_z z)}\, dk_x\, dk_y

여기서 전파 상수 $k_z$ 는:

k_z = \begin{cases} \sqrt{k^2 - k_x^2 - k_y^2} & \text{if } k_x^2 + k_y^2 \leq k^2 \quad (\text{전파파}) \\ i\sqrt{k_x^2 + k_y^2 - k^2} & \text{if } k_x^2 + k_y^2 > k^2 \quad (\text{소멸파}) \end{cases}

참고근접장과 원거리장

각 스펙트럼 표현은 근접장(near field)과 원거리장(far field)을 통합적으로 기술한다. 근접장에서는 소멸파 성분이 중요한 역할을 하며, 이는 서브파장(sub-wavelength) 해상도를 가능하게 하는 근접장 주사 광학 현미경(NSOM)의 원리가 된다. 원거리장에서는 전파파 성분만 남아 호이겐스-프레넬 적분으로 환원된다.