Abstract
We consider resonances for Schrödinger operators with compactly supported potentials on the line and the half-line. We estimate the sum of the negative power of all resonances and eigenvalues in terms of the norm of the potential and the diameter of its support. The proof is based on harmonic analysis and Carleson measures arguments.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We discuss global estimates of resonances in terms of the potential for Schrödinger operators \(H=H_0+q\), where the unperturbed operator \(H_0\) is one of the following:
We assume that q is real, integrable and has a compact support. It is well known that the spectrum of H consists of an absolutely continuous part \([0,\infty )\) and a finite number of simple negative eigenvalues \(E_1<\cdots<E_m<0\), see well-known papers [5, 22] and the book [20] about inverse scattering. The Schrödinger equation
has unique solutions \(\psi _{\pm }(x,k)\) such that \(\psi _+(x,k )=e^{ixk }\) for large positive x and \(\psi _-(x,k)=e^{-ik x}\) for large negative x. Outside the support of q any solutions of (1) have to be combinations of \(e^{\pm ik x}\). The functions \(\psi _\pm (x,\cdot ), \psi _\pm '(x,\cdot )\) for all \(x\in {\mathbb R}\) are entire. We define the Wronskian w for Case 1 by
where \(\{f, g\}=fg'-f'g\). In Case 2 the Jost function is defined as \(\psi _+(0,\cdot )\) and in Case 3 the Jost function is defined as \(\psi _+'(0,\cdot )\). Let F be one of the functions \(w, \psi _+(0,k )\) or \(\psi _+'(0,k )\). Recall that the function F is entire. One has exactly m simple zeros \(k_{1}=i|E_1|^{1/2},\ldots k_{m}=i|E_{m}|^{1/2}\) in the upper half-plane \({\mathbb C}_+\) and for \(q\ne 0\) an infinite number of zeros \((k_{n})_{m+1}^{\infty }\) in the lower half-plane \(\overline{{\mathbb C}}_-\) labeled by
see [9, 24, 27] and [16]. Here it is possible that \(k_{m+1}=0\) for some potential, but \(0<|k_{m+2}|\) for any potential. By definition, a zero \(k_n\in \overline{{\mathbb C}}_-\) of F is called a resonance of H. The multiplicity of the resonance is the multiplicity of the corresponding zero of F. Of course, the energies are given by \(k^2\), but since k is the natural parameter, we will abuse the terminology.
There are only few estimates of resonances. We denote the number of zeros of function f having modulus \(\leqslant r\) by \({\mathcal N}(r,f)\), each zero being counted according to its multiplicity.
Firstly, Zworski [27] determines the asymptotics of the counting function for resonances:
where \([0,\gamma ]\) is the convex hull of the support of q. Note that (3) holds true for the case 2 and 3 (see [14, 24]).
Secondly, let \({\mathscr {N}}_t\) denote the number of resonances and eigenvalues in the half-plane \(\{\mathop {\mathrm {Im}}\nolimits k>t\}, t<0\). Then there is a constant \({\mathcal C}_q\) (see Theorem 3.11 in [8]) such that the following estimate holds true:
where \({\mathcal C}_q\) is some constant depending on \(\Vert q\Vert \), but not on t. Unfortunately, (4) is not sharp, since \({\mathcal C}_q\) is unknown.
Thirdly, for the Case 2 (at \(\gamma =1\)) there are simple estimates from [14]
for any \(k_n\in {\mathbb C}_-\). Note that this estimate yields the will-known logarithmic curve for forbidden domain.
Define the constant Q by
We present a theorem about new estimates of counting functions.
Theorem 1.1
Let \(H=H_0+q\), where q is integrable and has compact support.
In Case 1, let \(\mathop {\mathrm {supp}}\nolimits q\subset [0, \gamma ]\) but in no smaller interval.
In Cases 2 and 3, let \(\gamma =\sup (\mathop {\mathrm {supp}}\nolimits (q))\).
Let \(r>0\) and \(r_1=r+{12}\). Then the following estimates hold true:
The proof is based on the Jensen formula and standard estimates of the fundamental solutions. The RHS in (2) has asymptotics \({\frac{2}{\log 2}}{\frac{2 r}{\pi }}(\gamma +o(1))\) as \(r\rightarrow \infty \). If we compare this asymptotics with (3), then we obtain the coefficient \({\frac{2}{\log 2}}\). It means that the estimate (7) is sufficiently exact, but weaker than what asymptotics (3) gives.
We present our main result.
Theorem 1.2
Let \(H=H_0+q\), where q is integrable and has compact support.
In Case 1, let \(\mathop {\mathrm {supp}}\nolimits q\subset [0, \gamma ]\) but in no smaller interval.
In Cases 2 and 3, let \(\gamma =\sup (\mathop {\mathrm {supp}}\nolimits (q))\).
Then for any \(p>1\) the following estimates hold true:
where \(C\leqslant 2^5\) is an absolute constant, \(Y_p=\sqrt{\pi }\Gamma (\frac{p-1}{2})/\Gamma (\frac{p}{2})\) and
Remark
-
1.
The function \(Y_p, p>1\) is strongly monotonic and convex on \((1,\infty )\), since \(Y_p'<0, Y_p''>0\), and satisfies
$$\begin{aligned} Y_2=\pi ,\qquad Y_p={\left\{ \begin{array}{ll} {\frac{1}{\sqrt{p}}}(\sqrt{2\pi }+O(1/p)) &{} \mathop {\mathrm {as}}\nolimits \quad p\rightarrow \infty \\ {\frac{1}{p-1}}(2+o(1)) &{} \mathop {\mathrm {as}}\nolimits \quad p\rightarrow 1\end{array}\right. }. \end{aligned}$$(11)Thus we can control the RHS of (9) at \(p\rightarrow 1\) and for large \(p\rightarrow \infty \). Note we take \(p>1\), since the asymptotics (3) implies the simple fact \(\sum _{k_n\ne 0} {1|k_n|}=\infty \), see p. 17 in [18].
-
2.
The RHS of (9) depends on 3 crucial parameters: \(p>1\), the diameter of the support of the potential and the magnitude \(\Vert q\Vert \) of the potential. In Cases 1 and 3 we can not remove 1 in the RHS of (9). In Case 2 probably the number 1 should be absent in the RHS of (9). In order to explain this we need to add that at \(q=0\) there is a resonance in the Cases 1 and 3, but there is no a resonance in the Case 2.
-
3.
In Case 1 the proof of (9) is based on analysis of the function w. We use harmonic analysis and the Carleson Theorem (Theorems 1.56 and 2.3.9 in [10]) about Carleson measure. The proof for Cases 2 and 3 is a simple corollary of Case 1.
-
4.
C is the constant from Carleson’s Theorem ([1, 2] and see Theorems 1.56 and 2.3.9 [10]).
-
5.
In fact, the estimates (7), (9) give a new global property of resonance stability.
-
6.
It is well-known that the Jost function is a Fredholm determinant, see [12]. In Case 1 we consider the Fredholm determinant \(D(k)=\mathop {\mathrm {det}}\nolimits (I+q(H_0-k^2)^{-1}), k\in {\mathbb C}_+\). The function D is analytic in the upper half-plane (see e.g. [9]) and satisfies the well-known identity \(D(k)={\frac{w(k)}{2ik}}\) for all k. Thus Theorem 1.2 describes the zeros of the determinants also.
Resonances for the multidimensional case were studied by Melrose, Sjöstrand, and Zworski and other, see [23, 25, 28]) and references therein. We discuss the one dimensional case. A lot of papers are devoted to resonances for the 1D Schrödinger operator, see Froese [9], Korotyaev [17], Simon [24], Zworski [27], and references therein. Different properties of resonances were determined in [8, 24, 27], and [14, 16, 17]. Korotyaev solved the inverse problem for resonances for the Schrödinger operator with a compactly supported potential on the real line [16] and the half-line [14]: (i) the characterization of S-matrix in terms of resonances, (ii) a recovering of the potential from the resonances, (iii) the potential is uniquely determined by the resonances (about uniqueness see also [3, 29]).
The “local resonance” stability problem was considered in [15] for Case 2. Roughly speaking, if \((k_n)_1^\infty \) is a sequence of eigenvalues and resonances of the Schrödinger operator with some compactly supported potential q and \(\sum _{n\ge 1}n^{2\varepsilon }|k_n-k_{n}^\bullet |^2<\infty \) for some sequence \((k_n^\bullet )_1^\infty \) and \(\varepsilon >1\), then \((k_n^\bullet )_1^\infty \) is a sequence of eigenvalues and resonances of a Schrödinger operator for some unique real compactly supported potential \( q_\bullet \).
Finally we note that some stability results (quite different type, so-called stability for finite data) were obtained by Marlettta et al. [21].
A lot of papers are devoted to estimates of eigenvalues in terms of the potential. We recall Lieb–Thirring type inequalities ([19]) from [6] given by:
Let V be a non-negative, unbounded potential, such that the Schrödinger operator \(-\Delta +V\) in \(L^2({\mathbb R}^d)\) has an unbounded sequence of discrete eigenvalues \(\lambda _1\leqslant \lambda _2\leqslant \cdots \). Then
for all \( p>d\). The inequality is derived from inequalities by Golden [4] and Thompson [26]. It is interesting that (9) and (12) (at \(d=1\)) have the same constant \(C_p(1)=Y_p\).
In our case (9) the number of resonances is infinite and we consider also the power \(p>1\). Furthermore, some resonances and eigenvalues can be close to zero even for small potentials. For this reason, we sum \(|k_n-2i|^{-{p}}\) and \(|k_n+2i|^{-{p}}\). Thus, roughly speaking, (9) is a Lieb–Thirring type inequality for the resonances (Loss, private communication).
We shortly describe the proof of main Theorem 1.2. We use results about the Carleson measure. Recall that a positive Borel measure M defined in \({\mathbb C}_-\) is called a Carleson measure if there is a constant \(C_M\) such that for all \((r,t)\in {\mathbb R}_+\times {\mathbb R}\)
here \(C_M\) is the Carleson constant independent of (t, r).
We consider that case when the Wronskian w has not zeros in the upper half-plane, the proof of other cases is similar. For an entire function w with zeroes \(k_n, n\ge 1\) we define an associated measure by
where \(\delta \) is the delta-function. In order to prove Theorem 1.2 show that the measure \(\Omega (k,w)\) is the Carleson measure. In the proof we obtain different type of estimates of the Wronskian w, and in particular we prove Theorem 1.1. We underline that the main problem is to get the best Carleson constant in terms of potentials.
After this we use the following Carleson result (see p. 63, Theorem 3.9, [10]):
Let F be analytic on \({\mathbb C}_-\). For \(0<p<\infty \) we say F belongs the Hardy space \( {\mathscr {H}}_p={\mathscr {H}}_p({\mathbb C}_-)\) if
We define the Hardy space \({\mathscr {H}}_p\) for the case \({\mathbb C}_-\), since below we work with functions on \({\mathbb C}_-\).
If M is a Carleson measure and satisfies (13), then the following estimate holds:
where \(C_M\) is the so-called Carleson constant from (13) and \(C\leqslant 2^5\) is an absolute constant.
Thus in order to prove the main theorem we apply (15) to the functions \(F(k)={\frac{1}{k-i}}\) and \(dM=d\Omega \).
References
Carleson, L.: An interpolation problem for bounded analytic functions. Am. J. Math. 80, 921–930 (1958)
Carleson, L.: Interpolations by bounded analytic functions and the corona problem. Ann. Math. 76, 547–559 (1962)
Brown, B., Knowles, I., Weikard, R.: On the inverse resonance problem. J. Lond. Math. Soc. 68(2), 383–401 (2003)
Golden, S.: Lower bounds for the Helmholtz function. Phys. Rev. 2(137), B1127–B1128 (1965)
Deift, P., Trubowitz, E.: Inverse scattering on the line. Commun. Pure Appl. Math. 32, 121–251 (1979)
Dolbeault, J., Felmer, P., Loss, M., Paturel, E.: Lieb–Thirring type inequalities and Gagliardo–Nirenberg inequalities for systems. J. Funct. Anal. 238(1), 193–220 (2006)
Erdelyi, A., Magnus, W., Oberhettinger, F., Tricomi, F.: Higher Transcendental Functions. Vol. I, Based, in Part, on Notes Left by Harry Bateman. McGraw-Hill Book Company Inc, New York (1953)
Hitrik, M.: Bounds on scattering poles in one dimension. Commun. Math. Phys. 208, 381–411 (1999)
Froese, R.: Asymptotic distribution of resonances in one dimension. J. Differ. Eq. 137(2), 251–272 (1997)
Garnett, J.: Bounded Analytic Functions. Academic Press, New York (1981)
Javrjan, V.A.: Some perturbations of self-adjoint operators (Russian). Akad. Nauk. Armjan. SSR Dokl. 38, 3–7 (1964)
Jost, R., Pais, A.: On the scattering of a particle by a static potential. Phys. Rev. 82, 840–851 (1951)
Koosis, P.: The Logarithmic Integral I. Cambridge University Press, Cambridge (1988)
Korotyaev, E.: Inverse resonance scattering on the half line. Asymptot. Anal. 37(3/4), 215–226 (2004)
Korotyaev, E.: Stability for inverse resonance problem. Int. Math. Res. Not. 73, 3927–3936 (2004)
Korotyaev, E.: Inverse resonance scattering on the real line. Inverse Probl. 21(1), 325–341 (2005)
Korotyaev, E.: Resonance theory for perturbed Hill operator. Asymptot. Anal. 74(3–4), 199–227 (2011)
Levin, B.Y.: Lectures on Entire Functions. Translations of Mathematical Monographs, 150. American Mathematical Society, Providence (1996)
Lieb, E., Thirring, W.: Inequalities for the moments of the eigenvalues of the Schrödinger Hamiltonian and their relation to Sobolev inequalities. Studies in Math. Phys, Essays in Honor of Valentine Bargmann, Princeton (1976)
Marchenko, V.: Sturm–Liouville Operator and Applications. Birkhäuser, Basel (1986)
Marletta, M., Shterenberg, R., Weikard, R.: On the inverse resonance problem for Schrödinger operators. Commun. Math. Phys. 295, 465–484 (2010)
Melin, A.: Operator methods for inverse scattering on the real line. Commun. Partial Differ. Equ. 10, 677–786 (1985)
Melrose, R.: Polynomial bound on the number of scattering poles. J. Funct. Anal. 53, 287–303 (1983)
Simon, B.: Resonances in one dimension and Fredholm determinants. J. Funct. Anal. 178(2), 396–420 (2000)
Sjöostrand, J., Zworski, M.: Complex scaling and the distribution of scattering poles. J. Am. Math. Soc. 4(4), 729–769 (1991)
Thompson, C.: Inequality with applications in statistical mechanics. J. Math. Phys. 6, 1812–1813 (1965)
Zworski, M.: Distribution of poles for scattering on the real line. J. Funct. Anal. 73, 277–296 (1987)
Zworski, M.: Sharp polynomial bounds on the number of scattering poles of radial potentials. J. Funct. Anal. 82(2), 370–403 (1989)
Zworski, M.: A remark on isopolar potentials. SIAM J. Math. Anal. 82(6), 1823–1826 (2002)
Acknowledgements
I am grateful to Michael Loss, Atlanta, Grigori Rozenblum, Göteborgs, and Sergey Morozov, Munich, for useful comments about Lieb–Thirring inequalities and Elliot Lieb, Princeton, for the reference [6]. Moreover, I am also grateful to Alexei Alexandrov (St. Petersburg) for stimulating discussions about the Carleson Theorem. The study was partly supported by the RSF Grant No 15-11-30007.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Ari Laptev.
Dedicated to the memory of Michael Solomyak, 1931–2016.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Korotyaev, E. Lieb–Thirring type inequality for resonances. Bull. Math. Sci. 7, 211–217 (2017). https://doi.org/10.1007/s13373-016-0092-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13373-016-0092-3