A Feynman-Kac Formula for Unbounded Semigroups 3

Home , Barry Simon

arXiv:math-ph/9907022v1 27 Jul 1999 ulyadaayial,i h ena-a oml.Altestandard the All formula. [ Feynman-Kac e.g., the is analytically, and tually semigroup o included. not If unbounded rwinbridge. Brownian osblt,tetcnclpolm r id n ti h ups fth of purpose the is it and mild, are that. show problems technical the possibility, inbig Term66o [ of 6.6 (Theorem bridge nian aiu lent om fteFymnKcformula. Feynman-Kac the of forms alternate various { nlssadQatmPyis epi,1999. Leipzig, Physics, Quantum m and this Analysis in rights certain has Government The DMS-9707661. No. α b i ( n ftems sfltosi h td fSchrödinger of operato study the in tools useful most the of One u h etito osemibounded to restriction the But 1991 h omo h ena-a oml ewl ics si em fthe of terms in is discuss will we formula Feynman-Kac the of form The The oapa nPoednso h nentoa ofrneon Conference International the of Proceedings in Sc appear National To the by supported work upon based is material This sBona oin then motion, Brownian is t ) ena-a oml o none Semigroups Unbounded for Formula Feynman-Kac A 7 } )asm h Schrödinger operator the assume ]) i ν =1;0 upr i in lie support potentials vnthough Even Abstract. ahmtc ujc Classification. Subject Mathematics ν dmninlBona rdecnit of consists bridge Brownian -dimensional e ≤ H − t tH ≤ saltetm,s h o unbounded not why so time, the all ’s 1 sbudd hsmas o xml,ta tr aitnasare Hamiltonians Stark that example, for means, This bounded. is ihcovariance with V ( epoeaFymnKcfruafrSh¨dne prtr w Schrödinger operators for formula Feynman-Kac a prove We x E e D htoe frall (for obey that ) − ( ( tH α e − i ( tH sa none prtr any operator, unbounded an is t ) and ) α j ( 7 α s ) neoehsti,i ses oetn othe to extend to easy is it this, has one Once ]). )= )) .Introduction 1. h V ( ,e ϕ, s ( ar Simon Barry = ) E x ) − ( δ − ≥ α > ε tH ij b i ( ψ min( ( rmr:8S0 70;Scnay 60J65. Secondary: 47D08; 81S40, Primary: H t s ε 1 0) i )=0 = )) | ) x sgvnb ena-a formula. Feynman-Kac a by given is H spyhlgcl o el eda with deal We real. not psychological, is − | 2 ,s t, − sbuddblw oteSchrödinger the so below, bounded is s b C . )[1 1 sa xlctraiaino the of realization explicit an is (1) ε . − e max( ,ψ ϕ, ν − nnt iesoa (Stochastic) Dimensional Infinite tH aterial. onl asinprocesses, Gaussian jointly ec onainudrGrant under Foundation ience ∈ neoecniesthe considers one Once ? ,s t, L 2 )] ihcompact with s ohconcep- both rs, ros (see, proofs, ith snt to note is Brow- 2 B. SIMON

For any real function V on Rν and t > 0, define (the expectation may be infinite): t s s s (1.1) Q(x, y; V,t)= E exp V 1 x + y + √t α ds . − Z0 − t t t Throughout this paper, let 1 H0 = ∆ − 2 on L2(Rν ), so x y 2 (1.2) e−tH0 (x, y)=(2πt)−ν/2 exp | − | . − 2t The Feynman-Kac formula I’ll start with — one of many in [7] — is Theorem 1.1. Suppose V is a continuous function on Rν which is bounded 2 ν from below. Let H = H0 + V . Then for any t> 0 and ϕ, ψ L (R ): ∈ (1.3) ϕ, e−tH ψ = ϕ(x) ψ(y) e−tH0 (x, y)Q(x, y; V,t). h i Z In this paper, we will consider potentials V (x) for which for any ε > 0, there is Cε so that (1.4) V (x) ε x 2 C . ≥− | | − ε It is known (see [5], Theorem X.38) that for such V , H = H0 + V is essentially ∞ Rν −tH self-adjoint on C0 ( ), so we can use the functional calculus to define e which might be unbounded. Our main goal here is to prove: Theorem 1.2. Suppose V is a continuous function which obeys (1.4). Then for all x, y Rν , t > 0, (1.1) is finite. Let ϕ, ψ L2(Rν ) have compact support. Then for all∈t> 0, ϕ, ψ D(e−tH ) and (1.3) holds.∈ ∈ Remarks. 1. It isn’t necessary to suppose that ϕ, ψ have compact support. 2 2 Our proof shows that it suffices that eεx ψ,eεx ϕ L2 for some ε> 0. In particular, ϕ, ψ can be Gaussian. ∈ 2. Using standard techniques [1],[3],[7], one can extend the proof to handle 1 V = V1 + V2 where V1 obeys (1.4) but is otherwise in Lloc and V2 is in the Kato class, Kν . 2 3. If one only has V (x) C1 C2x for a fixed C2, our proof shows that the Feynman-Kac formula holds≥− for t sufficiently− small. It may not hold if t is large since it will happen if V (x)= x2 that E(exp( t V (α(s)) ds)) will diverge if t is − − 0 large. R As for applications of Theorem 1.2, one should be able to obtain various regu- larity theorems as in [6]. Moreover, for H = ∆+F x, one can compute e−tH (x, y) explicitly and so obtain another proof of the− explicit· formula of Avron and Herbst [2]. Dedication. Sergio Albeverio has been a master of using and extending the notion of path integrals. It is a pleasure to dedicate this to him on the occasion of his 60th birthday. A FEYNMAN-KAC FORMULA FOR UNBOUNDED SEMIGROUPS 3

2. A Priori Bounds on Path Integrals Our goal in this section is to prove Theorem 2.1. Let V obey (1.4) and let Q be given by (1.1). Then, for each t> 0 and δ > 0, we have that Q(x, y; V,t) D exp(δx2 + δy2), ≤ where D depends only on t,δ and the constants C . { ε} 2 1 Lemma 2.2. Let X be a Gaussian random variable. Suppose ε Exp(X ) < 2 . Then E(exp(εX2)) < (and is bounded by a function of ε Exp(X2) alone). ∞ Proof. A direct calculation. Alternately, we can normalize X so Exp(X2)= 1. Then E(exp(εX2)) = (2π)−1/2 exp((ε 1 )x2) dx < . − 2 ∞ Proof of Theorem 2.1. NoteR that if 0 <θ< 1, and x, y, α Rν , then ∈ θx + (1 θ)y + α 2 2 θx + (1 θ)y 2 +2 α 2 | − | ≤ | − | | | 2(x2 + y2 + α 2). ≤ | | Thus, by (1.4), 1 2 2 2 2 (2.1) Q(x, y; V,t) E exp Cεt +2εt(x + y )+2ε t α(s) ds . ≤ Z0 By Jensen’s inequality, 1 1 (2.2) E exp 2 εt2α(s)2 ds E(exp(2εt2α(s)2) ds). Z0 ≤ Z0 2 1 1 Since E(α(s) ) is maximized at s = 2 when it is 4 , we see that RHS of (2.2) E(exp(2εt2α( 1 )2)) ≤ 2 2 2 is ﬁnite if εt < 1, so we can pick ε = δ0/t with δ0 < 1 and ﬁnd (using the explicit value of E(exp(X2)) in that case −1/2 2 2 Q(x, y; V,t) √2 (1 δ0) exp(C t +2δ0(x + y )/t), ≤ − ε which proves Theorem 2.1.

3. A Convergence Lemma In this section, we will prove: Theorem 3.1. Let A , A be self-adjoint operators on a Hilbert space so that n H An A in strong resolvent sense. Let f be a continuous function on R and ψ with→ψ D(f(A )) for all n. Then ∈ H ∈ n (i) If supn f(An)ψ < , then ψ D(f(A)). (ii) If sup kf(A )2ψk <∞ , then f∈(A )ψ f(A)ψ. n k n k ∞ n → Remark. Let = L2(0, 1), ψ(x) 1, A = multiplication by n1/2 times H ≡ n the characteristic function [0, 1/n], and A 0. Then An A in strong resolvent sense and sup A ψ < , but A ψ does≡ not converge to→Aψ so one needs more n k n k ∞ n than supn f(An)ψ < to conclude that f(An)ψ f(A)ψ. The square is k k ∞ → R R overkill. We need only supn F (f(An))ψ < for some function F : with lim F (x) /x = . k k ∞ → |x|→∞ | | ∞ 4 B. SIMON

Proof. Suppose that sup f(A )ψ < . Let n k n k ∞ m if f(x) m ≥ fm(x)= f(x) if f(x) m  | |≤ m if f(x) m. − ≤−  Then ([4], Theorem VIII.20) for each ﬁxed m, fm(An) fm(A) strongly. It follows that →

fm(A)ψ = lim fm(An)ψ k k n k k sup fm(An)ψ sup f(An)ψ . ≤ n k k≤ n k k

Thus, supm fm(A)ψ < , which implies that ψ D(f(A)). Now supposek supk f∞(A )2ψ < . Then ∈ n k n k ∞ 1 (f(A ) f (A ))ψ f(A )2ψ . k n − m n k≤ m k n k

Thus fm(An)ψ f(An)ψ uniformly in n which, given that fm(An)ψ fm(A)ψ, implies that f(A→)ψ f(A)ψ. → n →

4. Putting It Together We are now ready to prove Theorem 1.2. Let V be continuous and obey (1.4). Let Vn(x) = max(V (x), n). Then Vn is bounded from below, so Theorem 1.1 applies, and so (1.3) holds.− Let ϕ L2 with compact support. By Theorem 2.1, we have ∈

sup exp( tHn)ϕ < n k − k ∞ for each t positive. ∞ Rν By the essential self-adjointness of H on C0 ( ) and (Vn V )η 0 for ∞ − → any η C0 , we see that Hn converges to H in strong resolvent sense. Hence ∈ −tx setting An = Hn, A = H, f(x) = e , and ψ = ϕ, we can use Theorem 3.1 to see that ϕ D(exp( tH)) and [exp( tHn) exp( tH)]ϕ 0. Thus as n , the left-hand∈ side− of the Feynman-Kack − formula− converges.− k→ By the a priori bound→ ∞ in Theorem 2.1 and the dominated convergence theorem, the right-hand side converges. So Theorem 1.2 is proven.

References

[1] S. Albeverio and R. Høegh-Krohn, Mathematical Theory of Feynman Path Integrals, Springer, New York, 1976. [2] J.E. Avron and I. Herbst, Spectral and scattering theory of Schrödinger operators related to the Stark effect, Commun. Math. Phys. 52 (1977), 239–254. [3] K.L. Chung and Z. Zhao, From Brownian Motion to Schrödinger’s Equation, Springer, New York, 1995. [4] M. Reed and B. Simon, Methods of Modern Mathematical Physics, I. Functional Analysis (rev. ed.), Academic Press, London, 1980. [5] M. Reed and B. Simon, Methods of Modern Mathematical Physics, II. Fourier Analysis, Self-Adjointness, Academic Press, London, 1975. [6] B. Simon, Schrödinger semigroups, Bull. Amer. Math. Soc. 7 (1982), 447–526. [7] B. Simon, Functional Integration and Quantum Physics, Academic Press, London, 1979. A FEYNMAN-KAC FORMULA FOR UNBOUNDED SEMIGROUPS 5

Division of Physics, Mathematics, and Astronomy, 253-37, California Institute of Technology, Pasadena, CA 91125, USA. E-mail address: [email protected]