전파 인자

양자장론 양자역학과 양자장론에서 **전파 인자**(電波因子, propagator) 또는 **퍼뜨리개**는 입자가 (위치 또는 운동량 기저의) 한 상태에서 다른 상태로 시간 변화를 겪을 확률 진폭이다. 입자의 파동 방정식의 그린 함수다. 양자장론에서는, 상호작용을 고려하면 매우 복잡하므로, 대개 라그랑지언의 자유항만을 고려하여 계산한 것을 지칭한다. 상호작용은 자유 전파 인자를 포함하는 파인먼 도형으로써 나타낸다.
# 정의
파동 방정식 :\hat O\psi(x,t)=0 을 따르는 장 \psi(x,t)를 생각하자. 여기서 \hat O는 x와 t에 대한 미분 연산자다. 이 때, 전파인자 K(x,t;x',t')는 다음을 만족한다. :\hat OK(x,t;x',t')=-\delta(x-x')\delta(t-t'). 즉 파동 방정식 연산자의 그린 함수다. 이는 간혹 유일하지 않을 수 있는데, 이 경우 적절한 경계 조건을 가한다.
## 비상대론적 입자
비상대론적 입자는 슈뢰딩거 방정식을 따른다. 따라서, 그 전파인자는 슈뢰딩거 방정식의 그린 함수이다. 계의 해밀토니안을 H로 쓰면, 입자가 x',t'에서 x,t로 이동할 확률진폭을 나타내는 전파인자 K(x,t; x',t')는 다음을 만족한다. :\left(-iH/\hbar-\frac{\partial}{\partial t} \right) K(x,t;x',t') =-i \hbar\delta(x-x')\delta(t-t'). 따라서, 시간 변화 연산자 :U(t,t')=\exp\left(-i/\hbar\int_t^{t'}H\;dt\right) 에 대하여 다음을 만족한다. :K(x,t;x',t') = \langle x | \hat{U}(t,t') | x'\rangle 즉, 전파인자는 시간 변화에 대한 확률 진폭이다. 초기 상태가 주어지면, 그 시간 변화를 전파 인자로 나타낼 수 있다. :\psi(x,t) = \int_{-\infty}^\infty \psi(x',t' ) K(x,t; x', t') dx' 전파 인자를 경로 적분으로 정의할 수도 있다. 계의 라그랑지언 L이 주어지면, :K(x,t;x',t') = \int \exp \left[\frac{i}{\hbar} \int_t^{t'} L(\dot{q},q,t) dt\right] D[q(t)]. 여기서 경계조건은 q(t)=x, q(t')=x'이다.
## 상대론적 스칼라 입자
상대론적 스칼라 (스핀 0) 입자의 파동 방정식은 클라인-고든 방정식이다. 따라서, 전파 인자는 클라인-고든 방정식의 그린 함수이다. 위치 공간에서 전파 인자 G(x,y)는 다음과 같다. :(\square_x^2 + m^2)G(x,y)=-\delta(x-y) 푸리에 변환으로, 이를 운동량공간으로 고쳐 쓸 수 있다. :G(x,y) = \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y){p^2 - m^2} 그러나 민코프스키 공간에서는 이 적분이 극(極)을 가지므로, 적분을 제대로 정의할 수 없다. 따라서 분모에 무한소의 작은 값을 더하여 적분 경로를 명확히 하는데, 이에는 여러 가지 방법이 있다. **뒤처진 전파 인자**(retarded propagator): :G_{ret}(x,y) = \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y){(p_0+i\epsilon)^2 - \vec{p}^2 - m^2} = \left\\{ \begin{matrix} \frac{1}{2\pi} \delta(\tau_{xy}^2) - \frac{m J_1(m \tau_{xy})}{4 \pi \tau_{xy & \textrm{ if }\, x \prec y \\\ 0 & \textrm{otherwise} \end{matrix} \right. 여기서 :\tau_{xy}:= \sqrt{ (x^0 - y^0)^2 - (\vec{x} - \vec{y})^2} 는 x에서 y 간의 고유시간이고, J_1는 제1종 베셀함수이다. **앞선 전파 인자**(advanced propagator): :G_{adv}(x,y) = \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y){(p_0 - i\epsilon)^2 - \vec{p}^2 - m^2} = \left\\{ \begin{matrix} -\frac{1}{2\pi} \delta(\tau_{xy}^2) + \frac{m J_1(m \tau_{xy})}{4 \pi \tau_{xy & \textrm{ if }\, y \prec x \\\ 0 & \textrm{otherwise}. \end{matrix} \right. **파인먼 전파 인자**: :{| |- | \ G_F(x,y) | \ = \lim_{\epsilon \to 0} \frac{1}{(2 \pi)^4} \int d^4p \, \frac{e^{-ip(x-y){p^2 - m^2 + i\epsilon} |- | | \ = \left \\{ \begin{matrix} -\frac{1}{4 \pi} \delta(s) + \frac{m}{8 \pi \sqrt{s H_1^{(1)}(m \sqrt{s}) & \textrm{ if }\, s \geq 0 \\\ -\frac{i m}{ 4 \pi^2 \sqrt{-s K_1(m \sqrt{-s}) & \textrm{if }\, s < 0\. \end{matrix} \right. |} 이를 운동량 공간으로 푸리에 변환하면 훨씬 더 간단하다. :\tilde{G}_{ret}(p) = \frac{1}{(p_0+i\epsilon)^2 - \vec{p}^2 - m^2} :\tilde{G}_{adv}(p) = \frac{1}{(p_0-i\epsilon)^2 - \vec{p}^2 - m^2} :\tilde{G}_F(p) = \frac{1}{p^2 - m^2 + i\epsilon}.
## 디랙 입자
디랙 방정식을 따르는 입자의 전파 인자는 다음과 같다. :\tilde{S}_F(p) = {1 \over \gamma^\mu p_\mu - m + i\epsilon} = {1 \over p\\!\\!\\!/ - m + i\epsilon} 위치 공간에서는 다음과 같다. :S_F(x-y) = \intd^4 p\over (2\pi)^4} \, e^{-i p \cdot (x-y)} }\, {(\gamma^\mu p_\mu + m) \over p^2 - m^2 + i \epsilon} = \left({\gamma^\mu (x-y)_\mu \over |x-y|^5} \+ { m \over |x-y|^3} \right) J_1(m |x-y|).
## 벡터 입자
광자의 전파 인자는 다음과 같다. (파인먼 게이지) :{-i g^{\mu\nu} \over p^2 + i\epsilon }