Abstract
We discuss the problem of unique determination of the finite free discrete Schrödinger operator from its spectrum, also known as the Ambarzumian problem, with various boundary conditions, namely any real constant boundary condition at zero and Floquet boundary conditions of any angle. Then we prove the following Ambarzumian-type mixed inverse spectral problem: diagonal entries except the first and second ones and a set of two consecutive eigenvalues uniquely determine the finite free discrete Schrödinger operator.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The Jacobi matrix is a tridiagonal matrix defined as
where \(n \in {\mathbb {N}}\), \(a_k > 0\) for any \(k \in \{1,2,\dots ,n-1\}\) and \(b_k \in {\mathbb {R}}\) for any \(k \in \{1,2,\dots ,n\}\). When \(a_k=1\) for each \(k \in \{1,2,\dots ,n-1\}\), the Jacobi matrix (1.1) defines the finite discrete Schrödinger operator.
Inverse spectral problems aim to recover \(\{a_k\}_{k=1}^{n-1}\) and \(\{b_k\}_{k=1}^{n}\) from spectral information. Ambarzumian-type problems focus on inverse spectral problems for free discrete Schrödinger operators, i.e. \(a_k = 1\) and \(b_k = 0\) for every k, or similar cases when \(b_k = 0\) for some k.
The study of inverse spectral problems of Schrödinger (Sturm-Liouville) equations goes back to Ambarzumian’s work on a finite interval [1], and there are vast and still expanding literature on both continuous (see e.g. [8, 12, 13, 15, 20] and references therein) and discrete (see e.g. [2,3,4,5,6,7,8,9,10,11, 16, 18] and references therein) settings.
In this paper, we first revisit the classical Ambarzumian problem for the finite discrete Schödinger operator in Theorem 3.3, which says that the spectrum of the free operator uniquely determines the operator. Then we provide a counterexample, Example 3.4, which shows that knowledge of the spectrum of the free operator with a nonzero boundary condition is not sufficient for unique recovery. In Theorem 3.5, we observe that a non-zero boundary condition along with the corresponding spectrum of the free operator is needed for the uniqueness result. However, in Theorem 3.6, we prove that for the free operator with Floquet boundary conditions, the set of eigenvalues including multiplicities is sufficient to get the uniqueness up to transpose.
We also answer the following mixed Ambarzumian-type inverse problem positively in Theorem 4.3.
Inverse Spectral Problem Let us consider the discrete Schrödinger matrix S\(_{n,2}\) as \(a_k = 1\) for \(k \in \{1,\dots ,n-1\}\) and \(b_1,b_2 \in {\mathbb {R}}\), \(b_k = 0\) for \(k \in \{3,\dots ,n\}\). Let us also denote the free discrete Schrödinger operator by F\(_n\), which is defined as \(a_k = 1\) for \(k \in \{1,\dots ,n-1\}\) and \(b_k = 0\) for \(k \in \{1,\dots ,n\}\). If S\(_{n,2}\) and F\(_n\) share two consecutive eigenvalues, then do we get \(b_1 = b_2 = 0\), i.e. S\(_{n,2} = \mathbf{F }_n\)?
The paper is organized as follows. In Sect. 2 we fix our notations. In Sect. 3 we consider the problem of unique determination of the finite free discrete Schrödinger operator from its spectrum, with various boundary conditions, namely any real constant boundary condition at zero, and Floquet boundary conditions of any angle. In Sect. 4 we prove the above mentioned Ambarzumian-type mixed inverse spectral problem.
2 Notations
Let us start by fixing our notation. Let S\(_n\) represent the discrete Schrödinger matrix of size \(n \times n\)
where \(b_k\in {\mathbb {R}}\). Let S\(_n(b,B)\) denote the discrete Schrödinger matrix S\(_n\) satisfying \(b_1=b\) and \(b_n=B\). Let us also introduce the following matrices:
Let us denote the free discrete Schrödinger matrix of size \(n \times n\) by \(\mathbf{F} _n\):
so F\(_n(b,B)\) and F\(_n(\theta )\) are defined accordingly.
In addition, let \(p_n(x)\) be the characteristic polynomial of \(\mathbf{F} _n\) with zeroes \(\lambda _1,\dots ,\lambda _n\) and let \(q_n(x)\) be the characteristic polynomial of \(\mathbf{S} _n\) with zeroes \(\mu _1,\dots ,\mu _n\). The discrete Schrödinger matrix S\(_n\) has n distinct simple eigenvalues, so we can order the eigenvalues as \(\lambda _1< \lambda _2< \cdots < \lambda _n\) and \(\mu _1< \mu _2< \cdots < \mu _n\). This property is valid for any Jacobi matrix and can be found in [19], which provides an extensive study of Jacobi operators.
Throughout the paper we will discuss our results via matrices using the notations introduced above, but let us note that the matrices S\(_n(b,B)\) and S\(_n(\theta )\) can be represented as difference equations.
Remark 2.1
Given S\(_n\), let us consider the discrete Schrödinger matrix where all \(b_k\)’s are the same as in S\(_n\) except \(b_1\) and \(b_n\) are replaced by \(b_1+b\) and \(b_n+B\) respectively for \(b,B \in {\mathbb {R}}\), i.e.
The discrete Schrödinger matrix (2.1) is given by the difference expression
with the boundary conditions
In order to get a unique difference expression with these boundary conditions for a given discrete Schrödinger matrix, we can think of the first and the last diagonal entries of the matrix S\(_n\) as the boundary conditions at 0 and \(n+1\) respectively. Therefore S\(_n(b,B)\) denotes the discrete Schrödinger matrix with boundary conditions b at 0, B at \(n+1\).
If we consider the difference expression (2.2) with the Floquet boundary conditions
then we get the matrix representation S\(_n(\theta )\).
3 Ambarzumian problem with various boundary conditions
Firstly let us obtain the first three leading coefficients of \(q_n(x)\). This is a well-known result, but we give a proof in order to make this section self-contained.
Lemma 3.1
The characteristic polynomial \(q_n(x)\) of the discrete Schrödinger matrix S\(_n\) has the form
where \(Q_{n-2}(x)\) is a polynomial of degree at most \(n-2\).
Proof
The characteristic polynomial \(q_n(x)\) is given by \(\det (x\mathbf{I} _n - \mathbf{S} _n)\). Let us consider Liebniz’ formula for the determinants
where \(\mathbf{A} = [\alpha _{i,j}]\) is an \(n \times n\) matrix and sgn is the sign function of permutations in the permutation group \({\mathbb {S}}_n\). If we use (3.1) with the identity permutation, then \(\det (x\mathbf{I} _n - \mathbf{S} _n)\) becomes \(\prod _{i=1}^n (x-b_i)\), so we get that \(q_n(x)\) is a monic polynomial and the coefficient of \(x^{n-1}\) is \(-{\text {tr}}(\mathbf{S} _n)\).
The coefficient of the \(x^{n-2}\) term of \(q_n(x)\) is formed from the sum of all disjoint pairs of \(a_i\). Hence we obtain \(\sum _{1 \le i < j\le n}b_ib_j\).
The only other permutation that will yield an \(x^{n-2}\) term is a transposition. However, if \(|i-j|\ge 1\), then the product will be zero. Thus we are looking for transpositions where \(|i-j|=1\). There are \(n-1\) of these, namely \((1,2),(2,3),\dots ,(n-2,n-1),(n-1,n)\). The product is of the form
where \(r_{n-3}(x)\) is a polynomial of degree at most \(n-3\). Since the signature of a transposition is negative, we derive \(-x^{n-2}\) for each product. Summing over all \(n-1\) permutations and adding to \(\sum _{1\le i < j\le n}b_ib_j\) yields our desired result. \(\square \)
Corollary 3.2
The characteristic polynomial \(p_n(x)\) of the free discrete Schrödinger matrix F\(_n\) has the form
where \(P_{n-2}(x)\) is a polynomial of degree at most \(n-2\).
Proof
Simply set \(b_i = 0\) for each \(i \in \{1,\cdots ,n\}\) and apply Lemma 3.1. \(\square \)
Now let us give a proof of Ambarzumian problem with Dirichlet-Dirichlet boundary conditions, i.e. for the matrix F\(_n(0,0)\) = F\(_n\) in our notation.
Theorem 3.3
Suppose S\(_n\) shares all of its eigenvalues with F\(_n\). Then S\(_n=~\) F\(_n\).
Proof
In order for the two matrices to have all the same eigenvalues, they must have equal characteristic polynomials. Comparing the results from Lemma 3.1 to Corollary 3.2, we must have
This leads us to conclude that
which only occurs when all the \(b_i\) are zero, i.e. \(\mathbf{S} _n=\mathbf{F} _n\), since \(b_i \in {\mathbb {R}}\) for each \(i \in \{1,\cdots ,n\}\). \(\square \)
A natural question to ask is whether or not we get the uniqueness of the free operator with non-zero boundary conditions. After Theorem 3.3, one may expect to get the uniqueness of a free discrete Schrödinger operator from a spectrum with non-zero boundary condition at 0. However, this is not the case because of the following counterexample:
Example 3.4
Let us define the discrete Schrödinger matrices
The matrices A and B have the same characteristic polynomial \(x^3-2x^2-2x+2\), so they share the same spectrum.
This example shows that Theorem 3.3 is a special case, so in order to get the uniqueness of a rank-one perturbation of the free operator, we also need to know the non-zero boundary condition along with the spectrum.
Theorem 3.5
Suppose S\(_n(b,b_n)\) shares all of its eigenvalues with F\(_n(b,0)\). Then S\(_n(b,b_n)=~\) F\(_n(b,0)\).
Proof
Comparing coefficients of characteristic polynomials of S\(_n(b,b_n)\) and F\(_n(b,0)\) like we did in the proof of Theorem 3.3, we get
The first equation of (3.3) gives \(\sum _{i=2}^{n}b_i=0\) and using this in the second equation of (3.3) we get \(\sum _{2\le i < j\le n}b_ib_j = 0\). This leads us to conclude that
which only occurs when \(b_i = 0\) for each \(i \in \{2,\cdots ,n\}\), i.e. S\(_n(b,b_n)\) = F\(_n(b,0)\). \(\square \)
Now, we approach the Ambarzumian problem with Floquet boundary conditions. Let us recall that S\(_n(\theta )\) and F\(_n(\phi )\) denote a discrete Schrödinger operator and the free discrete Schrödinger operator with Floquet boundary conditions for the angles \(0 \le \theta < 1\) and \(0 \le \phi < 1\), respectively.
The following theorem shows that with Floquet boundary conditions, the knowledge of the spectrum of the free operator is sufficient for the uniqueness up to transpose.
Theorem 3.6
Suppose that S\(_n(\theta )\) shares all of its eigenvalues with F\(_n(\phi )\), including multiplicity, for \(0 \le \theta ,\phi < 1\). Then \(b_1=\dots =b_n=0\) and \(\theta \in \{\phi , 1-\phi \}\), i.e. S\(_n(\theta )\) = F\(_n(\phi )\) or F\(_n^{ {\mathsf {T}}}(\phi )\)
Proof
Let us define D[k, l] as the following determinant of a \((l-k+1) \times (l-k+1)\) matrix for \(1\le k < l \le n\):
Let us consider the characteristic polynomial of S\(_n(\theta )\) by using cofactor expansion on the first row:
Then by using cofactor expansions on the first row of the determinant in the second term and on the first column of the determinant in the third term we get
Now let’s use cofactor expansion on the first column of the determinant in the third term. We see that the determinant in the fourth term is the determinant of an upper triangular matrix. Therefore,
Finally, observing that the determinant in the third term is that of a lower triangular matrix, we get
At this point note that D[k, l] is the characteristic polynomial of the following discrete Schrödinger matrix
Therefore using Lemma 3.1 and Eq. (3.4), we obtain
where \(f_{n-3}\) is a polynomial of degree at most \(n-3\), independent of \(\theta \). Using the same steps for \(\mathbf{F} _n(\phi )\), we obtain
where \(g_{n-3}\) is a polynomial of degree at most \(n-3\), which is independent of \(\phi \).
Comparing Eqs. (3.5) and (3.6), like we did in the Proof of Theorem 3.3, we can conclude that the diagonal entries \(\{b_i\}_{i=1}^n\) of S\(_n(\theta )\) must be zero.
Note that the expression consisting of the first three terms in the right end of (3.4), \((x-b_1)D[2,n]-D[3,n]-D[2,n-1]\) is independent of \(\theta \). In addition, we observed that \(b_1=\dots =b_n=0\). Therefore using the equivalence of the characteristic polynomials of S\(_n(\theta )\) and F\(_n(\phi )\), we obtain
which can be written using Euler’s identity as
Equation (3.7) is valid if and only if \(\theta \) differs from \(\phi \) or \(-\phi \) by an integer. Since \(0 \le \theta ,\phi < 1\), the only possible values for \(\theta \) are \(\phi \) and \(1-\phi \). This completes the proof. \(\square \)
4 An Ambarzumian-type mixed inverse spectral problem
Let us recall that \(\mathbf{S }_{n,m}\) denotes the following \(n \times n\) discrete Schrödinger matrix for \(1 \le m \le n\):
and F\(_{n}\) denotes the free discrete Schrödinger matrix of size \(n \times n\). In this section our goal is to answer the following Ambarzumian-type mixed spectral problem positively for the \(m=2\) case.
Inverse Spectral Problem If S\(_{n,m}\) and F\(_{n}\) share m consecutive eigenvalues, then do we get \(b_1 = \cdots = b_m = 0\), i.e. S\(_{n,m} = \mathbf{F }_n\)?
When \(m=1\), this problem becomes a special case of the following result of Gesztesy and Simon [10]. For a Jacobi matrix given as (1.1), let us consider the sequences \(\{a_k\}\) and \(\{b_k\}\) as a single sequence \(b_1,a_1,b_2,a_2,\cdots ,a_{n-1},b_n = c_1,c_2,\cdots ,c_{2n-1}\), i.e. \(c_{2k-1} {:=} b_k\) and \(c_{2k} {:=} a_k\).
Theorem 4.1
([10], Theorem 4.2) Suppose that \(1 \le k \le n\) and \(c_{k+1}, \cdots ,c_{2n-1}\) are known, as well as k of the eigenvalues. Then \(c_1,\cdots ,c_k\) are uniquely determined.
Proposition 4.2
Let \(\lambda _{k} = {\tilde{\lambda }}_{k}\) for some \(k \in \{1,2,\dots ,n-1\}\). Then \(b_1 = 0\), i.e. S\(_{n,1} = \mathbf{F }_n\).
Proof
Following the notations of Theorem 4.1, \(c_{2}, \cdots ,c_{2n-1}\) are known for S\(_{n,1}\). Hence by letting \(k=1\) in Theorem 4.1, we get S\(_{n,1} = \mathbf{F }_n\). \(\square \)
Now let us prove the \(m=2\) case. Let \(\lambda _{1}<\lambda _{2}<\dots <\lambda _{n}\) denote the eigenvalues of F\(_{n}\), and let \({\tilde{\lambda }}_1<{\tilde{\lambda }}_2<\dots <{\tilde{\lambda }}_n\) denote the eigenvalues of S\(_{n,2}\).
Theorem 4.3
Let \(\lambda _{k} = {\tilde{\lambda }}_{k}\) and \(\lambda _{k+1} = {\tilde{\lambda }}_{k+1}\) for some \(k \in \{1,2,\dots ,n-1\}\). Then \(b_1 = 0\) and \(b_2 = 0\), i.e. S\(_{n,2} = \mathbf{F }_n\).
Proof
We start by proving the following claim.
Claim: If \(\lambda _k = {\tilde{\lambda }}_{k}\) and \(\lambda _{k+1} = {\tilde{\lambda }}_{k+1}\) , then either \(b_{1} = b_{2} = 0\) or \(b_{1} = \lambda _{k}+\lambda _{k+1}\) and \(b_{2} = 1/\lambda _{k}+1/\lambda _{k+1}\).
Let us consider the characteristic polynomial of S\(_{n,2}\) using cofactor expansion on the first row of \(\lambda I-\mathbf{S }_{n,2}\).
Using cofactor expansion on the first row for the first term and the first column for the second term, we get
Finally, using cofactor expansion on the first column of the second term, we get
Note that the cofactor expansions we derived so far are given in [10] in a more general setting for Jacobi matrices. One just needs to look at (2.4) in [10] and keep in mind that (2.5) in [10] takes place.
Since \({\tilde{\lambda }}_{k}=\lambda _{k}\) and \({\tilde{\lambda }}_{k+1}=\lambda _{k+1}\), right hand side of (4.1) is zero when \(\lambda = \lambda _{k}\) or \(\lambda = \lambda _{k+1}\). Therefore for \(\lambda = \lambda _{k}\) or \(\lambda = \lambda _{k+1}\) we get
Equation (4.2) is also valid for \(\mathbf{F }_{n}\), i.e. when \(b_1=b_2=0\), and the right hand side of the equation does not depend on \(b_{1}\) or \(b_{2}\) and hence identical for \(\mathbf{S }_{n,2}\) and \(\mathbf{F }_{n}\). Therefore the left hand side of (4.2) should also be identical for \(\mathbf{S }_{n,2}\) and \(\mathbf{F }_{n}\), when \({\tilde{\lambda }}_{k}=\lambda _{k}\) and \({\tilde{\lambda }}_{k+1}=\lambda _{k+1}\). Hence,
for \(\lambda = \lambda _{k}\) or \(\lambda = \lambda _{k+1}\). Therefore,
for \(\lambda = \lambda _{1}\) or \(\lambda = \lambda _{2}\). If \(b_{2} = 0\), then \(b_{1} = 0\) from the last equation above, so we can assume \(b_{2} \ne 0\). Then \(\lambda ^{2}-b_{1}\lambda + b_{1}/b_{2} = 0\) for \(\lambda = \lambda _{k}\) or \(\lambda = \lambda _{k+1}\).
Since \(x^{2}-b_{1}x+b_{1}/b_{2}\) is a monic polynomial with two distinct roots \(x=\lambda _{k}\) and \(x=\lambda _{k+1}\), we get
which implies
Comparing coefficients we get our claim, since \(b_{1} = \lambda _{k}+\lambda _{k+1}\), and \(b_{1}/b_{2} = \lambda _{k}\lambda _{k+1}\) implies
Now our goal is to get a contradiction for the second case of the claim, i.e. when \(b_{1} = \lambda _{k}+\lambda _{k+1}\) and \(b_2 = 1/\lambda _{k}+1/\lambda _{k+1}\), so let us assume
First let us show that \(b_1\) and \(b_2\) have the same sign. If n is even and \(k = n/2\), then \(\lambda _k = -\lambda _{k+1}\). Hence \(b_1 = b_2 = 0\). If n is odd and \(k = (n-1)/2\) or \(k = (n+1)/2\), then one of the eigenvalues \(\lambda _k\) or \(\lambda _{k+1}\) is zero, so \(b_2\) is undefined. For all other values of k, two consecutive eigenvalues \(\lambda _k\) and \(\lambda _{k+1}\) and hence \(b_1\) and \(b_2\) have the same sign.
Without loss of generality, let us assume both \(\lambda _k\) and \(\lambda _{k+1}\) are negative and \(b_1 \le b_2\). Let us define the matrix \(\mathbf{M }_{n}(t)\) with the real parameter t as follows:
Note that the kth eigenvalue of \(\mathbf{M }_n(-b_2)\) is greater than or equal to \({\tilde{\lambda }}_k\), since \(\mathbf{M }_n(-b_2) \ge \mathbf{S }_{n,2}\). Let us also note that \(\mathbf{M }_n(0) = \mathbf{F }_n\). Let us denote the kth eigenvalue of \(\mathbf{M }_n(t)\) by \(\lambda _k(t)\) and the corresponding eigenvector by X(t), normalized as \(||X(t)||=1\). Since \(\mathbf{M }_n(t)\) is a smooth function of t around 0 and \(\lambda _k\) is a simple eigenvalue of \(\mathbf{F }_n\), we get that \(\lambda _k(t)\) is a simple eigenvalue of \(\mathbf{M }_n(t)\), \(\lambda _k(0) = \lambda _k\), and \(\lambda _k(t)\) and X(t) are smooth functions of t around 0 (see Theorems 9.7 and 9.8 in [14]). Let us also observe that \(\mathbf{M }_n(t)\) is self-adjoint, \(||X(t)|| = 1\) and \(\mathbf{M }_n(t)X(t) = \lambda _k(t)X(t)\). Therefore the Hellmann–Feynman Theorem (Theorem 1.4.7 in [17]) implies
where \(X(t)^{\mathsf {T}} = [X_1(t),X_2(t),\ldots ,X_n(t)]\). Since X(t) is a non-zero eigenvector of the tridiagonal matrix \(\mathbf{M }_n(t)\), at least one of \(X_1(t)\) and \(X_2(t)\) is non-zero. Therefore by Eq. (4.4), there exists an open interval \(I \subset {\mathbb {R}}\) containing 0 such that \(\lambda _k'(t) ~<~ 0\) for \(t \in I\), i.e. \(\lambda _k(t)\) is decreasing on I. This implies existence of \(0 ~<~ t_0 ~<~ -b_2\) satisfying
This contradicts with our assumption that \(\lambda _k = {\tilde{\lambda }}_k\). Therefore only the first case of the claim is true, i.e. \(b_1 = b_2 = 0\) and hence \(\mathbf{S }_{n,2} = \mathbf{F }_n\). \(\square \)
Data Availability Statement
Data sharing is not applicable to this article as no data sets were generated or analyzed during the current study.
References
Ambarzumian, V.: Über eine frage der eigenwerttheorie. Zeitschrift für Physik 53, 690–695 (1929). (in German)
Bebiano, N., da Providência, J.: Inverse problems for pseudo-Jacobi matrices: existence and uniqueness results. Inverse Prob. 27(2), 025005 (2011)
Clark, S., Gesztesy, F., Renger, W.: Trace formulas and Borg-type theorems for matrix-valued Jacobi and Dirac finite difference operators. J. Differ. Equ. 219(1), 144–182 (2005). (MR2181033)
del Rio, R., Kudryavtsev, M.: Inverse problems for Jacobi operators: I. Interior mass-spring perturbations in finite systems. Inverse Prob. 28(5), 055007 (2012)
del Rio, R., Kudryavtsev, M., Silva, L.O.: Inverse problems for Jacobi operators III: Massspring perturbations of semi-infinite systems. Inverse Probl. Imag. 6(4), 599–621 (2012)
del Rio, R., Kudryavtsev, M., Silva, L.O.: Inverse problems for Jacobi operators IV: interior mass-spring perturbations of semiinfinite systems. Inver. Prob. 33(5), 055014 (2017)
Derevyagin, M.: Borg-type theorems for generalized Jacobi matrices and trace formulas. Methods Funct. Anal. Topol. 12(3), 220–233 (2006)
Gesztesy, F.: Inverse spectral theory as influenced by Barry Simon, Spectral theory and mathematical physics: a Festschrift in honor of Barry Simon’s 60th birthday, (2007), pp. 741–820. MR2307754
Gesztesy, F., Kiselev, A., Makarov, K.A.: Uniqueness results for matrix-valued Schrödinger, Jacobi, and Dirac-type operators. Math. Nachr. 239/240, 103–145 (2002)
Gesztesy, F., Simon, B.: m-functions and inverse spectral analysis for finite and semi-infinite Jacobi matrices. J. Anal. Math. 73, 267–297 (1997)
Hatinoğlu, B.: Inverse problems for Jacobi operators with mixed spectral data. J. Differ. Equ. Appl. 27(1), 81–101 (2021)
Hatinoğlu, B.: Mixed data in inverse spectral problems for the Schrödinger operators. J. Spectr. Theory 11(1), 281–322 (2021)
Horváth, M.: Inverse spectral problems and closed exponential systems. Ann. Math. (2) 162(2), 885–918 (2005)
Lax, P.D.: Linear algebra and its applications. Wiley, Interscience Series of Texts (2007)
Makarov, N., Poltoratski, A.: Two-spectra theorem with uncertainty. J. Spectr. Theory 9(4), 1249–1285 (2019)
Silva, L.O., Weder, R.: On the two spectra inverse problem for semi-infinite Jacobi matrices. Math. Phys. Anal. Geom. 9(3), 263–290 (2006)
Simon, B.: A Comprehensive Course in Analysis, Part 4: Operator Theory. American Mathematical Society, Providence (2015)
Teschl, G.: Trace formulas and inverse spectral theory for Jacobi operators. Comm. Math. Phys. 196(1), 175–202 (1998)
Teschl, G.: Jacobi Operators and Completely Integrable Nonlinear Lattices, Mathematical Surveys and Monographs, vol. 72. American Mathematical Society, Providence, RI (2000)
Teschl, G., Unterkofler, K.: Spectral theory as influenced by Fritz Gesztesy, Spectral analysis, differential equations and mathematical physics: a festschrift in honor of Fritz Gesztesy’s 60th birthday, (2013), pp. 341–363. MR3087914
Acknowledgements
The authors would like to thank Wencai Liu for introducing them this project and his constant support. This work was partially supported by NSF DMS-2015683 and DMS-2000345.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jussi Behrndt.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Spectral Theory and Operators in Mathematical Physics” edited by Jussi Behrndt, Fabrizio Colombo and Sergey Naboko.
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
Hatinoğlu, B., Eakins, J., Frendreiss, W. et al. Ambarzumian-type Problems for Discrete Schrödinger Operators. Complex Anal. Oper. Theory 15, 118 (2021). https://doi.org/10.1007/s11785-021-01169-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-021-01169-5