On the eigenvalue asymptotics of Zonal Schrödinger operators in even metric and non-even metric

We discuss a spectral asymptotics theory of an even zonal metric and a Schrödinger operator with zonal potentials on a sphere. We decompose the eigenvalue problem into a series of one-dimensional problems. We consider the individual behavior of this series of one-dimensional problems. We find certain Weyl’s type of asymptotics on the eigenvalues.


Introduction
In this paper, we compute the eigenvalue asymptotics of the operator Δ g with a metric g that satisfies the following even zonal metric assumption: Let (x 1 , … , x N+1 , z) be the standard coordinate on ℝ N+2 . We consider the hypersurface defined by the equation in which we assume r is an even function of z, r(−1) = r(1) = 0 and 0 < r(z) < ∞ for −1 ≤ z ≤ 1.
Following the framework of Carlson (1997), we let s(z) denote the arc length

PUBLIC INTEREST STATEMENT
In this paper, we describe a connection between the eigenvalue distribution theorems and the geometric characteristics for a class of manifolds: eigenvalues are frequencies. It is believed that one can figure out some of the physical characteristics of a wave-reflecting object by hitting it with a band of frequencies of testing waves. It is a research interest among many disciplines, e.g. acoustics, optics, remote sensing, medical imaging, national defense, astrophysics, and quantum mechanics. Wherever there is a wave propagating through the media, we ask if one can analyze the perturbed wave and figure out the perturbation. As asked by Mark Kac, "Can you hear the shape of a drum?". http://dx.doi.org/10. 1080/23311835.2016.1141452 in which we set L: = s(1). Hence, a metric is induced on the hypersurface. Now, we calculate Δ g using the method provided in Shubin (1987, p. 157), and then we deduce that in which S is the N sphere. We put the operator in the Liouville form with respect to the variable s: is again an even function about the midpoint of [0, L]. For the standard N + 1 sphere, we note that r(s) = sin(s). Accordingly, we are required to assume that r(s) ∈  2 [0, L] and for some p 0 ∈  2 [0, L∕2], we have the following properties: Here,(1.5) is to assure the hypersurface behaves like N + 1 sphere near z = −1.
, and from which we deduce that Accordingly, The function p 1 , p 2 depends on p 0 and its derivatives.
Let { k } be the eigenvalues of Δ S . Then, the eigenvalue problem (4) is reduced to be For a Schrödinger operator with a zonal potential, we are dealing with an equation in the following form: where p ∈  2 [0, L] is assumed to be an even function with midpoint L / 2, and r(s) = sin(s). We say p(s) is zonal because p is a function of z as in the hypersurfaces(1.1) and (1.2) (Gurarie, 1988(Gurarie, ,1990. A potential of this type has various applications in mathematical physics. We refer more introduction on potentials of this class to (Gurarie, 1990, p. 567). The differential equations (1.8) and (1.9) require the following regularization conditions: Moreover, (1.6) and (1.7) imply that lim s→0 y(s) in which r(s) is even, p(s) = p 2 (s) + k p 1 (s) ∈ [0, L] by its construction and its solution satisfies the initial condition r � (L∕2) = 0. Theorem 1.4 in Carlson (1993) says that p(s) is uniquely determined by the spectral data of Δ g . According to (1.8) and (1.9), we set that Now, we are studying the eigenvalue asymptotics of the equation of the following form: in which the asymptotic expansion of y(s; z) is analyzed in Carlson (1993Carlson ( ,1997Carlson ( ,1994. Setting the solution y = y(s;z), y(s; z) is an entire function of exponential type (Carlson, 1993;Pöschel & Trubowitz, 1987). The union of all eigenvalues of (1.14) over { k } gives the collection of the total eigenvalues of Δ g in (1.4) and vice versa. The cluster structure of the eigenvalues for each k is known among the work in Gurarie (1988Gurarie ( ,1990) and many others. Most important of all (Carlson, 1993, p. 23), due to the evenness assumption on Δ g and Δ g + p, the eigenvalues of (1.14) is split into two kinds for each k : the zeros of y(L / 2; z) and y � (L∕2;z). The zeros of y(L / 2; z) and of y � (L∕2;z) correspond to the Dirichlet and Neumann spectral data of (1.14) at r = L∕2, respectively. Hence, in the first part of this paper, we collect all zeros of y(L / 2; z) and y � (L∕2;z) for each k .
In this paper, we consider the Weyl's type of eigenvalue asymptotics of (1.8) and (1.9) on surfaces of type (1.4).

Theorem 1.1 Let N(v) be the eigenvalue counting function in an interval of length v starting at the origin. Then, the following asymptotics holds:
A Weyl's theorem of this kind is classic in many perturbations (Chen, 2015a;Gurarie, 1988Gurarie, ,1990Shubin, 1987). We provide an extra information on the arc length L. The new ingredient in this paper is an analysis in entire function theory and its extension to non-even metrics.

Zeros of y(L / 2; z) and y � (L∕2;z)
We apply the entire function in complex analysis (Koosis, 1997;Levin, 1972Levin, ,1996 to study the distribution of its zeros.
We note that where we mean the first inequality holds for some sequence going to infinity and the second one holds asymptotically.

Definition 2.2
If an entire function f(z) is of order one and of normal type, then we say it is an entire function of exponential type .
Lemma 2.3 Let f and g be two entire functions. Then, the following two inequalities hold.
where if the indicator of the two summands is not equal at some 0 , then the equality holds in (2.6).
The equality in (2.5) holds if one function is of completely regular growth. This is classic and we refer these to Levin (1972, p. 51, 159). The order and the type of an integral function in an angle can be defined similarly. The connection between the indicator h f ( ) and its type is specified by the following theorem.
Definition 2.6 Let f(z) be an entire function of order . We use N(f , [ , ], r) to denote the number of the zeros of f(z) inside [ , ] and |z| ≤ r; we define the density function and with fixed 0 ∉ E, with E as an at most countable set.
The two definitions above are necessary vocabularies to apply Cartwright-Levinson theory (Levin, 1972, p. 251) in complex analysis.
Lemma 2.7 (Levin, 1972, p. 72) The maximal value of the indicator h f ( ) of the function f(z) on the interval ≤ ≤ is equal to the type of this function inside the angle ≤ arg z ≤ .
Lemma 2.8 (Levin, 1972) Let and be real constants. Let y(s; z) be the solution of the following problem in Carlson (1997): For the initial conditions, we actually have The following result is well known for the classic case (Pöschel & Trubowitz, 1987, p. 14) and for singular potentials without a lower bound (Faddeev, 1960, (14.14),(14.15)). However, we give the more precise first-order asymptotics from a point of view from Carlson (1993Carlson ( ,1997.

so we have
The classic result (Pöschel & Trubowitz, 1987, p. 27) shows that there exists a constant C depending on the distance to the zeros of sin sz, such that the following inequality holds away from the zeros of sin sz: Hence,

Thus, the indicator function of y(s; z) is
Because y(s; z) is entire in z for a fixed s, h y(s;z) ( ) is a continuous function of (Levin, 1972  We refer the detailed proof to Carlson (1993Carlson ( ,1997, Chen (2015aChen ( ,2015b, Pöschel and Trubowitz (1987). □ Therefore, there is an asymptotically uniform structure of eigenvalues of (1.3) for each k -eigenvalue. The first term in the asymptotics is independent of p(s). They overlay asymptotically periodically from one k to another to give each cluster of eigenvalues of (1.3). Let N k (v) be denoted as the counting function for eigenvalues in interval [0, v] for each k -eigenvalues. We refer the structure of the eigenvalues of a zonal eigenvalues to (Gurarie, 1990, p. 576). We collect two kinds of spectra for each k by applying Lemmas 2.10 and (2.9): The locations of { k } of N-sphere are well known in Gurarie (1988) and Shubin (1987): with increasing multiplicity d k = N + k N = O(k N−1 ). Given an interval of length v starting at the origin, we have the quantity of of eigenvalues of Δ S (Shubin, 1987, p. 165). Hence, This proves Theorem 1.1.

Non-even zonal potentials
Now, we drop the assumption that r and p are even functions in s in Theorem 1.1. We note that (1.7), (1.8), and (1.9) hold in [0, L]. Accordingly, we are considering a Schrödinger operator with a zonal potential p(s); we are dealing with the equation where p ∈  2 c [0, L], r(−1) = r(1) = 0, 0 < r(z) < ∞ for −1 ≤ z ≤ 1 and r(s) = sin(s ∕L). Without the symmetry at s = L∕2, we do not consider the zeros of y(L / 2; z) and of y � (L∕2;z) any more. After the linearization near s = 0 in (1.5) in Section 1, we consider a differential equation of the following form similar to (1.13) and (1.14). whose solutions are spanned by the Jost solutions {f (l) (s;z), f (l) (s; − z)} Faddeev (1960, (14.11)) and Reed and Simon (1979, p. 140), which satisfy the following integral equation in which J l (s, t;z) is defined as in (Faddeev, 1960, (14.12)). Thus, whenever s is beyond the support of the perturbation. In our case, [0, L]; h l (sz) is the spherical Bessel function of second kind. Therefore, we write y (l) (s;z) as In general, we recall the scattering formula in Faddeev (1960, (14.17)) for z ∈ 0i + ℝ: gives the scattering matrix to equation (3.2). For any z that solves (3.6) is an eigenvalue of (3.2). Most important of all, the M-function M (l) (z) and S (l) (z) are independent of l (Faddeev, 1960, Theorem 14.1). The proof is given in Faddeev (1960, p. 90) and carries to continuous l. Moreover, S (l) (z) can be meromorphically extended from the upper half plane to the complex zplane or log z-plane without poles on the real axis except for the origin (Melrose, 1995, p. 16) depending on dimension parity. For our case, the dimension is one. Therefore, M (l) (z) and S (l) (z) can be defined in For some extension and uniqueness theory of M(z), we refer to Faddeev (1960, p. 42). Furthermore, the constants l (z) and l (z) are independent of the space variable s and can be solved by the scattering theory in half line Aktosun, Gintides, and Papanicolaou (2013, p. 13) and Freiling and Yurko (2001) as follows: Evaluating (3.7) at s = 0, (2.13) implies that Evaluating (3.7) at s = L, we have Λ: = {z ∈ ℂ| − ≤ arg z ≤ + , for some > 0}.
This is a compatibility condition. From complex analysis, we have a zero distribution theory for the exponential polynomials in the form of (3.12) (Koosis, 1997;Levin, 1972Levin, ,1996. In general, by referring to Faddeev (1960, Lemma 1.5), uniformly for any s ≥ 0. However, we need the behavior of M (0) (z) slightly below the real axis (see Figure 1).
We recall the well-known integral equation (Faddeev, 1960, p. 38): where A(0, t) is compactly supported for our potential p(s). We refer the construction of A(0, t) to Faddeev (1960, p. 30). Thus, we observe that to which we apply the Riemann-Lebesgue Lemma. Hence, the integral vanishes for large |k|.
Moreover, e ±izL are the exponential functions of type L by applying (2.4). We also infer from (2.14) and the complex analysis in section 2 that the right-hand side of (3.12) is an analytic function of order one and at most of type L.