We apply Cartwright’s theory in integral function theory to describe the angular distribution of scattering resonances in mathematical physics. A quantitative description on the counting function along rays in complex plane is obtained.
1. Introduction
In this paper, we study the distribution of the scattering resonances of a certain class of elliptic operators arousing from Schrödinger operator. We have
(1)H:=Δℝ3+V:L2(ℝ3)⟶L2(ℝ3),
where V∈𝒞0∞(ℝ3;ℝ). Let us denote the physical plane by
(2)𝒫:={λ∈ℂ∣ℑλ>0}.
It is well-known from spectral analysis that the resolvent operator (H-λ2)-1:L2(ℝ3)→H2(ℝ3) is bounded in 𝒫 except for some finite set {μ1,…,μe} such that {μ12,…,μe2} are the pure point spectrum of H. The resolvent (H-λ2)-1 can be meromorphically extended from 𝒫 to ℂ as an operator:
(3)R(λ):=(H-λ2)-1:Lcomp2(ℝ3)⟶Hloc2(ℝ3)
with poles of finite rank. All such meromorphic poles in ℂ are called resolvent resonances in mathematical physics literature. There are scattering theories in more generalized formalism. We refer to [1–3]. Let all of the meromorphic poles of R(λ) be denoted as
(4)ℛ:={μ1,…,μe,λ1,λ2,…}
repeated according to the multiplicity such that the only accumulation point is at infinity. The possible infinite set {λ1,λ2,…} is in the lower half complex plane.
The resolvent operator R(λ) defines a scattering matrix
(5)S(λ):L2(𝕊2)⟶L2(𝕊2),
which is of the form I+A(λ), where A(λ) is of trace class depending meromorphically on λ∈ℂ. The poles are called the scattering resonances which share the same multiplicity at each pole as resolvent resonances. It is a subject of great interest in mathematical physics to describe the scattering resonances approximately inside a disc of radius r or in certain region in complex plane ℂ. Therefore, we count the poles of the meromorphically defined scattering determinant detS(λ).
In any case, we consider the determinant
(6)s(λ):=detS(λ)
satisfying the following properties [1–4]:
s(-λ)=s(λ-)¯=1/s(λ);
(P.2) the point set ℛ and |s(λ)| is symmetric about the imaginary axis;
(P.3) there is no pole on the real axis except possibly a double pole at λ=0;
(P.4) there are only exceptionally finitely many poles {μ1,…,μe} in ℂ+:={ℑz>0}; infinitely many poles in ℂ-:={ℑz<0};
(P.5) the functional determinant s(λ) is of order 3, the number of space dimension.
The growth estimate on s(λ) has only upper bound as proved in [2] which is an optimal upper bound. The actual lower bound is unknown to the author. (P.5) is the most nontrivial hypothesis.
Let us define
(7)𝔰(λ):=zm0∏j=1eλ-μjλ-μ¯js(λ),
where 0≤m0≤2 is chosen minimally such that 𝔰(λ) has no zero at z=0. Surely, 𝔰(λ) is a regular function of order three in ℂ-+:={ℑz≥0}. Because of (P.1), the zeros of 𝔰(λ) are substitutes in the study of poles of s(λ) in ℂ-:={ℑz<0}.
As suggested by (P.4), there are infinitely many zeros of 𝔰(λ) in ℂ+. We will use Cartwright’s theory [5–10] to describe the zeros of 𝔰(λ) more precisely. We state the following result.
Theorem 1.
Let n(r,α,β,𝔰) be the number of the zeros of 𝔰(λ) inside the sector α≤argλ≤β and |λ|≤r. Let h(θ) be the generalized indicator function of 𝔰(λ) with respect to proximate order ρ(r). We assume the properties (P.1) to (P.5). Then, 𝔰(λ) is of completely regular growth in [0,π] and the following asymptotics hold:
(8)n(r,0,π3-ϵ,𝔰)~0r3(r)+⋯,asr⟶∞;(9)n(r,π3-ϵ,π3+ϵ,𝔰)~12π[h(π6)+h(π2)]r3(r)+⋯,hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhiasr⟶∞;(10)n(r,π3+ϵ,2π3-ϵ,𝔰)~0r3(r)+⋯,asr⟶∞;(11)n(r,2π3-ϵ,2π3+ϵ,𝔰)~12π[h(π2)+h(5π6)]r3(r)+⋯,hhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhhasr⟶∞;(12)n(r,2π3+ϵ,π,𝔰)~0r3(r)+⋯,asr⟶∞.
The definition of a proximate order ρ(r) of a regular function is to be given in Definition 3 and we define the generalized indicator function h(θ) in Definition 4. The connection of Cartwright’s theory to the location of resonances is firstly mentioned in [11] and followed by [12, 13]. In [11, page 278], Zworski studied the resonances using the theory of zeros of certain Fourier transform developed by Cartwright and Titchmarsh. In [13, page 269], Froese computed the indicator function in one dimensional potential scattering and used the fundamental theorem on the distribution of the zeros of a function of completely regular growth [9, page 152] to prove his results. In [12], this fundamental theorem is applied to study the location of resonances in sectors. In this paper, we study the indicator function and then the density function for the scattering resonances.
The existence of infinitely many resonances is known in several settings. See [1, 3, 4, 12]. In particular, we previously have lower bound [4] that
(13)lim¯r→∞n(r,0,2π,s)r>0.
2. Cartwright’s Theory
We collect many classic theorems from [5–10, 14] in this section. Readers who are familiar with the references may skip it.
Definition 2.
Let f(z) be a regular function in argz∈[α,β]. Let
(14)Mf(r):=maxα≤argz≤β|f(reiθ)|.
We say f(z) is a function of finite order if there exists a positive constant k such that the inequality
(15)Mf(r)<erk
is valid for all sufficiently large values of r. The greatest lower bound of such numbers k is called the order of the function f(z). By the type σf of an entire function f(z) of order ρ, we mean the greatest lower bound of positive number A for which asymptotically we have
(16)Mf(r)<eArρ.
That is,
(17)σf:=limsupr→∞lnMf(r)rρ.
If 0<σf<∞, then we say f(z) is of normal type or mean type.
Definition 3.
Let ρ∈ℝ and ρ(r):ℝ+→ℝ+. We say ρ(r) is a Lindelöf proximate order to ρ if
(18)ρ(r)isreal,continuous,andpiecewisedifferentiableforr>l>0;limr→∞ρ(r)=ρ≥0;lim¯r→∞logMf(r)rρ(r)=1;limr→∞rρ′(r)logr=0,
where ρ′(r) is a right- or left-hand derivative wherever different.
This is found in [8, page 54]. The following can be found in [6, page 437] and [10, page 53].
Definition 4.
Let f(z) be a regular function of proximate order ρ(r) in the angle [θ1,θ2]. The following quantity is called the generalized indicator of the function f(z):
(19)hf(θ):=limsupr→∞ln|f(reiθ)|rρ(r),θ1≤θ≤θ2.
We say hf(θ) is sinusoidal at θ=α if
(20)hf=Ccosρ(θ-γ),
for some constant C and for α-δ≤θ≤α+δ, where δ>0; moreover, we say a function H(θ) is sinusoidal or ρ-trigonometric if
(21)H(θ)=Acosρθ+Bsinρθ,A,Bareconstants.
Definition 5.
A function K(θ) is called ρ-trigonometrically convex on the closed interval [α,β] if for α≤θ1<θ2≤β, 0<θ2-θ1<π/ρ, the identities
(22)K(θ1)=h1,K(θ2)=h2
imply the inequality
(23)K(θ)≤H(θ),θ1≤θ≤θ2,
where H(θ) is a ρ-trigonometric function such that H(θ1)=h1, H(θ2)=h2. For such a pair of h1, h2, H(θ) is uniquely expressed by the formula
(24)H(θ)=h1sinρ(θ2-θ)+h2sinρ(θ-θ1)sinρ(θ2-θ1),θ1≤θ≤θ2.
In particular, we have
(25)hf(θ)+hf(θ+πρ)≥0,
wherever it makes sense. We must emphasize that a sinusoidal function H(θ) assuming h1, h2 at 0<θ2-θ1<π/ρ is uniquely determined. See [10, pages 53-54].
Theorem 6.
Let f(z) be a holomorphic function and satisfy (16) inside an angle. Then, its indicator function hf(θ) with respect order ρ is a continuous and ρ-trigonometrically convex function inside the angle.
Definition 7.
Let f(z) be an integral function of proximate order ρ(r). We use
(26)n(r,α,β,f)
to denote the number of the zeros of f(z) inside the sector with angle [α,β] and 0<l<|z|≤r; we define the density function of index ρ(r):
(27)Δf(α,β):=limsupr→∞n(r,α,β,f)rρ(r).
Definition 8.
An entire function f(z) of proximate order ρ(r) is said to be of completely regular growth if there is some zero relative measure set E0 such that when r→∞ outside E0, the function hf,r(θ)=ln|f(reiθ)|/rρ(r) tends to hf(θ) uniformly.
We review Cartwright’s theory for entire functions of finite order.
Definition 9.
Let f(z) be a regular function of proximate order ρ(r) of type σf in angle [α,β]. We say argz=γ is a direction of Borel of approximate order ρ(r) of f(z) if
(28)limr→∞n(r,γ-ϵ,γ+ϵ,f-a)rρ(r)=η(ϵ)>0,hhhhhhhhhhhhhhhhh∀ϵ>0,α<γ<β,
and for all values a, except perhaps one.
If 0<σf<∞, then we say argz=γ is a direction of Borel of maximum kind.
We review the following Cartwright theorem [5, page 504, Theorem A; page 507, Theorem V] or, more generally, as in [9, page 155]. However, one should notice the typography in the corollary on page 155. The density of the zero set inside an open angle with a sinusoidal indicator function is zero. We will examine the condition for a direction of Borel has an exceptional value or not.
Theorem 10.
Suppose that f(z) is an integral function of proximate order ρ(r), where ρ>1, and that
(29)h(θ)=h(0)cosθρ,|θ|≤π2ρ.
Then, for any δ>0,
(30)limr→∞n(r,-π/2ρ+δ,π/2ρ-δ,f)rρ(r)=0.
In particular, f(z) has no direction of Borel of proximate order ρ(r) inside |θ|<π/2ρ.
There is another theorem for the nonexistence of direction of Borel. See [14, page 201].
Theorem 11.
Let γ∈(α,β) and h(θ)≤0 for all θ∈(α,β), then γ is not a direction of Borel for which with respect to ρ(r).
Theorem 12.
If f(z) is of finite proximate order ρ(r) for α≤argz≤β, |z|≥l, where β-α>π/ρ, then there is at least one direction of Borel of maximum kind for which α<argz<β.
This is stated the same as in [6, page 425]. We state the following fundamental theorem in [9, page 152].
Theorem 13.
If a holomorphic function F(z) of order ρ(r) has completely regular growth within an angle (θ1,θ2), then for all values ϑ,θ such that θ1<ϑ<θ<θ2, except possibly for a denumerable set, the following limit exists:
(31)12πρsF(ϑ,θ)=limr→∞n(r,ϑ,θ,F)rρ(r),
where
(32)sF(ϑ,θ)=hF′(θ)-hF′(ϑ)+ρ2∫ϑθhF(φ)dφ.
The exceptional denumerable set can only consist of points for which hF′(θ+0)≠hF′(θ-0).
We may find h(θ) by the following lemma in [9, page 464].
Lemma 14.
Let f(z) be a holomorphic function of proximate order ρ(r) inside the angle |argz|≤α, 0<α≤π/2ρ and let h(±α)=h(0)cosρα. Then, h(θ)=h(0)cosρθ, -α≤θ≤α.
3. Proof of Theorem 1
Using assumption (P.5), we have ρ=3. We use Theorem 6 to have that
(33)h(θ)≤Ccosρ(θ-π2)=:H(θ),forsomeC;h(θj)=H(θj),j=1,2,
where π/2-π/2ρ≤θ1<θ2≤π/2+π/2ρ and 0<θ2-θ1<π/ρ. Because of the continuity of h(θ),
(34)h(θ)≤Ccos3(θ-π2),θ∈[π3,2π3].
By the symmetry of |𝔰(λ)| along the imaginary axis, its indicator function h(θ) has a local minimum or maximum at θ=π/2. We use the ρ-trigonometric convexity of h(θ) in [9, page 56] which implies that
(35)h(θ)≥h(π2)cos3(θ-π2),∀θ∈[π3,2π3].
Therefore, (34) and (35) imply that
(36)h(π3)=h(2π3)=0.
We apply the Lemma 14 to obtain
(37)h(θ)=h(π2)cos3(θ-π2),∀θ∈[π3,2π3].
Once again we can apply Lemma 14 to the intervals [0,π/3] and [2π/3,π]. The equalities
(38)h(0)=h(π3)=h(2π3)=h(π)=0
imply that
(39)h(θ)={-h(π6)cos3(θ-π2),forθ∈[0,π3];h(π2)cos3(θ-π2),forθ∈[π3,2π3];-h(π6)cos3(θ-π2),forθ∈[2π3,π].
Therefore, 𝔰(λ) is of completely regular growth in (0,π/3), (π/3,2π/3), and (2π/3,π) and, hence, in (0,π) by applying directly from Definition 8. In general, from ρ-trigonometric convexity (25), one has
(40)h(π2)+h(π6)≥0.
We apply Theorem 10 with indicator (39) in (0,π/3), (π/3,2π/3), and (2π/3,π), respectively. The set of zeros of 𝔰(λ) is of density zero there. This proves the asymptotics (8), (10), and (12).
Let us discuss the following four possible types of conjunction in (39):
(41)h(π2)>0,h(π6)>0;(42)h(π2)>0,h(π6)≤0;(43)h(π2)≤0,h(π6)>0;(44)h(π2)≤0,h(π6)≤0.
For the case (44), we conclude that h(θ)≤0, for θ∈[0,π], by (39). However, Theorems 12 and 11 exclude this case.
For the case (41), (42), and (43), we apply Theorem 10, which suggests that 0,π/3,2π/3,π are the only four possible directions of Borel. Now we apply the formula (32):
(45)s(π6,π2)=h′(π2)-h′(π6)+9∫π/6π/2h(φ)dφ=9∫π/6π/2h(φ)dφ=3[h(π6)+h(π2)];s(π2,5π6)=3[h(π2)+h(5π6)].
Therefore,
(46)limr→∞n(r,π/6,π/2,𝔰)r3(r)=12π[h(π6)+h(π2)];limr→∞n(r,π/2,5π/6,𝔰)r3(r)=12π[h(π2)+h(5π6)].
This proves (9) and (11).
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
SjöstrandJ.ZworskiM.Lower bounds on the number of scattering poles. II1994123233636710.1006/jfan.1994.1092MR1283032ZBL0823.35137VodevG.Sharp bounds on the number of scattering poles for perturbations of the Laplacian19921461205216MR116367310.1007/BF02099213ZBL0766.35032ZworskiM.Poisson formulae for resonances1997Palaiseau, FranceÉcole PolytechniqueMR1482819ZBL1255.35084Sá BarretoA.Remarks on the distribution of resonances in odd dimensional Euclidean scattering2001272161170MR1852004ZBL1116.35344CartwrightM. L.On the directions of Borel of functions which are regular and of finite order in an angle193338150354110.1112/plms/s2-38.1.503MR1576331CartwrightM. L.On the directions of Borel of analytic functions193338141745710.1112/plms/s2-38.1.417MR1576326CartwrightM. L.On functions which are regular and of finite order in an angle193338115817910.1112/plms/s2-38.1.158MR1576310CartwrightM. L.1956Cambridge, UKCambridge University PressMR0077622LevinB. Ja.1972Providence, RI, USAAmerican Mathematical SocietyMR0156975LevinB. Ya.1996150Providence, RI, USAAmerican Mathematical SocietyMR1400006ZworskiM.Distribution of poles for scattering on the real line198773227729610.1016/0022-1236(87)90069-3MR899652ZBL0662.34033ChristiansenT. J.Schrödinger operators and the distribution of resonances in sectors201255961982MR302284710.2140/apde.2012.5.961ZBL1264.35158FroeseR.Asymptotic distribution of resonances in one dimension1997137225127210.1006/jdeq.1996.3248MR1456597ZBL0955.35057DrasinD.WeitsmanA.On the Julia directions and Borel directions of entire functions1976322199212MR0399465ZBL0318.30030