Processing math: 100%
Research article Special Issues

On Ulam stability of a second order linear difference equation

  • In this paper we obtain some Ulam stability results for the second order and the third order linear difference equation with nonconstant coefficients in a Banach space. The main idea of the approach is to decompose the second order linear difference equation in a Riccati difference equation and a first order difference equation. In this way we extend some results for linear difference equations with constant coefficients and for linear difference equations with periodic coefficients.

    Citation: Delia-Maria Kerekes, Bianca Moșneguțu, Dorian Popa. On Ulam stability of a second order linear difference equation[J]. AIMS Mathematics, 2023, 8(9): 20254-20268. doi: 10.3934/math.20231032

    Related Papers:

    [1] Murali Ramdoss, Ponmana Selvan-Arumugam, Choonkil Park . Ulam stability of linear differential equations using Fourier transform. AIMS Mathematics, 2020, 5(2): 766-780. doi: 10.3934/math.2020052
    [2] S. Deepa, S. Bowmiya, A. Ganesh, Vediyappan Govindan, Choonkil Park, Jung Rye Lee . Mahgoub transform and Hyers-Ulam stability of $ n^{th} $ order linear differential equations. AIMS Mathematics, 2022, 7(4): 4992-5014. doi: 10.3934/math.2022278
    [3] Douglas R. Anderson, Masakazu Onitsuka . A discrete logistic model with conditional Hyers–Ulam stability. AIMS Mathematics, 2025, 10(3): 6512-6545. doi: 10.3934/math.2025298
    [4] Vasilii Zaitsev . On the asymptotic stability of linear difference equations with time-varying coefficients. AIMS Mathematics, 2023, 8(10): 23734-23746. doi: 10.3934/math.20231207
    [5] Alina Ramona Baias, Ioana Crǎciun . On perturbation of aesthetic curves. AIMS Mathematics, 2023, 8(7): 17272-17283. doi: 10.3934/math.2023883
    [6] Zhenyu Jin, Jianrong Wu . On the Ulam stability of fuzzy differential equations. AIMS Mathematics, 2020, 5(6): 6006-6019. doi: 10.3934/math.2020384
    [7] Amjad Ali, Kamal Shah, Dildar Ahmad, Ghaus Ur Rahman, Nabil Mlaiki, Thabet Abdeljawad . Study of multi term delay fractional order impulsive differential equation using fixed point approach. AIMS Mathematics, 2022, 7(7): 11551-11580. doi: 10.3934/math.2022644
    [8] Weerawat Sudsutad, Chatthai Thaiprayoon, Sotiris K. Ntouyas . Existence and stability results for $ \psi $-Hilfer fractional integro-differential equation with mixed nonlocal boundary conditions. AIMS Mathematics, 2021, 6(4): 4119-4141. doi: 10.3934/math.2021244
    [9] Naimi Abdellouahab, Keltum Bouhali, Loay Alkhalifa, Khaled Zennir . Existence and stability analysis of a problem of the Caputo fractional derivative with mixed conditions. AIMS Mathematics, 2025, 10(3): 6805-6826. doi: 10.3934/math.2025312
    [10] J. Vanterler da C. Sousa, E. Capelas de Oliveira, F. G. Rodrigues . Ulam-Hyers stabilities of fractional functional differential equations. AIMS Mathematics, 2020, 5(2): 1346-1358. doi: 10.3934/math.2020092
  • In this paper we obtain some Ulam stability results for the second order and the third order linear difference equation with nonconstant coefficients in a Banach space. The main idea of the approach is to decompose the second order linear difference equation in a Riccati difference equation and a first order difference equation. In this way we extend some results for linear difference equations with constant coefficients and for linear difference equations with periodic coefficients.



    The problem of Ulam stability can be formulated for various functional equations. The starting point of Ulam stability theory was a problem formulated by Ulam in 1940 in a talk at the University of Wisconsin-Madison concerning the approximate solutions of group homomorphisms. Generally, we say that an equation is Ulam stable if for every approximate solution of the equation there exists an exact solution of the equation near it (see the papers [10,16,18,23,25]). For more details on the Ulam stability on the functional equations, see the monographs [17,19]. The problem can be also formulated for difference equations. Since a discrete dynamical system is described by a difference equation, this type of stability is related to the notion of perturbation of such a system. The Ulam stability of difference equations was intensively studied in the recent years (see for more details [10]).

    Recently many papers on Hyers-Ulam stability of difference equations are devoted to the relation of it with hyperbolicity and the exponential dichotomy. Remark here the papers by D. Dragičević concerning some nonautonomous and nonlinear difference equations [12,13,14]. D. R. Anderson and M. Onitsuka gave interesting results on the influence of stepsize in Hyers-Ulam stability of the first order difference equations and on the best constant of some second order linear difference equations with constant coefficients [1,20]. Recall also the results given by A. R. Baias, J. Brzdek, D. Popa et al. in the characterization of Ulam stability and on the best constant for various linear and nonlinear difference equations [2,3,4,5,7,11,15].

    Let K be either the field R of real numbers or the field C of complex numbers and X be a Banach space over K. Consider the difference equation

    xn+p=fn(xn,xn+1,,xn+p1), nN, pN, (1.1)

    where fn:XpX and x0,x1,,xp1X.

    Definition 1.1. The Eq (1.1) is called Ulam stable if there exists a constant L0 such that for every ε>0 and every sequence (xn)n0 in X satisfying

    xn+pfn(xn,xn+1,,xn+p1)ε, nN, (1.2)

    there exists a sequence (yn)n0 in X such that

    yn+p=fn(yn,yn+1,,yn+p1), nN (1.3)

    and

    xnynLε, nN. (1.4)

    Remark 1.2. If in Definition 1.1, ε is replaced by a sequence of positive numbers (εn)n0 and Lε by a sequence (δn)n0 depending on (εn)n0, then we get the notion of generalized Ulam stability. The number L is called an Ulam constant of the Eq (1.1). Denote by LR the infimum of all Ulam constants of the Eq (1.1).

    In particular, for p=1, we consider the linear difference equation

    xn+1=anxn+bn, n0, (1.5)

    with (an)n0 a sequence in K and (bn)n0 a sequence in X.

    The following result concerning the generalized Ulam stability of (1.5) can be found in [21].

    Theorem 1.3. Let (εn)n0 be a sequence of positive numbers such that

    lim supεnεn1|an|<1 or lim infεnεn1|an|>1. (1.6)

    Then there exists L0 such that for every sequence (xn)n0 in X satisfying

    xn+1anxnbnεn, n0, (1.7)

    there exists a sequence (yn)n0 in X such that

    yn+1=anyn+bn, n0 (1.8)

    and

    xnynLεn1, n1. (1.9)

    Remark 1.4. If in Theorem 1.3, we take εn=ε, n0, then the condition (1.6) becomes

    lim sup1|an|<1 or lim inf1|an|>1. (1.10)

    On the other hand it was proved that if limn|an|=1, then (1.5) is not stable (see [8]).

    So, we obtain the following result.

    Theorem 1.5. Suppose that limn|an| exists. Then the Eq (1.5) is Ulam stable if and only if limn|an|1.

    Let (an)n0 and (bn)n0 be sequences in K and (cn)n0 a sequence in X. In what follows we deal with Ulam stability of the second order linear difference equation

    xn+2=anxn+1+bnxn+cn, n0, (2.1)

    where x0,x1X.

    The following results will be useful in the sequel.

    Lemma 2.1. Suppose that (xn)n0 satisfies (2.1) and let (un)n0 be a sequence in K defined by the Riccati difference equation

    un+1=an+bnun, n0, u0K. (2.2)

    If (zn)n0 is given by the relation

    zn=xn+1unxn, n0, (2.3)

    then

    zn+1=(anun+1)zn+cn, n0. (2.4)

    Proof. From (2.1) it follows that

    xn+2un+1xn+1=anxn+1un+1xn+1+bnxn+cn=(anun+1)xn+1+bnxn+cn=(anun+1)(xn+1+bnanun+1xn)+cn=(anun+1)(xn+1unbnbnxn)+cn=(anun+1)(xn+1unxn)+cn=(anun+1)zn+cn, n0.

    Lemma 2.2. Let (An)n0, An=(pnqnrnsn), be a sequence of matrices with entries in K and (vn)n0 be the sequence defined by the difference equation

    vn+1=pnvn+qnrnvn+sn, n0, x0K.

    Then

    vn=αnv0+βnγnv0+δn, n1,

    where

    An1A0=(αnβnγnδn), n1.

    Proof. The proof may be established by using mathematical induction on n.

    Remark 2.3. In particular, for the sequence (un)n0 given by (2.1) we get

    un=αnu0+βnαn1u0+βn1, n1,

    where An=(anbn10), n0, and

    An1A0=(αnβnαn1βn1), n1.

    Lemma 2.4. If the equation xn+1unxnzn=0 is Ulam stable with the constant L1 and the Eq (2.4) is Ulam stable with the constant L2, then the Eq (2.1) is Ulam stable with the constant L1L2.

    Proof. Let ε>0 and let (xn)n0 be a sequence in X such that

    xn+2anxn+1bnxncnε, n0.

    Put zn=xn+1unxn, where (un)n0 satisfies relation (2.2). Then

    zn+1(anun+1)zncnε, n0,

    so according to the stability of the Eq (2.4), there exists (wn)n0,

    wn+1=(anun+1)wn+cn, n0, (2.5)

    such that

    znwnL2ε, n0.

    Taking account of (2.3) we get

    xn+1unxnwnL2ε, n0.

    Now, since the Eq (2.3) is Ulam stable, it follows that there exists a sequence (yn)n0, satisfying the relation

    yn+1=unyn+wn, n0, (2.6)

    such that

    xnynL1L2ε, n0. (2.7)

    To complete the proof it remains to show that (wn)n0 satisfies the Eq (2.1). For this we replace (yn)n0 from (2.6) to (2.5) and we obtain

    yn+2un+1yn+1=(anun+1)(yn+1unyn)+cn.

    Finally, taking account of the relation (2.2), we get

    yn+2=anyn+1+bnyn+cn, n0.

    The theorem is proved.

    The main result on the stability of the Eq (2.1) is given in the next theorem.

    Theorem 2.5. Suppose that for the sequence (un)n0 given by (2.2), limn|un|, limn|anun+1| exist and:

    1) limn|un|1;

    2) limn|anun+1|1.

    Then the Eq (2.1) is Ulam stable.

    In the following theorem we present a nonstability result for the Eq (2.1).

    Theorem 2.6. If there exists u0K such that limn|anun+1|=1 and (un)n0 is bounded, then the Eq (2.1) is not Ulam stable.

    Proof. Let ε>0. Since limn|anun+1|=1, from Theorem 1.5 it follows that the equation

    zn+1=(anun+1)zn+cn

    is not Ulam stable, i.e., there exists a sequence (ˉzn)n0 in X, satisfying the inequality

    ˉzn+1(anun+1)ˉzncnε, n0, (2.8)

    such that for every sequence (ˉyn)n0 with

    ˉyn+1=(anun+1)ˉyn+cn, n0, (2.9)

    we have

    supn0ˉynˉzn=. (2.10)

    Let (xn)n0 be a sequence in X defined by the relation

    xn+1unxn=ˉzn, n0 (2.11)

    (it suffices to take x0=0 in order to determine (xn)n0 step by step).

    The inequality (2.8) implies that the sequence (xn)n0 satisfies

    xn+2anxn+1bnxncnε, n0. (2.12)

    Let now (yn)n0 be an arbitrary sequence defined by

    yn+2=anyn+1+bnyn+cn

    and (ˉyn)n0 be the sequence given by

    ˉyn=yn+1unyn, n0. (2.13)

    Then the relations (2.9) and (2.10) hold.

    Finally, we have to prove that supn0ˉynˉzn=. Suppose the contrary. Then there exists M>0 such that

    xnynM, n0.

    From (2.11) and (2.13) it follows that

    ˉynˉzn=yn+1unynxn+1+unxnyn+1xn+1+|un|ynxn(1+|un|)M,

    for every n0, which contradicts relation (2.10), if we take also into account that (un)n0 is bounded.

    The following examples illustrate our theoretical results.

    Example 2.7. Suppose that X is a Banach space over C. The linear recurrence

    xn+2=2einπ2xn+1+i(1)nxn, n0, x0X,

    is not Ulam stable.

    Indeed, in this case un+1=2einπ2+i(1)nun. Further, taking u0=i, one can show that (un)n0 is bounded and limn|anun+1|=1, since un=ieinπ2, n0 (induction on n).

    Example 2.8. Let X be a Banach space over R. The linear recurrence

    xn+2=22n2n2(2n+1)(2n+3)xn+1+12n+3xn, n0, x0,x1X,

    is not Ulam stable.

    Indeed, if we take u0=1, then un=12n1, n1 and hence (un)n0 is bounded with limn|anun+1|=1.

    Example 2.9. Suppose that X is a Banach space over C. The linear recurrence

    xn+2=(1)n+1xn, n0, x0X,

    is not Ulam stable.

    Indeed, if we take u0=eπi4, then un=e2n+14πi, n1 and hence (un)n0 is bounded with limn|anun+1|=1.

    We present and discuss finally some particular cases and we give an example of Ulam stability for (2.1). We also mention that the following result contains in particular the case of stability for the linear difference equation with constant coefficients proved in [9,10].

    Corollary 2.10. Let a,bK and cX. The linear difference equation of the second order with constant coefficients

    xn+2=axn+1+bxn+c, n0 (2.14)

    is Ulam stable if and only if none of the roots of the characteristic equation λ2aλb=0 lie on the unit circle.

    Proof. If for all n0, an=a and bn=b in (2.1), then un+1=a+bun, n0, and by Remark 2.3,

    un=αnu0+βnαn1u0+βn1, n1,

    where A=(ab10) and

    An=(αnβnαn1βn1), n1.

    Suppose in what follows that the eigenvalues λ1 and λ2 of A, i.e. the roots of the characteristic equation λ2aλb=0, are distinct. Then aλ1=λ2 and

    An=(λ1)nB+(λ2)nC, n0, (2.15)

    where B=1λ2λ1(λ2ab1λ2) and C=1λ2λ1(aλ1b1λ1).

    Hence,

    αnu0+βn=(λ1)nλ2λ1(u0(λ2a)b)+(λ2)nλ2λ1(u0(aλ1)+b)

    and consequently,

    un=(λ1)n(u0(λ2a)b)+(λ2)n(u0(aλ1)+b)(λ1)n1(u0(λ2a)b)+(λ2)n1(u0(aλ1)+b), n1. (2.16)

    Next we show that the Eq (2.14) is Ulam stable if and only if |λ1|1 and |λ2|1. Indeed, to prove the necessity, let us suppose without loss of generality that |λ1|=1. Taking u0=λ2, we get un=λ2 and limn|anun+1|=|λ1|=1. Hence, according to Theorem 2.6, the Eq (2.14) is not Ulam stable and we get a contradiction. Conversely, if |λ1|1 and |λ2|1, it is sufficient to consider u0=λ1. Hence un=λ1, limn|un|1 and limn|anun+1|=|λ2|1. It follows that the Eq (2.14) is Ulam stable and the proof is complete.

    Similarly, one can easily remark that the previous assertion remains also true for λ1=λ2. In this case, λ1=λ2=a2, b=a24 and

    An=(λ1)n(Cn+B), n0, (2.17)

    where B=I2 and C=(1a22a1), for a0.

    Hence,

    αnu0+βn=(a2)n((n+1)u0a2n)

    and consequently,

    un=a2((n+1)u0a2n)nu0a2(n1), n1.

    Furthermore, limn|un|=limn|anun+1|=|a2| and the Eq (2.14) is Ulam stable if and only if |a|2.

    Corollary 2.11. Let (bn)n0 be a sequence in K{0} and (cn)n0 a sequence in X. The linear difference equation

    xn+2=bnxn+cn, n0 (2.18)

    is Ulam stable if the following two limits exist and

    limn|nk=1b2k1u0n1k=0b2k|=limn|nk=0b2knk=1b2k1u0|1. (2.19)

    Proof. Indeed, for an=0 in (2.1), we get un+1=bnun, hence An=(0bn10), n0. Further, applying Remark 2.3, we get

    u2n=nk=1b2k1u0n1k=0b2k,u2n+1=nk=0b2knk=1b2k1u0 (2.20)

    for all n1. Finally, taking into account Theorem 2.5, we obtain the desired conclusion.

    Corollary 2.12. The linear difference equation

    xn+2=anxn+1+(α2αan)xn+cn, n0 (2.21)

    is Ulam stable if for some δ0K, the sequence

    δn=αnδ0+(δ0α)nk=1αnkk1s=0(asα), n1 (2.22)

    satisfies the relations limn|δnδn1|1 and limn|anδn+1δn|1.

    Proof. By Remark 2.3,

    un=αnu0+βnαn1u0+βn1, n1, (2.23)

    where

    {αn=an1αn1+α(αan1)αn2βn=an1βn1+α(αan1)βn2, n2

    and α0=1,β0=0,α1=a0,β1=α2αa0. Observe now that

    αnααn1=(an1α)(αn1ααn2).

    Denoting further γn=αnααn1 (n1), where γ1=a0α, one obtains γn:=(an1α)γn1 (n2) and consequently,

    γn=n1k=0(akα).

    Thus, αn=ααn1+n1k=0(akα), n1. Further, putting yn1yn (n1) with y0=1 instead of the first α below, we may deduce that yn=1αn, and finally

    αn=a0αn1+nk=2αnkk1s=0(asα), n2.

    Similarly, one may show that

    βn=(αa0)αnnk=2αnk+1k1s=0(asα), n2.

    Hence, if we take δ0=u0 and we substitute the above expressions in (2.23), one obtains an explicit formula for un, more precisely un=δnδn1, n1. Finally, applying Theorem 2.5 we finish the proof.

    Example 2.13. The linear recurrence

    xn+2=22n+3n+1xn+14n+2n+1xn, n0 (2.24)

    is Ulam stable.

    Indeed, since the Eq (2.24) is a particular case of (2.21) with α=2, an=22n+3n+1 and cn=0, we deduce that

    δn=(n+1)(n+2)2n1(δ02)+2n+1, n1

    and, consequently,

    δnδn1=2(n+1)(n+2)(δ02)+4n(n+1)(δ02)+4, n1.

    Moreover, limn|δnδn1| = limn|anδn+1δn|=2. Hence, using Corollary 2.12, we conclude that the linear difference equation (2.1) is Ulam stable.

    Consider in the following the third order linear difference equation

    xn+3=anxn+2+bnxn+1+cnxn+dn, n0, (3.1)

    where (an)n0, (bn)n0, (cn)n0 are sequences in K and (dn)n0 is a sequence in X.

    Lemma 3.1. Suppose that (xn)n0 satisfies (3.1). Consider

    zn=xn+1unxn, n0 (3.2)

    and

    zn=xn+1unxn, n0 (3.3)

    where (un)n0 and (un)n0 are sequences in K defined as follows:

    un+2=an+bnun+1+cnunun+1, n0, u0,u1K (3.4)

    and

    un+1=anun+2+(anun+2)un+1+bnun, n0, u0K. (3.5)

    Then

    zn+2=(anun+2)zn+1+((anun+2)un+1+bn)zn+dn, n0 (3.6)

    and

    zn+1=(anun+2un+1)zn+dn, n0. (3.7)

    Proof. From (3.4) it follows that

    cnun=(anun+2)un+1+bn

    and hence, using (3.1) and (3.6) one gets

    zn+2=(anun+2)xn+2+bnxn+1+cnxn+dn=(anun+2)(xn+2un+1xn+1)+(anun+2)un+1xn+1   +bnxn+1+cnxn+dn=(anun+2)zn+1+[(anun+2)un+1+bn](xn+1unxn)   cnununxn+cnxn+dn=(anun+2)zn+1+[(anun+2)un+1+bn]zn+dn.

    Finally, proceeding similarly to the proof of 2.1 one can show that (zn)n0 satisfies (3.7).

    Remark 3.2. Observe that the sequence (un)n0 defined above can be written in the following form

    un+2=anunun+1+bnun+cnunun+1, n0

    and, consequently

    un=αnu0u1+βnu0+γnαn1u0u1+βn1u0+γn1, n1

    where An=(anbncn100010) with A0=(α2β2γ2α1β1γ1α0β0γ0) and

    An2A0=(αnβnγnαn1βn1γn1αn2βn2γn2), n2.

    Lemma 3.3. If the equation xn+1unxnzn=0 is Ulam stable with the constant L1 and (3.6) is Ulam stable with the constant L2, then the Eq (3.1) is Ulam stable with the constant L1L2.

    Proof. Let ε>0 and let (xn)n0 be a sequence in X such that

    xn+3anxn+2bnxn+1cnxndnε, n0.

    Put zn=xn+1unxn, where (un)n0 satisfies relation (3.4). Then

    zn+2(anun+2)zn+1[(anun+2)un+1+bn]zndnε, n0

    and there exists (wn)n0,

    wn+2=(anun+2)wn+1+[(anun+2)un+1+bn]wn+dn, n0, (3.8)

    such that

    znwnL2ε, n0.

    Taking account of (3.2) we get

    xn+1unxnwnL2ε, n0.

    Now, since the Eq (3.2) is Ulam stable and its stability does not depend on zn, it follows that there exists a sequence (yn)n0,

    yn+1=unyn+wn, n0, (3.9)

    such that

    xnynL1L2ε, n0. (3.10)

    To complete the proof it remains for us to show that (yn)n0 satisfies the Eq (3.1). For this we replace (wn)n0 from (3.9) to (3.8) and we obtain

    yn+3=anyn+2+bnyn+1[(anun+2)unun+1+bnun]yn+dn.

    Finally, taking account of relation (3.4), we obtain

    yn+3=anyn+2+bnyn+1+cnyn+dn.

    The following result holds as a direct consequence of Lemma 2.4 and Lemma 3.3.

    Lemma 3.4. If the equation xn+1unxnzn=0 is Ulam stable with the constant L1, zn+1unznzn=0 is Ulam stable with the constant L2 and (3.7) is Ulam stable with the constant L3, then (3.1) is Ulam stable with the constant L1L2L3.

    As a consequence of Theorem 1.5 and Lemma 3.4, we get the following result on Ulam stability for the Eq (3.1).

    Theorem 3.5. Suppose that for the sequences (un)n0 and (un)n0 given by (3.4) and (3.5) , respectively, limn|un|, limn|un|, limn|anun+2un+1| exist and:

    1) limn|un|1;

    2) limn|un|1;

    3) limn|anun+2un+1|1.

    Then the Eq (3.1) is Ulam stable.

    Example 3.6. The following linear recurrence

    xn+3=4n+5n+1xn+21+4(n+1)(n+2)2(n+2)(n+1)2xn+1+2+4(n+1)(n+2)(n+2)(n+1)2xn

    is Ulam stable.

    Indeed, in this case, if we take u0=u1=2 and u0=1, one can see that un=2 and un=1n+1 for all n0. Thus, all the assumptions of Theorem 3.5 are fulfilled, which means that we have stability.

    A nonstability result for the Eq (3.1), similar to the one obtained for the second order linear difference equation (2.1), holds.

    Theorem 3.7. If the Eq (3.6) is not Ulam stable and there exist u0,u1K such that (un)n0 is bounded, then the Eq (3.1) is not Ulam stable.

    Proof. Let ε>0. Since (3.6) is not Ulam stable, i.e. there exists a sequence (ˉzn)n0 in X, satisfying the inequality

    ˉzn+2(anun+2)ˉzn+1[(anun+2)un+1+bn]ˉzndnε, n0 (3.11)

    such that for every sequence (ˉyn)n0 with

    ˉyn+2=(anun+2)ˉyn+1+[(anun+2)un+1+bn]ˉyn+dn, n0 (3.12)

    we have

    supn0ˉynˉzn=. (3.13)

    Let (xn)n0 be such that

    xn+1unxn=ˉzn, n0 (3.14)

    (it suffices to take x0=0 in order to determine (xn)n0 step by step). Inequality 3.11 implies that the sequence (xn)n0 satisfies

    xn+3anxn+2bnxn+1cnxndnε, n0. (3.15)

    Let now (yn)n0 be an arbitrary sequence defined by

    yn+3=anyn+2+bnyn+1+cnyn+dn

    and (ˉyn)n0 be the sequence given by

    ˉyn=yn+1unyn, n0. (3.16)

    Then the relations (3.12) and (3.13) hold.

    Finally, we have to prove that supn0ˉynˉzn=. Suppose the contrary. Then there exists M>0 such that

    xnynM, n0.

    From (3.14) and (3.16) it follows that

    ˉynˉzn=yn+1unynxn+1+unxnyn+1xn+1+|un|ynxn(1+|un|)M,

    for every n0, which contradicts relation (3.13), if we take also into account that (un)n0 is bounded.

    The next corollary gives sufficient conditions for Eq (3.1) to be not Ulam stable. To prove this, just take into account Lemma 3.1, Theorem 2.6 and Theorem 3.7.

    Corollary 3.8. If there exist u0,u1,u0K such that (un)n0 and (un)n0 are bounded and limn|anun+2un+1|=1, then the Eq (3.1) is not Ulam stable.

    Example 3.9. The following linear recurrence

    xn+3=1n+2xn+2+n2+3n+1(n+1)(n+2)xn+11n+1xn

    is not Ulam stable. Indeed, letting u0=u1=1 and u0=1, we get un=1 and un=1n+1 for all n0 and consequently limn|anun+2un+1|=1, which means that we do not have stability.

    For the case of constant coefficients in the Eq (3.1), we get the result given in [22].

    Corollary 3.10. The third order linear difference equation with constant coefficients

    xn+3=axn+2+bxn+1+cxn+d, n0, (3.17)

    is Ulam stable if and only if none of the roots of the characteristic equation λ3aλ2bλc=0 lie on the unit circle.

    Proof. Indeed, let λ1, λ2 and λ3 be the roots of the characteristic equation and suppose without loss of generality that |λ1|=1 and take u0=u1=λ2, u0=λ3. Then, using Corollary 3.8 and Vieta's formulas, i.e. the relations λ1+λ2+λ3=a, λ1λ2+λ1λ3+λ2λ3=b and λ1λ2λ3=c, one can easily check that un=λ2,n2 and un=λ3,n1. Moreover, limn|aun+2un+1|=|aλ2λ3|=|λ1|, which means that (3.17) is not Ulam stable, a contradiction. Conversely, if |λ1|1, |λ2|1 and |λ3|1, it is sufficient to consider u0=u1=λ1 and u0=λ2. Indeed, due to the choice of the initial values it follows that limn|un|=|λ1|1, limn|un|=|λ2|1 and limn|aun+2un+1|=|aλ1λ2|=|λ3|1. Finally, the Eq (3.17) is Ulam stable, by Theorem 3.5.

    Finally, it is worth mentioning here that the result on nonstability of (3.1) contains in particular the case of nonstability for constant coefficients proved in [6,9,10,22,24].

    In this paper we give some results on Ulam stability for the second order and for the third order linear difference equation with nonconstant coefficients in a Banach space. As far as we know there are few results on Ulam stability for such equations (see, e.g., [11,12,13]). The novelty of this approach consists in the fact that we decompose the second order linear difference equation in a Riccati difference equation and a linear difference equation. In this way we can use the results on Ulam stability of the first order linear difference equation.

    The importance of these results consists in the fact that they are related to the theory of perturbation of a discrete dynamical system (see [15]). Remark that for difference equations with constant coefficients we get the results obtained in the paper [3].

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This research was partially supported by the project 38 PFE in the frame of the programme PDI-PFE-CDI 2021.

    The authors declare no conflicts of interest.



    [1] D. R. Anderson, M. Onitsuka, Best constant for Hyers-Ulam stability of second-order h-difference equations with constant coefficients, Results Math., 74 (2019), 151. https://doi.org/10.1007/s00025-019-1077-9 doi: 10.1007/s00025-019-1077-9
    [2] A. R. Baias, F. Blaga, D. Popa, Best Ulam constant for a linear difference equation, Carpathian J. Math., 35 (2019) 13–22.
    [3] A. R. Baias, D. Popa, On Ulam stability of a linear difference equation in Banach spaces, Bull. Malays. Math. Sci. Soc., 43 (2020), 1357–1371. https://doi.org/10.1007/s40840-019-00744-6 doi: 10.1007/s40840-019-00744-6
    [4] A. R. Baias, D. Popa, I. Raşa, Ulam stability of a successive approximation equation, J. Fixed Point Theory Appl., 22 (2020), 41. https://doi.org/10.1007/s11784-020-00777-6 doi: 10.1007/s11784-020-00777-6
    [5] D. Barbu, C. Buşe, A. Tabassum, Hyers-Ulam stability and discrete dichotomy, J. Math. Anal. Appl., 423 (2015), 1738–1752. https://doi.org/10.1016/j.jmaa.2014.10.082 doi: 10.1016/j.jmaa.2014.10.082
    [6] J. Brzdek, D. Popa, B. Xu, Note on nonstability of the linear recurrence, Abh. Math. Semin. Univ. Hambg., 76 (2006), 183–189. https://doi.org/10.1007/BF02960864 doi: 10.1007/BF02960864
    [7] J. Brzdek, S. M. Jung, Note on stability of a linear functional equation of second order connected with the Fibonacci numbers and Lucas sequences, J. Inequal. Appl., 2010 (2010), 1–10.
    [8] J. Brzdek, D. Popa, B. Xu, On nonstability of the linear recurrence of order one, J. Math. Anal. Appl., 367 (2010), 146–153. https://doi.org/10.1016/j.jmaa.2009.12.052 doi: 10.1016/j.jmaa.2009.12.052
    [9] J. Brzdek, D. Popa, B. Xu, Remarks on stability of linear recurrence of higher order, Appl. Math. Lett., 23 (2010), 1459–1463. https://doi.org/10.1016/j.aml.2010.08.010 doi: 10.1016/j.aml.2010.08.010
    [10] J. Brzdek, D. Popa, I. Raşa, B. Xu, Ulam stability of operators, Academic Press, 2018.
    [11] C. Buşe, D. O'Regan, O. Saierli, A. Tabassum, Hyers-Ulam stability and discrete dichotomy for difference periodic systems, Bull. Sci. Math., 140 (2016), 908–934. https://doi.org/10.1016/j.bulsci.2016.03.010 doi: 10.1016/j.bulsci.2016.03.010
    [12] D. Dragičević, W. Zhang, W. Zhang, Smooth linearization of nonautonomous difference equations with a nonuniform dichotomy, Math. Z., 292 (2019), 1175–1193. https://doi.org/10.1007/s00209-018-2134-x doi: 10.1007/s00209-018-2134-x
    [13] D. Dragičević, On the Hyers-Ulam stability of certain nonautonomous and nonlinear difference equations, Aequat. Math., 95 (2021), 829–840. https://doi.org/10.1007/s00010-020-00774-7 doi: 10.1007/s00010-020-00774-7
    [14] D. Dragičević, M. Pituk, Shadowing for nonautonomous difference equations with infinite delay, Appl. Math. Lett., 120 (2021), 107284. https://doi.org/10.1016/j.aml.2021.107284 doi: 10.1016/j.aml.2021.107284
    [15] S. Elaydi, An introduction to difference equations, Springer-Verlag New York, 2005. https://doi.org/10.1007/0-387-27602-5
    [16] D. H. Hyers, On the stability of the linear functional equation, Proc. Natl. Acad. Sci. USA, 27 (1941), 222–224. https://doi.org/10.1073/pnas.27.4.222 doi: 10.1073/pnas.27.4.222
    [17] D. H. Hyers, G. Isac, T. M. Rassias, Stability of functional equations in several variables, Birkhäuser, Boston, 1998.
    [18] S. M. Jung, Functional equation f(x)=pf(x1)qf(x2) and its Hyers-Ulam stability, J. Inequal. Appl., 2009, 1–10.
    [19] S. M. Jung, Hyers-Ulam-Rassias stability of functional equations in nonlinear analysis, Springer, 2011.
    [20] M. Onitsuka, Influence of the stepsize on Hyers-Ulam stability of first-order homogeneous linear difference equations, Int. J. Differ. Equ., 12 (2017), 281–302.
    [21] D. Popa, Hyers-Ulam-Rassias stability of a linear recurrence, J. Math. Anal. Appl., 309 (2005), 591–597.
    [22] D. Popa, Hyers-Ulam stability of the linear recurrence with constant coefficients, Adv. Differ. Equ., 2 (2005), 407076. https://doi.org/10.1155/ADE.2005.101 doi: 10.1155/ADE.2005.101
    [23] S. M. Ulam, A collection of mathematical problems, Interscience, New York, 1960.
    [24] B. Xu, J. Brzdek, Hyers-Ulam stability of a system of first order linear recurrences with constant coefficients, Discrete Dyn. Nat. Soc., 2015 (2015), 1–5. https://doi.org/10.1155/2015/269356 doi: 10.1155/2015/269356
    [25] M. Xu, Hyers-Ulam-Rassias stability of a system of first order linear recurrences, Bull. Korean Math. Soc., 44 (2007), 841–849.
  • This article has been cited by:

    1. Douglas R. Anderson, Masakazu Onitsuka, A discrete logistic model with conditional Hyers–Ulam stability, 2025, 10, 2473-6988, 6512, 10.3934/math.2025298
  • Reader Comments
  • © 2023 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(1665) PDF downloads(128) Cited by(1)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog