Skip to main content

Inverse spectral problems for first order integro-differential operators

Abstract

Inverse spectral problems are studied for the first order integro-differential operators on a finite interval. Properties of spectral characteristic are established, and the uniqueness theorem is proved for this class of inverse problems.

1 Introduction

The paper is devoted to studying inverse spectral problems for integro-differential operators of the form

$$ \ell y:=iy'(x)+R(x) \int_{0}^{x} V(t)y(t)\,dt. $$

Inverse problems of spectral analysis consist in recovering operators from their spectral characteristics. Such problems often appear in mathematics, mechanics, physics, electronics, geophysics, meteorology and other branches of natural sciences. Inverse problems also play an important role in solving nonlinear evolution equations in mathematical physics. Interest in this subject has been increasing permanently because of the appearance of new important applications, and nowadays the inverse problem theory is being developed intensively all over the world. The greatest success in the inverse problem theory has been achieved for the Sturm-Liouville operator (see, e.g., [13]) and afterwards for higher order differential operators [46] and other classes of differential operators. For integro-differential and other classes of nonlocal operators, inverse problems are more difficult to investigate, and the main classical methods (transformation operator method and the method of spectral mappings) either are not applicable to them or require essential modifications; and for such operators, the general inverse problem theory does not exist. At the same time, nonlocal and, in particular, integro-differential operators are of great interest, because they have many applications (see, e.g., [7]). We note that some aspects of inverse problems for integro-differential and integral operators were studied in [812] and other works. In the present paper, we study the inverse spectral problem for the first order integro-differential operator on a finite interval. Properties of spectral characteristics are established, and the uniqueness theorem is proved for the inverse problem of recovering the function \(R(x)\) and \(V(x)\) from the given spectral data.

2 Preliminary information

Consider the integro-differential equation

$$ \ell y:=iy'(x)+R(x) \int_{0}^{x} V(t)y(t)\,dt=\lambda y(x),\quad x\in [0, \pi ], $$
(1)

where \(R(x)\), \(V(t)\) are continuous complex-valued functions, and

$$ R(\pi -x)\sim C_{\alpha }x^{\alpha }, \qquad V(x)\sim D_{\beta }x^{\beta },\quad x\to +0,\quad \quad C_{\alpha }D_{\beta }\ne 0. $$

Let \(\varphi (x,\lambda )\) be the solution of Eq. (1) with the condition \(\varphi (0,\lambda )=1\). Then the following representation holds (see [3]):

$$ \varphi (x,\lambda )=\exp (-i\lambda x)+\int_{0}^{x} K(x,t)\exp (-i\lambda t)\,dt, $$
(2)

where \(K(x,t)\) is a continuous function, and \(K(x,0)=0\). Denote

$$ \Pi_{+}:=\{\lambda : \mbox{Im}\,\lambda \ge 0\},\quad\quad \Pi_{-}^{\delta }:= \bigl\{ \lambda : \arg \lambda \in [\pi +\delta ,2\pi -\delta ]\bigr\} . $$

It follows from (2) that for \(\vert \lambda \vert \to \infty \) uniformly in \(x\in [0, \pi ]\):

$$ \left . \textstyle\begin{array}{@{}l@{}} \varphi ^{(\nu )}(x,\lambda )=(-i\lambda )^{\nu }\exp (-i\lambda x)(1+o(1)),\quad \lambda \in \Pi_{+}, \nu =0,1, \\ \varphi ^{(\nu )}(x,\lambda )=o(\lambda ^{\nu }),\quad \lambda \in \Pi_{-}^{\delta }, \nu =0,1. \end{array}\displaystyle \right \} $$
(3)

Denote

$$ \varphi_{\nu}(x,\lambda ):= \frac{1}{\nu !} \frac{\partial^{\nu }\varphi (x,\lambda )}{ \partial \lambda ^{\nu }}, \quad \nu \ge 0,\quad \quad \Delta (\lambda ):=\varphi (\pi ,\lambda ). $$

The function \(\Delta (\lambda )\) is entire in λ of exponential type, and its zeros \(\Lambda :=\{\lambda _{n}\}_{n\ge 1}\) (counting with multiplicities) coincide with the eigenvalues of the boundary value problem \(L=L(R,V)\) for Eq. (1) with the condition \(y(\pi )=0\). Let \(m_{n}\) be the multiplicity of \(\lambda _{n}\) (\(\lambda _{n}=\lambda _{n+1}= \cdots = \lambda _{n+m_{n}-1}\)). Denote

$$ S:=\{n: n-1\in {\mathbf{N}}, \lambda _{n-1}\ne \lambda _{n}\}\cup\{1\},\quad \quad s_{n+\nu }(x):=\varphi _{\nu }(x,\lambda _{n}), \quad n\in S, \nu =\overline{m _{n}-1}. $$

The functions \(\{s_{n}(x)\}_{n\ge 1}\) are eigen and associated functions for L.

Example 1

Let \(\lambda _{1}=\lambda _{2}<\lambda _{3}<\lambda _{4}=\lambda _{5}=\lambda _{6}<\lambda _{7}< \lambda _{8}<\cdots \) . Then \(S=\{1,3,4,7,8,\ldots \}\), \(s_{1}(x)=\varphi _{0}(x,\lambda _{1})\), \(s_{2}(x)=\varphi _{1}(x,\lambda _{1})\), \(s_{3}(x)=\varphi _{0}(x,\lambda _{3})\), \(s_{4}(x)=\varphi _{0}(x,\lambda _{4})\), \(s_{5}(x)=\varphi _{1}(x,\lambda _{4})\), \(s_{6}(x)=\varphi _{2}(x,\lambda _{4})\), \(s_{7}(x)=\varphi _{0}(x,\lambda _{7}),\ldots \) .

Let the function \(\eta (x,\lambda )\) be the solution of the problem

$$ i\eta '(x,\lambda )-R(x) \int_{x}^{\pi }V(t)\eta (t,\lambda )\,dt +R(x)=\lambda \eta (x, \lambda ), \quad \eta (\pi ,\lambda )=0. $$
(4)

Denote \(\theta (x,\lambda ):=\eta (\pi -x,\lambda )\). Then

$$ i\theta '(x,\lambda )+R_{0}(x) \int_{0}^{x} V_{0}(t)\theta (t,\lambda )\,dt -R _{0}(x)=-\lambda \theta (x,\lambda ), \quad \theta (0,\lambda )=0, $$
(5)

where \(R_{0}(x):=R(\pi -x),\,V_{0}(x):=V(\pi -x)\). It follows from (5) that

$$ \theta (x,\lambda )= \int_{0}^{x} g(x,t,\lambda )R_{0}(t)\,dt, $$
(6)

where \(g(x,t,\lambda )\) is Green’s function of the Cauchy problem, and

$$ ig_{x}(x+t,t,\lambda )-\lambda g(x+t,t,\lambda )+R(x+t) \int_{0}^{x} V(\tau +t)g( \tau +t,t,\lambda )\,d\tau =0,\quad g(t,t,\lambda )=-i; $$

and consequently, \(g(x+t,t,\lambda )=-i\varphi (x,\lambda ;t)\), where \(\varphi (x,\lambda ;t)\) is the solution of the Cauchy problem

$$ i\varphi '(x,\lambda ;t)+R(x+t) \int_{0}^{x} V(\tau +t)\varphi (\tau ,\lambda ;t)\,d \tau = \lambda \varphi (x,\lambda ;t), \quad \varphi (0,\lambda ;t)=1. $$

In view of (2) we get

$$ \varphi (x,\lambda ;t)=\exp (-i\lambda x)+ \int_{0}^{x} K(x,\tau ;t)\exp (-i\lambda \tau )\,d\tau , $$

where \(K(x,\tau ;t)\) is a continuous function. This yields

$$ g(x,t,\lambda )=-i\exp \bigl(-i\lambda (x-t)\bigr) -i \int_{0}^{x-t} K(x-t,\tau ;t) \exp (-i\lambda \tau )\,d \tau . $$
(7)

Substituting (7) into (6), we obtain

$$ \theta (x,\lambda )= \int_{0}^{x} P(x,t)\exp (i\lambda t)\,dt, $$
(8)

where

$$ P(x,t)=-iR_{0}(x-t)-i \int_{0}^{x-t} R_{0}(\tau )K(x-\tau ,t;\tau )\,d \tau . $$
(9)

Clearly, \(P(x,x)=-iR_{0}(0), P(x,0)=-iR_{0}(x)\). Using (8)-(9) and (4), we conclude that for \(\vert \lambda \vert \to \infty \) uniformly in \(x\in [0, \pi ]\):

$$ \left . \textstyle\begin{array}{@{}l@{}} \eta^{(\nu )}(x,\lambda )=o(\lambda ^{\nu }),\quad \lambda \in \Pi_{+},\nu =0,1, \\ \eta^{(\nu )}(x,\lambda )=o(\lambda ^{\nu }\exp (i\lambda (\pi -x))),\quad \lambda \in \Pi_{-}^{\delta }, \nu =0,1. \end{array}\displaystyle \right \} $$
(10)

Denote

$$ \Delta_{0}(\lambda ):=1- \int_{0}^{\pi }V(t)\eta (t,\lambda )\,dt. $$
(11)

Using (4) and (11), we calculate

$$ i\eta '(x,\lambda )+R(x) \biggl(\Delta_{0}(\lambda )+ \int_{0}^{x} V(t)\eta (t,\lambda ) \,dt \biggr) =\lambda \eta (x,\lambda ), \quad \eta (\pi ,\lambda )=0. $$
(12)

In particular, it follows from (12) that the zeros of the entire function \(\Delta_{0}(\lambda )\) coincide with the zeros of \(\Delta (\lambda )\), and multiplicities of zeros of \(\Delta_{0}(\lambda )\) are not more than multiplicities of zeros of \(\Delta (\lambda )\). Therefore the function \(\Delta (\lambda )/\Delta_{0}(\lambda )\) is entire in λ of exponential type. Denote \(\Delta_{1}(\lambda ):=\Delta_{0}(\lambda )\exp (-i\lambda \pi )\). Using (8), (9) and (11), by standard arguments (see, e.g., [3]), we obtain that for \(\vert \lambda \vert \to \infty \), the following asymptotical formulae hold:

$$ \left . \textstyle\begin{array}{@{}l@{}} \Delta_{1}(\lambda )=\exp (-i\lambda \pi )(1+o(1)),\quad \lambda \in \Pi_{+}, \\ \Delta_{1}(\lambda )=B\lambda ^{-\gamma -1}(1+o(1)),\quad \lambda \in \Pi_{-}^{\delta }, \end{array}\displaystyle \right \} $$
(13)

where \(B\ne 0, \gamma :=\alpha +\beta +1\). The function \(F(\lambda ):=\Delta (\lambda )/ \Delta_{1}(\lambda )\) is entire in λ of exponential type. By virtue of (3),

$$ \left . \textstyle\begin{array}{@{}l@{}} \Delta (\lambda )=\exp (-i\lambda \pi )(1+o(1)),\quad \lambda \in \Pi_{+}, \\ \Delta (\lambda )=o(1),\quad \lambda \in \Pi_{-}^{\delta }. \end{array}\displaystyle \right \} $$
(14)

Together with (13) this yields that \(F(\lambda )\equiv 1\), i.e., \(\Delta (\lambda )\equiv \Delta_{1}(\lambda )\) or

$$ \Delta (\lambda )\equiv \Delta_{0}(\lambda )\exp (-i\lambda \pi ). $$
(15)

Denote

$$ \eta_{\nu }(x,\lambda ):= \frac{1}{\nu !} \frac{\partial \eta (x,\lambda )}{ \partial \lambda ^{\nu }},\quad \nu \ge 0,\quad \quad \psi_{n+\nu }(x):=\eta_{\nu }(x,\lambda _{n}), \quad n\in S, \nu = \overline{m_{n}-1}. $$

The functions \(\{\psi_{n}(x)\}_{n\ge 1}\) are eigen and associated functions for the boundary value problem L, and

$$ \psi_{n+\nu }(x)=\sum_{j=0}^{\nu }\beta _{n+\nu -j}s_{n+j}(x), \quad n \in S, \nu =\overline{m_{n}-1}. $$
(16)

The coefficients \(\{\beta _{n}\}_{n\ge 1}\) are called Levinson’s weight numbers, and the data \(\{\lambda _{n},\beta _{n}\}_{n\ge 1}\) are called the spectral data for the boundary value problem L. We will consider the following inverse problem.

Inverse problem 1

Given the spectral data \(\{\lambda _{n},\beta _{n}\}_{n\ge 1}\), construct R and V.

3 The uniqueness theorem

Below we will assume that \(R(x)\ne 0\) a.e. on \((0,\pi )\). If this condition does not hold, then the specification of the spectral data does not uniquely determine L (see Example 2).

Let us formulate the uniqueness theorem for this inverse problem. For this purpose, together with L we consider the boundary value problem \(\tilde{L}:=L(\tilde{R}, \tilde{V})\) of the same form but with different functions \(\tilde{R}(x)\), \(\tilde{V}(t)\). We agree that in what follows if a certain symbol α denotes an object related to L, then α̃ will denote the analogous object related to .

Theorem 1

Let \(\{\tilde{\lambda }_{n},\tilde{\beta }_{n}\}\) be the spectral data for the problem \(\tilde{L}=L(\tilde{R},\tilde{V})\). If \(\lambda _{n}=\tilde{\lambda }_{n}\), \(\beta _{n}=\tilde{\beta }_{n}\) for all \(n\ge 1\), then \(R(x)\equiv \tilde{R}(x)\), \(V(x)\equiv \tilde{V}(x)\), \(x\in [0,\pi ]\).

Proof

Using (14)-(15) and Hadamard’s factorization theorem, we get \(\Delta_{0}(\lambda )\equiv \tilde{\Delta }_{0}(\lambda )\). Taking (16) into account, we deduce that the functions

$$ A_{j}(x,\lambda )=\bigl(\Delta_{0}(\lambda )\bigr)^{-1} \exp (i\lambda x) \bigl(\tilde{\varphi }(x,\lambda ) \eta^{(j-1)}(x,\lambda ) -\tilde{\eta }(x,\lambda )\varphi ^{(j-1)}(x,\lambda ) \bigr), \quad j=1,2, $$

are entire in λ of exponential type. Taking (3), (10) and (13) into account, we obtain for \(\vert \lambda \vert \to \infty \)

$$\begin{aligned}& A_{1}(x,\lambda )=o(1), \qquad A_{2}(x,\lambda )=o(\lambda ),\quad \lambda \in \Pi_{+}, \\& A_{1}(x,\lambda )=o\bigl(\lambda ^{\gamma +1}\bigr), \qquad A_{2}(x, \lambda )=o\bigl(\lambda ^{\gamma +2}\bigr), \quad \lambda \in \Pi_{-}^{\delta }, \end{aligned}$$

and consequently,

$$ A_{1}(x,\lambda )\equiv 0,\quad \quad A_{2}(x,\lambda )\equiv A(x), $$
(17)

where the function \(A(x)\) does not depend on λ. In particular, (17) yields

$$\begin{aligned}& \tilde{\varphi }(x,\lambda )\eta (x,\lambda )\equiv \tilde{\eta }(x,\lambda )\varphi (x,\lambda ), \end{aligned}$$
(18)
$$\begin{aligned}& \tilde{\varphi }(x,\lambda )\eta '(x,\lambda )-\tilde{\eta }(x,\lambda )\varphi '(x,\lambda ) \equiv A(x)\Delta_{0}(\lambda )\exp (-i\lambda x). \end{aligned}$$
(19)

Similarly, we obtain

$$ \varphi (x,\lambda )\eta '(x,\lambda )-\eta (x,\lambda )\varphi '(x,\lambda ) \equiv A^{*}(x) \Delta_{0}(\lambda )\exp (-i\lambda x), $$
(20)

where \(A^{*}(x)\) does not depend on λ. Using (18) we calculate

$$ \tilde{\varphi }(x,\lambda ) \bigl(\varphi (x,\lambda )\eta '(x,\lambda ) -\eta (x,\lambda )\varphi '(x,\lambda ) \bigr)= \varphi (x,\lambda ) \bigl(\tilde{\varphi }(x,\lambda )\eta '(x,\lambda ) - \tilde{\eta }(x,\lambda )\varphi '(x,\lambda ) \bigr). $$

Together with (19)-(20) this yields

$$ \tilde{\varphi }(x,\lambda )A^{*}(x)\equiv \varphi (x,\lambda )A(x). $$

Taking (3) into account, we conclude that \(A(x)\equiv A^{*}(x)\), and

$$ \bigl(\tilde{\varphi }(x,\lambda )-\varphi (x,\lambda )\bigr)A(x)\equiv 0. $$
(21)

Furthermore, using (18), (19) and Eqs. (1) and (4), we infer

$$\begin{aligned} &iA(x)\Delta_{0}(\lambda )\exp (-i\lambda x) \\ &\quad =i\tilde{\varphi }(x,\lambda )\eta '(x,\lambda ) -i\tilde{\eta }(x,\lambda )\varphi '(x,\lambda ) \\ &\quad =\tilde{\varphi }(x,\lambda ) \biggl(R(x) \int_{x}^{\pi }V(t)\eta (t,\lambda )\,dt-R(x) \biggr) + \tilde{\eta }(x,\lambda )R(x) \int_{0}^{x} V(t)\varphi (t,\lambda )\,dt. \end{aligned}$$

Hence, for \(\vert \lambda \vert \to \infty , \lambda \in \Pi_{+}\), we get \(A(x)\equiv iR(x)\). In view of (21), one has

$$ \bigl(\tilde{\varphi }(x,\lambda )-\varphi (x,\lambda )\bigr)R(x)\equiv 0. $$
(22)

Since \(R(x)\ne 0\) a.e. on \((0,\pi )\), it follows from (22) that

$$ \tilde{\varphi }(x,\lambda )\equiv \varphi (x,\lambda ). $$

By virtue of (18),

$$ \tilde{\eta }(x,\lambda )\equiv \eta (x,\lambda ). $$

Then, according to (4),

$$ R(x)-\tilde{R}(x)=R(x) \int_{x}^{\pi }V(t)\eta (t,\lambda )\,dt- \tilde{R}(x) \int_{x}^{\pi }\tilde{V}(t)\eta (t,\lambda )\,dt. $$

For \(\vert \lambda \vert \to \infty \) this yields \(R(x)\equiv \tilde{R}(x)\), \(x\in [0,\pi ]\), and consequently \(V(x)\equiv \tilde{V}(x)\), \(x\in [0,\pi ]\). Theorem 1 is proved. □

Example 2

Fix \(a\in (0,\pi )\). Let \(R(x)\equiv 0\) for \(x\in [0,a]\) and \(R(x)\ne 0\) for \(x\in (a,\pi )\). Put \(\tilde{R}(x) \equiv R(x)\) for \(x\in [0,\pi ]\), and choose \(V(t)\), \(\tilde{V}(t)\) such that \(V(t)\equiv \tilde{V}(t)\) for \(t\in (a,\pi )\), and \(V(t)\ne \tilde{V}(t)\) for \(t\in [0,a]\). Then \(\tilde{\varphi }(x,\lambda )\equiv \varphi (x,\lambda )\) and \(\tilde{\eta }(x,\lambda ) \equiv \eta (x,\lambda )\); hence \(\tilde{\lambda }_{n}=\lambda _{n}\), \(\tilde{\beta }_{n}=\beta _{n}\) for all \(n\ge 1\).

References

  1. Marchenko, VA: Sturm-Liouville Operators and Their Applications. Naukova Dumka, Kiev (1977) English transl., Birkhäuser, Basel, 1986

    MATH  Google Scholar 

  2. Levitan, BM: Inverse Sturm-Liouville Problems. Nauka, Moscow (1984) English transl., VNU Sci. Press, Utrecht, 1987

    MATH  Google Scholar 

  3. Freiling, G, Yurko, VA: Inverse Sturm-Liouville Problems and Their Applications. Nova Science Publishers, New York (2001)

    MATH  Google Scholar 

  4. Beals, R, Deift, P, Tomei, C: Direct and Inverse Scattering on the Line. Math. Surveys and Monographs, vol. 28. Am. Math. Soc., Providence (1988)

    MATH  Google Scholar 

  5. Yurko, VA: Method of Spectral Mappings in the Inverse Problem Theory. Inverse and Ill-Posed Problems Series. VSP, Utrecht (2002)

    Book  MATH  Google Scholar 

  6. Yurko, VA: Inverse Spectral Problems for Differential Operators and Their Applications. Gordon & Breach, New York (2000)

    MATH  Google Scholar 

  7. Lakshmikantham, V, Rao, HRM: Theory of Integro-Differential Equations. Stability and Control: Theory and Applications, vol. 1. Gordon & Breach, New York (1995)

    MATH  Google Scholar 

  8. Yurko, VA: An inverse problem for integro-differential operators. Mat. Zametki 50(5), 134-146 (1991) (Russian); English transl. in Math. Notes 50(5-6), 1188-1197 (1991)

    MathSciNet  MATH  Google Scholar 

  9. Kuryshova, Yu: An inverse spectral problem for differential operators with integral delay. Tamkang J. Math. 42(3), 295-303 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  10. Buterin, SA: On the reconstruction of a convolution perturbation of the Sturm-Liouville operator from the spectrum. Differ. Uravn. (Minsk) 46, 146-149 (2010) (Russian); English transl. in Diff. Equ. 46, 150-154 (2010)

    MathSciNet  MATH  Google Scholar 

  11. Yurko, VA: An inverse problem for integral operators. Mat. Zametki 37(5), 690-701 (1985) (Russian); English transl. in Math. Notes 37(5-6), 378-385 (1985)

    MathSciNet  MATH  Google Scholar 

  12. Buterin, SA, Choque Rivero, AE: On inverse problem for a convolution integro-differential operator with Robin boundary conditions. Appl. Math. Lett. 48, 150-155 (2015)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Acknowledgements

This work was supported by Grant 17-11-01193 of the Russian Science Foundation.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Vjacheslav Yurko.

Additional information

Funding

This work was supported by Grant 17-11-01193 of the Russian Science Foundation.

Abbreviations

Not applicable.

Availability of data and materials

Not applicable.

Ethics approval and consent to participate

Not applicable.

Competing interests

No potential conflict of interest was reported by the author.

Consent for publication

Not applicable.

Author’s contributions

All authors read and approved the final manuscript.

Author’s information

Vjacheslav Yurko is Full Professor, Head of the Faculty of Mathematical Physics.

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.

Reprints and Permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Yurko, V. Inverse spectral problems for first order integro-differential operators. Bound Value Probl 2017, 98 (2017). https://doi.org/10.1186/s13661-017-0831-8

Download citation

  • Received:

  • Accepted:

  • Published:

  • DOI: https://doi.org/10.1186/s13661-017-0831-8

MSC

  • 47G20
  • 45J05
  • 44A15

Keywords

  • integro-differential operators
  • inverse spectral problems
  • uniqueness theorem