The Sturm-Liouville equation is a second order linear ordinary differential equation of the form

for some and. It was first introduced in an 1837 publication [1] by the eminent French mathematicians Joseph Liouville and Jacques Charles François Sturm. The Sturm-Liouville Equation (1.1) can easily be reduced to form

If we assume that p(x) has a continuous first derivative, and p(x), r(x) have a continuous second derivative, then by means of the substitutions

where c is given by

Equation (1.1) assumes the form (1.2) replaced by; where

The transformation of the general second order equation to canonical form and the asymptotic formulas for the eigenvalues and eigenfunctions was given by Liouville. A deep study of the distribution of the zeros of eigenfunctions was done by Sturm. 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 in the infinity was given by Titchmarsh in 1946 [2] [3] . Titchmarsh also showed the distribution formula for the Schrödinger Operator. In later years, Levitan improved the Titchmarsh’s method and found important asymptotic formula for the eigenvalues of different differential operators [4] [5] . Sturm-Liouville problems with a singularity at zero have various versions. The best known case is the one studied by Amirov [6] [7] , in which the potential has a Coulomb-type singularity

at the origin. In these works, properties of spectral characteristic were studied for Sturm-Liouville operators with Coulomb potential, which have discontinuity conditions inside a finite interval. Panakhov and Sat estimated nodal points and nodal lengths for the Sturm-Liouville operators with Coulomb potential [8] -[10] . Basand Metin defined a fractional singular Sturm-Liouville operator having Coulomb potential of type A/x [11] .

Let’s give some fundamental physical properties of the Sturm-Liouville operator with Coulomb potential. Learning about the motion of electrons moving under the Coulomb potential is of significance in quantum theory. Solving these types of problems provides us with finding energy levels of not only hydrogen atom but

also single valance electron atoms such as sodium. For the Coulomb potential is given by, where r

is the radius of the nucleus, e is electronic charge. According to this, we use time-dependent Schrödinger equation

where is the wave function, h is Planck’s constant and m is the mass of electron.

In this equation, if the Fourier transform is applied

it will convert to energy equation dependent on the situation as follows:

Therefore, energy equation in the field with Coulomb potential becomes

If this hydrogen atom is substituted to other potential area, then energy equation becomes

If we make the necessary transformation, then we can get a Sturm-Liouville equation with Coulomb potential

where is a parameter which corresponds to the energy [12] .

Our aim here is to find asymptotic formulas for singular Sturm-Liouville operatör with Coulomb potential with domain

~

Also, we give the normalizing eigenfunctions and spectral functions.

We consider the singular Sturm-Liouville problem

where the function. Let us denote by the solution of (2.1) satisfying the initial condition

and by the solution of same equation, satisfying the initial condition

Lemma 1. The solution of problem (2.1) and (2.2) has the following form:

where.

Proof. Since satisfies Equation (2.1), we have

Integrating the first integral on the right side by parts twice and taking the conditions (2.2) into account, we find that

which is (2.4).

Lemma 2. The solution of problem (2.1) and (2.3) has the following form:

Proof. The proof is the same as that of Lemma 1.

Now we give some estimates of and which will be used later. For each fixed x in [0, 1] the map is an entire function on which is real-valued on [13] . Using the estimate

we get

Since and

we have

From (2.6) the inequality is easily checked

where c is uniform with respect to q on bounded sets in.

Lemma 3 (Counting Lemma). [13] Let and be an integer. Then has exactly N roots, counted with multiplicities, in the open half plane

and for each, exactly one simple root in the egg shaped region

There are no other roots.

From this Lemma there exists an integer N such that for every there is only one eigenvalue in Thus for every

can be chosen independent of q on bounded sets of. Following theorem [13] shows that the eigenvalues are the zeroes of the map and these zeroes are simple.

Theorem 1. If is Dirichlet eigenvalue of q in, then

In particular,. Thus, all roots of are simple.

Proof. The proof is similar as that of ([13] , Pöschel and Trubowitz).

We need the following lemma for proving the main result.

Lemma 4. For every f in,

and

Proof. Firstly, we shall prove the relation (3.1)

By the Cauchy-Schwarz inequality, we get

.

Since f is in, the last two integrals are equal to

So (3.3) is equivalent to

.

Finally, we shall prove the relation (3.2)

This proves the lemma.

The main result of this article is the following theorem:

Theorem 2. For,

.

Proof of the Main Theorem. Since it must be. Because is a nontrivial solution of Equation (2.1) satisfying Dirichlet boundary conditions, we have

From (2.7) someone gets the inequality

From (3.5) integral in the equation of (3.4) takes the form

By using difference formulas for sine we have

From Lemma 4 we get

Thus, by using this inequality (3.4) can be written in the form

From (2.8) we conclude that

Since and, (3.7) is equivalent to

.

So we get

From (2.8) we have

In this case, the theorem is proved.

From this theorem, the map

from q to its sequences of Dirichlet eigenvalues sends into S. Later, we need this map to characterize spectra which is equivalent to determining the image of.

To each eigenvalue we associate a unique eigenfunction normalized by

Let’s define the normalizing eigenfunction:

Lemma 5. For,

This estimate holds uniformly on bounded subsets of.

Proof. Let and. By the basic estimate for,

By using this estimate we have

So we get

Thus we conclude that

Dividing by we get

.

Also, we need to have asymptotic estimates of the squares of the eigenfunctions and products

Lemma 6. For,

This estimate holds uniformly on bounded subsets of.

Proof. We know that

By the basic estimate for, we have

Hence,

Let

.

The map is real analytic on. Now we give asymptotic behavior for.

Theorem 3. Each is a compact, real analytic function on with

Its gradient is

The error terms are uniform on bounded subsets of.

Proof. From [14] we have

So we calculate the integral

Finally, since, we get

By the Cauchy-Schwarz inequality, we prove the theorem.

Let

Formula (4.3) shows that belongs to. By Theorem 3, the map

from q to its sequences of -values maps into the. So we obtain a map

from into the.

Theorem 4. [13] is one-to-one on.

Let be the Frechet derivative of the map at q.

Theorem 5. [14] is an isomorphism from onto.

Etibar S.Panakhov,IsmailUlusoy, (2016) Inverse Spectral Theory for a Singular Sturm Liouville Operator with Coulomb Potential. Advances in Pure Mathematics,06,41-49. doi: 10.4236/apm.2016.61005