Abstract
We consider discrete Sturm–Liouville-type equations of the form
We present a theory of asymptotic properties of solutions which allows us to control the degree of approximation. Namely, we establish conditions under which for a given sequence y which solves the equation \(\varDelta (r_n\varDelta y_n)=b_n\), the above equation possesses a solution x with the property \(x_n=y_n+\mathrm {o}(u_n)\), where u is a given positive, nonincreasing sequence. The obtained results are applied to the study of asymptotically periodic solutions. Moreover, these results also allow us to obtain some nonoscillation criteria for the classical Sturm–Liouville equation.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(\mathbb {N}\), \(\mathbb {R}\) denote the set of positive integers and all real numbers, respectively. In this paper, we assume \(a,b:\mathbb {N}\rightarrow \mathbb {R}\), \(r:\mathbb {N}\rightarrow \mathbb {R}\setminus \{0\}\), \(f:\mathbb {R}\rightarrow \mathbb {R}\), \(\sigma :\mathbb {N}\rightarrow \mathbb {N}\), \(\lim \limits _{n\rightarrow \infty }\sigma (n)=\infty \), and consider the second-order discrete equation with quasidifferences of the form
By a solution of Eq. (E), we mean a sequence x which satisfies the equality (E) for all large n.
Let us note that a particular case of Eq. (E) is the well-known Sturm–Liouville difference equation
which has many applications in mathematical physics, matrix theory, control theory or discrete variational theory. Equation (1) has been extensively studied by many authors, especially with regard to the oscillation, disconjugacy and boundary value problems, see, for example, [1,2,3, 5, 6, 8,9,10,11, 20]. Several results devoted to asymptotic properties of (1) and for slightly more general equations can be found in [2, 7, 12, 17,18,19, 23,24,25,26]. In the presented paper, using the Schauder’s-type fixed point theorem, we establish conditions under which for a given sequence y, which solves \(\varDelta (r_n\varDelta y_n)=b_n\), Eq. (E) possesses a solution x such that
where u is a positive, nonincreasing sequence. If Eq. (2) is satisfied, then x is called a solution with prescribed asymptotic behavior, and y is called an approximative solution of (E). Taking different sequences u, we may control the degree of approximation. In particular, if \(u_n=n^s\) for some fixed \(s\in (-\infty ,0]\), then we have harmonic approximation. If \(u_n=\alpha ^n\) for some fixed \(\alpha \in (0,1)\), then we get geometric approximation. We believe that very strong geometric approximation is important from a numerical point of view. It is worth noticing that our results are new even in the case when \(u_n=1\).
We present also an application of the obtained results to the study of asymptotic periodicity of solutions to Eq. (E). The study of the existence of periodic or asymptotically periodic solutions is a very important topic in the qualitative theory of difference equations because of its many applications in mathematical biology, chemistry, physics, economics and other fields, see, e.g., [1, 13]. The existence of asymptotically periodic solutions of Eq. (E) was considered, for example, in [4, 16, 21, 22] or [25].
We also apply our results to the study of asymptotic properties of bounded solutions to discrete Sturm–Liouville Eq. (1). Moreover, using the Sturm separation theorem and our results we obtain some nonoscillation criteria for Eq. (1).
The paper is organized as follows. In Sect. 2, we introduce some preliminary lemmas. In Sect. 3, we study the problem of the existence of solutions with prescribed asymptotic behavior. In Sect. 4, we apply our results to the study of asymptotically periodic solutions. Section 5 is devoted to the study of solutions to discrete Sturm–Liouville Eq. (1). In Sect. 6, the proof of Theorem 1 and some additional remarks are presented.
2 Preliminaries
The space of all sequences \(x:\mathbb {N}\rightarrow \mathbb {R}\) we denote by \(\mathbb {R}^\mathbb {N}\). If \(x\in \mathbb {R}^\mathbb {N}\), then |x| denotes the sequence defined by \(|x|(n)=|x_n|\) and
We will use the convention \(\sum _{i=k}^nd_i=0\) whenever \(n<k\); moreover, we will use the following notation:
The sequence \(\widehat{r}\) we introduce for technical reasons. One of them is the following important property of \(\widehat{r}\)
Note that if \(r>0\), then \(\widehat{r}_n=r^*_{n+1}\) for any n.
In the proofs of the main results, we will need some lemmas which are presented below. The straightforward proof of these lemmas we leave to the reader.
Lemma 1
A sequence y is a solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\) if and only if there exist real constants \(c_1,c_2\) such that
for any n.
Lemma 2
If \(\sum _{k=1}^\infty \widehat{r}_k|x_k|<\infty \), then for any \(n\in \mathbb {N}\) we have
Lemma 3
If \(n\in \mathbb {N}\) and
Lemma 4
If \(x:\mathbb {N}\rightarrow \mathbb {R}\), \(u:\mathbb {N}\rightarrow (0,\infty )\), \(\varDelta u\le 0\), and
Lemma 5
If \(x:\mathbb {N}\rightarrow \mathbb {R}\), \(u:\mathbb {N}\rightarrow (0,\infty )\), \(\varDelta u\le 0\), and
Lemma 6
If \(g,w:\mathbb {N}\rightarrow [0,\infty )\), \(\sum _{j=1}^\infty g_j<\infty \), and \(n\in \mathbb {N}\), then
3 Solutions with Prescribed Asymptotic Behavior
In this section, in Theorem 1, we present our main result. We establish conditions under which for a given solution y of the equation \(\varDelta (r_n\varDelta y_n)=b_n\) and a given positive, nonincreasing sequence u there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(u_n)\). Next, we present various consequences of Theorem 1. The proof of Theorem 1 is presented in Sect. 6.
Theorem 1
Assume y is a solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\),
and f is continuous and bounded on U. Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(u_n)\).
We say that a sequence \(y\in \mathbb {R}^\mathbb {N}\) is f-regular if there exist an index q and a positive number \(\alpha \) such that f is continuous and bounded on the set
It is clear that if f is continuous on \(\mathbb {R}\), then any bounded sequence is f-regular. Hence, the following corollary is an immediate consequence of Theorem 1.
Corollary 1
Assume (4), (6), f is continuous and y is a bounded solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\). Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(u_n)\).
In the next corollary, we present a result concerning harmonic approximation.
Corollary 2
Assume y is an f-regular solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\),
Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(n^s)\).
Proof
Let \(u_n=n^s\) for any n. Choose a positive constant M such that \(|r^{-1}_k|\le Mk^\tau \) for any k. Using Lemma 6, we get
Now, using Theorem 1, we obtain the result. \(\square \)
Remark 1
If \(\tau \in [s,\infty )\), \(\gamma =2+\tau -s\), then, by [15, Section 6], any of the following conditions
imply
The following result is devoted to geometric approximation.
Corollary 3
Assume y is an f-regular solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\),
Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(\beta ^n)\).
Proof
Let u be a sequence defined by \(u_n=\beta ^n\). It is easy to see that \(\widehat{r}_n=\mathrm {O}(n^{\tau +1})\). Hence,
Therefore, the assertion is a consequence of Theorem 1. \(\square \)
So far, we did not impose any conditions on the sequence b. Now, we assume that b is “small.” That allows us to obtain simpler asymptotic behavior of solutions of Eq. (E). Namely, we may replace solutions y of the equation \(\varDelta (r_n\varDelta y_n)=b_n\) by solutions of the equation \(\varDelta (r_n\varDelta y_n)=0\).
Theorem 2
Assume (4),
and y is an f-regular solution of the equation \(\varDelta (r_n\varDelta y_n)=0\). Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(u_n)\).
Proof
Choose an index q and a positive number \(\alpha \) such that f is continuous and bounded on
Choose a number \(\alpha '\in (0,\alpha )\), and let \(\beta =\alpha -\alpha '\). Define sequences \(v,y'\) by
Using Lemma 4 or Lemma 5, we get \(v_n=\mathrm {o}(u_n)\). Hence, there exists an index \(q'\ge q\) such that \(|v_n|\le \beta \) for any \(n\ge q'\). Let
If \(t\in U'\), then there exists an index \(k\ge q'\) such that \(|t-y'_k|\le \alpha '\). Then,
Hence, \(U'\subset U\). Therefore, f is continuous and bounded on \(U'\). Using Lemma 2 or Lemma 3, we get \(\varDelta (r_n\varDelta v_n)=b_n\). Thus,
By Theorem 1, there exists a solution x of (E) such that \(x_n=y'_n+\mathrm {o}(u_n)\). Then,
\(\square \)
The following harmonic approximation case of Theorem 2 generalizes [17, Theorem 1].
Corollary 4
Assume (7), y is an f-regular solution of the equation \(\varDelta (r_n\varDelta y_n)=0\), and
Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(n^s)\).
Proof
Let \(u_n=n^s\) for any n. Similarly, as in the proof of Corollary 2 we get
Hence, the assertion is a consequence of Theorem 2. \(\square \)
Below we get the geometric approximation case of Theorem 2.
Corollary 5
Assume y is an f-regular solution of the equation \(\varDelta (r_n\varDelta y_n)=0\),
Then, there exists a solution x of (E) such that \(x_n=y_n+\mathrm {o}(\beta ^n)\).
Proof
As in the proof of Corollary 3, we have \(\limsup \limits _{n\rightarrow \infty }\root n \of {\widehat{r}_n\beta ^{-n}(|a_n|+|b_n|)}<1\). Using Theorem 2, with \(u_n=\beta ^n\), we get the result. \(\square \)
If the function f is continuous on \(\mathbb {R}\) and the sequence \(r^*\) is bounded, we obtain an especially simple case of Theorem 2. The presented result generalizes [16, Theorem 2.1].
Corollary 6
Assume (4), f is continuous, the sequence \(r^*\) is bounded, and
Then, for any real constants c, d there exists a solution x of (E) such that
Proof
The boundedness of \(r^*\) implies the boundedness of \(\widehat{r}\). Hence,
Assume \(c,d\in \mathbb {R}\). By Lemma 1, the sequence \(y_n=cr^*_n+d\) is a solution of the equation \(\varDelta (r_n\varDelta y_n)=0\). Moreover, y is bounded. Hence, using Theorem 2, we obtain the result. \(\square \)
As we mentioned before, Theorem 1 generalizes [17, Theorem 1], [16, Theorem 2.1], and [16, Theorem 2.2]. Below we present an example illustrating Theorem 1. None of these theorems can be applied to the equation given in this example.
Example 1
Assume \(s\in (-1,0]\),
and
Then, Eq. (E) takes the form
By Lemma 1, the sequence y is a solution of \(\varDelta ((-1)^nn\varDelta y_n)=0\). Obviously, y is convergent and f-regular. There exists a positive constant M such that
for any \(n\in \mathbb {N}\). Using the formula \(\sum _{j=k}^\infty \frac{1}{j(j+1)}=\frac{1}{k}\), we obtain
Hence, by Corollary 2, there exists a solution x of (10) such that \(x_n=y_n+\mathrm {o}(u_n)\). The sequence \(x_n=y_n+n^{-2}\) is such a solution. Note that theorem [17, Theorem 1] cannot be applied to Eq. (10) because the condition \(r>0\) is not satisfied. Moreover, since the sequences \(r^*\) and b are not periodic, theorems [16, Theorem 2.1] and [16, Theorem 2.2] also cannot be applied to Eq. (10).
4 Asymptotically Periodic Solutions
In this section, we present the application of the previously obtained results to the study of asymptotic periodicity of solutions to Eq. (E). The presented results generalize the main results of [16]. In the first two corollaries, we establish sufficient conditions for the existence of asymptotically periodic solutions. The following result is a consequence of Corollary 6.
Corollary 7
Assume f is continuous,
the sequence \(r^*\) is \(\omega \)-periodic, and
Then, for any real constants c, d there exists an asymptotically \(\omega \)-periodic solution x of (E) such that \(x_n=cr^*_n+d+\mathrm {o}(u_n)\).
Corollary 8
Assume (11), f is continuous, the sequence \(r^*\) is bounded, y is an \(\omega \)-periodic solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\), and
Then, for any real constant d there exists an asymptotically \(\omega \)-periodic solution x of (E) such that \(x_n=y_n+d+\mathrm {o}(u_n)\).
Proof
For any \(d\in \mathbb {R}\), the sequence \(d+y_n\) is a bounded solution of the equation \(\varDelta (r_n\varDelta y_n)=b_n\). Using Corollary 1, we obtain the result. \(\square \)
The following example illustrates Corollary 8.
Example 2
Let \(r_n=n^2\), \(f(t)=t\), \(\sigma (n)=n\),
Then, Eq. (E) takes the form
Let
Then, y is a 2-periodic solution of the equation \(\varDelta (n^2\varDelta x_n)=b_n\). Obviously, the sequence \(r^*\) is bounded and the condition (13) is satisfied. Hence, by Corollary 8, there exists an asymptotically 2-periodic solution x of Eq. (14) such that \(x_n=y_n+\mathrm {o}(u_n)\). Indeed, the sequence \(x_n=3+2(-1)^n+n^{-1}\) is such a solution.
5 Sturm–Liouville Discrete Equations
Now, we apply our results to discrete Sturm–Liouville equation
First, we present some results concerning asymptotic properties of bounded solutions. Next, we give some nonoscillation criteria.
Theorem 3
Assume
and
Then, for any bounded solution y of the equation
there exists a solution x of (15) such that \(x_n=y_n+\mathrm {o}(u_n)\).
Proof
Taking \(b_n=0\), \(\sigma (n)=n+1\) for any \(n\in \mathbb {N}\), and \(f(t)=t\) for any \(t\in \mathbb {R}\) and using Corollary 1, we get the result. \(\square \)
Note that, by Lemma 1, a sequence y is a solution of the Eq. (18) if and only if there exist real constants c, d such that
In particular, any constant sequence is a solution of (18). If the sequence \(r^*\) is bounded, then any solution of (18) is bounded. On the other hand, if \(r^*\) is unbounded, then the only bounded solutions of (18) are constant.
Corollary 9
Assume (16), the sequence \(r^*\) is bounded, and
Then, for any real constants c, d there exists a solution x of (15) such that
Proof
Since the sequence \(r^*\) is bounded, the sequence \(\widehat{r}_n=\max \{|r^*_1|,|r^*_2|,\dots ,|r^*_{n+1}|\}\) is bounded, too. Hence,
Let \(c,d\in \mathbb {R}\). Since the sequence \(r^*\) is bounded, the sequence \(cr^*_n+d\) is a bounded solution of (18). Using Theorem 3, we obtain the result. \(\square \)
From Corollary 2, we get the result on harmonic approximation.
Corollary 10
If \(s\in (-\infty ,0]\), \(\tau \in [s,\infty )\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), and \(\sum _{n=1}^\infty n^{1+\tau -s}|a_n|<\infty \), then for any bounded solution y of (18) there exists a solution x of (15) such that \(x_n=y_n+\mathrm {o}(n^s)\).
Analogously, from Corollary 3 we get the geometric approximation.
Corollary 11
Assume \(\tau \in \mathbb {R}\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), and \(\limsup _{n\rightarrow \infty }\root n \of {|a_n|}<\beta <1\). Then, for any bounded solution y of (18) there exists a solution x of (15) such that \(x_n=y_n+\mathrm {o}(\beta ^n)\).
If \(c,d\in \mathbb {R}\) and the sequence \(r^*\) is bounded, then the sequence \(cr^*+d\) is a bounded solution of (18). Hence, from Corollary 10, we obtain
Corollary 12
If \(s\in (-\infty ,0]\), \(\tau \in [s,\infty )\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), \(\sum _{n=1}^\infty n^{1+\tau -s}|a_n|<\infty \), and the sequence \(r^*\) is bounded, then for any real constants c, d there exists a solution x of (15) such that
A sequence \(y\in \mathbb {R}^\mathbb {N}\) is said to be nonoscillatory if \(y_ny_{n+1}>0\) for any large n. In the other case, the sequence y is said to be oscillatory. We say that Eq. (15) is nonoscillatory if all its nontrivial solutions are nonoscillatory. By the Sturm separation theorem, see, for example, [13, Theorem 6.5], either all solutions of (15) are oscillatory or Eq. (15) is nonoscillatory. In particular, if there exists a convergent solution of (15) with nonzero limit, then Eq. (15) is nonoscillatory. From our results, we can get some sufficient conditions for the existence of convergent solutions. Combining these conditions and the Sturm separation theorem, we obtain some nonoscillation criteria for Eq. (15).
Corollary 13
Assume \(\tau \in [0,\infty )\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), and \(\sum _{n=1}^\infty n^{1+\tau }|a_n|<\infty \). Then, Eq. (15) is nonoscillatory.
Corollary 14
Assume \(\tau \in [0,\infty )\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), \(\alpha \in (-\infty , -2-\tau )\), and \(a_n=\mathrm {O}(n^\alpha )\). Then, Eq. (15) is nonoscillatory.
Corollary 15
If \(\tau \in \mathbb {R}\), \(r_n^{-1}=\mathrm {O}(n^\tau )\), and \(\limsup _{n\rightarrow \infty }\root n \of {|a_n|}<1\), then Eq. (15) is nonoscillatory.
6 The proof of Theorem 1 and additional remarks
The proof of Theorem 1 is based on the following Schauder-type fixed point lemma. This lemma is a consequence of the proof of [14, Theorem 1].
Lemma 7
Let y be a real sequence, and let \(\rho \) be a positive sequence which is convergent to zero. Define a metric space (X, d) by
Then, for any continuous map \(H: X\rightarrow X\) there exists a point x in X such that \(Hx=x\).
Now, we provide the proof of Theorem 1.
Proof
For \(n\in \mathbb {N}\) and \(x\in \mathbb {R}^\mathbb {N}\), let
Let
Choose a positive constant L, such that
for any \(t\in U\). For \(n\in \mathbb {N}\), let
In case (a), it is easy to see that
In case (b), using Lemma 5 we get (21). Therefore, there exists an index p such that
for \(n\ge p\). Let
Note that \(X\subset Y\). If \(x\in Y\) and \(n\ge p\), then \(|f(x_{\sigma (n)})|\le L\).
Assume condition (a) is satisfied. Define an operator \(H: Y\rightarrow \mathbb {R}^\mathbb {N}\) by
If \(x\in X\), then, by (3), for \(n\ge p\) we have
Therefore, \(HX\subset X\). Let \(x\in X\), and \(\varepsilon >0\). There exist an index \(m\ge p\) and a positive constant \(\gamma \) such that
Let
Since C is a compact subset of \(\mathbb {R}\), f is uniformly continuous on C. Choose a positive \(\delta \) such that if \(t_1,t_2\in C\) and \(|t_1-t_2|<\delta \), then
Choose \(z\in X\) such that \(\Vert x-z\Vert <\delta \). Then,
Hence, the map \(H: X\rightarrow X\) is continuous with respect to the metric defined in Lemma 7. By Lemma 7, there exists a point \(x\in X\) such that \(x=Hx\). Then, for \(n\ge p\) we have
Using Lemma 2, we obtain
for \(n\ge p\). Hence, x is a solution of (E). Since \(x\in X\) and \(\rho _n=\mathrm {o}(u_n)\), we have
Now, assume condition (b) is satisfied. Define an operator \(G: Y\rightarrow \mathbb {R}^\mathbb {N}\) by
If \(x\in X\), then for \(n\ge p\) we have
Therefore, \(GX\subset X\). Let \(x\in X\), and \(\varepsilon >0\). There exist an index \(m\ge p\) and a positive constant \(\gamma \) such that
Define a subset C of \(\mathbb {R}\) by (22). Choose a positive \(\delta \) such that if \(t_1,t_2\in C\) and \(|t_1-t_2|<\delta \), then \(|f(t_1)-f(t_2)|<\gamma \). Choose \(z\in X\) such that \(\Vert x-z\Vert <\delta \). Then,
Hence, the map \(H: X\rightarrow X\) is continuous. By Lemma 7, there exists a point \( x\in X\) such that \(x=Hx\). Then, for \(n\ge p\) we have
By Lemma 3, x is a solution of (E). Since \(x\in X\) and \(\rho _n=\mathrm {o}(u_n)\), we have
\(\square \)
In our theory, two conditions
play a key role. Below we present a comparison of assumptions (a) and (b).
Remark 2
Assume \(a\in \mathbb {R}^\mathbb {N}\), \(r,u:\mathbb {N}\rightarrow (0,\infty )\), \(\varDelta u\le 0\), and \(\sum _{k=1}^\infty \frac{\widehat{r}_k|a_k|}{u_k}<\infty \). Then, \(\sum _{k=1}^\infty |a_k|<\infty \) and using Lemma 6, we obtain
Hence, in the case \(r>0\) condition (b) is a consequence of condition (a).
The following two examples show that, in general, conditions (a) and (b) are independent.
Example 3
Assume \(\lambda \in (1,\infty )\), \(r_n=\lambda ^n\), \(u_n=\lambda ^{-n}\), and \(a_n=n^{-3}\). Then,
Hence,
Therefore, in this case, condition (a) is not a consequence of (b).
Example 4
Let \(u_k=1\), \(r_k=(-1)^k\), \(a_k=\frac{1}{\sqrt{k^3}}\) for any \(k\in \mathbb {N}\). Then,
Hence, in the case \(r_k=(-1)^k\), condition (b) is not a consequence of (a).
References
Agarwal, R.P.: Difference Equations and Inequalities: Theory, Methods and Applications. Marcel Dekker, New York (2000)
Ahlbrandt, C.D., Peterson, A.C.: Discrete Hamiltonian Systems: Difference Equations, Continued Fractions, and Riccati Equations. Kluwer Academic Publishers, Boston (1996)
Amrein, W.O., Hinz, A.M., Pearson, D.B. (eds.): Sturm–Liouville theory. Past and present. Including papers from the International Colloquium held at the University of Geneva. (Geneva, 2003), Birkhüser Verlag, Basel, (2005)
Atici, F.M., Guseinov, GSh: Positive periodic solutions for nonlinear difference equations with periodic coefficients. J. Math. Anal. Appl. 231(1), 166–182 (1999). https://doi.org/10.1006/jmaa.1998.6257
Chen, S.Z., Erbe, L.: Oscillation and non-oscillation for systems of self-adjoint second order difference equations. SIAM J. Math. Anal. 20, 939–949 (1989)
Chen, S.Z.: Disconjugacy, disfocality, and oscillation of second order difference equation. J. Differ. Equ. 107, 383–394 (1994). https://doi.org/10.1006/jdeq.1994.1018
Cheng, S.S., Li, J., Patula, W.T.: Bounded and zero convergent solutions of second-order difference equations. J. Math. Anal. Appl. 141(2), 463–483 (1989). https://doi.org/10.1016/0022-247X(89)90191-1
Došlá, Z., Pechancová, Š.: Conjugacy and phases for second order linear difference equation. Comput. Math. Appl. 53(7), 1129–1139 (2007). https://doi.org/10.1016/j.camwa.2006.05.021
Hasil, P., Veselý, M.: Critical oscillation constant for difference equations with almost periodic coefficients. Abstr. Appl. Anal. article ID 471435, 1–19 (2012). https://doi.org/10.1155/2012/471435
Hilscher, R.Š.: Spectral and oscillation theory for general second order Sturm-Liouville difference equations. Adv. Differ. Equ. 82, 1–19 (2012). https://doi.org/10.1186/1687-1847-2012-82
Hinton, D.B., Lewis, R.T.: Spectral analysis of second order difference equations. J. Math. Anal. Appl. 63, 421–438 (1978)
Hooker, J.W., Patula, W.T.: A second-order nonlinear difference equation: oscillation and asymptotic behavior. J. Math. Anal. Appl. 91(1), 9–29 (1983). https://doi.org/10.1016/0022-247x(83)90088-4
Kelley, W.G., Peterson, A.C.: Difference Equations. An Introduction with Applications. Academic Press, San Diego (2001)
Migda, J.: Asymptotic properties of solutions of nonautonomous difference equations. Arch. Math. (Brno) 46, 1–11 (2010)
Migda, J.: Qualitative approximation of solutions to difference equations. Electron. J. Qual. Theory Differ. Equ. 32, 1–26 (2015). https://doi.org/10.14232/ejqtde.2015.1.32
Migda, J., Migda, M., Zba̧szyniak, Z.: Asymptotically periodic solutions of second order difference equations. Appl. Math. Comput. 350, 181–189 (2019). https://doi.org/10.1016/j.amc.2019.01.010
Migda, J., Nockowska-Rosiak, M.: Asymptotic properties of solutions to difference equations of Sturm-Liouville type. Appl. Math. Comput. 340, 126–137 (2019). https://doi.org/10.1016/j.amc.2018.08.001
Migda, M.: Asymptotic behaviour of solutions of nonlinear delay difference equations. Fasc. Math. 31, 57–62 (2001)
Nockowska-Rosiak, M.: Bounded solutions and asymptotic stability of nonlinear second-order neutral difference equations with quasi-differences. Turkish J. Math. 42(4), 1956–1969 (2018). https://doi.org/10.3906/mat-1708-29
Rehak, P.: Oscillation and nonoscillation criteria for second order linear difference equations. Fasc. Math. 31, 71–90 (2001)
Ren, Z., Li, J., Shi, H.: Existence of periodic solutions for second-order nonlinear difference equations. J. Nonlinear Sci. Appl. 9(4), 1505–1514 (2016). https://doi.org/10.22436/jnsa.009.04.09
Schmeidel, E., Zba̧szyniak, Z.: An application of Darbo’s fixed point theorem in the investigation of periodicity of solutions of difference equations. Appl. Math. Comput. 64, 2185–2191 (2012). https://doi.org/10.1016/j.camwa.2011.12.025
Stević, S.: Asymptotic behaviour of second-order difference equation. ANZIAM J. 46(1), 157–170 (2004). https://doi.org/10.1017/S1446181100013742
Stević, S.: Growth estimates for solutions of nonlinear second-order difference equations. ANZIAM J. 46(3), 439–448 (2005). https://doi.org/10.1017/S1446181100008361
Yu, J.S., Guo, Z.M., Zou, X.F.: Periodic solutions of second order self-adjoint difference equations. J. London Math. Soc. 71, 146–160 (2005). https://doi.org/10.1112/S0024610704005939
Zhang, B.G.: Oscillation and asymptotic behavior of second order difference equations. J. Math. Anal. Appl. 173(1), 58–68 (1993). https://doi.org/10.1006/jmaa.1993.1052
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by Pham Huu Anh Ngoc.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Migda, J., Nockowska-Rosiak, M. & Migda, M. Properties of Solutions of Generalized Sturm–Liouville Discrete Equations. Bull. Malays. Math. Sci. Soc. 44, 3111–3127 (2021). https://doi.org/10.1007/s40840-021-01105-y
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40840-021-01105-y
Keywords
- Sturm–Liouville difference equation
- Asymptotic behavior
- Degree of approximation
- Harmonic approximation
- Geometric approximation
- Asymptotically periodic solution