 Research
 Open Access
 Published:
Stability of deficiency indices for discrete Hamiltonian systems under bounded perturbations
Advances in Difference Equations volume 2020, Article number: 660 (2020)
Abstract
This paper is concerned with stability of deficiency indices for discrete Hamiltonian systems under perturbations. By applying the perturbation theory of Hermitian linear relations we establish the invariance of deficiency indices for discrete Hamiltonian systems under bounded perturbations. As a consequence, we obtain the invariance of limit types for the systems under bounded perturbations. In particular, we build several criteria of the invariance of the limit circle and limit point cases for the systems. Some of these results improve and extend some previous results.
Introduction
In this paper, we consider the following discrete linear Hamiltonian systems with one singular endpoint:
where I is the integer set \(\{t\}_{t=0}^{+\infty }\), J is the canonical symplectic matrix, that is,
\(I_{n}\) is the \(n\times n\) unit matrix, △ is the forward difference operator, that is, \(\triangle y(t)=y(t+1)y(t)\); the weight function \(W(t)=\operatorname{diag}\{W_{1}(t),W_{2}(t)\}\), where \(W_{1}(t)\) and \(W_{2}(t)\) are \(n\times n\) nonnegative Hermitian matrices, the matrix \(P(t)\) can be written as
where \(A(t)\), \(B(t)\), and \(C(t)\) are \(n\times n\) complexvalued matrices, \(B(t)\) and \(C(t)\) are Hermitian matrices, \(A^{*}(t)\) is the complex conjugate transpose of \(A(t)\), the partial right shift operator \(R(y)(t)=(u^{T}(t+1), v^{T}(t))^{T}\) with \(y(t)=(u^{T}(t), v^{T}(t))^{T}\) and \(u(t)\), \(v(t)\in \mathbb{C}^{n}\), and λ is a complex spectral parameter.
To ensure the existence and uniqueness of the solution of any initial value problem for (\(1.1_{\lambda }\)), we always assume that
 \((A_{1})\):

\(I_{n}A(t)\) is invertible in I.
For any \(\lambda \in \mathbb{C}\), by \((A_{1})\), (\(1.1_{\lambda }\)) can be rewritten as a discrete symplectic system
in the sense of [1, 2], where \(E(t)=(I_{n}A(t))^{1}\), and
satisfies
Some interesting issues related to discrete symplectic system (\(1.2_{\lambda }\)), such as associated maximal and minimal linear relations, Weyl–Titchmarsh theory, and nonhomogeneous problems, were studied in [1–3].
Discrete Hamiltonian systems are of growing interest in recent years because of their wide applications (see [3–12] and references therein). Although discrete Hamiltonian systems originate from the discretization of continuous Hamiltonian systems, there is an important difference between them. It is well known that under certain condition, the minimal and maximal operators generated by continuous Hamiltonian systems are densely defined and singlevalued, respectively [13, 14]. However, the minimal and maximal operators generated by the general discrete Hamiltonian systems may be neither densely defined nor singlevalued in general even though the definiteness condition is satisfied [5–7, 15, 16]. This fact was ignored in some existing literature including [3, 17]. This is an essential difficulty that we would encounter in the study of the stability of deficiency indices for discrete Hamiltonian systems under perturbations because the classical operator theory is not applicable in this case.
To overcome this difficulty, we will apply the theory of linear relations to study system (\(1.1_{\lambda }\)). In 1961, Arens [18] initiated the study of linear relations, and his work was followed by many scholars [19–30]. In particular, perturbation theory of linear relations has received lots of attention, and some excellent results have been obtained, including stability of closedness, boundedness, selfadjointness, and spectra of linear relations (see [25, 27–30]). Recently, we studied the stability of deficiency indices of Hermitian relations and obtained several criteria of invariance of deficiency indices of Hermitian relations under relatively bounded perturbations [31]. Then, using our perturbation results, we obtained the invariance of deficiency indices of secondorder symmetric linear difference equations under perturbations [32], which can be seen as the simplest example of system (\(1.1_{\lambda }\)). In this paper, we apply the results given in [31] to study the stability of deficiency indices for (\(1.1_{\lambda }\)).
It is well known that the deficiency indices of symmetric operators or Hermitian relations play a decisive role in their selfadjoint extensions. By the generalized von Neumann theory [19] and the GKN theory [26] a symmetric operator or Hermitian relation has a selfadjoint extension if and only if its positive and negative deficiency indices are equal; moreover, the numbers and types of boundary conditions of its selfadjoint extensions are determined by its deficiency indices. So it is necessary to pay attention to the stability of their deficiency indices under perturbations.
To the best of our knowledge, there seems to be a few results about stability of deficiency indices for discrete Hamiltonian systems under perturbations. In 2013, by using the generalized von Neumann theory Zheng [33] obtained the invariance of the minimal and maximal deficiency indices for (\(1.1_{\lambda }\)) with \(P(t)\) under bounded perturbations. In the present paper, we apply the perturbation theory of Hermitian relations obtained in [31] to establish several criteria of stability of deficiency indices for (\(1.1_{\lambda }\)) with both of \(P(t)\) and \(W(t)\) under bounded perturbations. Our technique is obviously different from that in [33]. By using it we could obtain the invariance of any deficiency index for (\(1.1_{\lambda }\)) with \(P(t)\) under bounded perturbations. These results not only cover the results obtained in [33], but also some of them improve or weaken the conditions of the existing results. In addition, we note that almost all criteria for limit types of (\(1.1_{\lambda }\)) were established only for the limit point and limit circle cases. However, there are seldom criteria of the intermediate cases for (\(1.1_{\lambda }\)). We remark that the results given in the present paper provide an alternate way to determine the limit types of system (\(1.1_{\lambda }\)).
The rest of this paper is organized as follows. In Sect. 2, we introduce some notations, basic concepts, and useful fundamental results about linear relations and recall some fundamental results about system (\(1.1_{\lambda }\)). In Sect. 3, we establish several criteria of stability of deficiency indices for system (\(1.1_{\lambda }\)) under bounded perturbations by using the perturbation theory of Hermitian relations obtained in [31]. As a consequence, we obtain the invariance of limit types for the systems under bounded perturbations. In particular, we build several criteria of the invariance of the limit circle and limit point cases for the systems. Finally, we present an example to illustrate the perturbation results obtained in Sect. 4.
Preliminaries
This section is divided into two parts. In Sect. 2.1, we introduce some notations, basic concepts, and fundamental results about linear relations. In Sect. 2.2, we first recall the maximal, preminimal, and minimal relations corresponding to system (\(1.1_{\lambda }\)). Then we list some useful results about (\(1.1_{\lambda }\)), which will be used in the sequent sections.
Some notations, concepts, and results about linear relations
By \({\mathbb{C}}\) and \({\mathbb{R}}\) we denote the sets of complex numbers and real numbers, respectively. Let X be a complex Hilbert space with inner product \(\langle \cdot ,\cdot \rangle \), and let T be a linear relation in the product space \(X^{2}\) with the following induced inner product, still denoted by \(\langle \cdot ,\cdot \rangle \) without any confusion:
The domain \(D(T)\) and range \(R(T)\) of T are respectively defined by
Its adjoint is defined by
Further, denote
It is evident that \(T(0)=\{0\}\) if and only if T can uniquely determine a linear operator from \(D(T)\) into X whose graph is T.
A linear relation T is called closed if it is a closed subspace in \(X^{2}\), Hermitian if \(T\subset T^{*}\), and selfadjoint if \(T=T^{*}\).
Let T and S be two linear relations in \(X^{2}\), and let \(\lambda \in \mathbb{C}\). Define
The subspace \(R(T\lambda I)^{\perp }\) and the number \(d_{\lambda }(T):=\dim (R(T\lambda I))^{\perp }\) are called the deficiency space and deficiency index of T and λ, respectively [26, Definition 2.3], where \(I:=\{(x,x):x\in X\}\). It can be easily verified that the deficiency indices of T and T̅ with the same λ are equal. Further, if T is Hermitian, then \(d_{\lambda }(T)\) is constant in the upper and lower halfplanes according to [26, Theorem 2.3]. Denote \(d_{\pm }(T):=d_{\pm i}(T)\). We say that \((d_{+}(T), d_{}(T))\) are the deficiency indices of T and that \(d_{\pm }(T)\) are the positive and negative deficiency indices of T, respectively.
In the following, we recall concepts of the norm of a linear relation and relatively boundedness of two linear relations.
Let T be a linear relation in \(X^{2}\). The quotient space \(X/{\overline{T(0)}}\) is a Hilbert space [34] with the inner product
where \(x=x_{0}+x^{\bot }\) and \(y=y_{0}+y^{\bot }\) with \(x_{0},y_{0}\in \overline{T(0)}\) and \(x^{\bot },y^{\bot }\in {T(0)}^{\bot }\).
Now define the natural quotient map
Further, define
where \(G(Q_{T})\) is the graph of \(Q_{T}\). Then \(\tilde{T}_{s}\) is a linear operator with domain \(D(T)\) [25, Proposition II.1.2]. The norm of T at \(x\in D(T)\) and the norm of T are defined by, respectively (see [25, II.1]),
If \(\T\<\infty \), then T is said to be bounded [30].
Definition 2.1
([25, Definition VII.2.1])
Let S and T be two linear relations in \(X^{2}\).

(1)
S is said to be Tbounded if \(D(T)\subset D(S)\) and there exists a constant \(c\geq 0\) such that
$$ \bigl\Vert S(x) \bigr\Vert \leq c\bigl( \Vert x \Vert + \bigl\Vert T(x) \bigr\Vert \bigr),\quad x\in D(T). $$ 
(2)
If S is Tbounded, then the infimum of all numbers \(b\geq 0\) for which there exists a constant \(a\geq 0\) such that
$$ \bigl\Vert S(x) \bigr\Vert \leq a \Vert x \Vert +b \bigl\Vert T(x) \bigr\Vert ,\quad x\in D(T), $$is called the Tbound of S.
Next, we recall a criterion of stability of defect indices of Hermitian relations under relatively bounded perturbations, which will take a key role in the study of stability of deficiency indices for (\(1.1_{\lambda }\)) under perturbations.
Lemma 2.1
([31, Corollary 3.1])
Let T and S be Hermitian relations in \(X^{2}\) with \(D(T)\subset D(S)\) and \(S(0)\subset T(0)\). If S is Tbounded with Tbound less than 1, then \(d_{\pm }(T+S)= d_{\pm }(T)\).
Lemma 2.2
([30, Proposition 2.1])
Let T and S be two linear relations in \(X^{2}\). Then \(T=(TS)+S\) if and only if \(D(T)\subset D(S)\) and \(S(0)\subset T(0)\).
Some fundamental results about system (\(1.1_{\lambda }\))
In this subsection, we first introduce the concepts of maximal, preminimal, and minimal relations and then list some useful results about system (\(1.1_{\lambda }\)).
We denote
with the semiscalar product
Further, we define \(\y\:=(\langle y,y\rangle )^{1/2}\) for \(y\in \mathcal{L}^{2}_{W}(I)\). Since the weight function \(W(t)\) may be singular in I, \(\\cdot \\) is a seminorm. We denote
Then \(L^{2}_{W}(I)\) is a Hilbert space with the inner product \(\langle \cdot ,\cdot \rangle \) (see [3, Lemma 2.5]). For a function \(y\in \mathcal{L}^{2}_{W}(I)\), we denote by \([y]\) the corresponding class in \(L^{2}_{W}(I)\). Set
The natural difference operator corresponding to system (\(1.1_{\lambda }\)) is
Set
where H is called the maximal relation, and \(H_{00}\) is called the preminimal relation corresponding to \(\mathfrak{L}\) or system (\(1.1_{\lambda }\)); \(H_{0}:=\overline{H}_{00}\) is called the minimal relation corresponding to \(\mathfrak{L}\) or to system (\(1.1_{\lambda }\)).
A classification of \(\mathfrak{L}\) or (\(1.1_{\lambda }\)) at \(t=+\infty \) is given in terms of \(d_{\pm }(H_{0})\) in [3, Definition 5.1]. In particular, \(\mathfrak{L}\) is said to be in the limit point case (l.p.c.) at \(t=+\infty \) if \(d_{+}(H_{0})=d_{}(H_{0})=n\), and in the limit circle case (l.c.c.) at \(t=+\infty \) if \(d_{+}(H_{0})=d_{}(H_{0})=2n\). We refer to the cases \(n< d_{\pm }(H_{0})<2n\) as \(\mathfrak{L}\) in the intermediate cases at \(t=+\infty \).
By \(n_{\lambda }(H_{0})\) we denote the number of linearly independent solutions of (\(1.1_{\lambda }\)) in \(\mathcal{L}^{2}_{W}(I)\). By [5, Corollary 5.1] we know that \(n_{\lambda }(H_{0})=d_{\lambda }(H_{0})\) if and only if the following condition is satisfied:
 \((A_{2})\):

There exists a finite subset \(I_{0}:=[s_{0}, t_{0}]\subset I\) such that for some \(\lambda \in \mathbb{C}\) and any nontrivial solution \(y(t)\) of (\(1.1_{\lambda }\)),
$$ \sum_{t\in I_{0}}R(y)^{*}(t)W(t)R(y) (t)>0. $$(2.1)
Remark 2.1
By [5, Theorem 3.1] \(H_{0}\) and \({H}_{00}\) are both Hermitian relations in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\). Condition \((A_{2})\) is called the definiteness condition for (\(1.1_{\lambda }\)). It was shown in [5] that if (2.1) holds for some \(\lambda \in \mathbb{C}\), then it holds for any \(\lambda \in \mathbb{C}\). As pointed out in Sect. 1, the definiteness condition \((A_{2})\) cannot guarantee \(H_{0}\) to be densely defined or H to be singlevalued. In fact, if there exists \(t_{0}\in I\) such that \(W(t_{0})\neq 0\), then \(H_{0}\) is Hermitian and nondensely defined in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\), and H is multivalued in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\) by [5, Theorem 3.1] and [7, Theorems 3.1 and 3.2]. So the classical perturbation theory of symmetric operators is not available in the study of stability of deficiency indices of \(H_{0}\) under perturbations. We will apply the result about the perturbation of Hermitian relations, that is, Lemma 2.1, to study this problem in the present paper.
Finally, we introduce a criterion of limit point case (see [5, Theorem 6.1]) and the largest index theorem (see [3, Theorem 5.5]) for (\(1.1_{\lambda }\)).
Lemma 2.3
(\(1.1_{\lambda }\)) is in l.p.c. at \(t=+\infty \) if \((A_{1})\) and
where \(w_{j}(t)\) is the minimal eigenvalue of \(W_{j}(t)\) for \(j=1,2\).
Theorem 2.1
Assume that \((A_{1})\) holds. If there exists \(\lambda _{0} \in \mathbb{C}\) such that all the solutions of \((1.1_{\lambda _{0}})\) are in \(\mathcal{L}^{2}_{W}(I)\), then this is true for all \(\lambda \in \mathbb{C}\).
Remark 2.2
Theorem 2.1 was significantly generalized in [35]. In the smallest deficiency index case, that is, when (\(1.1_{\lambda }\)) is in l.p.c. at \(t=+\infty \), it follows from [5, Theorem 5.2] that \(d_{\lambda }(H_{0})\equiv n\) for all \(\lambda \in \mathbb{C}\) if \((A_{1})\) holds. In addition, if \((A_{2})\) holds, then \(n_{\lambda }(H_{0})\equiv n\) for all \(\lambda \in \mathbb{C}\).
Main results
In this section, we study the stability of deficiency indices for system (\(1.1_{\lambda }\)) with coefficient matrices under bounded perturbations with respect to the weight functions. We establish several criteria of stability of deficiency indices for (\(1.1_{\lambda }\)) under bounded perturbations by using the perturbation theory of Hermitian relations obtained in [31]. As a consequence, we obtain the invariance of limit types of (\(1.1_{\lambda }\)) under bounded perturbations. In particular, we build several criteria of the invariance of the limit circle and limit point cases for the systems.
Consider the perturbed discrete Hamiltonian system with \(P(t)\) and \(W(t)\) perturbed by \(\tilde{P}(t)\) and \(\tilde{W}(t)\), respectively, that is,
where the weight function \(\tilde{W}(t)=\operatorname{diag}\{\tilde{W}_{1}(t),\tilde{W}_{2}(t)\}\) with \(n\times n\) matrices \(\tilde{W}_{j}(t)\geq 0\), \(j=1,2\); \(\tilde{P}(t)\) can be written as
where \(\tilde{A}(t)\), \(\tilde{B}(t)\), and \(\tilde{C}(t)\) are \(n\times n\) complexvalued matrices, \(\tilde{B}(t)\) and \(\tilde{C}(t)\) are Hermitian matrices, and \(\tilde{A}^{*}(t)\) is the complex conjugate transpose of \(\tilde{A}(t)\). Similarly, \((\tilde{A}_{1})\), \((\tilde{A}_{2})\), \(\mathcal{L}^{2}_{\tilde{W}}(I)\), \(\mathcal{L}^{2}_{{\tilde{W},0}}(I)\), \(L^{2}_{\tilde{W}}(I)\), \(\\cdot \_{\tilde{W}}\), \(\langle \cdot ,\cdot \rangle _{\tilde{W}}\), H̃, \(\tilde{H}_{00}\), \(\tilde{H}_{0}\), \(d_{\lambda }(\tilde{H}_{0})\), and \(n_{\lambda }(\tilde{H}_{0})\) are defined as in Sects. 1 and 2.2.
The rest of this section is divided into two parts based on whether the weight matrix is perturbed.
Stability of deficient indices for (\(1.1_{\lambda }\)) in the case of \(\tilde{W}(t)=W(t)\)
In this subsection, we pay our attention on stability of deficiency indices for system (\(1.1_{\lambda }\)) in the case of \(\tilde{W}(t)=W(t)\) for \(t\in I\). By applying the perturbation theory of Hermitian relations, we establish several criteria of stability of deficiency indices for (\(1.1_{\lambda }\)) under bounded perturbations. As a consequence, we obtain the invariance of limit types of (\(1.1_{\lambda }\)) under bounded perturbations.
Theorem 3.1
Assume that \((A_{1})\) holds. Let \(\tilde{W}(t)=W(t)\) for \(t\in I\). If there exist nonnegative constants \(c_{j}\) and realvalued functions \(c_{j}(t)\) with \(c_{j}(t)\leq c_{j}\) for \(j=1,2\) such that
then \(d_{\pm }(H_{0})=d_{\pm }(\tilde{H}_{0})\).
Proof
It follows from (3.2) that \(\tilde{A}(t)=A(t)\) for \(t\in I\). So \((\tilde{A}_{1})\) holds since \((A_{1})\) holds. Since the deficient indices of \(H_{0}\) and \(\tilde{H}_{0}\) are equal to those of \(H_{00}\) and \(\tilde{H}_{00}\), respectively, it suffices to show that
By Remark 2.1 and the assumption that \(\tilde{W}(t)=W(t)\) for \(t\in I\) it follows that \(H_{00}\) and \(\tilde{H}_{00}\) are both Hermitian relations in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\). Next, we will prove (3.3) by Lemma 2.1. The proof is divided into three steps.
Step 1. We prove that \(D(H_{00})=D(\tilde{H}_{00})\).
It is evident that \(\mathcal{L}^{2}_{{\tilde{W},0}}(I)=\mathcal{L}^{2}_{W,0}(I)\) since \(\tilde{W}(t)=W(t)\) for \(t\in I\). For any \([y]\in D(H_{00})\), there exist \(y\in [y]\) and \(g\in \mathcal{L}^{2}_{W}(I)\) such that \(y\in \mathcal{L}^{2}_{W,0}(I)\) and
This, together with (3.2), yields that
Take \(\tilde{g}(t)=(\tilde{g}_{1}^{T}(t), \tilde{g}_{2}^{T}(t))^{T}\) with \(\tilde{g}_{j}(t)\in \mathbb{C}^{n}\), \(j=1,2\), such that
where \(y(t)=(y_{1}^{T}(t), y_{2}^{T}(t))^{T}\) and \(g(t)=(g_{1}^{T}(t), g_{2}^{T}(t))^{T}\) with \(y_{j}(t)\), \(g_{j}(t)\in \mathbb{C}^{n}\), \(j=1,2\). Then it follows from (3.5) that \(\tilde{\mathfrak{L}}(y)(t)=W(t)R(\tilde{g})(t)\) for \(t\in I\). In addition, noting that \(y\in \mathcal{L}^{2}_{W,0}(I)\), \(g\in \mathcal{L}^{2}_{W}(I)\), and \(c_{j}(t)\leq c_{j}\), we get that \(\tilde{g}\in \mathcal{L}^{2}_{W}(I)\), and so \(([y],[\tilde{g}])\in \tilde{H}_{00}\). Thus \([y]\in D(\tilde{H}_{00})\). Hence \(D(H_{00})\subset D(\tilde{H}_{00})\). With a similar argument, we can show that \(D(\tilde{H}_{00})\subset D(H_{00})\). Consequently, \(D(H_{00})=D(\tilde{H}_{00})\).
Step 2. We show that \(H_{00}(0)=\tilde{H}_{00}(0)\).
For any \([g]\in H_{00}(0)\), there exist \(g\in [g]\) and \(y\in \mathcal{L}^{2}_{W,0}(I)\) with \([y]=0\) such that (3.4) and (3.5) hold. Note that \([y]=0\) implies that \(W(t)R(y)(t)=0\) for \(t\in I\). Hence it follows from (3.5) that \(\tilde{\mathfrak{L}}(y)(t)=W(t)R(g)(t)\) for \(t\in I\). This implies that \([g]\in \tilde{H}_{00}(0)\). Thus \(H_{00}(0)\subset \tilde{H}_{00}(0)\). Similarly, we can show that \(\tilde{H}_{00}(0)\subset H_{00}(0)\), and thus \(H_{00}(0)=\tilde{H}_{00}(0)\).
Step 3. We show that \(\tilde{H}_{00}H_{00}\) is \(H_{00}\)bounded with \(H_{00}\)bound 0, that is, \(\tilde{H}_{00}H_{00}\) is bounded.
It is evident that \(\tilde{H}_{00}H_{00}\) is a Hermitian relation in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\) since \(H_{00}\) and \(\tilde{H}_{00}\) are Hermitian relations in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\). In addition, since \(D(H_{00})=D(\tilde{H}_{00})\) and \(H_{00}(0)=\tilde{H}_{00}(0)\), \(\tilde{H}_{00}=\tilde{H}_{00}H_{00}+H_{00}\) according to Lemma 2.2.
Based on the discussions in Step 1, for any \([y]\in D(H_{00})=D(\tilde{H}_{00})=D(\tilde{H}_{00}H_{00})\), there exist \(g, \tilde{g}\in \mathcal{L}^{2}_{W}(I)\) and \(y\in [y]\) with \(y\in \mathcal{L}^{2}_{W,0}(I)\) such that
for \(t\in I\) and \(([y],[\tilde{g}g])\in \tilde{H}_{00}H_{00}\), that is, \([\tilde{g}g]\in (\tilde{H}_{00}H_{00})([y])\). Therefore
So \(\tilde{H}_{00}H_{00}\) is bounded, that is, \(\tilde{H}_{00}H_{00}\) is \(H_{00}\)bounded with \(H_{00}\)bound 0.
Based on these three statements, it follows that \(H_{00}\) and \(\tilde{H}_{00}H_{00}\) satisfy the conditions in Lemma 2.1. Therefore \(d_{\pm }(\tilde{H}_{00}H_{00}+H_{00})=d_{\pm }(\tilde{H}_{00})=d_{\pm }(H_{00})\) by Lemma 2.1. So (3.3) holds. This completes the proof. □
Remark 3.1

(1)
By using the generalized von Neumann theory, Zheng [33] showed the invariance of the minimal and maximal deficiency indices of (\(1.1_{\lambda }\)) under assumptions \((A_{1})\) and \((A_{2})\), \(\tilde{W}(t)=W(t)\) for \(t\in I\), and the condition that
$$ \tilde{P}(t)P(t)=\operatorname{diag}\bigl\{ C_{0}W_{1}(t),B_{0}W_{2}(t) \bigr\} , $$(3.6)where \(B_{0}\) and \(C_{0}\) are constants. Theorem 3.1 extends the results in [33]. By applying the perturbation theory of Hermitian relations we do not need that condition \((A_{2})\) holds in Theorem 3.1. Furthermore, we obtain the invariance for any deficient index of (\(1.1_{\lambda }\)) under assumption \((A_{1})\), \(\tilde{W}(t)=W(t)\) for \(t\in I\), and condition (3.2) in Theorem 3.1.

(2)
Note that (3.2) implies that \(c_{1}(t)\) and \(c_{2}(t)\) are both realvalued functions. In fact, \(\tilde{P}(t)P(t)\) is Hermitian since \(\tilde{P}(t)\) and \(P(t)\) are Hermitian matrices. This, together with \(W(t)\geq 0\) and (3.2), yields that \(c_{1}(t)\) and \(c_{2}(t)\) are realvalued. With a similar argument, \(B_{0}\) and \(C_{0}\) in (3.6) also must be real numbers. This fact was ignored in the proof of Corollaries 3.1 and 3.2 in [33], where the author regarded the perturbation as \((\lambda \lambda _{0})W(t)\) for any \(\lambda , \lambda _{0} \in \mathbb{C}\).
Let E and F be two Hermitian matrices. In this paper, we write \(E\geq F\) if \(EF\geq 0\).
By comparing with Theorem 3.1 the following result imposes a weaker restriction on \(\tilde{P}(t)P(t)\) when \(W(t)=\tilde{W}(t)>0\).
Theorem 3.2
Assume that \((A_{1})\) and \((\tilde{A}_{1})\) hold. Let \(\tilde{W}(t)=W(t)>0\) for \(t\in I\). If there exist two constants \(c_{1}\) and \(c_{2}\) such that
then \(d_{\pm }(H_{0})=d_{\pm }(\tilde{H}_{0})\).
Proof
The main idea of the proof is similar to that of Theorem 3.1. It suffices to show that (3.3) holds by Lemma 2.1. The proof is divided into three steps.
Step 1. We prove that \(D(H_{00})=D(\tilde{H}_{00})\).
It is evident that \(\mathcal{L}^{2}_{{\tilde{W},0}}(I)=\mathcal{L}^{2}_{W,0}(I)\) since \(\tilde{W}(t)=W(t)>0\) for \(t\in I\). For any \([y]\in D(H_{00})\), there exist \(y\in [y]\) and \(g\in \mathcal{L}^{2}_{W}(I)\) such that \(y\in \mathcal{L}^{2}_{W,0}(I)\) and (3.4) holds. Take \(\tilde{g}(t):=(\tilde{g}_{1}^{T}(t), \tilde{g}_{2}^{T}(t))^{T}\) with \(\tilde{g}_{j}(t)\in \mathbb{C}^{n}\), \(j=1,2\), such that
Then the corresponding class \([\tilde{g}]\in L^{2}_{W}(I)\) since \(y\in \mathcal{L}^{2}_{W,0}(I)\) and
Thus \(([y], [\tilde{g}])\in \tilde{H}_{00}\). Hence, \([y] \in D(\tilde{H}_{00})\). Therefore, \(D(H_{00})\subset D(\tilde{H}_{00})\). With a similar argument, we can show that \(D(\tilde{H}_{00})\subset D(H_{00})\). Consequently, \(D(H_{00})=D(\tilde{H}_{00})\).
Step 2. We show that \(H_{00}(0)=\tilde{H}_{00}(0)\).
For any \([g]\in H_{00}(0)\), there exist \(g\in [g]\) and \(y\in \mathcal{L}^{2}_{W,0}(I)\) with \([y]=0\) such that (3.4) holds. Then, based on the discussions in Step 1, there exists \(\tilde{g}\in \mathcal{L}^{2}_{W}(I)\) such that (3.8) holds. It follows from (3.7) that
which, together with \([y]=0\), yields that \((\tilde{P}(t)P(t))R(y)(t)=0\) for \(t\in I\) since \(W(t)R(y)(t)=0\) for \(t\in I\). Hence it follows from (3.8) that \(\tilde{\mathfrak{L}}(y)(t)=W(t)R(g)(t)\) for \(t\in I\). This implies that \([g]\in \tilde{H}_{00}(0)\). Thus \(H_{00}(0)\subset \tilde{H}_{00}(0)\). Similarly, we can show that \(\tilde{H}_{00}(0)\subset H_{00}(0)\), and thus \(H_{00}(0)=\tilde{H}_{00}(0)\).
Step 3. We show that \(\tilde{H}_{00}H_{00}\) is \(H_{00}\)bounded with \(H_{00}\)bound 0, that is, \(\tilde{H}_{00}H_{00}\) is bounded.
It is evident that \(\tilde{H}_{00}H_{00}\) is a Hermitian relation in \(L^{2}_{W}(I)\times L^{2}_{W}(I)\) and \(\tilde{H}_{00}=\tilde{H}_{00}H_{00}+H_{00}\) according to Lemma 2.2.
Based on the discussions in Step 1, for any \([y]\in D(H_{00})=D(\tilde{H}_{00})=D(\tilde{H}_{00}H_{00})\), there exist \(y\in [y]\) with \(y\in \mathcal{L}^{2}_{W,0}(I)\) and \(g, \tilde{g}\in \mathcal{L}^{2}_{W}(I)\) such that (3.4) and (3.8) hold. This means that \(([y],[g])\in H_{00}\) and \(([y],[\tilde{g}])\in \tilde{H}_{00}\). Then \(([y],[\tilde{g}g])\in \tilde{H}_{00}H_{00}\), that is, \([\tilde{g}g]\in (\tilde{H}_{00}H_{00})([y])\). This, together with (3.8), yields that
It follows from (3.7) that \(0 \leq P(t)\tilde{P}(t)+c_{2}W(t)\leq (c_{2}c_{1})W(t)\) for \(t\in I\). So \(P(t)\tilde{P}(t)+c_{2}W(t)\) is positive semidefinite. Thus by using Cauchy’s inequality from (3.9) it follows that
which yields that \(\(\tilde{H}_{00}H_{00})([y])\\leq (c_{2}c_{1}+c_{2})\y\\). This implies that \(\tilde{H}_{00}H_{00}\) is \(H_{00}\)bounded with \(H_{00}\)bound 0, that is, \(\tilde{H}_{00}H_{00}\) is bounded.
Based on these three statements, it follows that \(H_{00}\) and \(\tilde{H}_{00}H_{00}\) satisfy the conditions in Lemma 2.1. Therefore \(d_{\pm }(\tilde{H}_{00})=d_{\pm }(H_{00})\) by Lemma 2.1. So (3.3) holds. This completes the proof. □
In the particular case that \(W_{1}(t)>0\) and \(W_{2}(t)=0\), we obtain the following result.
Theorem 3.3
Assume that \((A_{1})\) holds. Let \(W_{1}(t)=\tilde{W}_{1}(t)>0\) and \(W_{2}(t)=\tilde{W}_{2}(t)\equiv 0\) for \(t\in I\). If there exist two constants \(c_{1}\) and \(c_{2}\) such that (3.7) holds, then \(d_{\pm }(H_{0})=d_{\pm }(\tilde{H}_{0})\).
Proof
The main idea of the proof is similar to that of Theorem 3.2 with only Step 1 being replaced by the following:
Step 1. We prove that \(D(H_{00})=D(\tilde{H}_{00})\).
It is evident that \(\mathcal{L}^{2}_{{\tilde{W},0}}(I)=\mathcal{L}^{2}_{W,0}(I)\) since \(\tilde{W}(t)=W(t)\) for \(t\in I\). For any \([y]\in D(H_{00})\), there exist \(y\in [y]\) and \(g\in \mathcal{L}^{2}_{W}(I)\) such that \(y\in \mathcal{L}^{2}_{W,0}(I)\) and (3.4) holds. Next, we will show that \([y]\in D(\tilde{H}_{00})\). To prove \([y]\in D(\tilde{H}_{00})\), it suffices to prove that there exists \(\tilde{g}\in \mathcal{L}^{2}_{W}(I)\) such that (3.8) holds. By (3.7) and the assumptions that \(W_{1}(t)=\tilde{W}_{1}(t)>0\) and \(W_{2}(t)=\tilde{W}_{2}(t)\equiv 0\) for \(t\in I\), we have that
According to [36, Observation 7.1.2.], we get that \(\tilde{B}(t)B(t)\geq 0\) and \(B(t)\tilde{B}(t)\geq 0\) for \(t\in I\). Thus \(B(t)=\tilde{B}(t)\) for \(t\in I\). This, together with (3.10), yields that \(A(t)=\tilde{A}(t)\) for \(t\in I\) by [36, Observation 7.1.10.]. Consequently, \((\tilde{A}_{1})\) holds, and \(\tilde{P}(t)P(t)=\operatorname{diag}\{C(t)\tilde{C}(t),0\}\). Inserting it into (3.8), we get that
for \(t\in I\), where \(y(t)=(y_{1}^{T}(t), y_{2}^{T}(t))^{T}\), \(g(t)=(g_{1}^{T}(t), g_{2}^{T}(t))^{T}\), and \(\tilde{g}(t)=(\tilde{g}_{1}^{T}(t), \tilde{g}_{2}^{T}(t))^{T}\) with \(y_{j}(t)\), \(g_{j}(t)\), \(\tilde{g}_{j}(t)\in \mathbb{C}^{n}\), \(j=1,2\). In addition, noting that \(y\in \mathcal{L}^{2}_{W,0}(I)\) and \(g\in \mathcal{L}^{2}_{W}(I)\), we have that \(\sum_{t\in I}R(\tilde{g})^{*}(t)W(t)R(\tilde{g})(t)<+ \infty \). So the corresponding class \([\tilde{g}]\in L^{2}_{W}(I)\). Thus \([y]\in D(\tilde{H}_{00})\). Hence \(D(H_{00})\subset D(\tilde{H}_{00})\). With a similar argument, we can show that \(D(\tilde{H}_{00})\subset D(H_{00})\). Consequently, \(D(H_{00})=D(\tilde{H}_{00})\). The proof is complete. □
Remark 3.2
We remark that (3.7) implies that \(c_{1}\) and \(c_{2}\) are real numbers since \(P(t)\), \(\tilde{P}(t)\), and \(W(t)\) are Hermitian matrices.
The following result is a direct consequence of Theorems 3.1–3.3.
Corollary 3.1
If any of the conditions of Theorems 3.1, 3.2, and 3.3hold, then \(\mathfrak{L}\) is in the limit \((d_{+}(H_{0}),d_{}(H_{0}))\) case at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in the limit \((d_{+}(H_{0}),d_{}(H_{0}))\) case at +∞. In particular, \(\mathfrak{L}\) is in l.c.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.c.c. at +∞; \(\mathfrak{L}\) is in l.p.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.p.c. at +∞.
Stability of deficient indices for (\(1.1_{\lambda }\)) in the case of \(\tilde{W}(t)\neq W(t)\)
In this subsection, we study the stability of deficiency indices for system (\(1.1_{\lambda }\)) when \(\tilde{W}(t)\neq W(t)\) for \(t\in I\). Note that \(H_{0}\) and \(\tilde{H}_{0}\) are defined in \((L^{2}_{W}(I))^{2}\) and \((L^{2}_{\tilde{W}}(I))^{2}\), respectively, and it is difficult to study the stability of deficiency indices of \(H_{0}\) and \(\tilde{H}_{0}\) since \((L^{2}_{W}(I))^{2}\) and \((L^{2}_{\tilde{W}}(I))^{2}\) are different spaces. So we turn to study the invariance of the limit circle and limit point cases.
Theorem 3.4
Assume that \((A_{1})\) holds. Let \(\tilde{P}(t)=P(t)\) for \(t\in I\). If there exist two positive constants \(c_{1}\) and \(c_{2}\) such that
then \(\mathfrak{L}\) is in l.c.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.c.c. at +∞.
Proof
First, consider the necessity. Suppose that \(\mathfrak{L}\) is in l.c.c. at +∞. Then \(d_{\pm }(H_{0})=2n\). By (2) of [5, Corollary 5.1] we get that \(n_{\pm }(H_{0})=2n\). It follows from Theorem 2.1 that \(n_{\lambda }(H_{0})= 2n\) for all \(\lambda \in \mathbb{C}\). Again by (2) of [5, Corollary 5.1], \(n_{0}({H}_{0})d_{0}({H}_{0})=n_{\pm }({H}_{0})d_{\pm }({H}_{0})\), that is, \(2nd_{0}({H}_{0})=2n2n\). Hence \(d_{0}(H_{0})=2n\).
Next, we will show that \(d_{0}(\tilde{H}_{0})=d_{0}(H_{0})\). It suffices to prove that \(\tilde{H}_{0}\) and \({H}_{0}\) with \(\lambda =0\) have the same deficiency space, that is, \(R(\tilde{H}_{0})^{\perp }=R({H}_{0})^{\perp }\). By [26, Lemma 2.4] and [5, Theorem 3.1],
With a similar argument, we can show that
Since \(\tilde{P}(t)=P(t)\) for \(t\in I\), \(\tilde{\mathfrak{L}}(y)(t)=\mathfrak{L}(y)(t)\) for \(t\in I\). In addition, it follows from (3.11) that \({L}^{2}_{W}(I)={L}^{2}_{\tilde{W}}(I)\). Thus \(R(\tilde{H}_{0})^{\perp }=R({H}_{0})^{\perp }\). Consequently, \(d_{0}(\tilde{H}_{0})=d_{0}(H_{0})=2n\). This, together with [5, Theorem 5.2] and the fact that \(n\leq d_{\lambda }(\tilde{H}_{0})\leq 2n\), yields that \(d_{\pm }(\tilde{H}_{0})=2n\). Therefore \(\tilde{\mathfrak{L}}\) is in l.c.c. at +∞.
With a similar argument, the sufficiency can be shown by noting that (3.11) implies \(\frac{1}{c_{2}} \tilde{W}(t)\leq W(t) \leq \frac{1}{c_{1}} \tilde{W}(t)\) for \(t\in I\). This completes the proof. □
Introduce the following new system:
If we regard (\(3.12_{\lambda }\)) as the perturbation of (\(1.1_{\lambda }\)) and (\(3.1_{\lambda }\)) as the perturbation of (\(3.12_{\lambda }\)), then the following two results can be directly derived by Theorem 3.4 and Corollary 3.1.
Theorem 3.5
Assume that \((A_{1})\) holds. If (3.2) and (3.11) hold, then \(\mathfrak{L}\) is in l.c.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.c.c. at +∞.
Theorem 3.6
Assume that \((A_{1})\) holds. If (3.7) and (3.11) with \(W_{1}(t)>0\) and either \(W_{2}(t)>0\) or \(W_{2}(t)=0\) for \(t\in I\) hold, then \(\mathfrak{L}\) is in l.c.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.c.c. at +∞.
Theorem 3.7
Assume that \((A_{1})\) and (3.11) hold. Then (2.2) holds if and only if
where \(\tilde{w}_{j}(t)\) is the minimal eigenvalue of \(\tilde{W}_{j}(t)\) for \(j=1,2\). Moreover, \(\mathfrak{L}\) is in l.p.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.p.c. at +∞ in this case.
Proof
It follows from (3.11) that
Therefore (2.2) holds if and only if (3.13) holds. Consequently, in this case, \(\mathfrak{L}\) is in l.p.c. at +∞ if and only if \(\tilde{\mathfrak{L}}\) is in l.p.c. at +∞ according to Lemma 2.3. This completes the proof. □
Remark 3.3
The results of Theorem 3.7 shows that if the weight functions of (\(1.1_{\lambda }\)) and (\(3.1_{\lambda }\)) satisfy quite strong conditions, then the deficient indices of (\(1.1_{\lambda }\)) are invariant under any perturbation of \(P(t)\).
Remark 3.4
Note that the number of linearly independent square summable solutions of (\(1.1_{\lambda }\)) is invariant if its coefficient matrices \(P(t)\) and \(W(t)\) vary at finite points. Therefore we remark that the results obtained in the present paper still hold if there exists \(t_{0}\in I\) such that the assumptions of our results are satisfied for \(t\geq t_{0}\).
Examples
In this section, we give an example illustrating the perturbation results obtained in this paper. It is well known that there are a lot of limit circle and limit point criteria for system (\(1.1_{\lambda }\)). The criteria of stability of deficiency indices of (\(1.1_{\lambda }\)) obtained in this paper provide an alternate way to determine the extreme limit type. However, to the best of our knowledge, there are seldom criteria of the intermediate cases for (\(1.1_{\lambda }\)). Therefore it is very difficult to determine if (\(1.1_{\lambda }\)) is in the intermediate cases. So next, we give an example in the intermediate case to illustrate the advantages of our conclusions obtained in this paper.
Consider system (\(1.1_{\lambda }\)) with \(n=2\),
for \(t\in I\). It is obvious that assumptions \((A_{1})\) and \((A_{2})\) hold. So, \(d_{\lambda }(H_{0})=n_{\lambda }(H_{0})\). Next, we will show that (\(1.1_{\lambda }\)) with those matrix functions is in the limit3 case at \(t=+\infty \).
In fact, by Lemma 2.1 in [37], \(n_{\lambda }(H_{0})\) is equal to the number of linearly independent solutions of the following fourthorder difference equation:
in \(l^{2}\) for any \(\lambda \in \mathbb{C}\). The solutions of (\(4.2_{\lambda }\)) with \(\lambda =0\) are of the form \(\alpha ^{t}\) with α satisfying the equation
By a simple calculation there are four distinct roots of this equation:
Then \(x_{j}(t)=\alpha _{j}^{t}\) for \(j=1, 2, 3, 4\) are four linearly independent solutions of (\(4.2_{\lambda }\)) with \(\lambda =0\). It is evident that \(x_{j}\in l^{2}\) for \(j=1, 2, 3\), but \(x_{4} \notin l^{2}\). This implies that (\(1.1_{\lambda }\)) is neither in l.p.c. nor in l.c.c. at \(t=+\infty \) by Theorem 2.1 and Remark 2.2. So (\(1.1_{\lambda }\)) is in the limit3 case at \(t=+\infty \).
Now we consider system (\(3.1_{\lambda }\)) with \(n=2\),
for \(t\in I\). It is evident that assumptions \((\tilde{A}_{1})\) and \((\tilde{A}_{2})\) still hold. But it is difficult to determine the limit type of this system as discussed before. As pointed out in the first paragraph of this section, almost all criteria for limit types were established only for the limit point and limit circle cases. However, there are seldom criteria of the intermediate cases. In addition, we note that the existing criteria for limit types are not applicable to (\(3.1_{\lambda }\)) with matrix functions satisfying (4.3). At this point, we find that we may regard (4.3) as the perturbations of (4.1). Moreover, it is easy to verify that the conditions of Theorem 3.1 are satisfied with \(c_{1}(t)=2\sin te^{t}\), \(c_{2}(t)=c_{2}=0\), and \(c_{1}=4\). Therefore (\(3.1_{\lambda }\)) with (4.3) is also in the limit3 case at \(t=+\infty \) by Theorem 3.1.
Availability of data and materials
No applicable.
References
 1.
Clark, S.L., Zemánek, P.: On discrete symplectic systems: associated maximal and minimal linear relations and nonhomogeneous problems. J. Math. Anal. Appl. 421, 779–805 (2015)
 2.
Šimon Hilscher, R., Zemánek, P.: Weyl–Titchmarsh theory for discrete symplectic systems with general linear dependence on spectral parameter. J. Differ. Equ. Appl. 20, 84–117 (2014)
 3.
Shi, Y.: Weyl–Titchmarsh theory for a class of singular discrete linear Hamiltonian systems. Linear Algebra Appl. 416, 452–519 (2006)
 4.
Qi, J., Chen, S.: Lower bound for the spectrum and the presence of pure point spectrum of a singular discrete Hamiltonian system. J. Math. Anal. Appl. 295, 539–556 (2004)
 5.
Ren, G., Shi, Y.: Defect indices and definiteness conditions for discrete linear Hamiltonian systems. Appl. Math. Comput. 218, 3414–3429 (2011)
 6.
Ren, G., Shi, Y.: Selfadjoint extensions for discrete linear Hamiltonian systems. Linear Algebra Appl. 454, 1–48 (2014)
 7.
Ren, G.: On the density of the minimal subspaces generated by discrete linear Hamiltonian systems. Appl. Math. Lett. 27, 1–5 (2014)
 8.
Sun, H., Shi, Y.: On essential spectra of singular linear Hamiltonian systems. Linear Algebra Appl. 469, 204–229 (2015)
 9.
Zhang, Q.: Homoclinic orbits for discrete Hamiltonian systems with local superquadratic conditions. Commun. Pure Appl. Anal. 18, 425–434 (2019)
 10.
Allahverdiev, B.P.: Functional model and spectral analysis of discrete singular Hamiltonian system. Taiwan. J. Math. 23, 653–673 (2019)
 11.
Zhu, H.: A note on eigenvalues of a class of singular continuous and discrete linear Hamiltonian systems. Linear Algebra Appl. 570, 46–60 (2019)
 12.
Atkinson, F.V.: Discrete and Continuous Boundary Problems. Academic Press, New York (1964)
 13.
Krall, A.M.: \(M(\lambda )\) theory for singular Hamiltonian systems with one singular point. SIAM J. Math. Anal. 20, 664–700 (1989)
 14.
Krall, A.M.: \(M(\lambda )\) theory for singular Hamiltonian systems with two singular points. SIAM J. Math. Anal. 20, 701–715 (1989)
 15.
Shi, Y., Sun, H.: Selfadjoint extensions for secondorder symmetric linear difference equations. Linear Algebra Appl. 434, 903–930 (2011)
 16.
Liu, Y., Shi, Y.: Regular approximations of isolated eigenvalues of singular secondorder symmetric linear difference equations. Adv. Differ. Equ. 2016, 128 (2016)
 17.
Agure, J., Ambogo, D., Nyamwala, F.: Deficiency indices and spectrum of fourth order difference equations with unbounded coefficients. Math. Nachr. 286, 323–339 (2013)
 18.
Arens, R.: Operational calculus of linear relations. Pac. J. Math. 11, 9–23 (1961)
 19.
Coddington, E.A.: Extension Theory of Formally Normal and Symmetric Subspaces. Mem. Am. Math. Soc., vol. 134 (1973)
 20.
Coddington, E.A.: Selfadjoint subspace extensions of nondensely defined symmetric operators. Adv. Math. 14, 309–332 (1974)
 21.
Coddington, E.A., Dijksma, A.: Selfadjoint subspaces and eigenfunction expansions for ordinary differential subspaces. J. Differ. Equ. 20, 473–526 (1976)
 22.
Dijksma, A., de Snoo, H.S.V.: Selfadjoint extensions of symmetric subspaces. Pac. J. Math. 54, 71–99 (1974)
 23.
Dijksma, A., de Snoo, H.S.V.: Eigenfunction extensions associated with pairs of ordinary differential expressions. J. Differ. Equ. 60, 21–56 (1985)
 24.
Hassi, S., de Snoo, H.S.V.: Onedimensional graph perturbations of selfadjoint relations. Ann. Acad. Sci. Fenn., Math. 20, 123–164 (1997)
 25.
Cross, R.: Multivalued Linear Operators. Monographs and Textbooks in Pure and Applied Mathematics, vol. 213. Dekker, New York (1998)
 26.
Shi, Y.: The Glazman–Krein–Naimark theory for Hermitian subspaces. J. Oper. Theory 68, 241–256 (2012)
 27.
Azizov, T.Ya., Behrndt, J., Jonas, P., et al.: Spectral points of definite type and type π for linear operators and relations in Krein spaces. J. Lond. Math. Soc. 83, 768–788 (2011)
 28.
Wilcox, D.: Essential spectra of linear relations. Linear Algebra Appl. 462, 110–125 (2014)
 29.
Shi, Y.: Stability of essential spectra of selfadjoint subspaces under compact perturbations. J. Math. Anal. Appl. 433, 832–851 (2016)
 30.
Shi, Y., Xu, G., Ren, G.: Boundedness and closedness of linear relations. Linear Multilinear Algebra 66, 309–333 (2018)
 31.
Liu, Y., Shi, Y.: Stability of deficiency indices of Hermitian subspaces under relatively bounded perturbations. In: Linear and Multilinear Algebra (2020). https://doi.org/10.1080/03081087.2020.1760194
 32.
Liu, Y.: Invariance of deficiency indices of secondorder symmetric linear difference equations under perturbations. J. Funct. Spaces 2020, Article ID 1940481 (2020)
 33.
Zheng, Z.: Invariance of deficiency indices under perturbation for discrete Hamiltonian systems. J. Differ. Equ. Appl. 19(8), 1243–1250 (2013)
 34.
Kato, T.: Perturbation Theory for Linear Operators, 2nd edn. Springer, Berlin (1984)
 35.
Šimon Hilscher, R., Zemánek, P.: Limit circle invariance for two differential systems on time scales. Math. Nachr. 288, 696–709 (2015)
 36.
Horn, R.A., Johnson, C.R.: Matrices Analysis. Cambridge University Press, Cambridge (1985)
 37.
Ren, G., Shi, Y.: The defect index of singular symmetric linear difference equations with real coefficients. Proc. Am. Math. Soc. 138, 2463–2475 (2010)
Acknowledgements
The authors would like to thank the referees for carefully reading our manuscript and giving valuable suggestions and comments.
Funding
This research was supported by the NNSF of China (Grant 11901153), the NSF of Jiangsu Province (Grant BK20170298), and the Fundamental Research Funds for the Central Universities of China (B200202202).
Author information
Affiliations
Contributions
Both authors contributed equally to this manuscript. Both authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
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
Liu, Y., Xu, M. Stability of deficiency indices for discrete Hamiltonian systems under bounded perturbations. Adv Differ Equ 2020, 660 (2020). https://doi.org/10.1186/s1366202003084z
Received:
Accepted:
Published:
MSC
 39A70
 47A06
 47A55
 47B15
Keywords
 Discrete Hamiltonian systems
 Deficiency index
 Perturbation
 Stability
 Hermitian relation