2. 정의
장의 구성에 대해 다항식으로 경계가 있는 함수 와 임의의 상태 벡터 (이는 QFT의 해)에 대해 다음 식이 성립한다.[3]
:
여기서 는 작용 함수이고, 는 시간 순서 연산자이다.
밀도 행렬 공식에서는 임의의 (유효한) 밀도 상태 에 대해 다음이 성립한다.
:
이 무한 집합의 방정식은 비섭동적으로 상관 함수를 푸는 데 사용될 수 있다.
파인만 다이어그램과 같은 도해적 기법과의 연결을 더 명확하게 하기 위해, 작용 를 다음과 같이 분리하기도 한다.
:
여기서 첫 번째 항은 2차 항이고, 는 드윗 표기법에서 2차 랭크의 가역적 대칭(페르미온의 경우 반대칭) 공변 텐서이며, 그 역 는 베어 전파자, 는 "상호 작용 작용"이다. 그러면 SD 방정식을 다음과 같이 다시 쓸 수 있다.
:
가 의 함수라면, 연산자 에 대해 는 대신 를 대입하는 연산자로 정의된다. 예를 들어,
:
이고, 가 의 함수라면,
:
"해석" (국소적으로 수렴하는 멱급수로 주어지는 함수) 함수 (생성 함수)가 (소스 장)를 만족한다면,
:
함수 적분 속성으로부터
:
생성 함수에 대한 슈윙거-다이슨 방정식은 다음과 같다.
:
이 방정식을 에 대한 테일러 급수로 전개하면, 슈윙거-다이슨 방정식의 전체 집합을 얻게 된다.
2. 1. 경로 적분을 통한 유도
경로 적분을 통해 슈윙거-다이슨 방정식을 유도할 수 있다.[3] 장 에 대한 범함수 의 변분은 다음과 같다.
:
경로 적분의 측도 가 변수의 재정의 에 대하여 불변이라고 가정한다. 그렇다면, 임의의 연산자 에 대하여,
:
이다. 이를 연산자로 쓰면 다음과 같다. 임의의 상태 에 대하여,
:
이를 '''슈윙거-다이슨 방정식'''이라고 한다. 여기서 는 시간 순서 연산자이다. 이는 고전적 오일러-라그랑주 방정식
:
의 양자장론적 일반화이며, 우변 은 양자역학적인 보정항에 해당한다.
예를 들어, 이라고 하자. 그렇다면 슈윙거-다이슨 방정식은 다음과 같다.
:
2. 2. 연산자 형식
경로 적분의 측도 가 변수 재정의 에 대하여 불변이라고 가정하면, 임의의 연산자 에 대하여 다음 식이 성립한다.
:
이를 연산자로 쓰면 다음과 같다. 임의의 상태 에 대하여,
:
이를 '''슈윙거-다이슨 방정식'''이라고 한다. 여기서 는 시간 순서 연산자이다. 이는 고전적 오일러-라그랑주 방정식
:
의 양자장론적 일반화이며, 우변 은 양자역학적인 보정항에 해당한다.[3]
예를 들어, 이라고 하면, 슈윙거-다이슨 방정식은 다음과 같다.
:
다항식으로 경계가 있는 함수 가 장(field)의 구성에 대해 주어지면, 임의의 상태 벡터 (이는 QFT의 해)에 대해 다음이 성립한다.
:
여기서 는 작용 함수이고 는 시간 순서 연산이다.
밀도 행렬 공식에서, 임의의 (유효한) 밀도 상태 에 대해서도 동일한 식이 성립한다.
:
3. 슈윙거-다이슨 으뜸 방정식
임의의 ''n''점 상관 함수에 대한 슈윙거-다이슨 방정식들을 하나로 통합한 것이 '''슈윙거-다이슨 으뜸 방정식'''(Schwinger–Dyson master equation영어)이다.
어떤 고전적 샘장 를 추가하여, 작용이 이라고 할 때, 연산자를 삽입하지 않으면 슈윙거-다이슨 방정식은 다음과 같다.
:
여기서 는 에서 모든 를 로 치환한 것이다. 즉, 이를 분배 함수
:
로 쓰면 다음과 같다.
:
이것이 슈윙거-다이슨 으뜸 방정식이며, 에 대하여 테일러 급수로 전개하면 ''n''점 상관 함수에 대한 슈윙거-다이슨 방정식들을 얻을 수 있다.
3. 1. 생성 함수를 이용한 표현
임의의 ''n''점 상관 함수 에 대하여 슈윙거-다이슨 방정식을 적을 수 있다. 이들 방정식들을 하나로 모아 '''슈윙거-다이슨 으뜸 방정식'''(Schwinger–Dyson master equation영어)으로 적을 수 있다.
우선, 어떤 고전적 샘장 을 추가하여, 작용이 이라고 하자. 이 경우, 추가로 연산자를 삽입하지 않으면 슈윙거-다이슨 방정식은 다음과 같다.
:
여기서
:
는 에서 모든 를 로 치환한 것이다. 즉, 이를 분배 함수
:
로 쓰면 다음과 같다.
:
이를 '''슈윙거-다이슨 으뜸 방정식'''이라고 하며, 에 대하여 테일러 급수로 전개하면 ''n''점 상관 함수에 대한 슈윙거-다이슨 방정식들을 얻는다.
만약 "해석" (국소적으로 수렴하는 멱급수로 주어지는 함수) 함수 (소스 장 를 만족하는 생성 함수)가 아래 조건을 만족하면,
:
함수 적분 성질로부터
:
생성 함수에 대한 슈윙거-다이슨 방정식은 다음과 같다.
:
이 방정식을 에 대한 테일러 급수로 전개하면, 슈윙거-다이슨 방정식의 전체 집합을 얻게 된다.
3. 2. 테일러 급수 전개
우선, 어떤 고전적 샘장 를 추가하여, 작용이 이라고 하자. 이 경우, 슈윙거-다이슨 방정식은 다음과 같다.
:
여기서
:
는 에서 모든 를 로 치환한 것이다. 이를 분배 함수
:
로 쓰면 다음과 같다.
:
이를 '''슈윙거-다이슨 으뜸 방정식'''이라고 하며, 에 대하여 테일러 급수로 전개하면 ''n''점 상관 함수에 대한 슈윙거-다이슨 방정식들을 얻는다.
이 방정식을 에 대한 테일러 급수로 전개하면, 슈윙거-다이슨 방정식의 전체 집합을 얻게 된다.
4. 예시: φ4 이론
φ4영어 이론을 예로 들어 설명한다. 실수장 φ영어에 대한 작용은 다음과 같다.
:
이 경우,
:
이다.
따라서 이 때의 슈윙거-다이슨 방정식은 다음과 같다.
:
이 방정식은 정규화가 필요하다.
4. 1. 정규화
φ영어4 이론에서 슈윙거-다이슨 방정식을 적용할 때, 다음 항이 잘 정의되지 않는 문제가 발생한다.
:
이는
:
가 분포이기 때문이다. 따라서 이 방정식은 정규화가 필요하다.
이 예에서 맨 프로파게이터 D는 에 대한 그린 함수이므로, 슈윙거-다이슨 방정식 집합은 다음과 같다.
:
:
만약 자발 대칭 깨짐이 없다면, 홀수 상관 함수는 사라진다.
4. 2. 상관 함수 계산
실수장 φ에 대한 작용이 다음과 같다고 가정하자.
:
그러면,
:
이 경우 슈윙거-다이슨 방정식은 다음과 같다.
:
여기서
:
는
:
가 , , 에서 분포이므로 잘 정의되지 않아, 이 방정식은 정규화가 필요하다.
이 예에서, 맨 프로파게이터 ''D''는 에 대한 그린 함수이므로, 슈윙거-다이슨 방정식 집합은 다음과 같다.
:
:
만약 자발적 대칭 깨짐이 없다면, 홀수 상관 함수는 사라진다.
참조
[1]
논문
The S Matrix in Quantum Electrodynamics
[2]
논문
On Green's functions of quantized fields I + II
[3]
서적
An Introduction to Quantum Field Theory
http://physics.weber[...]
Westview Press
2014-07-04
[4]
저널
The ''S'' matrix in quantum electrodynamics
https://archive.org/[...]
1949
[5]
저널
On the Green’s functions of quantized fields I
1951
[6]
저널
On the Green’s functions of quantized fields II
1951
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com