Asymptotic Formulas of the Solutions and the Trace Formulas for the Polynomial Pencil of the Sturm-Liouville Operators ()
1. Introduction
Consider the differential equation
(1)
where are complex valued functions and is a complex parameter.
Differential equations of type (1) often appear in connection with some spectral problems and nonlinear evolution equations (see [1] [2] [3] ). In the case the equation is the classical Sturm-Liouville equation and in this case there are a wide class of spectral problems and inverse spectral problems which were investigated by constructing integral representations for the independent solutions of the Sturm-Liouville equation (see [4] ). We studied in [5] , the solutions of the Equation (1) satisfying the initial conditions
and it is proved that in the sectors of complex plane
the solutions have the following integral representations:
(2)
where, and,
belong to and respectively. Moreover, if denotes Riemann-Liouville fractional derivative of order (see [6] ) with respect to t, i.e.
then for all the functions and belong to and respectively. Furthermore, the following equalities are valid:
(3)
(4)
where
(5)
In the present paper we use the above facts about special solutions of the Equation (1) to obtain some trace formulas for the boundary value problem generated by the Equation (1) in the segment with simple boundary conditions
2. Asymptotic Formulas and the Trace Formulas
Using (2), (3) and (4) it is easy to prove the following theorem where we seek two solutions which have special representations.
Theorem 1. If and then the Equation (1) has solutions
(6)
and
(7)
where
(8)
(9)
(10)
(11)
(12)
(13)
Since the solutions and are linearly independent for we have
for the solution of the Equation (1) with initial conditions
Then the Theorem 1 gives
(14)
where
(15)
(16)
(17)
Now let us connect the Equation (1) to the boundary conditions
(18)
In [2] it is obtained the asymptotic formulas for the eigenvalues of the boundary value problem (1)-(2). Let be a characteristic function of this boundary value problem. Then
(19)
where
(20)
Let us consider the circles where is sufficiently large integer. On circles the functions and are
bounded by the constants independent of. So we have that the module of the maximum of the function approaches to zero when. Hence, if are the series of eigenvalues of the problem (1), (18) we have
(21)
Using (19) and (20) we compute the integrals on the right hand side of the Equation (21) and prove the following theorem.
Theorem 2. If are the series of eigenvalues of the boundary value problem (1), (18) then
(22)
(23)
(24)
(25)
where are constants defined by the help of the functions . Here
(26)
in which the numbers are defined from the asymptotic equality
From Theorem 2 we have that if the Fourier series are conver-
gent and denoting their sums by we obtain the following regularized trace formulas for the eigenvalues of the boundary value problem (1), (18):