Abstract
We study spectral properties of bounded and unbounded complex Jacobi matrices. In particular, we formulate conditions assuring that the spectrum of the studied operators is continuous on some subsets of the complex plane and we provide uniform asymptotics of their generalised eigenvectors. We illustrate our results by considering complex perturbations of real Jacobi matrices belonging to several classes: asymptotically periodic, periodically modulated and the blend of these two. Moreover, we provide conditions implying existence of a unique closed extension. The method of the proof is based on the analysis of a generalisation of shifted Turán determinants to the complex setting.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For given two sequences \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) of complex numbers such that for every \(n \ge 0\) one has \(a_n \ne 0\), we define the (complex) Jacobi matrix by the formula
The action of \({\mathcal {A}}\) on any sequence of complex numbers is defined by the formal matrix multiplication. Let A be the minimal operator associated with \({\mathcal {A}}\). Specifically, by A we mean the closure in \(\ell ^2({\mathbb {N}}_0)\) of the restriction of \({\mathcal {A}}\) to the set of the sequences of finite support. Let us recall that
Moreover, we define the maximal operator \(A_{\mathrm {max}}\) by setting \(A_{\mathrm {max}}x = {\mathcal {A}}x\) for \(x \in {{\,\mathrm{Dom}\,}}(A_{\mathrm {max}})\), where
The matrix \({\mathcal {A}}\) is called proper if \(A = A_{\mathrm {max}}\) and improper otherwise. The matrix \({\mathcal {A}}\) is proper if the Carleman condition
is satisfied (see, [2, Example 2.7]). In the case when sequences \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) are real, the matrix \({\mathcal {A}}\) is proper exactly when A is self-adjoint.
The Jacobi matrix \({\mathcal {A}}\) is symmetric if \(a_n \in {\mathbb {R}}\) and \(b_n \in {\mathbb {R}}\) for any n. Otherwise \({\mathcal {A}}\) is nonsymmetric. In the symmetric case we recover classical Jacobi matrices. This case has been studied thoroughly. Let us mention that it has applications in such areas as: spectral theory of self-adjoint operators (see, e.g. [8]), orthogonal polynomials, approximation theory, numerical analysis, stochastic processes (see, e.g. [16]), the moment problem and continued fractions (see, e.g. [18]). For the applications and basic properties of the nonsymmetric case we refer to [2] and to the references therein.
Spectral analysis of some classes of nonsymmetric Jacobi matrices has been studied in several articles. In [1] there was studied complex one-rank perturbation of symmetric Jacobi matrices. In [4] there was considered in detail the case when sequences defining \({\mathcal {A}}\) are periodic. In [7, 9,10,11,12,13] there was considered the behaviour of the point spectrum of compact perturbations of the periodic case. In [5] Mourre commutator method has been applied to the study of continuous spectrum of discrete Schrödinger operators. In [17] has been studied in detail an explicit example of unbounded complex Jacobi matrices. In particular, it was observed there a spectral phase transition phenomenon. In [24, 25] a class of Jacobi matries with discrete spectrum has been studied. Finally, in [14] there was considered the point spectrum of some unbounded complex Jacobi matrices.
The main problem in the study of spectral properties of the nonsymmetric case lies in the fact that in general A is not normal. Hence, most of the tools and intuitions coming from the Spectral Theorem is lost. It seems that there are few results concerning the continuous spectrum of nonsymmetric Jacobi matrices. The aim of this article is to fill this gap.
Before we go further let us introduce some terminology. A sequence \((u_n \in {\mathbb {N}}_0)\) is generalised eigenvector associated with \(z \in {\mathbb {C}}\), if it satisfies the recurrence relation
with some non-zero initial condition \((u_0, u_1)\). For any positive integer N define N-step transfer matrix by
then
Given a compact set \(K \subset {\mathbb {C}}\), we say that the uniformly bounded sequence of continuous mappings \(Y_n : K \rightarrow {\text {GL}}(2, {\mathbb {C}})\) belongs to \(\widetilde{{\mathcal {D}}}_1\big ( K, {\text {GL}}(2, {\mathbb {C}}) \big )\) ifFootnote 1
We are ready to state our main result.
Theorem 1.1
Let N be a positive integer and \(i \in \{0, 1, \ldots , N-1\}\). Suppose that
for some \(\gamma \) and \({\mathcal {X}}\). Let K be a compact subset ofFootnote 2
If
then there is a constant \(c>1\) such that for every generalised eigenvector associated with \(z \in K\)
A simple consequence of Theorem 1.1 is the following
Theorem 1.2
Let the hypotheses of Theorem 1.1 be satisfied for some \(i \in \{0, 1, \ldots , N-1\}\). If
then \({\mathcal {A}}\) is properFootnote 3, \(K \cap \sigma _{\mathrm {p}}(A) = \emptyset \) and \(K \subset \sigma (A)\). Conversely, if
and the hypotheses are satisfied for every\(i \in \{ 0, 1, \ldots , N-1 \}\), then \({\mathcal {A}}\) is improper, \(\sigma _{\mathrm {ess}}(A) = \emptyset \), \(\sigma (A) = {\mathbb {C}}\) and \(\sigma _{\mathrm {p}}(A_{\mathrm {max}}) = {\mathbb {C}}\).
Let us present some of the ideas of the proof of Theorem 1.1. For any generalised eigenvector u we define (generalised) N-shifted Turán determinant by the formula
Observe that in the symmetric case if \(z \in {\mathbb {R}}\) and both \(u_0, u_1\) are real, then the definition reduces to the classical N-shifted Turán determinant
We prove Theorem 1.1 by careful analysis of the sequence \((S_{nN+i} : n \in {\mathbb {N}})\). In particular, we prove that this sequence is convergent uniformly on K to a function of definite sign and without zeros. In the setup of symmetric Jacobi matrices this approach turned out to be fruitful and allowed even to recover the spectral measure of A and derive pointwise asymptotics of their formal eigenvector, see [22] for details. The method used in [22] is based on the diagonalisation of transfer matrices. This idea seems to be difficult to apply in our setting. Instead we extend some ideas from our recent articles [19, 20].
The structure of the article is as follows. In Sect. 2 we fix notation and collected some basic definitions used in the rest of the article. The relations between generalised eigenvectors and spectral properties of complex Jacobi matrices is studied in Sect. 3. In Sect. 4 we derive some general properties of quadratic forms on \({\mathbb {C}}^2\). Section 5 is devoted to the study of Turán determinants. In the last section, we give several classes of Jacobi matrices to which our results can be applied.
1.1 Notation
By \({\mathbb {Z}}\) and \({\mathbb {N}}\) we denote the integers and the positive integers, respectively. The non-negative integers are denoted by \({\mathbb {N}}_0\). The complex numbers are denoted by \({\mathbb {C}}\), whereas \({\mathbb {S}}^1\) is the set of the complex numbers of modulus 1. Moreover, by c we denote generic positive constants whose value may change from line to line.
2 Preliminaries
In this section we fix notation and we collected some basic definitions used in the rest of the article.
2.1 Matrices
By \(M_d({\mathbb {C}})\) we mean the space of d by d matrices with complex entries equipped with the operator norm. For brevity we sometimes identify complex numbers with \(M_1({\mathbb {C}})\).
For a sequence of matrices \((X_n : n \in {\mathbb {N}})\) and \(n_0, n_1 \in {\mathbb {N}}\) we set
For any matrix X, we form the matrix \(\overline{X}\) by taking complex conjugation of every entry of X, i.e.
Moreover, we denote by \(X^t\) and \(X^*\) the transpose and the Hermitian transpose of X, respectively.
For every \(X \in M_d({\mathbb {C}})\),
where \(\Vert X \Vert _t\) the t-norm of the matrix considered as the element of \({\mathbb {C}}^{d^2}\).
For any matrix X we define its real part by
Direct computation shows that for any matrix Y one has
and for every \(\alpha \in {\mathbb {R}}\)
Moreover,
2.2 Twisted Stolz Class
Let V be a normed vector space equipped with an additive mapping preserving the norm, which will be called conjugation. Specifically, we demand that for every \(x, y \in V\) one has
- (a)
\(\overline{x + y} = \overline{x} + \overline{y},\)
- (b)
\(\Vert \overline{x} \Vert = \Vert x \Vert \)
We define twisted total variation of a sequence of vectors \(x = (x_n : n \ge M)\) from V by
We say that x belongs to twisted Stolz class\(\widetilde{{\mathcal {D}}}_1(V)\) if x is bounded and \(\widetilde{{\mathcal {V}}}_1(x) < \infty \).
The following proposition collects some properties of the twisted total variation. The proof is straightforward.
Proposition 2.1
Twisted total variation has the following properties.
- (a)
For every \(x, y \in V\) one has \(\widetilde{{\mathcal {V}}}_1(x+y) \le \widetilde{{\mathcal {V}}}_1(x) + \widetilde{{\mathcal {V}}}_1(y)\)
- (b)
If \(x \in \widetilde{{\mathcal {D}}}_1(V)\) and \(x_{\infty } := \lim _{n \rightarrow \infty } x_{n}\) exists, then \(x_{\infty } = \overline{x_\infty }\).
Proposition 2.2
If V is a normed algebra and the conjugation is a homomorphism with respect to the multiplication, then
and if for all \(n \ge M\) the element \(x_n\) is invertible, then
Proof
Observe that
Hence,
Consequently,
Summing by n the formula (2.7) follows.
To prove (2.8), observe
Hence
and the formula (2.8) readily follows. \(\square \)
Let K be a compact subset of the complex plane. In the sequel we are going to use mostly the Banach algebra \(V = C \big ( K, M_d({\mathbb {C}}) \big )\) consisting of continuous mappings on K with values in \(M_d({\mathbb {C}})\). The associated norm is defined by
where \(\Vert \cdot \Vert \) is the operator norm. For any \(f \in V\) we define \(\overline{f}\) by
where the matrix \(\overline{f(x)}\) is defined in (2.1).
3 Generalised Eigenvectors and the Transfer Matrix
For a number \(z \in {\mathbb {C}}\), a non-zero sequence \(u = (u_n :n \in {\mathbb {N}}_0)\) will be called a generalised eigenvector provided that it satisfies the recurrence relation (1.2). For each non-zero \(\alpha \in {\mathbb {C}}^2\) there is a unique generalised eigenvector u such that \((u_0, u_1)^t = \alpha \).
Proposition 3.1
Let \(z \in {\mathbb {C}}\). The sequence u satisfies \({\mathcal {A}}u = z u\) if and only if
Proof
It immediately follows from the direct computations. \(\square \)
A matrix \({\mathcal {A}}\) is called determinate if for all \(z \in {\mathbb {C}}\) there exists a generalised eigenvector u associated with z such that \(u \notin \ell ^2({\mathbb {N}}_0)\). A matrix \({\mathcal {A}}\) is called indeterminate if it is not determinate.
Remark 3.2
If there is \(z \in {\mathbb {C}}\) and a generalised eigenvector u associated with z such that \(u \notin \ell ^2({\mathbb {N}}_0)\), then \({\mathcal {A}}\) is determinate (see the discussion after [2, Definition 2.5]).
The following Theorem has been proved in [3, Theorem 2.1].
Theorem 3.3
(Beckermann & Castro Smirnova) A matrix \({\mathcal {A}}\) is determinate if and only if it is proper.
Corollary 3.4
Let \(z_0 \in {\mathbb {C}}\). If every generalised eigenvector associated with \(z_0\) belongs to \(\ell ^2({\mathbb {N}}_0)\), then the matrix \({\mathcal {A}}\) is improper. Moreover, \(\sigma _{\mathrm {ess}}(A) = \emptyset \), \(\sigma (A) = {\mathbb {C}}\) and \(\sigma _{\mathrm {p}}(A_{\mathrm {max}}) = {\mathbb {C}}\).
Proof
Remark 3.2 implies that \({\mathcal {A}}\) is indeterminate. Hence, by Theorem 3.3\({\mathcal {A}}\) is improper. By [2, Theorem 2.11(a)] we obtain
Let \(z \in {\mathbb {C}}\). Let \(u=(u_n : n \in {\mathbb {N}}_0)\) satisfy (3.1) with \(u_0=1\). Since \(u \in \ell ^2({\mathbb {N}}_0)\) we obtain \(z \in \sigma _{\mathrm {p}}(A_{\mathrm {max}})\). Thus, \(\sigma _{\mathrm {p}}(A_{\mathrm {max}}) = {\mathbb {C}}\) and the proof is complete. \(\square \)
Proposition 3.5
Let \(z_0 \in {\mathbb {C}}\). If every generalised eigenvector u associated with \(z_0\) does not belong to \(\ell ^2({\mathbb {N}}_0)\), then the matrix \({\mathcal {A}}\) is proper, \(z_0 \notin \sigma _{\mathrm {p}}(A_{\mathrm {max}})\) and \(z_0 \in \sigma (A_{\mathrm {max}})\).
Proof
Remark 3.2 implies that \({\mathcal {A}}\) is determinate. Hence, Theorem 3.3 implies that \({\mathcal {A}}\) is proper.
Let the non-zero sequence u be such that \({\mathcal {A}}u = z_0 u\). Then by Proposition 3.1, the sequence u is a generalised eigenvector associated with \(z_0\). By the assumption \(u \notin \ell ^2({\mathbb {N}}_0)\). Therefore, \(u \notin {{\,\mathrm{Dom}\,}}(A_{\mathrm {max}})\), and consequently, \(z_0 \notin \sigma _{\mathrm {p}}(A_{\mathrm {max}})\).
Observe that if there is a vector u such that \(({\mathcal {A}}- z_0 {\text {Id}}) u = \delta _0\), then it has to satisfy the following recurrence relation
Hence u is a generalised eigenvector associated with \(z_0\). Thus, \(u \notin \ell ^2({\mathbb {N}}_0)\). Therefore, \(u \notin {{\,\mathrm{Dom}\,}}(A_{\mathrm {max}})\), and consequently, the operator \(A_{\mathrm {max}}- z_0 {\text {Id}}\) is not surjective, i.e. \(z_0 \in \sigma (A_{\mathrm {max}})\). \(\square \)
4 Uniform Non-degeneracy of Quadratic Forms
Let K be a compact subset of \({\mathbb {C}}\). Suppose that for each \(z \in K\) there is a sequence \(Q^z = (Q_n^z : n \in {\mathbb {N}})\) of quadratic forms on \({\mathbb {C}}^2\). We say that \(\{ Q^z : z \in K \}\) is uniformly non-degenerated if there are \(c_1> 0, c_2 > 0\) and \(M \ge 1\) such that for all \(v \in {\mathbb {C}}^2\), \(z \in K\) and \(n \ge M\)
In the rest of this article we will use the following matrix
Proposition 4.1
Let K be a compact subset of \({\mathbb {C}}\). Let \(\{ Q^z : z \in K \}\) be a family of quadratic forms on \({\mathbb {C}}^2\) given by
where each \(Y_n\) is continuous. If
where for any \(z \in K\)
then \(\{ Q^z : z \in K \}\) is uniformly non-degenerated on K.
Proof
Define
Since the matrix \({{\,\mathrm{Re}\,}}[E {\mathcal {Y}}(z)]\) is self-adjoint, it has two real eigenvalues \(\lambda _1(z) \le \lambda _2(z)\). Moreover, it has real entries for any \(z \in K\). Thus, by direct computation one can verify that
Therefore, by (4.2) and the continuity of \({\mathcal {Y}}\) on K, we obtain that \(\lambda _1(z)\) and \(\lambda _2(z)\) are bounded and of the same sign for every \(z \in K\). Consequently, there are constants \(c_1>0, c_2>0\) such that for any \(v \in {\mathbb {C}}^2\)
Fix \(\epsilon > 0\). Let M be such that for every \(n \ge M\)
Observe
Thus, by (4.3)
The conclusion follows by taking \(\epsilon \) sufficiently small. \(\square \)
5 Shifted Turán Determinants
In this section we define and study the convergence of Turán determinants.
5.1 Definitions and Basic Properties
Fix a positive integer N, a Jacobi matrix A and \(\gamma \in {\mathbb {S}}^1\). Let us define a sequence of quadratic forms \(Q^{z, \gamma }\) on \({\mathbb {C}}^2\) by the formula
where \(X_n\) and E are defined in (1.3) and (4.1), respectively. Then we define the N-shifted Turán determinants by
where u is the generalised eigenvector corresponding to \(z \in {\mathbb {C}}\) such that \((u_0, u_1)^t = \alpha \in {\mathbb {C}}^2\).
The study of the sequence \((S_n^\gamma : n \in {\mathbb {N}})\) is motivated by the following theorem, whose proof is analogous to the proof of [19, Theorem 7]. We include it for the sake of completeness.
Theorem 5.1
Let N be a positive integer and \(i \in \{0, 1, \ldots , N-1 \}\). Let K be a compact set. Assume that the family \(\big \{ \big (Q^{z, \gamma }_{nN+i} : n \in {\mathbb {N}}\big ) : z \in K \big \}\) defined in (5.1) is uniformly non-degenerated. Suppose that there are \(c'_1>0, c'_2>0\) and \(M' \ge 1\) such that for all \(\alpha \in {\mathbb {C}}^2\) such that \(\Vert \alpha \Vert = 1\), \(z \in K\) and \(n \ge M'\)
Then there is \(c > 1\) such that for all \(z \in K\), \(n \ge 1\) and for every generalised eigenvector u corresponding to z
Proof
Let \(z \in K\) and let u be a generalised eigenvector corresponding to z such that \(\alpha = (u_0, u_1)^t\). Observe that
Hence, it is enough to prove the conclusion for \(\Vert \alpha \Vert = 1\). Since the family \(\big \{ \big (Q^{z, \gamma }_{nN+i} : n \in {\mathbb {N}}\big ) : z \in K \big \}\) is uniformly non-degenerated, there are \(c_1> 0, c_2 > 0\) and \(M \ge M'\) such that for all \(n \ge M\)
Hence, by (5.3)
for any \(n \ge M\). Since each \(u_n\) is a continuous function of z we can find another constant \(c>1\) such that
for any \(n \ge 1\). In view of (5.4) the conclusion follows. \(\square \)
5.2 The Proof of the Convergence
In this section we are going to show that \((S_{nN+i} : n \in {\mathbb {N}})\) is uniformly convergent to some function.
Proposition 5.2
An alternative formula for \(S_n^\gamma \) is
where
Proof
By (5.2) and \(\gamma ^{-1} = \overline{\gamma }\) one has
where
Thus,
Hence, by (2.3)
By direct computations one can verify that for any \(X \in M_2({\mathbb {C}})\)
Thus
and the formula (5.5) follows. \(\square \)
The next lemma provides the main algebraic part of our main result.
Lemma 5.3
Let u be a generalised eigenvector associated with \(z \in {\mathbb {C}}\) and \(\alpha \in {\mathbb {C}}^2\). Then
Proof
By Proposition 5.2
where
Therefore, by the Schwarz inequality and (2.5)
and the formula (5.7) follows. The proof is complete. \(\square \)
We are ready to prove the main result of this article.
Theorem 5.4
Let N be a positive integer, \(i \in \{0, 1, \ldots , N-1 \}\) and \(\gamma \in {\mathbb {S}}^1\). Suppose that \(K \subset {\mathbb {C}}\) and \(\Omega \subset {\mathbb {C}}^2 \setminus \{ (0,0) \}\) are compact connected sets. Assume that
- (a)
\(\bigg ( \frac{a_{(n+1)N+i-1}}{a_{nN+i-1}} X_{nN+i} : n \in {\mathbb {N}}\bigg ) \in \widetilde{{\mathcal {D}}}_1\big ( K, {\text {GL}}(2, {\mathbb {C}}) \big )\)
- (b)
the family \(\big \{ \big ( \widetilde{Q}_{nN+i}^{z, \gamma } : n \in {\mathbb {N}}\big ) : z \in K \big \}\) defined in (5.6) is uniformly non-degenerated.
Then the limit
exists, where the sequence \((S_n^\gamma : n \ge 1)\) is defined in (5.2). Moreover, |g| is a strictly positive continuous function and the convergence in (5.10) is uniform on \(\Omega \times K\).
Proof
We are going to show (5.10) and the existence of \(c_1 > 0\), \(c_2>0\) and \(M > 0\) such that
for all \(\alpha \in \Omega \), \(z \in K\) and \(n > M\).
Given a generalised eigenvector corresponding to \(z \in K\) such that \((u_0, u_1)^t = \alpha \in \Omega \), we can easily see that each \(u_n\), considered as a function of \(\alpha \) and z, is continuous on \(\Omega \times K\). As a consequence, the function \(S_n^\gamma \) is continuous on \(\Omega \times K\). Since \(\big \{ \big ( \widetilde{Q}^{z, \gamma }_{nN+i} : n \in {\mathbb {N}}\big ) : z \in K \big \}\) is uniformly non-degenerated, then by (5.5) there is \(M > 0\) such that for each \(n \ge M\) the function \(S_{nN+i}^\gamma \) has no zeros and has the same sign for all \(z \in K\) and \(\alpha \in \Omega \). Otherwise, by the connectedness of \(\Omega \times K\), there would be \(\alpha \in \Omega \) and \(z \in K\) such that \(S_{nN+i}^\gamma (\alpha , z) = 0\), which would contradict the non-degeneracy of \(Q_{nN+i}^{z, \gamma }\).
Thus, in order to prove (5.10) and (5.11), it is enough to show that
where \((F_n : n \ge M)\) is a sequence of functions on \(\Omega \times K\) defined by
Indeed,
and the condition (5.12) implies that the product (5.13) is convergent uniformly on \(\Omega \times K\) to a continuous function of a definite sign. This implies (5.11).
It remains to prove (5.12). Since \(\big \{ \big ( \widetilde{Q}_{nN+i}^{\gamma , z} : n \in {\mathbb {N}}\big ) : z \in K \big \}\) is uniformly non-degenerated, we have
for all \(n \ge M\), \(\alpha \in \Omega \) and \(\lambda \in K\). Hence, by Lemma 5.3
Hence, (a) implies (5.12). The proof is complete. \(\square \)
Now, we can give proofs of Theorems 1.1 and 1.2.
Proof of Theorem 1.1
Observe that
uniformly with respect to \(z \in K\). Hence, by Proposition 4.1 and 5.2 the family \(\big \{ \big ( \widetilde{Q}_{nN+i}^{z, \gamma } : n \in {\mathbb {N}}\big ) : z \in K \big \}\) is uniformly non-degenerated.
Observe that
implies that every entry of \(X_{nN+i}\) belongs to \(\widetilde{{\mathcal {D}}}_1(K, {\mathbb {C}})\). We have
Thus, by Proposition 2.2
Since this sequence tends to 1, again by Proposition 2.2,
and consequently, also
Hence, the hypotheses of Theorem 5.4 are satisfied. Finally, the conclusion follows from Theorem 5.1. \(\square \)
Proof of Theorem 1.2
The conclusion follows from Theorem 1.1 combined with Corollary 3.4 and Proposition 3.5. \(\square \)
6 Applications
In this section we present applications of the main results of this article. To simplify the exposition let us first introduce some notation. For any positive integer N, we say that a complex sequence \((x_n : n \in {\mathbb {N}})\) belongs to \(\widetilde{{\mathcal {D}}}_1^N({\mathbb {C}})\) if for every \(i \in \{0, 1, \ldots , N-1 \}\)
The following proposition will be used repeatedly in the rest of this section.
Proposition 6.1
Let N a positive integer and \(\gamma \in {\mathbb {S}}^1\). Suppose that for some \(i \in \{0, 1, \ldots , N-1 \}\),
Then for every compact \(K \subset \gamma {\mathbb {R}}\),
Proof
Let K be a compact subset of \(\gamma {\mathbb {R}}\). Let \(z \in K\), then \(z = \gamma x\) for some \(x \in {\mathbb {R}}\). Set
Then
Thus, by (2.2), we get
Thus, by the compactness of K the result follows. \(\square \)
6.1 Asymptotically Periodic Case
Let N be a positive integer, and let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be N-periodic complex sequences such that \(\alpha _n \ne 0\) for any n. Let us define
Let \(A_{\mathrm {per}}\) be the Jacobi matrix on \(\ell ^2({\mathbb {N}}_0)\) associated with the sequences \((\alpha _n : n \in {\mathbb {N}}_0)\) and \((\beta _n : n \in {\mathbb {N}}_0)\). Then \(A_{\mathrm {per}}\) is bounded and
(see, e.g. [23, Theorem 1]). For a detailed study of \(A_{\mathrm {per}}\), see [4] and [15]. It is known that \(\sigma _{\mathrm {ess}}(A_{\mathrm {per}})\), as the subset of \({\mathbb {C}}\), has empty interior and \({\mathbb {C}}\setminus \sigma _{\mathrm {ess}}(A_{\mathrm {per}})\) is connected (see, e.g. [2, Section 4.3] or [4, Lemma 2.5]).
From the point of view of spectral theory it is natural to consider Jacobi matrices which are compact perturbations of \(A_{\mathrm {per}}\), that is
Let us consider the case when \(\alpha _n > 0\) and \(\beta _n \in {\mathbb {R}}\). In [9] were formulated conditions for \(N=2\) assuring that the discrete spectrum of A is empty. Finally, let us remark that the case of symmetric \({\mathcal {A}}\) is well-developed, see e.g. [22, Section 7.1] and the references therein.
We are ready to state our result.
Corollary 6.2
Let N be a positive integer and \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be realN-periodic sequences such that \(\alpha _n > 0\) for every n. Suppose that the sequences \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) belong to \(\widetilde{{\mathcal {D}}}_1^N({\mathbb {C}})\) and satisfy
Let \({\mathfrak {X}}_0\) be defined by (6.1) and let K be a compact subset of
Then there is a constant \(c>1\) such that for every generalised eigenvector u associated with \(x \in K\) and for any \(n \ge 1\)
In particular, \({\mathcal {A}}\) is proper, \(K \cap \sigma _{\mathrm {p}}(A) = \emptyset \) and \(K \subset \sigma (A)\).
Proof
We are going to show that the hypotheses of Theorem 1.1 are satisfied for any fixed \(i \in \{0, 1, \ldots , N-1 \}\).
Observe that
Thus \(\gamma = 1\). Let \(z \in {\mathbb {C}}\). Then for any \(j \in \{0, 1, \ldots , N-1 \}\)
Hence,
It implies
and (1.4) is satisfied. Moreover, for any \(x \in K\)
Since
one has \({\text {discr}}\, {\mathfrak {X}}_i = {\text {discr}}\, {\mathfrak {X}}_0\), and consequently, for any \(x \in K\)
It remains to prove (1.6). By (2.8)
Thus, by (2.7)
By Proposition 6.1
Hence, by (2.7)
and (1.6) is proven. So the hypotheses of Theorem 1.1 are satisfied and the conclusion follows. \(\square \)
6.2 Periodic Modulations
Let N be a positive integer, and let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be N-periodic complex sequences such that \(\alpha _n \ne 0\) for any n. Let \({\mathfrak {X}}_i\) be defined in (6.1). If the sequences \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) satisfy
then A will be called a Jacobi matrix with periodically modulated entries. The case when A is a symmetric operator is well-developed, see e.g. [22, Section 7.2] and the references therein. It seems that there are virtually no results when A is not symmetric. A notable exception comes from the article [17]. Below we present a result in this direction.
Corollary 6.3
Let N be a positive integer and let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be realN-periodic sequences such that \(\alpha _n > 0\) for every n. Suppose that for some \(\gamma \in {\mathbb {S}}^1\)
and
Let (6.2) be satisfied, \({\mathfrak {X}}_0\) be defined by (6.1) and K be a compact subset of \(\gamma {\mathbb {R}}\). If \(|{{\,\mathrm{tr}\,}}{\mathfrak {X}}_0(0)| < 2\), then there is a constant \(c>1\) such that for every generalised eigenvector u associated with \(z \in K\) and for any \(n \ge 1\)
In particular, if
then \({\mathcal {A}}\) is proper, \(\gamma {\mathbb {R}}\cap \sigma _{\mathrm {p}}(A) = \emptyset \) and \(\gamma {\mathbb {R}}\subset \sigma (A)\). Conversely, if
then \({\mathcal {A}}\) is improper, \(\sigma _{\mathrm {ess}}(A) = \emptyset \), \(\sigma (A) = {\mathbb {C}}\) and \(\sigma _{\mathrm {p}}(A_{\mathrm {max}}) = {\mathbb {C}}\).
Proof
We are going to show that the hypotheses of Theorem 1.1 are satisfied. Let us fix \(i \in \{0, 1, \ldots , N-1 \}\).
Let \(z \in {\mathbb {C}}\). Then for any \(j \in \{0, 1, \ldots , N-1 \}\)
Hence,
It implies
and (1.4) is satisfied. Moreover,
and similarly as in the proof of Corollary 6.2
It remains to prove (1.6). By Proposition 6.1
Hence, by (2.7)
and (1.6) is proven. So the hypotheses of Theorem 1.1 are satisfied and the conclusion follows. \(\square \)
The following proposition gives a simple method of construction sequences satisfying hypotheses of Corollary 6.3.
Proposition 6.4
Let N be a positive integer and \(\gamma \in {\mathbb {S}}^1\). Let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be N-periodic sequences of positive and real numbers, respectively. Suppose we are given a complex sequence \((\tilde{a}_n : n \in {\mathbb {N}}_0)\) such that \(\tilde{a}_n \ne 0\) for all n, and
and
Set
If \(|{\mathfrak {X}}_0(0)|<2\), where \({\mathfrak {X}}_0\) is defined in (6.1), then the Jacobi matrix corresponding to the sequences \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) satisfy the hypotheses of Corollary 6.3.
Proof
The condition (6.3) follows from Proposition 2.2 applied to (6.5) and
Finally, condition (6.2) follows from (6.4), (6.6) and
The proof is complete. \(\square \)
6.3 Additive Perturbations
Proposition 6.5
Suppose that the Jacobi matrix A satisfies the hypotheses of Corollary 6.3. Let \((x_n : n \in {\mathbb {N}}_0)\) and \((y_n : n \in {\mathbb {N}}_0)\) be sequences such that
and
Define
If \(\tilde{a}_n \ne 0\) for all n, then the Jacobi matrix corresponding to the sequences \((\tilde{a}_n : n \ge 0)\) and \((\tilde{b}_n : n \ge 0)\) satisfy the hypotheses of Corollary 6.3 for the same \(\alpha , \beta \) and \(\gamma \).
Proof
We have
Hence, by (6.7) and Proposition 2.1
Moreover, by (6.8)
Therefore, by Proposition 2.2
Thus, the condition (6.3) is implied by
and Proposition 2.2. Finally, condition (6.2) follows from (6.9), (6.10) and
The proof is complete. \(\square \)
The following corollary concerns complex perturbations of real Jacobi matrices.
Corollary 6.6
Suppose that \((a_n : n \in {\mathbb {N}}_0)\) and \((b_n : n \in {\mathbb {N}}_0)\) satisfy the hypotheses of Corollary 6.3. Suppose that \(a_n > 0\) and \(b_n \in {\mathbb {R}}\) for every n. Moreover, let the real sequences \((x_n : n \ge 0)\) and \((y_n : n \ge 0)\) are such that
and
Define
where \(\epsilon _n = (-1)^{\lfloor n/N \rfloor }\). Then the sequences \((\tilde{a}_n : n \ge 0)\) and \((\tilde{b}_n : n \ge 0)\) again satisfy the assumptions of Corollary 6.3 for the same \(\alpha , \beta \) and \(\gamma \).
Proof
Let \(j \in \{ 0, 1, \ldots , N-1 \}\). Since the sequences a and x are real valued, one has
and similarly
Hence, the conclusion follows from Proposition 6.5. \(\square \)
Let us illustrate Corollary 6.6 with the following example.
Example
Let N be a positive integer and let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be N-periodic sequences of positive and real numbers, respectively. Suppose that \(|{{\,\mathrm{tr}\,}}{\mathfrak {X}}_0(0)| < 2\), where \({\mathfrak {X}}_0\) is defined in (6.1). Let \(0 \le \mu < \lambda \). Define
Then for any compact \(K \subset {\mathbb {R}}\) there is a constant \(c>1\) such that for every generalised eigenvector u associated with \(z \in K\) and for any \(n \ge 1\)
To prove this claim let us observe that the Proposition 6.4 applied to
implies that the sequences
satisfy the assumptions of Corollary 6.3. Let
Since
it satisfies conditions (6.7) and (6.8). Therefore, the conclusion follows from Corollary 6.6.
6.4 Blend
Let N be a positive integer, and let \((\alpha _n : n \in {\mathbb {Z}})\) and \((\beta _n : n \in {\mathbb {Z}})\) be N-periodic sequences of complex numbers such that \(\alpha _n \ne 0\) for any n. Suppose that sequences \(\tilde{a}, \tilde{b}, \tilde{c}\) and \(\tilde{d}\) satisfy
and for every n one has \(\tilde{a}_n \ne 0\) and \(\tilde{c}_n \ne 0\). For \(k \ge 0\) and \(i \in \{0, 1, \ldots , N+1 \}\), we define
Jacobi matrix A will be called N-periodic blend if it satisfies (6.11) and (6.12). This class of matrices has been studied previously in [6, Theorem 5], [22, Section 7.3] and [21] but only in the case when A is self-adjoint.
Corollary 6.7
Let Jacobi matrix A be N-periodic blend, where \(\alpha _n > 0\) and \(\beta _n \in {\mathbb {R}}\) for any n. Suppose that
and
For \(i \in \{1, 2, \ldots , N \}\) we set
where \({\mathfrak {B}}_j\) is defined in (6.1) and
Let K be a compact subset of
Then there is a constant \(c>1\) such that for any generalised eigenvector associated with \(z \in K\), any \(n \ge 1\) and any \(i \in \{1, 2, \ldots , N \}\)
In particular, \({\mathcal {A}}\) is proper, \(K \cap \sigma _{\mathrm {p}}(A) = \emptyset \) and \(K \subset \sigma (A)\).
Proof
We are going to show that the hypotheses of Theorem 1.1 are satisfied for any fixed \(i \in \{1, 2, \ldots , N \}\).
Thus \(\gamma = 1\). Define
For any \(j \in \{ 1, 2, \ldots , N-1 \}\) one has \(B_{n(N+2)+j} = \tilde{B}_{nN+j}\). Thus,
where
A direct computation shows that
where
and
In particular,
and since for any \(j \in \{1, 2, \ldots , N-1 \}\)
one obtains
Hence, by (6.16) and (6.24) the condition (1.4) is satisfied.
Observe that by Proposition 2.1 combined with (6.12), (6.13) and (6.14) one has \(\delta \in {\mathbb {R}}\). Thus, for any \(x \in K\)
Since
one obtains
and consequently, \(K \subset \Lambda \).
Proposition 2.2 with (6.14) implies
and for every \(j \in \{0, 1, \ldots , N-1 \}\)
Thus, by Proposition 2.2 with (6.14) and (6.26), one obtains that for each \(j' \in \{1, \ldots , N+1 \}\)
By combining (6.14), (6.25) and (6.27) with Proposition 6.1 one gets for any \(j \in \{0, 1, \ldots , N-1 \}\)
Finally, and by repeated application of Propositions 2.1 and 2.2 to (6.18)–(6.23) we can verify that
which together with (6.17) and (6.28) implies
Consequently, the condition (1.6) is satisfied. By (6.11) and (6.12) the sequence \(\big ( a_{n(N+2)+i-1} : n \in {\mathbb {N}}\big )\) is bounded above and below by positive constants. Therefore, (6.15) follows from Theorem 1.1. Finally, by (6.15) we obtain that u is not square summable and by Proposition 3.5 the result follows. \(\square \)
Remark 6.8
For \(i \in \{0, N+1 \}\) the hypotheses of Theorem 1.1 are not satisfied so we cannot claim that (6.15) holds also in this case. In fact, for \(i=0\) the bound (6.15) holds but it is not the case for \(i=N+1\) (see the proof of [21, Claim 4.12]).
Notes
For any matrix X we form the matrix \(\overline{X}\) by taking the complex conjugation of every entry of X.
A discriminant of a \(2 \times 2\) matrix X is \({\text {discr}}\,X = ({{\,\mathrm{tr}\,}}X)^2 - 4 \det X\).
For any operator X by \(\sigma (X)\), \(\sigma _{\mathrm {ess}}(X)\) and \(\sigma _{\mathrm {p}}(X)\) we denote the spectrum, the essential spectrum and the point spectrum of X, respectively.
References
Arlinskiĭ, Y., Tsekanovskiĭ, E.: Non-self-adjoint Jacobi matrices with a rank-one imaginary part. J. Funct. Anal. 241(2), 383–438 (2006)
Beckermann, B.: Complex Jacobi matrices. J. Comput. Appl. Math. 127(1–2), 17–65 (2001)
Beckermann, B., Smirnova, M Castro: On the determinacy of complex Jacobi matrices. Math. Scand. 95(2), 285–298 (2004)
Beckermann, B., Kaliaguine, V.: The diagonal of the Padé table and the approximation of the Weyl function of second-order difference operators. Constr. Approx. 13(4), 481–510 (1997)
Bourget, O., Sambou, D., Taarabt, A.: On the spectral properties of non-selfadjoint discrete Schrödinger operators (2018). arXiv:1807.01282
Boutet de Monvel, A., Janas, J., Naboko, S.: Unbounded Jacobi matrices with a few gaps in the essential spectrum: constructive examples. Integral Equ. Oper. Theory 69(2), 151–170 (2011)
Christiansen, J.S., Zinchenko, M.: Lieb-Thirring inequalities for complex finite gap Jacobi matrices. Lett. Math. Phys. 107(9), 1769–1780 (2017)
Dombrowski, J.: Tridiagonal matrix representations of cyclic selfadjoint operators. II. Pac. J. Math. 120(1), 47–53 (1985)
Egorova, I., Golinskii, L.: Discrete spectrum for complex perturbations of periodic Jacobi matrices. J. Differ. Equ. Appl. 11(14), 1185–1203 (2005)
Egorova, I., Golinskii, L.: On the location of the discrete spectrum for complex Jacobi matrices. Proc. Am. Math. Soc. 133(12), 3635–3641 (2005)
Golinskii, L., Serra-Capizzano, S.: The asymptotic properties of the spectrum of nonsymmetrically perturbed Jacobi matrix sequences. J. Approx. Theory 144(1), 84–102 (2007)
Golinskiĭ, L.B., Egorova, I.E.: On limit sets for the discrete spectrum of complex Jacobi matrices. Mater. Stab. 196(6), 43–70 (2005)
Hansmann, M., Katriel, G.: Inequalities for the eigenvalues of non-selfadjoint Jacobi operators. Complex Anal. Oper. Theory 5(1), 197–218 (2011)
Malejki, M.: Asymptotics of the discrete spectrum for complex Jacobi matrices. Opuscula Math. 34(1), 139–160 (2014)
Papanicolaou, V.G.: Periodic Jacobi operators with complex coefficients (2019). arXiv:1909.09206
Schoutens, W.: Stochastic processes and orthogonal polynomials. Lecture Notes in Statistics, vol. 146. Springer, New York (2000)
Siegl, P., Štampach, F.: Spectral analysis of non-self-adjoint Jacobi operator associated with Jacobian elliptic functions. Oper. Matrices 11(4), 901–928 (2017)
Simon, B.: The classical moment problem as a self-adjoint finite difference operator. Adv. Math. 137(1), 82–203 (1998)
Świderski, G.: Spectral properties of block Jacobi matrices. Constr. Approx. 48(2), 301–335 (2018)
Świderski, G., Trojan, B.: Periodic perturbations of unbounded Jacobi matrices I: asymptotics of generalized eigenvectors. J. Approx. Theory 216, 38–66 (2017)
Świderski, G., Trojan, B.: Asymptotic behaviour of Christoffel–Darboux kernel via three-term recurrence relation I (2019). arXiv:1909.09107
Świderski, G., Trojan, B.: Asymptotics of orthogonal polynomials with slowly oscillating recurrence coefficients. J Funct Anal 278(3), 108326–108355 (2020)
Vázquez, A.A.: The spectrum of a periodic complex Jacobi matrix revisited. J. Approx. Theory 105(2), 344–351 (2000)
Štampach, F., Št’ovíček, P.: The characteristic function for Jacobi matrices with applications. Linear Algebra Appl. 438(11), 4130–4155 (2013)
Štampach, František: The characteristic function for complex doubly infinite Jacobi matrices. Integral Equ. Oper. Theory 88(4), 501–534 (2017)
Acknowledgements
The author would like to thank an anonymous referee for helpful suggestions. The author was partialy supported by the Foundation for Polish Science (FNP) and by long term structural funding: Methusalem grant of the Flemish Government. Part of this work has been done while the author was employed by the Polish Academy of Sciences.
Author information
Authors and Affiliations
Corresponding author
Additional information
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 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
Świderski, G. Spectral Properties of Some Complex Jacobi Matrices. Integr. Equ. Oper. Theory 92, 11 (2020). https://doi.org/10.1007/s00020-020-2569-4
Received:
Revised:
Published:
DOI: https://doi.org/10.1007/s00020-020-2569-4