Next Article in Journal
Compactness in Groups of Group-Valued Mappings
Next Article in Special Issue
Numerical Solutions of Inverse Nodal Problems for a Boundary Value Problem
Previous Article in Journal
Cross Domain Data Generation for Smart Building Fault Detection and Diagnosis
Previous Article in Special Issue
Reconstruction of Higher-Order Differential Operators by Their Spectral Data
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

The Partial Inverse Spectral and Nodal Problems for Sturm–Liouville Operators on a Star-Shaped Graph

1
Department of Mathematics and Physics, Anhui Jianzhu University, Hefei 230601, China
2
Department of Mathematics and Information Education, National Taipei University of Education, Taipei City 106, Taiwan
3
Department of Applied Mathematics, Nanjing Forestry University, Nanjing 210037, China
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(21), 3971; https://doi.org/10.3390/math10213971
Submission received: 28 September 2022 / Revised: 14 October 2022 / Accepted: 16 October 2022 / Published: 26 October 2022

Abstract

:
We firstly prove the Horváth-type theorem for Sturm–Liouville operators on a star-shaped graph and then solve a new partial inverse nodal problem for this operator. We give some algorithms to recover this operator from a dense nodal subset and prove uniqueness theorems from paired-dense nodal subsets in interior subintervals having a central vertex. In particular, we obtain some uniqueness theorems by replacing the information of nodal data on some fixed edge with part of the eigenvalues under some conditions.

1. Introduction

Consider the following boundary value problem B : = B ( q , α ) , q ( x ) : = { q l ( x ) } l = 1 p , α = { α l } l = 1 p on a star-shaped graph with p edges of identical length 1, defined as follows:
y l + q l ( x ) y l = λ y l , x ( 0 , 1 ) , l = 1 , p ¯ ,
associated with the separated boundary conditions at the pendant vertices 0
y l ( 0 , λ ) cos α l + y l ( 0 , λ ) sin α l = 0 , l = 1 , p ¯ ,
and the standard matching conditions at the central vertex 1
y 1 ( 1 , λ ) = y l ( 1 , λ ) , l = 2 , p ¯ , l = 1 p y l ( 1 , λ ) = 0 ,
where λ is the spectral parameter, α l [ 0 , π ) and q l ( x ) , and l = 1 , p ¯ is called the potential and is an integrable real-valued function on the l-th edge. The differential operators on quantum graphs have many applications in chemistry, mathematics, networks, spider webs, and so on (see [1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17] and the references therein).
The problem B is a natural extension of the classical Sturm–Liouville problem on the finite interval. The inverse nodal problems for the classical Sturm–Liouville operators are to recover the potential and boundary conditions by using its nodal data [18,19,20,21,22,23]. McLaughlin [22] firstly studied the inverse nodal problem for the classical Sturm–Liouville operator and showed that one set of nodal points can determine the Sturm–Liouville operators uniquely. The solution of the potential function to this problem was given by Hald and McLaughlin [19]. The uniqueness results show that the inverse nodal problem is overdetermined. Later on, there was much study focus on how to use less information of nodal data to recover the potential. The uniqueness theorems and the reconstruction formulae are given by using twin-dense nodal subset [15,20,21,24,25,26], dense nodal subset [23,27,28], and partial nodal data [15,29,30,31]. Guo and Wei [30] presented a sharp condition on the nodal subset and proved the uniqueness for the classical Sturm–Liouville operator with a paired-dense nodal subset in interior subintervals under some conditions based on the Gesztesy–Simon theorem in [32]. In addition, the theory on dynamic Sturm–Liouville boundary value problems via variational methods was found in [33,34].
Beginning in 2002, Kuchment [5,6,7,8] studied quantum graphs and investigated the spectral properties of periodic boundary value problems for a carbon atom in graphene. In [12,13], Pivovarchik studied inverse spectral problems with Dirichlet boundary conditions for a star-shaped graph with p edges. He gave the asymptotic expansion of eigenvalues and showed that there are p sequences of eigenvalues where one sequence is simple while the others might not be. In particular, Law and Pivovarchik [35] discussed the multiplicity of the eigenvalues and interlacing properties between two spectral sets of the Sturm–Liouville problems defined on a tree. Recently, Luo, Jatulan and Law [36] gave a complete classification of Archimedean tilings for the periodic quantum graphs and investigated the sufficient conditions for point spectrum and continuous spectrum. Bondarenko [2] showed that if all components q l ( x ) , l = 1 , p ¯ but one on the graph are given a priori, the remaining component can be uniquely determined by two sequences of chosen eigenvalues and provided a constructive algorithm for the solution of the partial inverse problem. In [37], Wang and Shieh generalized Bondarenko’s theorem by the methods in [38]. In this paper, we are going to solve the following partial inverse spectral problem for B:
IP1: (Inverse Problem 1) If q l ( x ) = q ˜ l ( x ) on [ 0 , 1 ] , α l for l i 0 and q i 0 ( x ) = q ˜ i 0 ( x ) on [ a 0 , 1 ] for some a 0 , a 0 ( 0 , 1 ] given a priori, recover q i 0 ( x ) and α i 0 from part of the eigenvalues.
On the other hand, the inverse nodal problems on quantum graphs have been studied. In 2007, Currie and Watson [39] studied the inverse nodal problems on general graphs and showed that, for q i L , one set of eigenvalues and nodal positions is sufficient to reconstruct the potentials q i s . In 2008, Yurko [40] discussed the inverse nodal problem for B with α l = 0 , l = 1 , p ¯ and proved that each component q l ( x ) can be uniquely determined up to a constant by a dense nodal set. Later on, Cheng [41] derived the asymptotics of eigenvalues of B with q l L 1 , l = 1 , p ¯ and presented direct and explicit formulae on recovering the potentials using a twin-dense nodal subset. Wang and Shieh [31] investigated the partial inverse nodal problem for B with Dirichlet boundary conditions from a twin-dense nodal subset in interior subintervals under some conditions. Therefore, we are going to solve the following partial inverse nodal problem for B with less nodal information:
IP2: (Inverse Problem 2) Recover the component q l ( x ) , l = 1 , p ¯ from given paired-dense nodal subsets on subintervals having a central vertex.
We firstly prove the Horváth-type theorem for B and extend Horváth’s method in [38] for the classical Sturm–Liouville operator to B, which is also the theoretical basis for the solution of the partial inverse nodal problem for B. Then, we show that the components { q l ( x ) } l = 1 p for B can be uniquely determined up to a constant by a dense nodal subset corresponding to the first eigenvalue sequence in [ 0 , 1 ] ; see Theorem 2. We also give algorithms to reconstruct { q l ( x ) } l = 1 p and { α l } l = 1 p from a dense nodal subset. In Theorem 3, combined with the Horváth-type theorem for B, we show that if there is a paired-dense nodal subset corresponding to the first eigenvalue sequence in a interior subinterval, then, with a sufficiently large counting number corresponding to the first eigenvalue sequence, we can uniquely determine the components { q l ( x ) } l = 1 p up to a constant on the whole graph. Finally, in Theorem 4, without any nodal data on some i 0 -th edge but with part of the eigenvalues, we can also uniquely determine components { q l ( x ) } l = 1 p up to a constant on the whole graph from a paired-dense nodal subset corresponding to the first eigenvalue sequence and sufficiently large counting numbers. We extend Guo-Wei’s method in [30] for the classical Sturm–Liouville operator to B.
This article is organized as follows. In Section 2, we present preliminaries. We give the asymptotic formulae of nodal points. We present solutions to IP1 in Section 3 and IP2 in Section 4, respectively.

2. Preliminaries

Let S l ( x , λ ) , C l ( x , λ ) , and φ l ( x , λ ) be solutions of (1) for each l = 1 , p ¯ associated with the initial conditions:
S l ( 0 , λ ) = 0 , S l ( 0 , λ ) = 1 , C l ( 0 , λ ) = 1 , C l ( 0 , λ ) = 0 , φ l ( 0 , λ ) = sin α l , φ l ( 0 , λ ) = cos α l .
Moreover, we have
φ l ( x , λ ) = sin α l C l ( x , λ ) cos α l S l ( x , λ ) .
By the results in [42], we obtain the asymptotic formulae:
(a)
If α l = 0 ,
φ l ( x , λ ) = sin ρ x ρ Q l ( x ) cos ρ x ρ 2 + o e τ x ρ 2 , 0 < x < 1 , φ l ( x , λ ) = cos ρ x + Q l ( x ) sin ρ x ρ + o e τ x ρ , 0 < x < 1 ,
(b)
If 0 < α l < π ,
φ l ( x , λ ) = sin α l cos ρ x + ( Q l ( x ) sin α l cos α l ) sin ρ x ρ + o e τ x ρ , 0 < x < 1 , φ l ( x , λ ) = ρ sin α l sin ρ x + ( Q l ( x ) sin α l cos α l ) cos ρ x + o ( e τ x ) , 0 < x < 1
for | λ | , where ρ = λ , τ = | Im ρ | , and
Q l ( x ) : = 1 2 0 x q l ( t ) d t , l = 1 , p ¯ .
The characteristic function Δ ( λ ) of B is defined by
Δ ( λ ) : = l = 1 p φ l ( 1 , λ ) k = 1 , k l p φ k ( 1 , λ ) ,
which is an entire function in λ of order 1/2, where all zeros of Δ ( λ ) coincide with the eigenvalues of B. Denote σ ( B ) : = m = 1 p M m asthe eigenvalue set of B (counting with their multiplicities) where M m = { λ m , n } n N and ρ m , n : = λ m , n . We shall find the asymptotic formulae of nodal points separately corresponding to the three cases:
( I ) α l = 0 , l = 1 , p ¯ ; ( II ) α l ( 0 , π ) , l = 1 , p ¯ ; ( III ) α l = 0 , l = 1 , T ¯ , and α l ( 0 , π ) , l = T + 1 , p ¯ , 1 T p 1 .
By (Theorem 2.1 [41]), all eigenvalues are real. For the case I, there exist p sequences of eigenvalues λ m , n with the asymptotic formulae:
ρ 1 , n = n 1 2 π + 1 2 p ( n 1 2 ) π 0 1 ( 1 cos ( ( 2 n 1 ) π t ) ) l = 1 p q l ( t ) d t + O 1 n 2 , ρ m , n = n π + Λ m , n , 1 n π + O 1 n 2 , m = 2 , p ¯ ,
for n 1 , where Λ m , n , 1 is the ( m 1 ) -th, m = 2 , p ¯ zero of the polynomial p 1 ( Λ ) of degree ( p 1 )
p 1 ( Λ ) : = l = 1 p i l Λ 1 2 0 1 ( 1 cos ( ( 2 n 1 ) π t ) ) q i ( t ) d t .
For case II, there exist p sequences of eigenvalues λ m , n with the asymptotic formulae
ρ 1 , n = ( n 1 ) π + 1 2 ( n 1 ) p π 2 A 1 + 0 1 ( 1 + cos ( 2 ( n 1 ) π t ) l = 1 p q l ( t ) d t + O 1 n 2 , ρ m , n = n π + Λ m , n , 2 n π + O 1 n 2 , m = 2 , p ¯ ,
for n 1 , where
A 1 = l = 1 p cot α l ,
and Λ m , n , 2 is the ( m 1 ) -th, m = 2 , p ¯ zero of the polynomial p 2 ( Λ ) of degree ( p 1 )
p 2 ( Λ ) : = l = 1 p i l Λ cot α i + 1 2 0 1 ( 1 + cos ( 2 ( n 1 ) π t ) ) q i ( t ) d t ,
and for the case III, there exist p sequences of eigenvalues λ m , n with the asymptotic formulae
ρ m , n = n π + ( 1 ) m d 1 + ω 1 2 n π + o 1 n , m = 1 , 2 , ρ m , n = n π + Λ m , n , 3 n π + O 1 n 2 , m = 3 , T + 1 ¯ , ρ m , n = n 1 2 π + Λ m , n , 4 n 1 2 π + O 1 n 2 , m = T + 2 , p ¯ ,
for n 1 , where
d 1 : = arcsin T p , A 2 : = l = T + 1 p cot α l , ω 1 : = 1 p ( p T ) l = 1 T Q l ( 1 ) + T l = T + 1 p Q l ( 1 ) T A 2 ,
Λ m , n , 3 is the ( m 2 ) -th, m = 3 , T + 1 ¯ root of the polynomial p 3 ( Λ ) of degree ( T 1 )
p 3 ( Λ ) : = l = 1 T i l , i = 1 T Λ 1 2 0 1 ( 1 cos ( 2 n π t ) ) q i ( t ) d t ,
and Λ m , n , 4 is the ( m T 1 ) -th, m = T + 2 , p ¯ root of the polynomial p 4 ( Λ ) of degree ( p T 1 )
p 4 ( Λ ) : = l = T + 1 p i l , i = T + 1 p Λ cot α i + 1 2 0 1 ( 1 + cos ( ( 2 n 1 ) π t ) ) q i ( t ) d t .
The function
m l ( x , λ ) : = φ l ( x , λ ) φ l ( x , λ ) , x ( 0 , 1 ] , l = 1 , p ¯ ,
is called the Weyl m-function of B l , where the problem B l is defined by by (1), (2) and φ l ( 1 , λ ) = 0 . Applying the same arguments as the proof of Marchenko’s theorem in [43], one shows that the Weyl m-function m l ( a , λ ) uniquely determines q l ( x ) on [ 0 , a ] with 0 < a 1 and α l . The eigenfunction y ( x , λ m , n ) corresponding to the eigenvalue λ m , n of B is of the form:
y ( x , λ m , n ) = { c l ( λ m , n ) φ l ( x , λ m , n ) } l = 1 p ,
where c l ( λ m , n ) , l = 1 , p ¯ are constant, do not depend on x, and are not all zeros. The function φ l ( x , λ 1 , n ) is called the l-th component of y ( x , λ 1 , n ) . Let x l , 1 , n j be the j-th nodal point of the l-th component φ l ( x , λ 1 , n ) corresponding to the eigenvalue λ 1 , n , i.e., φ l ( x l , 1 , n j , λ 1 , n ) = 0 , l = 1 , p ¯ . The l-th component φ l ( x , λ 1 , n ) has exactly n 1 (simple) zeros inside the interval ( 0 , 1 ) , and
0 < x l , 1 , n 1 < x l , 1 , n 2 < < x l , 1 , n j < < x l , 1 , n n 1 < 1 .
For l = 1 , p ¯ , let X l , 1 : = { x l , 1 , n j } be the nodal set of the l-th component φ l ( x , λ 1 , n ) corresponding to M 1 . Then, X l , 1 is dense on [ 0 , 1 ] (see below for Lemma 1). Since we can only obtain the same nodal information from the same eigenvalues, we assume that I 1 : = { n 1 , k } k = K 0 is a strictly increasing subsequence in N (where K 0 is defined in Lemma 2) such that
M 1 , 0 : = λ 1 , n 1 , k : λ 1 , n 1 , k 1 < λ 1 , n 1 , k 2 for any n 1 , k 1 < n 1 , k 2 , n 1 , k 1 , n 1 , k 2 I 1 .
Next, we shall give the definition of a paired-dense nodal subset on a finite interval.
Definition 1.
For each l = 1 , p ¯ , denote W I 1 ( [ a l , b l ] ) X l , 1 [ a l , b l ] with 0 a l < b l 1 on the l-th edge. The nodal subset W I 1 ( [ a l , b l ] ) is called a paired-dense nodal subset on [ a l , b l ] corresponding to I 1 if the following conditions hold:
1. 
For each n 1 , k I 1 , there exist some j k , r k 1 , r k N , such that x l , 1 , n 1 , k j k , x l , 1 , n 1 , k j k + r k W I 1 ( [ a l , b l ] ) .
2. 
W I 1 ( [ a l , b l ] ) ¯ = [ a l , b l ] .
The definition of the paired-dense nodal subset was given in [30]. Clearly, the twin-dense nodal subset is a special case of the paired-dense nodal subset. Denote
ω 0 = 1 p l = 1 p Q l ( 1 ) , α n j = j n 1 2 , for I , j 1 2 n 1 , for II , j n , l = 1 , T ¯ , for III , j 1 2 n , l = T + 1 , p ¯ , for III ,
By the asymptotic behavior of λ 1 , n and φ l ( x , λ 1 , n ) , one can easily obtain asymptotic behavior of nodal points. We omit the proof.
Lemma 1.
For three cases, the nodal points x l , 1 , n j of the l-th component φ ( x , λ 1 , n ) corresponding to the eigenvalue λ 1 , n have the asymptotic formulae:
x l , 1 , n j = α n j + 1 2 ( n 1 2 ) 2 π 2 0 α n j q l ( t ) d t 2 ω 0 α n j + o 1 n 2 , for I ,
x l , 1 , n j = α n j cot α l ( n 1 ) 2 π 2 + 1 2 ( n 1 ) 2 π 2 0 α n j q l ( t ) d t + 1 2 ( n 1 ) 2 π 2 2 A 1 p ω 0 α n j + o 1 n 2 , for II ,
x l , 1 , n j = α n j + d 1 α n j n π + 1 2 ( n π ) 2 0 α n j q l ( t ) d t + 2 d 1 2 ω 1 2 ( n π ) 2 α n j + o 1 n 2 , l = 1 , T ¯ , for III ,
x l , 1 , n j = α n j + α n j n π cot α l n 2 π 2 + 1 2 ( n π ) 2 0 α n j q l ( t ) d t + 2 d 1 2 ω 1 2 ( n π ) 2 α n j + o 1 n 2 , l = T + 1 , p ¯ , for III
for n 1 uniformly in j, where ω 1 , d 1 , and A 1 are defined in (11) and (14).

3. Partial Inverse Spectral Problems

In this section, we shall study the partial inverse spectral problem for B. Let the boundary value problem B ˜ have the same form as B but with different coefficients. If a certain symbol γ denotes an object related to B, then the corresponding symbol γ ˜ with a tilde denotes the analogous object related to B ˜ . Let γ ^ = γ γ ˜ .
For m = 2 , p ¯ , let I m : = { n m , k } k = 1 be a strictly increasing subsequence in N , and denote M m , 0 : = { λ m , n m , k : n m , k I m } M m . For each m = 1 , p ¯ , the counting function corresponding to M m , 0 is defined by
N M m , 0 ( t ) : = ρ m , n m , k < t , λ m , n m , k M m , 0 1 , t R + .
By (6), this yields
Δ ( λ ) = γ 1 ( λ ) φ i 0 ( 1 , λ ) + γ 2 ( λ ) φ i 0 ( 1 , λ ) ,
where
γ 1 ( λ ) = l i 0 φ l ( 1 , λ ) , and γ 2 ( λ ) = l i 0 p φ l ( 1 , λ ) k i 0 , k l p φ k ( 1 , λ ) .
Clearly the entire functions γ 1 ( λ ) and γ 2 ( λ ) in λ are only dependent on q l ( x ) and α l , l i 0 . If γ 1 ( λ m , n ) = γ 2 ( λ m , n ) = 0 , then we cannot obtain any information about the component q i 0 ( x ) from the eigenvalue λ m , n by (21). Hence, we add the following Assumption 1:
Assumption 1.
For each λ m , n m , k M m , 0 , such that
γ 1 2 ( λ m , n m , k ) + γ 2 2 ( λ m , n m , k ) 0 , m = 1 , p ¯ .
We shall prove the following Horváth type-theorem for B, which is a solution toIP1:
Theorem 1.
Let q l ( x ) = q ˜ l ( x ) on [ 0 , 1 ] , α l = α ˜ l for l i 0 and q i 0 ( x ) = q ˜ i 0 ( x ) on [ a 0 , 1 ] for some a 0 , a 0 ( 0 , 1 ] be given a priori. If M k , 0 = M ˜ k , 0 with Assumption 1 satisfied, and there exist t 0 > 0 , 0 κ 1 1 , δ 1 > 0 such that
m = 1 p N M m , 0 ( t ) 2 a 0 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 1 + κ 1 + O ( t δ 1 ) , if α i 0 = 0 ;
m = 1 p N M m , 0 ( t ) 2 a 0 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 + κ 1 + O ( t δ 1 ) , if α i 0 0
for sufficiently large t t 0 , and
lim t m = 1 p N M m , 0 ( t ) t = 2 a 0 π ,
where [ x ] denotes the largest integer less than or equal to x, then
q i 0 ( x ) = a . e . q ˜ i 0 ( x ) on [ 0 , 1 ] and α i 0 = α ˜ i 0 .
Proof. 
It follows from (1) for l = i 0
0 1 q ^ i 0 ( x ) φ i 0 ( x , λ m , n m , k ) φ ˜ i 0 ( x , λ m , n m , k ) d x = < φ i 0 , φ ˜ i 0 > ( 1 , λ m , n m , k ) < φ i 0 , φ ˜ i 0 > ( 0 , λ m , n m , k ) ,
where < φ l , φ ˜ l > ( x , λ ) : = φ l ( x , λ ) φ ˜ l ( x , λ ) φ l ( x , λ ) φ ˜ l ( x , λ ) , l = 1 , p ¯ , is called the Wronskian of φ l ( x , λ ) and φ ˜ l ( x , λ ) . This implies
< φ i 0 , φ ˜ i 0 > ( 1 , λ m , n m , k ) = 0 1 q ^ i 0 ( x ) φ i 0 ( x , λ m , n m , k ) φ ˜ i 0 ( x , λ m , n m , k ) d x sin α ^ i 0 .
The assumption q l ( x ) = q ˜ l ( x ) on [ 0 , 1 ] and α l = α ˜ l for all l i 0 together with the initial conditions φ l ( 0 , λ ) = φ ˜ l ( 0 , λ ) = sin α l , φ l ( 0 , λ ) = φ ˜ l ( 0 , λ ) = cos α l show that
φ l ( 1 , λ m , n m , k ) = φ ˜ l ( 1 , λ m , n m , k ) and φ l ( 1 , λ m , n m , k ) = φ ˜ l ( 1 , λ m , n m , k )
for all m = 1 , p ¯ . From (21) and (26), it is clear that
γ 1 ( λ m , n m , k ) = γ ˜ 1 ( λ m , n m , k ) and γ 2 ( λ m , n m , k ) = γ ˜ 2 ( λ m , n m , k )
By Assumption 1 and (21), we have
φ i 0 ( 1 , λ m , n m , k ) = γ 2 ( λ m , n m , k ) γ 1 ( λ m , n m , k ) φ i 0 ( 1 , λ m , n m , k ) , φ ˜ i 0 ( 1 , λ m , n m , k ) = γ 2 ( λ m , n m , k ) γ 1 ( λ m , n m , k ) φ ˜ i 0 ( 1 , λ m , n m , k ) , if γ 1 ( λ m , n m , k ) 0 ,
or
φ i 0 ( 1 , λ m , n m , k ) = γ 1 ( λ m , n m , k ) γ 2 ( λ m , n m , k ) φ i 0 ( 1 , λ m , n m , k ) , φ ˜ i 0 ( 1 , λ m , n m , k ) = γ 1 ( λ m , n m , k ) γ 2 ( λ m , n m , k ) φ ˜ i 0 ( 1 , λ m , n m , k ) , if γ 2 ( λ m , n m , k ) 0 .
It follows from (25) and (27)–(29) that
< φ i 0 , φ ˜ i 0 > ( 1 , λ m , n m , k ) = 0 , n m , k I m , m = 1 , p ¯ .
By q i 0 ( x ) = q ˜ i 0 ( x ) on [ a 0 , 1 ] , this yields
< φ i 0 , φ ˜ i 0 > ( a 0 , λ m , n m , k ) = 0 , n m , k I m , m = 1 , p ¯ .
Define the function K i 0 ( λ ) by
K i 0 ( λ ) : = < φ i 0 , φ ˜ 0 , i 0 > ( a 0 , λ ) m = 1 p F m ( λ ) ,
where
F m ( λ ) : = λ m , n m , k M m , 0 1 λ λ m , n m , k , m = 1 , p ¯ .
If λ m , n m , k = 0 , we substitute 1 λ λ m , n m , k by λ in (33). If the eigenvalue λ m , n m , k m = 1 p M m 0 is simple, then (31) guarantees that the function K i 0 ( λ ) is analytical at λ = λ m , n m , k . By (8), (10) and (13), we see that the multiplicity of each eigenvalue can be only finite. Assume that the multiplicity of the eigenvalue λ m , n m , k : = λ 0 m = 1 p M m , 0 is k 0 , k 0 2 . Then,
Δ ( λ 0 ) = d Δ ( λ ) d λ | λ = λ 0 = = d k 0 1 Δ ( λ ) d λ k 0 1 | λ = λ 0 = 0 .
Consequently, (21) and (34) show that
γ 1 ( λ 0 ) φ i 0 ( 1 , λ 0 ) + γ 2 ( λ 0 ) φ i 0 ( 1 , λ 0 ) = 0 , γ 1 ( λ 0 ) d φ i 0 ( 1 , λ ) d λ | λ = λ 0 + γ 2 ( λ 0 ) d φ i 0 ( 1 , λ ) d λ | λ = λ 0 + d γ 1 ( λ ) d λ | λ = λ 0 φ i 0 ( 1 , λ 0 ) + d γ 2 ( λ ) d λ | λ = λ 0 φ i 0 ( 1 , λ 0 ) = 0 , k = 0 k 0 1 C k 0 1 k d k γ 1 ( λ ) d λ k | λ = λ 0 d k 0 1 k φ i 0 ( 1 , λ ) d λ k 0 1 k | λ = λ 0 + k = 0 k 0 1 C k 0 1 k d k γ 2 ( λ ) d λ k | λ = λ 0 d k 0 1 k φ i 0 ( 1 , λ ) d λ k 0 1 k | λ = λ 0 = 0 ,
Similar to (35), we have
γ 1 ( λ 0 ) φ ˜ i 0 ( 1 , λ 0 ) + γ 2 ( λ 0 ) φ ˜ i 0 ( 1 , λ 0 ) = 0 , γ 1 ( λ 0 ) d φ ˜ i 0 ( 1 , λ ) d λ | λ = λ 0 + γ 2 ( λ 0 ) d φ ˜ i 0 ( 1 , λ ) d λ | λ = λ 0 + d γ 1 ( λ ) d λ | λ = λ 0 φ ˜ i 0 ( 1 , λ 0 ) + d γ 2 ( λ ) d λ | λ = λ 0 φ ˜ i 0 ( 1 , λ 0 ) = 0 , k = 0 k 0 1 C k 0 1 k d k γ 1 ( λ ) d λ k | λ = λ 0 d k 0 1 k φ ˜ i 0 ( 1 , λ ) d λ k 0 1 k | λ = λ 0 + k = 0 k 0 1 C k 0 1 k d k γ 2 ( λ ) d λ k | λ = λ 0 d k 0 1 k φ ˜ i 0 ( 1 , λ ) d λ k 0 1 k | λ = λ 0 = 0 .
It follows from (35) and (36) that
< φ i 0 , φ ˜ 0 , i 0 > ( 1 , λ 0 ) = d < φ i 0 , φ ˜ 0 , i 0 > ( 1 , λ ) d λ | λ = λ 0 = = d k 0 1 < φ i 0 , φ ˜ 0 , i 0 > ( 1 , λ ) d λ k 0 1 | λ = λ 0 = 0 .
This implies that the function < φ i 0 , φ ˜ 0 , i 0 > ( 1 , λ ) has zeros at λ 0 of at least k 0 . Moreover, the function < φ i 0 , φ ˜ 0 , i 0 > ( a 0 , λ ) has zeros at λ 0 of at least k 0 . Thus, the function K i 0 ( λ ) is analytical at λ = λ m , n m , k . Note that (4) and (5) show that
< φ i 0 , φ ˜ i 0 > ( a 0 , λ ) = { (37) O e 2 a 0 τ | ρ | 2 , if α i 0 = 0 , (38) O ( e 2 a 0 τ ) , if α i 0 0 ,
for | λ | . By the results on the Weyl m-functions m l ( x , λ ) and m ˜ l ( x , λ ) in [32], we have
m i 0 ( x , λ ) m ˜ i 0 ( x , λ ) = | i ρ + o ( 1 ) ( i ρ + o ( 1 ) ) | = o ( 1 )
uniformly in x [ δ , 1 ] for | λ | in any sector ε 0 < arg λ < π ε 0 for ε 0 > 0 , where δ ( 0 , 1 ] (for details, see [32]). Consequently, it follows from (4), (5) and (39) that
< φ i 0 , φ ˜ i 0 > ( a 0 , λ ) = { (40) o e 2 a 0 τ | ρ | 2 , if α l = 0 , (41) o ( e 2 a 0 τ ) , if α l 0 ,
for | λ | in any sector ε 0 < arg λ < π ε 0 . By Levinson’s estimate (see [44]), then the first formula of (8), or (10), or (13) and (22), or (23) imply that there exists a constant c m such that
1 m = 1 p F m ( λ ) = O e 2 a 0 τ + ε | λ | , λ m = 1 p D m , c m
for sufficiently large | λ | , where
D m , c m : = λ : | ρ ρ m , n m , k | 1 8 c m , λ m , n m , k M m , 0 .
Thus (37), (38), and (42) show that
| K i 0 ( λ ) | = O e 2 ε | λ | , λ m = 1 p D m , c m
for sufficiently large | λ | . Consequently, (43) and the maximum modulus principle show that the entire function K i 0 ( λ ) is of the zero-exponential type, i.e., for arbitrary ε > 0 , then
| K i 0 ( λ ) | c e 2 ε | λ | , λ C
for sufficiently large | λ | , where c is constant. Noting that
sin λ λ = n = 1 1 λ n 2 π 2 ,
we obtain
1 [ t π ] t y 2 y 2 + t 2 d t = ln n = 1 1 i y n 2 π 2 + O ( 1 ) = ln sin i y i y + O ( 1 ) = | y | 2 1 2 ln | y | + O ( 1 ) ,
1 t π + 1 2 t y 2 y 2 + t 2 d t = ln n = 1 1 i y n 1 2 2 π 2 + O ( 1 ) = ln cos i y + O ( 1 ) = | y | 2 + O ( 1 ) .
1 1 t y 2 y 2 + t 2 d t = 1 1 t t y 2 + t 2 d t = 1 2 ln ( y 2 + 1 ) = ln | y | + O ( 1 ) .
Next, we shall prove by two cases
| K i 0 ( i y ) | c | y | 1 a 0 ( 1 κ 1 ) , if α i 0 = 0 ; c | y | a 0 κ 1 , if α i 0 0
for sufficiently large y > 0 . Here and below, we use the symbol c to represent a positive constant that may vary from one formula to another.
Case (1): All eigenvalues λ m , n m , k 1 . It follows from (45), (46), (47), (22) and (23) that
ln m = 1 p F m ( i y ) = 1 k = 1 p N k , 0 ( t ) t y 2 y 2 + t 2 d t + O ( 1 ) 2 a 0 1 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 1 + κ 1 t y 2 y 2 + t 2 d t + O ( 1 ) , if α i 0 = 0 ; 1 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 + κ 1 t y 2 y 2 + t 2 d t + O ( 1 ) , if α i 0 0 = 2 a 0 | y | 2 a 0 ( 1 κ 1 ) ln | y | + O ( 1 ) , if α i 0 = 0 ; 2 a 0 | y | 2 + a 0 κ 1 ln | y | + O ( 1 ) , if α i 0 0 .
This implies
m = 1 p F m ( i y ) c e 2 a 0 | y | / 2 | y | a 0 ( 1 + κ 1 ) , if α i 0 = 0 ; | m = 1 p F m ( i y ) | c | y | a 0 ( 1 κ 1 ) e 2 a 0 | y | / 2 , if α i 0 0
for a y R + that is sufficiently large. By (40), (41), and (49), we obtain (48).
Case (2): There exist k 0 1 eigenvalues such that λ m , n m , k m < 1 , m = 1 , p ¯ , k m = 1 , k m , 0 ¯ , where there may exist some k m , 0 such that k m , 0 = 0 . If k m , 0 = 0 , then λ m , n m , k 1 for all n m , k . Without loss of generality, we assume
λ m , n m , k m < 1 , m = 1 , p ¯ , k m = 1 , k m , 0 ¯ , m = 1 p k m , 0 = k 0 .
Let
μ m , n m , k m = n m , k m π > 1 , m = 1 , p ¯ , S m , 0 : = { λ m , n m , k m } k m = 1 k m , 0 , k m = 1 , k m , 0 ¯
and
F 1 , m ( λ ) = k m = 1 k m , 0 1 λ μ m , n m , k m × λ m , n m , k M m , 0 \ S m , 0 1 λ λ m , n m , k , m = 1 , p ¯ .
Since
lim y + m = 1 p k m = 1 k m , 0 1 i y λ m , n m , k m 1 i y μ m , n m , k m = 1 ,
then there exists a sufficiently large Y 0 such that
m = 1 p k m = 1 k m , 0 1 i y λ m , n m , k m 1 i y μ m , n m , k m 1 2
for y > Y 0 . Note that
m = 1 p F m ( λ ) = m = 1 p k m = 1 k m , 0 1 λ λ m , n m , k m 1 λ μ m , n m , k m × m = 1 p F 1 , m ( λ ) .
By (49), (50) and (51), we also have (48). It follows from (48)
lim y K i 0 ( i y ) = 0 .
By the Phragmén-Lindelöf-type result in [20] together with (44) and (52), we obtain
K i 0 ( λ ) 0 , λ C .
It follows from (53) that
< φ i 0 , φ ˜ i 0 > ( a 0 , λ ) = 0 , λ C , l = 1 , p ¯ .
Consequently,
m i 0 ( a 0 , λ ) = m ˜ i 0 ( a 0 , λ ) , λ C , l = 1 , p ¯ .
By Marchenko’s result in [21] together with (54), we have
q ^ i 0 ( x ) = a . e . 0 on [ 0 , a 0 ] , and α i 0 = α ˜ i 0 .
The proof of Theorem 1 is completed. □

4. Partial Inverse Nodal Problems

In this section, we shall study the partial inverse nodal problem for B from a paired-dense nodal subset in an interior subinterval having a central vertex. For l = 1 , p ¯ , we say W I 1 ( [ a l , b l ] ) = W ˜ I ˜ 1 ( [ a l , b l ] ) if for any n 1 , k I 1 there exist j k , r k , n ˜ 1 , k , j ˜ k N such that x l , 1 , n 1 , k j k , x l , 1 , n 1 , k j k + r k W I 1 ( [ a l , b l ] ) , x ˜ l , 1 , n ˜ 1 , k j ˜ k , x ˜ l , 1 , n ˜ 1 , k j ˜ k + r k W ˜ I ˜ 1 ( [ a l , b l ] ) and
x l , 1 , n 1 , k j k = x ˜ l , 1 , n ˜ 1 , k j ˜ k , x l , 1 , n 1 , k j k + r k = x ˜ l , 1 , n ˜ 1 , k j ˜ k + r k .
We obtain the following three uniqueness theorems for B.
Theorem 2.
For each l = 1 , p ¯ , let X l , 1 , 0 X l , 1 be a dense nodal subset on [ 0 , 1 ] ; then
q l ( x ) q ˜ l ( x ) = a . e . 2 ω ^ 0 on [ 0 , 1 ] , α l = α ˜ l for l = 1 , p ¯ , I or II q l ( x ) q ˜ l ( x ) = a . e . ω ^ 1 on [ 0 , 1 ] , α l = α ˜ l for l = 1 , p ¯ , III
Denote
C 1 = 2 ω ^ 0 , for I ; C 2 = 2 ω ^ 0 2 A ^ 1 p , for II ; C 3 = ω ^ 1 , for III .
We need the following lemma to prove our main results in this paper.
Lemma 2.
Let 0 a l < 1 for l = 1 , p ¯ . If W I 1 ( [ a l , 1 ] ) = W ˜ I ˜ 1 ( [ a l , 1 ] ) , then there exists a large number K 0 such that
λ 1 , n 1 , k λ ˜ 1 , n ˜ 1 , k = C ν , n 1 , k I 1 , for ν = 1 , 2 , 3 ,
By Theorems 1, 2 and Lemma 2, we prove Theorems 3 and 4, which are solutions to IP2.
Theorem 3.
Let 0 a l < 1 / 2 for l = 1 , p ¯ and 0 β 1 = max 1 l p { a l } < 1 / 2 . If W I 1 ( [ a l , 1 ] ) = W ˜ I ˜ 1 ( [ a l , 1 ] ) , and there exist t 0 > 0 , 0 κ 1 1 , and δ 1 > 0 such that
N M 1 , 0 ( t ) 2 β 1 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 1 + κ 1 + O ( t δ 1 ) for I ,
N M 1 , 0 ( t ) 2 β 1 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 + κ 1 + O ( t δ 1 ) for II , III
for sufficiently large t t 0 , and
lim t N M 1 , 0 ( t ) t = 2 β 1 π ,
then
q l ( x ) q ˜ l ( x ) = a . e . C μ on [ 0 , 1 ] , α l = α ˜ l for l = 1 , p ¯ , μ = 1 , 2 , 3 ,
Remark 1.
We can only study the partial inverse nodal problems for the cases 0 a l < 1 / 2 , l = 1 , p ¯ . The general cases 0 a l < 1 , l = 1 , p ¯ require a separate investigation.
Without any nodal data on the component q i 0 ( x ) , we have Theorem 4 from Theorems 3 and 1.
Theorem 4.
Let 0 a l < 1 / 2 for l i 0 and β 1 = max l i 0 { a l } . Suppose that W I 1 ( [ a l , 1 ] ) = W ˜ I ˜ 1 ( [ a l , 1 ] ) for l i 0 , and M m , 0 = M ˜ m , 0 for m 1 , M m , 0 for m = 1 , p ¯ satisfying the assumption(A), and there exist t 0 > 0 , 0 κ ξ 1 , δ ξ > 0 , ξ = 0 , 1 , such that
N M 1 , 0 ( t ) 2 β 1 κ 0 t π + 1 2 + ( 1 κ 0 ) t π + 1 2 1 + κ 0 + O ( t δ 0 ) , m = 1 p N M m , 0 ( t ) 2 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 1 + κ 1 + O ( t δ 1 ) , for I ;
N M 1 , 0 ( t ) 2 β 1 κ 0 t π + 1 2 + ( 1 κ 0 ) t π + 1 2 + κ 0 + O ( t δ 0 ) , m = 1 p N M m , 0 ( t ) 2 κ 1 t π + 1 2 + ( 1 κ 1 ) t π + 1 2 + κ 1 + O ( t δ 1 ) , for II , III
for sufficiently large t t 0 ;
lim t N M 1 , 0 ( t ) t = 2 β 1 π , lim t m = 1 p N M m , 0 ( t ) t = 2 π ,
then (59) holds.
Next, we present proofs of Lemma 2 and Theorems 2–4.
Proof of Theorem 2. 
For each fixed x [ 0 , 1 ] and l = 1 , p ¯ , we choose x l , 1 , n 1 , k j k X l , 1 , 0 such that lim k x l , 1 , n 1 , k j k = x . This implies lim k α n 1 , k j k = x . By (17)–(20) and the Riemann–Lebesgue lemma, we have
f l , 1 , 1 ( x ) : = lim k 2 ( n 1 , k 1 2 ) 2 π 2 x l , 1 , n 1 , k j k α n 1 , k j k = lim k 0 α n 1 , k j k q l ( t ) d t 2 ω 0 α n 1 , k j k + o ( 1 ) = 0 x q l ( t ) d t 2 ω 0 x , x [ 0 , 1 ] for I ;
f l , 1 , 2 ( x ) : = lim k 2 ( n 1 , k 1 ) 2 π 2 x l , 1 , n 1 , k j k α n 1 , k j k = lim k 0 α n 1 , k j k q l ( t ) d t + 2 A 1 p 2 ω 0 α n 1 , k j k + o ( 1 ) = 2 cot α l + 0 x q l ( t ) d t + 2 A 1 p 2 ω 0 x , x [ 0 , 1 ] for II ;
h l , 1 ( x ) : = lim k ( n 1 , k π ) x l , 1 , n 1 , k j k α n 1 , k j k = lim k d 1 α n 1 , k j k + o ( 1 ) = d 1 x , x [ 0 , 1 ] , l = 1 , T ¯ , for III ,
f l , 1 , 3 ( x ) : = lim k 2 ( n 1 , k π ) 2 x l , 1 , n 1 , k j k α n 1 , k j k d 1 α n 1 , k j k n 1 , k π = lim k 0 α n 1 , k j k q l ( t ) d t ( ω 1 2 d 1 2 ) α n 1 , k j k + o ( 1 ) = 0 x q l ( t ) d t ( ω 1 2 d 1 2 ) x , x [ 0 , 1 ] , l = 1 , T ¯ , for III ,
f l , 1 , 4 ( x ) : = lim k 2 ( n 1 , k π ) 2 x l , 1 , n 1 , k j k α n 1 , k j k d 1 α n 1 , k j k n 1 , k π = lim k 2 cot α l + 0 α n 1 , k j k q l ( t ) d t ( ω 1 2 d 1 2 ) α n 1 , k j k + o ( 1 ) = 2 cot α l + 0 x q l ( t ) d t ( ω 1 2 d 1 2 ) x , x [ 0 , 1 ] , l = T + 1 , p ¯ , for III .
By taking derivatives with respect to x in (62)–(66), we obtain
{ (67) f l , 1 , 1 ( x ) = a . e . q l ( x ) 2 ω 0 , x [ 0 , 1 ] , l = 1 , p ¯ , (68) f l , 1 , 2 ( x ) = a . e . q l ( x ) + 2 A 1 p 2 ω 0 , x [ 0 , 1 ] , l = 1 , p ¯ , (69) h l , 1 ( x ) = d 1 = arcsin T p , (70) f l , 1 , 3 ( x ) = f l , 1 , 4 ( x ) = a . e . q l ( x ) ω 1 + 2 d 1 2 , x [ 0 , 1 ] , l = 1 , p ¯ .
It follows from the assumption X l , 1 , 0 = a . e . X ˜ l , 1 , 0 that
h l , 1 ( x ) = h ˜ l , 1 ( x ) and f l , 1 , ν ( x ) = f ˜ l , 1 , ν ( x ) , x [ 0 , 1 ] , l = 1 , p ¯ , ν = 1 , 4 ¯ .
By (69), we find T by
T = p sin 2 h l , 1 ( x ) .
For cases II and III with l = T + 1 , p ¯ , letting x = 0 in (63) and (66), we obtain
α l = α ˜ l = { (73) arccot f l , 1 , 2 ( 0 ) 2 , l = 1 , p ¯ , for II , (74) arccot f l , 1 , 4 ( 0 ) 2 , l = T + 1 , p ¯ , for III .
Furthermore, it follows from (71) that
f l , 1 , ν ( x ) = a . e . f ˜ l , 1 , ν ( x ) , x [ 0 , 1 ] , l = 1 , p ¯ , ν = 1 , 4 ¯ .
Consequently, (67)–(75) imply that
q ^ l ( x ) : = q l ( x ) q ˜ l ( x ) = a . e . C μ , x [ 0 , 1 ] , l = 1 , p ¯ , μ = 1 , 2 , 3 .
This completes the proof of Theorem 2. □
The proof of Theorem 2 is constructive. We reconstruct the potential q l ( x ) up to a constant on the equilateral graph with the dense nodal subset X l , 1 , 0 on the l-th edge, l = 1 , p ¯ , by the following algorithms:
Algorithm 1: For case I, reconstruct the potential q l ( x ) up to a constant by the following two steps:
(1)
Find f l , 1 , 1 ( x ) by (62) for each l = 1 , p ¯ .
(2)
Reconstruct q l ( x ) 2 ω 0 on ( 0 , 1 ) by (67).
Algorithm 2: For case II, reconstruct the potential q l ( x ) up to a constant by the following three steps:
(1)
Find f l , 1 , 2 ( x ) by (63) for each l = 1 , p ¯ .
(2)
Reconstruct α l for each l = 1 , p ¯ by (73), and then find A 1 .
(3)
Recover q l ( x ) 2 ω 0 on ( 0 , 1 ) for each l = 1 , p ¯ by (68).
Algorithm 3: For case III, reconstruct the potential q l ( x ) up to a constant by the following four steps:
(1)
Find h l , 1 ( x ) by (64) for each l = 1 , p ¯ ; reconstruct T by (72).
(2)
Find f l , 1 , 3 ( x ) by (65) for each l = 1 , T ¯ and find f l , 1 , 4 ( x ) by (66) for each l = T + 1 , p ¯ .
(3)
Reconstruct α l for each l = T + 1 , p ¯ by (74), and then find A 2 .
(4)
Recover q l ( x ) ω 1 on ( 0 , 1 ) for each l = 1 , p ¯ by (70).
Proof of Lemma 2 
By suitably modifying the proof of Theorem 2, we obtain
q l ( x ) q ˜ l ( x ) = a . e . C ν , x [ a l , 1 ] , l = 1 , p ¯ , ν = 1 , 2 , 3 .
It follows from (17)–(20) that as k
L l , 1 , n 1 , k : = x l , 1 , n 1 , k j k + r k x l , 1 , n 1 , k j k = r k n 1 , k 1 2 + o 1 n 1 , k 2 , for I , r k n 1 , k 1 + o 1 n 1 , k 2 , for II , r k n 1 , k + d 1 r k n 1 , k 2 π + o 1 n 1 , k 2 , for III , l = 1 , T ¯ , r k n 1 , k + r k n 1 , k 2 π + o 1 n 1 , k 2 , for III , l = T + 1 , p ¯ .
If the problems B and B ˜ belong to the same subcase in (7), say, case I, it follows from the first formula of (78) and the assumption that
L l , 1 , n 1 , k = r k n 1 , k 1 2 + o 1 n 1 , k 2 = r k n ˜ 1 , k 1 2 + o 1 n ˜ 1 , k 2 = L ˜ l , 1 , n 1 , k , for k 1 .
Without loss of generality, we assume n ˜ 1 , k n 1 , k here and below. This implies
r k ( n 1 , k n ˜ 1 , k ) n 1 , k 1 2 n ˜ 1 , k 1 2 = o 1 n 1 , k 2 for k 1 .
It follows from (79) that
n 1 , k = n ˜ 1 , k for k 1 .
If the problem B belongs to case II, while the problem B ˜ belongs to case III, then it follows from the second and third formulae of (78) and the assumption that
r k n 1 , k 1 + o 1 n 1 , k 2 = r k n ˜ 1 , k + d 1 r k n ˜ 1 , k 2 π + o 1 n ˜ 1 , k 2 for k 1 .
By virtue of (81), this yields
r k n 1 , k 1 + o 1 n 1 , k 2 = r k n ˜ 1 , k + d 1 r k n ˜ 1 , k 2 π + o 1 n ˜ 1 , k 2 for k 1 .
In particular, we have
r k n ˜ 1 , k n 1 , k 1 r k d 1 r k n ˜ 1 , k π = o n ˜ 1 , k n 1 , k 2 + o 1 n ˜ 1 , k ,
and hence
lim k n ˜ 1 , k n 1 , k = 1 .
By (82), we obtain
n ˜ 1 , k n 1 , k + 1 d 1 π n ˜ 1 , k = o 1 n 1 , k for k 1 .
This implies
n ˜ 1 , k n 1 , k + 1 d 1 π = 0 for k 1 ,
which is impossible by 0 < 1 π arcsin T p < 1 2 and n ˜ 1 , k n 1 , k + 1 1 . Therefore, the problems B and B ˜ belong to the same subcase, and other cases can be treated similarly. This implies that (80) is valid for k 1 . Next, we only consider the problems B and B ˜ belonging to case III and l { T + 1 , , p } . For each l = T + 1 , p ¯ , consider two Dirichlet boundary value problems defined on the interval [ x l , 1 , n 1 , k j k , x l , 1 , n 1 , k j k + r k ] ,
{ (84) φ l ( x , λ 1 , n 1 , k ) + q l ( x ) φ l ( x , λ 1 , n 1 , k ) = λ 1 , n 1 , k φ l ( x , λ 1 , n 1 , k ) , (85) φ l ( x l , 1 , n 1 , k j k , λ 1 , n 1 , k ) = φ l ( x l , 1 , n 1 , k j k + r k , λ 1 , n 1 , k ) = 0 ,
and
{ (86) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) + q ˜ l ( x ) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) = λ ˜ 1 , n ˜ 1 , k φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) , (87) φ ˜ l ( x l , 1 , n 1 , k j k , λ ˜ 1 , n ˜ 1 , k ) = φ ˜ l ( x l , 1 , n 1 , k j k + r k , λ ˜ 1 , n ˜ 1 , k ) = 0 .
It follows from the first formula of (13) and (20) that
ρ 1 , n 1 , k x l , 1 , n 1 , k j k = j k 1 2 ( d 1 + π ) + d 1 2 n 1 , k π + o 1 n 1 , k , b 1 : = ( 2 j k 1 ) ( d 1 + π ) d 1 2 π cot α l + α n 1 , k j k ( ω 1 + d 1 2 ) + 0 α n 1 , k j k q l ( t ) d t ;
ρ 1 , n 1 , k x l , 1 , n 1 , k j k + r k = j k + r k 1 2 ( d 1 + π ) + d 2 2 n 1 , k π + o 1 n 1 , k , b 2 : = ( 2 j k + r k 1 ) ( d 1 + π ) d 1 2 π cot α l + α n 1 , k j k ( ω 1 + d 1 2 ) + 0 α 1 , n 1 , k j k + r k q l ( t ) d t ;
ρ ˜ 1 , n ˜ 1 , k x l , 1 , n 1 , k j k = j ˜ k 1 2 ( d 1 + π ) + d ˜ 1 2 n ˜ 1 , k π + o 1 n 1 , k , b ˜ 1 : = ( 2 j ˜ k 1 ) ( d 1 + π ) d 1 2 π cot α ˜ l + α n 1 , k j k ( ω ˜ 1 + d 1 2 ) + 0 α n 1 , k j k q ˜ l ( t ) d t ;
ρ ˜ 1 , n 1 , k x l , 1 , n 1 , k j k + r k = j ˜ k + r k 1 2 ( d 1 + π ) + d ˜ 2 2 n ˜ 1 , k π + o 1 n 1 , k , b ˜ 2 : = ( 2 j ˜ k + r k 1 ) ( d 1 + π ) d 1 2 π cot α ˜ l + α n 1 , k j k ( ω ˜ 1 + d 1 2 ) + 0 α 1 , n 1 , k j k + r k q ˜ l ( t ) d t .
By (84)–(87) and the integrations, we easily obtain
x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k ( ( q l ( x ) q ˜ l ( x ) ) ( λ 1 , n 1 , k λ ˜ 1 , n ˜ 1 , k ) ) φ l ( x , λ 1 , n 1 , k ) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) d x = 0 .
By virtue of (92) and q l ( x ) q ˜ l ( x ) = a . e . C ν on [ a l , 1 ] , we have
( C ν ( λ 1 , n 1 , k λ ˜ 1 , n ˜ 1 , k ) ) x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k φ l ( x , λ 1 , n 1 , k ) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) d x = 0 .
On the other hand, it follows from (5)
φ l ( x , λ 1 , n 1 , k ) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) = sin α l sin α ˜ l cos ρ 1 , n 1 , k x cos ρ ˜ 1 , n ˜ 1 , k x + O 1 n 1 , k .
By virtue of (94), this yields
x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k φ l ( x , λ 1 , n 1 , k ) φ ˜ l ( x , λ ˜ 1 , n ˜ 1 , k ) d x = sin α l sin α ˜ l x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ρ 1 , n 1 , k x cos ρ ˜ 1 , n ˜ 1 , k x d x + O 1 n 1 , k 2 = sin α l sin α ˜ l 2 x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k + ρ ˜ 1 , n ˜ 1 , k ) x + cos ( ρ 1 , n 1 , k ρ ˜ 1 , n ˜ 1 , k ) x d x + O 1 n 1 , k 2 .
For k 1 , (80) shows that
1 2 L l , 1 , n 1 , k x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k + ρ ˜ 1 , n ˜ 1 , k ) x d x = 1 2 ( ρ 1 , n 1 , k + ρ ˜ 1 , n 1 , k ) L l , 1 , n 1 , k sin ( ρ 1 , n 1 , k + ρ ˜ 1 , n 1 , k ) x l , 1 , n 1 , k j k + r k sin ( ρ 1 , n 1 , k + ρ ˜ 1 , n 1 , k ) x l , 1 , n 1 , k j k = ( 1 ) j k + j ˜ k 1 2 r k ( d 1 + π ) ( 1 + 1 2 n 1 , k ) + o 1 n 1 , k sin ( j k + j ˜ k + 2 r k 1 ) d 1 + b 1 + b ˜ 1 2 n 1 , k π + o 1 n 1 , k sin ( j k + j ˜ k 1 ) d 1 + b 2 + b ˜ 2 2 n 1 , k π + o 1 n 1 , k = ( 1 ) j k + j ˜ k 1 sin ( j k + j ˜ k + 2 r k 1 ) d 1 sin ( j k + j ˜ k 1 ) d 1 2 r k ( d 1 + π ) + O 1 n 1 , k .
It follows from the first formula of (13) and (80) that
1 2 L l , 1 , n 1 , k x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k ρ ˜ 1 , n ˜ 1 , k ) x d x = 1 2 L l , 1 , n 1 , k x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ω 1 x n 1 , k + o 1 n 1 , k d x = 1 2 L l , 1 , n 1 , k x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k 1 2 sin 2 ω 1 x 2 n 1 , k + o 1 n 1 , k d x = 1 2 + O 1 n 1 , k 2 .
By (80), (96) and (97), there exists a sufficiently large constant K 0 such that
x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k ρ ˜ 1 , n ˜ 1 , k ) x d x > x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k + ρ ˜ 1 , n ˜ 1 , k ) x d x
for all k K 0 . It follows from (92) and (98) that
x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k φ ( x , λ n k ) φ ˜ ( x , λ ˜ n ˜ k ) d x sin α sin α ˜ x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k ρ ˜ 1 , n ˜ 1 , k ) x d x x l , 1 , n 1 , k j k x l , 1 , n 1 , k j k + r k cos ( ρ 1 , n 1 , k + ρ ˜ 1 , n ˜ 1 , k ) x d x + O 1 n 1 , k 2 > 0 .
Therefore, (93) and (99) imply that
λ ^ n 1 , k = λ n 1 , k λ ˜ n ˜ 1 , k = C ν
for all n 1 , k I 1 . This completes the proof of Lemma 2. □
Next, we prove Theorem 3.
Proof of Theorem 3. 
By the assumption of Theorem 3 together with Lemma 2, we have
{ (100) q l ( x ) q ˜ l ( x ) = a . e . C μ , x [ a l , 1 ] , l = 1 , p ¯ , μ = 1 , 2 , 3 , (101) λ 1 , n 1 , k λ ˜ 1 , n ˜ 1 , k = C μ , μ = 1 , 2 , 3 , n 1 , k I 1 .
Let q ˜ 0 , l ( x ) : = q ˜ l ( x ) + C μ , q ^ 0 , l ( x ) : = q l ( x ) q ˜ 0 , l ( x ) , and φ ˜ 0 , l ( x , λ ) be the solution of
{ u ( x , λ ) + ( λ q ˜ 0 , l ( x ) ) u ( x , λ ) = 0 , 0 < x < 1 , u ( 0 , λ ) = sin α l , u ( 0 , λ ) = cos α l .
By a shift of the spectrum to the constant C μ , then (100) and (101) imply
{ (103) q ^ 0 , l ( x ) = a . e . 0 on [ a l , 1 ] , l = 1 , p ¯ , (104) λ 1 , n 1 , k λ ˜ 01 , n ˜ 1 , k = 0 , n 1 , k I 1 .
Next, we prove
q ^ 0 , l ( x ) = a . e . 0 on [ 0 , a l ] , and α l = α ˜ l , l = 1 , p ¯ .
For each λ 1 , n 1 , k , (103) and (104) show that
< φ l , φ ˜ 0 , l > ( a l , λ 1 , n 1 , k ) = 0 , n 1 , k I 1 .
It follows from (4) and (5) that
< φ l , φ ˜ 0 , l > ( a l , λ ) = { (106) O e 2 a l τ | ρ | 2 , if α l = 0 , (107) O ( e 2 a l τ ) , if α l 0 ,
for | λ | . Consequently, it follows from (4), (5) and (39) that
< φ l , φ ˜ 0 , l > ( a l , λ ) = { (108) o e 2 a l τ | ρ | 2 , if α l = 0 , (109) o ( e 2 a l τ ) , if α l 0 ,
for | λ | in any sector ε 0 < arg λ < π ε 0 . Define the function K l , 1 ( λ ) by
K l , 1 ( λ ) : = < φ l , φ ˜ 0 , l > ( a l , λ ) F 1 ( λ ) , l = 1 , p ¯ ,
Therefore, (105) together with the assumption on M 1 , 0 show that K l , 1 ( λ ) is an entire function in λ . By Levinson’s estimate (see [44]), the first formula of (8), or (10), or (13) and (58) imply that there exists a constant c 1 such that
1 | F 1 ( λ ) | = O e 2 α 1 τ + ε | λ | , λ D 1 , c 1
for sufficiently large | λ | . Thus (106), (107) and (110) for m = 1 show that
| K l , 1 ( λ ) | = O e 2 ( α 1 a l ) τ + 2 ε | λ | , λ D 1 , c 1
for sufficiently large | λ | . Consequently, it follows from a l α 1 1 2 , (111) and the maximum modulus principle that the entire function K l , 1 ( λ ) is of the zero-exponential type, and then for arbitrary ε > 0 ,
| K l , 1 ( λ ) | c e 2 ε | λ | , λ C
for sufficiently large | λ | . By calculations, we have
| F 1 ( i y ) | c e 2 α 1 | y | / 2 | y | α 1 ( 1 + κ 0 ) , for I ; | F 1 ( i y ) | c | y | α 1 ( 1 κ 0 ) e 2 α 1 | y | / 2 , for II , III
for a y R + that is sufficiently large. It follows from (108), (109) and (113) that
| K l , 1 ( i y ) | = o ( 1 )
for a sufficiently large y > 0 . This implies
lim y K l , 1 ( i y ) = 0 .
By the Phragmén-Lindelöf-type result in [20] together with (112) and (114) again, we obtain
K l , 1 ( λ ) 0 , λ C .
It follows from (115) that
< φ l , φ ˜ 0 , l > ( a l , λ ) = 0 , λ C , l = 1 , p ¯ .
Consequently,
m l ( a l , λ ) = m ˜ 0 , l ( a l , λ ) , λ C , l = 1 , p ¯ .
By (116) together with Marchenko’s result in [21], we obtain
q ^ 0 , l ( x ) = a . e . 0 on [ 0 , a l ] , and α l = α ˜ l , l = 1 , p ¯ .
Hence, (103) and (117) show that (59) holds. The proof of Theorem 3 is completed. □
Proof of Theorem 4. 
We use the same symbols as these in Theorem 3. Applying the same arguments as the proof of Theorem 3, we have
{ (118) q ^ 0 , l ( x ) = a . e . 0 on [ 0 , 1 ] , and α l = α ˜ l , l i 0 , (119) λ 1 , n 1 , k λ ˜ 01 , n ˜ 1 , k = 0 , n 1 , k I 1 .
Next, we prove
q ^ 0 , i 0 ( x ) = a . e . 0 on [ 0 , 1 ] , and α i 0 = α ˜ i 0 .
It follows from (1) and (102) for l = i 0 that
< φ i 0 , φ ˜ 0 , i 0 > ( 1 , λ m , n m , k ) = 0 1 q ^ 0 , i 0 ( x ) φ i 0 ( x , λ m , n m , k ) φ ˜ 0 , i 0 ( x , λ m , n m , k ) d x sin α ^ i 0 .
Similar to the argument as the proof of Theorem 1, one can complete the remaining proof of Theorem 4. □

Author Contributions

Conceptualization, X.-B.W.; Formal analysis, Y.-P.W.; Resources, Y.-H.C.; Writing—original draft, Y.-P.W.; Writing—review & editing, X.-B.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research received no external funding.

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Belishev, M.I. Boundary spectral inverse problem on a class of graphs(trees) by the BC-method. Inverse Probl. 2004, 20, 647–672. [Google Scholar] [CrossRef]
  2. Bondarenko, N.P.; Shieh, C.-T. Partial inverse problems for Sturm-Liouville operators on trees. Proc. R. Soc. Edinburg Sect. Math. 2017, 147, 917–933. [Google Scholar] [CrossRef] [Green Version]
  3. Bondarenko, N.P. A partial inverse problem for the Sturm-Liouville operator on a star-shaped graph. Anal. Math. Phy. 2018, 8, 155–168. [Google Scholar] [CrossRef] [Green Version]
  4. Exner, P.; Keating, J.P.; Kuchment, P.; Sunada, T.; Teplyaev, A. Analysis on Graphs and Its Applications. In Proceedings of Symposia in Pure Mathematics; American Mathematical Soc.: Providence, RI, USA, 2008; Volume 77. [Google Scholar]
  5. Kuchment, P. Graph models for waves in thin structures. Waves Random Media 2002, 12, 1–24. [Google Scholar] [CrossRef]
  6. Kuchment, P. Quantum graphs I. Some basic structures. Waves Random Media 2004, 14, 107–128. [Google Scholar] [CrossRef] [Green Version]
  7. Kuchment, P. Quantum graphs II. Some spectral properties of quantum and combinatorial graphs. J. Phys. A 2005, 38, 4887–4900. [Google Scholar] [CrossRef]
  8. Kuchment, P.; Post, O. On the spectra of carbon nano-structures. Comm. Math. Phys. 2007, 275, 805–826. [Google Scholar] [CrossRef] [Green Version]
  9. Kurasov, P.; Nowaczyk, M. Inverse spectral problem for quantum graphs. J. Phys. A 2005, 38, 4901–4915. [Google Scholar] [CrossRef]
  10. Montrol, E. Quantum theory on a network. J. Math. Phys. 1970, 11, 635–648. [Google Scholar]
  11. Nizhnik, L.P. Inverse eigenvalue problems for nonlocal Sturm-Liouville operators on a star graph. Methods Funct. Anal. Topol. 2012, 18, 68–78. [Google Scholar]
  12. Pivovarchik, V. Inverse problem for the Sturm-Liouville equation on a simple graph. SIAM J. Math. Anal. 2000, 32, 801–819. [Google Scholar] [CrossRef]
  13. Pivovarchik, V. Inverse problem for the Sturm-Liouville equation on a star-shaped graph. Math. Nachr. 2007, 280, 1595–1619. [Google Scholar] [CrossRef]
  14. Wang, Y.P.; Bondarenko, N.; Shieh, C.-T. The inverse problem for differential pencils on a star-shaped graph with mixed spectral data. Sci. China Math. 2020, 63, 1559–1570. [Google Scholar] [CrossRef]
  15. Wang, Y.P.; Yurko, V.A. On the inverse nodal problems for discontinuous Sturm-Liouville operators. J. Differ. Equ. 2016, 260, 4086–4109. [Google Scholar] [CrossRef]
  16. Yang, C.F. Inverse spectral problems for the Sturm-Liouville operator on a d-star graph. J. Math. Anal. Appl. 2010, 365, 742–749. [Google Scholar] [CrossRef] [Green Version]
  17. Yurko, V.A. Inverse spectral problems for Sturm-Liouville operators on graphs. Inverse Probl. 2005, 21, 1075–1086. [Google Scholar] [CrossRef]
  18. Browne, P.J.; Sleeman, B.D. Inverse nodal problem for Sturm-Liouville equation with eigenparameter dependent boundary conditions. Inverse Probl. 1996, 12, 377–381. [Google Scholar] [CrossRef]
  19. Hald, O.H.; McLaughlin, J.R. Solutions of inverse nodal problems. Inverse Probl. 1989, 5, 307–347. [Google Scholar] [CrossRef]
  20. Law, C.K.; Shen, C.-L.; Yang, C.F. The inverse nodal problem on the smoothness of the potential function. Inverse Probl. 1999, 15, 253–263. [Google Scholar] [CrossRef] [Green Version]
  21. Law, C.K.; Yang, C.F. Reconstructing the potential function and its derivatives using nodal data. Inverse Probl. 1998, 14, 299–312. [Google Scholar] [CrossRef]
  22. McLaughlin, J.R. Inverse spectral theory using nodal points as data-a uniqueness result. J. Differ. Equ. 1988, 73, 354–362. [Google Scholar] [CrossRef] [Green Version]
  23. Shieh, C.-T.; Yurko, V.A. Inverse nodal and inverse spectral problems for discontinuous boundary value problems. J. Math. Anal. Appl. 2008, 347, 266–272. [Google Scholar] [CrossRef]
  24. Cheng, Y.H.; Law, C.K.; Tsay, J. Remarks on a new inverse nodal problem. J. Math. Anal. Appl. 2000, 248, 145–155. [Google Scholar] [CrossRef] [Green Version]
  25. Yang, C.F. Solution to open problems of Yang concerning inverse nodal problems. Isr. J. Math. 2014, 204, 283–298. [Google Scholar] [CrossRef]
  26. Yang, X.F. A new inverse nodal problem. J. Differ. Equ. 2001, 169, 633–653. [Google Scholar] [CrossRef] [Green Version]
  27. Keskin, B.; Ozkan, A.S. Inverse nodal problems for Dirac-type integro-differential operators. J. Differ. Equ. 2017, 263, 8838–8847. [Google Scholar] [CrossRef] [Green Version]
  28. Kuryshova, Y.V.; Shieh, C.-T. An inverse nodal problem for integro-differential operators. J. Inverse Ill-Posed Probl. 2010, 18, 357–369. [Google Scholar] [CrossRef]
  29. Guo, Y.; Wei, G. Inverse problems: Dense nodal subset on an interior subinterval. J. Differ. Equ. 2013, 255, 2002–2017. [Google Scholar] [CrossRef]
  30. Guo, Y.; Wei, G. The sharp conditions of the uniqueness for inverse nodal problems. J. Differ. Equ. 2019, 266, 4432–4449. [Google Scholar] [CrossRef]
  31. Wang, Y.P.; Shieh, C.-T. Inverse problems for Sturm-Liouville operators on a compact equilateral graph by partial nodal data. Math. Meth. Appl. Sci. 2021, 44, 693–704. [Google Scholar] [CrossRef]
  32. Gesztesy, F.; Simon, B. Inverse spectral analysis with partial information on the potential II: The case of discrete spectrum. Trans. Am. Math. Soc. 2000, 352, 2765–2787. [Google Scholar] [CrossRef] [Green Version]
  33. Graef, J.R.; Heidarkhani, S.; Kong, L. Nontrivial solutions for systems of Sturm-Liouville boundary value problems. Differ. Equ. Appl. 2014, 6, 255–265. [Google Scholar] [CrossRef]
  34. Barilla, D.; Bohner, M.; Heidarkhani, S.; Moradi, S. Existence results for dynamic Sturm-Liouville boundary value problems via variational methods. Appl. Math. Comput. 2021, 409, 125614. [Google Scholar] [CrossRef]
  35. Law, C.K.; Pivovarchik, V. Characteristic functions of quantum graphs. J. Phys. A Math. Theor. 2009, 42, 035302. [Google Scholar] [CrossRef]
  36. Luo, Y.C.; Jatulan, E.; Law, C.K. Dispersion relations of periodic quantum graphs associated with Archimedean tilings (I). J. Phys A Math. Theor. 2019, 52, 165201. [Google Scholar] [CrossRef] [Green Version]
  37. Wang, Y.P.; Shieh, C.-T. Inverse problems for Sturm-Liouville operators on a star-shaped graph with mixed spectral data. Appl. Anal. 2020, 99, 2371–2380. [Google Scholar] [CrossRef]
  38. Horváth, M. On the inverse spectral theory of Schrödinger and Dirac operators. Trans. Am. Math. Soc. 2001, 353, 4155–4171. [Google Scholar] [CrossRef]
  39. Currie, S.; Watson, B.A. Inverse nodal problems for Sturm-Liouville equations on graphs. Inverse Probl. 2007, 23, 2029–2040. [Google Scholar] [CrossRef]
  40. Yurko, V.A. Inverse nodal problems for Sturm-Liouville operators on star-type graphs. J. Inverse-Ill-Posed Probl. 2008, 16, 715–722. [Google Scholar] [CrossRef]
  41. Cheng, Y.H. Reconstruction of the Sturm-Liouville operator on a p-star graph with nodal data. Rocky Mt. J. Math. 2012, 42, 1431–1446. [Google Scholar] [CrossRef]
  42. Freiling, G.; Yurko, V. Inverse Sturm-Liouville Problems and Their Applications; Nova Science Publishers: Huntington, NY, USA, 2001. [Google Scholar]
  43. Marchenko, V.A. Sturm-Liouville Operators and Their Applications; Naukova Dumka, Kiev (1977) (Russian); English transl.; Birkhauser: Basel, Switzerland, 1986; In Russian. [Google Scholar]
  44. Levinson, N. Gap and Density Theorems; AMS Coll. Publ.: New York, NY, USA, 1940. [Google Scholar]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Wei, X.-B.; Cheng, Y.-H.; Wang, Y.-P. The Partial Inverse Spectral and Nodal Problems for Sturm–Liouville Operators on a Star-Shaped Graph. Mathematics 2022, 10, 3971. https://doi.org/10.3390/math10213971

AMA Style

Wei X-B, Cheng Y-H, Wang Y-P. The Partial Inverse Spectral and Nodal Problems for Sturm–Liouville Operators on a Star-Shaped Graph. Mathematics. 2022; 10(21):3971. https://doi.org/10.3390/math10213971

Chicago/Turabian Style

Wei, Xian-Biao, Yan-Hsiou Cheng, and Yu-Ping Wang. 2022. "The Partial Inverse Spectral and Nodal Problems for Sturm–Liouville Operators on a Star-Shaped Graph" Mathematics 10, no. 21: 3971. https://doi.org/10.3390/math10213971

APA Style

Wei, X.-B., Cheng, Y.-H., & Wang, Y.-P. (2022). The Partial Inverse Spectral and Nodal Problems for Sturm–Liouville Operators on a Star-Shaped Graph. Mathematics, 10(21), 3971. https://doi.org/10.3390/math10213971

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop