[논문 리뷰] Constructive Representation Theory for the Feynman Operator Calculus

Tepper L. Gill, W. W. Zachary|arXiv (Cornell University)|2007. 01. 12.

advanced mathematical theories참고 문헌 28인용 수 5

한 줄 요약

이 논문은 시간 순서 정렬된 연산자 해석학을 위한 엄밀한 구성적 프레임워크를 수립한다. 새로운 힐버트 공간을 도입함으로써 측도나 연속 경로 공간에 의존하지 않고 직접 경로 적분을 구성할 수 있게 한다. 반응 이론을 시간 순서 정렬된 연산자로 확장하고, 일반화된 힐레-요시다 정리를 증명하며, 측도 없이 경로 적분을 제시함으로써 포물형 및 쌍곡형 진화 방정식을 통합하고 파입만-카스 공식을 일반화한다.

ABSTRACT

In this paper, we survey recent progress on the constructive theory of the Feynman operator calculus. (The theory is constructive in that, operators acting at different times, actually commute.) We first develop an operator version of the Henstock-Kurzweil integral, and a new Hilbert space that allows us to construct the elementary path integral in the manner originally envisioned by Feynman. After developing our time-ordered operator theory we extend a few of the important theorems of semigroup theory, including the Hille-Yosida theorem. As an application, we unify and extend the theory of time-dependent parabolic and hyperbolic evolution equations. We then develop a general perturbation theory and use it to prove that all theories generated by semigroups are asympotic in the operator-valued sense of Poincare. This allows us to provide a general theory for the interaction representation of relativistic quantum theory. We then show that our theory can be reformulated as a physically motivated sum over paths, and use this version to extend the Feynman path integral to include more general interactions. Our approach is independent of the space of continuous functions and thus makes the question of the existence of a measure more of a natural expectation than a death blow to the foundations for the Feynman integral.

연구 동기 및 목표

• 파입만의 시간 순서 정렬된 연산자 해석학을 위한 구성적이고 수학적으로 엄밀한 기초를 제공함. 이 때 시간에 따라 다른 연산자들은 서로 가환성을 가진다.
• 파입만 경로 적분의 기초적 문제를 해결하기 위해, 핵심 함수와 델타 함수를 유계 연산자로 포함하는 힐버트 공간을 구성한다.
• 클래식한 반응 이론(특히 힐레-요시다 및 트로터-카토 정리)을 시간 순서 정렬된 설정으로 확장하여 시간에 따라 변화하는 진화에 대한 일반 이론을 가능하게 한다.
• 시간에 따라 변화하는 포물형 및 쌍곡형 진화 방정식 이론을 하나의 연산자 이론 프레임워크 안에서 통합하고 일반화한다.
• 모든 시간 순서 정렬된 진화 연산자가 파oincaré 연산자 값의 의미에서 점점 수렴함을 증명하는 일반적인 섭동 이론을 개발함으로써, 상대론적 양자 이론에서 일반적인 상호작용 표현을 가능하게 한다.

제안 방법

• 최소한의 정규성 조건 하에서 시간 순서 정렬된 연산자 적분을 다룰 수 있도록, 헨스톡-쿠르츠베일 적분의 연산자 형태를 도입한다.
• 연속적인 텐서곱 힐버트 공간 $\mathcal{H}_{\otimes}^{2}(\varphi)$ 를 구성하여, 파입만 핵심 함수와 델타 함수를 노름 유계 원소로 포함시킨다.
• 시간 순서 정렬된 적분과 생성자 정리에 의해 시간 순서 정렬된 진화를 정의하며, 비가환 시간 순서 정렬된 연산자로 일반화된 힐레-요시다 정리를 확장한다.
• 시간에 따라 변화하는 해밀토니안에 이 те올리를 적용하기 위해, 연산자의 정의역이 공집합일 수 있는 경우에도 트로터-카토 정리를 확장한다.
• 시간 순서 정렬된 진화 연산자를 사용하여 경로 합으로서의 경로 적분 표현을 개발하며, 연속 경로에 대한 측도에 의존하지 않는다.
• 탈구성 기법을 사용하여 시간 순서 정렬된 해석학을 전통적 분석과 연결함으로써, 형식적 탈구성 절차에 의존하지 않는다.

실험 결과

연구 질문

• RQ1 시간 순서 정렬된 연산자들이 가환성을 가지는 조건에서, 파입만의 시간 순서 정렬된 연산자 해석학을 위한 엄밀하고 구성적인 힐버트 공간 프레임워크를 개발할 수 있는가?
• RQ2 연속 경로에 대한 측도나 연속 함수 공간에 대한 측도에 의존하지 않고 파입만 경로 적분을 어떻게 구성할 수 있는가?
• RQ3 클래식한 반응 이론(예: 힐레-요시다, 트로터-카토)이 시간 순서 정렬된 연산자 설정으로 얼마나 넓게 확장될 수 있는가?
• RQ4 시간 순서 정렬된 진화에 대해 파인카르에 연산자 값의 의미에서 점점 수렴함을 증명하는 일반적인 섭동 이론을 개발할 수 있는가?
• RQ5 상대론적 양자 이론에서 시간 순서 정렬된 연산자 해석학을 통해 상호작용 표현을 체계적으로 유도할 수 있는가?

주요 결과

• 파입만 핵심 함수와 델타 함수가 유계 연산자로 포함된 새로운 힐버트 공간 $\mathcal{H}_{\otimes}^{2}(\varphi)$ 가 구성되었으며, 이로 인해 측도 없이 직접적인 경로 적분을 구성할 수 있게 되었다.
• 힐레-요시다 정리는 시간 순서 정렬된 연산자로 일반화되었으며, 약한 조건 하에서도 시간 순서 정렬된 반응 이론의 존재를 보장한다.
• 이 이론은 시간에 따라 변화하는 포물형 및 쌍곡형 진화 방정식의 해를 하나의 시간 순서 정렬된 연산자 프레임워크 안에서 통합하고 확장한다.
• 일반적인 섭동 이론이 개발되었으며, 모든 시간 순서 정렬된 진화 연산자가 파인카르에 연산자 값의 의미에서 점점 수렴함을 증명한다.
• 경로 적분은 연속 경로에 대한 측도에 의존하지 않는 경로 합으로 재구성되었으며, 측도가 필요하다는 것은 기초적인 필요성보다는 관례일 뿐임을 보여준다.
• 정의역이 공집합일 수 있는 두 연산자의 경우에도 트로터-카토 정리를 확장할 수 있도록 탈구성 기법이 일반화되었다.