2024년 7월 8일 월요일

포스터의 리액턴스 정리(Foster's Reactance Theorem)

[경고] 아래 글을 읽지 않고 "포스터의 리액턴스 정리"를 보면 바보로 느껴질 수 있습니다.

[확인] 본 페이지는 exp(jωt) 시간 약속을 사용하고 있습니다.


[그림 1] 주파수에 대해 리액턴스가 증가하는 모습(출처: wikipedia.org)

교류 회로(alternating current or AC circuit)에 나오는 임피던스(impedance)의 주파수 응답(frequency response)을 꼼꼼하게 관찰하면 쉽게 이해할 수 있는 단순한 정리로 포스터의 리액턴스 정리(Foster's reactance theorem)가 있다. 매우 간단한 정리이지만, 이 정리의 내면에는 필터(filter) 설계를 위한 거대한 방법론이 자리한다.

[포스터의 리액턴스 정리] [1]
무손실 임미턴스(immitance)의 허수부는 주파수에 대해 항상 단조 증가한다.

                          (1)

여기서 $X, B$는 각각 리액턴스(reactance)와 서셉턴스(susceptance)이다.

[증명: 회로 이론]
임미턴스는 임피던스와 어드미턴스(admittance)를 모두 포함하는 용어이므로, 먼저 임피던스 $Z$의 허수부인 리액턴스(reactance) $X$의 주파수 특성을 관찰한다. 회로 내부에 인덕터나 커패시터가 하나만 있으면, $X$ = $j \omega L$ 혹은 $-j \mathbin{/} (\omega C)$로 표현되어서 $dX/d\omega$는 단조 증가한다. 이 리액턴스가 직렬(series)로 연결된 경우는 $jX_s$ = $jX_1 + jX_2$가 되며 두 단조 증가 함수를 합친 함수도 단조 증가한다. 그래서 직렬 회로는 항상 주파수에 대해 리액턴스가 계속 커진다. 병렬(parallel) 회로 $X_p$는 약간 복잡해서 $\omega$에 대한 미분으로 증명한다.

                  (1)

여기서 $dX_1 / d\omega > 0$, $dX_2 / d\omega > 0$이다. 또한 손실 없는 모든 종류의 전기 회로망(electrical network)은 $L$과 $C$의 직렬이나 병렬 결합이다. 따라서 직렬이든 병렬이든 리액턴스만으로 구성한 회로망의 전체 리액턴스는 주파수에 따라 항상 증가한다.
임피턴스 결과를 이용해서 어드미턴스에 대한 증명도 완성한다. 어드미턴스 $Y$의 허수부인 서셉턴스(susceptance) $B$는 $Y$ = $jB$ = $1 \mathbin{/} ( jX)$ = $-j/X$이다. 리액턴스 $X$는 항상 커지므로, $X$의 역수를 취하고 부호를 바꾼 $B$도 주파수에 대해 단조 증가한다.

[증명: 맥스웰 방정식] [2]
각주파수 $\omega$로 미분한 맥스웰 방정식은 아래와 같다.

                  (2)

여기서 $\bar E, \bar H$의 시간 약속은 $e^{j \omega t}$이다. 포인팅의 정리(Poynting's theorem)와 비슷한 방식으로 식 (2)에 $\bar E, \bar H$를 곱해서 발산(divergence)을 적용한다.

                  (3a)

식 (3a)를 체적 $v$에 대해 적분해서 새로운 전자기장의 에너지 관계를 만든다. 

                  (3b)

여기서 $d \bar a$는 $v$를 뚫고 외부로 나가는 방향으로 계산한다. 로렌츠 진동자 모형(Lorentz oscillator model)을 유전체와 자성체에 적용하면, 식 (3b)의 우변은 각각 전기장과 자기장의 에너지 $W_e, W_m$을 4배한 값이 된다.[∵ $1/2$는 에너지 정의, $1/2$는 평균 전력에서 나온다.] 전기장과 자기장을 전압파와 전류파(voltage and current waves)로 연결하기 위해, 접선 전기장(tangential electric field) $\bar E_t$를 전압파 $V_0 e^{-j \beta z}$로 공식화한다.

                  (4a)

여기서 전력 전달은 $z$방향, $\beta$는 위상 상수(phase constant), $\bar e(x, y)$는 편파(polarization)를 나타내는 실수 벡터이다. 식 (4a)를 맥스웰 방정식에 대입함으로써 접선 자기장(tangential magnetic field) $\bar H_t$도 얻는다.

                  (4b)

여기서 $Z_0$ = $V_0 / I_0$, $\bar e$ = $\bar h \times \hat z$이다. 반사가 없는 전송선 내부에서 평균 전력(average power) $P_\text{av}$는 일정하므로, 편파 벡터 $\bar e(x, y)$의 조건이 정해진다.

                  (4c)

여기서 $\bar e, \bar h$의 단위는 모드 1/m이다. 식 (4)를 식 (3b)의 좌변에 넣어서 전압파와 전류파의 주파수 변화 특성을 생성한다.

                  (5a)

여기서 식 (4b) 조건으로 인해 $\partial \bar e / \partial \omega \times \bar h$ = $\bar e \times \partial \bar h / \partial \omega$ = $\hat z (\bar e \cdot \partial \bar e / \partial \omega)$이다. 리액턴스 $X$만 있다는 가정인 $V_0$ = $j X I_0$을 식 (5a)에 넣어 정리한다.

                  (5b)

여기서 $z < 0$ 영역에서 입사하는 전자파가 $z$ = $0$인 표면에 들어간다고 생각해 $d \bar a$ = $-da \hat z$로 바꾼다.
______________________________

포스터의 리액턴스 정리는 필터 설계의 기본 원리를 제공한다. 리액턴스로 만든 무손실 필터(lossless filter)는 인덕터나 커패시터의 조합이므로, 임피던스 $Z(\omega)$는 분자와 분모가 다항식인 유리 함수 $P(\omega) / Q(\omega)$로 표현된다. 여기서 필터 설계법은 필터 규격으로 고차 다항식 $P(\omega), Q(\omega)$를 유일하게 결정하는 수학적 절차이다. [그림 1]처럼 포스터의 리액턴스 정리에 따라 $X$는 계속 커지고 있어서, 주파수 응답에는 영점(zero)과 극점(pole)이 반드시 존재한다. 따라서 필연적으로 존재하는 $Z(\omega)$의 영점과 극점 위치를 필터 규격으로 맞춤으로써, 필터에 항상 원하는 주파수 응답을 만들 수 있다.

[그림 2] 연산 증폭기의 반전 모드(출처: wikipedia.org)

포스터의 리액턴스 정리가 성립하지 않는 회로는 비포스터 회로망(non-Foster network)이라 부른다. 기존 전기 회로에 비포스터 회로를 추가하면 통상적인 커패시터나 인덕터 효과를 없앨 수 있어서 광대역 특성 설계에 유용하게 사용된다[3]. 비포스터 회로는 유전체나 자성체의 공진(resonance)으로 만들 수 있지만, 공진 주파수가 너무 높고 매질 특성이 들어가서 원하는 성질을 구성하기 어렵다. 그래서 비포스터 회로는 주로 증폭기(amplifier)로 설계한다. 예시적으로 [그림 2]는 저주파에 쓰는 연산 증폭기(operational amplifier, op-amp: 예전 아날로그 컴퓨터(analog computer)를 제작할 때 쓴 방식이라 연산이란 이름이 붙음)의 반전 모드(inverting mode: 입력을 넣으면 출력의 극성이 바뀜)를 이용해 부성 저항이나 임피던스(negative resistance or impedance)를 생성하는 방법을 보여준다. 물론 연산 증폭기 대신 임의 종류의 차동 증폭기(differential amplifier)를 써도 같은 결과가 얻어진다. 연산 증폭기 해석은 가상 접지(virtual ground: 실제 접지는 아니지만 접지와 같은 전압)부터 출발한다. 연산 증폭기는 개회로(開回路, open-loop) 이득 $A_\text{OL}$이 매우 커서 입력 전압 $V_-$는 다른 입력 $V_+$를 그대로 따라간다. [그림 2]에서 $V_+$ = $0$이므로, $V_-$는 가상 접지처럼 0V로 가정한다. 다만 통상적인 접지와 다르게 증폭기의 입력부라서 증폭기로 들어가는 전류는 거의 0이다. 그러면 $V_\text{in}$이 만든 입력 전류 $I_\text{in}$ = $V_\text{in} / R_\text{in}$은 증폭기로 들어가지 않고 모두 피드백 혹은 되먹임 저항(feedback resistor) $R_f$를 거쳐 출력부로 나간다. 결국 출력 전압 $V_\text{out}$은 입력과 피드백 저항의 비율로만 결정된다.

                          (1)

여기서 $V_\text{out}$을 걸어도 전류는 저항에 들어가지 않고 $V_\text{out}$ 쪽으로 나와서 ($-$)를 붙인다.[다른 말로 옴의 법칙에서 전압의 극성과 전류의 방향이 반대이다.] 전압 $V_\text{out}$과 입력 전류 $I_\text{in}$을 기준으로 옴의 법칙(Ohm's law)을 적용하면, 부성 저항 $-R_f$가 정확히 만들어진다. 교류 회로에서는 저항 대신 인덕터와 커패시터를 $R_f$ 위치에 쓸 수 있기 때문에, [그림 2]의 회로로 부성 인덕터(negative inductor)부성 커패시터(negative capacitor)를 쉽게 구성할 수 있다. 부성 인덕터와 커패시터로 짜맞춘 회로망은 주파수가 증가할 때 임미턴스의 허수부는 단조 감소해서 비포스터 회로망이 된다. 이를 이용하면 우리가 설계한 회로의 대역폭을 많이 개선할 수 있다. 예를 들어, 회로의 입력 임피던스가 $Z_\text{in}$ = $R_\text{in} + jX_\text{in}$로 측정되면, $-X_\text{in}$ 특성을 가진 비포스터 회로를 부착한다. 그러면 주파수에 따라 커지는 $X_\text{in}$을 넓은 대역에서 $-X_\text{in}$으로 상쇄시킬 수 있다. 대신 증폭기를 쓰고 있어서 회로의 외부에서 지속적인 전력 공급이 있어야 한다.

[참고문헌]
[1] R. M. Foster, "A reactance theorem," Bell Syst. Tech. J., vol. 3, no. 2, pp. 259–267, Nov. 1924.
[2] D. M. Pozar, Microwave Engineering, 4th ed., Hoboken, NJ, USA: John Wiley & Sons, 2012.
[3] 이용혁, 정재영, "소형 안테나의 광대역 정합 및 수신전력 개선을 위한 비-포스터 회로 설계", 한국전자파학회논문지, 제30권, 제7호, pp. 533–541, 2019년 5월.

[다음 읽을거리]

2024년 7월 1일 월요일

로렌츠 진동자 모형(Lorentz Oscillator Model)

[경고] 아래 글을 읽지 않고 "로렌츠 진동자 모형"을 보면 바보로 느껴질 수 있습니다.

[확인] 본 페이지는 exp(-iωt)와 exp(jωt) 시간 약속을 둘 다 사용하고 있습니다.


[그림 1] 로렌츠 진동자 모형으로 근사화한 복소 유전율(출처: wikipedia.org)

원자(atom)의 내부 구조를 모르던 시절에 나온 로렌츠 진동자 모형(Lorentz oscillator model)은 전자(electron)와 양성자(proton) 간의 전기력만 이용한 이론화인데도 유전율(permittivity) $\epsilon$의 주파수 변동성을 잘 설명한다[1]. 로렌츠 진동자 모형은 전기력, 훅의 법칙(Hooke's law), 견인 계수(drag coefficient) $\gamma$가 전자에 함께 작용한다고 생각해서 뉴턴의 운동 법칙(Newton's law of motion)을 적용한다.

                  (1)

여기서 $\bar r$은 양성자를 원점으로 정한 전자의 위치, $\bar E$는 전기장(electric field), $m_e$와 $e$는 각각 전자의 질량과 전하량, $k$는 스프링 상수(spring constant); 견인 계수 $\gamma$는 손실(loss)을 설명하며 전자의 평균 자유 시간(mean free time) $\tau$에 대한 역수인 $\gamma$ = $1/\tau$이다. 견인 계수 기호로 $\gamma$ 대신 대문자인 $\Gamma$를 쓰는 경우도 있다.
전자가 만드는 분극 밀도(polarization density)를 $\bar P$ = $-n_e e \bar r$로 두고 식 (1)을 변형한다.

                  (2)

여기서 $n_e$는 단위 부피당 존재하는 전자 개수인 전자 농도(electron concentration)이다. 드루데 모형(Drude model)으로 유도한 전기 전도도 $\sigma$를 써서 식 (2)를 간단히 표현한다.

                  (3)

여기서 $\sigma$ = $n_e e^2 \mathbin{/} (\gamma m_e)$, 진동자(oscillator)의 공진 각주파수(resonant angular frequency)는 $\omega_0$ = $\sqrt{ k / m_e}$이다.


   1. exp(-iωt) 시간 약속   

전기장과 전자의 위치는 주기성이 있다고 가정해 페이저(phasor) 기반으로 $\bar E$ = $\bar {\bf E}(\omega) e^{-i \omega t}$, $\bar r$ = $\bar {\bf r}(\omega) e^{-i \omega t}$로 둘 수 있다. 이를 식 (1)에 대입해서 $\bar {\bf r}(\omega)$를 구한다.

                          (1.1)

외부 전기장에 의해 양성자에서 멀어진 전자는 전기 쌍극자 모멘트(electric dipole moment) $\bar {\bf p}(\omega)$를 형성한다.

                          (1.2)

체적 $V$에 존재하는 $N$개의 전기 쌍극자 모멘트는 모두 같은 방향을 향한다고 간략화함으로써 분극 밀도 $\bar {\bf P}(\omega)$를 쉽게 얻는다.

                          (1.3)

여기서 $n_e$ = $N/V$는 전자 농도(electron concentration), 플라즈마 각주파수(plasma angular frequency)는 $\omega_p$ = $\sqrt{n_e e^2 \mathbin{/} (m_e \epsilon_0)}$, $\chi_e (\omega)$는 전기 감수율(electric susceptibility)이다. 전기장이 생성하는 물질 내부의 분극 밀도를 알기 때문에, 구성 관계식(constitutional relation)을 써서 주파수에 따라 변하는 복소 유전율(complex permittivity) $\epsilon(\omega)$를 공식화한다.

                          (1.4)

여기서 $\chi_e(\omega)$ = $\chi_e'(\omega) + i \chi_e''(\omega)$이다. 공진 주파수 $f_0$ = $\omega_0 \mathbin{/} (2 \pi)$는 수십 THz 이상으로 매우 높고 다수의 공진이 생길 수 있기 때문에, 실제 측정 결과를 보정하는 공식은 식 (1.4)를 더 일반화해서 사용한다.

                          (1.5)

여기서 $\epsilon_\infty$는 무한대에서 측정한 유전 상수[이론적으로는 1이지만 실험에서는 1이상 나옴], $f_j$는 $j$번 공진의 가중치, $N_r$은 공진 개수이다. 식 (1.5)에서 $s_j$ = $\omega_p^2 f_j$, $\Gamma_j$ = $\gamma_j$로 쓰기도 한다.
복소 유전율 대신 광학 전도도(optical conductivity)에 로렌츠 진동자 모형을 쓰기도 한다. 광학 전도도는 전기 전도도(electrical conductivity)를 광학 영역으로 일반화한 지표이다. 복소 유전율에서 정의한 손실 탄젠트(loss tangent)를 전기 전도도 형태로 바꾸어서 광학 전도도 $\sigma(\omega)$를 정의한다. 그래서 광학 전도도는 광학 영역에서 물질에 흡수되는 양과 관련된다.

                          (1.6)

여기서 주파수가 매우 커지면 광학 전도도는 0에 수렴한다.[∵ $\epsilon(\omega)$는 $1/\omega^2$ 비율로 작아진다.]


   2. exp(jωt) 시간 약속   

[그림 2.1] RLC 직렬 공진 회로(출처: wikipedia.org)

독특하게 생긴 로렌츠 진동자 모형을 [그림 2.1]에 보인 전기 회로의 RLC 직렬 공진 회로(series resonant circuit)로 등가화해 상상할 수 있다[2]. 분극 전류 밀도(polarization current density) $\bar J_p$ = $d \bar P / dt$를 식 (3)에 대입한다.

                  (2.1)

식 (2.1)에 $e^{j \omega t}$ 시간 약속을 가진 페이저를 적용한다.

                  (2.2)

여기서 $LC$ = $1/\omega_0^2$이다. 식 (2.2)는 기존 운동 방정식인 식 (1)을 RLC 직렬 공진 회로로 단순히 바꾼다는 측면이 있지만, 당연히 RLC가 가진 물리적 성질에 기반을 두고 있다. 먼저 인덕턴스(inductance) $L$은 전류의 관성과 관계되므로, 전자의 관성 질량(inertial mass)인 $m_e$는 $L$과 연결된다. 역수 $1/C$는 일래스턴스(elastance)이므로 스프링의 탄성 비율에 해당한다. 식 (2.2)에 임피던스(impedance) $\bf Z$를 정의해서, RLC 직렬 공진 회로의 $\bar {\bf J}_p (\omega)$를 구한다.

                  (2.3)

다음 단계로 분극 전류 밀도를 분극 밀도와 전기장으로 바꾸어서 전기 감수율 $\chi_e(\omega)$를 얻는다.

                          (2.4)

이때 로렌츠 진동자 모형에 저장되는 에너지 밀도는 $L, C$에 대해 $u_m, u_e$로 각각 정의한다. 여기서 $u_m$은 관성 질량 $m_e$에 의한 운동 에너지(kinetic energy) 밀도, $u_e$는 스프링 $k$와 관계된 위치 에너지(potential energy) 밀도이다.

                  (2.5)

여기서 $u_t$는 전체 에너지 밀도이며 0보다 크거나 같다. 시스템에 저장된 에너지 밀도인 식 (2.5)의 마지막식을 보면, 리액턴스의 주파수 변화율은 항상 0보다 커야 한다. 이 결과는 잘 알려진 포스터의 리액턴스 정리(Foster's reactance theorem)로도 예측 가능하다. 최종적으로 식 (2.5)의 $u$를 가지고 로렌츠 진동자 모형에 저장된 전기장의 에너지(energy of electric field) $W_e$를 공식화한다.

                  (2.6)

회로량 $R, X$를 포함한 식 (2.6)을 매질 특성인 유전율의 관계식으로 변형하기 위해 $\chi_e'$의 미분을 고려한다.

                  (2.7)

저손실(low loss) 혹은 공진(resonance)을 벗어난 조건, $R \ll |X|$에서 항 $R/X$를 무시한 식 (2.7)을 식 (2.6)에 대입한다[2].

                          (2.8a)

여기서 $\epsilon'$ = $\epsilon_0 (1 + \chi_e')$이다. 저항 $R$ = $0$인 때, 식 (2.8a)는 근사식이 아닌 등식이 된다. 어떤 크기의 체적 $v$를 선택하든지 저장된 에너지 $W_e$는 0보다 커야 하므로,[∵ 식 (2.6)에서 $dX/d\omega > 0$] 저손실 혹은 비공진(nonresonance) 가정에서 유전율 실수부의 주파수 특성은 다음 부등식을 따른다.

                          (2.8b)

하지만 직렬 공진(series resonance)에 가까운 대역에서 $X \approx 0$이 발생하기 때문에, 공진 주파수의 근방에서 식 (2.7)의 매질 기울기 $d (\omega \chi_e') \mathbin{/} d\omega$는 0보다 작아진다. 물론 공진 주파수를 벗어난 지점에서는 식 (2.8b)가 잘 성립한다.


[참고문헌]
[1] T. Hirosige, "Origins of Lorentz' theory of electrons and the concept of the electromagnetic field," Hist. Stud. Phys. Sci., vol. 1, pp. 151–209, Jan. 1969.
[2] R. E. Collin, Foundations for Microwave Engineering, 2nd ed., New York, NY, USA: Wiley-IEEE Press, 2001, pp. 33–39.

2024년 6월 25일 화요일

위너–킨친 정리(Wiener–Khinchin Theorem)

[경고] 아래 글을 읽지 않고 "위너–킨친 정리"를 보면 바보로 느껴질 수 있습니다.


[그림 1] 스펙트럼 분석기(spectrum analyzer)에 나타난 잡음 모습(출처: wikipedia.org)

열 잡음(thermal noise)처럼 시간에 따라 무작위(randomness)로 나오는 물리 현상을 분석하는 도구로 매우 유명한 확률 과정(random process) 혹은 추계 과정(stochastic process)이 있다. 확률 과정은 확률을 측정하는 확률 실험(random experiment)에 의해 도출되는 확률 변수(random variable)를 나열해서 구성한다. 나열되는 순서는 보통 시간을 따르기 때문에, [그림 1]처럼 시간에 따라 무작위로 변하는 확률 변수[그림 1에서 전력 분포]의 모임을 확률 과정이라 한다. 시간 대신 다른 매개변수[예를 들어 시행 순서, 저장 위치 등]의 차례를 가정하더라도, 이 순서의 변화는 확률 과정에 속한다. 전기 회로에 자주 나오는 잡음 전압(noise voltage)을 예로 보면, 오랜 시간 관찰한 잡음 전압은 평균(mean)이 거의 0 V이고, 표준 편차(standard deviation)는 온도에 따라 비례적으로 커지는 확률 과정이다.

[그림 2] 시간에 따른 입자의 위치 변동(출처: wikipedia.org)

물위에 떠있는 꽃가루의 움직임 같은 브라운 운동(Brownian motion)은 확률 과정의 또 다른 예가 된다. [그림 2]처럼 입자는 시간에 따라 무작위로 이동하지만, 이동 평균(moving average)은 대충 $x$ = $0$에 가깝고, 분산(variance)에 해당하는 이동 위치의 제곱은 0이 아닌 값을 가진다. 따라서 [그림 2]와 같은 브라운 운동은 확률 실험의 결과물인 표본 $s$에서 확률 변수 $X_{t, s}$ 혹은 $X(t, s)$를 시간 $t$ = $t_i$ 순서로 나열하는 확률 과정 $\{X_{t, s}\}$ 혹은 $\{X(t, s)\}$로 설명할 수 있다. 확률 실험의 표본이 하나라면 굳이 $\{X_{t, s}\}$로 표기하는 대신 간략화한 $\{X_{t}\}$ 혹은 $\{X(t)\}$를 사용한다. 시간마다 확률 변수를 완전히 바꾸면 이론화가 너무 어려워져서, 시간에 따라 $X_t$는 계속 바뀌지만 확률 분포(probability distribution)는 모든 시간에서 하나의 확률 변수 $X$의 함수로 생성된다고 가정한다. 이 경우를 확률 과정의 정상성(定常性, stationarity) 혹은 정상 확률 과정(stationary random process)으로 부른다.
정상성을 관찰하는 시간 범위를 축소해서, 안정 상태(steady state)처럼 $t$ = $0$에서 $\tau$까지 관찰한 결과가 이후 시간에도 특점 시점 $t_1, t_2$에 관계없이 계속 반복된다는 병진 대칭(translational symmetry)을 가진 정상성도 정의한다. 즉, 확률 과정은 $t_1, t_2$가 아닌 $\tau$ = $t_2 - t_1$의 병진 대칭성을 가진다. 이는 기존 정상성의 범위를 넓히거나 약화시킨 추상화라서 광의 정상성(wide-sense stationarity, WSS) 혹은 약의 정상성(weak-sense stationarity)으로 명한다. 시점을 2개가 아닌 임의 $n$개로 넓혀도 병진 대칭성이 있다는 정상성은 엄격 정상성(strict stationarity) 혹은 강한 정상성(strong stationarity)으로 구분한다. 광의 정상성은 킨친Aleksandr Khinchin(1894–1959)이 제안한 중요한 확률 개념이다. 이외에도 킨친은 확률 변수를 써서 확률 과정의 수학적 정의도 내렸다.
확률 지식에 기반해서 엄격 정상성과 광의 정상성을 각각 정의한다.

                          (1a: 광의 정상성, $\tau$ = $t_2 - t_1$)

                          (1b: 엄격 정상성)

여기서 $\operatorname{Cov}(X, Y)$는 공분산(covariance), 평균 $\mu_X$와 분산 $\operatorname{Var}[X]$ = $\sigma_X^2$은 유한; $F_X(\cdot)$는 $\{X_t\}$의 결합 확률 분포(joint probability distribution)로 만든 누적 분포 함수(cumulative distribution function)이다. 이름 그대로 $n$개 시점의 결합 확률 분포에 대해 병진 대칭성을 보장하는 엄격 정상성은 평균과 공분산 조건만 가진 광의 정상성보다 확률 기준으로 더 엄격하고 강력하다.
공분산 대신 신호 처리에 많이 쓰는 자기 상관(autocorrelation) 함수로 식 (1a)를 대신할 수 있다. 먼저 시간 평균(time average)을 이용해 확률 변수 $X$에 대한 자기 상관 함수 $\rho_{XX}(t_1, t_2)$와 자기 공분산(auto-covariance) 함수 $K_{XX}(t_1, t_2)$를 정의한다.

                          (2: 시간 평균)

                          (3a: 엄격 정상성)

여기서 $\langle X \rangle$는 $X$의 시간 평균이다. 시간 평균은 각 시간에 확률 변수가 발생하는 확률이 동일하다고 가정하고 계산한 평균이다. 광의 정상성에서는 시간차 $\tau$ = $t_2 - t_1$로 자기 상관과 공분산을 쓸 수 있어서 식 (3a)가 간략화된다.

                          (3b: 광의 정상성)

여기서 $K_{XX}(0)$ = $\sigma_X^2$이다. 따라서 광의 정상성에서는 시점에 무관하게 공분산이 같다는 조건이나 간편한 자기 상관 함수 $\rho_{XX}(\tau)$를 쓸 수 있다.
확률 과정 $x(t)$를 위해 정의한 자기 상관 함수 $\rho_{XX}(\tau)$와 광의 정상성 개념을 합쳐서, 간단하지만 심오한 정리인 위너–킨친 정리(Wiener–Khinchin theorem)를 만든다[1]. 증명에 앞서 관측 시간 $T$에서만 적분해서 만드는 절단된 푸리에 변환(truncated Fourier transform)을 정의한다.

                        (4a)

이 푸리에 변환의 크기 $|F_T(\omega)|$를 제곱하고 $T$로 나누어서 전력 스펙트럼 밀도(power spectral density) $S(\omega)$를 계산한다.

                       (4b)

여기서 $|F_T(\omega)|^2$은 에너지 스펙트럼 밀도(energy spectral density)이다. 이상을 종합해서 위너–킨친 정리를 유도한다.

[위너–킨친 정리] [1]

                       (5a)

                       (5b)

여기서 $X_T(\omega)$는 확률 과정 $x(t)$의 절단된 푸리에 변환이다.

[증명]
확률 과정 $x(t)$의 절단된 푸리에 변환 $X_T(\omega)$는 새로운 확률 변수가 된다.

                       (6a)

식 (6a)를 에너지 스펙트럼 밀도로 만들어서 시간 평균을 적용한다.

                       (6b)

식 (6b)에 나온 마지막식에 병진 대칭성에 대한 이중 적분식을 응용해서 단일 적분으로 바꾼다.

                       (6c)

여기서 $u$ = $t + \tau$이다. 시간 구간 $T$를 무한대로 보내면, 피적분 함수에 있는 $|\tau|/T$는 0으로 수렴하기 때문에 식 (5a)가 얻어진다. 식 (5b)는 식 (5a)의 푸리에 역변환(inverse Fourier transform)이다.
______________________________

식 (5b)에 $\tau$ = $0$을 대입하면, 위너–킨친 정리 방식의 파르세발의 정리(Parseval's theorem)가 얻어진다.
위너–킨친 정리를 이용해서 확률 과정인 잡음 전압(noise voltage) $v(t)$의 특성을 분석할 수 있다. 잡음이 생기는 전기 회로에 대한 확률 실험에서 적당한 표본을 선택해 시간 $T$ 동안 수집한 $v(t)$는 다음과 같다.

                       (7a)

여기서 $\omega_m$ = $2 \pi m \mathbin{/} T$; 진폭 $a_m, b_m$은 광의 정상성을 만족하며 실수인 확률 변수, $v(t)$는 푸리에 급수(Fourier series)로 공식화, 잡음 $v(t)$의 시간 평균값은 0이다. 식 (7a)로 구성한 자기 상관 함수는 다음과 같다.

                  (7b)

위너–킨친 정리에 따라 식 (7b)를 푸리에 변환함[식 (5a)의 결과]으로써 잡음 전압이 가진 전력 스펙트럼 밀도 $S(\omega)$를 계산한다. 이 밀도를 식 (5b)처럼 적분해서 잡음 전력(noise power) $P_\text{tot}$를 얻는다.

                       (7c)

다만 $P_\text{tot}$는 한 번의 확률 실험에서 구한 값이므로, 다른 실험을 무한히 반복해서 얻은 잡음 전력의 기대값(expectation) $E[P_\text{tot}]$를 최종적으로 계산한다.

                       (8a: 앙상블 평균)

                       (8b)

여기서 $s_i$는 확률 실험의 $i$번째 표본, 광의 정상성으로 인해 $a_m, b_m$이 따르는 분산은 $\sigma_m^2$으로 동일하다.[∵ 사인과 코사인 함수는 위상 지연만 차이나므로, 광의 정상성이라서 시간에 대한 병진 대칭성이 있는 $a_m, b_m$의 확률적 특성은 같다.]

[그림 3] 여러 악기로 구성하여 연주하는 모임인 앙상블(출처: wikipedia.org)

식 (8a)는 시간을 붙박이로 놓고 표본의 평균을 구한 기대값이며 앙상블 평균(ensemble average)으로 부른다. 앙상블 혹은 총체(總體, ensemble)는 확률 실험으로 나올 수 있는 모든 결과물의 모임이다. 표본을 고정한 식 (2)의 시간 평균과 시간을 고정한 식 (8a)의 앙상블 평균이 같은 경우는 에르고드 성질(ergodicity)이라 이름 붙인다. 에르고드는 통계 역학(statistical mechanics)을 발명한 볼츠만Ludwig Boltzmann(1844–1906)이 고대 그리스어 에르곤(일, 물체, ἔργον, work, thing)오도스(경로, ὁδός, path)를 합쳐서 만든 용어이다. 어원적으로 보면 에르고드는 사물이 지나는 길인 물체 경로를 의미한다. 에르곤에는 협회(guild)란 의미도 있어서, 에로고드를 물체 집단이 움직이는 전체 경로로 개념을 확장해 집단 경로로 의역해도 된다. 에르고드 성질을 가진 체계인 에르고드 시스템(ergodic system)에서는 시간적으로 오랫동안 특성을 관찰할 필요 없이, 정상 확률 과정 하나를 선택해서 평균과 같은 통계적 처리로 시간적 변화를 추계해도 된다.

[참고문헌]
[1] C. Jayaprakash, "Wiener-Khinchin theorem," Ohio State University, OH, USA. (방문일 2024-06-24)