6장. 해부: 물리 실험의 공명 곡선 맞춤

논문 읽기 · 2부. 논문 한 쪽 해부

고급 · 약 15분 · 연습문제 5

요약

실험 물리 논문의 전형적인 한 쪽을 한 줄씩: 감쇠 진동자에서 로렌츠 선 모양 유도, 선폭과 Q 인자, 카이제곱 맞춤과 최대우도, 축약 카이제곱, 매개변수의 불확도와 공분산, 결과 보고 형식

실험 물리와 공학 논문에는 거의 똑같은 모양의 한 쪽이 반복해서 나옵니다. “측정한 스펙트럼을 로렌츠 함수로 맞추었고, 공명 진동수는 ω0/2π=5.0213(4)\omega_0/2\pi = 5.0213(4) GHz, 선폭은 …, Q 인자는 …, 축약 카이제곱은 1.08이다.” 이 장에서는 이 한 쪽에 담긴 수학을 해부합니다. 선 모양은 미분방정식 4장의 강제 진동에서, 맞춤은 확률과 통계 7장의 최대우도에서, 불확도는 8장의 신뢰구간에서 옵니다.

6.1 선 모양: 로렌츠 함수

감쇠 진동자 x¨+γx˙+ω02x=(F0/m)cos⁡ωt\ddot x + \gamma\dot x + \omega_0^2x = (F_0/m)\cos\omega t의 정상 상태 진폭은(미분방정식 4장, c/m=γc/m = \gamma)

∣X(ω)∣2=(F0/m)2(ω02−ω2)2+γ2ω2.|X(\omega)|^2 = \frac{(F_0/m)^2}{(\omega_0^2 - \omega^2)^2 + \gamma^2\omega^2}.

공명 근처(ω≈ω0\omega \approx \omega_0, γ≪ω0\gamma \ll \omega_0)에서 ω02−ω2=(ω0−ω)(ω0+ω)≈2ω0(ω0−ω)\omega_0^2 - \omega^2 = (\omega_0 - \omega)(\omega_0 + \omega) \approx 2\omega_0(\omega_0 - \omega), γω≈γω0\gamma\omega \approx \gamma\omega_0로 근사하면

∣X∣2≈(F0/m)24ω02⋅1(ω−ω0)2+(γ/2)2.|X|^2 \approx \frac{(F_0/m)^2}{4\omega_0^2}\cdot\frac{1}{(\omega - \omega_0)^2 + (\gamma/2)^2}.

정의 6.1. L(ω)=A(ω−ω0)2+(Γ/2)2+BL(\omega) = \dfrac{A}{(\omega - \omega_0)^2 + (\Gamma/2)^2} + B 꼴을 로렌츠 선 모양(Lorentzian lineshape)이라 합니다. ω0\omega_0는 중심, Γ\Gamma는 반치전폭(full width at half maximum, FWHM), BB는 배경입니다.

질문 4 (특수한 경우). ω=ω0±Γ/2\omega = \omega_0 \pm \Gamma/2에서 분모가 정점의 두 배가 되어 높이가 절반입니다. 그래서 Γ\Gamma가 “절반 높이에서의 전체 폭”입니다. 진동자에서 Γ=γ\Gamma = \gamma(에너지 감쇠율)입니다.

정리 6.2. Q 인자는 Q=ω0/ΓQ = \omega_0/\Gamma입니다(미분방정식 4장의 Q=mk/c=ω0/γQ = \sqrt{mk}/c = \omega_0/\gamma와 같음).

예제 6.3. 중심 5.000 GHz, 반치전폭 2.5 MHz이면 Q=5000/2.5=2000Q = 5000/2.5 = 2000.

로렌츠 함수는 확률과 통계에서 코시 분포이고, 그 푸리에 변환은 e−Γ∣t∣/2e^{-\Gamma|t|/2}(복소해석학 7장 예제 7.7)입니다. 주파수 영역의 로렌츠 선폭 = 시간 영역의 지수 감쇠율: 공명이 좁을수록 오래 울립니다.

6.2 카이제곱 맞춤

측정 (ωi,yi)(\omega_i, y_i), i=1,…,Ni = 1, \dots, N, 각 점의 측정 오차(표준편차) σi\sigma_i가 있고, 모형 f(ω;θ)f(\omega; \boldsymbol\theta)(θ=(A,ω0,Γ,B)\boldsymbol\theta = (A, \omega_0, \Gamma, B))를 맞춥니다.

정의 6.4 (카이제곱).

χ2(θ)=∑i=1N(yi−f(ωi;θ)σi)2.\chi^2(\boldsymbol\theta) = \sum_{i=1}^N\left(\frac{y_i - f(\omega_i; \boldsymbol\theta)}{\sigma_i}\right)^2.

각 잔차를 그 점의 오차로 나눈 뒤 제곱해 더합니다. 오차가 큰 점은 덜 믿습니다(가중 최소제곱).

질문 5 (어디서 왔는가). yi∼N(f(ωi;θ),σi2)y_i \sim \mathcal N(f(\omega_i; \boldsymbol\theta), \sigma_i^2)이고 독립이면 음의 로그 가능도는 12χ2+상수\frac12\chi^2 + \text{상수}입니다. 카이제곱 최소화 = 최대우도(확률과 통계 7장 정리 7.11의 가중판)입니다. 로렌츠 함수는 ω0\omega_0, Γ\Gamma에 대해 비선형이라 닫힌 해가 없어, 레벤버그–마쿼트 방법(최적화 4장의 감쇠된 가우스–뉴턴)으로 풉니다.

6.3 맞춤의 좋음: 축약 카이제곱

정의 6.5. 자유도 ν=N−p\nu = N - p(pp는 매개변수 수)로 나눈 χν2=χmin⁡2/ν\chi^2_\nu = \chi^2_{\min}/\nu를 축약 카이제곱(reduced chi-squared)이라 합니다.

모형이 맞고 오차 σi\sigma_i를 제대로 추정했다면, 각 항은 표준정규의 제곱이라 평균이 약 1이고 χν2≈1\chi^2_\nu \approx 1입니다.

χν2\chi^2_\nu 해석
≈1\approx 1 모형과 오차 추정이 데이터와 맞음
≫1\gg 1 모형이 틀렸거나 오차를 과소평가함
≪1\ll 1 오차를 과대평가했거나 과적합

예제 6.6. N=104N = 104점에 매개변수 4개로 맞춰 χmin⁡2=108\chi^2_{\min} = 108이면 ν=100\nu = 100, χν2=1.08\chi^2_\nu = 1.08. 좋은 맞춤입니다.

6.4 불확도와 공분산

최솟값 근처에서 χ2\chi^2는 이차함수처럼 보입니다(최적화 2장). 곡률이 클수록 매개변수가 잘 정해집니다.

정리 6.7. 매개변수의 공분산 행렬은 근사적으로 C=2[∇2χ2]−1C = 2\left[\nabla^2\chi^2\right]^{-1}이고, 매개변수 θj\theta_j의 표준 불확도는 σθj=Cjj\sigma_{\theta_j} = \sqrt{C_{jj}}입니다.

일차원으로 보면 χ2(θ)≈χmin⁡2+(θ−θ^)2σθ2\chi^2(\theta) \approx \chi^2_{\min} + \frac{(\theta - \hat\theta)^2}{\sigma_\theta^2}, 곧 χ2\chi^2가 최솟값보다 1 커지는 곳까지가 1σ 불확도입니다(이차함수의 계수 12χ2′′=1/σ2\frac12\chi^{2\prime\prime} = 1/\sigma^2).

예제 6.8. 매개변수 하나에 대해 χ2(θ)=50+400(θ−3.2)2\chi^2(\theta) = 50 + 400(\theta - 3.2)^2이면 θ^=3.2\hat\theta = 3.2, σθ2=1/400\sigma_\theta^2 = 1/400, σθ=0.05\sigma_\theta = 0.05. 결과는 θ=3.20±0.05\theta = 3.20 \pm 0.05.

공분산 행렬의 비대각 성분은 매개변수끼리의 상관입니다. 예를 들어 진폭 AA와 폭 Γ\Gamma는 곡선의 넓이를 지키며 함께 움직일 수 있어 상관이 큽니다. 유도한 양(예: Q=ω0/ΓQ = \omega_0/\Gamma)의 불확도는 오차 전파로 구합니다: 독립이면 (σQQ)2≈(σω0ω0)2+(σΓΓ)2\left(\frac{\sigma_Q}{Q}\right)^2 \approx \left(\frac{\sigma_{\omega_0}}{\omega_0}\right)^2 + \left(\frac{\sigma_\Gamma}{\Gamma}\right)^2.

6.5 결과 보고 형식

  • 5.0213(4)5.0213(4) GHz는 5.0213±0.00045.0213 \pm 0.0004 GHz의 줄임말입니다. 괄호 안 숫자는 마지막 자리의 불확도입니다.
  • 불확도는 보통 1σ(약 68% 신뢰구간)입니다. 다른 기준이면 본문에 적습니다.
  • 통계적 불확도(측정 잡음)와 계통 불확도(장비 보정, 모형 근사)를 따로 적기도 합니다: x=1.23±0.02stat±0.05sysx = 1.23 \pm 0.02_{\text{stat}} \pm 0.05_{\text{sys}}.

6.6 이 장의 요약

  • 감쇠 진동자의 공명 근처 = 로렌츠 함수. 반치전폭 Γ=γ\Gamma = \gamma, Q=ω0/ΓQ = \omega_0/\Gamma.
  • χ2\chi^2 최소화 = 정규 오차의 최대우도. 비선형이면 레벤버그–마쿼트.
  • χν2≈1\chi^2_\nu \approx 1이면 좋은 맞춤.
  • χ2\chi^2가 1 늘어나는 곳 = 1σ. 공분산 C=2(∇2χ2)−1C = 2(\nabla^2\chi^2)^{-1}. 오차 전파.

쓰이는 곳. 분광학, 원자·분자 물리, 초전도 큐비트와 광공진기의 특성 측정, MEMS 공진기, 입자물리의 공명 질량 측정(브라이트–위그너 분포는 상대론적 로렌츠 함수), 천문학의 스펙트럼선 분석, 그리고 머신러닝의 스케일링 법칙 맞춤(같은 비선형 최소제곱과 불확도 논의)이 이 장의 방법을 씁니다.

문제

6.1 [계산] · 확인 문제

공명 중심 ω0/2π=8.0\omega_0/2\pi = 8.0 GHz, 반치전폭 Γ/2π=400\Gamma/2\pi = 400 kHz인 공진기의 Q 인자는?

정답
20000
풀이

Q=8×109/(4×105)=20000Q = 8\times10^9/(4\times10^5) = 20000입니다.

6.2 [계산] · 확인 문제

로렌츠 함수 L(ω)=1(ω−10)2+0.25L(\omega) = \dfrac{1}{(\omega - 10)^2 + 0.25}에서 ω=10.5\omega = 10.5일 때의 값은 정점의 몇 배인가요?

정답
0.5
풀이

Γ/2=0.5\Gamma/2 = 0.5이므로 ω=10.5\omega = 10.5는 반치점입니다. 10.25+0.25=2\frac{1}{0.25 + 0.25} = 2, 정점 10.25=4\frac{1}{0.25} = 4이므로 0.50.5배입니다.

6.3 [계산] · 확인 문제

데이터 50점에 매개변수 5개로 맞춰 χmin⁡2=90\chi^2_{\min} = 90을 얻었습니다. 축약 카이제곱은?

정답
2
풀이

ν=45\nu = 45, 90/45=290/45 = 2입니다. 모형이 맞지 않거나 오차를 과소평가했을 가능성이 있습니다.

6.4 [계산] · 확인 문제

χ2(θ)=30+25(θ−1.5)2\chi^2(\theta) = 30 + 25(\theta - 1.5)^2일 때 θ\theta의 1σ 불확도는?

정답
0.2
풀이

1/σ2=251/\sigma^2 = 25이므로 σ=0.2\sigma = 0.2입니다. 실제로 θ=1.7\theta = 1.7에서 χ2=31\chi^2 = 31입니다.

6.5 [증명]

yi∼N(fi(θ),σi2)y_i \sim \mathcal N(f_i(\boldsymbol\theta), \sigma_i^2)가 독립일 때 음의 로그 가능도가 12χ2+(θ와 무관한 상수)\frac12\chi^2 + (\boldsymbol\theta\text{와 무관한 상수})임을 보입니다.

풀이

−ln⁡∏i12πσie−(yi−fi)2/(2σi2)=∑iln⁡(2πσi)+12∑i(yi−fi)2σi2-\ln\prod_i\frac{1}{\sqrt{2\pi}\sigma_i}e^{-(y_i - f_i)^2/(2\sigma_i^2)} = \sum_i\ln(\sqrt{2\pi}\sigma_i) + \frac12\sum_i\frac{(y_i - f_i)^2}{\sigma_i^2}입니다. 첫째 합은 θ\boldsymbol\theta와 무관하고 둘째 합이 12χ2\frac12\chi^2입니다.