Inverse Nodal Problems for the Sturm-Liouville Operator with Some Nonlocal Integral Conditions ()
1. Introduction
Sturm-Liouville operators have an important role in physics, mathematics and other engineering fields [1] [2] [3] [4] [5] . Nonlocal problems are parts of differential equation theory. And the inverse nodal problems are aimed at reconstructing operator by the given nodes (zeros) of characteristic functions. Lots of results were given by scholars.
Generally, Sturm-Liouville problems with nonlocal conditions have three kinds of form: potential with integral delay or function delay; nonlocal potential; nonlocal boundary conditions.
In 1988, Mclaughlin raised the inverse nodal problem for the first time. Applying a dense nodal subset, he got the uniqueness theorem of potential function [6] . In 1989, by the similar methods, some general boundary conditions and corresponding reconstruction of the potential function were provided by Hald and Mclaughlin [7] . In 2001, Xuefeng Yang discussed a new inverse nodal problem. By using Gesztesy and Simmon’s inverse spectrum theorem, they proved that more than half of nodal subset could be used to uniquely determine the potential function [8] . In 2008, Hikmet Koyunbakan considered the Sturm-Liouville problem with some special boundary conditions. By using the Xuefeng Yang’s method in [9] , he studied the potential function’s reconstruction and obtained a uniqueness theorem [10] . Chuanfu Yang studied a lot of inverse nodal problems. For example, in 2012, Yang studied the discontinuous inverse nodal problems. Applying the Riemann-Lebesgue lemma and Fatou’s lemma, he solved the uniqueness, reconstruction and stability problems [11] . Through similar methods, in 2014, Yang studied inverse nodal problems with a constant delay. The uniqueness theorem was proved. And a constructive procedure was provided to solve the inverse nodal problem [12] . In 2017, Yang considered inverse problems on a graph with cycles. By the dense nodal points, the potential on a graph with multi-cycles can be constructed [13] . Besides, other scholars also studied the inverse nodal problems in recent years. In 2015, the discontinuous Sturm-Liouville operators’ inverse nodal problems were discussed by Yuping Wang. By using the Green formula and Riemann-Lebesgue lemma, he established several uniqueness theorems [14] . In 2015, Juan P. Pinasco and Cristian Scarola studied an inverse problem for weighted Sturm-Liouville operators. By using weaker hypotheses for positive weights, the weight and the parameters were determined by a dense nodal set [15] . In 2018, Guangsheng Wei and Yongxia Guo provided the sharp conditions of the uniqueness for inverse nodal Sturm-Liouville problems. Applying a dense nodal subset, the potential and boundary parameters can be uniquely determined [16] .
Based on [17] , discussing the inverse nodal problems with some nonlocal integral conditions is the main content of this article. We conclude that a dense nodal subset can determine the potential function uniquely. And three constructive procedures for the solution of corresponding problems are proposed. Our main results of this paper are uniqueness theorems (see Theorem 3.4, 4.4, 5.4 below). It makes sense for the theoretical integrity of the inverse nodal problem with nonlocal integral conditions.
This paper’s composition is as follows. In Part 2, we introduce preliminaries. In Part 3, 4, 5, we establish several uniqueness theorems for different boundary conditions.
Now let
,
(1)
with nonlocal integral conditions
(2)
(3)
(4)
(5)
where
,
,
,
,
are real-valued, continuously differential functions on
.
2. Preliminaries
Firstly, we give two classical theorems, they are useful to proof theorems in this paper.
Lemma 2.1 (Rouche’s theorem) For any two complex-valued functions
and
,
1) If they are holomorphic inside some region D with closed contour C
2) If
holds on C
Then
and
have the same number of zeros inside C, where each zero is counted as many times as its multiplicity.
Lemma 2.2 (Taylor theorem) If the function
exists the nth order continuous derivative on
, and the function
exists the
order derivative on
, then for any given
, at least one point
exists, such that
(6)
Then, let
and
be the solutions of (1), and they satisfy the following conditions:
,
,
,
By [5] , we have
(7)
(8)
where
,
and
(9)
(10)
Let a nontrivial solution of (1) be
(11)
In the following, we will discuss the problem (1), (2), (5); (1), (3), (4) and (1), (3), (5) separately.
3. Uniqueness and Reconstruction Problem of (1), (2), (5)
By (2), (5) and (11), we have
(12)
(13)
So the eigenfunction of (1), (2), (5) is
(14)
Without losing generality, let’s suppose
(15)
(16)
Let
is the eigenvalue of the problem, just then
(17)
is the corresponding characteristic function. Let
be nodes of the characteristic function.
Lemma 3.1 As n is large enough, the property of eigenvalues
for (1), (2), (5) is listed:
(18)
Proof. Using (7), (8) and (14), as
, we have
(19)
If
is eigenvalue of Sturm-Liouville operator (1), (2), (5), as
, we have
(20)
so we obtain (18).
Lemma 3.2 As n is large enough, the characteristic function
of (1), (2), (5) has
nodal points on
:
(21)
Proof. From (7) and (8), we can get the following formula:
(22)
for large enough n,
, we obtain that nth characteristic function
has
zeros
on
,
. By
we have
(23)
By Lemma 2.2, as
, we get
(24)
which implies
(25)
Theorem 3.3 For
, let
, and
. Then the following finite limit exists and the corresponding equality holds:
(26)
and
(27)
Proof. By (21) and
. For any integer n, we have
(28)
Theorem 3.4 Let
be a dense subset in
, then
can uniquely determine the potential function
. And we have the algorithm below:
1) For a subset
, and for each
,
, then
.
2) By (28) we get
(29)
Proof. For a given
, The conclusion is obvious.
Next, let us continue to consider the inverse nodal problems for (1), (3), (4).
4. Uniqueness and Reconstruction Problem of (1), (3), (4)
In similar approach to Part 3, we get the eigenfunction of (1), (3), (4) is
(30)
Now, let’s suppose
(31)
(32)
Using (7), (8) and (30), we have
(33)
For the characteristic function (17), as
, we get
(34)
Then, we can get some conclusions about the problem (1), (3), (4), we will list them without proof.
Lemma 4.1 As n is large enough, the property of eigenvalues
for (1), (3), (4) is the same as (18).
Lemma 4.2 As n is large enough, the characteristic function
of (1), (3), (4) has
nodal points in
:
(35)
Theorem 4.3 For
, let
and
. Then the following finite limit exists and the corresponding equality holds:
(36)
and
(37)
Theorem 4.4 Let
be a dense subset in
, then
can uniquely determine the potential function
. And we have the algorithm below:
1) For a subset
, and for each
,
, then
.
2) By (37) we get
(38)
5. Uniqueness and Reconstruction Problem of (1), (3), (5)
Similarly, the eigenfunction of (1), (3), (5) is
(39)
Without losing generality, we still assume (31) and (32) hold in this case.
Lemma 5.1 As n is large enough, the property of eigenvalues
for (1), (3), (5) is listed:
(40)
where
.
Proof. Using (7), (8) and (39), as
, we have
(41)
Let
(42)
where
(43)
(44)
In order to accurately estimate eigenvalues
, for given region
, as radius
is small enough and
, we get
(45)
So by Lemma 2.1, as n is large enough, we have that
has one zero inside
, denote it
.
is arbitrary, so
,
as
(46)
Substituting (46) into (41), we get
(47)
(48)
Using (48), we obtain
(49)
It can be seen from (46) and (49), the Lemma holds.
Lemma 5.2 As n is large enough, the characteristic function
of (1), (3), (5) has
nodal points in
:
(50)
Proof. From (7) and (8), as
, we have
(51)
Similar to Part 3 and Part 4, as n is large enough and
, we have that nth characteristic function
has
zeros
in
. From
, we have
(52)
Applying Lemma 2.2, we have
(53)
From (40), we can get
,
(54)
where
(55)
Thus we can obtain (50).
Theorem 5.3 For
, let
, and
. Then the following finite limit exists and the corresponding equality holds:
(56)
and
(57)
Proof. Using (50) and
, we have
So we obtain (57).
Theorem 5.4 Let
be a dense subset in
, then
can uniquely determine the potential function
. And we have the algorithm below:
1) For a subset
, and for each
,
, then
.
2) By (57) we get
(58)
where
.
Proof. For a given
, by (57), we have
(59)
So we have (58).
6. Conclusion
In this work, we study three inverse nodal problems for the Sturm-Liouville operator with different nonlocal integral conditions. We get the uniqueness theorems. And we present some constructive procedures to solve the inverse nodal problems. It makes sense for the theoretical integrity of the inverse nodal problem with nonlocal integral conditions.
Fund
This work was supported by the National Natural Science Foundation of China (11661059) and the Natural Science Foundation of the Inner Mongolia Autonomous Region of China (2017MS(LH)0103).