유효 작용

양자장론에서 유효 작용(有效作用, effective action)은 고전적인 작용을 양자역학적인 효과를 고려하여 수정한 것이다. 고전적인 작용은 고전적 장의 범함수인데 반해, 유효작용은 양자론적 장의 진공 기댓값 ϕ cl {\displaystyle \phi _{\text{cl}}} 의 범함수다. 대개 기호 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\text{cl}}]} 로 나타낸다. 고전역학에서는 운동 방정식을 최소 작용 원리로 계산할 수 있다. 그러나 양자론에서는 최소 작용 원리는 단순히 경로 적분을 근사할 뿐이다. 그러나 고전적 작용을 유효 작용으로 바꾸면 고전적인 경우와 같이 유효 작용에 최소 작용 원리를 사용하여 진공 기댓값의 운동 방정식을 정확히 계산할 수 있다. 샘마당(source field) J {\displaystyle J} 에 대한 분배 함수 Z [ J ] = ∫ D ϕ exp ⁡ ( i S [ ϕ ] + i ⟨ J , ϕ ⟩ ) = ∫ D ϕ exp ⁡ ( i ∫ d 4 x ( L [ ϕ ( x ) ] + J ( x ) ϕ ( x ) ) ) {\displaystyle Z[J]=\int {\mathcal {D}}\phi \,\exp(iS[\phi ]+i\langle J,\phi \rangle )=\int {\mathcal {D}}\phi \,\exp \left(\mathrm {i} \int d^{4}x\;({\mathcal {L}}[\phi (x)]+J(x)\phi (x))\right)} 를 생각하자. 에너지 범함수 E [ J ] {\displaystyle E[J]} 는 E [ J ] = i log ⁡ Z [ J ] {\displaystyle E[J]=i\log Z[J]} 와 같이 정의한다. 이는 통계역학의 자유 에너지에 해당하는 값이다. 마당 ϕ {\displaystyle \phi } 의 진공 기댓값 ϕ cl = ⟨ ϕ ⟩ {\displaystyle \phi _{\text{cl}}=\langle \phi \rangle } 은 다음과 같이 에너지의 도함수로 쓸 수 있다. ϕ cl = − δ E [ J ] δ J {\displaystyle \phi _{\text{cl}}=-{\frac {\delta E[J]}{\delta J}}} . 이 식은 ϕ cl {\displaystyle \phi _{\text{cl}}} 가 J {\displaystyle J} 에 대한 범함수로 주어진다는 것을 의미하는데, 이를 역으로 사용하여 J {\displaystyle J} 를 ϕ cl {\displaystyle \phi _{\text{cl}}} 에 대한 범함수로 간주할 수 있다. 이를 바탕으로 르장드르 변환을 하면 유효 작용 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\text{cl}}]} 를 얻는다. Γ [ ϕ cl ] = − E [ J ] − ∫ d 4 x J ( x ) ϕ cl ( x ) {\displaystyle \Gamma [\phi _{\text{cl}}]=-E[J]-\int d^{4}x\;J(x)\phi _{\text{cl}}(x)} 만약 진공이 병진불변이라면, 유효작용을 장의 (범함수가 아니라 일반) 함수인 유효퍼텐셜 V ( ϕ cl ) {\displaystyle V(\phi _{\text{cl}})} 로 나타낼 수 있다. Γ [ ϕ cl ] = − V ( ϕ cl ) ∫ d 4 x . {\displaystyle \Gamma [\phi _{\text{cl}}]=-V(\phi _{\text{cl}})\int d^{4}x.} 분배 함수 Z[J]가 상관함수의 생성함수고, 에너지 E [ J ] {\displaystyle E[J]} 가 연결상관함수 (connected correlation function)의 생성함수인 것처럼, 유효 작용은 1점기약(一點旣約, one-point irreducible) 상관함수의 모함수다. 즉, 유효작용은 다음과 같은 식으로 써질 수 있는데, 이 식에 등장하는 유효작용의 n계 미분항 Γ ( n ) ( x 1 , ⋯ , x n ) {\displaystyle \Gamma ^{(n)}(x_{1},\cdots ,x_{n})} 가 기약상관함수라는 말이다. 이런 식으로 상관함수를 미분을 통해 생성할 수 있기 때문에, 상관함수의 생성함수 또는 모함수라고 부른다. Γ [ ϕ cl ] = ∑ n = 0 ∞ 1 n ! ∫ d 4 x 1 ⋯ ∫ d 4 x n Γ ( n ) ( x 1 , ⋯ , x n ) ( ϕ cl ( x 1 ) − ⟨ ϕ ( x 1 ) ⟩ 0 ) ⋯ ( ϕ cl ( x n ) − ⟨ ϕ ( x n ) ⟩ 0 ) {\displaystyle \Gamma [\phi _{\text{cl}}]=\sum _{n=0}^{\infty }{\frac {1}{n!}}\int d^{4}x_{1}\cdots \int d^{4}x_{n}\;\Gamma ^{(n)}(x_{1},\cdots ,x_{n})(\phi _{\text{cl}}(x_{1})-\langle \phi (x_{1})\rangle _{0})\cdots (\phi _{\text{cl}}(x_{n})-\langle \phi (x_{n})\rangle _{0})} 여기서 Γ ( n ) ( x 1 , ⋯ , x n ) {\displaystyle \Gamma ^{(n)}(x_{1},\cdots ,x_{n})} 는 다음과 같으며, Γ ( n ) ( x 1 , ⋯ , x n ) = δ n Γ [ ϕ cl ] δ ϕ cl ( x 1 ) ⋯ δ ϕ cl ( x n ) | ϕ cl = ⟨ ϕ ⟩ 0 {\displaystyle \Gamma ^{(n)}(x_{1},\cdots ,x_{n})=\left.{\frac {\delta ^{n}\Gamma [\phi _{\text{cl}}]}{\delta \phi _{\text{cl}}(x_{1})\cdots \delta \phi _{\text{cl}}(x_{n})}}\right|_{\phi _{\text{cl}}=\langle \phi \rangle _{0}}} ⟨ ϕ ⟩ 0 {\displaystyle \langle \phi \rangle _{0}} 는 J = 0 {\displaystyle J=0} 일 때의 장의 진공기대값 ⟨ ϕ ⟩ {\displaystyle \langle \phi \rangle } 를 의미한다. 유효작용의 1계 미분항 Γ ( 1 ) ( x ) = δ Γ [ ϕ cl ] δ ϕ cl ( x ) | ϕ cl = ⟨ ϕ ⟩ 0 {\displaystyle \Gamma ^{(1)}(x)=\left.{\frac {\delta \Gamma [\phi _{\text{cl}}]}{\delta \phi _{\text{cl}}(x)}}\right|_{\phi _{\text{cl}}=\langle \phi \rangle _{0}}} 의 경우, 직접 풀면 다음과 같다. 물론 이는 잘 알려진 르장드르 변환의 성질이다. Γ ( 1 ) ( x ) = δ ( − E [ J ] − ∫ d 4 y J ( y ) ϕ cl ( y ) ) δ ϕ cl ( x ) | ϕ cl = ⟨ ϕ ⟩ 0 = − ∫ d 4 z δ E [ J ] δ J ( z ) δ J ( z ) δ ϕ cl ( x ) − ∫ d 4 y ( δ J ( y ) δ ϕ cl ( x ) ϕ cl ( y ) + J ( y ) δ ϕ cl ( y ) δ ϕ cl ( x ) ) = − J ( x ) {\displaystyle \Gamma ^{(1)}(x)=\left.{\frac {\delta (-E[J]-\int d^{4}y\;J(y)\phi _{\text{cl}}(y))}{\delta \phi _{\text{cl}}(x)}}\right|_{\phi _{\text{cl}}=\langle \phi \rangle _{0}}=-\int d^{4}z\;{\frac {\delta E[J]}{\delta J(z)}}{\frac {\delta J(z)}{\delta \phi _{\text{cl}}(x)}}-\int d^{4}y\;\left({\frac {\delta J(y)}{\delta \phi _{\text{cl}}(x)}}\phi _{\text{cl}}(y)+J(y){\frac {\delta \phi _{\text{cl}}(y)}{\delta \phi _{\text{cl}}(x)}}\right)=-J(x)} 유효작용의 2계 미분항 Γ ( 2 ) ( x , y ) = δ 2 Γ [ ϕ cl ] δ ϕ cl ( x ) δ ϕ cl ( y ) | ϕ cl = ⟨ ϕ ⟩ 0 {\displaystyle \Gamma ^{(2)}(x,y)=\left.{\frac {\delta ^{2}\Gamma [\phi _{\text{cl}}]}{\delta \phi _{\text{cl}}(x)\delta \phi _{\text{cl}}(y)}}\right|_{\phi _{\text{cl}}=\langle \phi \rangle _{0}}} 와 에너지 범함수 E [ J ] {\displaystyle E[J]} 로부터 얻은 2점 연결상관함수 G ( 2 ) c = i δ 2 E [ J ] δ J ( x ) δ J ( y ) | J = 0 {\displaystyle G_{(2)}^{c}=i\left.{\frac {\delta ^{2}E[J]}{\delta J(x)\delta J(y)}}\right|_{J=0}} 사이의 관계를 다음과 같이 찾을 수 있다. 일단 Γ ( 2 ) ( x , y ) {\displaystyle \Gamma ^{(2)}(x,y)} 와 G ( 2 ) c ( x , y ) {\displaystyle G_{(2)}^{c}(x,y)} 을 각각 J {\displaystyle J} 와 ϕ cl {\displaystyle \phi _{\text{cl}}} 을 사용하여 표현하면 다음과 같다. Γ ( 2 ) = δ ( δ Γ / δ ϕ cl ( y ) ) δ ϕ cl ( x ) = − δ J ( y ) δ ϕ cl ( x ) {\displaystyle \Gamma ^{(2)}={\frac {\delta (\delta \Gamma /\delta \phi _{\text{cl}}(y))}{\delta \phi _{\text{cl}}(x)}}=-{\frac {\delta J(y)}{\delta \phi _{\text{cl}}(x)}}} G ( 2 ) c = i δ ( δ E [ J ] / δ J ( x ) ) δ J ( y ) = − i δ ϕ cl ( x ) δ J ( y ) {\displaystyle G_{(2)}^{c}=i{\frac {\delta (\delta E[J]/\delta J(x))}{\delta J(y)}}=-i{\frac {\delta \phi _{\text{cl}}(x)}{\delta J(y)}}} 그러므로 δ J ( y ) / δ ϕ cl ( x ) {\displaystyle {\delta J(y)}/{\delta \phi _{\text{cl}}(x)}} 와 δ ϕ cl ( x ) / δ J ( y ) {\displaystyle {\delta \phi _{\text{cl}}(x)}/{\delta J(y)}} 의 관계를 파악해야 하는데, 이 둘은 서로에게 역범함수의 관계에 있다. ∫ d 4 b ( δ J ( a ) δ ϕ cl ( b ) ) ( δ ϕ cl ( b ) δ J ( c ) ) = ∫ d 4 b ( δ ϕ cl ( a ) δ J ( b ) ) ( δ J ( b ) δ ϕ cl ( c ) ) = δ ( a − c ) {\displaystyle \int d^{4}b\left({\frac {\delta J(a)}{\delta \phi _{\text{cl}}(b)}}\right)\left({\frac {\delta \phi _{\text{cl}}(b)}{\delta J(c)}}\right)=\int d^{4}b\left({\frac {\delta \phi _{\text{cl}}(a)}{\delta J(b)}}\right)\left({\frac {\delta J(b)}{\delta \phi _{\text{cl}}(c)}}\right)=\delta (a-c)} 이러한 맥락에서 다음과 같이 표기할 수 있다. δ J ( y ) δ ϕ cl ( x ) = ( δ ϕ cl ( x ) δ J ( y ) ) − 1 {\displaystyle {\frac {\delta J(y)}{\delta \phi _{\text{cl}}(x)}}=\left({\frac {\delta \phi _{\text{cl}}(x)}{\delta J(y)}}\right)^{-1}} 참고로 역범함수의 정의는 다음과 같다. ∫ d 4 b ( δ ϕ cl ( b ) δ J ( a ) ) − 1 ( δ ϕ cl ( b ) δ J ( c ) ) = ∫ d 4 b ( δ ϕ cl ( a ) δ J ( b ) ) ( δ ϕ cl ( c ) δ J ( b ) ) − 1 = δ ( a − c ) {\displaystyle \int d^{4}b\left({\frac {\delta \phi _{\text{cl}}(b)}{\delta J(a)}}\right)^{-1}\left({\frac {\delta \phi _{\text{cl}}(b)}{\delta J(c)}}\right)=\int d^{4}b\left({\frac {\delta \phi _{\text{cl}}(a)}{\delta J(b)}}\right)\left({\frac {\delta \phi _{\text{cl}}(c)}{\delta J(b)}}\right)^{-1}=\delta (a-c)} 따라서 Γ ( 2 ) ( x , y ) {\displaystyle \Gamma ^{(2)}(x,y)} 와 G ( 2 ) c ( x , y ) {\displaystyle G_{(2)}^{c}(x,y)} , 이 둘은 G ( 2 ) c = i ( Γ ( 2 ) ) − 1 {\displaystyle G_{(2)}^{c}=i(\Gamma ^{(2)})^{-1}} 의 관계를 가진다. 잘 알려진 대로, 양자장론이 다루는 대부분의 물리적 2점 연결상관함수는 운동량 p {\displaystyle p} 을 기저로 선택한 표현에서 1입자기약 (1PI, 1 Particle Irreducible) 함수를 이용해서 나타낼 수 있으며, ϕ 4 {\displaystyle \phi ^{4}} 이론의 경우, 그 표현은 − i / ( p 2 + m 2 − Π ( p ) ) {\displaystyle -i/(p^{2}+m^{2}-\Pi (p))} 이다. 여기서 Π ( p ) {\displaystyle \Pi (p)} 는 ϕ 4 {\displaystyle \phi ^{4}} 이론의 1입자기약 함수이다. 따라서, ϕ 4 {\displaystyle \phi ^{4}} 이론의 경우에 Γ ( 2 ) {\displaystyle \Gamma ^{(2)}} 는 − p 2 − m 2 + Π ( p ) {\displaystyle -p^{2}-m^{2}+\Pi (p)} 의 꼴을 가진다. 이때, − p 2 − m 2 {\displaystyle -p^{2}-m^{2}} 는 2점 기약상관함수를 이루는 파인만 도형 중 상호작용의 효과가 없는 항으로 생각될 수 있고, Π ( p ) {\displaystyle \Pi (p)} 는 2점 기약상관함수를 이루는 파인만 도형 중 상호작용의 효과가 있는 항으로 생각될 수 있으며, 이 둘이 합해 기약 상관함수를 이룬다고 생각할 수 있다. 유효작용의 3계 미분항 Γ ( 3 ) {\displaystyle \Gamma ^{(3)}} 와 3점 연결상관함수 G ( 3 ) c {\displaystyle G_{(3)}^{c}} 의 관계는 다음과 같이 구할 수 있다. G ( 3 ) c = 1 i δ G ( 2 ) c ( x , y ) δ J ( z ) = 1 i ∫ d 4 a δ G ( 2 ) c ( x , y ) δ ϕ cl ( a ) δ ϕ cl ( a ) δ J ( z ) = 1 i ∫ d 4 a δ i ( Γ ( 2 ) ( x , y ) ) − 1 δ ϕ cl ( a ) δ ϕ cl ( a ) δ J ( z ) = ∫ d 4 a ( ∫ d 4 b ∫ d 4 c − ( Γ ( 2 ) ( x , b ) ) − 1 ( Γ ( 2 ) ( y , c ) ) − 1 Γ ( 3 ) ( b , c , a ) ) ( − ( Γ ( 2 ) ( a , z ) ) − 1 ) {\displaystyle G_{(3)}^{c}={\frac {1}{i}}{\frac {\delta G_{(2)}^{c}(x,y)}{\delta J(z)}}={\frac {1}{i}}\int d^{4}a{\frac {\delta G_{(2)}^{c}(x,y)}{\delta \phi _{\text{cl}}(a)}}{\frac {\delta \phi _{\text{cl}}(a)}{\delta J(z)}}={\frac {1}{i}}\int d^{4}a{\frac {\delta i(\Gamma ^{(2)}(x,y))^{-1}}{\delta \phi _{\text{cl}}(a)}}{\frac {\delta \phi _{\text{cl}}(a)}{\delta J(z)}}=\int d^{4}a\left(\int d^{4}b\int d^{4}c-(\Gamma ^{(2)}(x,b))^{-1}(\Gamma ^{(2)}(y,c))^{-1}\Gamma ^{(3)}(b,c,a)\right)\left(-(\Gamma ^{(2)}(a,z))^{-1}\right)} 여기서 ( Γ ( 2 ) ( x , y ) ) − 1 {\displaystyle (\Gamma ^{(2)}(x,y))^{-1}} 의 범함수 미분은, 앞서 정의한 역범함수의 정의로부터 구할 수 있다. 역범함수의 정의가 되는 식의 양변을 미분하면, 우변의 델타함수는 함수 ϕ cl ( a ) {\displaystyle \phi _{\text{cl}}(a)} 에 대해 상수이므로 0이 된다. 미분한 좌변은 다음과 같다. ∫ d 4 b δ ( Γ ( 2 ) ( x , b ) ) − 1 δ ϕ cl ( a ) Γ ( 2 ) ( b , c ) + ∫ d 4 b ( Γ ( 2 ) ( x , b ) ) − 1 δ Γ ( 2 ) ( b , c ) δ ϕ cl ( a ) = 0 {\displaystyle \int d^{4}b{\frac {\delta (\Gamma ^{(2)}(x,b))^{-1}}{\delta \phi _{\text{cl}}(a)}}\Gamma ^{(2)}(b,c)+\int d^{4}b(\Gamma ^{(2)}(x,b))^{-1}{\frac {\delta \Gamma ^{(2)}(b,c)}{\delta \phi _{\text{cl}}(a)}}=0} 위의 식에 ∫ d 4 c ( Γ ( 2 ) ( c , y ) ) − 1 {\displaystyle \int d^{4}c(\Gamma ^{(2)}(c,y))^{-1}} 을 적분해주면, 다음과 같다. δ ( Γ ( 2 ) ( x , y ) ) − 1 δ ϕ cl ( a ) = − ∫ d 4 b ∫ d 4 c ( Γ ( 2 ) ( x , b ) ) − 1 ( Γ ( 2 ) ( y , c ) ) − 1 δ Γ ( 2 ) ( b , c ) δ ϕ cl ( a ) {\displaystyle {\frac {\delta (\Gamma ^{(2)}(x,y))^{-1}}{\delta \phi _{\text{cl}}(a)}}=-\int d^{4}b\int d^{4}c(\Gamma ^{(2)}(x,b))^{-1}(\Gamma ^{(2)}(y,c))^{-1}{\frac {\delta \Gamma ^{(2)}(b,c)}{\delta \phi _{\text{cl}}(a)}}} 앞서 구한 Γ ( 3 ) {\displaystyle \Gamma ^{(3)}} 와 G ( 3 ) c {\displaystyle G_{(3)}^{c}} 사이의 관계를 정리하면 다음과 같다. G ( 3 ) c ( x , y , z ) = ∫ d 4 a ∫ d 4 b ∫ d 4 c ( Γ ( 2 ) ( x , b ) ) − 1 ( Γ ( 2 ) ( y , c ) ) − 1 ( Γ ( 2 ) ( z , a ) ) − 1 Γ ( 3 ) ( a , b , c ) = ∫ d 4 a ∫ d 4 b ∫ d 4 c G ( 2 ) c ( x , b ) G ( 2 ) c ( y , c ) G ( 2 ) c ( z , a ) i Γ ( 3 ) ( a , b , c ) {\displaystyle G_{(3)}^{c}(x,y,z)=\int d^{4}a\int d^{4}b\int d^{4}c(\Gamma ^{(2)}(x,b))^{-1}(\Gamma ^{(2)}(y,c))^{-1}(\Gamma ^{(2)}(z,a))^{-1}\Gamma ^{(3)}(a,b,c)=\int d^{4}a\int d^{4}b\int d^{4}c\,G_{(2)}^{c}(x,b)G_{(2)}^{c}(y,c)G_{(2)}^{c}(z,a)\,i\Gamma ^{(3)}(a,b,c)} 잘 알려졌다시피, 좌변의 연결상관함수는 모든 연결된 파인만 도형의 합으로 생각될 수 있다. 우변을 보면 세 개의 G ( 2 ) c {\displaystyle G_{(2)}^{c}} 가 x, y, z 점에서 뻗어나가고 있는데, 이 2점 연결상관함수부분을 제외하면 i Γ ( 3 ) ( a , b , c ) {\displaystyle i\Gamma ^{(3)}(a,b,c)} 만이 남는다. 한편, 우변에서 연결상관함수를 제외하는 것은, 좌변이 의미하는 모든 연결 파인만 도형의 합에서 외부 다리(external leg)를 절단(amputate)하는 것과 동등하며, 이를 절단함으로써 남는 것은, 한 개의 선분을 자름으로써 두 부분으로 나누어질 수 없는 파인만 도형들의 합이다. 그런데 이는 기약함수의 정의와 같으므로, 따라서 좌변의 i Γ ( 3 ) ( a , b , c ) {\displaystyle i\Gamma ^{(3)}(a,b,c)} 은 3점 기약함수의 값에 해당한다. 유효작용의 일반적인 n계도 미분항이 n점 기약함수와 일치하는지 여부도 3점 기약함수와 비슷한 방법으로 알 수 있다. n점 연결상관함수를 유효작용의 미분항으로 표현하면, 유효작용의 n계도 미분항부터 3계 미분항까지의 여러 미분항과 2점 연결상관함수를 각기 곱한 것들의 합으로 주어지는데, 3점 기약함수에서 본 것과 같이, 그 각각의 파인만 도형에서의 성질을 생각하면, n계도 미분항은 '한 개의 선분을 자름으로써 두 부분으로 나누어질 수 없는 파인만 도형들의 합'과 일치함을 볼 수 있다. 예를 들어, 4점 연결상관함수는 유효작용의 미분항으로 다음과 같이 표현할 수 있다. G a b c d c = 1 i δ G a b c c δ J d = 1 i δ ( Γ a x ( 2 ) ) − 1 ( Γ b y ( 2 ) ) − 1 ( Γ c z ( 2 ) ) − 1 Γ x y z ( 3 ) δ ϕ cl i δ ϕ cl i δ J d = 1 i ( − ( Γ a j ( 2 ) ) − 1 ( Γ x k ( 2 ) ) − 1 Γ i j k ( 3 ) ( Γ b y ( 2 ) ) − 1 ( Γ c z ( 2 ) ) − 1 Γ x y z ( 3 ) − ( Γ a x ( 2 ) ) − 1 ( Γ b j ( 2 ) ) − 1 ( Γ y k ( 2 ) ) − 1 Γ i j k ( 3 ) ( Γ c z ( 2 ) ) − 1 Γ x y z ( 3 ) − ( Γ a x ( 2 ) ) − 1 ( Γ b y ( 2 ) ) − 1 ( Γ c j ( 2 ) ) − 1 ( Γ z k ( 2 ) ) − 1 Γ i j k ( 3 ) Γ x y z ( 3 ) + ( Γ a x ( 2 ) ) − 1 ( Γ b y ( 2 ) ) − 1 ( Γ c z ( 2 ) ) − 1 Γ x y z i ( 4 ) ) ( − ( Γ i d ( 2 ) ) − 1 ) {\displaystyle G_{abcd}^{c}={\frac {1}{i}}{\frac {\delta G_{abc}^{c}}{\delta J_{d}}}={\frac {1}{i}}{\frac {\delta (\Gamma _{ax}^{(2)})^{-1}(\Gamma _{by}^{(2)})^{-1}(\Gamma _{cz}^{(2)})^{-1}\Gamma _{xyz}^{(3)}}{\delta \phi _{\textrm {cl}}^{i}}}{\frac {\delta \phi _{\textrm {cl}}^{i}}{\delta J_{d}}}={\frac {1}{i}}\left(-(\Gamma _{aj}^{(2)})^{-1}(\Gamma _{xk}^{(2)})^{-1}\Gamma _{ijk}^{(3)}(\Gamma _{by}^{(2)})^{-1}(\Gamma _{cz}^{(2)})^{-1}\Gamma _{xyz}^{(3)}-(\Gamma _{ax}^{(2)})^{-1}(\Gamma _{bj}^{(2)})^{-1}(\Gamma _{yk}^{(2)})^{-1}\Gamma _{ijk}^{(3)}(\Gamma _{cz}^{(2)})^{-1}\Gamma _{xyz}^{(3)}-(\Gamma _{ax}^{(2)})^{-1}(\Gamma _{by}^{(2)})^{-1}(\Gamma _{cj}^{(2)})^{-1}(\Gamma _{zk}^{(2)})^{-1}\Gamma _{ijk}^{(3)}\Gamma _{xyz}^{(3)}+(\Gamma _{ax}^{(2)})^{-1}(\Gamma _{by}^{(2)})^{-1}(\Gamma _{cz}^{(2)})^{-1}\Gamma _{xyzi}^{(4)}\right)(-(\Gamma _{id}^{(2)})^{-1})} 이 식에서는 아인슈타인 표기법(Einstein convention)을 이용했다. 여기서 2점 기약함수의 역함수가 2점 연결상관함수라는 점과 유효작용의 3계 미분항이 3점 기약함수라는 점을 이용하면, 우변의 첫 세 개항은 a,b,c,d의 네 개의 점 중 두 개의 점씩 짝지어 3점 기약상호작용을 하고, 각각의 3점 기약상호작용에서 남는 점을 서로 이은 파인만 도형에 해당함을 알 수 있다. 따라서 남은 네번째 항에 있는 유효작용의 4계 미분항은 4점 기약함수라는 것을 알 수 있다. 일반적으로, n점 연결상관함수는 4점 연결상관함수와 같이, 2점 연결상관함수를 선분으로 갖고, 3, 4, ..., n점 기약상관함수를 선분이 모이는 점으로 갖는, 나무 파인만 도형(tree level Feynmann diagram)의 합으로 이루어진다. 이는 고전적인 작용 S [ ϕ ] {\displaystyle S[\phi ]} 를 갖고 수행한 양자역학적 계산, 즉 고리 파인만 도형을 포함하는 계산이 양자역학적인 유효작용 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\textrm {cl}}]} 을 갖고 수행한 고전적인 계산, 즉 나무수준 파인만 도형으로 수행한 계산과 일치함을 의미한다. 또한 2점 기약함수에서 얻은 양자역학적인 보정항 Π ( p ) {\displaystyle \Pi (p)} 는 유효작용의 장에 대한 이차항들은 고전적인 작용으로부터 질량의 재규격화와 장세기의 재규격화를 가한 것임을 의미한다. 이와 같이 고전적인 작용의 각 항에 양자역학적인 보정, 즉 재규격화를 가한 것이 유효작용에 등장하는 각 항들이다. 이렇듯 양자역학적으로 보정된 항들을 갖는 유효작용으로부터 수행한 고전적인 나무수준 계산으로 여러 가지 물리현상을 해석할 수 있다. 유효작용 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\text{cl}}]} 은 양자요동의 크기를 나타내는 ℏ {\displaystyle \hbar } 에 대해서 건드림 전개를 할 수 있다. ℏ {\displaystyle \hbar } 의 크기를 0으로 보내는 극한에서, 분배함수 Z [ J ] {\displaystyle Z[J]} 는 전적으로 다음 조건을 만족하는 마당 ϕ 0 {\displaystyle \phi _{0}} 에 의해 그 값이 결정된다. δ S [ ϕ ] + ⟨ J , ϕ ⟩ δ ϕ | ϕ = ϕ 0 = 0 {\displaystyle \left.{\frac {\delta S[\phi ]+\langle J,\phi \rangle }{\delta \phi }}\right|_{\phi =\phi _{0}}=0} ϕ 0 {\displaystyle \phi _{0}} 는 마당 ϕ {\displaystyle \phi } 이 S [ ϕ ] + ⟨ J , ϕ ⟩ {\displaystyle S[\phi ]+\langle J,\phi \rangle } 를 작용으로 갖을 때 구해지는 고전역학적인 해이다. ℏ → 0 {\displaystyle \hbar \rightarrow 0} 의 극한에서, 유효작용 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\text{cl}}]} 과 일반적인 작용 S [ ϕ ] {\displaystyle S[\phi ]} 사이의 관계는 다음과 같다. − E [ J ] = Γ [ ϕ cl ] + ∫ d 4 x J ( x ) ϕ cl ( x ) {\displaystyle -E[J]=\Gamma [\phi _{\text{cl}}]+\int d^{4}x\;J(x)\phi _{\text{cl}}(x)} − E [ J ] = − i ℏ log ⁡ Z [ J ] ≈ − i ℏ log ⁡ exp ⁡ ( i ℏ ( S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) ) ) = S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) {\displaystyle -E[J]=-i\hbar \log Z[J]\approx -i\hbar \log \exp \left({\frac {i}{\hbar }}\left(S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)\right)\right)=S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)} Γ [ ϕ cl ] + ∫ d 4 x J ( x ) ϕ cl ( x ) = S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) {\displaystyle \Gamma [\phi _{\text{cl}}]+\int d^{4}x\;J(x)\phi _{\text{cl}}(x)=S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)} 또한 이 극한에서, 마당의 진공기대값 ϕ cl {\displaystyle \phi _{\text{cl}}} 와 마당의 고전적인 해 ϕ 0 {\displaystyle \phi _{0}} 사이의 관계는 다음과 같다. ϕ cl = − δ E [ J ] δ J ( x ) = ∫ d 4 y δ S [ ϕ 0 ] δ ϕ 0 ( y ) δ ϕ 0 ( y ) δ J ( x ) + ϕ 0 ( x ) + ∫ d 4 x J ( y ) δ ϕ 0 ( y ) δ J ( x ) = ϕ 0 {\displaystyle \phi _{\text{cl}}=-{\frac {\delta E[J]}{\delta J(x)}}=\int d^{4}y\;{\frac {\delta S[\phi _{0}]}{\delta \phi _{0}(y)}}{\frac {\delta \phi _{0}(y)}{\delta J(x)}}+\phi _{0}(x)+\int d^{4}x\;J(y){\frac {\delta \phi _{0}(y)}{\delta J(x)}}=\phi _{0}} 마지막 등호는 마당의 고전적인 해 ϕ 0 {\displaystyle \phi _{0}} 가 고전적인 해로써 만족해야 했던 조건을 이용했다. 그러므로 ℏ → 0 {\displaystyle \hbar \rightarrow 0} 의 극한에서, 마당의 진공기대값 ϕ cl {\displaystyle \phi _{\text{cl}}} 은 마당의 고전적인 해 ϕ 0 {\displaystyle \phi _{0}} 와 일치하며, 유효작용 Γ [ ϕ cl ] {\displaystyle \Gamma [\phi _{\text{cl}}]} 은 일반적인 작용 S [ ϕ 0 = ϕ cl ] {\displaystyle S[\phi _{0}=\phi _{\text{cl}}]} 와 일치한다. 이를 유효작용의 평균장근사라고 부르기도 한다. ℏ {\displaystyle \hbar } 를 0은 아니지만 작은 수로 간주하면, 즉 ℏ {\displaystyle \hbar } 에 대해 건드림 전개를 하면, 유효작용은 일반적인 작용에 ℏ {\displaystyle \hbar } 에 의한 보정값이 더해진다. 이를 위해서는 마당을 마당의 고전적인 해 ϕ 0 {\displaystyle \phi _{0}} 와 그에 더해지는 양자 요동 δ ϕ {\displaystyle \delta \phi } 의 합으로 생각해야 한다. ϕ = ϕ 0 + δ ϕ {\displaystyle \phi =\phi _{0}+\delta \phi } 이로써 S [ ϕ ] + ∫ d 4 x J ( x ) ϕ ( x ) {\displaystyle S[\phi ]+\int d^{4}x\;J(x)\phi (x)} 를 근사적으로 전개하면 다음과 같다. S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) + ∫ d 4 x ( J ( x ) + δ S δ ϕ ( x ) | ϕ = ϕ 0 ) δ ϕ ( x ) + 1 2 ∫ d 4 x d 4 y δ ϕ ( x ) δ 2 S δ ϕ ( x ) δ ϕ ( y ) δ ϕ ( y ) {\displaystyle S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)+\int d^{4}x\;\left(J(x)+\left.{\frac {\delta S}{\delta \phi (x)}}\right|_{\phi =\phi _{0}}\right)\delta \phi (x)+{\frac {1}{2}}\int d^{4}xd^{4}y\;\delta \phi (x){\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\delta \phi (y)} 마당의 고전적인 해 ϕ 0 {\displaystyle \phi _{0}} 가 고전적인 해로써 만족해야 하는 조건을 이용하면, J ( x ) + δ S / δ ϕ ( x ) | ϕ = ϕ 0 {\displaystyle J(x)+\left.\delta S/\delta \phi (x)\right|_{\phi =\phi _{0}}} 은 0임을 알 수 있다. 그렇다면 분배 함수는 다음과 같다. Z [ J ] ≈ exp ⁡ ( i ℏ ( S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) ) ) ∫ D δ ϕ exp ⁡ ( i ℏ 1 2 ( ∫ d 4 x d 4 y δ ϕ ( x ) δ 2 S δ ϕ ( x ) δ ϕ ( y ) δ ϕ ( y ) ) ) {\displaystyle Z[J]\approx \exp \left({\frac {i}{\hbar }}\left(S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)\right)\right)\int {\mathcal {D}}\delta \phi \,\exp \left({\frac {i}{\hbar }}{\frac {1}{2}}\left(\int d^{4}xd^{4}y\;\delta \phi (x){\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\delta \phi (y)\right)\right)} 가우스 적분 ∫ − ∞ ∞ e − a x 2 d x = π a {\displaystyle \int _{-\infty }^{\infty }e^{-ax^{2}}\,dx={\sqrt {\frac {\pi }{a}}}} 의 범함수 적분으로의 확장을 생각하면, 우항은 다음과 같다. Z [ J ] ≈ exp ⁡ ( i ℏ ( S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) ) ) [ det δ 2 S δ ϕ ( x ) δ ϕ ( y ) ] ϕ = ϕ 0 − 1 / 2 {\displaystyle Z[J]\approx \exp \left({\frac {i}{\hbar }}\left(S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)\right)\right)\left[\det {\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\right]_{\phi =\phi _{0}}^{-1/2}} 식을 고쳐쓰면, Z [ J ] ≈ exp ⁡ ( i ℏ ( S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) + i ℏ 2 [ tr log ⁡ δ 2 S δ ϕ ( x ) δ ϕ ( y ) ] ϕ = ϕ 0 ) ) {\displaystyle Z[J]\approx \exp \left({\frac {i}{\hbar }}\left(S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)+{\frac {i\hbar }{2}}\left[{\text{tr}}\log {\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\right]_{\phi =\phi _{0}}\right)\right)} 그러므로 유효작용과 일반적인 작용 사이의 관계는 다음과 같다. Γ [ ϕ cl ] + ∫ d 4 x J ( x ) ϕ cl ( x ) = S [ ϕ 0 ] + ∫ d 4 x J ( x ) ϕ 0 ( x ) + i ℏ 2 [ tr log ⁡ δ 2 S δ ϕ ( x ) δ ϕ ( y ) ] ϕ = ϕ 0 {\displaystyle \Gamma [\phi _{\text{cl}}]+\int d^{4}x\;J(x)\phi _{\text{cl}}(x)=S[\phi _{0}]+\int d^{4}x\;J(x)\phi _{0}(x)+{\frac {i\hbar }{2}}\left[{\text{tr}}\log {\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\right]_{\phi =\phi _{0}}} 마당의 진공기대값 또한 ϕ cl = ϕ 0 + δ ϕ ′ {\displaystyle \phi _{\text{cl}}=\phi _{0}+\delta \phi '} 꼴로 간주하고, 위 식 우변의 ϕ 0 {\displaystyle \phi _{0}} 를 ϕ cl {\displaystyle \phi _{\text{cl}}} 에 대해 치환하고, 항들을 정리하면 다음과 같다. Γ [ ϕ cl ] + ∫ d 4 x J ( x ) ϕ cl ( x ) = S [ ϕ cl ] + ∫ d 4 x ( − δ ϕ ′ ) δ S [ ϕ ] δ ϕ | ϕ = ϕ cl + ∫ d 4 x J ( x ) ϕ cl + ∫ d 4 x ( − δ ϕ ′ ) J ( x ) + i ℏ 2 [ tr log ⁡ δ 2 S δ ϕ ( x ) δ ϕ ( y ) ] ϕ = ϕ cl {\displaystyle \Gamma [\phi _{\text{cl}}]+\int d^{4}x\;J(x)\phi _{\text{cl}}(x)=S[\phi _{\text{cl}}]+\int d^{4}x\;(-\delta \phi ')\left.{\frac {\delta S[\phi ]}{\delta \phi }}\right|_{\phi =\phi _{\text{cl}}}+\int d^{4}x\;J(x)\phi _{\text{cl}}+\int d^{4}x\;(-\delta \phi ')J(x)+{\frac {i\hbar }{2}}\left[{\text{tr}}\log {\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\right]_{\phi =\phi _{\text{cl}}}} Γ [ ϕ cl ] = S [ ϕ cl ] + i ℏ 2 [ tr log ⁡ δ 2 S δ ϕ ( x ) δ ϕ ( y ) ] ϕ = ϕ cl {\displaystyle \Gamma [\phi _{\text{cl}}]=S[\phi _{\text{cl}}]+{\frac {i\hbar }{2}}\left[{\text{tr}}\log {\frac {\delta ^{2}S}{\delta \phi (x)\delta \phi (y)}}\right]_{\phi =\phi _{\text{cl}}}} 이를 1-고리 근사(one-loop approximation)이라고 부르기도 한다. 유효작용의 ℏ {\displaystyle \hbar } 에 대한 1차항을 1-고리 근사라고 부르는 이유는, 1차항을 파인만 도형으로 접근해보았을 때 그것이 1-고리 도형에 해당하기 때문인데, 이 사실을 두가지 접근으로 확인할 수 있다. 첫번째 접근은, 유효작용의 정의식 − E [ J ] = Γ [ ϕ cl ] + ∫ d 4 x J ( x ) ϕ cl ( x ) {\displaystyle -E[J]=\Gamma [\phi _{\text{cl}}]+\int d^{4}x\;J(x)\phi _{\text{cl}}(x)} 의 좌변과 우변을 각각 ℏ {\displaystyle \hbar } 에 대해 전개해본 뒤, 좌변과 우변을 비교하는 방법이다. 우변은 이미 0차항 계산과 1차항 계산을 통해 전개해보았다. 좌변을 상관함수에 대해 테일러 전개해보면 다음과 같다. − E [ J ] = ( ℏ i ) ∑ n = 0 ∞ 1 n ! ∫ d 4 x 1 ⋯ ∫ d 4 x n ( i ℏ ) n G c ( x 1 , ⋯ , x n ) J ( x 1 ) ⋯ J ( x n ) {\displaystyle -E[J]=\left({\frac {\hbar }{i}}\right)\sum _{n=0}^{\infty }{\frac {1}{n!}}\int d^{4}x_{1}\cdots \int d^{4}x_{n}\;\left({\frac {i}{\hbar }}\right)^{n}G^{c}(x_{1},\cdots ,x_{n})J(x_{1})\cdots J(x_{n})} 여기서 G c ( x 1 , ⋯ , x n ) {\displaystyle G^{c}(x_{1},\cdots ,x_{n})} 는 n점 연결상관함수이다. 상호작용 라그랑지안 L i n t {\displaystyle {\mathcal {L}}_{int}} 을 섭동적으로 전개할 경우, 상호작용 라그랑지안 L i n t {\displaystyle {\mathcal {L}}_{int}} 하나 당 i / ℏ {\displaystyle {i}/{\hbar }} 의 인자가 하나씩 곱해진다. 섭동적으로 전개된 상호작용 라그랑지안의 개수는 파인만 도형의 꼭지점(vertex)의 개수에 해당한다. 또한 파인만 도형의 전파인자(propagator) 하나 당 자유 라그랑지안 L f r e e {\displaystyle {\mathcal {L}}_{free}} 의 역에 해당하는 그린 함수 외에 ℏ / i {\displaystyle {\hbar }/{i}} 인자가 하나씩 곱해진다. 따라서 δ n − E [ J ] δ J ( x 1 ) ⋯ δ J ( x n ) = ( i ℏ ) n − 1 G c ( x 1 , ⋯ , x n ) ∝ ( i ℏ ) n − 1 ∑ m ( i ℏ ) m G 0 c ( x 1 , ⋯ , x σ ( m ) ) ∝ ( i ℏ ) n − 1 ∑ m ( i ℏ ) m ( ℏ i ) P {\displaystyle {\frac {\delta ^{n}-E[J]}{\delta J(x_{1})\cdots \delta J(x_{n})}}=\left({\frac {i}{\hbar }}\right)^{n-1}G^{c}(x_{1},\cdots ,x_{n})\propto \left({\frac {i}{\hbar }}\right)^{n-1}\sum _{m}\left({\frac {i}{\hbar }}\right)^{m}G_{0}^{c}(x_{1},\cdots ,x_{\sigma (m)})\propto \left({\frac {i}{\hbar }}\right)^{n-1}\sum _{m}\left({\frac {i}{\hbar }}\right)^{m}\left({\frac {\hbar }{i}}\right)^{P}} 여기서 G 0 c {\displaystyle G_{0}^{c}} 는 자유 라그랑지안 L f r e e {\displaystyle {\mathcal {L}}_{free}} 만을 고려할 때의 연결상관함수이다. 따라서 V {\displaystyle V} 개의 꼭지점과 P {\displaystyle P} 개의 전파인자를 갖는 임의의 n {\displaystyle n} 점 파인만 도형은 − E [ J ] {\displaystyle -E[J]} 에 기여하는 측면에서 다음과 같은 ℏ {\displaystyle {\hbar }} 의 차수를 갖는다. ( i ℏ ) n − 1 ( i ℏ ) V ( ℏ i ) P = ( ℏ i ) P − V − n + 1 {\displaystyle \left({\frac {i}{\hbar }}\right)^{n-1}\left({\frac {i}{\hbar }}\right)^{V}\left({\frac {\hbar }{i}}\right)^{P}=\left({\frac {\hbar }{i}}\right)^{P-V-n+1}} 파인만 도형이 갖는 고리의 개수 L {\displaystyle L} 은 운동량보존을 이용하여, 내부 전파인자(Internal propagator)와 꼭지점의 개수로부터 계산할 수 있다. 연결 파인만 도형의 경우, 고리의 개수는 내부 전파인자의 개수 I {\displaystyle I} 에서 꼭지점의 개수 V {\displaystyle V} 를 빼고 1을 더한 수 I − V + 1 {\displaystyle I-V+1} 이다. 연결 파인만 도형의 경우, n < P {\displaystyle n<P} 는 고리가 없는 n = 2 {\displaystyle n=2} 일 때 뿐이며, 이 경우 L = 0 {\displaystyle L=0} 이고 ℏ {\displaystyle {\hbar }} 의 차수 또한 P − V − n + 1 = 0 {\displaystyle {P-V-n+1=0}} 으로 0이다. 그외의 연결 파인만 도형의 경우, 전체 전파인자의 개수 P {\displaystyle P} 에서 n {\displaystyle n} 을 뺀 것이 내부 전파인자의 개수 I {\displaystyle I} 이므로, 어떤 임의의 파인만 도형이 갖는 ℏ {\displaystyle {\hbar }} 의 차수는 ℏ L {\displaystyle {\hbar }^{L}} 이 된다. 따라서 유효작용의 ℏ {\displaystyle {\hbar }} 에 대한 건드림 전개의 L {\displaystyle L} 번째 항은 L {\displaystyle {L}} 개의 고리를 가진 연결 파인만 도형의 합과 동등한 관계가 있다. 두번째 접근은, 직접 ℏ {\displaystyle \hbar } 에 대한 1차항을 파인만 도형으로 풀어보는 것이다. ϕ 4 {\displaystyle \phi ^{4}} 이론의 경우에 1차항은, i ℏ 2 tr log ⁡ ( − ∂ 2 − m 2 − g 2 ϕ cl 2 ) {\displaystyle {\frac {i\hbar }{2}}{\text{tr}}\log \left(-\partial ^{2}-m^{2}-{\frac {g}{2}}\phi _{\textrm {cl}}^{2}\right)} 이다. 이를 ϕ 4 {\displaystyle \phi ^{4}} 상호작용 항에 대해 건드림 전개를 해보면, i ℏ 2 tr log ⁡ ( − ∂ 2 − m 2 ) + i ℏ 2 tr log ⁡ ( 1 + i − ∂ 2 − m 2 i g 2 ϕ cl 2 ) = i ℏ 2 tr log ⁡ ( − ∂ 2 − m 2 ) + i ℏ 2 tr ( ∑ n = 1 ∞ − 1 n ( − i g 2 ) n ( i − ∂ 2 − m 2 ϕ cl 2 ) n ) {\displaystyle {\frac {i\hbar }{2}}{\text{tr}}\log \left(-\partial ^{2}-m^{2}\right)+{\frac {i\hbar }{2}}{\text{tr}}\log \left(1+{\frac {i}{-\partial ^{2}-m^{2}}}{\frac {ig}{2}}\phi _{\textrm {cl}}^{2}\right)={\frac {i\hbar }{2}}{\text{tr}}\log \left(-\partial ^{2}-m^{2}\right)+{\frac {i\hbar }{2}}{\text{tr}}\left(\sum _{n=1}^{\infty }-{\frac {1}{n}}\left(-{\frac {ig}{2}}\right)^{n}\left({\frac {i}{-\partial ^{2}-m^{2}}}\phi _{\textrm {cl}}^{2}\right)^{n}\right)} 전파인자에 해당하는 값을 G 0 {\displaystyle G_{0}} 로 적으면, i ℏ 2 tr log ⁡ ( − ∂ 2 − m 2 ) + i ℏ 2 tr ( ∑ n = 1 ∞ − 1 n ( − i g 2 ) n ( G 0 ϕ cl 2 ) n ) {\displaystyle {\frac {i\hbar }{2}}{\text{tr}}\log \left(-\partial ^{2}-m^{2}\right)+{\frac {i\hbar }{2}}{\text{tr}}\left(\sum _{n=1}^{\infty }-{\frac {1}{n}}\left(-{\frac {ig}{2}}\right)^{n}\left(G_{0}\phi _{\textrm {cl}}^{2}\right)^{n}\right)} tr {\displaystyle {\text{tr}}} 연산자를 풀어보면, 테일러 전개한 각 항들이 1-고리 도형에 해당함을 확인할 수 있다. J.Goldstone, A.Salam, S.Weinberg, Phys.Rev. 127, 965 (1962). G.Jona-Lasinio, Nuovo Cimento 34, 1790 (1964). S.Weinberg: The Quantum Theory of Fields, Vol.II, Cambridge University Press 1996. D.J.Toms: The Schwinger Action Principle and Effective Action, Cambridge University Press 2007. H. Kleinert, Particles and Quantum Fields, World Scientific Publishing Company 2016. 배경장 게이지 (background field gauge) 유효이론