광학 정리

편집 역사 토론
전자기학 계산물리 전자기해석 마지막 수정: 2026-08-14 04:12:47

1. 개요[편집]

광학 정리
Optical theorem
주장소멸 단면적 = 전방 산란 진폭의 허수부
스칼라 표기σext = (4π/k) Im f(0̂)
뿌리에너지 보존 · S행렬 유니타리성
양자 산란피엔베르크(1932), 보어-파이얼스-플라첵(1939)
실무 용도산란 코드 검증 항등식, 소멸 단면적의 값싼 계산법
흔한 사고규약(4π/k vs 4π/k²) 혼동, 전방 방향 정의 실수

광학 정리(optical theorem)는 산란체가 입사파에서 빼앗는 총 에너지(소멸 단면적 σext\sigma_{\mathrm{ext}})가 오직 전방 방향 하나의 산란 진폭 허수부만으로 결정된다는 항등식이다. 스칼라 파동에서 산란장을 ψscf(n^)eikr/r\psi_{\mathrm{sc}} \to f(\hat{n})\,e^{ikr}/r 로 정의하면

σext=4πkImf(n^inc)\sigma_{\mathrm{ext}} = \frac{4\pi}{k}\,\mathrm{Im}\,f(\hat{n}_{\mathrm{inc}})

이다. 전 방향으로 흩어진 에너지와 물체가 삼킨 에너지를 다 합친 양이, 정작 딱 한 방향에서 재는 복소수 하나에 들어 있다는 것이 이 정리의 이상한 점이자 전부다.1

물리적으로는 전혀 신비하지 않다. 소멸은 결국 입사 평면파와 전방으로 나가는 산란파의 간섭이 만드는 그림자이고, 간섭항은 두 파의 상대 위상 — 즉 산란 진폭의 허수부 — 에 비례한다. 에너지가 산란으로 빠졌든 흡수로 사라졌든, 남은 빔에 파인 구멍의 깊이는 같다. 그래서 광학 정리는 흡수체와 순수 산란체를 구별하지 못하며, 바로 그 무차별성 덕분에 어떤 산란 문제에도 통하는 검증 항등식이 된다.

2. 무엇이 정리이고 무엇이 규약인가[편집]

이 정리를 쓰다가 계수 하나 틀려 반나절을 날리는 일이 흔한데, 원인은 거의 항상 산란 진폭의 정의다. 널리 쓰이는 두 규약을 나란히 두면 이렇다.

규약원거리장 정의소멸 단면적
양자·스칼라 산란ψeikz+f(n^)eikr/r\psi \sim e^{ikz} + f(\hat{n})\,e^{ikr}/r(4π/k)Imf(0^)(4\pi/k)\,\mathrm{Im}\,f(\hat{0})
보렌-허프먼(전자기)EsE0S(θ)eik(rz)/(ikr)E_s \sim E_0 S(\theta)\,e^{ik(r-z)}/(-ikr)(4π/k2)ReS(0)(4\pi/k^2)\,\mathrm{Re}\,S(0)

둘은 f=S/(ik)f = S/(-ik) 라는 관계로 같은 식이다. Im\mathrm{Im}Re\mathrm{Re} 로 바뀌고 kkk2k^2 이 되는 이유가 오직 정의에 붙은 ik-ik 때문이라는 걸 모르면, 코드의 소멸 단면적이 파장에 비례해 어긋나는 기묘한 버그를 만나게 된다. 벡터장에서는 여기에 편광까지 붙어서

Cext=4πkE02Im ⁣[E0F(n^inc)]C_{\mathrm{ext}} = \frac{4\pi}{k\,|\mathbf{E}_0|^{2}}\, \mathrm{Im}\!\left[\mathbf{E}_0^{*}\cdot \mathbf{F}(\hat{n}_{\mathrm{inc}})\right]

가 된다(EscF(n^)eikr/r\mathbf{E}_{\mathrm{sc}} \to \mathbf{F}(\hat{n})e^{ikr}/r). 입사 편광과 같은 성분만 골라내는 내적이 핵심이다 — 전방 진폭의 크기 전체가 아니라 입사장에 투영한 성분만 간섭에 참여하기 때문이다. 시간 규약을 eiωte^{-i\omega t} 가 아니라 e+jωte^{+j\omega t} 로 쓰는 공학 문헌(대부분의 안테나 해석·모멘트법 코드)에서는 허수부 부호가 통째로 뒤집힌다는 것도 같은 부류의 함정이다.

3. 유도 — 에너지 보존과 정상위상[편집]

가장 정직한 유도는 반지름 RR 인 큰 구를 씌우고 그 표면을 통과하는 에너지 흐름을 세는 것이다. 전체 장은 ψ=ψinc+ψsc\psi = \psi_{\mathrm{inc}} + \psi_{\mathrm{sc}} 이므로 포인팅 벡터의 유량은 세 조각으로 갈라진다.

Win=Sn^dA=Winc=0+Wsc=σscaI0+Wint간섭W_{\mathrm{in}} = -\oint \mathbf{S}\cdot\hat{n}\,dA = \underbrace{W_{\mathrm{inc}}}_{=\,0} + \underbrace{W_{\mathrm{sc}}}_{=\,-\sigma_{\mathrm{sca}}I_0} + \underbrace{W_{\mathrm{int}}}_{\text{간섭}}

평면파 자체는 들어온 만큼 나가므로 Winc=0W_{\mathrm{inc}}=0, 산란파는 순수하게 나가므로 σsca\sigma_{\mathrm{sca}} 를 만든다. 남은 교차항이 물체가 실제로 빼앗은 에너지 σabs\sigma_{\mathrm{abs}}σsca\sigma_{\mathrm{sca}} 를 합친 값, 즉 σextI0-\sigma_{\mathrm{ext}}I_0 여야 한다. 이 교차항 적분은 eikR(1cosθ)e^{ikR(1-\cos\theta)} 꼴의 급격히 진동하는 위상을 갖고 있어서, RR\to\infty 에서 정상위상 근사cosθ=1\cos\theta = 1 인 한 점 — 즉 전방 — 만 살아남는다.2 그 결과가 위의 공식이다.

σext=σsca+σabs\sigma_{\mathrm{ext}} = \sigma_{\mathrm{sca}} + \sigma_{\mathrm{abs}} 는 정의가 아니라 에너지 보존이 강제하는 별개의 등식이고, 광학 정리는 그중 좌변을 전방 진폭으로 바꿔 쓴 것이다. 두 관계를 합치면 수치 검증에 쓰는 잔차가 나온다.

Δ=σextσscaσabsσext\Delta = \frac{\sigma_{\mathrm{ext}} - \sigma_{\mathrm{sca}} - \sigma_{\mathrm{abs}}}{\sigma_{\mathrm{ext}}}

4. 유니타리성 — 같은 이야기의 양자 버전[편집]

산란 연산자를 S=I+iTS = I + iT 로 쓰면 확률 보존(유니타리성)은 SS=IS^{\dagger}S = I, 즉

i(TT)=TT-i\left(T - T^{\dagger}\right) = T^{\dagger}T

이다. 이 식의 대각 성분을 전방 방향에서 읽으면 좌변이 2Imf(n^,n^)2\,\mathrm{Im}\,f(\hat{n},\hat{n}), 우변이 f2dΩσsca\int |f|^2 d\Omega \propto \sigma_{\mathrm{sca}} 가 되어 광학 정리가 그대로 튀어나온다. 비대각 성분까지 살리면 일반화 광학 정리

Imf(n^,n^)  =  k4πf(n^,n^)f(n^,n^)dΩ\mathrm{Im}\,f(\hat{n}',\hat{n}) \;=\; \frac{k}{4\pi}\int f^{*}(\hat{n}'',\hat{n}')\,f(\hat{n}'',\hat{n})\,d\Omega''

가 되는데, 임의의 두 방향 쌍에 대해 성립하므로 검증용으로는 훨씬 강력하다. 전방 하나만 맞추는 것은 우연히 통과할 수 있어도, 방향 쌍 수십 개를 동시에 만족시키기는 어렵다.

흡수가 있으면 SS 는 더 이상 유니타리가 아니고 부등식만 남는다. σextσsca\sigma_{\mathrm{ext}} \ge \sigma_{\mathrm{sca}}, 즉 수동 매질에서 흡수는 음수가 될 수 없다. 코드가 이걸 어기면(유전체인데 σabs<0\sigma_{\mathrm{abs}}<0) 물리가 이상한 게 아니라 구현이 틀린 것이다.

5. 산란 코드를 채점하는 도구[편집]

광학 정리가 계산 현장에서 사랑받는 이유는 두 가지다.

첫째, 소멸을 싸게 계산한다. σsca\sigma_{\mathrm{sca}} 를 정직하게 얻으려면 원거리장을 전 입체각에 대해 적분해야 한다. 크기 파라미터 xx 가 커지면 전방 첨두의 각폭이 1/x\sim 1/x 로 좁아져, 각도 격자를 어지간히 촘촘히 깔지 않으면 적분이 몇 %씩 틀린다. 반면 광학 정리는 방향 하나만 평가하면 끝난다. 그래서 미 산란Qext=(2/x2)(2n+1)Re(an+bn)Q_{ext} = (2/x^2)\sum(2n+1)\mathrm{Re}(a_n+b_n) 도, 이산 쌍극자 근사CextjIm(Einc,jPj)C_{\mathrm{ext}} \propto \sum_j \mathrm{Im}(\mathbf{E}_{\mathrm{inc},j}^{*}\cdot\mathbf{P}_j) 도 전부 광학 정리의 각 방법론별 번역판이다.

둘째, 독립적인 잔차를 준다. 소멸은 전방 진폭에서, 흡수는 물체 내부의 소산에서, 산란은 원거리장 적분에서 — 서로 다른 세 경로로 계산한 뒤 Δ\Delta 를 본다. 세 경로가 같은 오류를 공유할 이유가 거의 없으므로, Δ\Delta 는 진짜 오차의 대리 지표로 잘 작동한다. 방법별로 이 검사가 잡아내는 전형적인 버그가 정해져 있다.

  • 이산 쌍극자 근사 — 편극률에 복사 반작용 항 23ik3-\tfrac{2}{3}ik^3 을 빼먹으면 손실 없는 유전체에서 σabs>0\sigma_{\mathrm{abs}}>0 이 나온다. 사실 드레인이 그 보정을 도입한 근거 자체가 “광학 정리를 만족시키려면”이었다.
  • T-행렬법 — 무손실 산란체의 T행렬은 TT=12(T+T)T^{\dagger}T = -\tfrac{1}{2}(T+T^{\dagger}) 를 만족해야 한다. 종횡비가 극단적일 때 이 관계가 먼저 깨지므로, 수치 불안정의 조기경보로 쓴다.
  • 모멘트법·경계요소법 — 반복 해법의 잔차를 느슨하게 끊으면 Δ\Delta 가 먼저 반응한다. 단면적은 그럭저럭 맞는데 Δ\Delta10210^{-2} 수준이면 수렴 판정을 다시 봐야 한다.
  • FDTD — 근거리-원거리 변환의 적분면 위치, 완전정합층 반사, 전체장/산란장 경계 누설이 전부 Δ\Delta 에 모인다. 특히 PML이 부실하면 흡수가 없는 물체에서 σabs\sigma_{\mathrm{abs}} 가 슬금슬금 양수로 뜬다.

주의할 점도 있다. Δ\Delta 가 작다고 답이 맞는다는 보장은 없다. 세 경로가 같은 잘못된 전개계수에서 나왔다면 잔차는 얌전히 0이다. 예컨대 급수를 너무 일찍 자른 미 계산은 Δ0\Delta \approx 0 을 유지한 채 단면적만 틀린다. 광학 정리는 필요조건이지 충분조건이 아니다 — 검증 및 확인의 표준 어법으로는 코드 검증의 도구이지 해 검증의 도구가 아니다.

무손실 구에 대해서는 부분파마다 정확한 등식 Rean=an2\mathrm{Re}\,a_n = |a_n|^2 이 성립한다(위상이동 δn\delta_n 으로 an=12(1e2iδn)a_n = \tfrac{1}{2}(1-e^{2i\delta_n})). 항별로 이걸 찍어 보면 재귀식이 어느 차수부터 무너지는지 바로 보인다. 레일리 산란 극한에서는 Imfx3\mathrm{Im}\,f \propto x^3 인 편극률 항이 소멸을, f2x6|f|^2 \propto x^6 이 산란을 지배하므로 작은 입자의 소멸이 흡수에 지배되는 이유도 같은 식에서 읽힌다.

6. 확장과 함정[편집]

  • 평면파가 아니면. 집속빔·가우시안빔에 대한 광학 정리는 “전방 진폭”이 아니라 입사장과 산란장의 중첩 적분으로 일반화된다. 광집게 시뮬레이션에서 평면파 공식을 그대로 쓰면 힘이 틀린다.
  • 흡수 매질 속의 산란체. 배경 매질이 흡수성이면 원거리장 자체가 지수적으로 죽어서 “단면적”의 정의부터 애매해진다. 이 경우 광학 정리는 여러 갈래로 갈라지고 문헌마다 다른 정의를 쓴다. 논문 인용 전에 정의를 확인해야 하는 대표적 지뢰밭.
  • 인과율과의 관계. 전방 진폭 f(0)f(0) 를 주파수의 복소함수로 보면 상반평면에서 해석적이고, 크라메르스-크로니히 관계Ref\mathrm{Re}\,fImf\mathrm{Im}\,f 를 묶는다. 여기에 광학 정리를 얹으면 총 단면적 스펙트럼의 적분과 정적 극한 편극률을 잇는 합 규칙이 나온다. 광대역 흡수체 설계의 이론적 상한(로자노프 한계 계열)이 이 계보에서 나온다.
  • 보른 근사는 광학 정리를 어긴다. 1차 보른 진폭은 (실수 퍼텐셜이면) 실수라서 Imf(0)=0\mathrm{Im}\,f(0)=0, 즉 소멸이 0으로 나온다. 그런데 f2\int|f|^2 은 0이 아니다. 이 모순은 2차 항까지 가야 해소된다. 근사법이 보존 법칙을 어떻게 깨는지 보여주는 교과서적 사례이며, 산란 근사를 새로 만들 때 **“광학 정리를 자기무모순으로 만족하는가”**가 첫 번째 체크리스트가 되는 이유다.3
  • 소멸 역설과의 궁합. x1x \gg 1 에서 Qext2Q_{ext}\to 2 인 것도 광학 정리로 설명된다. 물체가 커질수록 전방 회절 로브가 좁고 강해져 Imf(0)\mathrm{Im}\,f(0) 이 기하 단면적의 두 배에 해당하는 값으로 자란다. 검출기 시야각이 그 회절 몫을 같이 받으면 실측이 이론의 절반으로 나오는데, 이건 정리가 틀린 게 아니라 잰 양이 다른 것이다.

응용 쪽에서는 복사 전달 방정식에 넣을 소멸 계수와 단일산란 알베도가 전부 이 정리를 거쳐 만들어지고, 레이더 단면적 측정에서도 전방 산란 측정을 통한 총 단면적 추정에 쓰인다. 진폭을 방향별로 다 재는 것보다 전방 하나를 정밀하게 재는 편이 싸기 때문이다.

7. 관련 문서[편집]

8. Footnotes[편집]

  1. 이 “한 방향만 보면 된다”는 성질이 처음 배울 때 가장 안 믿기는 부분이다. 비유하자면 극장 뒷문으로 빠져나간 관객 수를 세지 않고, 스크린 앞자리 조명이 얼마나 어두워졌는지만 보고 총 퇴장 인원을 알아맞히는 셈. 물론 그게 되는 이유는 파동이 간섭하기 때문이지 관객이 간섭하기 때문은 아니다.

  2. 정상위상 논증은 RR\to\infty 극한을 전제하므로, 유한한 계산 영역에서 이 정리를 확인할 때는 원거리장 조건(kR(ka)2kR \gg (ka)^2)을 실제로 만족했는지부터 봐야 한다. 격자 끝에서 재고서 “광학 정리가 안 맞는다”고 하는 사례의 대부분이 여기다.

  3. 이름의 유래도 조금 복잡하다. 광학에서는 19세기 후반 레일리까지 거슬러 올라가고, 양자 산란에서는 피엔베르크(1932)와 보어-파이얼스-플라첵(1939)을 통해 정식화되었다. 뉴턴이 1976년 Am. J. Phys. 에 쓴 “Optical theorem and beyond”가 이 계보를 정리한 표준 참고문헌이다.