arXiv:1608.01459v1 [math.SP] 4 Aug 2016
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE
STURM-LIOUVILLE PROBLEM I: DIRECT PROBLEM
AVETIK PAHLEVANYAN
Abstract. This is the first in a series of papers devoted to the constructive
solution of the inverse Sturm-Liouville problem −y ′′ + q (x) y = µy, y(0) = 0,
y (π) cos β + y ′ (π) sin β = 0, β ∈ (0, π) , with q ∈ L1R [0, π] . In this paper the
so-called direct problem is solved.
1. Introduction and Statement of the Results
Let us denote by L (q, α, β) the following Sturm-Liouville boundary value problem
− y ′′ + q (x) y = µy ≡ λ2 y, x ∈ (0, π) , µ ∈ C,
(1.1)
y (0) cos α + y ′ (0) sin α = 0, α ∈ (0, π] ,
(1.2)
′
y (π) cos β + y (π) sin β = 0, β ∈ [0, π) ,
(1.3)
L1R
where q is a real-valued, summable function on [0, π] (we write q ∈
[0, π]). By
L (q, α, β) we also denote the self-adjoint operator generated by the problem (1.1)–
(1.3) in Hilbert space L2 [0, π] (see [1, 2]). It is well-known, that the spectrum
of L (q, α, β) (which we denote by σ (L (q, α, β))) is discrete and consists of real,
simple eigenvalues (see [1, 2, 3]), which we denote by µn (q, α, β), n = 0, 1, 2, . . . ,
emphasizing the dependence on q, α and β. We assume that eigenvalues µn are
enumerated in increasing order:
µ0 (q, α, β) < µ1 (q, α, β) < · · · < µn (q, α, β) < . . . .
Let ϕ (x, µ, α) and ψ (x, µ, β) be the solutions of (1.1), satisfying the initial conditions
ϕ (0, µ, α) = sin α, ϕ′ (0, µ, α) = − cos α,
(1.4)
ψ (π, µ, β) = sin β, ψ ′ (π, µ, β) = − cos β.
(1.5)
′
′
It is well-known ([1, 2, 4]) that for fixed x, the functions ϕ, ϕ , ψ, ψ are entire
with respect to µ. We set by Wα,β (x, µ) Wronskian of the solutions ϕ (x, µ, α) and
ψ (x, µ, β) :
Wα,β (x, µ) = ϕ (x, µ, α) ψ ′ (x, µ, β) − ϕ′ (x, µ, α) ψ (x, µ, β) .
(1.6)
By virtue of Liouville formula for the Wronskian (see, e.g., [5]) Wα,β (x, µ) does not
depend on x, i.e.
Wα,β (µ) = Wα,β (x, µ) = Wα,β (π, µ) = Wα,β (0, µ) .
(1.7)
2010 Mathematics Subject Classification. 34B24, 34L05, 34L10, 34L20.
Key words and phrases. Sturm-Liouville problem, completeness and expansion theorems,
asymptotics of eigenvalues and norming constants.
1
2
AVETIK PAHLEVANYAN
Furthermore, when Wα,β (0) = 0, we will also use the following function:
Vα,β (µ) :=
Wα,β (µ)
.
µ
(1.8)
The eigenvalues µn = µn (q, α, β) , n = 0, 1, 2, . . . , of L (q, α, β) are the solutions
of the equation Wα,β (µ) = 0. It is easy to see that the functions ϕn (x) = ϕ(x, µn , α)
and ψn (x) = ψ(x, µn , β), n = 0, 1, 2, . . . , are the eigenfunctions corresponding to
the eigenvalue µn . Since the eigenvalues are simple, then there exist the numbers
βn = βn (q, α, β) , n = 0, 1, 2, . . . , such that
ψn (x) = βn ϕn (x) , βn 6= 0.
2
(1.9)
The squares of the L norms of these eigenfunctions:
Zπ
Zπ
2
an = an (q, α, β) = ϕn (x) dx, bn = bn (q, α, β) = ψn2 (x) dx,
0
(1.10)
0
are called norming constants.
In the works [6, 7, 8, 9, 10, 11, 12, 13, 14, 15] various aspects of the inverse
Sturm-Liouville problem, consisting of recovering operator by two sequences, has
been considered. Particularly, the following question has been studied:
∞
”What kind must be the sequences {µn }∞
n=0 and {an }n=0 , to be the spectrum
and the norming constants of a problem L(q, α, β), respectively”.
This question is well studied for the cases q ∈ L2R [0, π] , α, β ∈ (0, π) and α = π,
β = 0. For the case q ∈ L1R [0, π] and sin α = 0 (α = π) , β ∈ (0, π) (analogously for
α ∈ (0, π) , sin β = 0 (β = 0)) only some aspects of this question have been studied
by the above-mentioned and the other authors. From the other point of view, an
inverse problem for L (q, π, β) (with q ∈ L2R [0, π] and β ∈ (0, π)) was considered in
[16, 17].
To our knowledge, so far, the necessary and sufficient conditions for the sequences
∞
∞
{µn }n=0 and {an }n=0 to be the spectrum and the norming constants for the problem L(q, π, β) with q ∈ L1R [0, π] (analogously for L(q, α, 0)) have not been found,
which in particularly means that the constructive solution of the inverse SturmLiouville problem in this case is not given. Our goal is to find these conditions,
which will be achieved in two papers of the current author.
The outline of this paper is the following: in section 2 we prove new expansion
theorems, that are used for the proof of the asymptotics of the eigenvalues and the
norming constants (this case needs more fine-grained assessment of the remainders)
(see section 3). In Appendix (see section 4) we prove some new relations, which
are used to obtain the main results of the paper. We believe that these relations
themselves are interesting.
A forthcoming paper will be devoted to the derivation of the analogue of GelfandLevitan equation, existence and uniqueness of the solution of this equation and
reconstruction of the function q (i.e. the reconstruction of differential equation
(1.1)) and parameter β.
2. Completeness and expansion theorems
Completeness and expansion theorems for eigenfunctions of the Sturm-Liouville
boundary-value problem have been proven since XIX-th century. One of the main
theorems of the spectral theory of differential operators is as follows (see [1])
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 3
Theorem 2.1. ([1]) Every function in the domain of self-adjoint differential operator can be expanded as a uniformly convergent generalized Fourier series for
eigenfunctions of this operator.
This result cannot be applied for the functions which do not belong to the domain
of self-adjoint differential operator. Freiling and Yurko in [15] found that, for a
function f ∈ AC [0, π] (absolutely continuous on [0, π]), the Fourier series for the
eigenfunctions of the Sturm-Liouville operator L (q, α, β) , q ∈ L2R [0, π] , α, β ∈
(0, π) converges uniformly to f.
Theorem 2.2. ([15]) Let q ∈ L2R [0, π] , α, β ∈ (0, π) . Then
∞
(1) The system of eigenfunctions {ϕ (x, µn , α)}n=0 of the boundary value problem L(q, α, β) is complete in L2 (0, π) .
(2) Let f (x), x ∈ [0, π] be an absolutely continuous function. Then
Z
∞
X
1 π
f (t)ϕ (t, µn , α) dt,
f (x) =
cn ϕ (x, µn , α), cn =
an 0
n=0
and the series converges uniformly on [0, π] .
∞
X
(3) For f ∈ L2 (0, π) , the series
cn ϕ (x, µn , α) converges in L2 (0, π) , and
n=0
Z
0
π
2
|f (x)| dx =
∞
X
n=0
an |cn |
2
(P arseval′ s equality).
We prove the analogous result for the problem L (q, π, β) , with q ∈ L1R [0, π] .
Theorem 2.3. Let q ∈ L1R [0, π] , α = π, β ∈ (0, π) . Then
∞
(1) The system of eigenfunctions {ϕn (x)}n=0 of the boundary value problem
L(q, π, β) is complete in L2 (0, π) .
(2) Let f be an absolutely continuous function on [0, π] . Then
!
∞
∞
X
X
ψ (x, 0, β)
1



, when 0 ∈
/ σ (L (q, π, β)) ,
ϕn (x) +
cn ϕn (x) − f (0)


µn a n
Wπ,β (0)


n=0
n=0




∞
∞
ψ̇ (x, 0, β) ψ (x, 0, β) V̇π,β (0)
f (x) = X
X 1

cn ϕn (x) − f (0) 
ϕn (x) +
−
,

2 (0)

µn a n
Vπ,β (0)
Vπ,β


n=0
n=0


n6=n0


when 0 = µn0 ∈ σ (L (q, π, β)) ,
(2.1)
Z
1 π
where cn =
f (t)ϕn (t) dt, and the series converge uniformly on arbian 0
trary segment [a, π] , a > 0.
∞
X
(3) For f ∈ L2 (0, π) , the series
cn ϕn (x) converges in L2 (0, π) , and Parseval’s identity holds
Z
0
n=0
π
|f (x)|2 dx =
∞
X
n=0
an |cn |2 .
(2.2)
4
AVETIK PAHLEVANYAN
Proof. For |λ| → ∞, the following asymptotic formulae hold ([1, 4, 7, 6, 18, 19])
!
e|Imλ|x
sin λx
2
+O
,
(2.3)
ϕ (x, µ, π) ≡ ϕπ (x, µ) ≡ ϕπ x, λ =
2
λ
|λ|
′
ϕ (x, µ, π) ≡
ϕ′π
(x, µ) ≡
ϕ′π
2
x, λ
= cos λx + O
e|Imλ|x
|λ|
!
,
(2.4)
sin λ (π − x)
ψ (x, µ, β) ≡ ψβ (x, µ) ≡ ψβ x, λ2 = cos λ (π − x) sin β +
cos β+
λ!
!
e|Imλ|(π−x)
e|Imλ|(π−x)
cos β, (2.5)
+O
sin β + O
2
|λ|
|λ|
ψ ′ (x, µ, β) ≡ ψβ′ (x, µ) ≡ ψβ′ x, λ2 = λ sin λ (π − x) + O e|Imλ|(π−x) sin β−
!!
e|Imλ|(π−x)
− cos λ (π − x) + O
cos β. (2.6)
|λ|
From (1.6), (1.7) and (2.5) for Wronskian Wπ,β (µ) we have the following estimates
sin λπ
Wπ,β (µ) ≡ Wπ,β λ2 = −ψβ (0, µ) = − cos λπ sin β −
cos β+
λ
!
!
e|Imλ|π
e|Imλ|π
cos β.
sin β + O
+O
|λ|
|λ|2
(2.7)
Denote by Z1/6 the following domain of the complex plane C:
(
)
n 1
Z1/6 = λ ∈ C : λ − ≥ , n ∈ Z .
2 6
The following lemma have been proven in [20] by the methods, which had used in
[13, Lemma 1 on p. 27] (see, also [3, 15])
Lemma 2.4. [20] If λ ∈ Z1/6 , then
1
1
|sin πλ| ≥ e|Imλ|π , |cos πλ| ≥ e|Imλ|π .
7
7
(2.8)
It follows from (2.7) and (2.8) that for sufficiently large λ∗ > 0, there is a constant
C1 > 0 such that
Wπ,β λ2 ≥ C1 e|Imλ|π sin β, when λ ∈ Z1/6 , |λ| > λ∗ .
(2.9)
Let us consider the following boundary value problem
− y ′′ + q (x) y = µy − f (x) , x ∈ (0, π) , µ ∈ C, f ∈ L1 [0, π] ,
y (0) = 0, y (π) cos β + y ′ (π) sin β = 0, β ∈ (0, π) .
(2.10)
(2.11)
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 5
It can be easily verified that the solution y (x, µ, f ) of the problem (2.10)–(2.11)
can be written in the following form (see for example [1, 21])
Z x
1
ψβ (x, µ)
f (t) ϕπ (t, µ) dt+
y (x, µ, f ) =
Wπ,β (µ)
0
Z π
1
+
ϕπ (x, µ)
f (t) ψβ (t, µ) dt. (2.12)
Wπ,β (µ)
x
Since ϕ, ψ and Wπ,β are entire functions of µ, then we see that y (x, µ, f ) is a
meromorphic function of µ, with poles in the zeros of Wπ,β or, that is the same,
d
in eigenvalues µn , n = 0, 1, 2, . . . . Since Ẇπ,β (µn ) ≡
Wπ,β (µn ) = βn an (see [15,
dµ
Lemma 1.1.1]), then using (1.9), we get the residue
Z x
1
f (t) ϕπ (t, µn ) dt+
ψβ (x, µn )
Res y (x, µ, f ) =
µ=µn
Ẇπ,β (µn )
0
Z π
Z π
βn
1
ϕπ (x, µn )
f (t) ψβ (t, µn ) dt =
ϕπ (x, µn )
f (t) ϕπ (t, µn ) dt =
+
Ẇπ,β (µn )
Ẇπ,β (µn )
x
0
Z π
1
= ϕπ (x, µn )
f (t) ϕπ (t, µn ) dt. (2.13)
an
0
Z π
f (t) ϕπ (t, µn ) dt = 0, n ≥ 0. From
Let f ∈ L2 [0, π] be such that (f, ϕn ) ≡
0
(2.13) we get Res y (x, µ, f ) = 0, n ≥ 0, and after extending y (x, µ, f ) continuously
µ=µn
to the whole complex plane, we get that the function y (x, µ, f ) is entire in µ (and λ)
for each fixed x ∈ [0, π] .
On the other hand, it follows from (2.3), (2.5), (2.9) and (2.12) that there are
positive numbers C, C2 , C3 , C4 such that the following estimates hold for λ ∈ Z1/6 ,
|λ| > λ∗ :
Z
x
ψβ x, λ2 max ϕπ t, λ2 |f (t)| dt
t∈[0,x]
0
y x, λ2 , f ≤
+
C1 e|Imλ|π sin β
Z π
ϕπ x, λ2 max ψβ t, λ2 |f (t)| dt
t∈[x,π]
x
≤
+
C1 e|Imλ|π sin β
!
|cos β|
sin β
|cos β|
|Imλ|(π−x)
e
sin β +
+ C3
+ C4
2
|λ|
|λ|
|λ|
×
≤
C1 e|Imλ|π sin β
!Z
π
1
1
|Imλ|x
|f (t)| dt ≤
×e
+ C2 2
|λ|
|λ|
0
!!
Z
1
1 π
1
C
+O
. (2.14)
|f (t)| dt
≤
≤
2
C1 0
|λ|
|λ|
|λ|
Using maximum principle and Liouville’s theorem for entire functions (see for example [22]) we conclude that y (x, µ, f ) ≡ 0. Since y (x, µ, f ) is the solution of
6
AVETIK PAHLEVANYAN
equation (2.10), then it follows that f (x) = 0 almost everywhere (a.e.) on (0, π) .
∞
Thus, {ϕn (x)}n=0 is complete in L2 (0, π) and the first statement of the Theorem
2.3 is proved.
Now let us consider function f ∈ AC [0, π] . Using the fact that ϕπ (x, µ) and
ψβ (x, µ) are the solutions of (1.1), we can write y (x, µ, f ) in the following form
(see [15]):
f (x) Z1 (x, µ, π, β, f ′ ) Z2 (x, µ, π, β)
+
+
,
µ
µ
µ
y (x, µ, f ) =
(2.15)
where
ψβ (x, µ)
′
Z
x
0
Z1 (x, µ, π, β, f ) =
f ′ (t) ϕ′π (t, µ) dt + ϕπ (x, µ)
Wπ,β (µ)
Z
π
x
f ′ (t) ψβ′ (t, µ) dt
,
(2.16)
Z2 (x, µ, π, β) = f (0) ϕ′π (0, µ)
ψβ (x, µ)
ϕπ (x, µ)
− f (π) ψβ′ (π, µ)
+ y (x, µ, qf ) =
Wπ,β (µ)
Wπ,β (µ)
ϕπ (x, µ)
ψβ (x, µ)
+ f (π) cos β
+ y (x, µ, qf ) . (2.17)
Wπ,β (µ)
Wπ,β (µ)
= f (0)
Let us show that
lim
|λ|→∞
λ∈Z1/6
max |Z1 (x, µ, π, β, f ′ )| = 0.
x∈[0,π]
(2.18)
First, we suppose that f ′ is absolutely continuous function on [0, π] . Then there
exists f ′′ ∈ L1 [0, π] and (2.16) can be written in the following form
Z1 (x, µ, π, β, f ′ ) =
ϕπ (x, µ)
+
Wπ,β (µ)
ψβ (x, µ)
Wπ,β (µ)
x
ϕπ (t, µ) f ′ (t)|t=0 −
π
Z
x
0
f ′′ (t) ϕπ (t, µ) dt +
ϕπ (x, µ) ′
=
f (π) sin β−
Wπ,β (µ)
x
Z x
Z π
ψβ (x, µ)
f ′′ (t) ϕπ (t, µ) dt + ϕπ (x, µ)
f ′′ (t) ψβ (t, µ) dt
0
x
.
−
Wπ,β (µ)
ψβ (t, µ) f
′
π
(t)|t=x
−
Z
′′
f (t) ψβ (t, µ) dt
By virtue of (2.3)–(2.6) and (2.9) we obtain
max |Z1 (x, µ, π, β, f ′ )| ≤
x∈[0,π]
C
, when λ ∈ Z1/6 , |λ| > λ∗ .
|λ|
It imply (2.18) in the case f ′ ∈ AC [0, π] . Now, let g ≡ f ′ ∈ L1 [0, π] . Fix ǫ > 0
and choose an absolutely continuous function gǫ , such that
Z
0
π
|g (t) − gǫ (t)| dt <
C1 sin β
ǫ.
16
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 7
Then, according to (2.3)–(2.6), (2.9) and (2.16) for λ ∈ Z1/6 , |λ| > λ∗ , we have
max |Z1 (x, µ, π, β, g)| ≤ max |Z1 (x, µ, π, β, gǫ )|+ max |Z1 (x, µ, π, β, g − gǫ )| ≤
x∈[0,π]
x∈[0,π]


′
|ψβ (x, µ)| max |ϕπ (t, µ)| + |ϕπ (x, µ)| max ψβ′ (t, µ)
C(ǫ) C1 sin β
t∈[0,x]
t∈[0,x]


+
ǫ max 
≤
≤
|λ|
16
x∈[0,π]
C1 e|Imλ|π sin β
x∈[0,π]
C(ǫ) C1 sin β
≤
+
ǫ max
|λ|
16
x∈[0,π]
8e|Imλ|π
C1 e|Imλ|π sin β
!
≤
C(ǫ) ǫ
+ .
|λ|
2
2C (ǫ)
, then max |Z1 (x, µ, π, β)| ≤ ǫ,
ǫ
x∈[0,π]
∗
λ ∈ Z1/6 , |λ| > λǫ . Due to the arbitrariness ǫ > 0, we arrive at (2.18).
ψβ (x, µ)
(see (2.17)). As qf ∈ L1R [0, π] ,
Now, we estimate Z2 (x, µ, π, β) − f (0)
Wπ,β (µ)
then the estimates in (2.14) are also true for y (x, µ, qf ) . Using (2.3), (2.9), (2.14)
and the fact that β 6= 0 we get the following estimates for λ ∈ Z1/6 , |λ| > λ∗
ϕπ (x, µ)
ϕπ (x, µ)
+ y (x, µ, qf ) ≤ max f (π) cos β
max f (π) cos β
+
x∈[0,π] Wπ,β (µ)
Wπ,β (µ)
x∈[0,π] C
C5 e|Imλ|π
6
+ max |y (x, µ, qf )| ≤ f (π) cos β
≤
+
x∈[0,π]
|λ| C1 e|Imλ|π sin β |λ|
It is easy to see, that if we choose λ∗ǫ =
≤
C7
C5 |f (π) cot β| C6
+
≤
, (2.19)
C1
|λ|
|λ| |λ|
where C5 , C6 , C7 are positive numbers.
Consider the following contour integral
I
1
IN (x) =
y (x, µ, f ) dµ,
(2.20)
2πi ΓN

!2 

3 
where ΓN = µ : |µ| = N +
(with counterclockwise circuit). On one hand,

4 
using the Cauchy’s residue theorem (see [22]), from (2.13) we get, that
Z
N
X
1 π
IN (x) =
f (t) ϕπ (t, µn )dtϕπ (x, µn ) .
a
n=0 n 0
On the other hand, from (2.15), (2.18) and (2.19) we obtain
I
ψβ (x, µ)
1
dµ + ǫN (x) ,
IN (x) = f (x) + f (0)
2πi ΓN µWπ,β (µ)
(2.21)
(2.22)
where ǫN (x) , according to (2.18) and (2.19), uniformly converges to 0 :
lim max |ǫN (x)| = 0.
N →∞ x∈[0,π]
If 0 ∈
/ σ (L (q, π, β)) , i.e. µ = 0 is not an eigenvalue of the problem L (q, π, β) ,
ψβ (x, µ)
then the function
has only first order poles and using Cauchy’s residue
µWπ,β (µ)
8
AVETIK PAHLEVANYAN
theorem and the formula for the calculation of first order poles (see [22, equation
(6’) on page 130]), we can easily calculate that
1
2πi
I
ΓN
N
X
ψβ (x, µ)
ψβ (x, µ)
ψβ (x, µ)
dµ = Res
+
Res
=
µ=µn µWπ,β (µ)
µ=0 µWπ,β (µ)
µWπ,β (µ)
n=0
=
N
N
ψβ (x, 0) X βn ϕπ (x, µn )
ψβ (x, 0) X ψβ (x, µn )
=
=
+
+
Wπ,β (0) n=0 µn Ẇπ,β (µn ) Wπ,β (0) n=0 µn βn an
N
ψβ (x, 0) X 1
=
ϕπ (x, µn ). (2.23)
+
Wπ,β (0) n=0 µn an
If there exists n0 ∈ 0, 1, 2, . . . , such that µn0 = 0, i.e. 0 is an eigenvalue of the
ψβ (x, µ)
has only first order poles, besides
problem L (q, π, β) , then the function
µWπ,β (µ)
µ = 0, which is second order pole and then using Cauchy’s residue theorem and the
formula for the calculation of first order poles and the formula for the calculation
of n-th order poles (see [22, equation (7) on page 130]), we can easily calculate (see
also (1.8)) that
1
2πi
I
ΓN
N
X
ψβ (x, µ)
ψβ (x, µ)
ψβ (x, µ)
Res
dµ = Res 2
+
=
µ=µn µWπ,β (µ)
µ=0 µ Vπ,β (µ)
µWπ,β (µ)
n=0
n6=n0
= lim
µ→0
∂
∂µ
!
N
X
ψβ (x, µn )
µ2 ψβ (x, µ)
+
=
µ2 Vπ,β (µ)
n=0 µn Ẇπ,β (µn )
n6=n0
= lim
µ→0
N
X
βn ϕπ (x, µn )
ψ̇β (x, µ) Vπ,β (µ) − ψβ (x, µ) V̇π,β (µ)
=
+
2
Vπ,β (µ)
µn β n a n
n=0
n6=n0
N
1
ψ̇β (x, 0) ψβ (x, 0) V̇π,β (0) X
ϕπ (x, µn ). (2.24)
−
+
=
2 (0)
Vπ,β (0)
Vπ,β
µ
n an
n=0
n6=n0
From (2.21), (2.22), (2.23) and (2.24), by passing to the limit, we receive
!
∞
X 1 Z π
ψ (x, 0, β)

f (0)


ϕn (x) − f (0)
,
f (t)ϕn (t) dt −


a
µn
Wπ,β (0)

0

n=0 n




when 0 ∈
/ σ (L (q, π, β)) ,

!

Z π
Z π
∞
X
1
1
f (0)
f (x) =
ϕn (x)−
f (t)ϕn0 (t) dt +
f (t)ϕn (t) dt −


an
µn

0
 an0 0
n=0


n6=n0




ψ̇
(x,
0,
β)
ψ (x, 0, β) V̇π,β (0)

−f (0)
+ f (0)
, when 0 = µn0 ∈ σ (L (q, π, β)) ,

2 (0)
Vπ,β (0)
Vπ,β
(2.25)
where the series converge uniformly on [0, π] .
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 9
If in addition to absolutely continuity of f on [0, π] , we demand f (0) = 0, then
we obtain the analogue of the Theorem 1.2.1 (see [15])
Z
∞
X
1 π
f (x) =
f (t)ϕn (t) dtϕn (x),
a
n=0 n 0
where the series converges uniformly on [0, π] .
∞
P
1
Let us show, that the series
ϕn (x) converges uniformly on arbitrary
n=0 µn an
segment [a, π] , a > 0. Since (see [2, 23])
2
π
1
1
,
+O (1) , an = an (q, π, β) =
µn = µn (q, π, β) = n +
2 1 + o
1
2
n
2 n+ 2
!
1
sin n + 21 x
+O
ϕn (x) =
uniformly on [0, π] , then the series can be written
n2
n + 12
in the following form
∞
∞
∞
X
sin n + 12 x X
1
2X
+
qn ,
ϕn (x) =
1
µ a
π n=0
n+ 2
n=0
n=0 n n
!
1
uniformly on [0, π] .
where qn = O
n2
∞
X
sin n + 12 x
Further, we show (see [Appendix, Lemma 4.1]) that the series
n + 21
n=1
∞
X
π
uniformly on arbitrary segment [a, π] , a > 0. The series
qn
converges to
2
n=0
converges uniformly on [0, π] .
Comparing this result with (2.25) we arrive at (2.1). Thus, the second statement
of the Theorem 2.3 is proved.
Since the eigenfunctions {ϕπ (x, µn )}∞
n=0 of the problem L (q, π, β) are orthogonal
and complete in L2 (0, π), then they form an orthogonal basis in L2 (0, π) and
Parseval’s identity (2.2) is valid. This completes the proof.
Similarly, the analogous theorem for the problem L (q, α, 0), can be proved:
Theorem 2.5. Let q ∈ L1R [0, π] , α ∈ (0, π) , β = 0. Then
∞
(1) The system of eigenfunctions {ϕn (x)}n=0 of the boundary value problem
L (q, α, 0) is complete in L2 (0, π) .
(2) Let f be an absolutely continuous function on [0, π] . Then
!
∞
∞
X
X
1
ϕ (x, 0, α)



cn ϕn (x) − f (π)
, when 0 ∈
/ σ (L (q, π, β)) ,
ψn (x) +


µn b n
Wα,0 (0)


n=0
n=0




∞
∞
X
X
ϕ̇
(x,
0,
α)
1
ϕ
(x,
0,
α)
V̇
(0)
f (x) =
α,0



cn ϕn (x) − f (π) 
ψn (x) +
−
,

2 (0)

µ
b
V
(0)
V

n
n
α,0
α,0

n=0
n=0


n6=n0


when 0 = µn0 ∈ σ (L (q, π, β)) ,
(2.26)
10
AVETIK PAHLEVANYAN
Z
1 π
f (t)ϕn (t) dt and the series converge uniformly on arbian 0
trary segment [a, π] , a > 0.
∞
P
(3) For f ∈ L2 (0, π) , the series
cn ϕα (x, µn ) converges in L2 (0, π) , and
where cn =
n=0
Parseval’s identity holds
Z π
∞
X
|f (x)|2 dx =
an |cn |2 .
0
n=0
3. Asymptotics of the eigenvalues and the norming constants
As it mentioned above, the case, when q ∈ L1R [0, π] needs more fine-grained
assessment of remainders in the asymptotics of the eigenvalues and the norming
constants.
In the paper [23] Harutyunyan
introduced the concept of the function of δn (α, β),
p
which is defined as µn (0, α, β) − n := δn (α, β), n ≥ 2 and proved that it is a
solution of the following transcendental equation:
δn (α, β) =
1
cos α
−
arccos q
π
2
(n + δn (α, β)) sin2 α + cos2 α
−
1
cos β
. (3.1)
arccos q
π
2
(n + δn (α, β)) sin2 β + cos2 β
Moreover, in [19] and [24] the authors found out new asymptotic formulae for the
eigenvalues and the norming constants which generalize previously known results.
More precisely, the following theorems have been proved:
Theorem 3.1. ([19]) Let λ2n (q, α, β) = µn (q, α, β) . Then
[q]
λn (q, α, β) = n + δn (α, β) +
+ ln (q, α, β) + O
2 (n + δn (α, β))
where [q] =
1
π
Z
1
n2
!
,
(3.2)
π
q (t) dt,
0
ln = ln (q, α, β) =
1
2π (n + δn (α, β))
Z
π
q(x) cos 2 (n + δn (α, β)) xdx,
(3.3)
0
and the estimate of the remainder is uniform in all α, β ∈ [0, π], and q from the
bounded subsets of L1R [0, π] (we will write q ∈ BL1R [0, π]). Moreover, for α, β ∈
(0, π) and for the case α = π, β = 0 the function l, defined by the formula
l(x) =
∞
X
ln (q, α, β) sin (n + δn (α, β)) x,
(3.4)
n=2
is absolutely continuous on arbitrary segment [a, b] ⊂ (0, 2π) (we will write l ∈
AC (0, 2π)).
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 11
Theorem 3.2. ([24]) For norming constants an and bn the following asymptotic
formulae hold (when n → ∞):
!
sn (q, α, β)
π
1+
+ rn sin2 α+
an (q, α, β) =
2
n + δ (α, β)
!
π
sn (q, α, β)
2
+
2 1 + n + δ (α, β) + r̃n cos α, (3.5)
2(n + δn (α, β))
π
sn (q, α, β)
bn (q, α, β) =
1+
+ rn
2
n + δ (α, β)
+
where
sn = sn (q, α, β) = −
and r̃n , rn = rn (q, α, β) = O
!
sin2 β+
π
2(n + δn (α, β))
1
2
Z
1
n2
2
sn (q, α, β)
1+
+ r̃n
n + δ (α, β)
!
cos2 β,
π
0
!
(π − t) q (t) sin 2 (n + δn (α, β)) tdt,
(3.6)
, when n → ∞, uniformly by α, β ∈ [0, π] and
q ∈ BL1R [0, π] .
Theorem 3.3. ([24]) In the case α, β ∈ (0, π) and in the case α = π, β = 0 the
function s, defined as the series
∞
X
sn
cos (n + δn (α, β)) x
(3.7)
s(x) =
n + δn (α, β)
n=2
is absolutely continuous function on arbitrary segment [a, b] ⊂ (0, 2π), i.e. s ∈
AC (0, 2π) .
The proofs of the Theorem 3.1 and Theorem 3.3 do not cover the case α =
π, β ∈ (0, π) . In the forthcoming theorems using Theorem 2.3 and Theorem 2.5 we
handle this case as well.
∞
X
Theorem 3.4. The series l (x, β) =
ln (q, π, β) sin (n + δn (π, β)) x is absolutely
n=2
continuous on arbitrary segment [a, b] ⊂ (0, 2π) , i.e. l ∈ AC (0, 2π) .
Z x
Proof. Denote σ (x) =
q (t) dt and write ln (q, π, β) in the following form:
0
Z π
1
ln (q, π, β) =
q(x) cos 2 (n + δn (π, β)) xdx =
2π (n + δn (π, β)) 0
Z π
σ (π) cos 2πδn (π, β)
1
+
cos 2 (n + δn (π, β)) xdσ (x) =
=
2π (n + δn (π, β)) 0
2π (n + δn (π, β))
Z
σ (π) cos 2πδn (π, β)
1 π
+
σ (x) sin 2 (n + δn (π, β)) xdx =
+
π 0
2π (n + δn (π, β))
Z
1 2π
+
σ1 (x) sin (n + δn (π, β)) xdx, (3.8)
2π 0
12
AVETIK PAHLEVANYAN
!
x
is the absolutely continuous function on [0, 2π] .
where σ1 (x) ≡ σ
2
It is easy to see from (3.1) (for the details see [23]), that for β ∈ (0, π) we have
1
δn (π, β) = +
2
cot β
1
π n+
2
1
n2
! + cot β O
!
1
= +O
2
!
1
,
n
(3.9)
and consequently,
cos 2πδn (π, β) = −1 + dn , sin 2πδn (π, β) = en ,
(3.10)
!
!
1
1
where dn = O
.
, en = O
n2
n
Therefore, l (x, β) can be represented as a sum of three functions
l (x, β) = l1 (x, β) + l2 (x, β) + l3 (x, β) ,
(3.11)
where
l1 (x, β) = −
l2 (x, β) =
∞
σ (π) X
sin (n + δn (π, β)) x
,
2π n=2 (n + δn (π, β))
∞
sin (n + δn (π, β)) x
σ (π) X
,
dn
2π n=2
(n + δn (π, β))
(3.12)
(3.13)
∞
l3 (x, β) =
and fn =
Z
1 X
fn sin (n + δn (π, β)) x,
2π n=2
2π
σ1 (t) sin (n + δn (π, β)) tdt.
Z π
Z
Since fn =
σ1 (t) sin (n + δn (π, β)) tdt +
0
0
2π
(3.14)
2π
σ1 (t) sin (n + δn (π, β)) tdt and
π
Z −π
σ1 (t) sin (n + δn (π, β)) tdt =
−σ1 (−t) sin (n + δn (π, β)) tdt =
π
−2π
Z π
−σ1 (2π − t) sin (n + δn (π, β)) (t − 2π) dt =
=
0
Z π
=
σ1 (2π − t) ((1 − dn ) sin (n + δn (π, β)) t + en cos (n + δn (π, β)) t) dt =
0
!
Z π
t
((1 − dn ) sin (n + δn (π, β)) t + en cos (n + δn (π, β)) t) dt,
=
σ π−
2
0
Z
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 13
then
fn =
Z
π
σ
0
!
t
+σ π−
2
Z π
− dn
σ
t
2
!!
sin (n + δn (π, β)) tdt−
!
t
sin (n + δn (π, β)) tdt+
π−
2
!
Z π
t
+ en
σ π−
cos (n + δn (π, β)) t. (3.15)
2
0
0
It noteworthy, that δn (α, β) are defined only for n ≥ 2, that’s why, we will write
λ0 (0, π, β) , λ1 (0, π, β) and λn (0, π, β) = n + δn (π, β) for all n ≥ 2. Taking into
account that the system of functions
(
)∞
)1
)∞
(
(
sin λn (0, π, β) x
sin λn (0, π, β) x
sin (n + δn (π, β)) x
∞
{ϕn (x)}n=0 =
=
∪
λn (0, π, β)
λn (0, π, β)
n + δn (π, β)
n=0
n=0
n=2
are the eigenfunctions of the problem L (0, π, β) and using (2.1), we get
!
!
x
x
σ
+σ π−
= σ2 (x) +
2
2
!
!!
Z π
t
t
+σ π−
sin (n + δn (π, β)) tdt
σ
∞
2
2
X
0
Z π
sin (n + δn (π, β)) x−
+
2
n=2
sin (n + δn (π, β)) tdt
0


∞
X

Z
− σ (π) 
1
π
n=2

sin (n + δn (π, β)) x
+ Dβ (x)
 , (3.16)
(n + δn (π, β))
sin2 (n + δn (π, β)) tdt
0
where
σ2 (x) :=
1
X
n=0
n6=n0
µn0 =0
Z
0
π
σ
!
!!
t
t
+σ π−
sin λn (0, π, β) tdt
2
2
Z π
sin λn (0, π, β) x−
sin2 λn (0, π, β) tdt
0
− σ (π)
1
X
n=0
n6=n0
µn0 =0
1
Z
π
sin2 λn (0, π, β) tdt
sin λn (0, π, β) x
,
λn (0, π, β)
0

ψ (x, 0, β)



when 0 ∈
/ σ (L (0, π, β)) ,
 W (0) ,
π,β
Dβ (x) :=
ψ̇ (x, 0, β) ψ (x, 0, β) V̇π,β (0)



, when 0 ∈ σ (L (0, π, β)) .
 V (0) −
2 (0)
Vπ,β
π,β
(3.17)
14
AVETIK PAHLEVANYAN
Using (3.9) and (3.10), we calculate
Zπ
sin2 (n + δn (π, β)) tdt =
0
=
π
sin 2π (n + δn (π, β)) π
en
−
= −
. (3.18)
2
4 (n + δn (π, β))
2 4 (n + δn (π, β))
From (3.17), it is easy to see that
1
Rπ
sin2 (n + δn (π, β)) tdt
=
2
+ gn ,
π
0
!
2en
1
.
=O
where gn =
π (2π (n + δn (π, β)) − en )
n2
Now we can write (3.16) in the form
!
!!
Z
∞
X
t
t
2 π
+σ π−
sin (n + δn (π, β)) tdt sin (n + δn (π, β)) x =
σ
π 0
2
2
n=2
!
!!
Z π
∞
X
t
t
+σ π−
sin (n + δn (π, β)) tdt sin (n + δn (π, β)) x+
σ
=−
gn
2
2
0
n=2
!
!
∞
x
2σ (π) X sin (n + δn (π, β)) x
x
+σ π−
− σ2 (x) +
+
+σ
2
2
π n=2
n + δn (π, β)
!
∞
X
sin (n + δn (π, β)) x
+ Dβ (x) . (3.19)
+ σ (π)
gn
n + δn (π, β)
n=2
Hence, from (3.14), (3.15), (3.19) we obtain (tan β 6= −π)
!
!
!
∞
1
x
σ (π) X
x
sin (n + δn (π, β)) x
l3 (x, β) =
σ
+σ π−
− σ2 (x) +
−
4
2
2
2π n=2
n + δn (π, β)
!
Z
∞
X
t
dn π
sin (n + δn (π, β)) tdt sin (n + δn (π, β)) x+
σ π−
−
2π 0
2
n=2
!
Z
∞
X
en π
t
cos (n + δn (π, β)) tdt sin (n + δn (π, β)) x−
+
σ π−
2π 0
2
n=2
!
!!
Z
∞
X
gn π
t
t
−
σ
+σ π−
sin (n + δn (π, β)) tdt sin (n + δn (π, β)) x+
2π 0
2
2
n=2
!
∞
sin (n + δn (π, β)) x
σ (π) X
gn
+ Dβ (x) . (3.20)
+
4
n + δn (π, β)
n=2
∞
X
sin (n + δn (π, β)) x
is absolutely continuous function on (0, 2π) (see [Ap(n + δn (π, β))
n=2
pendix, Lemma 4.2]), then l1 ∈ AC (0, 2π) .
Since
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 15
!
1
, then the series in (3.13) and its first derivative converges
Since dn = O
n2
absolutely and uniformly
on [0, 2π] and!therefore l2 ∈ AC [0, 2π] .
!
!
Z π
1
t
1
cos (n + δn (π, β)) tdt = O
, en
, gn =
σ π−
Since dn = O
n2
2
n2
0
!
1
O
, then l3 ∈ AC (0, 2π) .
n2
To obtain the function Dβ , first of all notice that for the problem L (0, π, β) we
have:
√
sin µ (π − x)
√
.
ψ (x, µ, β) = sin β cos µ (π − x) + cos β
√
µ
Next, we consider two cases:
Case I: 0 ∈
/ σ (L (q, π, β)) , i.e. µ = 0 is not an eigenvalue of the problem
L (0, π, β) , then for the function Dβ we obtain (see (2.1), (2.7))
Dβ (x) =
ψ (x, 0, β)
sin β + (π − x) cos β
ψ (x, 0, β)
=−
=
,
Wπ,β (0)
ψ (0, 0, β)
sin β + π cos β
where tan β 6= −π (otherwise, Wπ,β (0) = sin β + π cos β = 0, which means that
µ = 0 is an eigenvalue of the problem L (0, π, β)).
Case II: There exists n0 ∈ 0, 1, 2, . . . , such that µn0 (0, π, β) = 0, i.e. 0 is
an eigenvalue of the problem L (0, π, β) . Then sin β0 + π cos β0 = 0, which yields
tan β0 = −π (β0 ≈ 1.88) and according to (2.1):
Dβ0 (x) =
ψ̇ (x, 0, β0 ) ψ (x, 0, β0 ) V̇π,β0 (0)
−
,
2
(0)
Vπ,β0 (0)
Vπ,β
0
Wπ,β0 (µ)
(see (1.8)).
µ
√
√
Expanding the functions cos µ (π − x) and sin µ (π − x) in the Maclaurin series (Taylor series centered at µ0 = 0) and doing some calculations, we get
5x3 + 10πx2 + 3π 2 − 5π x + 30 − 10π 2
.
Dβ0 (x) =
10π 3
Hence, the function Dβ reads:

sin β + (π − x) cos β



,
when 0 ∈
/ σ (L (0, π, β)) ,
sin β + π cos β
Dβ (x) =
.

5x3 + 10πx2 + 3π 2 − 5π x + 30 − 10π 2


,
when
0
∈
σ
(L
(0,
π,
β))
10π 3
It is obvious that Dβ is an absolutely continuous function on [0, 2π] (in fact, it is a
C ∞ function). This completes the proof.
where Vπ,β0 (µ) =
A similar assertion is true for remainders of the norming constants. More precisely, we prove the following theorem:
∞
X
sn (q, π, β)
cos (n + δn (π, β)) x is abson + δn (π, β)
n=2
lutely continuous function on [0, π] , i.e. s ∈ AC [0, 2π] .
Theorem 3.5. The series s(x, β) =
16
AVETIK PAHLEVANYAN
Proof. Since (see (3.9))
1
x=
sin 2 (n + δn (π, β)) x − sin 2 n +
2
1
1
= −2 cos n + δn (π, β) +
x sin δn (π, β) −
x=O
2
2
1
cos (n + δn (π, β)) x − cos n +
x=
2
δn (π, β) +
= −2 sin n +
2
1
2
!
x sin
δn (π, β) −
2
1
2
!
x=O
!
1
,
n
1
n
!
uniformly on [0, 2π] , then s ∈ AC [0, 2π] is equivalent to s̃ ∈ AC [0, 2π] , defined
∞
X
s˜n (q, π, β)
1
s̃(x, β) :=
cos
n
+
x,
(3.21)
2
n + 12
n=0
where
Z
1 π
s˜n (q, π, β) = −
(π − t) q (t) sin 2 n +
2 0
Z x
s˜n (q, π, β)
in
Denote σ3 (x) =
(π − t) q (t) dt and write
n + 12
0
1
2
tdt.
the following form:
Z π
s˜n (q, π, β)
1
1
tdt =
=−
(π − t) q (t) sin 2 n +
2
n + 12
2 n + 21 0
Z π
Z π
1
1
1
=−
tdσ
(t)
=
σ
(x)
cos
2
n
+
tdt =
sin
2
n
+
3
3
2
2
2 n + 21 0
0
Z
1 2π
1
=
tdt, (3.22)
σ4 (x) cos n +
2 0
2
!
x
where σ4 (x) ≡ σ3
is the absolutely continuous function on [0, 2π] .
2
Z
1 π
1
1
tdt =
tdt+
σ4 (t) cos n +
σ4 (t) cos n +
2
2 0
2
0
Z
Z
1 2π
1 π
1
1
+
tdt =
tdt+
σ4 (t) cos n +
σ4 (t) cos n +
2 π
2
2 0
2
Z
Z
1 π
1 −π
1
1
tdt =
tdt+
+
σ4 (−t) cos n +
σ4 (t) cos n +
2 −2π
2
2 0
2
Z
Z
1 π
1 π
1
1
(t − 2π) dt =
tdt−
σ4 (2π − t) cos n +
σ4 (t) cos n +
+
2 0
2
2 0
2
Z
Z
1 π
1 π
1
1
tdt =
tdt.
−
σ4 (2π − t) cos n +
(σ4 (t) − σ4 (2π − t)) cos n +
2 0
2
2 0
2
(3.23)
1
2
Z
2π
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 17
Taking into account that the system of functions
∞
1
∞
{ϕn (x)}n=0 = cos n +
2
n=0
!
π
and using (2.26), we receive
are the eigenfunctions of the problem L 0, 0,
2
σ4 (x) − σ4 (2π − x) =
∞ Z
2X π
1
1
=
tdt cos n +
x, (3.24)
(σ4 (t) − σ4 (2π − t)) cos n +
π n=0 0
2
2
where the series converges uniformly on [0, π] .
From (3.21), (3.22), (3.23) and (3.24) we get that
s̃ (x) =
π
(σ4 (x) − σ4 (2π − x)) ,
4
and therefore s̃ is an absolutely continuous function on [0, 2π] . This completes the
proof.
4. Appendix
Here, we present some elementary results, which play an important role in our
analysis. These results haven’t been known previously (at least we couldn’t find
them in the literature).
Lemma 4.1. The following equalities hold
∞
∞
X
X
sin n + 21 x π
cos n + 12 x
x
= ,
= ln cot ,
1
1
2
4
n+ 2
n+ 2
n=0
n=0
0 < x < 2π.
(4.1)
Proof. We can write down the general terms of the series in (4.1) in the following
forms
sin n + 12 x
sin n + 12 x
sin n + 12 x
=
−
=
n
n + 21
2n n + 21
Z
x cos nx 1 x cos n + 21 t
x sin nx
+ sin
−
dt, (4.2)
= cos
2 n
2 n
2 0
n
cos n + 21 x
cos n + 12 x
cos n + 21 x
=
−
=
n
n + 21
2n n + 21
Z
1
x sin nx 1 x sin n + 12 t
x cos nx
, (4.3)
− sin
+
dt −
= cos
2 n
2 n
2 0
n
2n n + 21
Taking into account the well-known formulae (see [25])
∞
X
sin nx π − x
=
,
n
2
n=1
∞
X
cos nx
x
= − ln 2 sin ,
n
2
n=1
0 < x < 2π,
18
AVETIK PAHLEVANYAN
we obtain
Z xX
∞
0
and
Z
Z x
Z x
∞
∞
cos n + 21 t
t X cos nt
t X sin nt
cos
sin
dt =
dt −
dt =
n
2 n=1 n
2 n=1 n
0
0
n=1
x
Z x
Z x
t
t π−t
t
t
t +
cos ln 2 sin dt −
sin
=−
dt = −2 sin ln 2 sin 2
2
2 2
2
2 t=0
0
0
x
Z x
Z x
t
t
x
x
t
+
cos dt = −2 sin ln 2 sin +
+
cos dt + (π − t) cos 2
2
2
2
2
0
0
t=0
x
x
+ 4 sin + (π − x) cos − π,
2
2
Z x
∞
∞
t X sin nt
t X cos nt
dt =
cos
dt +
sin
dt =
2 n=1 n
2 n=1 n
0
0
0 n=1
x
Z x
Z x
Z x
t π−t
t
t
t
t =
cos
+
sin dt+
dt −
sin ln 2 sin dt = (π − t) sin 2 2
2
2
2 t=0
2
0
0
0
!
x
Z x
t
2
cos 2
t
t
x
x
+ 2 cos ln 2 sin = (π − x) sin − 2 cos + 2+
−
t dt
2
2 t=0
2
2
0 2 sin 2
x
x
x
x t
t
t
t
t
=
− cos − ln sin + ln cos + 2 cos ln 2 sin 2
2 t=0
2 t=0
4 t=0
4 t=0
x
x
x
x x
x
= (π − x) sin − 4 cos + 4 + 2 cos − 1 ln 4 sin + cos + 1 ln cos
.
2
2
2
4
2
4
∞
xX
sin n +
n
1
2
t
Z
x
Substitute these to the equations (4.2) and (4.3) respectively and using the identity
(see [26])
∞
X
1
= 2 − ln 4,
2n
n
+ 21
n=1
we get that
∞
X
sin n + 21 x
x
xπ−x
x
x
= 2 sin + cos
− sin ln 2 sin −
1
2
2
2
2
2
n
+
2
n=0
x
x
x
x
π
1
−2 sin ln 2 sin + 4 sin + (π − x) cos − π = , 0 < x < 2π, (4.4)
−
2
2
2
2
2
2
∞
X
cos n + 21 x
x
x
x π−x
x
= 2 cos − cos ln 2 sin −
sin +
1
2
2
2
2
2
n+ 2
n=0
(π − x)
x
x
x
x
x
x
+
sin − 2 cos + 2 + cos − 1 ln 4 sin + cos + 1 ln cos −
2
2
2
2
4
2
4
∞
X
1
x
x
x
= − ln 4 sin + ln cos + ln 4 = ln cot , 0 < x < 2π. (4.5)
−
4
4
4
2n n + 21
n=1
This completes the proof.
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 19
Lemma 4.2. The following equality holds:
∆π,β (x) :=
∞
X
sin (n + δn (π, β)) x π
x 2
3x
= − 2 sin − sin +
n + δn (π, β)
2
2 3
2
n=2
cot β
+
π
πx (π − x)
x 4
3x
− 4 cos − cos
2
2 9
2
!
+ T (x), (4.6)
where T ′ (x) ∈ AC (0, 2π) .
1
Proof. Denote tn = δn (π, β) − and write the general term of the series in (4.6)
2
in the following form
tn sin n + 21 + tn x
sin (n + δn (π, β)) x
sin n + 21 + tn x
=
−
=
n + δn (π, β)
n + 21
n + 21 n + 21 + tn
sin n + 21 x
cos n + 21 x
tn sin n + 21 x
=
= cos tn x
+ sin tn x
−
n + 12
n + 12
n + 21 n + 21 + tn
It follows from (3.9) that
cot β
+ un , cos tn x = 1 + vn , sin tn x = tn x + wn ,
π n + 21
!
!
!
1
1
1
= O
, vn = O
, wn = O
uniformly on [0, 2π] and
n2
n2
n3
tn =
where un
therefore
=
sin n + 12 x
sin n + 21 x
cot β
cos n + 21 x
cos n + 12 x
+
+u
x
+v
+
x
n
n
n + 12
n + 12
n + 12
n + 21
π n + 21
cos n + 21 x
tn sin n + 21 x
.
+ wn
−
n + 21 n + 21 + tn
n + 12
It is easy to see that
∆π,β (x) = ∆1 (x) + ∆2 (x) + T (x) ,
where
∞
X
sin n + 12 x π
x 2
3x
∆1 (x) =
= − 2 sin − sin ,
1
2
2 3
2
n+ 2
n=2
T (x) =
∞
X
n=2
∞
cos n + 21 x
cot β X
x
,
∆2 (x) =
π n=2 n + 21
n + 12
!
cos n + 12 x
sin n + 12 x
cos n + 12 x
tn sin n + 21 x
.
un x
+ vn
+ wn
−
n + 21
n + 12
n + 12
n + 21 n + 21 + tn
20
AVETIK PAHLEVANYAN
Differentiating ∆2 (x) we receive
∞
∞
sin n + 21 x
cos n + 12 x
cot β X
cot β X
′
x
∆2 (x) =
=
2 −
π n=2
π
n + 12
n + 21
n=2
!
Z xX
∞
∞
1
sin n + 12 t
cot β X
cot β
x 2
3x
π
=
x
− 2 sin − sin
=
dt −
−
1 2
π
π
2
2 3
2
n + 12
0 n=2
n=2 n + 2
cot β π 2
x 4
3x
x 2
3x
=
,
− πx − 4 cos − cos
+ 2x sin + x sin
π
2
2 9
2
2 3
2
and
cot β
∆2 (x) =
π
πx (π − x)
x 4
3x
− 4 cos − cos
2
2 9
2
This completes the proof.
!
.
Acknowledgment. The author is grateful to his supervisor, professor T.N. Harutyunyan for suggesting the problem and attention to the work.
References
[1] Naimark, M.A. Linear Differential Equations, Nauka, Moscow, (in Russian), 1969.
[2] Levitan, B.M. and Sargsyan I.S. Introduction to Spectral Theory, Nauka, Moscow, (in Russian), 1970.
[3] Marchenko, V.A. The Sturm-Liouville Operators and their Applications, Naukova Dumka,
Kiev, (in Russian), 1977.
[4] Harutyunyan, T.N., and Hovsepyan, M.S. “On the solutions of the Sturm-Liouville equation.”
Mathematics in Higher School, 1, no. 3, (in Russian), (2005): 59–74.
[5] Coddington, E. and Levinson N. Theory of Ordinary Differential Equations, McGraw Hill
Book Company, New York, 1955.
[6] Chudov, L.A. “The inverse Sturm-Liouville problem.” Mat. Sbornik, 25(67), no. 3, (in Russian), (1949): 451–456.
[7] Marchenko, V.A. “Some questions of the theory of one-dimensional linear differential operators of the second order.” Trudy Moskov. Mat. Obsh., 1, (in Russian), (1952): 327–420.
[8] Gelfand, I. M. and Levitan, B.M. “On the determination of a differential equation from
its spectral function.” Izv. Akad. Nauk SSSR, ser. Math., 15, no. 4, (in Russian), (1951):
309–360.
[9] Gasymov, M.G. and Levitan, B.M. “Determination of a differential equation by two of its
spectra.” Uspekhi Mat. Nauk, 19, no. 2, (in Russian), (1964): 3–63.
[10] Zhikov, V.V. “On inverse Sturm-Liouville problems on a finite segment.” Izv. Akad. Nauk
SSSR, ser. Math., 31, no. 5, (in Russian), (1967): 965–976.
[11] Isaacson, E.L. and Trubowitz, E. “The inverse Sturm-Liouville problem. I.” Comm. Pure
Appl. Math., 36, no. 6, (1983): 767–783.
[12] Isaacson, E.L., McKean, H.P. and Trubowitz, E. “The inverse Sturm-Liouville problem. II.”
Comm. Pure Appl. Math., 37, no. 1, (1984): 1–11.
[13] Pöschel, J. and Trubowitz, E. Inverse spectral theory, Academic Press, Inc., Boston, MA,
1987.
[14] Levitan, B.M. Inverse Sturm-Liouville problems, Nauka, Moscow, (in Russian), 1984.
[15] Freiling, G. and Yurko, V.A. Inverse Sturm-Liouville Problem and Their Applications, NOVA
Science Publishers, New York, 2001.
[16] Dahlberg, B.E.J. and Trubowitz, E. “The inverse Sturm-Liouville problem. III.” Comm. Pure
Appl. Math., 37, no. 2, (1984): 255–267.
[17] Korotyaev, E.L. and Chelkak D.S. “The inverse SturmLiouville problem with mixed boundary
conditions.” Algebra i Analiz, 21, no. 5, (in Russian), (2009): 114-137.
[18] Atkinson, F. V. Discrete and continuous boundary problems, Academic Press, New YorkLondon, 1964.
ON THE CONSTRUCTIVE SOLUTION OF AN INVERSE STURM-LIOUVILLE PROBLEM 21
[19] Harutyunyan, T.N. “Asymptotics of the eigenvalues and norming constants of Sturm-Liouville
problem.” Journal of Contemporary Mathematical Analysis, 51, no. 4, (2016): 174–183.
[20] Harutyunyan, T.N. Eigenvalue Functions of Family of Sturm-Liouville and Dirac Operators,
Doctoral Thesis, Yerevan, (in Russian), 2010.
[21] Levitan, B.M. and Sargsyan, I.S. Sturm-Liouville and Dirac operators, Nauka, Moscow, (in
Russian), 1988.
[22] Shabat, B. V. Introduction to complex analysis, Nauka, Moscow, (in Russian), 1985.
[23] Harutyunyan, T.N. “The Dependence of the Eigenvalues of the Sturm-Liouville Problem on
Boundary Conditions.” Matematicki Vesnik, 60, no. 4, (2008): 285–294.
[24] Harutyunyan, T.N., Pahlevanyan A.A. “On the norming constants of the Sturm-Liouville
problem.” Vestnik KSPEU, to appear.
[25] Fikhtengolts, G.M. Differential and integral calculus, vol. III, Fizmatlit, Moscow, (in Russian), 2003.
[26] Wolfram|Alpha. https: // www. wolframalpha. com/ input/ ?i= sum1% 2F% 7B2n( n% 2B1% 2F2) %7D ,
Wolfram Alpha LLC, 2016 (access July 19, 2016).
Avetik Pahlevanyan
Institute of Mathematics of National Academy of Sciences, 24/5 Baghramian ave., 0019,
Yerevan, Armenia
E-mail address: apahlevanyan@instmath.sci.am