Abstract
The inverse problem concerns how to reconstruct the operator from given spectral data. The main goal of this paper is to address nonlinear inverse Sturm–Liouville problem with multiple delays. By using a new technique and method: zero function extension, we establish the uniqueness result and practical method for recovering the nonlinear inverse problem from two spectra.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
With the emergence of various applications in natural sciences, there appeared a growing interest in inverse problems for differential operator with constant delay. Regarding the inverse problems of these delay differential operator models, the main focus is on how to reconstruct the operator from given spectral data. Specifically, for \(i=0,1\), denote by \(\{\lambda _{n,i}\}^{\infty }_{n=1}\) the spectrum of the boundary value problem of the form
with the delay \(\tau \in (0,\pi )\) and complex-value potential \(q(x)\in L_{2}(\tau ,\pi )\). It is significant in some specific mathematical models, such as, long-term economic forecasting and automatic control theory. These mathematical models with the delay \(\tau >0\) can describe the real processes more comprehensively than the case of \(\tau =0\). We refer the reader to monographs [1,2,3] and the references therein.
For different delay value \(\tau\), the inverse problems of delay differential operator can be divided into linear inverse problems and nonlinear inverse problems. In details, for \(\tau \geqslant \pi /2\), the linear inverse problems mean that the characteristic functions depend linearly on the potential and the various aspects of linear inverse problem (1.1)–(1.2) were widely studied in [4,5,6] and other works.
If \(0<\tau <\pi /2\), then the inverse problem (1.1)–(1.2) is nonlinear. As well for sufficiently small constant delay \(\tau \rightarrow 0\), the inverse problem (1.1)–(1.2) is closer to the classical Sturm–Liouville inverse problem [7] and many scholars expect to obtain unique solvability and non-unique solvability of this kind of problems, see [8,9,10]. Therefore, it is much more complicated to give unique results for this kind of problems to some extent than linear ones. Recently, an affirmative answer has been given in [11] to the solvability of inverse problem (1.1)–(1.2) in nonlinear case. It is worth noting whether it is linear case or nonlinear case, the classical methods (transformation operator method, method of spectral mappings) of the inverse spectral problems do not give reliable results for various classes of nonlocal operators (see [12, 13]).
While there are a number of results about both direct and inverse problems for various difference or differential operators, see [14,15,16,17,18,19,20,21,22], there are just a few results related to differential operators with two or more delays, see [23, 24]. Inspired by the above mentioned literatures, the purpose of this paper is to study the nonlinear inverse problem for Sturm–Liouville operator with multiple delays. We set out to investigate the boundary value problems \(S{-}L_{i}(q_{j}), (i=0,1, j=1,2)\) of the form
where \(\lambda\) is the spectral parameter, \(2\pi /5\leqslant \tau _{1}<\tau _{2}<\pi /2\), \(q_{j}(x)\) (\(j=1,2\)) are complex-valued functions such that \(q_{j}(x)\in L_{2}[\tau _{j}, \pi ]\) and \(q_{j}(x)\equiv 0, x\in [0,\tau _{j})\). More precisely, the main goal is to recover Sturm–Liouville operator from given spectra. Let \(\{\lambda _{ni}\}^{\infty }_{n=1},i=0,1\) be the eigenvalues of \(S{-}L_{i}(q_{j}), (i=0,1, j=1,2)\) and the inverse problem is formulated as follows:
Inverse problem Given the spectra \(\{\lambda _{n0}\}^{\infty }_{n=1}\) and \(\{\lambda _{n1}\}^{\infty }_{n=1}\), determine the potential \(q_{j}(x)\), \(j=1,2\).
We try to develop a global program for the inverse problem of Sturm–Liouville operator with multiple delays in nonlinear case and establish a uniqueness theorem. During the whole process of algorithm construction, in order to overcome the obstacles caused by multiple delays and complex integral terms, we propose a new technique and method (see Algorithm 3.2, Step 7): zeroing the potential terms in the proper integrand interval, so as to remove some undesirable nonlinear integral terms. Moreover, we generalize the result of [25] and develop the concept of [11] for inverse Srurm–Liouville problem with constant delay. For this purpose, we study the relationship between given spectra and characteristic function of \(S{-}L_{i}(q_{j}),(i=0,1,j=1,2)\) and present some auxiliary assertions about eigenvalues and characteristic functions in Sect. 2. Compared with the results of [23] and [24], we obtain the uniqueness theorem and reconstruction algorithm for \(S{-}L_{i}(q_{j}), (i=0,1, j=1,2)\) in nonlinear case for a smaller range of delay \(\tau _{j},j=1,2\). The main result Theorem 3.1 and constructive Algorithm 3.2 are given in Sect. 3.
2 Preliminary
Let \(S(x,\lambda )\) be the solution of equation (1.1) satisfying the initial conditions
Then the function \(S(x,\lambda )\) satisfies the integral equation
We solve the integral equation (2.1) by the method of successive approximations (see [25]) and following lemma holds.
Lemma 2.1
The Volterra-type integral equation (2.1) has a unique solution
where
Denote the \(\Delta _{i}(\lambda ):=S^{(i)}(\pi ,\lambda ), i=0,1\). Then from (2.2) we have
Lemma 2.2
The eigenvalues \(\{\lambda _{ni}\}^{\infty }_{n=1}\) of the boundary value problems \(S{-}L_{i}(q_{j}),(i=0,1,j=1,2)\) coincide with the zeros of characteristic function \(\Delta _{i}(\lambda ), i=0,1\).
Proof
From Lemma 2.1, it can be known that \(S(x,\lambda )\) is a solution of initial value problem. Let \(\lambda\) be an eigenvalue of boundary value problem (1.1)–(1.2), and \(S(x,\lambda )\) is the corresponding eigenfunction satisfying the boundary condition (1.2). In view of classical Sturm–Liouville theory, the eigenvalues of the boundary value problem \(S{-}L_{i}(q_{j}),(i=0,1,j=1,2)\) coincide with characteristic function \(\Delta _{i}(\lambda ), (i=0,1)\) and it is entire function of \(\lambda\). \(\square\)
Note that the characteristic functions \(\Delta _{i}(\lambda ), (i=0,1)\) depend nonlinearly on the potential \(q_{j}(x), (j=1,2)\). By the method mentioned in reference [26] (Ch.1), we obtain the asymptotical formulae for the eigenvalues \(\{\lambda _{ni}\}^{\infty }_{n=1}, (i=0,1)\) for \(n\rightarrow \infty\) given by following lemma:
Lemma 2.3
The eigenvalues \(\{\lambda _{ni}\}^{\infty }_{n=1}\), (\(i=0,1\)) of the boundary value problem \(S{-}L_{i}(q_{j}),(i=0,1,j=1,2)\) satisfy asymptotic formula:
In view of Hadamard’s factorization theorem (see [1]), characteristic function is uniquely determined up to a multiplicative constant by its zeros. Here, the following lemma holds.
Lemma 2.4
(see [25]) The specification of the spectrum \(\{\lambda _{ni}\}^{\infty }_{n=1}\), (\(i=0,1\)) uniquely determines the characteristic function \(\Delta _{i}(\lambda )\) by the formulas
Now, from the spectra of \(S{-}L_{i}(q_{j}), (i=0,1, j=1,2)\), combined with Lemmas 2.1–2.4, we construct the connection between the potential \(q_{j}(x), j=1,2\) and the characteristic functions \(\Delta _{i}(\lambda ), i=0,1\). Firstly, we denote
Then
Next, in view of Lemmas 2.1–2.4 and relation (2.7)–(2.8), we need to separate the constant term from the potential function integral term. In order to achieve this goal, we calculate
At this point, we have completed the separation of integral terms of potential. In (2.9) and (2.10), for detailed data on the integrand, see the Appendix.
We assume that \(q_{j}(x)\in AC[\tau _{j},\pi ], j=1,2\). Generally, some minor technical modifications are needed. Denote \(p_{1}(x)=q'_{1}(x)\) and \(p_{2}(x)=q'_{2}(x)\). Taking (2.8)–(2.10) into account and applying integration by part, we arrive at
where \(N_{1}=2(q_{1}(\pi )+q_{1}(\tau _{1}))\), \(p_{01}(\xi )=p_{1}(\frac{\pi +\tau _{1}-\xi }{2})\), \(L_{1}=\int ^{\pi }_{\tau _{1}}q_{1}(t)dt\).
In relation (2.11), we do zero function extension for partial integrand, that is, it is always zero outside its corresponding interval (for example \(D_{21}(z_2)\equiv 0\) outside the interval \((\pi -\tau _{1}-\tau _{2},\pi -3\tau _{1}+\tau _{2})\)). Therefore, we have
In a similar way, we get
where \(N_{2}=2(q_{2}(\pi )+q_{2}(\tau _{2}))\), \(p_{02}(\xi )=p_{2}(\frac{\pi +\tau _{2}-\xi }{2})\), \(L_{2}=\int ^{\pi }_{\tau _{2}}q_{2}(t)dt\).
Similar to the processing techniques in (2.11) and (2.12), we do further calculations for \({\tilde{\Delta }}_{1}(\lambda )\). Therefore, we have
where \(M_{1}=-2(q_{1}(\pi )-q_{1}(\tau _{1}))\), \(p_{01}(\xi )=p_{1}(\frac{\pi +\tau _{1}-\xi }{2})\), \(L_{1}=\int ^{\pi }_{\tau _{1}}q_{1}(t)dt\).
where \(M_{2}=-2(q_{2}(\pi )-q_{2}(\tau _{2}))\), \(p_{02}(\xi )=p_{2}(\frac{\pi +\tau _{2}-\xi }{2})\), \(L_{2}=\int ^{\pi }_{\tau _{2}}q_{2}(t)dt\).
Next, we separate the constant term. Denote
Let
Then
where \(M(\xi )=p_{01}(\xi )+M_{1}(\xi )+M_{2}(\xi )\), \(M_{1}(\xi )\equiv 0\) outside the interval \((2\tau _{1}-\pi ,\pi -2\tau _{1})\) and \(M_{2}(\xi )\equiv 0\) outside the interval \((3\tau _{1}-\tau _{2}-\pi ,\pi -3\tau _{1}+\tau _{2})\). Then we get
Let
Then
where \(R(\xi )=-p_{02}(\xi )+R_{1}(\xi )+R_{2}(\xi )\), \(R_{1}(\xi )\equiv 0\) outside the interval \((2\tau _{2}-\pi ,\pi -2\tau _{2})\) and \(R_{2}(\xi )\equiv 0\) outside the interval \((\tau _{1}+\tau _{2}-\pi ,\pi -\tau _{1}-\tau _{2})\). Therefore, we have
Let
Then
where \(O(\xi )=-p_{01}(\xi )+O_{1}(\xi )+O_{2}(\xi )\), \(O_{1}(\xi )\equiv 0\) outside the interval \((2\tau _{1}-\pi ,\pi -2\tau _{1})\) and \(O_{2}(\xi )\equiv 0\) outside the interval \((3\tau _{1}-\tau _{2}-\pi ,\pi -3\tau _{1}+\tau _{2})\). Then we get
Let
Then
where \(Q(\xi )=-p_{02}(\xi )+Q_{1}(\xi )+Q_{2}(\xi )\), \(Q_{1}(\xi )\equiv 0\) outside the interval \((2\tau _{2}-\pi ,\pi -2\tau _{2})\) and \(Q_{2}(\xi )\equiv 0\) outside the interval \((\tau _{1}+\tau _{2}-\pi ,\pi -\tau _{1}-\tau _{2})\). Then we get
Therefore, we obtain a linear system
Moreover,
In particular, this yields
3 Inverse Problem
In this section, we present main results: Theorem 3.1 and constructive Algorithm 3.2.
Theorem 3.1
The two spectra \(\{\lambda _{ni}\}^{\infty }_{n=1}\) of \(S{-}L_{i}(q_{j}), (i=0,1, j=1,2)\) can uniquely determine the potential \(q_{1}(x)\) and \(q_{2}(x)\).
Through the analysis of Sect. 2, the proof of Theorem 3.1 comes from the Algorithm 3.2:
Remark 3.2
In the whole construction of the algorithm, we solve the uniqueness of the inverse problem on some intervals by means of zero function extension. In details, as in Step 7 and Step 8, we reconstruct \(p_{1}(x)\) for \(x\in (\tau _{1},\frac{3\tau _{1}}{2})\cup (\pi -\frac{\tau _{1}}{2},\pi )\), \(p_{2}(x)\) for \(x\in (\tau _{2},\frac{3\tau _{2}}{2})\cup (\pi -\frac{\tau _{2}}{2},\pi )\). Besides, by linear system (2.27), we determine the uniqueness of the potential function on the residual interval. It says that the uniqueness result for nonlinear inverse problem for Sturm–Liouville operator with multiple delays from two spectra can be established on the whole interval.
Data Availability
No data was used for the research described in the article.
References
Conway, J.B.: Functions of One Complex Variable II, vol. I. Springer, New York (1995)
Hale, J.: Theory of Functional-Differential Equations. Springer, New York (1977)
Yurko, V.A.: Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-Posed Problems Series. VSP, Utrecht (2002)
Buterin, S.A., Yurko, V.A.: An inverse spectral problem for Sturm–Liouville operators with a large constant delay. Anal. Math. Phys. 9, 17–27 (2019)
Buterin, S.A., Pikula, M., Yurko, V.A.: Sturm–Liouville differential operators with deviating argument. Tamkang J. Math. 48, 61–71 (2017)
Vladičić, V., Pikula, M.: An inverse problems for Sturm–Liouville-type differential equation with a constant delay. Sarajevo J. Math. 12, 83–88 (2016)
Borg, G.: Eine Umkehrung der Sturm–Liouvilleschen Eigenwertaufgabe. Acta Math. 78, 1–96 (1946)
Djurić, N., Buterin, S.A.: Iso-bispectral potentials for Sturm–Liouville-type operators with small delay. Nonlinear Anal. Real World Appl. 63, 10 (2022)
Djurić, N., Buterin, S.A.: On non-uniqueness of recovering Sturm–Liouville operators with delay. Commun. Nonlinear Sci. Numer. Simul. 102, 6 (2021)
Djurić, N., Buterin, S.A.: On an open question in recovering Sturm–Liouville-type operators with delay. Appl. Math. Lett. 113, 6 (2021)
Bondarenko, N.P., Yurko, V.A.: An inverse problem for Sturm–Liouville differential operators with deviating argument. Appl. Math. Lett. 83, 140–144 (2018)
Norkin, S.B.: Second Order Differential Equations with a Delay Argument. Nauka, Moscow (1965)
Pikula, M.: Determination of a Sturm–Liouville-type differential operator with delay argument from two spectra. Mat. Vesnik 43, 159–171 (1991)
Gao, C., Li, X., Zhang, F.: Eigenvalues of discrete Sturm–Liouville problems with nonlinear eigenparameter dependent boundary conditions. Quaest. Math. 41, 773–797 (2018)
Gao, C., Ma, R.: Eigenvalues of discrete Sturm–Liouville problems with eigenparameter dependent boundary conditions. Linear Algebra Appl. 503, 100–119 (2016)
Gao, C., Ma, R., Zhang, F.: Spectrum of discrete left definite Sturm–Liouville problems with eigenparameter-dependent boundary conditions. Linear Multilinear Algebra 65, 1904–1923 (2017)
Gao, C., Wang, Y., Lv, L.: Spectral properties of discrete Sturm–Liouville problems with two squared eigenparameter-dependent boundary conditions. Acta Math. Sci. 40, 755–781 (2020)
Gao, C., Zhang, F., Ran, M.: Eigenvalues of discrete Sturm–Liouville problems with sign-changing weight and coupled boundary conditions. Oper. Matrices 14, 491–513 (2020)
Yang, C., Guan, S.: Reconstruction of the Sturm–Liouville operator on a graph from subinterval nodes. Taiwan. J. Math. 25, 1041–1052 (2021)
Yang, C., Bondarenko, N.P.: Local solvability and stability of inverse problems for Sturm–Liouville operators with a discontinuity. J. Differ. Equ. 268, 6173–6188 (2020)
Yang, C., Bondarenko, N.P., Xu, X.: An inverse problem for the Sturm–Liouville pencil with arbitrary entire functions in the boundary condition. Inverse Probl. Imaging 14, 153–169 (2020)
Yang, C.: Inverse nodal problems for the Sturm–Liouville operator with a constant delay. J. Differ. Equ. 257, 1288–1306 (2014)
Shahriari, M.: Inverse problem for Sturm–Liouville differential operators with two constant delays. Turk. J. Math. 43, 965–976 (2019)
Vojvodic, B., Pikula, M., Vladicic, V.: Inverse problems for Sturm–Liouville differential operators with two constant delays under Robin boundary conditions. Results Appl. Math. 5, 7 (2020)
Freiling, G., Yurko, V.A.: Inverse problems for Sturm–Liouville differential operators with a constant delay. Appl. Math. Lett. 25, 1999–2004 (2012)
Freiling, G., Yurko, V.A.: Inverse Sturm–Liouville Problems and their Applications. Nova Science Publishers, New York (2001)
Acknowledgements
The authors are grateful to the referees for his/her careful reading and very helpful suggestions which improved and strengthened the presentation of this manuscript.
Funding
This research is supported by National Natural Science Foundation of China [Grant No.11961060].
Author information
Authors and Affiliations
Contributions
GC and GD study conceptualization and writing the manuscript, while CG gives the main idea of the paper and supervises GD. All authors completed the paper together and contribute equally.
Corresponding author
Ethics declarations
Conflict of interest
All authors declare no conflicts of interest in this paper.
Ethical approval
Not applicable.
Consent to participate
Not applicable.
Consent for publication
All authors approved the final manuscript and the submission to this journal.
Appendix
Appendix
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Gao, C., Du, G. Uniqueness of Nonlinear Inverse Problem for Sturm–Liouville Operator with Multiple Delays. J Nonlinear Math Phys 31, 13 (2024). https://doi.org/10.1007/s44198-024-00176-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s44198-024-00176-2