Abstract

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 where . Let us denote the physical plane by It is well-known from spectral analysis that the resolvent operator is bounded in except for some finite set such that are the pure point spectrum of . The resolvent can be meromorphically extended from to as an operator: 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 be denoted as repeated according to the multiplicity such that the only accumulation point is at infinity. The possible infinite set is in the lower half complex plane.

The resolvent operator defines a scattering matrix which is of the form , where 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 or in certain region in complex plane . Therefore, we count the poles of the meromorphically defined scattering determinant .

In any case, we consider the determinant satisfying the following properties [1–4]:;  the point set and is symmetric about the imaginary axis;  there is no pole on the real axis except possibly a double pole at ;  there are only exceptionally finitely many poles in ; infinitely many poles in ;  the functional determinant is of order 3, the number of space dimension.The growth estimate on has only upper bound as proved in [2] which is an optimal upper bound. The actual lower bound is unknown to the author. is the most nontrivial hypothesis.

Let us define where is chosen minimally such that has no zero at . Surely, is a regular function of order three in . Because of , the zeros of are substitutes in the study of poles of in .

As suggested by , 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 be the number of the zeros of inside the sector and . Let be the generalized indicator function of with respect to proximate order . We assume the properties to . Then, is of completely regular growth in and the following asymptotics hold:

The definition of a proximate order of a regular function is to be given in Definition 3 and we define the generalized indicator function 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

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 be a regular function in . Let We say is a function of finite order if there exists a positive constant such that the inequality is valid for all sufficiently large values of . The greatest lower bound of such numbers is called the order of the function . By the type of an entire function of order , we mean the greatest lower bound of positive number for which asymptotically we have That is, If , then we say is of normal type or mean type.

Definition 3. Let and . We say is a Lindelöf proximate order to if where 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 be a regular function of proximate order in the angle . The following quantity is called the generalized indicator of the function : We say is sinusoidal at if for some constant and for , where ; moreover, we say a function is sinusoidal or -trigonometric if

Definition 5. A function is called -trigonometrically convex on the closed interval if for , , the identities imply the inequality where is a -trigonometric function such that , . For such a pair of , , is uniquely expressed by the formula
In particular, we have wherever it makes sense. We must emphasize that a sinusoidal function assuming , at is uniquely determined. See [10, pages 53-54].

Theorem 6. Let be a holomorphic function and satisfy (16) inside an angle. Then, its indicator function with respect order is a continuous and -trigonometrically convex function inside the angle.

Definition 7. Let be an integral function of proximate order . We use to denote the number of the zeros of inside the sector with angle and ; we define the density function of index :

Definition 8. An entire function of proximate order is said to be of completely regular growth if there is some zero relative measure set such that when outside , the function tends to uniformly.

We review Cartwright’s theory for entire functions of finite order.

Definition 9. Let be a regular function of proximate order of type in angle . We say is a direction of Borel of approximate order of if and for all values , except perhaps one.

If , then we say 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 is an integral function of proximate order , where , and that Then, for any , In particular, has no direction of Borel of proximate order inside .

There is another theorem for the nonexistence of direction of Borel. See [14, page 201].

Theorem 11. Let and for all , then is not a direction of Borel for which with respect to .

Theorem 12. If is of finite proximate order for , , where , then there is at least one direction of Borel of maximum kind for which .

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 of order has completely regular growth within an angle , then for all values such that , except possibly for a denumerable set, the following limit exists: where The exceptional denumerable set can only consist of points for which .

We may find by the following lemma in [9, page 464].

Lemma 14. Let be a holomorphic function of proximate order inside the angle , and let . Then, , .

3. Proof of Theorem 1

Using assumption , we have . We use Theorem 6 to have that where and . Because of the continuity of ,

By the symmetry of along the imaginary axis, its indicator function has a local minimum or maximum at . We use the -trigonometric convexity of in [9, page 56] which implies that Therefore, (34) and (35) imply that We apply the Lemma 14 to obtain Once again we can apply Lemma 14 to the intervals and . The equalities imply that Therefore, is of completely regular growth in , , and and, hence, in by applying directly from Definition 8. In general, from -trigonometric convexity (25), one has We apply Theorem 10 with indicator (39) in , , and , 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): For the case (44), we conclude that , for , by (39). However, Theorems 12 and 11 exclude this case.

For the case (41), (42), and (43), we apply Theorem 10, which suggests that are the only four possible directions of Borel. Now we apply the formula (32): Therefore, This proves (9) and (11).

Conflict of Interests

The author declares that there is no conflict of interests regarding the publication of this paper.