Skip to main content

Asymptotic behavior of eigenvalues of hydrogen atom equation

Abstract

We consider a spectral problem for a class of singular Sturm-Liouville operators on the unit interval with explicit singularity \(2/x\)-\(2/x^{2}\), related to the Schrödinger operator with radially symmetric potential. In particular, we give the asymptotic behavior of the eigenvalues of the hydrogen atom equation.

1 Introduction

The distribution of eigenvalues in differential operator’s spectral theory has an important place. This classic issue was first examined in a finite interval for second order operators in the 19th century by Sturm and Liouville. Later, where the regular boundary conditions were satisfied, the distribution of eigenvalues of differential operators in a finite interval in arbitrary order was also examined by Birkhoff in 1908 [1].

Especially, the distribution of eigenvalues of the operators with a discrete spectrum defined in the whole of space for quantum mechanics has great importance. Firstly, the formula for the distribution of the eigenvalues of the single-dimensional Sturm operator defined in the whole of the straight-line axis with increasing potential at infinity was given by Titchmarsh in 1946 [2]. Titchmarsh also has shown the distribution formula for the Schrödinger operator. In later years, Levitan and Gasymov improved the Titchmarsh method and found important asymptotic formulas for the eigenvalues of different differential operators [3, 4].

Two important methods have been dealt with to examine the asymptotic formula for eigenvalues. The first method, the variation method, is due to Courant and Hilbert [5]. Birman and Solomyak have improved this method in recent years [6]. The second method that is related with the resolvent of the operator in question was suggested by Carleman [7]. Another important method for examining the asymptotic of the eigenvalues in singular condition was suggested by Fedoryuk [8]. This method is very useful in that it ensures that the distribution of the eigenvalues of the operators with partial derivation are such that the coefficients are analytic functions. Later, many studies have been conducted to examine the eigenvalues [9–25]. Many mathematicians have examined the eigenvalues so far.

The spectral problem for the Sturm-Liouville operator with Dirichlet boundary condition is given in detail in [9] by Poeschel and Trubowitz. Guillot and Ralston have extended these results to the singular Sturm-Liouville operator

$$ L=-\frac{d^{2}}{dx^{2}}+\frac{2}{x^{2}}+q ( x ) $$

with domain {\(y\in L^{2} [ 0,1 ] :y, y^{\prime}\), absolutely continuous on \((0,1 ]\), \(Ly\in L^{2} [ 0,1 ]\) and \(y ( 1 ) =0\)} [16].

Later, this work was generalized by Carlson [10]. For real numbers b and real valued functions \(q(x)\in L^{2} [ 0,1 ] \), Carlson dealt with the operator

$$ L(m,q)=-\frac{d^{2}}{dx^{2}}+\frac{m(m+1)}{x^{2}}+q ( x ) ,\quad m=0,1,2,\ldots $$

with domain \(\{y\in L^{2} [ 0,1 ] :y, y^{\prime}\), absolutely continuous on \((0,1 ]\), \(L(m,q)y\in L^{2} [ 0,1 ] \), \(\lim_{x\downarrow0}y ( x ) =0\) and \(y^{\prime} ( 1 ) +by ( 1 ) =0\)}. Similar features of the Sturm-Liouville operator were studied in [16–18].

Consider the Schrödinger equation for two particles in dimensionless variables,

$$ -\frac{\partial^{2}\psi}{\partial x^{2}}-\frac{\partial^{2}\psi}{\partial y^{2}}-\frac{\partial^{2}\psi}{\partial z^{2}}+V(x,y,z)\psi =k^{2}\psi. $$
(1.1)

If the potential function \(V(x,y,z)\) depends only on \(r=(x^{2}+y^{2}+z^{2})^{1/2}\), i.e. \(V(x,y,z)=V(r)\), then the variables in (1.1) can be separated by putting

$$ \psi ( x,y,z ) =\frac{\psi(r)}{r^{1/2}}Y_{m}^{l}(\theta , \varphi),\quad l=0,1,2,\ldots, $$

where \(x=r\sin\theta\cos\varphi\), \(y= r\sin\theta\sin\psi \), \(z=r\cos\theta\), and \(Y_{m}^{l}(\theta,\varphi)\) are the spherical harmonics. This gives a differential equation of the form

$$ \frac{d^{2}\varphi}{\partial r^{2}}+\frac{1}{r}\frac{d\varphi }{\partial r}-\frac{\lambda^{2}}{r^{2}}-V(r)\varphi+k^{2}\varphi=0 $$
(1.2)

for the function \(\varphi(r)\), where \(\lambda=l+1/2\) (\(l=0,1,2,\ldots\)). If the potential function \(V(r)\) satisfies the condition \(\int_{0}^{\infty}r \vert V(r)\vert \, dr<\infty\), then, for a solution of (1.2), which is regular at zero and normalized, the following asymptotic formula is satisfied:

$$ r^{1/2}\varphi(r,k,\lambda)=A(k,\lambda)\sin \biggl[ kr- \frac{\pi}{2} \biggl( \lambda-\frac{1}{2} \biggr) +\delta(k,\lambda) \biggr] +o(1) $$

for fixed λ, and k, and \(r\rightarrow\infty\).

In this formula, \(A(k,\lambda)\) is called the scattering amplitude and \(\delta(k,\lambda)\) the scattering phase or phase shift [4].

In quantum mechanics the study of the energy levels of the hydrogen atom leads to the equation [26–28]

$$ -\frac{d^{2}R}{dr^{2}}+\frac{a}{r}\frac{dR}{dr}-\frac {l(l+1)}{r^{2}}R+ \biggl(E+\frac{a}{r}\biggr)R=0\quad (0< r< \infty). $$

The substitution \(R=y/r\) reduces this equation to the form

$$ y^{\prime\prime}+ \biggl[ E+\frac{2}{r}-\frac{l(l+1)}{r^{2}} \biggr] y=0. $$

Our aim here is to find the asymptotic behavior of the eigenvalues of the problem

$$\begin{aligned}& -y^{\prime\prime}+ \biggl[ \frac{2}{x^{2}}-\frac{2}{x}+q ( x ) \biggr] y = \lambda y \quad (0< x\leq1), \\& y(1) = 0, \end{aligned}$$

with domain {\(y\in L^{2} [ 0,1 ] :y,y^{\prime}\) that are absolutely continuous on \((0,1 ]\), \(Ly\in L^{2} [ 0,1 ] \)}. Here we have \(\lambda=\sqrt{-E}\), \(E<0\).

Spectral problems for the hydrogen atom equation were considered by many mathematicians. Particularly, the inverse problem was examined in Panakhov and Yilmazer’s papers [12, 13].

2 Basic properties

We consider the singular Sturm-Liouville equation

$$ -y^{\prime\prime}+ \biggl[ \frac{2}{x^{2}}-\frac{2}{x}+q ( x ) \biggr] y=\lambda y,\quad x\in (0,1 ], $$
(2.1)

where the function \(q ( x ) \in L^{2} [ 0,1 ] \). Let us give the solutions of this equation by integral equation representations.

Lemma 1

The solutions of (2.1) have the following form:

$$ \varphi(x,\lambda,q)=x^{2}+\frac{1}{3}\int_{0}^{x} \biggl( \frac {x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q(t)- \frac{2}{t}-\lambda \biggr) \varphi (t,\lambda,q)\, dt $$
(2.2)

and

$$ \psi(x,\lambda,q)=c_{1}x^{2}+c_{2}x^{-1}- \frac{1}{3}\int_{x}^{1} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q(t)-\frac{2}{t}- \lambda \biggr) \psi(t,\lambda,q)\, dt, $$
(2.3)

where \(q(x)\in L^{2} [ 0,1 ] \).

Proof

Let us show that (2.2) is satisfied. The general solution of the equation

$$ -y^{\prime\prime}+\frac{2}{x^{2}}y=0 $$

is

$$ y=c_{1}x^{2}+c_{2}x^{-1}. $$

Let us apply the method of variation of parameters of (2.1),

$$ -y^{\prime\prime}+\frac{2}{x^{2}}y= \biggl[ \lambda+\frac{2}{x}-q ( x ) \biggr] y. $$

Taking the second derivative of the equation

$$ y=u_{1}(x)x^{2}+u_{2}(x)x^{-1} $$

and substituting this into (2.1), we obtain

$$\begin{aligned}& u_{1}^{\prime}(x)x^{2}+u_{2}^{\prime}(x)x^{-1} = 0 , \\& -2u_{1}^{\prime}(x)x+u_{2}^{\prime}(x)x^{-2} = \biggl( \lambda+\frac {2}{x}-q ( x ) \biggr) y(x). \end{aligned}$$

If we multiply the first equation by \(-1/x\) and combine with the second equation we have

$$ -3u_{1}^{\prime}(x)x= \biggl( \lambda+\frac{2}{x}-q ( x ) \biggr) y(x). $$
(2.4)

Take the integral of this equation from 0 to x:

$$ u_{1}(x)=\frac{1}{3}\int_{0}^{x} \frac{1}{t} \biggl( q ( t ) -\lambda-\frac{2}{t} \biggr) y(t)\, dt. $$

If we multiply the first equation by 2 and the second equation by x and combine these equations we have

$$ \frac{3}{x}u_{2}^{\prime}(x)=x \biggl( \lambda+ \frac{2}{x}-q ( x ) \biggr) y(x) . $$
(2.5)

Take the integral of this equation from 0 to x:

$$ u_{2}(x)=-\frac{1}{3}\int_{0}^{x}t^{2} \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) y(t)\, dt. $$

Then we get the equation

$$ y=\frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) y(t)\, dt. $$

We use the above method to show (2.3). Take the integral of (2.4) from x to 1:

$$ u_{1}(x)=-\frac{1}{3}\int_{x}^{1} \frac{1}{t} \biggl( q ( t ) -\lambda -\frac{2}{t} \biggr) y(t)\, dt. $$

Take the integral of (2.5) from x to 1:

$$ u_{2}(x)=\frac{1}{3}\int_{x}^{1}t^{2} \biggl( q ( t ) -\lambda -\frac{2}{t} \biggr) y(t)\, dt. $$

Then we get the equation

$$ y=-\frac{1}{3}\int_{x}^{1} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) y(t)\, dt. $$

So we proved the theorem. □

Now we will show that these solutions are analytic by using the method of successive approximations. Addressing (2.2) first, let

$$ y_{0}(x)=x^{2},\qquad y_{n+1}(x)=y_{0}(x)+\frac{1}{3}\int _{0}^{x} \biggl( \frac{x^{2}}{t}- \frac {t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda-\frac{2}{t} \biggr) y_{n}(t)\, dt. $$

Theorem 1

The sequence \(y_{n}(x)\) converges uniformly to a function \(\varphi(x,\lambda,q)\) satisfying (2.2) and (2.1). Moreover, \(\lim_{x\downarrow0}x^{-2}\varphi(x,\lambda,q)=1\) and the mapping \(( \lambda,q ) \rightarrow\varphi(x,\lambda,q)\) is analytic from \(\mathbb{C} \times L^{2} [ 0,1 ] \rightarrow \mathbb{C} [ 0,1 ] \).

Proof

Let us show that

$$\begin{aligned} \bigl\vert y_{n}(x)-y_{n-1}(x)\bigr\vert \leq& x^{2} \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n} \biggl( \frac{x^{3n}}{\prod_{m=1}^{n}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n} \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{x^{3n-k}}{ ( 3n-k ) \prod_{m=1}^{n-1}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n-k}+\frac{x^{n}}{n!} \Biggr], \end{aligned}$$

by using the method of induction. For \(k=1\),

$$\begin{aligned} \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert =&\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) y_{0}(t)\, dt\biggr\vert \\ =&\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac {t^{2}}{x} \biggr) \biggl( q ( t ) - \lambda-\frac{2}{t} \biggr) t^{2}\, dt\biggr\vert \\ \leq&x^{2}\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( t-\frac {t^{4}}{x^{3}} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr)\, dt \biggr\vert . \end{aligned}$$

We have \(\vert t-\frac{t^{4}}{x^{3}}\vert \leq t\),

$$\begin{aligned} \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert \leq&x^{2}\biggl\vert \frac {1}{3}\int _{0}^{x}t \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \,dt\biggr\vert \\ \leq&x^{2} \biggl[ \biggl\vert \frac{1}{3}\int _{0}^{x}t \bigl( q ( t ) -\lambda \bigr) \,dt\biggr\vert +\frac{2x}{3} \biggr]. \end{aligned}$$

By the Cauchy-Schwarz inequality, we get

$$\begin{aligned} \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert \leq&x^{2} \biggl[ \frac {1}{3} \biggl( \int_{0}^{x}t^{2} \,dt \biggr) ^{1/2} \biggl( \int_{0}^{x} \bigl( q ( t ) -\lambda \bigr) ^{2}\,dt \biggr) ^{1/2}+ \frac{2x}{3} \biggr] \\ \leq&x^{2} \biggl[ \frac{1}{3} \biggl( \frac{x^{3}}{3} \biggr) ^{1/2} \Vert q-\lambda \Vert _{2}+x \biggr]. \end{aligned}$$

For \(k=2\),

$$\begin{aligned} \begin{aligned} \bigl\vert y_{2}(x)-y_{1}(x)\bigr\vert &=\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \bigl( y_{1}(t)-y_{0}(t) \bigr) \,dt\biggr\vert \\ &=\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac {t^{2}}{x} \biggr) \biggl( q ( t ) - \lambda-\frac{2}{t} \biggr) t^{2} \biggl[ \frac{1}{3} \biggl( \frac{t^{3}}{3} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}+t \biggr] \,dt\biggr\vert \\ &\leq x^{2}\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( t-\frac {t^{4}}{x^{3}} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \biggl[ \frac{1}{3} \biggl( \frac{t^{3}}{3} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}+t \biggr] \,dt\biggr\vert . \end{aligned} \end{aligned}$$

Since \(\vert t-\frac{t^{4}}{x^{3}}\vert \leq t\),

$$\begin{aligned} \bigl\vert y_{2}(x)-y_{1}(x)\bigr\vert \leq&x^{2}\biggl\vert \frac {1}{3}\int _{0}^{x}t \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \biggl[ \frac{1}{3} \biggl( \frac{t^{3}}{3} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}+t \biggr] \,dt \biggr\vert \\ \leq&x^{2}\int_{0}^{x} \biggl( \frac{t}{3}\bigl\vert q ( t ) -\lambda\bigr\vert +\frac{2}{3} \biggr) \biggl[ \frac{1}{3} \biggl( \frac {t^{3}}{3} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}+t \biggr] \,dt \\ \leq&x^{2} \biggl[ \frac{1}{9}\int_{0}^{x} \biggl( \frac{t^{5}}{3} \biggr) ^{1/2}\bigl\vert q ( t ) -\lambda \bigr\vert \Vert q-\lambda \Vert _{2}\,dt+\frac{2}{9}\int _{0}^{x} \biggl( \frac{t^{3}}{3} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}\,dt \biggr] \\ &{}+x^{2} \biggl[ \frac{1}{3}\int_{0}^{x}t^{2} \bigl\vert q ( t ) -\lambda\bigr\vert \,dt+\frac{2t}{3} \biggr]. \end{aligned}$$

By the Cauchy-Schwarz inequality, we get

$$ \bigl\vert y_{2}(x)-y_{1}(x)\bigr\vert \leq x^{2} \biggl[ \biggl( \frac {1}{3} \biggr) ^{2} \biggl( \frac{x^{6}}{3.6} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{2}+ \biggl( \frac{x^{5}}{3.5} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}+\frac{x^{2}}{2!} \biggr] . $$

Assume that the inequality is true for \(k=n\). Now we will show that the inequality holds for \(k=n+1\),

$$\begin{aligned} \bigl\vert y_{n+1}(x)-y_{n}(x)\bigr\vert =&\biggl\vert \frac{1}{3}\int_{0}^{x} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \bigl( y_{n}(t)-y_{n-1}(t) \bigr) \,dt\biggr\vert \\ =&\Biggl\vert \int_{0}^{x}\frac{t^{2}}{3} \biggl( \frac{x^{2}}{t}-\frac {t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n} \biggl( \frac{x^{3n}}{\prod_{m=1}^{n}3m} \biggr) ^{1/2} \Vert q-\lambda \Vert _{2}^{n} \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{x^{3n-k}}{ ( 3n-k ) \prod_{m=1}^{n-1}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n-k}+\frac{x^{n}}{n!} \Biggr] \,dt\Biggr\vert \\ =&\Biggl\vert \int_{0}^{x} \biggl( \frac{t}{3}\bigl\vert q ( t ) -\lambda\bigr\vert +1 \biggr) \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n} \biggl( \frac{x^{3n}}{\prod_{m=1}^{n}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n} \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{x^{3n-k}}{ ( 3n-k ) \prod_{m=1}^{n-1}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n-k}+\frac{x^{n}}{n!} \Biggr] \,dt\Biggr\vert \\ \leq& x^{2} \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n+1} \biggl( \frac{x^{3(n+1)}}{\prod _{m=1}^{n+1}3m} \biggr) ^{1/2}\Vert q- \lambda \Vert _{2}^{n+1} \\ &{}+\sum_{k=1}^{n} \biggl( \frac{x^{3(n+1)-k}}{ ( 3(n+1)-k ) \prod_{m=1}^{n}3m} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{n+1-k}+\frac{x^{n+1}}{(n+1)!} \Biggr] . \end{aligned}$$

By the ratio test, the series converges. Then \(y_{n}(x)\) converges uniformly by the Weierstrass sufficiency theorem. □

Differentiation of (2.2) gives the formula

$$ \varphi^{\prime}(x,\lambda,q)=2x+\frac{1}{3}\int _{0}^{x} \biggl( \frac {2x}{t}+ \frac{t^{2}}{x^{2}} \biggr) \biggl( q(t)-\frac{2}{t}-\lambda \biggr) \varphi (t,\lambda,q)\,dt $$

and

$$ \lim_{x\downarrow0}x\varphi^{\prime}(x,\lambda,q)=2. $$

Turning to (2.3), let

$$\begin{aligned}& y_{0}(x) = c_{1}x^{2}+c_{2}x^{-1} , \\& y_{n+1}(x) = y_{0}(x)-\frac{1}{3}\int _{x}^{1} \biggl( \frac {x^{2}}{t}- \frac{t^{2}}{x} \biggr) \biggl( q(t)-\frac{2}{t}-\lambda \biggr) y_{n}(t)\,dt. \end{aligned}$$

Theorem 2

The sequence \(xy_{n}(x)\) converges uniformly for \(x\in(0,1]\) to a function \(x\psi(x,\lambda,q)\) where \(\psi(x,\lambda,q)\) satisfies (2.3) and (2.1). Moreover, \(\lim_{x\downarrow0}x\psi(x,\lambda,q)\) exists and the mapping \(( \lambda,q ) \rightarrow x\psi (x,\lambda,q)\) is analytic from \(\mathbb{C} \times L^{2} [ 0,1 ] \rightarrow \mathbb{C} [ 0,1 ] \).

Proof

Let us show that

$$\begin{aligned} \bigl\vert y_{n}(x)-y_{n-1}(x)\bigr\vert \leq& \frac{1}{x} \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n} \biggl( \frac { ( 1-x ) ^{n}}{n!} \biggr) ^{1/2}\Vert q- \lambda \Vert _{2}^{n}\vert c_{n}\vert \\ &{}+\sum _{k=1}^{n-1} \biggl( \frac{ ( 1-x ) ^{k}}{k!} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{k} \vert c_{k}\vert +\vert c_{n+1}\vert \Biggr] \end{aligned}$$

by using the method of induction. For \(k=1\),

$$\begin{aligned} \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert =&\biggl\vert \frac{1}{3}\int_{x}^{1} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) y_{0}(t)\,dt\biggr\vert \\ =&\frac{1}{3}\int_{x}^{1}\biggl\vert \biggl( \frac{x^{2}}{t}-\frac {t^{2}}{x} \biggr) \biggl( q ( t ) - \lambda-\frac{2}{t} \biggr) \bigl( c_{1}t^{2}+c_{2}t^{-1} \bigr) \biggr\vert \,dt. \end{aligned}$$

Since \(t\geq x\) we get \(\vert \frac{x^{2}}{t}-\frac{t^{2}}{x}\vert =\vert \frac{t^{2}}{x} ( \frac {x^{3}}{t^{3}}-1 ) \vert \leq\frac{t^{2}}{x}\) and

$$\begin{aligned} \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert \leq& \frac{1}{3}\int_{x}^{1}\frac{t^{2}}{x} \biggl\vert \biggl( q ( t ) -\lambda-\frac{2}{t} \biggr) \bigl( c_{1}t^{2}+c_{2}t^{-1} \bigr) \biggr\vert \,dt \\ \leq&\frac{1}{x} \biggl( \frac{1}{3}\int_{x}^{1} \bigl\vert \bigl( q ( t ) -\lambda \bigr) \bigl( c_{1}t^{4}+c_{2}t \bigr) \bigr\vert \,dt+\int_{x}^{1} \frac{2}{3}\bigl\vert c_{1}t^{3}+c_{2} \bigr\vert \,dt \biggr) . \end{aligned}$$

Because of \(t\leq1\), we have

$$ \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert \leq \frac{1}{x} \biggl( \frac {1}{3}\int_{x}^{1} \bigl\vert q ( t ) -\lambda\bigr\vert \vert c_{1}\vert \,dt+ \vert c_{2}\vert \biggr) . $$

By the Cauchy-Schwarz inequality, we get

$$ \bigl\vert y_{1}(x)-y_{0}(x)\bigr\vert \leq \frac{1}{x} \bigl( ( 1-x ) ^{1/2}\Vert q-\lambda \Vert _{2}\vert c_{1}\vert +\vert c_{2}\vert \bigr) . $$

Assume that the inequality is true for \(k=n\). Now we will show that the inequality holds for \(k=n+1\),

$$ \bigl\vert y_{n+1}(x)-y_{n}(x)\bigr\vert =\biggl\vert \frac{1}{3}\int_{x}^{1} \biggl( \frac{x^{2}}{t}-\frac{t^{2}}{x} \biggr) \biggl( q ( t ) -\lambda- \frac{2}{t} \biggr) \bigl( y_{n}(t)-y_{n-1}(t) \bigr) \,dt\biggr\vert . $$

Since \(t\geq x\) we get \(\vert \frac{x^{2}}{t}-\frac{t^{2}}{x}\vert =\vert \frac{t^{2}}{x} ( \frac {x^{3}}{t^{3}}-1 ) \vert \leq\frac{t^{2}}{x}\). We have

$$\begin{aligned} \bigl\vert y_{n+1}(x)-y_{n}(x)\bigr\vert \leq& \Biggl\vert \int_{x}^{1} \frac{t^{2}}{3x} \biggl( q ( t ) -\lambda-\frac{2}{t} \biggr) \frac{1}{t} \Biggl[ \biggl( \frac{\Vert q-\lambda \Vert }{3} \biggr) ^{n} \biggl( \frac{ ( 1-t ) ^{n}}{n!} \biggr) ^{1/2n}\vert c_{n}\vert \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{ ( 1-t ) ^{k}}{k!} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{k}\vert c_{k} \vert +\vert c_{n+1}\vert \Biggr] \,dt\Biggr\vert \\ \leq& \int_{x}^{1}\frac{t}{3x} \bigl( \bigl\vert q ( t ) -\lambda \bigr\vert +2 \bigr) \Biggl[ \biggl( \frac{\Vert q-\lambda \Vert }{3} \biggr) ^{n} \biggl( \frac{ ( 1-t ) ^{n}}{n!} \biggr) ^{1/2n}\vert c_{n}\vert \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{ ( 1-t ) ^{k}}{k!} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{k}\vert c_{k} \vert +\vert c_{n+1}\vert \Biggr] \,dt. \end{aligned}$$

Because of \(t\leq1\), we have

$$\begin{aligned} \bigl\vert y_{n+1}(x)-y_{n}(x)\bigr\vert \leq& \frac{1}{x}\int_{x}^{1} \frac{1}{3} \bigl( \bigl\vert q ( t ) -\lambda\bigr\vert +2 \bigr) \Biggl[ \biggl( \frac{\Vert q-\lambda \Vert }{3} \biggr) ^{n} \biggl( \frac{ ( 1-t ) ^{n}}{n!} \biggr) ^{1/2n}\vert c_{n}\vert \\ &{}+\sum_{k=1}^{n-1} \biggl( \frac{ ( 1-t ) ^{k}}{k!} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{k}\vert c_{k} \vert +\vert c_{n+1}\vert \Biggr] \,dt. \end{aligned}$$

By the Cauchy-Schwarz inequality, we get

$$\begin{aligned} \bigl\vert y_{n+1}(x)-y_{n}(x)\bigr\vert \leq& \frac{1}{x} \Biggl[ \biggl( \frac{1}{3} \biggr) ^{n+1} \biggl( \frac{ ( 1-x ) ^{n+1}}{(n+1)!} \biggr) ^{1/2}\Vert q- \lambda \Vert _{2}^{n+1}\vert c_{n+1}\vert \\ & {}+\sum_{k=1}^{n} \biggl( \frac{ ( 1-x ) ^{k}}{k!} \biggr) ^{1/2}\Vert q-\lambda \Vert _{2}^{k}\vert c_{k} \vert +\vert c_{n+2}\vert \Biggr]. \end{aligned}$$

By the ratio test, the series converges. Then \(y_{n}(x)\) converges uniformly by the Weierstrass sufficiency theorem. □

3 Asymptotic behavior of eigenvalues

The main result of the paper is given by the following theorem.

Assume that \(0< x_{1}< x_{2}\leq1\).

Theorem 3

If y is a nontrivial solution of the equation

$$ -y^{\prime\prime}+ \biggl[ \frac{2}{x^{2}}-\frac{2}{x}+q ( x ) \biggr] y=\lambda y $$
(3.1)

with \(y(x_{1})=y^{\prime}(x_{2})+by(x_{2})=0\), then

$$ \lambda\geq- \biggl[ \frac{2}{x_{1}}+ \biggl( \vert b\vert +2\int _{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) ^{2} \biggr], $$

where \(b\in \mathbb{R} \) and \(q(x)\in L^{2} [ 0,1 ] \).

Proof

Multiplying (3.1) by y and integrating of this equation from \(x_{1}\) to \(x_{2}\) gives the formula

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}-\lambda y^{2}+ \biggl( \frac{2}{x^{2}}- \frac{2}{x} \biggr) y^{2} \biggr] \,dx=0. $$

Since \(\int_{x_{1}}^{x_{2}}\frac{2}{x^{2}}y^{2}\,dx\geq0\) the remaining term will be negative or zero,

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}-\lambda y^{2}-\frac{2}{x}y^{2} \biggr] \,dx\leq0. $$
(3.2)

Integrating the first term by parts gives

$$\begin{aligned} \int_{x_{1}}^{x_{2}}-y^{\prime\prime}y\, dx =&-y^{\prime }(x_{2})y(x_{2})+y^{\prime }(x_{1})y(x_{1})+ \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx \\ =&by^{2}(x_{2})+\int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx. \end{aligned}$$

So (3.2) is equal to

$$ by^{2}(x_{2})+\int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}+q ( x ) y^{2}- \lambda y^{2}-\frac{2}{x}y^{2} \biggr] \,dx\leq0. $$

Moreover, we find \(\int_{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\) and that equals

$$\begin{aligned}& \int_{x_{1}}^{x_{2}}2y(x)y^{\prime }(x)\int _{x_{1}}^{x}q(t)\,dt\,dx \\& \quad = \biggl( 2y^{2}(x)\int_{x_{1}}^{x}q(t) \,dt \biggr) _{x_{1}}^{x_{2}}-\int_{x}^{x_{2}}2y(x)y^{\prime }(x) \int_{x_{1}}^{x}q(t)\,dt\,dx-\int _{x_{1}}^{x_{2}}2y^{2}(x)q(x) \,dx \\& \quad = y^{2}(x_{2})\int_{x_{1}}^{x_{2}}q(t) \,dt-\int _{x_{1}}^{x_{2}}y^{2}(x)q(x)\,dx. \end{aligned}$$

Then we have

$$ \int_{x_{1}}^{x_{2}}q(x)y^{2}(x) \,dx=y^{2}(x_{2})\int _{x_{1}}^{x_{2}}q(t) \,dt-\int_{x_{1}}^{x_{2}}2y(x)y^{\prime }(x)\int _{x_{1}}^{x}q(t)\,dt\,dx. $$
(3.3)

Integrating \(\int_{x_{1}}^{x_{2}}2y(x)y^{\prime}(x)\,dx\) by parts gives

$$\begin{aligned} \int_{x_{1}}^{x_{2}}2y(x)y^{\prime}(x)\,dx =& \bigl[ 2y^{2}(x) \bigr] _{x_{1}}^{x_{2}}-\int _{x_{1}}^{x_{2}}2y(x)y^{\prime}(x)\,dx \\ =&2y^{2}(x_{2})-\int_{x_{1}}^{x_{2}}2y(x)y^{\prime}(x) \,dx. \end{aligned}$$

So we get the formula

$$ y^{2}(x_{2})=\int_{x_{1}}^{x_{2}}2y(x)y^{\prime}(x) \,dx. $$

Adding (3.3) to \(by^{2}(x_{2})\) and using the triangle inequality gives the formula

$$\begin{aligned}& \bigl\vert by^{2}(x_{2})\bigr\vert +\biggl\vert \int _{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\biggr\vert \\& \quad \leq \vert b\vert y^{2}(x_{2})+\biggl\vert y^{2}(x_{2})\int_{x_{1}}^{x_{2}}q(t) \,dt\biggr\vert +\biggl\vert \int_{x_{1}}^{x_{2}}2y(x)y^{\prime }(x) \int_{x_{1}}^{x}q(t)\,dt\,dx\biggr\vert \\& \quad \leq \vert b\vert \int_{x_{1}}^{x_{2}}2yy^{\prime } \,dx+\int_{x_{1}}^{x_{2}}\vert q\vert \,dx\int _{x_{1}}^{x_{2}}2yy^{\prime }\,dx+\int _{x_{1}}^{x_{2}}\bigl\vert 2yy^{\prime}\bigr\vert \int_{x_{1}}^{x}\bigl\vert q(t)\bigr\vert \,dt \,dx. \end{aligned}$$

Since \(x\leq x_{2}\) we get

$$ \bigl\vert by^{2}(x_{2})\bigr\vert +\biggl\vert \int _{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\biggr\vert \leq \biggl[ \vert b\vert +2\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr] \int_{x_{1}}^{x_{2}}2yy^{\prime} \,dx. $$

By the Cauchy-Schwarz inequality, we get

$$\begin{aligned}& \bigl\vert by^{2}(x_{2})\bigr\vert +\biggl\vert \int _{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\biggr\vert \\& \quad \leq \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) 2 \biggl[ \int_{x_{1}}^{x_{2}}y^{2} \,dx \biggr] ^{1/2} \bigl[ \int _{x_{1}}^{x_{2}} \bigl(y^{\prime}\bigr)^{2}\,dx \bigr] ^{1/2} \end{aligned}$$

and, from the inequality of \(2A^{1/2}B^{1/2}\leq\varepsilon A+(1/\varepsilon)B\), we get

$$\begin{aligned}& \bigl\vert by^{2}(x_{2})\bigr\vert +\biggl\vert \int _{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\biggr\vert \\& \quad \leq \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) \biggl[ \varepsilon \biggl( \int _{x_{1}}^{x_{2}}y^{2}\,dx \biggr) +1/\varepsilon \biggl( \int_{x_{1}}^{x_{2}}\bigl(y^{\prime} \bigr)^{2}\,dx \biggr) \biggr]. \end{aligned}$$

For any \(\varepsilon>\vert b\vert +2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx\),

$$\begin{aligned}& by^{2}(x_{2})+\int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}+q ( x ) y^{2}- \lambda y^{2}-\frac{2}{x}y^{2} \biggr] \,dx \\& \quad \geq \int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}-\lambda y^{2}- \frac{2}{x}y^{2} \biggr] \,dx-\vert b\vert y^{2}(x_{2})-\biggl\vert \int_{x_{1}}^{x_{2}}qy^{2} \,dx\biggr\vert \\& \quad \geq \int_{x_{1}}^{x_{2}} \bigl[ \bigl( y^{\prime} \bigr) ^{2}-\lambda y^{2} \bigr] \,dx- \frac{2}{x_{1}}\int _{x_{1}}^{x_{2}}y^{2}\,dx \\& \qquad {} - \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) \biggl[ \varepsilon \biggl( \int _{x_{1}}^{x_{2}}y^{2}\,dx \biggr) +1/\varepsilon \biggl( \int_{x_{1}}^{x_{2}}\bigl(y^{\prime} \bigr)^{2}\,dx \biggr) \biggr] \\& \quad \geq \biggl[ 1- \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) \big/\varepsilon \biggr] \int _{x_{1}}^{x_{2}}\bigl(y^{\prime}\bigr)^{2} \,dx \\& \qquad {} + \biggl[ -\lambda-\frac{2}{x_{1}}-\varepsilon \biggl( \vert b \vert +2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) \biggr] \int_{x_{1}}^{x_{2}}y^{2} \,dx \\& \quad = C(\varepsilon)+ \biggl[ -\lambda-\frac{2}{x_{1}}-\varepsilon \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) \biggr] \int_{x_{1}}^{x_{2}}y^{2} \,dx, \end{aligned}$$

where \(C(\varepsilon)>0\). If we assume that

$$ \lambda< - \biggl[ \frac{2}{x_{1}}+ \biggl( \vert b\vert +2\int _{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) ^{2} \biggr], $$

the equation \(\int_{x_{1}}^{x_{2}} [ -y^{\prime\prime }y+q ( x ) y^{2}-\lambda y^{2}-\frac{2}{x}y^{2} ] \,dx\) should be positive. It contradicts our assumption. So we proved the theorem. □

Theorem 4

If y is a nontrivial solution of the equation

$$ -y^{\prime\prime}+ \biggl[ \frac{2}{x^{2}}-\frac{2}{x}+q ( x ) \biggr] y=\lambda y $$

with \(y(x_{1})=y(x_{2})=0\), then

$$ \lambda\geq- \biggl[ \frac{2}{x_{1}}+4 \biggl( \int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) ^{2} \biggr], $$

where \(q(x)\in L^{2} [ 0,1 ] \).

Proof

Multiplying the equation by y and integrating of this equation from \(x_{1} \) to \(x_{2}\) gives the formula

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}-\lambda y^{2}+ \biggl( \frac{2}{x^{2}}- \frac{2}{x} \biggr) y^{2} \biggr] \,dx=0. $$

Since \(\int_{x_{1}}^{x_{2}}\frac{2}{x^{2}}y^{2}\,dx\geq0\) the remaining term will be negative or zero,

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}-\lambda y^{2}-\frac{2}{x}y^{2} \biggr] \,dx\leq0. $$
(3.4)

Integrating the first term by parts gives

$$ \int_{x_{1}}^{x_{2}}-y^{\prime\prime}y\, dx =-y^{\prime }(x_{2})y(x_{2})+y^{\prime }(x_{1})y(x_{1})+ \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx =\int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx. $$

So (3.4) is equal to

$$ by^{2}(x_{2})+\int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}+q ( x ) y^{2}- \lambda y^{2}-\frac{2}{x}y^{2} \biggr] \,dx\leq0. $$

Moreover, we find \(\int_{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx\) and that equals

$$\begin{aligned}& \int_{x_{1}}^{x_{2}}2y(x)y^{\prime }(x)\int _{x_{1}}^{x}q(t)\,dt\,dx \\& \quad = \biggl( 2y^{2}(x)\int_{x_{1}}^{x}q(t) \,dt \biggr) _{x_{1}}^{x_{2}}-\int_{x}^{x_{2}}2y(x)y^{\prime }(x) \int_{x_{1}}^{x}q(t)\,dt\,dx-\int _{x_{1}}^{x_{2}}2y^{2}(x)q(x) \,dx \\& \quad = -\int_{x_{1}}^{x_{2}}y^{2}(x)q(x)\,dx. \end{aligned}$$

Then we have

$$ \int_{x_{1}}^{x_{2}}q(x)y^{2}(x)\,dx=- \int _{x_{1}}^{x_{2}}2y(x)y^{\prime}(x)\int _{x_{1}}^{x}q(t)\,dt\,dx, $$

since \(x\leq x_{2}\) we get

$$ \biggl\vert \int_{x_{1}}^{x_{2}}q(x)y^{2}(x) \,dx\biggr\vert \leq \int_{x_{1}}^{x_{2}}\vert q \vert \,dx\, \biggl\vert \int_{x_{1}}^{x_{2}}2yy^{\prime} \,dx\biggr\vert . $$

By the Cauchy-Schwarz inequality, we get

$$ \biggl\vert \int_{x_{1}}^{x_{2}}q(x)y^{2}(x) \,dx\biggr\vert \leq 2\int_{x_{1}}^{x_{2}}\vert q \vert \,dx\, \biggl[ \int_{x_{1}}^{x_{2}}y^{2} \,dx \biggr] ^{1/2} \biggl[ \int _{x_{1}}^{x_{2}} \bigl(y^{\prime}\bigr)^{2}\,dx \biggr] ^{1/2}, $$

and from the inequality of \(2A^{1/2}B^{1/2}\leq\varepsilon A+(1/\varepsilon)B\), we get

$$ \biggl\vert \int_{x_{1}}^{x_{2}}q(x)y^{2}(x) \,dx\biggr\vert \leq 2\int_{x_{1}}^{x_{2}}\vert q \vert \,dx\, \biggl[ \varepsilon \biggl( \int_{x_{1}}^{x_{2}}y^{2} \,dx \biggr) +1/\varepsilon \biggl( \int_{x_{1}}^{x_{2}} \bigl(y^{\prime}\bigr)^{2}\,dx \biggr) \biggr]. $$

For any \(\varepsilon>2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx \),

$$\begin{aligned}& \int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}+q ( x ) y^{2}-\lambda y^{2}- \frac{2}{x}y^{2} \biggr] \,dx \\& \quad \geq \int_{x_{1}}^{x_{2}} \biggl[ \bigl( y^{\prime} \bigr) ^{2}-\lambda y^{2}- \frac{2}{x}y^{2} \biggr] \,dx-\biggl\vert \int _{x_{1}}^{x_{2}}qy^{2}\,dx\biggr\vert \\& \quad \geq \int_{x_{1}}^{x_{2}} \bigl[ \bigl( y^{\prime} \bigr) ^{2}-\lambda y^{2} \bigr] \,dx- \frac{2}{x_{1}}\int _{x_{1}}^{x_{2}}y^{2}\,dx \\& \qquad {} -2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx\, \biggl[ \varepsilon \biggl( \int_{x_{1}}^{x_{2}}y^{2} \,dx \biggr) +1/\varepsilon \biggl( \int_{x_{1}}^{x_{2}} \bigl(y^{\prime}\bigr)^{2}\,dx \biggr) \biggr] \\& \quad \geq \biggl[ 1-\frac{2}{\varepsilon}\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr] \int_{x_{1}}^{x_{2}} \bigl(y^{\prime}\bigr)^{2}\,dx \\& \qquad {} + \biggl[ -\lambda-\frac{2}{x_{1}}-2\varepsilon \int _{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr] \int _{x_{1}}^{x_{2}}y^{2}\,dx \\& \quad = C(\varepsilon)+ \biggl[ -\lambda-\frac{2}{x_{1}}-\varepsilon \biggl( \vert b\vert +2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) \biggr] \int_{x_{1}}^{x_{2}}y^{2} \,dx, \end{aligned}$$

where \(C(\varepsilon)>0\). If we assume that

$$ \lambda< - \biggl[ \frac{2}{x_{1}}+4 \biggl( \int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) ^{2} \biggr], $$

the equation \(\int_{x_{1}}^{x_{2}} [ -y^{\prime\prime }y+q ( x ) y^{2}-\lambda y^{2}-\frac{2}{x}y^{2} ] \,dx\) should be positive. It contradicts our assumption. So we get our result. □

Theorem 5

If y is a nontrivial solution of the equation

$$ -y^{\prime\prime}+ \biggl[ \frac{2}{x^{2}}-\frac{2}{x}+q ( x ) \biggr] y=0, $$
(3.5)

where \(q(x)\in L^{2} [ 0,1 ] \), and if \(y^{\prime }(x_{1})=y^{\prime}(x_{2})=0\), where \(0\leq x_{1}\leq x_{2}\leq1\), then

$$ \frac{1}{x_{2}^{2}}+\frac{1}{x_{2}}\leq2 \biggl[ \int_{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr] ^{2}+\frac{1}{2 ( x_{2}-x_{1} ) }\int _{x_{1}}^{x_{2}}\vert q\vert \,dx. $$

Proof

Multiplying (3.5) by y and integrating of this equation from \(x_{1}\) to \(x_{2}\) gives the formula

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}+ \biggl( \frac{2}{x^{2}}- \frac{2}{x} \biggr) y^{2} \biggr] \,dx=0. $$

Since

$$ \int_{x_{1}}^{x_{2}}2y(x)y'(x)\int_{x_{1}}^{x}q(t)\, dt\, dx=y^{2}(x_{2})\int_{x_{1}}^{x_{2}}q(t)\, dt-\int_{x_{1}}^{x_{2}}q(x)y^{2}(x)\, dx $$

we get

$$ \int_{x_{1}}^{x_{2}}q(x)y^{2}(x) \,dx=y^{2}(x_{2})\int _{x_{1}}^{x_{2}}q(t) \,dt-\int_{x_{1}}^{x_{2}}2y(x)y^{\prime }(x)\int _{x_{1}}^{x}q(t)\,dt\,\,dx . $$
(3.6)

From the mean value theorem we can write

$$ y^{2}(x_{3})= \bigl[ 1/(x_{2}-x_{1}) \bigr] \int _{x_{1}}^{x_{2}}y^{2}\,dx, $$
(3.7)

where \(x_{3}\in [ x_{1},x_{2} ] \). From (3.7) and integrating \(\int_{x_{1}}^{x_{2}}2y(x)y^{\prime}(x)\,dx\) by parts we have

$$ y^{2}(x_{2})=y^{2}(x_{3})+\int _{x_{1}}^{x_{2}}2yy^{\prime}\,dx=\frac{1}{x_{2}-x_{1}} \int_{x_{1}}^{x_{2}}y^{2}\,dx+ \int _{x_{1}}^{x_{2}}2yy^{\prime}\,dx. $$

Adding (3.6) to \(\int_{x_{1}}^{x_{2}}\frac{2y^{2}}{x}\,dx\) we have

$$\begin{aligned} \int_{x_{1}}^{x_{2}} \biggl( q-\frac{2}{x} \biggr) y^{2}\,dx =& \biggl[ \frac{1}{x_{2}-x_{1}}\int_{x_{1}}^{x_{2}}y^{2} \,dx+\int _{x_{1}}^{x_{2}}2yy^{\prime}\,dx \biggr] \int _{x_{1}}^{x_{2}}q\, dx \\ &{}-\int_{x_{1}}^{x_{2}}2yy^{\prime } \int_{x_{1}}^{x}q(t)\,dt\,\,dx-\int _{x_{1}}^{x_{2}}\frac{2y^{2}}{x}\,dx. \end{aligned}$$

From the triangle inequality we have the formula

$$\begin{aligned} \biggl\vert \int_{x_{1}}^{x_{2}} \biggl( q- \frac{2}{x} \biggr) y^{2}\,dx\biggr\vert \leq& \biggl\vert \biggl[ \frac{1}{x_{2}-x_{1}}\int _{x_{1}}^{x_{2}}y^{2} \,dx+\int_{x_{1}}^{x_{2}}2yy^{\prime}\,dx \biggr] \int_{x_{1}}^{x_{2}}q\, dx\biggr\vert \\ & {}+\biggl\vert \int_{x_{1}}^{x_{2}}2yy^{\prime }\int _{x_{1}}^{x}q\,dt\,\,dx\biggr\vert +\biggl\vert \int_{x_{1}}^{x_{2}}\frac{2y^{2}}{x}\,dx\biggr\vert \\ \leq& \biggl( \frac{1}{x_{2}-x_{1}}\int_{x_{1}}^{x_{2}} \vert q\vert \,dx+\frac{2}{x_{2}} \biggr) \int_{x_{1}}^{x_{2}}y^{2} \,dx+2\int_{x_{1}}^{x_{2}}2\bigl\vert yy^{\prime} \bigr\vert \int_{x_{1}}^{x}q\,dt\,\,dx. \end{aligned}$$

By using the inequality

$$ 2\bigl\vert yy^{\prime}\bigr\vert \leq\varepsilon y^{2}+ ( 1/ \varepsilon ) \bigl( y^{\prime} \bigr) ^{2}, $$

we get

$$\begin{aligned} \biggl\vert \int_{x_{1}}^{x_{2}} \biggl( q- \frac{2}{x} \biggr) y^{2}\,dx\biggr\vert \leq &\biggl[ \frac{1}{x_{2}-x_{1}}\int_{x_{1}}^{x_{2}} \vert q\vert \,dx+\frac{2}{x_{2}} \biggr] \int_{x_{1}}^{x_{2}}y^{2} \,dx \\ &{}+2 \biggl[ \varepsilon\int_{x_{1}}^{x_{2}}y^{2} \,dx+\frac{1}{\varepsilon}\int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx \biggr] \int_{x_{1}}^{x_{2}} \vert q\vert \,dx. \end{aligned}$$

Integrating \(\int_{x_{1}}^{x_{2}}-y^{\prime\prime}y\, dx\) by parts gives

$$\begin{aligned}& \int_{x_{1}}^{x_{2}}-y^{\prime\prime}y\, dx=-y^{\prime }(x_{2})y(x_{2})+y^{\prime }(x_{1})y(x_{1})+ \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx=\int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx, \end{aligned}$$
(3.8)
$$\begin{aligned}& \int_{x_{1}}^{x_{2}}\frac{2}{x^{2}}y^{2}\,dx \geq \int_{x_{1}}^{x_{2}}\frac{2}{x_{2}^{2}}y^{2} \,dx . \end{aligned}$$
(3.9)

From (3.9) and (3.8) and for any \(\varepsilon>\vert b\vert +2\int_{x_{1}}^{x_{2}}\vert q\vert \,dx\), there exists a number \(C(\varepsilon)>0\) such that

$$\begin{aligned}& \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}+ \biggl( \frac{2}{x^{2}}-\frac{2}{x} \biggr) y^{2} \biggr] \,dx \\& \quad = \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx+\int_{x_{1}}^{x_{2}} \biggl( q- \frac{2}{x} \biggr) y^{2}\,dx+\int_{x_{1}}^{x_{2}} \frac{2}{x^{2}}y^{2}\,dx \\& \quad \geq \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx- \biggl( \frac{1}{x_{2}-x_{1}}\int_{x_{1}}^{x_{2}} \vert q\vert \,dx+\frac{2}{x_{2}} \biggr) \int _{x_{1}}^{x_{2}}y^{2}\,dx \\& \qquad {} -2 \biggl( \varepsilon\int_{x_{1}}^{x_{2}}y^{2} \,dx+\frac{1}{\varepsilon}\int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx \biggr) \int_{x_{1}}^{x_{2}} \vert q\vert \,dx+\int_{x_{1}}^{x_{2}} \frac{2}{x_{2}^{2}}y^{2}\,dx \\& \quad = \biggl( 1-\frac{2}{\varepsilon}\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr) \int_{x_{1}}^{x_{2}} \bigl( y^{\prime} \bigr) ^{2}\,dx \\& \qquad {}+ \biggl\{ \frac{2}{x_{2}^{2}}+ \frac{2}{x_{2}}- \biggl( \frac{1}{x_{2}-x_{1}}+2\varepsilon \biggr) \int _{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr\} \int _{x_{1}}^{x_{2}}y^{2}\,dx \\& \quad = C(\varepsilon)+ \biggl\{ \frac{2}{x_{2}^{2}}+\frac{2}{x_{2}}- \biggl( \frac{1}{x_{2}-x_{1}}+2\varepsilon \biggr) \int_{x_{1}}^{x_{2}} \vert q\vert \,dx \biggr\} \int_{x_{1}}^{x_{2}}y^{2} \,dx. \end{aligned}$$

Let us assume that

$$ \frac{2}{x_{2}^{2}}+\frac{2}{x_{2}}- \biggl( \frac{1}{x_{2}-x_{1}}+2 \varepsilon \biggr) \int_{x_{1}}^{x_{2}}\vert q\vert \,dx>0. $$

In this case, we get

$$\begin{aligned} \frac{1}{x_{2}^{2}}+\frac{1}{x_{2}} >&\varepsilon \int_{x_{1}}^{x_{2}} \vert q\vert \,dx+\frac{1}{2 ( x_{2}-x_{1} ) }\int_{x_{1}}^{x_{2}} \vert q\vert \,dx \\ >&2 \biggl( \int_{x_{1}}^{x_{2}}\vert q\vert \,dx \biggr) ^{2}+\frac{1}{2 ( x_{2}-x_{1} ) }\int_{x_{1}}^{x_{2}} \vert q\vert \,dx. \end{aligned}$$

Then we have

$$ \int_{x_{1}}^{x_{2}} \biggl[ -y^{\prime\prime}y+q ( x ) y^{2}+ \biggl( \frac{2}{x^{2}}-\frac{2}{x} \biggr) y^{2} \biggr] \,dx>0. $$

This is a contradiction. So we proved the theorem. □

Conclusion

In the Carlson case, the potentials are in \(L^{2} [ 0,1 ] \), but in our paper, the potentials are not in \(L^{2} [ 0,1 ] \).

References

  1. Birkhoff, GD: Boundary value and expansion problems of ordinary linear differential equations. Trans. Am. Math. Soc. 9(4), 373-395 (1908)

    Article  MATH  MathSciNet  Google Scholar 

  2. Titchmarsh, EC: Eigenfunction Expansions Associated with Second-Order Differential Equations, vol. 1. Clarendon, Oxford (1946)

    MATH  Google Scholar 

  3. Gasymov, MG: The definition of Sturm-Liouville operator from two spectra. DAN SSSR 161(2), 274-276 (1965)

    MathSciNet  Google Scholar 

  4. Levitan, BM, Sargsyan, IS: Introduction to Spectral Theory: Selfadjoint Ordinary Differential Operators. Am. Math. Soc., Providence (1975)

    MATH  Google Scholar 

  5. Courant, R, Hilbert, D: Methods of Mathematical Physics, vol. I. Interscience, New York (1953)

    MATH  Google Scholar 

  6. Birman, MS, Solomyak, MZ: On asymptotic behaviour of the spectrum of variational problems with constraints. In: Proceedings of the Conference Dedicated to Academician Petrovsky 75th Birthday, pp. 51-52. Izdat. Mosk. Univ., Moscow (1978) (Russian)

    Google Scholar 

  7. Carleman, T: Problèmes Mathématiques dans la Théorie Cinétique des Gaz. Almqvist och Wiksells Boktryckeri, Uppsala (1957) (in French)

    MATH  Google Scholar 

  8. Fedoryuk, MV: Asymptotic Methods in Analysis. Encyclopaedia of Mathematical Sciences, vol. 13, pp. 83-191 (1989)

    Google Scholar 

  9. Poeschel, J, Trubowitz, E: Inverse Spectral Theory. Academic Press, San Diego (1987)

    MATH  Google Scholar 

  10. Carlson, R: Inverse spectral theory for some singular Sturm-Liouville problems. J. Differ. Equ. 106, 121-140 (1993)

    Article  MATH  MathSciNet  Google Scholar 

  11. Hochstadt, H, Lieberman, B: An inverse Sturm-Liouville problem with mixed given data. SIAM J. Appl. Math. 34, 676-680 (1978)

    Article  MATH  MathSciNet  Google Scholar 

  12. Panakhov, ES, Yilmazer, R: A Hochstadt-Lieberman theorem for the hydrogen atom equation. Appl. Comput. Math. 11(1), 74-80 (2012)

    MATH  MathSciNet  Google Scholar 

  13. Panakhov, ES, Yilmazer, R: On inverse problem for singular Sturm-Liouville operator from two spectra. Ukr. Math. J. 58(1), 147-154 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  14. Koyunbakan, H, Panakhov, ES: Half inverse problem for singular differential operator. Appl. Anal. 84(3), 247-252 (2005)

    Article  MATH  MathSciNet  Google Scholar 

  15. Panakhov, ES, Sat, M: Reconstruction of potential function for Sturm-Liouville operator with Coulomb potential. Bound. Value Probl. 2013, 49 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  16. Guillot, J-C, Ralston, JV: Inverse spectral theory for a singular Sturm-Liouville operator on \([0, 1]\). J. Differ. Equ. 76, 353-373 (1988)

    Article  MATH  MathSciNet  Google Scholar 

  17. Zhornitskaya, LA, Serov, VS: Inverse eigenvalue problems for a singular Sturm-Liouville operator on \([0, 1]\). Inverse Probl. 10(4), 975-987 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  18. Serier, F: The inverse spectral problem for radial Schrödinger operators on \([0, 1]\). J. Differ. Equ. 235, 101-126 (2007)

    Article  MATH  MathSciNet  Google Scholar 

  19. Bas, E, Metin, F: Fractional singular Sturm-Liouville operator for Coulomb potential. Adv. Differ. Equ. 2013, 300 (2013)

    Article  MathSciNet  Google Scholar 

  20. Newton, RG: Scattering Theory of Waves and Particles. Texts and Monographs in Physics. Springer, New York (1982)

    Book  MATH  Google Scholar 

  21. Kostyuchenko, AG, Sargsyan, IS: Distribution of Eigenvalues. Nauka, Moscow (1979)

    MATH  Google Scholar 

  22. Rundell, W, Sacks, PE: Reconstruction techniques for classical inverse Sturm-Liouville problems. Math. Comput. 58(197), 161-183 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  23. Clark, C: The asymptotic distribution of eigenvalues and eigenfunctions for elliptic boundary value problems. SIAM Rev. 9, 627-646 (1967)

    Article  MATH  MathSciNet  Google Scholar 

  24. Olver, FWJ: Introduction to Asymptotics and Special Functions. Academic Press, New York (1974)

    MATH  Google Scholar 

  25. de Wet, JS, Mandl, F: On the asymptotic distribution of eigenvalues. Proc. R. Soc. Lond. A 200, 572-580 (1950)

    Article  MATH  MathSciNet  Google Scholar 

  26. Morse, P, Feshbach, H: Methods of Theoretical Physics. McGraw-Hill, London (1953)

    MATH  Google Scholar 

  27. Blohincev, DI: Foundations of Quantum Mechanics. GITTL, Moscow (1949) (3rd edn.: Vyss. Skola, Kiev (1961); English transl.: Reidel, Dordrecht (1964))

    Google Scholar 

  28. Fok, VA: Beginnings of Quantum Mechanics. Izdat. Leningrad Gos. Univ., Leningrad (1932)

    Google Scholar 

Download references

Acknowledgements

The authors would like to thank the referees for valuable comments in improving the original paper.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Ismail Ulusoy.

Additional information

Competing interests

The authors declare that they have no competing interests.

Authors’ contributions

IU carried out the design of the study and performed the analysis. EP (adviser) participated in its design and coordination. All authors read and approved the final manuscript.

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.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Panakhov, E.S., Ulusoy, I. Asymptotic behavior of eigenvalues of hydrogen atom equation. Bound Value Probl 2015, 87 (2015). https://doi.org/10.1186/s13661-015-0347-z

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-015-0347-z

Keywords