Research article Special Issues

On the asymptotic stability of linear difference equations with time-varying coefficients

  • Issues of the asymptotic stability for linear difference equations with time-varying coefficients are discussed. It is shown that, in contrast to equations with constant coefficients, the condition of Schur stability of the characteristic polynomial for a linear difference equation with time-varying coefficients is neither necessary nor sufficient for the asymptotic stability of the difference equation. It is proved that the analog of Kharitonov's theorem on robust stability and the edge theorem do not hold for a difference equation if the coefficients of the equation are not constant.

    Citation: Vasilii Zaitsev. On the asymptotic stability of linear difference equations with time-varying coefficients[J]. AIMS Mathematics, 2023, 8(10): 23734-23746. doi: 10.3934/math.20231207

    Related Papers:

    [1] Mohammad F.M. Naser, Mohammad Abdel Aal, Ghaleb Gumah . Stability analysis of Abel's equation of the first kind. AIMS Mathematics, 2023, 8(12): 30574-30590. doi: 10.3934/math.20231563
    [2] Ali Algefary . Diagonal solutions for a class of linear matrix inequality. AIMS Mathematics, 2024, 9(10): 26435-26445. doi: 10.3934/math.20241286
    [3] Jenjira Thipcha, Presarin Tangsiridamrong, Thongchai Botmart, Boonyachat Meesuptong, M. Syed Ali, Pantiwa Srisilp, Kanit Mukdasai . Robust stability and passivity analysis for discrete-time neural networks with mixed time-varying delays via a new summation inequality. AIMS Mathematics, 2023, 8(2): 4973-5006. doi: 10.3934/math.2023249
    [4] Cheng-Xiu Qiang, Jian-Ping Sun, Ya-Hong Zhao . Exponential stability analysis for nonlinear time-varying perturbed systems on time scales. AIMS Mathematics, 2023, 8(5): 11131-11150. doi: 10.3934/math.2023564
    [5] Delia-Maria Kerekes, Bianca Moșneguțu, Dorian Popa . On Ulam stability of a second order linear difference equation. AIMS Mathematics, 2023, 8(9): 20254-20268. doi: 10.3934/math.20231032
    [6] Boonyachat Meesuptong, Peerapongpat Singkibud, Pantiwa Srisilp, Kanit Mukdasai . New delay-range-dependent exponential stability criterion and $ H_\infty $ performance for neutral-type nonlinear system with mixed time-varying delays. AIMS Mathematics, 2023, 8(1): 691-712. doi: 10.3934/math.2023033
    [7] R. Sriraman, R. Samidurai, V. C. Amritha, G. Rachakit, Prasanalakshmi Balaji . System decomposition-based stability criteria for Takagi-Sugeno fuzzy uncertain stochastic delayed neural networks in quaternion field. AIMS Mathematics, 2023, 8(5): 11589-11616. doi: 10.3934/math.2023587
    [8] Wajdi Kallel, Noura Allugmani . Finite-time stabilization of stochastic systems with varying parameters. AIMS Mathematics, 2023, 8(8): 17687-17701. doi: 10.3934/math.2023903
    [9] R. Sriraman, P. Vignesh, V. C. Amritha, G. Rachakit, Prasanalakshmi Balaji . Direct quaternion method-based stability criteria for quaternion-valued Takagi-Sugeno fuzzy BAM delayed neural networks using quaternion-valued Wirtinger-based integral inequality. AIMS Mathematics, 2023, 8(5): 10486-10512. doi: 10.3934/math.2023532
    [10] Qinghua Zhou, Li Wan, Hongbo Fu, Qunjiao Zhang . Exponential stability of stochastic Hopfield neural network with mixed multiple delays. AIMS Mathematics, 2021, 6(4): 4142-4155. doi: 10.3934/math.2021245
  • Issues of the asymptotic stability for linear difference equations with time-varying coefficients are discussed. It is shown that, in contrast to equations with constant coefficients, the condition of Schur stability of the characteristic polynomial for a linear difference equation with time-varying coefficients is neither necessary nor sufficient for the asymptotic stability of the difference equation. It is proved that the analog of Kharitonov's theorem on robust stability and the edge theorem do not hold for a difference equation if the coefficients of the equation are not constant.



    A big amount of works are devoted to the study of the Schur stability of a family of interval polynomials and interval matrices. Reviews of well-known results on the Schur stability of uncertain systems with constant coefficients can be found in articles [1,2,3,4,5,6] and monographs [7,8,9]. Necessary conditions and sufficient conditions for the robust stability of linear discrete-time equations and systems of equations with discrete time are presented in the papers [10,11,12,13,14].

    Consider a linear homogeneous difference equation of the nth order with constant coefficients

    x(t+n)+p1x(t+n1)++pnx(t)=0,tZ,xR,pjR,j=¯1,n. (1.1)

    Using the Eq (1.1), we construct the characteristic polynomial

    χ(λ)=λn+p1λn1++pn. (1.2)

    For a linear system of difference equations with constant coefficients

    z(t+1)=Az(t),tZ,zRn, (1.3)

    the characteristic polynomial has the form χ(λ)=det(λIA).

    Recall that a polynomial

    φ(λ)=s0λn+s1λn1++sn1λ+sn (1.4)

    is said to be Schur stable if all its roots lie in the open unit disc of the complex plane.

    The well-known necessary and sufficient conditions for the Schur stability of the polynomial φ(λ) provide, for example, the Schur-Kohn criterion [15, Ch. 6, p. 498], the Jury stability test [16, Sect. 4.3, p. 185] or the method based on transforming the unit disc into the left half-plane [16, Sect. 4.3, p. 191].

    The condition of the Schur stability of the characteristic polynomial χ(λ) is a necessary and sufficient condition for the asymptotic stability of the difference equation (1.1) or the system (1.3), respectively.

    Similarly, consider a linear differential equation of the nth order with constant coefficients

    x(n)+q1x(n1)+q2x(n2)++qnx=0,tR,xR,qjR,j=¯1,n. (1.5)

    Some polynomial (1.4) is said to be Hurwitz stable if all its roots lie in the open left half-plane of the complex plane. The condition of the Hurwitz stability of the characteristic polynomial ψ(λ)=λn+q1λn1++qn of Eq (1.5) is a necessary and sufficient condition for the asymptotic stability of the differential equation (1.5).

    If the coefficients qj of Eq (1.5) are not constant, then there is no such connection between the roots of the characteristic polynomial and the asymptotic stability of (systems of) differential equations (see, for example, [17, Ch. Ⅳ, §9], [18, p. 3], [19]). These issues were discussed in a recent work [20]. In addition, in [20] it was proved that the analog of Kharitonov's theorem on robust stability does not hold if the coefficients of the differential equation (1.5) are not constant.

    In the present work, we show that there is no such connection for (systems of) difference equations either. In addition, it is known that some analogs of Kharitonov's theorems on robust stability take place for systems with discrete time. We will prove that these assertions do not hold if the coefficients of the equation are not constant, i.e., the condition for the coefficients of the equation (system) to be constant is essential in these robust stability theorems.

    The paper is organized as follows. In Section 2, we prove that, for a linear time-varying system with discrete time, the condition of the Schur stability of the characteristic polynomial of the matrix of the system is neither sufficient nor necessary for the asymptotic stability of the system. In Section 3, we formulate similar Theorems 1 and 2 for a linear difference equation with time-varying coefficients saying that the condition of the Schur stability of the characteristic polynomial of the equation is neither sufficient nor necessary for the asymptotic stability of the equation. In Section 4, we formulate Theorem 5 saying that, for a linear difference equation with time-varying coefficients, the condition of the Schur stability of every characteristic polynomial in the family of the edge polynomials is not sufficient for the asymptotic stability of the family of interval polynomials. In Section 5, we give the proof of Theorems 5 and 1. In Section 6, we give the proof of Theorem 2. In Section 7, we show that the (counter)examples given in the previous sections are not valid when the dimension of the equation is equal to 1. In Section 8, conclusions are given.

    Consider a linear discrete-time system of equations with time-varying coefficients

    z(t+1)=A(t)z(t),tZ,zRn. (2.1)

    Proposition 1. There exists a system (2.1) such that the following properties hold:

    (1) System (2.1) is unstable.

    (2) The characteristic polynomial of the matrix of the system (2.1) has constant coefficients and is Schur stable.

    Proof. Take a system

    ξ(t+1)=Bξ(t),tZ,ξRn, (2.2)

    where n=2, with the constant matrix

    B=[11/21/21]. (2.3)

    The characteristic polynomial of the matrix (2.3) is λ22λ+3/4. Its roots are λ1=1/2, λ2=3/2. We have λ2>1. Hence, the system (2.2), (2.3) is unstable.

    Construct the matrix

    L(t)=[1001],t=2k;L(t)=[0110],t=2k+1;kZ. (2.4)

    Then, the matrix L(t) is periodic and suptZ(L(t)+L1(t))<+. Let us make a transformation

    z(t)=L(t)ξ(t). (2.5)

    Then, this transformation is a Lyapunov transformation (see [21, p. 15]). Therefore, it preserves the properties of (asymptotic) stability and instability. The transformation (2.5) reduces system (2.2) to system (2.1) where

    A(t)=L(t+1)BL1(t). (2.6)

    Calculating the matrix A(t) by the formula (2.6), from (2.3) and (2.4) we get

    A(t)=[1/2111/2],t=2k;A(t)=[1/2111/2],t=2k+1;kZ. (2.7)

    The system (2.1) with the matrix (2.7) is unstable because the system (2.2), (2.3) is unstable. For any tZ, the characteristic polynomial of the matrix (2.7) is equal to λ2+3/4. Its roots are λ1,2=±i3/2. We have |λ1|=|λ2|=3/2<1, i.e., the characteristic polynomial is Schur stable.

    Proposition 2. There exists a system (2.1) such that the following properties hold:

    (1) System (2.1) is asymptotically stable.

    (2) The characteristic polynomial of the matrix of the system (2.1) has constant coefficients and is not Schur stable.

    Proof. Take a system (2.2), where n=2 with the constant matrix

    B=[1/21/21/21/2]. (2.8)

    The characteristic polynomial of the matrix (2.8) is λ2λ+1/2. Its roots are λ1=(1+i)/2, λ2=(1i)/2. We have |λ1|=|λ2|=1/2<1. Hence, the system (2.2), (2.8) is asymptotically stable.

    Construct the matrix

    L(t)=[01/220],t=2k;L(t)=[021/20],t=2k+1;kZ. (2.9)

    Then, the matrix L(t) is periodic and suptZ(L(t)+L1(t))<+. Let us make a transformation (2.5). Then, this transformation is a Lyapunov transformation. The transformation (2.5) reduces system (2.2) to system (2.1) where A(t) is defined by the equality (2.6). Calculating the matrix A(t) by the formula (2.6), from (2.8) and (2.9) we get

    A(t)=[21/21/21/8],t=2k;A(t)=[1/81/21/22],t=2k+1;kZ. (2.10)

    The system (2.1) with the matrix (2.10) is asymptotically stable because the system (2.2), (2.8) is asymptotically stable. For any tZ, the characteristic polynomial of the matrix (2.10) is equal to λ2(17/8)λ+(1/2). Its roots are λ1=(17+161)/16, λ2=(17161)/16. We have λ1>1, i.e., the characteristic polynomial is not Schur stable.

    Remark 1. Similar examples for systems of differential equations are given in [20, Sect. 1].

    Remark 2. Examples in Propositions 1 and 2 can be constructed for any n2. To do this, it suffices to take as the matrix A(t) the block n×n-matrix An(t)=[000A2(t)], where A2(t) is 2×2-matrix constructed in the corresponding Proposition 1 or 2. For n=1 such examples cannot be constructed (see Sect. 7).

    Now, consider the linear difference equation of order n with time-varying coefficients

    x(t+n)+p1(t)x(t+n1)++pn(t)x(t)=0,tZ,xR,pj(t)R,j=¯1,n. (3.1)

    We suppose that the functions pj(), j=¯1,n, are bounded: ajpj(t)bj, j=¯1,n, tZ.

    Using the Eq (3.1), we construct the characteristic polynomial

    χ(t,λ)=λn+p1(t)λn1++pn(t). (3.2)

    Obviously, it also has time-varying coefficients. Suppose that for every tZ the polynomial (3.2) is Schur stable. Will this condition be necessary and/or sufficient for the asymptotic stability of the Eq (3.1)? Note that the above examples do not answer this question for the Eq (3.1). We will prove that the answer to this question is negative. The following theorems hold.

    Theorem 1. Let n2. There exist bounded functions pj:ZR, j=¯1,n, such that for every tZ, the polynomial (3.2) is Schur stable and Eq (3.1) is unstable.

    Theorem 2. Let n2. There exist bounded functions pj:ZR, j=¯1,n, such that for every tZ, the polynomial (3.2) is not Schur stable and Eq (3.1) is asymptotically stable.

    The proofs of Theorems 1, 2 will be given below.

    Remark 3. Similar theorems for linear differential equations are established in [20, Theorems 1, 2].

    Consider a linear differential equation (1.5) with constant coefficients. Suppose that the coefficients of the equation (1.5) are unknown and satisfy the constraints ajqjbj, j=¯1,n. The famous Kharitonov's theorem [22] on robust stability (the stability of a family of interval polynomials) says that every polynomial in the family of interval polynomials is Hurwitz stable if and only if the four (Kharitonov's) polynomials located at the vertices of the family of interval polynomials are Hurwitz stable (see the formulation in [8, Ch. 5, Sect. 5.2, Theorem 5.1] as well). It was shown in [20] that if the coefficients of the differential equation (1.5) are not constant, then Kharitonov's theorem on robust stability does not hold.

    Let us consider similar issues for difference equations. For equations with discrete time, the analog of Kharitonov's theorem on robust stability does not hold in the general case. The Schur stability of four vertex polynomials and even of all vertex polynomials of an interval family of polynomials does not imply the Schur stability of all polynomials of the interval family [23], see also [8, Ch. 5, Sect. 5.8, Example 5.8] and [8, Ch. 5, Sect. 5.8, Example 5.9]. Nevertheless, certain analogs of the stability theorem for an interval family of polynomials hold for systems with discrete time. Let us recall the formulations of these theorems.

    Consider a family I(λ) of real polynomials of degree n of the form

    φ(λ)=s0λn+s1λn1++sn1λ+sn,

    whose coefficients belong to the box

    Π:={s:=(s0,,sn)Rn+1:ajsjbj,j=¯0,n}.

    Let us introduce vertices V and edges E of the box Π:

    V:={s:=(s0,,sn)Rn+1:sj=aj or sj=bj,j=¯0,n},
    Ek:={s:=(s0,,sn)Rn+1:sj=aj or sj=bj,j=¯0,n,jk,sk[ak,bk]},

    and E=nk=0Ek. The corresponding family of vertex and edge polynomials will be denoted by

    IV(λ):={φ(λ)=s0λn+s1λn1++sn1λ+sn,(s0,,sn)V},IE(λ):={φ(λ)=s0λn+s1λn1++sn1λ+sn,(s0,,sn)E}.

    The following theorem is true (see [24,25], [7, Sect. 13.3]).

    Theorem 3. Let n3 and a0=b0=1. Every polynomial in the family I(λ) is Schur stable if and only if every polynomial in the family IV(λ) is Schur stable.

    Thus, the analog of Kharitonov's theorem for difference equations expressed in terms of vertex polynomials holds only for n3. For n4 there are corresponding counterexamples [8,23].

    For an arbitrary n, the Schur stability is characterized not by vertex polynomials but by edge polynomials [26], [8, Theorem 5.13].

    Theorem 4. Let 0[a0,b0]. Every polynomial in the family I(λ) is Schur stable if and only if every polynomial in the family IE(λ) is Schur stable.

    Note that Theorem 4 can be strengthened (see [8, Theorem 5.14]), and the number of edge polynomials that need to be examined for Schur stability in Theorem 4 can be reduced.

    Consider a linear difference equation of the nth order (1.1) with constant coefficients. Suppose that the exact values of the coefficients pj, j=¯1,n, are unknown, but their upper and lower bounds ajpjbj, j=¯1,n, are known. The question of the asymptotic stability of Eq (1.1) (or a family of Eq (1.1)) belongs to the problem of robust stability. Since for the equation with constant coefficients (1.1) its asymptotic stability reduces to the Schur stability of its characteristic polynomial (1.2), Theorems 3 and 4 give a criterion for the asymptotic stability of the family of Eq (1.1).

    Consider now the linear difference equation of the nth order with unknown time-varying coefficients

    x(t+n)+p1(t)x(t+n1)++pn(t)x(t)=0,tZ,xR,pj(t)R,j=¯1,n. (4.1)

    Suppose that the functions pj(), j=¯1,n, are bounded:

    ajpj(t)bj,j=¯1,n,tR. (4.2)

    Set a0:=b0:=1. Consider the set of vertices IV(λ) and edges IE(λ) of the family I(λ). Let us pose the following questions. Is it a sufficient condition for the asymptotic stability of the Eq (4.1):

    (a) the condition of the Schur stability for any polynomial in the family IV(λ) (for n3);

    (b) the condition of the Schur stability for any polynomial in the family IE(λ)?

    We will prove that the answers to these questions are negative. This is proved by the following theorem.

    Theorem 5. For any n2 there exist numbers aj,bj and functions pj:ZR, j=¯1,n, such that the following properties hold:

    (1) Inequalities (4.2) are satisfied.

    (2) Every polynomial in the family IE(λ) is Schur stable.

    (3) The Eq (4.1) is unstable.

    Remark 4. A similar theorem for a linear differential equation was established in [20, Theorem 5].

    (n=2). Set a1:=2, b1:=2, a2:=b2:=1/2. Then

    I(λ)=IE(λ)={φ(λ)=λ2+s1λ+s2:s1[2,2],s2=1/2}.

    Let λ1,λ2 be the roots of the quadratic polynomial λ2+s1λ+1/2. Its discriminant is D=s212. If s1[2,2], then D[2,0]. Therefore, λ1,2=(s1±iD)/2. Hence, |λ1|=|λ2|=1/2. Therefore, every polynomial from IE(λ) is Schur stable.

    Define the functions

    p1(t):={2,t=2k,2,t=2k+1,kZ,p2(t):=1/2,tZ. (5.1)

    Then inequalities (4.2) are satisfied.

    Let us prove that the equation

    x(t+2)+p1(t)x(t+1)+p2(t)x(t)=0 (5.2)

    with coefficients (5.1) is unstable. We make the change of variables z1(t)=x(t), z2(t)=x(t+1), tZ, in the Eq (5.2); denote z:=[z1,z2]TR2. The Eq (5.2) is transformed into a system of difference equations

    z(t+1)=A(t)z(t),tZ,zR2, (5.3)

    with the matrix

    A(t)={A0,t=2k,A1,t=2k+1,kZ,A0=[011/22],A1=[011/22].

    The system (5.3) is periodic with the period ω=2. Denote by Z(t,s) the Cauchy matrix of system (5.3), i.e., a solution of the matrix initial value problem Z(t+1)=A(t)Z(t), Z(s)=I (IM2,2 is the identity matrix; here and below we denote by Mp,q the space of real p×q-matrices). Calculate the monodromy matrix Ψ:=Z(2,0). We get

    Ψ=A1A0=[011/22][011/22]=[1/222/25/2].

    The characteristic polynomial of the matrix Ψ is λ2+3λ+1/4. Its roots are λ1=(3+22)/2, λ2=(322)/2. We have |λ1|>1. Hence, the system (5.3) is unstable. Therefore, the Eq (5.2) is unstable.

    (n>2). Set a1:=2, b1:=2, a2:=b2:=1/2, aj:=bj:=0, j=¯3,n. Then

    I(λ)=IE(λ)={φ(λ)=λn+s1λn1+s2λn2:s1[2,2],s2=1/2}.

    We have λn+s1λn1+λn2/2=λn2(λ2+s1λ+1/2). Then, for roots λj, j=¯1,n, of this polynomial, we have: |λ1|=|λ2|=1/2, λ3==λn=0. Therefore, every polynomial from IE(λ) is Schur stable.

    Define the functions

    p1(t):={2,t=2k,2,t=2k+1,kZ,p2(t):=1/2,pj(t):=0,j=¯3,n,tZ. (5.4)

    Then, inequalities (4.2) are satisfied.

    Let us prove that the Eq (4.1) with coefficients (5.4) is unstable. We make the change of variables y1(t)=x(t), y2(t)=x(t+1), , yn(t)=x(t+n1), tZ, in the Eq (4.1); denote y:=[y1,,yn]TRn. The Eq (4.1) is transformed into a system of difference equations

    y(t+1)=B(t)y(t),tZ,yRn, (5.5)

    with the matrix

    B(t)={B0,t=2k,B1,t=2k+1,kZ, where B0=[F1F2F3 P],B1=[F1F2F3Q],F1=0Mn1,1,F2=IMn1,n1,F3=0M1,n2,P=[1/22]M1,2,Q=[1/22]M1,2.

    The system (5.5) is periodic with the period ω=2. Denote by Y(t,s) the Cauchy matrix of system (5.5). Calculate the monodromy matrix Φ:=Y(2,0). We get

    Φ=B1B0=[G1G2G3G4],G1=0Mn2,2,G2=IMn2,n2,G3=0M2,n2,G4=ΨM2,2.

    The characteristic polynomial of the matrix Φ is (λ2+3λ+1/4)λn2. Its roots are λ1=(3+22)/2, λ2=(322)/2, λj=0, j=¯3,n. We have |λ1|>1. Hence, the system (5.5) is unstable. Therefore, the Eq (4.1) is unstable.

    Remark 5. Theorem 5 proves that the answer to the question (b) is negative for every n2. Furthermore, since IV(λ)IE(λ), it follows from Theorem 5 that the answer to the question (a) is also negative for n=2 and n=3.

    Remark 6. The example of a system given in the proof of Theorem 5 obviously provides an example of a system for Theorem 1. Thus, together with the proof of Theorem 5, Theorem 1 is also proved.

    (n=2). Define the functions

    p1(t):={1,t=2k,1,t=2k+1,kZ,p2(t):=1/2,tZ. (6.1)

    If t=2k, then the polynomial (3.2) is λ2λ1/2. Its roots are λ1=(1+3)/2, λ2=(13)/2. We have |λ1|>1. Hence, the polynomial (3.2) is not Schur stable.

    If t=2k+1, then the polynomial (3.2) is λ2+λ1/2. Its roots are λ1=(1+3)/2, λ2=(13)/2. We have |λ2|>1. Hence, the polynomial (3.2) is not Schur stable.

    Let us prove that the Eq (3.1) with coefficients (6.1) is asymptotically stable. We make the change of variables z1(t)=x(t), z2(t)=x(t+1), tZ, in the Eq (3.1); denote z:=[z1,z2]TR2. The Eq (3.1) is transformed into a system of difference equations

    z(t+1)=A(t)z(t),tZ,zR2, (6.2)

    with the matrix

    A(t)={A0,t=2k,A1,t=2k+1,kZ,A0=[011/21],A1=[011/21].

    The system (6.2) is periodic with the period ω=2. Denote by Z(t,s) the Cauchy matrix of system (6.2). Calculate the monodromy matrix Ψ:=Z(2,0). We get

    Ψ=A1A0=[011/21][011/21]=[1/211/21/2].

    The characteristic polynomial of the matrix Ψ is λ2+1/4. Its roots are λ1,2=±i/2. We have |λ1|=|λ2|<1. Hence, the system (6.2) is asymptotically stable. Therefore, the Eq (3.1) is asymptotically stable.

    (n>2). Define the functions

    p1(t):={1,t=2k,1,t=2k+1,kZ,p2(t):=1/2,pj(t):=0,j=¯3,n,tZ. (6.3)

    If t=2k, then the polynomial (3.2) is (λ2λ1/2)λn2. Its roots are λ1=(1+3)/2, λ2=(13)/2, λj=0, j=¯3,n. We have |λ1|>1. Hence, the polynomial (3.2) is not Schur stable.

    If t=2k+1, then the polynomial (3.2) is (λ2+λ1/2)λn2. Its roots are λ1=(1+3)/2, λ2=(13)/2, λj=0, j=¯3,n. We have |λ2|>1. Hence, the polynomial (3.2) is not Schur stable.

    Let us prove that the Eq (3.1) with coefficients (6.3) is asymptotically stable. We make the change of variables y1(t)=x(t), y2(t)=x(t+1), , yn(t)=x(t+n1), tZ, in the Eq (3.1) and denote y:=[y1,,yn]TRn. The Eq (3.1) is transformed into a system of difference equations

    y(t+1)=B(t)y(t),tZ,yRn, (6.4)

    with the matrix

    B(t)={B0,t=2k,B1,t=2k+1,kZ, where B0=[F1F2F3 P],B1=[F1F2F3Q],F1=0Mn1,1,F2=IMn1,n1,F3=0M1,n2,P=[1/21]M1,2,Q=[1/21]M1,2.

    The system (6.4) is periodic with the period ω=2. Denote by Y(t,s) the Cauchy matrix of system (6.4). Calculate the monodromy matrix Φ:=Y(2,0). We get

    Φ=B1B0=[G1G2G3G4],G1=0Mn2,2,G2=IMn2,n2,G3=0M2,n2,G4=ΨM2,2.

    The characteristic polynomial of the matrix Φ is (λ2+1/4)λn2. Its roots are λ1,2=±i/2, λj=0, j=¯3,n. We have |λj|<1, j=¯1,n. Hence, the system (6.4) is asymptotically stable. Therefore, the Eq (3.1) is asymptotically stable.

    Let us discuss whether it is possible to construct the corresponding examples in Theorems 1, 2, 5 for n=1. Consider an equation

    x(t+1)+p1(t)x(t)=0,tZ,xR,p1(t)R. (7.1)

    A general solution of Eq (7.1) has the form

    x(t)=Ct1τ=t0p1(τ). (7.2)

    Assume that the function p1(t) satisfies the condition

    a1p1(t)b1,tZ. (7.3)

    Let every polynomial from IE(λ) (and hence, from I(λ)) be Schur stable. Then,

    1<a1b1<1. (7.4)

    Then, it follows from (7.2)–(7.4) that |x(t)|0 as t+. Hence, the Eq (7.1) is necessarily asymptotically stable. Thus, it is impossible to construct the corresponding example in Theorem 5 for n=1.

    If for every tZ the polynomial

    λ+p1(t) (7.5)

    is Schur stable, then 1<p1(t)<1 for all tZ. Then, |τ=t0p1(τ)|1, i.e., the Eq (7.1) is Lyapunov stable. Thus, it is impossible to construct the corresponding example in Theorem 1 for n=1.

    Further, if, for every tZ, the polynomial (7.5) is not Schur stable, then |p1(t)|1. Then, the general solution (7.2) of Eq (7.1) satisfies the inequality

    |x(t)|=|C||t1τ=t0p1(τ)|=|C|t1τ=t0|p1(τ)||C|,tt0.

    Consequently, Eq (7.1) is not asymptotically stable. Hence, it is also impossible to construct the corresponding example in Theorem 2 for n=1.

    For linear difference equations and systems, a number of (counter) examples are given showing that the condition for the coefficients of the equation (system) to be constant is an essential condition in theorems on the relationship between the property of asymptotic stability for the difference equation (system) and the property of the Schur stability for the characteristic polynomial of the equation (system). Also, we have proved that the analog of Kharitonov's theorem on robust stability and the edge theorem do not hold for a difference equation if the coefficients of the equation are time-varying. The results of the paper are new. In particular, they answer questions (a) and (b) before Theorem 5. In earlier works, there were no answers to these questions. We believe that the results obtained can be useful in the problems of robust stabilization of discrete-time control systems with time-varying coefficients.

    The author declares he has not used Artificial Intelligence (AI) tools in the creation of this article.

    This research was funded by the Ministry of Science and Higher Education of the Russian Federation in the framework of state assignment No. 075-01483-23-00, project FEWS-2020-0010.

    The author declares no conflicts of interest.



    [1] M. P. Polis, A. W. Olbrot, M. Fu, An overview of recent results on the parametric approach to robust stability, In: Proceedings of the 28th IEEE Conference on Decision and Control, Tampa, FL, USA, 1989, 23–29. https://doi.org/10.1109/cdc.1989.70067
    [2] M. Mansour, Robust stability of interval matrices, In: Proceedings of the 28th IEEE Conference on Decision and Control, Tampa, FL, USA, 1989, 46–51. https://doi.org/10.1109/cdc.1989.70071
    [3] E. I. Jury, Robustness of a discrete system, Automat. Rem. Contr., 51 (1990), 571–592.
    [4] B. R. Barmish, H. I. Kang, A survey of extreme point results for robustness of control systems, Automatica, 29 (1993), 13–35. https://doi.org/10.1016/0005-1098(93)90172-p doi: 10.1016/0005-1098(93)90172-p
    [5] I. R. Petersen, R. Tempo, Robust control of uncertain systems: Classical results and recent developments, Automatica, 50 (2014), 1315–1335. https://doi.org/10.1016/j.automatica.2014.02.042 doi: 10.1016/j.automatica.2014.02.042
    [6] S. P. Bhattacharyya, Robust control under parametric uncertainty: An overview and recent results, Annu. Rev. Control, 44 (2017), 45–77. https://doi.org/10.1016/j.arcontrol.2017.05.001 doi: 10.1016/j.arcontrol.2017.05.001
    [7] B. Ross Barmish, New tools for robustness of linear systems, Macmillan Publishing Company, 1994.
    [8] S. P. Bhattacharyya, H. Chapellat, L. H. Keel, Robust contol: The parametric approach, Prentice Hall PTR, 1995.
    [9] S. P. Bhattacharyya, A. Datta, L. H. Keel, Linear control theory: Structure, robustness, and optimization, CRC Press, 2009.
    [10] T. Mori, Further comments on 'A simple criterion for stability of linear discrete systems', Int. J. Control, 43 (1986), 737–739. https://doi.org/10.1080/00207178608933498 doi: 10.1080/00207178608933498
    [11] F. Mota, E. Kaszkurewicz, A. Bhaya, Robust stabilization of time-varying discrete interval systems, In: Proceedings of the 31st IEEE Conference on Decision and Control, Tucson, AZ, USA, 1992,341–346. https://doi.org/10.1109/cdc.1992.371725
    [12] P. H. Bauer, K. Premaratne, J. Duran, A necessary and sufficient condition for robust asymptotic stability of time-variant discrete systems, IEEE T. Automat. Contr., 38 (1993), 1427–1430. https://doi.org/10.1109/9.237661 doi: 10.1109/9.237661
    [13] P. H. Bauer, E. I. Jury, Bounding techniques for robust stability of time-variant discrete-time systems, Control Dyn. Syst., 72 (1995), 59–98. https://doi.org/10.1016/s0090-5267(06)80050-2 doi: 10.1016/s0090-5267(06)80050-2
    [14] Y. Yao, K. Liu, V. Balakrishnan, W. She, J. Zhang, Robust exponential stability analysis of uncertain discrete time-varying linear systems, Asian J. Control, 16 (2013), 1820–1828. https://doi.org/10.1002/asjc.803 doi: 10.1002/asjc.803
    [15] P. J. Antsaklis, A. N. Michel, Linear systems, Birkhäuser, Boston, 2006.
    [16] K. Ogata, Discrete-time control systems, 2 Eds., Prentice Hall, Upper Saddle River, New Jersey, 1995.
    [17] B. F. Bylov, R. E. Vinograd, D. M. Grobman, V. V. Nemytskii, Theory of Lyapunov exponents, Nauka, Moscow, 1966.
    [18] W. A. Coppel, Dichotomies in stability theory, Springer, Berlin, Heidelberg, 1978. https://doi.org/10.1007/BFb0067780
    [19] M. Wu, A note on stability of linear time-varying systems, IEEE T. Automat. Contr., 19 (1974), 162. https://doi.org/10.1109/TAC.1974.1100529 doi: 10.1109/TAC.1974.1100529
    [20] V. A. Zaitsev, I. G. Kim, On the stability of linear time-varying differential equations, P. Steklov I. Math., 319 (2022), S298–S317. https://doi.org/10.1134/s0081543822060268 doi: 10.1134/s0081543822060268
    [21] A. Halanay, V. Ionescu, Time-varying discrete linear systems, Birkhäuser, Basel, 1994. https://doi.org/10.1007/BFb0067780
    [22] V. L. Kharitonov, Asymptotic stability of an equilibrium position of a family of systems of linear differential equations, Differ. Equations, 14 (1979), 1483–1485.
    [23] N. K. Bose, E. Zeheb, Kharitonov's theorem and stability test of multidimensional digital filters, IEE P. G, 133 (1986), 187–190. https://doi.org/10.1049/ip-g-1.1986.0030 doi: 10.1049/ip-g-1.1986.0030
    [24] K. S. Yeung, S. S. Wang, Linear third-order discrete system stability under parameter variations, Electron. Lett., 23 (1987), 266–267. https://doi.org/10.1049/el:19870194 doi: 10.1049/el:19870194
    [25] F. J. Kraus, B. D. O. Anderson, E. I. Jury, M. Mansour, On the robustness of low-order Schur polynomials, IEEE T. Circ. Syst., 35 (1988), 570–577. https://doi.org/10.1109/31.1786 doi: 10.1109/31.1786
    [26] A. C. Bartlett, C.V. Hollot, H. Lin, Root locations of an entire polytope of polynomials: It suffices to check the edges, Math. Control Signal., 1 (1988), 61–71. https://doi.org/10.1007/bf02551236 doi: 10.1007/bf02551236
  • 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(1219) PDF downloads(59) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog