×

\(L^ 1\)-properties of intrinsic Schrödinger semigroups. (English) Zbl 0613.47039

Authors’ abstract: ”We investigate the \(L^ 1\)-properties of the intrinsic Markov semigroup associated with a Schrödinger operator on \({\mathbb{R}}^ N\) which possesses a positive ground state. We discover cases for which this semigroup is norm analytic for positive times, and others for which the semigroup is norm discontinuous in the strongest possible sense. In the case of the harmonic oscillator we show that the generator of the intrinsic semigroup has totally different spectrum depending on whether one works in \(L^ 1({\mathbb{R}},e^{-x^ 2}dx)\) or \(L^ 2({\mathbb{R}},e^{-x^ 2}dx)\). In more general cases we show that the equality of the \(L^ 1\) and \(L^ 2\) spectrum is closely related to whether the Schrödinger semigroup is intrinsically ultracontractive.”
We shall elaborate on the framework in order to state the authors’ striking result on the quantum mechanical harmonic oscillation. The elliptic operator defined on functions on \(\Omega\subset {\mathbb{R}}\) by \[ L=-\sum^{n}_{i,j=1}\partial /\partial x_ i(A_{ij}(x)\partial /\partial x_ j)+V(x) \] is associated with (under suitable hypotheses) a semibounded self-adjoint operator H on \(L^ 2(\Omega,dx)\). Let \(\phi\) be a ground state for H in the sense that \(\phi\) is a strictly positive \(C^{\infty}\) function on \(\Omega\) which is an eigenvalue of \(H:H_{\phi}= E_{\phi}\). Call \(\tilde H=M_{\phi}^{-1}(H- E)M_{\phi}\) the associated ”intrinsic operator”; here \(M_{\phi}\) is the unitary operator from \(L^ 2(\Omega,\phi(x)^ 2dx)\) to \(L^ 2(\Omega,dx)\) of multiplication by \(\phi\). Let \(-\tilde H_ p\) be the realization of \(\tilde H\) which generates a Markov semigroup on \(L^ p(\Omega,\phi(x)^ 2dx)\), \(1\leq p<\infty\). While the spectrum of \(\tilde H_ p\) is typically independent of p for \(1<p<\infty\), this need not hold for \(p=1\). Consider the oscillator: \(H=2^{-1}(d^ 2/dx^ 2+x^ 2)\) on \(L^ 2({\mathbb{R}})\). The authors show that the spectrum of \(\tilde H_ 1\) is \(\{\) \(z\in {\mathbb{C}}:Re z\geq 0\}\). Moreover, each z with Re z\(>0\) is an eigenvalue of \(\tilde H_ 1\) of multiplicity two. Further, for \(0<s<t\), \(\eta\exp(-s\tilde H_ 1)- \exp(-t\tilde H_ 1)\eta =2\).
Reviewer: J.A.Goldstein

MSC:

47D03 Groups and semigroups of linear operators
47D07 Markov semigroups and applications to diffusion processes
47B15 Hermitian and normal operators (spectral measures, functional calculus, etc.)
81Q10 Selfadjoint operator theory in quantum theory, including spectral analysis
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] S. Agmonin; S. Agmonin · Zbl 0583.35027
[2] Davies, E. B., One-Parameter Semigroups (1980), Academic Press: Academic Press New York/London · Zbl 0457.47030
[3] Davies, E. B., JWKB and related bounds on Schrödinger eigenfunctions, Bull. London Math. Soc., 14, 273-284 (1982) · Zbl 0525.35026
[4] Davies, E. B.; Simon, B., Ultracontractivity and the heat kernel for Schrödinger operators and Dirichlet Laplacians, J. Funct. Anal., 59, 335-395 (1984) · Zbl 0568.47034
[5] Olver, F. W., Introduction to Asymptotics and Special Functions (1974), Academic Press: Academic Press New York/London · Zbl 0308.41023
[6] Reed, M.; Simon, B., (Methods of Modern Mathematical Physics, Vol. 2 (1975), Academic Press: Academic Press New York/London)
[7] Reed, M.; Simon, B., (Methods of Modern Mathematical Physics, Vol. 4 (1978), Academic Press: Academic Press New York/London)
[8] Simon, B., Schrödinger semigroups, Bull. Amer. Math. Soc., 7, 447-526 (1982) · Zbl 0524.35002
[9] Simon, B., The \(P(φ)_2\) Euclidean (Quantum) Field Theory (1974), Princeton Univ. Press: Princeton Univ. Press Princeton, NJ · Zbl 1175.81146
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.