- Research
- Open access
- Published:
Reconstruction of the Volterra-type integro-differential operator from nodal points
Boundary Value Problems volume 2018, Article number: 47 (2018)
Abstract
In this work, the Sturm–Liouville problem perturbated by a Volterra-type integro-differential operator is studied. We give a uniqueness theorem and an algorithm to reconstruct the potential of the problem from nodal points (zeros of eigenfunctions).
1 Introduction
We consider the boundary value problem L generated by the convolution-type Sturm–Liouville integro-differential operator
with boundary conditions
and with the discontinuity conditions
where λ is the spectral parameter; α is a positive real constant; \(q(x)\) and \(M(x,t)\) are real-valued functions from the class \(L_{2}(0,\pi)\) and \(W_{2}^{1}(0,\pi)\), respectively. Without loss of generality, we assume that \(\int_{0}^{\pi} ( q(x)+M(x,x) ) \,dx=0\).
The first result of the inverse nodal Sturm–Liouville problem was given by McLaughlin in [1]. In this work, she proved that the potential of the considered problem can be uniquely determined by a given dense subset of the zeros of the eigenfunctions called nodal points. In 1989, Hald and McLaughlin studied more general boundary conditions and gave some numerical schemes for the reconstruction of the potential from a given dense subset of nodal points [2]. Yang provided an algorithm to determine the coefficients of the Sturm–Liouville problem by using the given nodal points in [3]. Inverse nodal problems for different types of operators have been extensively well studied in several papers (see [4–14] and [15]).
Inverse problems for integro-differential operators and the other classes of nonlocal operators are more difficult to investigate. The classical methods are often not applicable for such problems. In present, the studies concerning the perturbation of a differential operator by a Volterra-type integral operator, namely the integro-differential operator, continue to be performed and are beginning to have a significant place in the literature (see [16–21], and [22]). Inverse nodal problem for this type of operator was first discussed by [23]. It is shown in this study that the potential function can be determined by using nodal points, while the coefficient of the integral operator is known. The inverse nodal problem for Dirac-type integro-differential operators was first investigated by [24]. In this work, it is shown that the coefficients of the differential part of the operator can be determined by using nodal points, and nodal points also give partial information about the integral part.
In the present paper we investigate the inverse nodal problem for Volterra-type integro-differential operator. This type of operator has previously been addressed in [25] and [26].
2 Preliminaries
Let \(\varphi(x,\lambda)\) be the solution of (1) with the initial conditions
and the jump conditions (4).
We have the following integral equations of the solution of (1): for \(x<\frac{\pi}{2}\),
for \(x>\frac{\pi}{2}\),
where \(\alpha^{\pm}=\frac{1}{2} ( \alpha\pm\frac{1}{\alpha} ) \). By virtue of the above equations, we have the following asymptotic relations for sufficiently large \(\vert \lambda \vert \): for \(x<\frac{\pi}{2}\),
for \(x>\frac{\pi}{2}\),
where \(I_{1}(x)=2h+\int_{0}^{x}q(t)\,dt+\int_{0}^{x}M(t,t)\,dt\), \(I_{2}(x)=\int_{0}^{\pi/2} ( q(t)+M(t,t) ) \,dt-\int_{\pi /2}^{x} ( q(t)+M(t,t) ) \,dt\), and \(\tau= \vert \operatorname{Im}\sqrt {\lambda} \vert \).
Define a function \(\Delta(\lambda)\) as follows:
This entire function is called a characteristic function of the problem L and the zeros of it are eigenvalues of the problem L. For sufficiently large \(\vert \lambda \vert \), by virtue of (8) and (9), we have the following asymptotic formula:
where
It can be easily shown that the sequence \(\{ \lambda_{n} \} _{n\geq0}\) satisfies the following asymptotic relation for \(n\rightarrow \infty\):
and
where \(\mu_{n}=\delta_{1}+(-1)^{n}\delta_{2}\).
Lemma 1
The eigenfunction \(\varphi(x,\lambda_{n})\) corresponding to the eigenvalue \(\lambda_{n}\) has exactly n zeros \(\{ x_{n}^{j}:\text{ }n\geq1, \text{ }j=\overline{0,n-1} \} \), namely nodal points, in \(( 0,\pi ) \), such that \(0< x_{n}^{0}< x_{n}^{1}<\cdots<x_{n}^{n-1}<\pi\) and the numbers \(\{ x_{n}^{j} \} \) have the following asymptotic formulae for sufficiently large n: for \(x_{n}^{j}\in(0,\frac{\pi}{2})\),
and for \(x_{n}^{j}\in(\frac{\pi}{2},\pi)\),
where \(\rho_{n}=\alpha^{+}+ ( -1 ) ^{n}\alpha^{-}\).
Proof
By virtue of (8) and (9), we get the following asymptotic formula for eigenfunction \(\varphi(x,\lambda_{n})\):
for sufficiently large n, uniformly in x. Since the zeros of eigenfunctions are nodal points, from \(\varphi(x_{n}^{j},\lambda_{n})=0\), we get
which implies that
which is equivalent to
for \(x_{n}^{j}>\frac{\pi}{2}\). Taylor’s expansions formula for the arctangent yields
If we divide both sides of this equality by \(\sqrt{\lambda_{n}}\) and take account of the asymptotic formula of \(\sqrt{\lambda_{n}}\), we get
The proof of (14) is completed. Equation (13) can be proved similarly. □
Let \(\Omega=\Omega_{0}\cup\Omega_{1}\) be the set of zeros of eigenfunction, i.e., \(\Omega_{0}= \{ x_{n}^{j}:n=2k,\text{ }k\in \mathbb{Z} \} \), \(\Omega_{1}= \{ x_{n}^{j}:n=2k+1,\text{ }k\in \mathbb{Z} \} \). For each fixed \(x\in ( 0,\pi ) \), there exists a sequence \(( x_{n}^{j(n)} ) \subset\Omega_{m}\) (\(m=0,1\)), which converges to x. Therefore, from Lemma 1, we can show that the following finite limits exist:
where
where \(\sigma_{m}=\frac{(-1)^{m}\alpha^{-} ( \mu_{m}-2I_{1}(\frac {\pi}{2})+2h ) }{\rho_{m}}\). Put
The following theorem shows that if one of \(q(x)\) or \(M(x,x)\) is given, then the other one can be determined uniquely by using a dense subset of the given nodal set.
Theorem 1
The given dense subset of the nodal set \(\Omega_{0}\) (or \(\Omega_{1} \)) uniquely determines \(q(x)+M(x,x)\), a.e. on \(( 0,\pi ) \) and the coefficients h, H, and α of the boundary and discontinuity conditions. \(q(x)+M(x,x)\) and the constants h, H, and α can be constructed by the following formulae:
-
1.
For each fixed \(x\in(0,\pi)\), choose a sequence \(( x_{n}^{j(n)} ) \subset\Omega_{0}\), i.e., \(\lim_{n\rightarrow \infty}x_{n}^{j(n)}=x\);
-
2.
Find \(F_{m}(x)\) from equation (19) and calculate
$$\begin{gathered} h=\frac{F_{0}(0)}{2}, \\ \mu_{0}=-F_{0}(\pi)+F_{0}(0)-F_{0} \biggl(\frac{\pi }{2}-0 \biggr)+F_{0} \biggl(\frac{\pi}{2}+0 \biggr), \\ q(x)+M(x,x) =F_{0}^{\prime}(x)+\frac{\mu_{0}}{\pi}, \\ \alpha=\sqrt{\frac{F_{0}(0)-2F_{0}(\frac{\pi}{2}-0)}{F_{0}(0)-2F_{0}(\frac{\pi}{2}+0)}}, \\ 2I_{1} \biggl( \frac{\pi}{2} \biggr) =-F_{0}( \pi )+F_{0}(0)+F_{0} \biggl(\frac{\pi}{2}-0 \biggr)+F_{0} \biggl(\frac{\pi}{2}+0 \biggr), \\ H=\frac{\alpha^{+} ( \mu_{0}-2h ) +2\alpha^{-} ( I_{1} ( \pi/2 ) -F_{0}(0) ) }{ ( \alpha^{+} ) ^{2}-2\alpha^{-}}.\end{gathered} $$
Example 1
Consider the following BVP:
where \(q(x)\) and \(M(x,t)\) are real-valued functions from the class \(L_{2}(0,\pi)\) and \(W_{2}^{1}(0,\pi)\), respectively, and h, H, α are unknown coefficients we confirmed on the assumptions of the problem L. Let \(\{ x_{n}^{j} \} \) be the zeros of the eigenfunction of the considered problem in \((0,\pi)\) with the following asymptotics: If \(x_{n}^{j}\in ( 0,\frac{\pi}{2} ) \),
If \(x_{n}^{j}\in ( \frac{\pi}{2},\pi ) \),
then we can calculate that
According to Theorem 1,
3 Conclusion
In this paper we have investigated the discontinuous inverse nodal problem for Volterra type integro-differential operator. We showed that if one of \(q(x)\) or \(M(x,x)\) is given, then the other one can be determined uniquely by using only the given nodal points.
References
McLaughlin, J.R.: Inverse spectral theory using nodal points as data—a uniqueness result. J. Differ. Equ. 73, 354–362 (1988)
Hald, O.H., McLaughlin, J.R.: Solutions of inverse nodal problems. Inverse Probl. 5, 307–347 (1989)
Yang, X.-F.: A solution of the nodal problem. Inverse Probl. 13, 203–213 (1997)
Browne, P.J., Sleeman, B.D.: Inverse nodal problem for Sturm–Liouville equation with eigenparameter depend boundary conditions. Inverse Probl. 12, 377–381 (1996)
Buterin, S.A., Shieh, C.T.: Inverse nodal problem for differential pencils. Appl. Math. Lett. 22, 1240–1247 (2009)
Buterin, S.A., Shieh, C.T.: Incomplete inverse spectral and nodal problems for differential pencil. Results Math. 62, 167–179 (2012)
Cheng, Y.H., Law, C.-K., Tsay, J.: Remarks on a new inverse nodal problem. J. Math. Anal. Appl. 248, 145–155 (2000)
Guo, Y., Wei, G.: Inverse problems: dense nodal subset on an interior subinterval. J. Differ. Equ. 255, 2002–2017 (2013)
Law, C.K., Shen, C.L., Yang, C.F.: The inverse nodal problem on the smoothness of the potential function. Inverse Probl. 15(1), 253–263 (1999). Erratum: Inverse Probl. 17, 361–363 (2001)
Ozkan, A.S., Keskin, B.: Inverse nodal problems for Sturm–Liouville equation with eigenparameter dependent boundary and jump conditions. Inverse Probl. Sci. Eng. 23(8), 1306–1312 (2015)
Shieh, C.-T., Yurko, V.A.: Inverse nodal and inverse spectral problems for discontinuous boundary value problems. J. Math. Anal. Appl. 347, 266–272 (2008)
Yang, X.-F.: A new inverse nodal problem. J. Differ. Equ. 169, 633–653 (2001)
Yang, C.-F., Yang, X.-P.: Inverse nodal problems for the Sturm–Liouville equation with polynomially dependent on the eigenparameter. Inverse Probl. Sci. Eng. 19(7), 951–961 (2011)
Yang, C.-F.: Inverse nodal problems of discontinuous Sturm–Liouville operator. J. Differ. Equ. 254, 1992–2014 (2013)
Yang, C.-F., Pivovarchik, V.N.: Inverse nodal problem for Dirac system with spectral parameter in boundary conditions. Complex Anal. Oper. Theory 7, 1211–1230 (2013)
Buterin, S.A.: On the reconstruction of a convolution perturbation of the Sturm–Liouville operator from the spectrum. Differ. Equ. 46, 150–154 (2010)
Buterin, S.A.: On an inverse spectral problem for first-order integro-differential operators with discontinuities. Appl. Math. Lett. 78, 65–71 (2018)
Freiling, G., Yurko, V.A.: Inverse Sturm–Liouville Problems and Their Applications. Nova Science, New York (2001)
Kuryshova, Y.V.: Inverse spectral problem for integro-differential operators. Math. Notes 81(6), 767–777 (2007)
Wu, B., Yu, J.: Uniqueness of an inverse problem for an integro-differential equation related to the Basset problem. Bound. Value Probl. 2014, Article ID 229 (2014)
Yurko, V.A.: An inverse problem for integro-differential operators. Math. Notes 50(5–6), 1188–1197 (1991)
Yurko, V.A.: Inverse problems for second order integro-differential operators with discontinuities. Appl. Math. Lett. 74, 1–6 (2017)
Kuryshova, Y.V., Shieh, C.T.: An inverse nodal problem for integro-differential operators. J. Inverse Ill-Posed Probl. 18, 357–369 (2010)
Keskin, B., Ozkan, A.S.: Inverse nodal problems for Dirac-type integro-differential operators. J. Differ. Equ. 263, 8838–8847 (2017)
Buterin, S.A.: The inverse problem of recovering the Volterra convolution operator from the incomplete spectrum of its rank-one perturbation. Inverse Probl. 22, 2223–2236 (2006)
Buterin, S.A.: On an inverse spectral problem for a convolution integro-differential operator. Results Math. 50, 173–181 (2007)
Availability of data and materials
Not applicable.
Funding
Not applicable.
Author information
Authors and Affiliations
Contributions
The author read and approved the final manuscript.
Corresponding author
Ethics declarations
Ethics approval and consent to participate
Not applicable.
Competing interests
The author declares that he has no competing interests.
Additional information
Abbreviations
Not applicable.
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Keskin, B. Reconstruction of the Volterra-type integro-differential operator from nodal points. Bound Value Probl 2018, 47 (2018). https://doi.org/10.1186/s13661-018-0968-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13661-018-0968-0