- Research
- Open access
- Published:
Incomplete inverse spectral and nodal problems for Dirac operator
Advances in Difference Equations volume 2015, Article number: 188 (2015)
Abstract
The incomplete inverse spectral and inverse nodal problems for Dirac operator defined on a finite interval with separated boundary conditions are considered. We prove uniqueness theorems for the so-called incomplete inverse spectral problem. Using the obtained result we show that for a unique determination of the operator it is sufficient to specify the nodal points only on a part of the interval slightly exceeding its half.
1 Introduction
Consider the eigenvalue problem corresponding to the Dirac operator, denoted by \(L:=L(Q(x);\alpha,\beta)\), of the form
with
subject to the boundary conditions
Here λ is a spectral parameter, \(p(x), q(x)\in C^{1}[0,1]\) and they are real-valued functions. The Dirac operator is the relativistic Schrödinger operator in quantum physics. Here we mainly investigate inverse spectral and inverse nodal problems for the Dirac operator (1.1)-(1.2) and establish a connection between them.
The basic and comprehensive results about Dirac operators were given in [1]. Furthermore, spectral problems for Sturm-Liouville or Dirac operators were extensively studied in various publications; see e.g. [2–5]. Moreover, sampling theory is one of the most important mathematical tools used in communication engineering, the Whittaker-Kotel’nikov-Shannon (WKS) sampling theorem is viewed as the fundamental result in information theory [6–8]. In the past years, this sampling theorem has been investigated and improved by several authors. In particular, Tharwat and Bhrawy, etc. [9–14]) used the derivative sampling theorem (Hermite interpolations and sinc-method) to compute the eigenvalues of the discontinuous Dirac systems.
Inverse spectral problems consist in recovering operators from their spectral characteristics. Such problems play an important role in mathematics and have many applications in natural sciences and engineering (see [2, 5] and the references therein). Some aspects of inverse spectral problems for the Dirac systems were studied in [1, 15–18] and other papers. In particular, in [17] it is proved that under some conditions finitely many partially known spectra and partial information on the potential entirely determine the potential. Inverse nodal problems, in turn, consist in constructing operators from given nodes (zeros) of their eigenfunctions (refer to [19–24]). From the physical point of view this corresponds to finding, e.g., the density of a string or a beam from the zero-amplitude positions of the eigenvibrations. In [24] inverse nodal problems of reconstructing the Dirac operator on a finite interval were studied, where it was proved that the operator L is determined uniquely by specifying a dense set of nodal points.
In the present paper, we will consider inverse problems of recovering \(Q(x)\), α, β from the given spectral and nodal characteristics. In what follows without loss of generality we always assume the mean value of \(p(x)+q(x)\) is known a priori. Under this assumption we obtain uniqueness theorems and provide a constructive procedure for the solution. The novelty of this paper lies in the established connections between inverse nodal and spectral problems and the use of a set of nodal points of the components \(y_{1}(x, \lambda_{n})\) of the eigenfunctions \(y(x,\lambda_{n}) =(y_{1}(x,\lambda_{n}), y_{2}(x,\lambda_{n}))^{T}\) as the given nodal data. As far as we know, incomplete inverse nodal problem for the Dirac system had not been considered before and the obtained results are natural generalizations of the well-known results on the classical inverse problems.
The paper is organized as follows. In Section 2, we prove the uniqueness theorems for so-called incomplete inverse spectral problem for the Dirac operator L. Using the obtained result we show that for unique determination of the operator it is sufficient to specify the nodal points only on \((b,1)\) with \(b<1/2\) in Section 3.
2 Incomplete inverse spectral problem
In the first part of the paper we study the so-called incomplete inverse problem of recovering the coefficients of (1.1)-(1.2) from a part of the spectrum of L provided that they are known a priori on a part of the interval. We note that for recovering \(Q(x)\) on the whole interval \([0,1]\) it is necessary to specify two spectra of boundary value problems with different boundary conditions (see [15]). We also note that the analogous problem for the Sturm-Liouville operators and differential pencils were investigated in [17, 25–27] and other work.
Let \(S(x,\lambda)\), \(\varphi(x,\lambda)\) and \(\psi(x,\lambda)\) be the solutions of Eq. (1.1) under the initial conditions
It is clear that, for each fixed \(x\in{}[0,1]\), these solutions are entire in λ. Let \(\tau=\operatorname{Im} \lambda\). Then the following representations hold uniformly in x as \(|\lambda|\rightarrow\infty\) (see [1], p.208, (5.11) and (5.12)):
Here
and
Denote \(\Delta(\lambda):=\langle\psi(x,\lambda),\varphi(x,\lambda )\rangle\), where \(\langle y(x),z(x)\rangle: =y_{1}(x)z_{2}(x)-y_{2}(x)z_{1}(x)\). The function \(\Delta(\lambda)\) is called the characteristic function of L and it does not depend on x. Substituting \(x=0\) and \(x=1 \) into \(\Delta(\lambda)\) we obtain \(\Delta(\lambda)=V(\varphi)=-U(\psi)\). The function \(\Delta(\lambda)\) is entire in λ and its zeros \(\{\lambda_{n}\}_{n\in\mathbb{Z}}\) coincide with the eigenvalues of L. It follows from (2.1) that for \(|\lambda|\rightarrow\infty\)
where \(\eta(x)\) is defined in (2.2). It is well known that the spectrum of the problem (1.1)-(1.2) consists of the eigenvalues \(\lambda_{n}\), \(n\in\mathbb{Z}\), which are all real and simple, and the sequence \(\{\lambda_{n},n\in \mathbb{Z}\}\) satisfies the classical asymptotic form [1]
where \(c_{0}=\beta-\alpha-\eta(1)\) and
For our purpose of this paper, together with the problem L defined by (1.1)-(1.2), we consider another problem \(\tilde{L}\) of the same form but with different coefficients \(\tilde{p}(x)\), \(\tilde{q}(x)\), \(\tilde{\alpha}\), \(\tilde{\beta}\). We agree that, everywhere below if a certain symbol δ denotes an object related to L, then \(\tilde{\delta}\) will denote an analogous object related to \(\tilde{L}\). Thus from the assumption we have \(\eta(1)=\tilde{\eta}(1)\).
For the rest of the paper, we shall only consider the boundary condition \(\alpha,\beta>0\). The other cases can be treated similarly.
Denote \(e_{0}(x)=(\operatorname{exp}(2ix),\operatorname{exp}(-2ix))^{T}\). The following theorem has been proven by Horváth [28] for the Sturm-Liouville operator. We show it also holds for the Dirac operator (1.1)-(1.2).
Theorem 2.1
Fix \(b\in(0,1/2]\). Let \(\Lambda\subset\mathbb{Z}\) be a subset of integer numbers, and let \(\Omega:=\{\lambda_{n}\}_{n\in\Lambda}\) be a part of the spectrum of L such that the system of functions \(\{ e_{0}(\lambda_{n} x)\}_{n\in\Lambda}\) is complete in \(\{L_{2}(0,b)\}^{2}\). If \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([b,1]\), and \(\beta=\tilde {\beta}\), \(\Omega=\tilde{\Omega}\), \(\eta(1)=\tilde{\eta}(1)\), then \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,1]\) and \(\alpha=\tilde {\alpha}\).
Remark 2.2
It is easy to see that if \(b=1/2\) then Theorem 2.1 reduces to the Hochstadt and Lieberman’s theorem [29] for the Dirac operator, which is studied by Malamud in [30]. At this point, our results are generalizations and improvements of the well-known results.
Proof
Since \(\Omega=\tilde{\Omega}\), it follows from (2.4) that \(c_{0}=\tilde {c}_{0}\), which together with the conditions \(\beta=\tilde{\beta}\) and \(\eta(1)=\tilde{\eta}(1)\) yields \(\alpha=\tilde{\alpha}\). Let us denote by \(\varphi(x,\lambda) = (\varphi_{1}(x,\lambda), \varphi _{2}(x,\lambda))^{T}\) the solution to the equation
with the initial condition
and by \(\tilde{\varphi}(x,\lambda) = (\tilde{\varphi}_{1}(x,\lambda), \tilde{\varphi}_{2}(x,\lambda))^{T}\) the solution to the equation
with the same initial condition as (2.6). Suppose \(0 \leq a < b \leq\pi\), for all \((a_{1},a_{2})^{T}\) and \((b_{1},b_{2})^{T}\) in \((L_{2}[a,b])^{2}\), define the inner product
Multiplying (2.5) by \(\tilde{\varphi}(x,\lambda)\) and (2.7) by \(\varphi (x,\lambda)\) (in the sense of scalar product in \(\mathbb{R}^{2}\)), respectively, and subtracting, we get
Integrating the above equality from 0 to 1 with respect to x, we infer from the conditions \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([b,1]\) and \(\alpha=\tilde{\alpha}\) that
Define
and
Since \(\Delta(\lambda_{n})=\tilde{\Delta}(\lambda_{n})=0\) for \(n\in\Lambda \), it follows from (2.8) that
It is known [1] that there exist kernels \(K(x,t)=(K_{ij}(x,t))_{i,j=1}^{2}\) and \(\tilde{K}(x,t)=(\tilde {K}_{ij}(x,t))_{i,j=1}^{2}\) with entries continuously differentiable on \(0\leq t\leq x\leq1\) such that
where \(\varphi_{0}(x,\lambda)=(\sin(\lambda x+\alpha), -\cos(\lambda x+\alpha))^{T}\). Thus we can show from (2.10) that
where
and \(R_{l}(x,t)\), \(l=1,\ldots,4\), \(S(x,t) = (S_{ij}(x,t))\), \(i,j = 1,2\) are matrix functions with entries which are piecewise-continuously differentiable on \(0\leq t\leq x\leq1\). Taking (2.9) into account, it yields
Thus from the completeness of the functions \(\{e_{0}(\lambda_{n} x)\}_{n\in \Lambda}\) in \(\{L_{2}(0,b)\}^{2}\), it follows that
But this equation is a homogeneous Volterra integral equation and has only the zero solution. Thus we have obtained \(f(x) = (f_{1}(x),f_{2}(x))^{T}= 0\) on \([0,b]\) and consequently \(p_{1}(x) = q_{1}(x) = 0\), i.e. \(p(x)=\tilde {p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,b]\). This completes the proof. □
In Section 3 the following theorem will be used.
Theorem 2.3
Fix \(b<1/2\) and \(N\in\mathbb{N}\). Let \(\beta=\tilde{\beta}\), \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([b,1]\). If \(\{\lambda_{n}\} _{|n|\geq N}=\{\tilde{\lambda}_{n}\}_{|n|\geq N}\) and \(\eta(1)=\tilde{\eta }(1)\), then \(L=\tilde{L}\), i.e., \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,1]\) and \(\alpha=\tilde{\alpha}\).
Proof
It follows from the conditions of the theorem that
Let \(\Phi(x,\lambda)\) and \(\Psi(x,\lambda)\) be the solutions of Eq. (1.1) under the boundary conditions
Then a direct calculation yields
where
Denote
With the help of (2.12)-(2.13), we calculate for all \(|n|\geq N\)
Under the conditions of the theorem we have \(\psi(x,\lambda)=\tilde{\psi }(x,\lambda)\) for \(x\in[b,1]\), hence
Moreover, we can infer from (2.1), (2.11) and (2.14) that
Consider the function
which by virtue of (2.15) is entire in λ. On the other hand, according to (2.3) and with the help of [31], pp.118-119, we have for sufficiently large \(|\lambda|\)
where \(G_{\delta}=\{\lambda:|\lambda-n\pi-c_{0}|\geq\delta, n\in\mathbb {Z}\}\), which together with (2.16) implies that
Using Phragmen-Lindelöf and Liouville’s theorems we arrive at \(F(\lambda)\equiv0\). Consequently, \(D(\lambda)\equiv0\), which means
The result is obtained immediately from the uniqueness theorem in [17] and this completes the proof. □
3 Incomplete inverse nodal problem
In the first part of this section we obtain uniqueness theorem of recovering the potential \(Q(x)\) on the whole interval \([0,1]\) and the parameters α, β in the boundary conditions from a dense subset of nodal points. Further, using the obtained result in Section 2 and developing the idea of the works [25, 27] we prove that for a unique determination of L it is sufficient to specify the set of nodal points only on \([b,1]\) with \(b<1/2\).
First we study the oscillation property of the first component \(y_{1}(x,\lambda_{n})\) of the eigenfunction \(y(x,\lambda_{n})\) of the Dirac system for sufficiently large \(|n|\).
Lemma 3.1
For sufficiently large \(|n|\), the first component \(y_{1}(x,\lambda_{n})\) of the eigenfunction \(y(x,\lambda_{n})\) of the Dirac system has exactly \(|n|\) nodes in the interval \((0,1)\):
Moreover,
uniformly with respect to \(j \in\mathbb{Z}\), where
Proof
We note that the eigenfunctions \((y_{1}(x,\lambda_{n}), y_{2}(x,\lambda _{n}))^{T}\) of the Dirac operator L are real-valued. From (2.1) we see that the function \(y_{1}(x,\lambda_{n})\) has the following asymptotic formula for sufficiently large \(|n|\), uniformly in x:
From \(y_{1}(x_{n}^{j},\lambda_{n}) = 0\), we get
Using Taylor’s expansion for the arctangent, we have
where \(c_{2}\) is defined in (3.3). Furthermore, using the asymptotic formula
we conclude that equality (3.2) holds.
Equality (3.2) gives the asymptotic expansion for the nodal lengths \(l_{n}^{j}:=x_{n}^{j+1}-x_{n}^{j}\); we have uniformly with respect to j
Consequently, for large \(|n|\) we have \(x_{n}^{j}< x_{n}^{j+1}\) for positive n and \(x_{n}^{j}>x_{n}^{j+1}\) for negative n. The asymptotic formula (3.2) gives for \(j=0,\pm1, n, n+1\) that
Thus, according to the order of \(x_{n}^{j}\), for large \(|n|\), the first component \(y_{1}(x,\lambda_{n})\) of the eigenfunction \(y(x,\lambda_{n})\) of the Dirac system has exactly \(|n|\) nodes in the interval \((0,1)\), i.e., \(x_{n}^{j}\), \(j=\overline {1,n}\) for positive n and \(x_{n}^{j}\), \(j=\overline{n+1,0}\) for negative n. The proof is complete. □
Corollary 3.2
From Lemma 3.1 and (3.4) it follows that the sets \(X_{1} = \{x_{n}^{j}\} _{n>0}\), \(X_{2} = \{x_{n}^{j}\}_{n<0}\) and \(X_{0}=X_{1}\cup X_{2}\) are all dense in \((0,1)\).
Definition 3.3
Let \(X\subset X_{j}\), \(j=0,1,2\). The set X is called twin if together with each of its points \(x_{n}^{j}\) the set X contains at least one of adjacent nodal points \(x_{n}^{j-1}\) and/or \(x_{n}^{j+1}\).
Let us now formulate a uniqueness theorem and provide a constructive procedure for the solution of the inverse nodal problem.
Theorem 3.4
Fix \(i=1,2\). Let \(X\subset X_{i}\) be a subset nodal points which is dense and twin in \((0,1)\). If \(X=\tilde{X}\) and \(\eta(1)=\tilde{\eta}(1)\), then \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,1]\) and \(\alpha =\tilde{\alpha}\), \(\beta=\tilde{\beta}\).
Remark 3.5
Note that in this theorem the dense subset X only need to be known for \(n>0\) or \(n<0\) rather than both, i.e., the known subset X do not need to be contained in \(X_{0}\). Similar results can be obtained using a dense subset of nodal points of the second component \(y_{2}(x,\lambda_{n})\) as the given spectral data for recovering the Dirac system.
Proof of Theorem 3.4
We first prove the given nodal set X uniquely determines the parameters α, β and the function \(p(x)+q(x)\) on \([0,1]\). For each fixed \(x\in[0,1]\) choose a sequence \(\{x_{n}^{j}\}\subset X_{i}\) such that \(x_{n}^{j}\rightarrow x\) as \(|n|\rightarrow\infty\). Using the asymptotic expansion (3.2), we get
Also the fact \(\lim_{|n|\rightarrow\infty}x_{n}^{j}=x\) implies that \(j/n\rightarrow x\) and \(\eta(x_{n}^{j})\rightarrow\eta(x)\). From this it follows that as \(|n|\rightarrow\infty\) the limit of the left-hand side of (3.5) exists and
Taking the values for \(g_{i}(x)\) at \(x=0\) and \(x=1\), respectively, we obtain
After α and β are reconstructed, taking derivatives of the function \(g_{i}(x)\), we derive
Note that if \(X=\tilde{X}\), then (3.6) yields \(g_{i}(x)\equiv\tilde {g}_{i}(x)\), \(x\in[0,1]\). By virtue of (3.7)-(3.8) and the assumption \(\eta (1)=\tilde{\eta}(1)\), we get
Next we are going to show \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,1]\). Multiply (2.5) with \(\lambda=\lambda_{n}\) by \(\tilde{\varphi }(x,\tilde{\lambda}_{n})\) and (2.7) with \(\lambda= \tilde{\lambda}_{n}\) by \(\varphi(x,\lambda_{n})\) (in the sense of scalar product in \(\mathbb{R}^{2}\)), respectively, subtract the two equations and integrate it from \(x_{n}^{j}\) to \(x_{n}^{j+1}\). This result is
Since \(\eta(1)=\tilde{\eta}(1)\), it yields from (2.1), (2.4) and (3.9)
and
From the above equalities we get from (3.10) and (3.11)
Thus applying the result in [32], we derive with \(j=j_{n}(x)\) that for \(n\rightarrow\infty\)
which means \(q(x)-p(x)=\tilde{q}(x)-\tilde{p}(x)\), since the quantity \(\cos(2(\alpha+\eta(x))+(\lambda_{n}+\tilde{\lambda}_{n})x)\) cannot be identically zero for all \(n\in\mathbb{Z}\) and \(x\in[0,1]\). Hence we obtain from (3.9) that \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,1]\). The proof is complete. □
According to Lemma 3.1 one can choose sufficiently large \(N_{1}\) such that for all \(n> N_{1}\) there are exactly the first component \(y_{1}(x,\lambda_{n})\) of the eigenfunction \(y(x,\lambda_{n})\) and the first component \(y_{1}(x,\lambda_{-n})\) of the eigenfunction \(y(x,\lambda_{-n})\), corresponding to the eigenvalues \(\lambda_{n}>0\) and \(\lambda_{-n}<0\), respectively, of the operator L that posses precisely n nodes in the interval \((0,1 )\). Analogous to the proof of [25], Theorem 6, the same assertion with the same \(N_{1}\) is also valid for the operator \(L_{a}\) of the form
which can be formulated thus: for all \(a\in[0,1)\) and \(n> N_{1}\) there are exactly the first component \(y_{1}(x,\lambda_{n,a})\) of the eigenfunctions \(y(x,\lambda_{n,a})\) and the first component \(y_{1}(x,\lambda_{-n,a})\) of the eigenfunctions \(y(x,\lambda_{-n,a})\), corresponding to the eigenvalues \(\lambda_{n,a}>0\) and \(\lambda _{-n,a}<0\), respectively, for the operator \(L_{a}\) possess precisely n zeros in the interval \((a,1)\).
Let us go on to the investigation of an incomplete inverse nodal problem when the nodal points are given only on a part of the interval.
Theorem 3.6
Fix \(b<1/2\). If \(X_{0}\cap(b,1)=\tilde{X}_{0}\cap(b,1)\) and \(\eta (1)=\tilde{\eta}(1)\), then \(L=\tilde{L}\). Thus, the specification of the nodes on any interval \((b,1)\), \(b<1/2\), together with the mean values of \(p+q\), uniquely determines the functions \(p(x)\), \(q(x)\), and the coefficients α, β of the boundary conditions.
Proof
By the same arguments in the proof of Theorem 3.4, it is easy to see that
Choose \(N\geq N_{1}\) so that \(x_{n}^{n-N_{1}-1}>b\) and \(x_{-n}^{-n+N_{1}+2}>b\) for \(n\geq N\). Fix \(n\geq N\) and put \(a:=x_{n}^{n-N_{1}-1}\). Consider the operator \(L_{a}\), then for \(n\geq N\) the component-function \(y_{1}(x,\lambda_{n,a})\) of the eigenfunction \(y(x,\lambda_{n,a})\) and the component-function \(y_{1}(x,\lambda_{-n,a})\) of the eigenfunction \(y(x,\lambda_{-n,a})\) for the operator \(L_{a}\) both have precisely n zeros in the interval \((a,1)\), corresponding to the eigenvalues \(\lambda_{n,a}>0\) and \(\lambda _{-n,a}<0\), respectively. Moreover, these component-functions also satisfy the boundary conditions in (3.13) for the corresponding eigenvalues. Since the function \(y_{1}(x,\lambda_{n})\) has precisely \(N_{1}\) zeros in the interval \((a,1)\) and \(V(y)=y_{1}(a,\lambda_{n})=0\), thus we have \(\lambda_{n}=\lambda_{N_{1},a}\) or \(\lambda_{n}=\lambda _{-N_{1},a}\). Furthermore, (3.14) yields \(\tilde{\lambda}_{n}=\lambda _{N_{1},a}\) or \(\tilde{\lambda}_{n}=\lambda_{-N_{1},a}\). Since \(\lambda _{n}\tilde{\lambda}_{n}>0\) and \(\lambda_{N_{1},a} \lambda _{-N_{1},a}<0\), we get \(\lambda_{n}=\tilde{\lambda}_{n}\). Analogously putting \(a:=x_{-n}^{-n+N_{1}+2}\) we arrive at \(\lambda_{-n}=\tilde{\lambda }_{-n}\). Thus, we have \(\lambda_{n}=\tilde{\lambda}_{n}\) for \(|n|\geq N\) and it remains to apply Theorem 2.3 to get \(p(x)=\tilde{p}(x)\), \(q(x)=\tilde{q}(x)\) on \([0,b]\) and \(\alpha=\tilde {\alpha}\). The proof is complete. □
References
Levitan, BM, Sargsjan, IS: Sturm-Liouville and Dirac Operators. Nauka, Moscow (1988) (in Russian); English transl., Kluwer Academic, Dordrecht (1991)
Freiling, G, Yurko, VA: Inverse Sturm-Liouville Problems and Their Applications. NOVA Science Publishers, New York (2001)
Levitan, BM: Inverse Sturm-Liouville Problems. VNU Science Press, Utrecht (1987)
Marchenko, VA: Sturm-Liouville Operators and Their Applications. Naukova Dumka, Kiev (1977); English transl., Birkhäuser, Basel (1986)
Yurko, VA: Inverse Spectral Problems for Differential Operators and Their Applications. Gordon & Breach, Amsterdam (2000)
Kotelnikov, V: On the carrying capacity of the ether and wire in telecommunications. In: Material for the First All-Union Conference on Questions of Communications. Izd. Red. Upr. Svyazi RKKA, Moscow (1933) (in Russian)
Shannon, CE: Communications in the presence of noise. Proc. Inst. Radio Eng. 37, 10-21 (1949)
Whittaker, ET: On the functions which are represented by the expansion of the interpolation theory. Proc. R. Soc. Edinb., Sect. A 35, 181-194 (1915)
Tharwat, MM, Bhrawy, AH, Yildirim, A: Numerical computation of the eigenvalues of a discontinuous Dirac system using the sinc method with error analysis. Int. J. Comput. Math. 89, 2061-2080 (2012)
Tharwat, MM, Bhrawy, AH, Yildirim, A: Numerical computation of eigenvalues of discontinuous Sturm-Liouville problems with parameter dependent boundary conditions using sinc method. Numer. Algorithms 63, 27-48 (2013)
Tharwat, MM, Bhrawy, AH, Yildirim, A: Sampling of discontinuous Dirac systems. Numer. Funct. Anal. Optim. 34, 323-348 (2013)
Tharwat, MM, Bhrawy, AH, Yildirim, A: Approximation of eigenvalues of discontinuous Sturm-Liouville problems with eigenparameter in all boundary conditions. Bound. Value Probl. 2013, 132 (2013)
Tharwat, MM, Bhrawy, AH: Computation of eigenvalues of discontinuous Dirac system using Hermite interpolation technique. Adv. Differ. Equ. 2012, 59 (2012)
Bhrawy, AH, Tharwat, MM, Al-Fhaid, A: Numerical algorithms for computing eigenvalues of discontinuous Dirac system using sinc-Gaussian method. Abstr. Appl. Anal. 2012, 925134 (2012)
Gasymov, MG, Dzhabiev, TT: Determination of a system of Dirac differential equations using two spectra. In: Proceedings of School-Seminar on the Spectral Theory of Operators and Representations of Group Theory, pp. 46-71. Élm, Baku (1975) (in Russian)
Gasymov, MG: Inverse problem of the scattering theory for Dirac system of order 2n. Tr. Mosk. Mat. Obŝ. 19, 41-112 (1968)
Horváth, M: On the inverse spectral theory of Schrödinger and Dirac operators. Trans. Am. Math. Soc. 353, 4155-4171 (2001)
Watson, BA: Inverse spectral problems for weighted Dirac systems. Inverse Probl. 15, 793-805 (1999)
Guo, Y, Wei, G: Inverse problems: dense nodal subset on an interior subinterval. J. Differ. Equ. 255, 2002-2017 (2013)
Law, CK, Shen, C-L, Yang, C-F: The inverse nodal problem on the smoothness of the potential function. Inverse Probl. 15, 253-263 (1999)
Law, CK, Shen, C-L: On the well-posedness of the inverse nodal problem. Inverse Probl. 17, 1493-1512 (2001)
McLaughlin, JR: Inverse spectral theory using nodal points as data-a uniqueness result. J. Differ. Equ. 73, 354-362 (1988)
Yang, XF: A new inverse nodal problem. J. Differ. Equ. 169, 633-653 (2001)
Yang, C-F, Huang, Z-Y: Reconstruction of the Dirac operator from nodal data. Integral Equ. Oper. Theory 66, 539-551 (2010)
Buterin, SA, Shieh, C-T: Incomplete inverse spectral and nodal problems for differential pencils. Results Math. 62, 167-179 (2012)
Gesztesy, F, Simon, B: Inverse spectral analysis with partial information on the potential: II. The case of discrete spectrum. Trans. Am. Math. Soc. 352, 2765-2787 (2000)
Shieh, C-T, Yurko, VA: Inverse nodal and inverse spectral problems for discontinuous boundary value problems. J. Math. Anal. Appl. 347, 266-272 (2008)
Horváth, M: Inverse spectral problems and closed exponential systems. Ann. Math. 162, 885-918 (2005)
Hochstadt, H, Lieberman, B: An inverse Sturm-Liouville problem with mixed given data. SIAM J. Appl. Math. 34, 676-680 (1978)
Malamud, MM: Uniqueness questions in inverse problems for systems of differential equations on a finite interval. Trans. Mosc. Math. Soc. 60, 173-224 (1999)
Levin, BY: Lectures on Entire Functions. Transl. Math. Monographs, vol. 150. Am. Math. Soc, Providence (1996)
Chen, YT, Cheng, YH, Law, CK, Tsay, J: \(L^{1}\) Convergence of the reconstruction formula for the potential function. Proc. Am. Math. Soc. 130, 2319-2324 (2002)
Acknowledgements
The research was supported in part by the NNSF (No. 11171198) and Fundamental Research Funds for the Central Universities (No. GK 201304001) of China and Scientific Research Program Funded by Shaanxi Provincial Eduction Department (No. 2013JK0563).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors have made equal contributions to each part of this article. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly credited.
About this article
Cite this article
Wei, Z., Guo, Y. & Wei, G. Incomplete inverse spectral and nodal problems for Dirac operator. Adv Differ Equ 2015, 188 (2015). https://doi.org/10.1186/s13662-015-0444-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-015-0444-4