- Research
- Open access
- Published:
Weyl disks and square summable solutions for discrete symplectic systems with jointly varying endpoints
Advances in Difference Equations volume 2013, Article number: 232 (2013)
Abstract
In this paper we develop the spectral theory for discrete symplectic systems with general jointly varying endpoints. This theory includes a characterization of the eigenvalues, construction of the M-lambda function and Weyl disks, their matrix radii and centers, statements about the number of square summable solutions, and limit point or limit circle analysis. These results are new even in some particular cases, such as for the periodic and antiperiodic endpoints, or for discrete symplectic systems with special linear dependence on the spectral parameter. The method utilizes a new transformation to separated endpoints, which is simpler and more transparent than the one in the known literature.
MSC: 39A12, 34B20, 34B05, 47B39.
1 Motivation
In this paper we develop the spectral theory, in particular the Weyl-Titchmarsh theory, for discrete symplectic systems
in which the dependence on the spectral parameter is linear but other than that general. The term ‘symplectic system’ refers to the assumptions on the coefficients, which are complex matrices satisfying
This implies that the coefficient matrix of () and its fundamental matrix satisfy the properties of symplectic matrices, i.e.,
Here is the canonical skew-symmetric matrix, the superscript denotes the complex conjugation, the matrices and are symplectic, and system () can be viewed as a linear perturbation of the symplectic system (S0), i.e., . The principal aim of this paper is to study the problems with general jointly varying endpoints such as with the periodic endpoints or with the antiperiodic endpoints .
The theory of Weyl disks and square summable solutions for system () was developed in the recent paper [1]. Earlier works dealt with special systems, in which the first n equations do not depend on λ (see [2–5]), i.e., for
with Hermitian , or systems having a certain Hamiltonian structure (see [6, 7]). For a broader history of the Weyl-Titchmarsh theory for difference equations, we refer to [1, 8]. The results in [4–7] have in common the following properties: (i) they are developed for the separated boundary conditions
and (ii) they assume the so-called ‘strong Atkinson condition’, namely for some ,
for every nontrivial solution of () on and every ; see [[9], Eq. (3.7.10)] and Hypotheses 2.1 and 2.2. The results in [1] are also derived for separated endpoints (1.3), but instead of (ii) the ‘weak Atkinson condition’ is required, namely for some inequality (1.4) holds only for every column of the natural conjoined basis of (), which is defined as the solution starting with ; see Hypotheses 4.1 and 4.2.
The change from the strong Atkinson condition to the weak Atkinson condition in [1] is crucial and absolutely essential, as it turns out in the present paper. Here we aim to extend the results in [1] to problems with general jointly varying endpoints
The boundary conditions in (1.5) include, among others, the periodic endpoints or the antiperiodic endpoints , which could not be treated by the previous case in (1.3). The method we use is based on the augmentation of system () into double dimension, which leads to a problem with separated endpoints having the original boundary conditions (1.5) as one of its constraints. This technique is known in the literature in principle (cf. [10–15]), but the transformation to separated endpoints introduced in this paper is much simpler. At the same time, the transformed symplectic system no longer satisfies the corresponding strong Atkinson condition, but only its weak form. Thus, the derivation of the Weyl-Titchmarsh theory in [1] under the weak Atkinson condition is truly crucial for its further extension to jointly varying endpoints.
For this general situation, we give a characterization of the eigenvalues of () with (1.5), we construct the Weyl disks, their centers and matrix radii, and show the properties of square summable solutions. We also give an exact connection between the limit point or limit circle classification of the original system (in dimension 2n) and the augmented system (in dimension 4n). This connection reveals an interesting fact, namely that the limiting matrix radius of the augmented system has its rank at least n (see Theorem 2.11), and so it is never zero in the limit point case as one would expect from the standard theory. The results of this paper (see Theorem 2.3) also imply the existence of multiple eigenvalues for scalar symplectic eigenvalue problems with jointly varying endpoints. This is known, e.g., for the second order discrete Sturm-Liouville problems with periodic endpoints in [[16], Example 7.6] or [[17], Theorem 2.2] and here we extend it to discrete symplectic systems. The new transformation of jointly varying endpoints into separated endpoints will also find applications in the continuous time problems or time scales problems (see, e.g., [15]). Finally, we remark that the results of this paper are new even for special discrete symplectic systems, such as those with (1.2), and also for the Jacobi equations (see [18]), symmetric three term recurrence equations (see [19–21]), and linear Hamiltonian difference systems (see [6, 22–24]).
2 Weyl-Titchmarsh theory for joint endpoints
We start with some notation. By I and 0 we denote the identity and zero matrices of a suitable dimension, which will be clear from the context. The discrete time intervals are denoted by , and similarly for other types of intervals. The Hermitian components of a square matrix M will be denoted by and . When M is a scalar, then they reduce to the imaginary and real parts of the number M.
Let , , be given matrices defined on and satisfying (1.1). Let be a fixed matrix defining the boundary conditions in (1.5). With a given , we consider the eigenvalue problem
The eigenvalues of (2.1) are defined in a usual way. That is, is an eigenvalue of (2.1) if system () has a nontrivial solution z on satisfying the boundary conditions in (1.5). In this case, z is called an eigenfunction for and the dimension of such eigenfunctions for is its (geometric) multiplicity. As one of the main assumptions, we suppose that () satisfies the strong Atkinson condition on a finite or infinite interval. An alternative terminology is that () is definite on the given interval.
Hypothesis 2.1 (Strong Atkinson condition - finite)
The inequality in (1.4) is satisfied with for every nontrivial solution of () on and every .
Hypothesis 2.2 (Strong Atkinson condition - infinite)
There exists such that inequality (1.4) holds for every nontrivial solution of () on and every .
The results of this paper will be formulated with the aid of a particular fundamental matrix of system () starting with the initial value , i.e.,
Our first result describes the orthogonality of the eigenfunctions and the multiplicity of the eigenvalues of (2.1). It generalizes [[1], Theorem 2.8] to jointly varying endpoints, compare also with [[25], Theorem 2.2]. The proofs mostly follow by direct calculations in a similar way as the corresponding results in [1]. For completeness and comparison, we provide alternative proofs based on the transformation in Section 4.
Theorem 2.3 Let and . Then the following statements hold.
-
(i)
Under Hypothesis 2.1, the eigenvalues of (2.1) are real and the eigenfunctions corresponding to different eigenvalues are orthogonal with respect to the semi-inner product
-
(ii)
A number is an eigenvalue of (2.1) if and only if the matrix
(2.3)
is singular. In this case, the eigenfunctions corresponding to the eigenvalue λ have the form on with a nonzero . Moreover, the geometric multiplicity of λ is equal to its algebraic multiplicity, i.e., to .
Proof The statement follows from Theorem 4.3 with (4.6) and Corollary 4.4. □
By Theorem 2.3, the multiplicities of the eigenvalues of (2.1) are at most 2n, compared to the separated endpoints case in [[1], Theorem 2.8], in which the multiplicities of the eigenvalues are at most n. This implies that in the scalar case (i.e., for ) there may exist multiple eigenvalues of (2.1). This phenomenon was observed in [[16], Example 7.6] and later justified in [[17], Theorem 2.2] for the periodic discrete Sturm-Liouville eigenvalue problem; see also Example 3.3.
Next we define the Weyl-Titchmarsh -function for problem (2.1). For and , we set
whenever the inverse above exists. In particular, we can see from Theorem 2.3 that is well defined for every and , when Hypothesis 2.1 holds. The following statement generalizes [[1], Lemma 2.10] to jointly varying endpoints.
Theorem 2.4 Let , , and . If and exist, then . Moreover, is an analytic function in its argument λ.
Proof This result follows from (4.11) and (4.9) via [[1], Lemma 2.10]. □
For any , we define the Weyl-solution of () with values in by
It then follows, compare with [[1], Remark 2.12(i)], that if and only if the matrix M equals defined in (2.4).
One of the central concepts of this paper is the function with values in , through which we later on define the Weyl disks. For , we put
where and
From one can see that , , and are Hermitian matrices. Moreover, and the Lagrange identity in [[1], Theorem 2.6] implies the following crucial identities:
Since is a fundamental matrix of (), equality (2.8) then justifies the following result.
Theorem 2.5 If Hypothesis 2.2 holds, then the matrix is positive definite for every and . In addition, for such k we have (suppressing the argument λ)
Proof The invertibility of for all follows from (2.8) and Hypothesis 2.2. Moreover, identity (2.9) is a consequence of (4.12) and (4.14). □
For any , we now define the Weyl disk and the Weyl circle as
The following result provides some properties of the elements in and . It is a generalization of [[1], Theorems 3.2 and 3.3] to jointly varying endpoints.
Theorem 2.6 Let , , and . Then the following hold.
-
(i)
The matrix if and only if there exists such that . In this case, we have, with such a matrix γ, that , whenever the matrix exists.
-
(ii)
The matrix M satisfies if and only if there exists such that and . In this case, we have, with such a matrix γ, that , whenever the matrix exists, and γ can be chosen so that .
-
(iii)
We have , i.e., .
Proof Statements (i) and (ii) follow by [[1], Theorems 3.2-3.3] from the facts that and coincide respectively with the Weyl disk and Weyl circle in (4.13). Statement (iii) is verified by direct calculation from (2.6), since is indefinite. □
The center and the matrix radius of the Weyl disk are defined as the matrices
whenever is invertible, i.e., whenever . The following theorem provides the most important geometric properties of the Weyl disks, including their nested property, closedness, and convexity. It is a generalization of [[1], Theorems 3.6 and 3.8] to jointly varying endpoints. Let and be the sets of all complex contractive and unitary matrices, respectively, i.e., and .
Theorem 2.7 Let . Then for every with . In addition, under Hypothesis 2.2 for every , we have the representations
Consequently, the Weyl disks are closed and convex for every .
Proof The result follows from (4.15), (4.16), and (4.17) combined with Corollary 4.5. □
The above theorem implies that the intersection of all the Weyl disks for is a nonempty, closed, and convex set. This yields that the limiting Weyl disk has the form
where and are the matrices defined by
They are called the center and the matrix radius of the limiting Weyl disk . Note that the convergence of and can be seen from (2.10) and (2.8).
Remark 2.8 If we denote by the limit of as , which exists by (2.8), then the formulas in (2.11) for the center and matrix radius of the limiting Weyl disk reduce to
The next result is a generalization of [[1], Corollary 3.12] to jointly varying endpoints. Note that as in Theorem 2.6(iii) we have .
Theorem 2.9 Let , , and suppose that Hypothesis 2.2 holds. Then M belongs to the limiting Weyl disk if and only if
Proof This statement follows from (2.7), or alternatively by [[1], Corollary 3.12] from (4.18) and the definition of the Weyl solution in (4.11) and (4.8). □
Remark 2.10 The limiting Weyl circle can be introduced as the boundary of the limiting Weyl disk . Then if and only if any of the following two equivalent conditions hold, compare with [[1], Remark 3.18],
We now discuss some properties of square summable solutions of system (). We say that a sequence with belongs to the space , i.e., z is square summable, if
For every , we denote the space of all square summable solutions of () as
From [[1], Theorem 4.2] we know that . According to the standard terminology, we say that system () is in the limit point case when , and that system () is in the limit circle case when . The following result is quite surprising in the sense that one would expect to have in the limit point case; see [[1], Theorem 4.4]. To the contrary, due to the augmented structure of the matrix , which has dimension 2n, it is the rank of alone which determines the number of linearly independent square summable solutions of (). In the result below, we show that , so that the equality must necessarily hold in the limit point case. This fact is stated in Corollary 2.12 below and also illustrated in Example 3.5.
Theorem 2.11 Let and suppose that Hypothesis 2.2 holds. Then system () has exactly linearly independent square summable solutions, i.e.,
Proof The statement in (2.14) is proven in Theorem 4.6 and (4.19). □
The meaning of Theorem 2.11 can be explained also directly from (2.8) and Remark 2.8. In particular, by (2.12), the rank of is equal to the number of positive eigenvalues of the matrix from Remark 2.8. This number is then the same as the number of the eigenvalues of , which tend to a finite limit as . Equation (2.8) then shows that this number is equal to the number of linearly independent square summable solutions of ().
Corollary 2.12 Let and suppose that Hypothesis 2.2 holds. Then system () is in the limit point case if and only if , while () is in the limit circle case if and only if .
Remark 2.13 When system () has the special structure shown in (1.2), it can be deduced from [[26], Corollary 4.6] that the total number of eigenvalues of (2.1) is equal to the dimension of the space of admissible functions for the associated discrete quadratic functional. In some even more special cases, such as for the second-order Sturm-Liouville difference equations with periodic or antiperiodic endpoints, this exact number of the eigenvalues of (2.1) is derived in [[17], Theorem 4.2] or [[27], Theorem 4.1]. The result in [[26], Corollary 4.6] is based on the Rayleigh principle for system () with (1.5), compare also with [[15], Theorem 3.2], and on the fact that the space of admissible functions is independent of λ (as a consequence of the structure in (1.2)). As the Rayleigh principle for eigenvalue problems (2.1) is not known and the space of admissible functions is in this case not constant in λ, the question about the total number of eigenvalues of (2.1) remains open for the general linear dependence on λ. On the other hand, the oscillation theorem for discrete symplectic eigenvalue problems with jointly varying endpoints in [[28], Theorem 6.13] yields that the total number of the eigenvalues of (2.1) is less or equal to .
3 Examples
In this section we examine several examples which illustrate the presented theory. In particular, we consider the periodic and antiperiodic boundary conditions as in [[15], Remark 6.17] and the corresponding -function. To our knowledge, this form is now derived for the first time.
Example 3.1 For the periodic endpoints , we take . In this case, the matrix in (2.3) is . Then, by Theorem 2.3, is an eigenvalue of (2.1) if and only if the matrix is singular, and the number is its multiplicity. Moreover, the -function in (2.4) reduces to
Example 3.2 For the antiperiodic endpoints , we take . In this case we have and, by Theorem 2.3, is an eigenvalue of (2.1) if and only if the matrix is singular. The multiplicity of λ is then . In addition, the -function in (2.4) now has the form
We illustrate our new results on the scalar symplectic system
This system corresponds to the second-order Sturm-Liouville difference equation
compare with (1.2), which was extensively studied, e.g., in [17, 20, 29–34] and [[16], Chapter 7]. System (3.1) satisfies the strong Atkinson condition in Hypothesis 2.1 or 2.2 with , as can be easily verified.
Example 3.3 Consider the scalar eigenvalue problem with periodic endpoints
i.e., we look for the solutions of (3.1) with period 4. This problem corresponds to the periodic Sturm-Liouville eigenvalue problem (3.2) with and , , which is studied in [[16], Example 7.6]. It is shown in this reference that is a double eigenvalue of (3.3) by finding two linearly independent eigenfunctions. The results in Theorem 2.3 and Example 3.1 confirm this conclusion. The fundamental matrix in (2.2) now satisfies
This yields that . Thus, by Theorem 2.3 and Example 3.1, is indeed a double eigenvalue of (3.3), and the columns of are the two linearly independent eigenfunctions. Note that . The other eigenvalues of (3.3) are with the eigenfunction , and with the eigenfunction .
Example 3.4 Consider system (3.1), but now only on the interval and with the antiperiodic boundary conditions . From (3.4) we see that . Hence, by Theorem 2.3 and Example 3.2, is a double eigenvalue of this problem with the columns of as the two linearly independent eigenfunctions. Note that . This problem then does not have any other eigenvalues.
In the last example, we calculate the rank of the limiting matrix radius and compare it with the corresponding number of linearly independent square summable solutions.
Example 3.5 We examine system (3.1) on with the particular choice of . We will show that system (3.1) with is in the limit point case, so that by [[1], Corollary 4.19] it is in the limit point case for every . Let , i.e., system (3.1) reduces to the second-order difference equation on . The roots of the corresponding characteristic polynomial are , so that the fundamental matrix of (3.1) satisfying (2.2) has the form
By (2.8), we obtain with that
Since each entry of represents a geometric series, it can be evaluated explicitly as
Therefore, the matrix is indeed invertible (positive definite) for all and, by Remark 2.8, we have
The matrix can also be calculated explicitly by (2.12), but it is not really important. We can find the eigenvalues of as the nonnegative square roots of the eigenvalues of . Namely, since the eigenvalues of are 0 and , we get and system (3.1) is in the limit point case, by Corollary 2.12. The square summable solution of (3.1) is then given as the second component of the columns of the Weyl solution in (2.5) with . That is, the columns of the matrix are square summable. But since is singular, it follows that the square summable solutions of (3.1) are generated by exactly one column of the matrix . On the other hand, since , one can identify the first column of in (3.6) as the square summable solution of (3.1).
4 Augmented symplectic system
We shall show that problem (2.1) is equivalent with a certain eigenvalue problem in dimension 4n with separated endpoints. Define the matrices (the augmentation is emphasized by the bold notation)
Then one can easily verify that , , and
Consider the augmented symplectic system
It follows that is a fundamental matrix of system (), because
where is the fundamental matrix of the original system () starting with the initial value . Vector solutions of () are in dimension 4n and the matrix solutions of () are in dimension . It follows that they have the form
where is a constant vector, are constant matrices, is a vector solution of () in dimension 2n, and , are matrix solutions of () in dimension . It turns out that the main properties of discrete symplectic systems () and their solutions, such as those in [[1], Section 2] or [[5], Section 2], are preserved for the augmented system (). In particular, we have the following identities for the coefficients of ():
and the Lagrange identity for two matrix solutions of () and ()
for all . In addition, the fundamental matrix of () satisfies
i.e., the matrix is unitary.
With the above preliminary setting, we now consider the augmented eigenvalue problem
where the matrices are defined by
Equation (4.3) and the above choice of α imply that the solutions of (4.5) have the form
Conversely, every solution of (2.1) defines through (4.7) a solution of (4.5). In addition, the form of the matrix in (4.1) implies that the semi-norm of the augmented solution is the same as the semi-norm of the generating solution , because
Following the theory in [[1], Sections 2-3], we consider the fundamental matrix of the augmented system () satisfying the initial condition . This means that
where and are normalized conjoined bases of () defined by
The solution is called the natural conjoined basis of (). We have already mentioned in Section 1 that only the corresponding weak Atkinson condition is required when studying the spectral problem with separated endpoints. Applying this requirement to the augmented problem (4.5), we can see that we need to assume
for certain solutions of (). This is formulated in the next assumptions.
Hypothesis 4.1 (Weak augmented Atkinson condition - finite)
Inequality (4.10) is satisfied with for every column of the natural conjoined basis of () on and every .
Hypothesis 4.2 (Weak augmented Atkinson condition - infinite)
There exists such that inequality (4.10) holds for every column of the natural conjoined basis of () on and every .
The next theorem provides basic properties of the eigenvalue problem (4.5).
Theorem 4.3 Let be arbitrary and . Then the following statements hold.
-
(i)
Under Hypothesis 4.1, the eigenvalues of (4.5) are real and the eigenfunctions corresponding to different eigenvalues are orthogonal with respect to the semi-inner product .
-
(ii)
A number is an eigenvalue of (4.5) if and only if the matrix is singular. In this case, the eigenfunctions of (4.5) corresponding to the eigenvalue λ have the form on with a nonzero . Moreover, the geometric and algebraic multiplicities of coincide and are equal to .
Proof The statement follows from [[1], Theorem 2.8], when it is applied to the augmented eigenvalue problem (4.5). □
When we write the weak Atkinson condition in (4.10) in terms of the data of the original problem (2.1), we get by (4.1) and (4.9) that
This shows that the two conditions in Hypotheses 4.1 and 2.1 are intimately connected, as stated in the following corollaries.
Corollary 4.4 System () satisfies the strong Atkinson condition on (Hypothesis 2.1) if and only if the augmented system () satisfies the corresponding weak Atkinson condition on (Hypothesis 4.1).
Corollary 4.5 System () satisfies the strong Atkinson condition on (Hypothesis 2.2) if and only if the augmented system () satisfies the corresponding weak Atkinson condition on (Hypothesis 4.2).
In particular, we can see why assuming the weak Atkinson condition in the spectral theory for separated endpoints is really essential - the transformation of problem (2.1) with jointly varying endpoints, which satisfies the strong Atkinson condition, leads to the augmented problem (4.5) satisfying the corresponding weak Atkinson condition. Therefore, one can simply apply the previous results on separated endpoints to the augmented problem and then transform the obtained results back to the data of the original problem (2.1).
Following [[1], Definitions 2.9 and 2.11], we define the -function for the augmented problem (4.5) and for the corresponding Weyl solution as
where , , and are given in (4.9) and (4.8). In addition, for , we define the function by
where , , and are matrices
As in [[1], Definition 3.1], the Weyl disk and the Weyl circle are defined by
Note that under Hypothesis 4.2 the matrices are positive definite (and hence invertible) for all , because by (4.4) we have
By [[1], Theorem 3.8], the Weyl disk and the Weyl circle possess the representations
where and are the sets of all complex contractive and unitary matrices, respectively (as in Section 2), and where the center and the matrix radius are defined by
Therefore, the Weyl disks are closed, convex, and nested, so that the limiting Weyl disk
exists and is nonempty, closed, and convex as well. By using [[1], Theorem 3.9] and the monotonicity of shown in (4.14), the center and the matrix radius of are
Let be the space of all square summable sequences on such that with the semi-norm
For every , we denote the space of all square summable solutions of () as
From [[1], Theorem 4.2] we know that the dimension of is at least 2n, or more precisely
by [[1], Theorem 4.9]. On the other hand, the analysis of the structure of the solutions of the augmented system () yields the following result.
Theorem 4.6 Let and suppose that Hypothesis 4.2 holds. Then
where is the space of all solutions of the original system (), as defined in (2.13).
Proof Let be the j th canonical unit vector for . Then the constant solutions , , certainly belong to , because . In addition, any square summable solution naturally generates a square summable solution , which is linearly independent with the above defined solutions . This yields that . Moreover, since by [[1], Theorem 4.2] we have , the first statement in (4.20) follows. The second statement in (4.20) is then a direct consequence of (4.19). □
We can now see that the rank of the limiting matrix radius can never be zero, so that the ‘limit point’ behavior of () should not be determined by the equality , as one would expect from the separated endpoints case in [[1], Theorem 4.4]. The result in Theorem 4.6 then motivates the following definition.
Definition 4.7 Let . Under Hypothesis 4.2, we say that system () is in the limit point case if , while system () is in the limit circle case if .
Combining Theorem 4.6 and Corollary 4.5 then yields the next result.
Corollary 4.8 Let and suppose that Hypothesis 2.2 holds. Then system () is in the limit point case, resp. limit circle case, if and only if system () is in the limit point case, resp. limit circle case.
Remark 4.9 In the scalar case , we have . In this situation, system () is either in the limit point case (when ) or in the limit circle case (when ). This is known as the Weyl alternative, compare with [[35], Theorem 8.27] and [[1], Theorem 4.17 and Corollary 4.19].
Remark 4.10 The augmentation of system () into double dimension is a known technique for studying the problems with jointly varying endpoints; see, e.g., [10–15]. The transformation introduced in this paper has the advantage that it uses the solutions z or Z of () rather their components or as in the above references. This yields a direct connection between the original system () and the augmented system (). For example, the boundary conditions in [[15], Section 6] are of the form
with certain matrices and . One can see that the new approach via (1.5) is much easier and more transparent. The relationship between the transformation in the above mentioned references and the transformation, which is utilized in this section, is determined by the multiplication of the data (from one side or from both sides) by the matrix
gives a direct connection between the boundary conditions (4.21) and (1.5).
5 Conclusion
In this paper we demonstrated that 2n-dimensional discrete symplectic eigenvalue problems with jointly varying endpoints (including the periodic and antiperiodic boundary conditions) can be studied by a transformation to separated endpoints in the dimension 4n. This transformation works under the strong Atkinson condition on the original system, which turns out to be the weak Atkinson condition on the augmented system (Corollaries 4.4 and 4.5). As one of the main results, we showed that for every system () there is a naturally associated limiting Weyl disk consisting of complex matrices, whose center and matrix radius can be explicitly calculated by the formulas in (2.12). Moreover, we showed (Theorem 2.11 and Corollary 2.12) that the rank of the matrix radius is equal to the number of square summable solutions of () and that it is always at least n. Thus, system () is in the limit point case, resp. limit circle case, when the rank of is n, resp. 2n. In turn, the limit point or limit circle classification of the augmented system () is determined by the numbers 3n and 4n (Definition 4.7 and Corollary 4.8). As such, this paper completes and extends the known Weyl-Titchmarsh theory of discrete symplectic systems. We are convinced that the methods developed in this paper will also be useful for the study of the corresponding continuous time linear Hamiltonian eigenvalue problems.
References
Šimon Hilscher R, Zemánek P: Weyl-Titchmarsh theory for discrete symplectic systems with general linear dependence on spectral parameter. J. Differ. Equ. Appl. 2013. 10.1080/10236198.2013.813496
Bohner M, Došlý O, Kratz W: An oscillation theorem for discrete eigenvalue problems. Rocky Mt. J. Math. 2003, 33(4):1233-1260. 10.1216/rmjm/1181075460
Bohner M, Došlý O, Kratz W: Sturmian and spectral theory for discrete symplectic systems. Trans. Am. Math. Soc. 2009, 361(6):3109-3123. 10.1090/S0002-9947-08-04692-8
Bohner M, Sun S: Weyl-Titchmarsh theory for symplectic difference systems. Appl. Math. Comput. 2010, 216(10):2855-2864. 10.1016/j.amc.2010.03.136
Clark S, Zemánek P: On a Weyl-Titchmarsh theory for discrete symplectic systems on a half line. Appl. Math. Comput. 2010, 217(7):2952-2976. 10.1016/j.amc.2010.08.029
Shi Y: Weyl-Titchmarsh theory for a class of discrete linear Hamiltonian systems. Linear Algebra Appl. 2006, 416: 452-519. 10.1016/j.laa.2005.11.025
Sun H: On the limit-point case of singular linear Hamiltonian systems. Appl. Anal. 2010, 89(5):663-675. 10.1080/00036811003627484
Šimon Hilscher R, Zemánek P: Weyl-Titchmarsh theory for time scale symplectic systems on half line. Abstr. Appl. Anal. 2011., 2011: Article ID 738520
Atkinson FV: Discrete and Continuous Boundary Problems. Academic Press, New York; 1964.
Bohner M: Linear Hamiltonian difference systems: disconjugacy and Jacobi-type conditions. J. Math. Anal. Appl. 1996, 199(3):804-826. 10.1006/jmaa.1996.0177
Hilscher R, Růžičková V: Riccati inequality and other results for discrete symplectic systems. J. Math. Anal. Appl. 2006, 322(2):1083-1098. 10.1016/j.jmaa.2005.09.072
Hilscher R, Růžičková V: Implicit Riccati equations and quadratic functionals for discrete symplectic systems. Int. J. Differ. Equ. 2006, 1(1):135-154.
Hilscher R, Zeidan V: Symplectic difference systems: variable stepsize discretization and discrete quadratic functionals. Linear Algebra Appl. 2003, 367: 67-104.
Kratz W: Definiteness of quadratic functionals. Analysis 2003, 23(2):163-183.
Šimon Hilscher R, Zeidan V: Oscillation theorems and Rayleigh principle for linear Hamiltonian and symplectic systems with general boundary conditions. Appl. Math. Comput. 2012, 218(17):8309-8328. 10.1016/j.amc.2012.01.056
Kelley WG, Peterson AC: Difference Equations: An Introduction with Applications. Academic Press, San Diego; 1991.
Wang Y, Shi Y: Eigenvalues of second-order difference equations with periodic and antiperiodic boundary conditions. J. Math. Anal. Appl. 2005, 309(1):56-69. 10.1016/j.jmaa.2004.12.010
Teschl G Mathematical Surveys and Monographs 72. In Jacobi Operators and Completely Integrable Nonlinear Lattices. Am. Math. Soc., Providence; 2000.
Ahlbrandt CD, Peterson AC: Discrete Hamiltonian Systems: Difference Equations, Continued Fractions, and Riccati Equations. Kluwer Academic, Boston; 1996.
Mingarelli AB: A limit-point criterion for a three-term recurrence relation. C. R. Math. Acad. Sci. Soc. R. Can. 1981, 3(3):171-175.
Šimon Hilscher R, Zeidan V: Symmetric three-term recurrence equations and their symplectic structure. Adv. Differ. Equ. 2010., 2010: Article ID 626942
Ren G, Shi Y: Defect indices and definiteness conditions for a class of discrete linear Hamiltonian systems. Appl. Math. Comput. 2011, 218(7):3414-3429. 10.1016/j.amc.2011.08.086
Shi Y: On the rank of the matrix radius of the limiting set for a singular linear Hamiltonian system. Linear Algebra Appl. 2004, 376: 109-123.
Shi Y: Spectral theory of discrete linear Hamiltonian systems. J. Math. Anal. Appl. 2004, 289(2):554-570. 10.1016/j.jmaa.2003.08.039
Bohner M: Discrete linear Hamiltonian eigenvalue problems. Comput. Math. Appl. 1998, 36(10-12):179-192. 10.1016/S0898-1221(98)80019-9
Šimon Hilscher R, Zeidan V: Rayleigh principle for time scale symplectic systems and applications. Electron. J. Qual. Theory Differ. Equ. 2011., 2011: Article ID 83 (electronic)
Shi Y, Chen S: Spectral theory of second-order vector difference equations. J. Math. Anal. Appl. 1999, 239(2):195-212. 10.1006/jmaa.1999.6510
Šimon Hilscher R: Eigenvalue theory for time scale symplectic systems depending nonlinearly on spectral parameter. Appl. Math. Comput. 2012, 219(6):2839-2860. 10.1016/j.amc.2012.08.026
Chen J, Shi Y: The limit circle and limit point criteria for second order linear difference equations. Comput. Math. Appl. 2004, 47(6-7):967-976. 10.1016/S0898-1221(04)90080-6
Clark S: A spectral analysis for self-adjoint operators generated by a class of second order difference equations. J. Math. Anal. Appl. 1996, 197(1):267-285. 10.1006/jmaa.1996.0020
Hinton DB, Lewis RT: Spectral analysis of second order difference equations. J. Math. Anal. Appl. 1978, 63: 421-438. 10.1016/0022-247X(78)90088-4
Jirari A: Second order Sturm-Liouville difference equations and orthogonal polynomials. Mem. Am. Math. Soc. 1995., 113: Article ID 542
Sun H, Shi Y: Limit-point and limit-circle criteria for singular second-order linear difference equations with complex coefficients. Comput. Math. Appl. 2006, 52(3-4):539-554. 10.1016/j.camwa.2006.08.024
Sun H, Shi Y: Eigenvalues of second-order difference equations with coupled boundary conditions. Linear Algebra Appl. 2006, 414(1):361-372. 10.1016/j.laa.2005.10.012
Weidmann J Graduate Texts in Mathematics 68. In Linear Operators in Hilbert Spaces. Springer, Berlin; 1980.
Acknowledgements
This research was supported by the Czech Science Foundation under grant P201/10/1032 and by the European Social Fund and the state budget of the Czech Republic under the project ‘Employment of Newly Graduated Doctors of Science for Scientific Excellence’ (registration number CZ.1.07/2.3.00/30.0009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Competing interests
The authors declare that they have no competing interests.
Authors’ contributions
The authors declare that they conducted all the research in this paper in equal parts. All the authors read and approved the final manuscript.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 2.0 International License (https://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
About this article
Cite this article
Šimon Hilscher, R., Zemánek, P. Weyl disks and square summable solutions for discrete symplectic systems with jointly varying endpoints. Adv Differ Equ 2013, 232 (2013). https://doi.org/10.1186/1687-1847-2013-232
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/1687-1847-2013-232