[논문 리뷰] A Feynman-Kac Formula for Unbounded Semigroups

Barry Simon|ArXiv.org|1999. 07. 27.

Spectral Theory in Mathematical Physics참고 문헌 4인용 수 8

한 줄 요약

이 논문은 모든 ε > 0에 대해 V(x) ≥ -ε|x|² - C_ε를 만족하는 유계가 아닌 잠재력에 대해 슈뢰딩거 연산자에 대한 파인만-하스 공식을 수립한다. 반면에, 반응열 e^{-tH}는 유계가 아니지만, 컴팩트 지지가 있는 L^2 함수에 대해 행렬 원소 〈φ, e^{-tH}ψ〉는 잘 정의되어 있으며 경로 적분 공식으로 주어진다. 이는 고전적 파인만-하스 공식을 더 넓은 범위의 유계가 아닌 잠재력으로 확장한다.

ABSTRACT

We prove a Feynman-Kac formula for Schrodinger operators with potentials V(x) that obey (for all ε> 0): V(x) \geq - ε|x|^2 - C_ε. Even though e^{-tH} is an unbounded operator, any ϕ, ψ\in L^2 with compact support lie in D(e^{-tH}) and is given by a Feynman-Kac formula.

연구 동기 및 목표

• 유계가 아닌 잠재력이 최대 제곱형으로 증가하는 슈뢰딩거 연산자에 대해 파인만-하스 공식을 확장하는 것.
• 잠재력 V(x)가 아래로 유계가 아닐 경우 반응열 e^{-tH}가 비유계임에 따라 발생하는 도전 과제를 다루는 것.
• 컴팩트 지지가 있는 L^2 함수에 대해, 반응열의 비유계성에도 불구하고 행렬 원소 〈φ, e^{-tH}ψ〉가 여전히 잘 정의됨을 보이는 것.
• 이 비유계 설정에서 반응열의 엄밀한 경로 적분 표현을 제공하는 것.
• 고전적 파인만-하스 공식을 유계 잠재력의 범위를 넘어서, 물리적으로 중요한 많은 비유계 상호작용을 포함하는 더 넓은 클래스로 일반화하는 것.

제안 방법

• 스스로 수반되는 연산자에 대한 섭동 이론을 사용하여 슈뢰딩거 연산자 H = -Δ + V(x)의 정의역 성질을 분석하는 것.
• 주어진 잠재력 증가 조건 하에서 H의 스스로 수반성 보장을 위해 카토-레리히 정리를 적용하는 것.
• 브라운 운동 경로를 통한 경로 적분 기대값 형태로 파인만-하스 공식을 적용하는 것.
• 컴팩트 지지가 있는 시험 함수에 대해 기대값 E[exp(-∫_0^t V(B_s) ds)]의 유한성을 확립하는 것.
• 경로 적분 표현의 수렴을 정당화하기 위해 트로터 곱 공식을 사용하는 것.
• 모든 φ, ψ ∈ L^2 이며 컴팩트 지지일 경우, 행렬 원소 〈φ, e^{-tH}ψ〉가 잘 정의되고 경로 적분과 동일함을 증명하는 것.

실험 결과

연구 질문

• RQ1 파인만-하스 공식은 유계가 아닌 잠재력이 있는 슈뢰딩거 연산자로 확장될 수 있는가?
• RQ2 잠재력 V(x)가 어떤 조건을 만족할 경우, 컴팩트 지지가 있는 L^2 함수에 대해 행렬 원소 〈φ, e^{-tH}ψ〉가 잘 정의되는가?
• RQ3 H가 비유계일 경우, 반응열 e^{-tH}를 경로 적분으로 표현하는 것이 가능한가?
• RQ4 잠재력의 제곱형 증가 조건 V(x) ≥ -ε|x|² - C_ε가 파인만-하스 적분의 수렴에 어떤 영향을 미치는가?
• RQ5 이러한 잠재력에 대해 e^{-tH}의 정의역은 무엇이며, 컴팩트 지지가 있는 L^2 함수와 어떻게 관련되는가?

주요 결과

• 파인만-하스 공식은 모든 ε > 0에 대해 V(x) ≥ -ε|x|² - C_ε를 만족하는 잠재력이 있는 슈뢰딩거 연산자에 대해 성립한다.
• 모든 φ, ψ ∈ L^2 이며 컴팩트 지지일 경우, 반응열 e^{-tH}가 비유계일지라도 행렬 원소 〈φ, e^{-tH}ψ〉는 잘 정의되어 있다.
• 브라운 운동 하에서, 행렬 원소 〈φ, e^{-tH}ψ〉는 E[ φ(B_0) ψ(B_t) exp(-∫_0^t V(B_s) ds) ]로 경로 적분으로 주어진다.
• 잠재력 증가 조건은 지수 함수 기능의 적분 가능성 보장하여 경로 적분이 유한함을 보장한다.
• 결과적으로 고전적 파인만-하스 공식은 유계 잠재력의 범위를 넘어서, 제곱형으로 제어되는 많은 비유계 잠재력의 클래스로 일반화된다.
• 증명은 카토-레리히 정리와 비유계 연산자 맥락에서 트로터 곱 공식의 수렴에 기반한다.