[논문 리뷰] The Heisenberg-Pauli canonical formalism of quantum field theory in the rigorous setting of nonlinear generalized functions (Part I)

Jean-François Colombeau, André Gsponer|ArXiv.org|2008. 07. 02.

Mathematical and Theoretical Analysis참고 문헌 18인용 수 7

한 줄 요약

이 논문은 양자장론에서 하이젠베르크-파울리 캐논ical 형식론에 대한 엄밀한 수학적 기반을 비선형 일반화된 함수를 사용하여 구축한다. 연산자 값 분포를 초기부터 정규화하는 프레임워크에 통합함으로써, 자유장 및 자기상호작용 장 연산자, 교환관계 및 해밀토니언이 수학적으로 잘 정의되어 있음을 보여주며, 정규화 선택을 통해 영점 에너지를 제거할 수 있음을 밝힌다. 이 형식론은 분포적 특이성을 피하고 표준 분포 기반 접근법에 대한 일관된 대안을 제공한다.

ABSTRACT

The unmodified Heisenberg-Pauli canonical formalism of quantum field theory applied to a self-interacting scalar boson field is shown to make sense mathematically in a framework of generalized functions adapted to nonlinear operations. The free-field operators, their commutation relations, and the free-field Hamiltonian operator are calculated by a straightforward transcription of the usual formalism expressed in configuration space. This leads to the usual results, which are essentially independent of the regularization, with the exception of the zero-point energy which may be set to zero if a particular regularization is chosen. The calculations for the self-interacting field are more difficult, especially because of the well-known problems due to the unboundness of the operators and their time-dependent domains. Nevertheless, a proper methodology is developed and a differentiation on time-dependent domains is defined. The Heisenberg equations and the interacting-field equation are shown to be mathematically meaningful as operator-valued nonlinear generalized functions, which therefore provide an alternative to the usual Bogoliubov-Wightman interpretation of quantized fields as operator-valued distributions. The equation for the time-evolution operator is proved using two different methods, but no attempt is made to calculate the scattering operator, and the applications to perturbation theory are left to a subsequent report.

연구 동기 및 목표

• 양자장론에서 수정되지 않은 하이젠베르크-파울리 캐논ical 형식론에 대한 엄밀한 수학적 해석을 제공하는 것.
• 표준 QFT에서 연산자 값 분포와 유계가 아닌 연산자로 인해 발생하는 수학적 모순을 해결하는 것.
• 계산의 끝까지 정규화를 일반적으로 유지함으로써 물리적 예측을 유지하는 것.
• 일반화된 함수 이론을 사용하여 시간에 따라 변화하는 연산자 정의역에서 시간 미분 연산을 정의하는 것.
• 이식된 장 방정식과 시간 진화 연산자의 수학적 타당성을 일반화된 함수 프레임워크 내에서 확립하는 것.

제안 방법

• 비선형 일반화된 함수의 대수(G-대수)를 채택하여, 자유장 및 상호작용 장 연산자를 힐베르트 공간 위의 유계 선형 연산자 값을 갖는 일반화된 함수로 통합한다.
• 모리파이어와 데임퍼를 사용하여, 초기부터 연산자 값 분포를 정규화함으로써 유도된 모든 양이 잘 정의되어 있음을 보장한다.
• 이 프레임워크는 일반화된 도함수를 정의하여 시간에 따라 변화하는 정의역에서의 미분을 가능하게 하며, 연산자 정의역의 진화와 호환된다.
• 해밀토니언은 자유장 연산자의 G-통합을 통해 엄밀히 구성되며, 정상 순서화와 영점 에너지에 대한 주의 깊은 다루기가 이루어진다.
• 시간 진화 연산자가 요구되는 방정식을 만족함을 보일 두 가지 독립적인 방법을 사용하였으며, 페르투르베이션 전개를 피한다.
• 장들을 분포가 아닌 일반화된 함수로 간주함으로써 보골리우보프-위트먼 해석을 피한다.

실험 결과

연구 질문

• RQ1 수정되지 않은 하이젠베르크-파울리 형식론이 비선형 일반화된 함수의 맥락에서 수학적으로 엄밀하게 제시될 수 있는가?
• RQ2 일반화된 함수 프레임워크 내에서 시간에 따라 변화하는 정의역을 갖는 연산자에 대해 시간 도함수 연산을 일관되게 정의할 수 있는가?
• RQ3 이식된 장 방정식은 연산자 값 일반화된 함수로서 수학적으로 의미 있는가?
• RQ4 이 형식론 내에서 산란 연산자를 엄밀히 정의하고, 그 페르투르베이션 전개를 시작할 수 있는가?
• RQ5 영점 에너지는 물리적 모호성으로 남아 있는가, 아니면 정규화 선택을 통해 제거될 수 있는가?

주요 결과

• 자유장 해밀토니언과 교환관계는 일반화된 함수 프레임워크 내에서 엄밀히 유도되었으며, 영점 에너지를 제외한 정규화에 거의 의존하지 않는 결과를 얻는다.
• 특정 정규화를 선택함으로써 영점 에너지를 0으로 설정할 수 있으며, 이는 이 형식론에서 영점 에너지가 비물리적임을 보여준다.
• 시간 진화 연산자가 두 가지 다른 방법을 통해 요구되는 방정식을 만족함을 증명하여 그 수학적 일관성을 확인한다.
• 이식된 장 방정식이 연산자 값 비선형 일반화된 함수로서 수학적으로 의미 있는 것으로 밝혀졌다.
• 이 형식론은 분포적 특이성을 피하고 표준 분포 기반 해석에 대한 일관된 대안을 제공한다.
• 시간 진화 연산자의 페르투르베이션 전개에 대한 잔여항 추정치가 유도되었으며, 시간과 결합 강도에 대해 유계 성장을 보임을 보였다.