Recent Progress in Differential and Difference EquationsView this Special Issue
Research Article | Open Access
Petr Hasil, "Conjugacy of Self-Adjoint Difference Equations of Even Order", Abstract and Applied Analysis, vol. 2011, Article ID 814962, 16 pages, 2011. https://doi.org/10.1155/2011/814962
Conjugacy of Self-Adjoint Difference Equations of Even Order
We study oscillation properties of -order Sturm-Liouville difference equations. For these equations, we show a conjugacy criterion using the -criticality (the existence of linear dependent recessive solutions at and ). We also show the equivalent condition of -criticality for one term -order equations.
In this paper, we deal with -order Sturm-Liouville difference equations and operators where is the forward difference operator, that is, , and , are real-valued sequences. The main result is the conjugacy criterion which we formulate for the equation , that is viewed as a perturbation of (1.1), and we suppose that (1.1) is at least -critical for some . The concept of -criticality (a disconjugate equation is said to be -critical if and only if it possesses solutions that are recessive both at and , see Section 3) was introduced for second-order difference equations in , and later in  for (1.1). For the continuous counterpart of the used techniques, see [3–5] from where we get an inspiration for our research.
The paper is organized as follows. In Section 2, we recall necessary preliminaries. In Section 3, we recall the concept of -criticality, as introduced in , and show the first result—the equivalent condition of -criticality for the one term difference equation (Theorem 3.4). In Section 4 we show the conjugacy criterion for equation and Section 5 is devoted to the generalization of this criterion to the equation with the middle terms
The proof of our main result is based on equivalency of (1.1) and the linear Hamiltonian difference systems where , and are matrices of which and are symmetric. Therefore, we start this section recalling the properties of (2.1), which we will need later. For more details, see the papers [6–11] and the books [12, 13].
Let us consider, together with system (2.1), the matrix linear Hamiltonian system where the matrices , and are also given by (2.3). We say that the matrix solution of (2.4) is generated by the solutions of (1.1) if and only if its columns are generated by , respectively, that is, . Reversely, if we have the solution of (2.4), the elements from the first line of the matrix are exactly the solutions of (1.1). Now, we can define the oscillatory properties of (1.1) via the corresponding properties of the associated Hamiltonian system (2.1) with matrices , and given by (2.3), for example, (1.1) is disconjugate if and only if the associated system (2.1) is disconjugate, the system of solutions is said to be recessive if and only if it generates the recessive solution of (2.4), and so forth. Therefore, we define the following properties just for linear Hamiltonian systems.
For system (2.4), we have an analog of the continuous Wronskian identity. Let and be two solutions of (2.4). Then, holds with a constant matrix . We say that the solution of (2.4) is a conjoined basis, if Two conjoined bases of (2.4) are called normalized conjoined bases of (2.4) if in (2.5) (where denotes the identity operator).
System (2.1) is said to be right disconjugate in a discrete interval , , if the solution of (2.4) given by the initial condition , satisfies for , see . Here ker, , and ≥ stand for kernel, Moore-Penrose generalized inverse, and nonnegative definiteness of the matrix indicated, respectively. Similarly, (2.1) is said to be left disconjugate on , if the solution given by the initial condition , satisfies System (2.1) is disconjugate on , if it is right disconjugate, which is the same as left disconjugate, see [14, Theorem 1], on for every , . System (2.1) is said to be nonoscillatory at (nonoscillatory at ), if there exists such that it is right disconjugate on for every (there exists such that (2.1) is left disconjugate on for every ).
We call a conjoined basis of (2.4) the recessive solution at , if the matrices are nonsingular, (both for large ), and for any other conjoined basis , for which the (constant) matrix is nonsingular, we have The solution is called the dominant solution at . The recessive solution at is determined uniquely up to a right multiple by a nonsingular constant matrix and exists whenever (2.4) is nonoscillatory and eventually controllable. (System is said to be eventually controllable if there exist such that for any the trivial solution of (2.1) is the only solution for which .) The equivalent characterization of the recessive solution of eventually controllable Hamiltonian difference systems (2.1) is see . Similarly, we can introduce the recessive and the dominant solutions at . For related notions and results for second-order dynamic equations, see, for example, [15, 16].
The energy functional of (1.1) is given by Then, for admissible , we have To prove our main result, we use a variational approach, that is, the equivalency of disconjugacy of (1.1) and positivity of ; see .
Lemma 2.1 (see [17, Section 2]). Equation (2.13) is disconjugate on and possesses a system of solutions , , such that as , where as for a pair of sequences means that . If (2.14) holds, the solutions form the recessive system of solutions at , while form the dominant system, . The analogous statement holds for the ordered system of solutions as .
Now, we recall the transformation lemma.
Lemma 2.2 (see [14, Theorem 4]). Let and consider the transformation . Then, one has where that is, solves if and only if solves the equation
The next lemma is usually called the second mean value theorem of summation calculus.
Lemma 2.3 (see [17, Lemma 3.2]). Let and the sequence be monotonic for (i.e., does not change its sign for ). Then, for any sequence there exist such that
An integer is said to be a generalized zero of multiplicity of a nontrivial solution of (2.19) if , and . Equation (2.19) is said to be eventually disconjugate if there exists such that no non-trivial solution of this equation has or more generalized zeros (counting multiplicity) on .
A system of sequences is said to form the D-Markov system of sequences for if Casoratians are positive on .
Lemma 2.4 (see [19, Theorem 9.4.1]). Equation (2.19) is eventually disconjugate if and only if there exist and solutions of (2.19) which form a D-Markov system of solutions on . Moreover, this system can be chosen in such a way that it satisfies the additional condition
3. Criticality of One-Term Equation
Suppose that (1.1) is disconjugate on and let and , , be the recessive systems of solutions of at and , respectively. We introduce the linear space
Definition 3.1 (see ). Let (1.1) be disconjugate on and let . Then, we say that the operator (or (1.1)) is -critical on . If , we say that is subcritical on . If (1.1) is not disconjugate on , that is, , we say that is supercritical on .
To prove the result in this section, we need the following statements, where we use the generalized power function For reader's convenience, the first statement in the following lemma is slightly more general than the corresponding one used in  (it can be verified directly or by induction).
Lemma 3.2 (see ). The following statements hold.
(i) Let be any sequence, , and
(ii) The generalized power function has the binomial expansion
Now, we formulate one of the results of .
Proof. Let and denote the subspaces of the solution space of (2.13) generated by the recessive system of solutions at and , respectively. Necessity of (3.7) follows directly from Proposition 3.3. To prove sufficiency, it suffices to show that if one of the sums in (3.7) is convergent, then . We show this statement for the sum . The other case is proved similarly, so it will be omitted. Particularly, we show
Let us denote , and let us consider the following nonpolynomial solutions of (2.13):
where . By Stolz-Cesàro theorem, since (using Lemma 3.2) , these solutions are ordered, that is, , as well as the polynomial solutions, that is, .
By some simple calculation and by Lemma 3.2 (at first, we use (i), and at the end, we use (ii)), we have Hence, from this and by Stolz-Cesàro theorem, we get thus . We obtained that , which means that we have solutions less than , therefore and (2.13) is at most -critical.
4. Conjugacy of Two-Term Equation
In this section, we show the conjugacy criterion for two-term equation.
Theorem 4.1. Let , be a real-valued sequence, and let there exist an integer and real constants such that (2.13) is at least -critical and the sequence satisfies If , then is conjugate on .
Proof. We prove this theorem using the variational principle; that is, we find a sequence such that the energy functional .
At first, we estimate the first term of . To do this, we use the fact that this term is an energy functional of (2.13). Let us denote it by that is, Using the substitution (2.2), we find out that (2.13) is equivalent to the linear Hamiltonian system (2.1) with the matrix ; that is, and to the matrix system Now, let us denote the recessive solutions of (4.5) at and by and , respectively, such that the first columns of and are generated by the sequences . Let , and be arbitrary integers such that , and (some additional assumptions on the choice of will be specified later), and let and be the solutions of (4.4) given by the formulas where and is the solution of (4.4) generated by . By a direct substitution, and using the convention that , we obtain Now, from (4.1), together with the assumption , we have that there exist and such that . Because the numbers , and have been “almost free” so far, we may choose them such that .
Let us introduce the test sequence where To finish the first part of the proof, we use (4.4) to estimate the contribution of the term Using the definition of the test sequence , we can split into three terms. Now, we estimate two of them as follows. Using (4.4), we obtain where we used the fact that (recall that the last entries of are zeros and that the first columns of and are generated by the solutions ). Similarly, Using property (2.10) of recessive solutions of the linear Hamiltonian difference systems, we can see that as and as . We postpone the estimation of the middle term of to the end of the proof.
To estimate the second term of , we estimate at first its terms For this estimation, we use Lemma 2.3. To do this, we have to show the monotonicity of the sequences Let be the ordered system of solutions of (2.13) in the sense of Lemma 2.1. Then, again by Lemma 2.1, there exist real numbers such that . Because , at least one coefficient is nonzero. Therefore, we can denote , and we replace the solution by . Let us denote this new system again and note that this new system has the same properties as the original one.
Following Lemma 2.2, we transform (2.13) via the transformation , into that is, possesses the fundamental system of solutions Now, let us compute the Casoratians Hence, form the D-Markov system of sequences on , for sufficiently large. Therefore, by Lemma 2.4, (4.17) is eventually disconjugate; that is, it has at most generalized zeros (counting multiplicity) on . The sequence is a solution of (4.17), and we have that this sequence has generalized zeros of multiplicity both at and at ; that is, Moreover, and . Hence,. We can proceed similarly for the sequence.
Using Lemma 2.3, we have that there exist integers such that Finally, we estimate the remaining term of . By (4.9), we have Altogether, we have where for sufficiently small is , for sufficiently large is , and, from (4.1), for and . Therefore, which means that for sufficiently small, and (4.2) is conjugate on .
5. Equation with the Middle Terms
Theorem 5.1. Let , be a real-valued sequence, and let there exist an integer and real constants such that (1.1) is at least -critical and the sequence satisfies If for large and , then is conjugate on .
Remark 5.3. In the view of the matrix operator associated to (1.1) in the sense of , we can see that the perturbations in Theorem 4.1 affect the diagonal elements of the associated matrix operator. A description of behavior of (1.1), with regard to perturbations of limited part of the associated matrix operator (but not only of the diagonal elements), is given in .
The research was supported by the Czech Science Foundation under Grant no. P201/10/1032.
- F. Gesztesy and Z. Zhao, “Critical and subcritical Jacobi operators defined as Friedrichs extensions,” Journal of Differential Equations, vol. 103, no. 1, pp. 68–93, 1993.
- O. Došlý and P. Hasil, “Critical higher order Sturm-Liouville difference operators,” to appear in Journal of Difference Equations and Applications.
- O. Došlý, “Existence of conjugate points for selfadjoint linear differential equations,” Proceedings of the Royal Society of Edinburgh. Section A, vol. 113, no. 1-2, pp. 73–85, 1989.
- O. Došlý, “Oscillation criteria and the discreteness of the spectrum of selfadjoint, even order, differential operators,” Proceedings of the Royal Society of Edinburgh. Section A, vol. 119, no. 3-4, pp. 219–232, 1991.
- O. Došlý and J. Komenda, “Conjugacy criteria and principal solutions of self-adjoint differential equations,” Archivum Mathematicum, vol. 31, no. 3, pp. 217–238, 1995.
- M. Bohner, “Linear Hamiltonian difference systems: disconjugacy and Jacobi-type conditions,” Journal of Mathematical Analysis and Applications, vol. 199, no. 3, pp. 804–826, 1996.
- M. Bohner, O. Došlý, and W. Kratz, “A Sturmian theorem for recessive solutions of linear Hamiltonian difference systems,” Applied Mathematics Letters, vol. 12, no. 2, pp. 101–106, 1999.
- O. Došlý, “Transformations of linear Hamiltonian difference systems and some of their applications,” Journal of Mathematical Analysis and Applications, vol. 191, no. 2, pp. 250–265, 1995.
- O. Došlý, “Symplectic difference systems: oscillation theory and hyperbolic Prüfer transformation,” Abstract and Applied Analysis, vol. 2004, no. 4, pp. 285–294, 2004.
- L. H. Erbe and P. X. Yan, “Disconjugacy for linear Hamiltonian difference systems,” Journal of Mathematical Analysis and Applications, vol. 167, no. 2, pp. 355–367, 1992.
- L. H. Erbe and P. X. Yan, “Qualitative properties of Hamiltonian difference systems,” Journal of Mathematical Analysis and Applications, vol. 171, no. 2, pp. 334–345, 1992.
- C. D. Ahlbrandt and A. C. Peterson, Discrete Hamiltonian Systems: Difference Equations, Continued Fractions, and Riccati Equations, Kluwer Academic Publishers, Dordrecht, The Netherlands, 2010.
- W. Kratz, Quadratic Functionals in Variational Analysis and Control Theory, vol. 6 of Mathematical Topics, Akademie, Berlin, Germany, 1995.
- M. Bohner and O. Došlý, “Disconjugacy and transformations for symplectic systems,” The Rocky Mountain Journal of Mathematics, vol. 27, no. 3, pp. 707–743, 1997.
- M. Bohner and S. Stević, “Trench's perturbation theorem for dynamic equations,” Discrete Dynamics in Nature and Society, vol. 2007, Article ID 75672, 11 pages, 2007.
- M. Bohner and S. Stević, “Linear perturbations of a nonoscillatory second-order dynamic equation,” Journal of Difference Equations and Applications, vol. 15, no. 11-12, pp. 1211–1221, 2009.
- O. Došlý, “Oscillation criteria for higher order Sturm-Liouville difference equations,” Journal of Difference Equations and Applications, vol. 4, no. 5, pp. 425–450, 1998.
- P. Hartman, “Difference equations: disconjugacy, principal solutions, Green's functions, complete monotonicity,” Transactions of the American Mathematical Society, vol. 246, pp. 1–30, 1978.
- R. P. Agarwal, Difference Equations and Inequalities, Theory, Methods, and Applications, vol. 155 of Monographs and Textbooks in Pure and Applied Mathematics, Marcel Dekker, New York, NY, USA, 1992.
- P. Hasil, “Criterion of p-criticality for one term 2n-order difference operators,” Archivum Mathematicum, vol. 47, pp. 99–109, 2011.
- W. Kratz, “Banded matrices and difference equations,” Linear Algebra and Its Applications, vol. 337, pp. 1–20, 2001.
Copyright © 2011 Petr Hasil. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.