Loading [MathJax]/jax/output/SVG/jax.js
Special Issues

Averaging principle on infinite intervals for stochastic ordinary differential equations

  • Received: 01 August 2020 Revised: 01 January 2021 Published: 22 February 2021
  • 34C29, 60H10, 37B20, 34C27

  • In contrast to existing works on stochastic averaging on finite intervals, we establish an averaging principle on the whole real axis, i.e. the so-called second Bogolyubov theorem, for semilinear stochastic ordinary differential equations in Hilbert space with Poisson stable (in particular, periodic, quasi-periodic, almost periodic, almost automorphic etc) coefficients. Under some appropriate conditions we prove that there exists a unique recurrent solution to the original equation, which possesses the same recurrence property as the coefficients, in a small neighborhood of the stationary solution to the averaged equation, and this recurrent solution converges to the stationary solution of averaged equation uniformly on the whole real axis when the time scale approaches zero.

    Citation: David Cheban, Zhenxin Liu. Averaging principle on infinite intervals for stochastic ordinary differential equations[J]. Electronic Research Archive, 2021, 29(4): 2791-2817. doi: 10.3934/era.2021014

    Related Papers:

    [1] Muhammad Asim, Ghada AlNemer . Boundedness on variable exponent Morrey-Herz space for fractional multilinear Hardy operators. AIMS Mathematics, 2025, 10(1): 117-136. doi: 10.3934/math.2025007
    [2] Jie Sun, Jiamei Chen . Weighted estimates for commutators associated to singular integral operator satisfying a variant of Hörmander's condition. AIMS Mathematics, 2023, 8(11): 25714-25728. doi: 10.3934/math.20231311
    [3] Kieu Huu Dung, Do Lu Cong Minh, Pham Thi Kim Thuy . Commutators of Hardy-Cesàro operators on Morrey-Herz spaces with variable exponents. AIMS Mathematics, 2022, 7(10): 19147-19166. doi: 10.3934/math.20221051
    [4] Yueping Zhu, Yan Tang, Lixin Jiang . Boundedness of multilinear Calderón-Zygmund singular operators on weighted Lebesgue spaces and Morrey-Herz spaces with variable exponents. AIMS Mathematics, 2021, 6(10): 11246-11262. doi: 10.3934/math.2021652
    [5] Wanjing Zhang, Suixin He, Jing Zhang . Boundedness of sublinear operators on weighted grand Herz-Morrey spaces. AIMS Mathematics, 2023, 8(8): 17381-17401. doi: 10.3934/math.2023888
    [6] Babar Sultan, Mehvish Sultan, Qian-Qian Zhang, Nabil Mlaiki . Boundedness of Hardy operators on grand variable weighted Herz spaces. AIMS Mathematics, 2023, 8(10): 24515-24527. doi: 10.3934/math.20231250
    [7] Javeria Younas, Amjad Hussain, Hadil Alhazmi, A. F. Aljohani, Ilyas Khan . BMO estimates for commutators of the rough fractional Hausdorff operator on grand-variable-Herz-Morrey spaces. AIMS Mathematics, 2024, 9(9): 23434-23448. doi: 10.3934/math.20241139
    [8] Ming Liu, Bin Zhang, Xiaobin Yao . Weighted variable Morrey-Herz space estimates for $ m $th order commutators of $ n- $dimensional fractional Hardy operators. AIMS Mathematics, 2023, 8(9): 20063-20079. doi: 10.3934/math.20231022
    [9] Shuhui Yang, Yan Lin . Multilinear strongly singular integral operators with generalized kernels and applications. AIMS Mathematics, 2021, 6(12): 13533-13551. doi: 10.3934/math.2021786
    [10] Naqash Sarfraz, Muhammad Aslam . Some weighted estimates for the commutators of $p$-adic Hardy operator on two weighted $p$-adic Herz-type spaces. AIMS Mathematics, 2021, 6(9): 9633-9646. doi: 10.3934/math.2021561
  • In contrast to existing works on stochastic averaging on finite intervals, we establish an averaging principle on the whole real axis, i.e. the so-called second Bogolyubov theorem, for semilinear stochastic ordinary differential equations in Hilbert space with Poisson stable (in particular, periodic, quasi-periodic, almost periodic, almost automorphic etc) coefficients. Under some appropriate conditions we prove that there exists a unique recurrent solution to the original equation, which possesses the same recurrence property as the coefficients, in a small neighborhood of the stationary solution to the averaged equation, and this recurrent solution converges to the stationary solution of averaged equation uniformly on the whole real axis when the time scale approaches zero.



    Let T be the Calderón-Zygmund singular integral operator and b be a locally integrable function on Rn. The commutator generated by b and T is defined by [b,T]f=bT(f)T(bf). The investigation of the commutator begins with Coifman-Rochberg-Weiss pioneering study and classical result (see [6]). The classical result of Coifman, Rochberg and Weiss (see [6]) states that the commutator [b,T]f=T(bf)bTf is bounded on Lp(Rn) for 1<p< if and only if bBMO(Rn). The major reason for considering the problem of commutators is that the boundedness of commutator can produces some characterizations of function spaces (see [1,6]). Chanillo (see [1]) proves a similar result when T is replaced by the fractional integral operator. In [11], the boundedness properties of the commutators for the extreme values of p are obtained. In recent years, the theory of Herz space and Herz type Hardy space, as a local version of Lebesgue space and Hardy space, have been developed (see [8,9,12,13]). The main purpose of this paper is to establish the endpoint continuity properties of some multilinear operators related to certain non-convolution type fractional singular integral operators on Herz and Herz type Hardy spaces.

    First, let us introduce some notations (see [8,9,10,12,13,15]). Throughout this paper, Q will denote a cube of Rn with sides parallel to the axes. For a cube Q and a locally integrable function f, let fQ=|Q|1Qf(x)dx and f#(x)=supQx|Q|1Q|f(y)fQ|dy. Moreover, f is said to belong to BMO(Rn) if f#L and define ||f||BMO=||f#||L; We also define the central BMO space by CMO(Rn), which is the space of those functions fLloc(Rn) such that

    ||f||CMO=supr>1|Q(0,r)|1Q|f(y)fQ|dy<.

    It is well-known that (see [9,10])

    ||f||CMOsupr>1infcC|Q(0,r)|1Q|f(x)c|dx.

    For kZ, define Bk={xRn:|x|2k} and Ck=BkBk1. Denote by χk the characteristic function of Ck and ˜χk the characteristic function of Ck for k1 and ˜χ0 the characteristic function of B0.

    Definition 1. Let 0<p< and αR.

    (1) The homogeneous Herz space ˙Kαp(Rn) is defined by

    ˙Kαp(Rn)={fLploc(Rn{0}):||f||˙Kαp<},

    where

    ||f||˙Kαp=k=2kα||fχk||Lp;

    (2) The nonhomogeneous Herz space Kαp(Rn) is defined by

    Kαp(Rn)={fLploc(Rn):||f||Kαp<},

    where

    ||f||Kαp=k=02kα||f˜χk||Lp.

    If α=n(11/p), we denote that ˙Kαp(Rn)=˙Kp(Rn), Kαp(Rn)=Kp(Rn).

    Definition 2. Let 0<δ<n and 1<p<n/δ. We shall call Bδp(Rn) the space of those functions f on Rn such that

    ||f||Bδp=supd>1dn(1/pδ/n)||fχQ(0,d)||Lp<.

    Definition 3. Let 1<p<.

    (1) The homogeneous Herz type Hardy space H˙Kp(Rn) is defined by

    H˙Kp(Rn)={fS(Rn):G(f)˙Kp(Rn)},

    where

    ||f||H˙Kp=||G(f)||˙Kp.

    (2) The nonhomogeneous Herz type Hardy space HKp(Rn) is defined by

    HKp(Rn)={fS(Rn):G(f)Kp(Rn)},

    where

    ||f||HKp=||G(f)||Kp.

    where G(f) is the grand maximal function of f.

    The Herz type Hardy spaces have the atomic decomposition characterization.

    Definition 4. Let 1<p<. A function a(x) on Rn is called a central (n(11/p),p)-atom (or a central (n(11/p),p)-atom of restrict type), if

    1) SuppaB(0,d) for some d>0 (or for some d1),

    2) ||a||Lp|B(0,d)|1/p1,

    3) a(x)dx=0.

    Lemma 1. (see [9,13]) Let 1<p<. A temperate distribution f belongs to H˙Kp(Rn)(or HKp(Rn)) if and only if there exist central (n(11/p),p)-atoms(or central (n(11/p),p)-atoms of restrict type) aj supported on Bj=B(0,2j) and constants λj, j|λj|< such that f=j=λjaj (or f=j=0λjaj)in the S(Rn) sense, and

    ||f||H˙Kp( or ||f||HKp)j|λj|.

    In this paper, we will consider a class of multilinear operators related to some non-convolution type singular integral operators, whose definition are following.

    Let m be a positive integer and A be a function on Rn. We denote that

    Rm+1(A;x,y)=A(x)|β|m1β!DβA(y)(xy)β

    and

    Qm+1(A;x,y)=Rm(A;x,y)|β|=m1β!DβA(x)(xy)β.

    Definition 5. Fixed ε>0 and 0<δ<n. Let Tδ:SS be a linear operator. Tδ is called a fractional singular integral operator if there exists a locally integrable function K(x,y) on Rn×Rn such that

    Tδ(f)(x)=RnK(x,y)f(y)dy

    for every bounded and compactly supported function f, where K satisfies:

    |K(x,y)|C|xy|n+δ

    and

    |K(y,x)K(z,x)|+|K(x,y)K(x,z)|C|yz|ε|xz|nε+δ

    if 2|yz||xz|. The multilinear operator related to the fractional singular integral operator Tδ is defined by

    TAδ(f)(x)=RnRm+1(A;x,y)|xy|mK(x,y)f(y)dy;

    We also consider the variant of TAδ, which is defined by

    ˜TAδ(f)(x)=RnQm+1(A;x,y)|xy|mK(x,y)f(y)dy.

    Note that when m=0, TAδ is just the commutators of Tδ and A (see [1,6,11,14]). It is well known that multilinear operator, as a non-trivial extension of commutator, is of great interest in harmonic analysis and has been widely studied by many authors (see [3,4,5]). In [7], the weighted Lp(p>1)-boundedness of the multilinear operator related to some singular integral operator are obtained. In [2], the weak (H1, L1)-boundedness of the multilinear operator related to some singular integral operator are obtained. In this paper, we will study the endpoint continuity properties of the multilinear operators TAδ and ˜TAδ on Herz and Herz type Hardy spaces.

    Now we state our results as following.

    Theorem 1. Let 0<δ<n, 1<p<n/δ and DβABMO(Rn) for all β with |β|=m. Suppose that TAδ is the same as in Definition 5 such that Tδ is bounded from Lp(Rn) to Lq(Rn) for any p,q(1,+] with 1/q=1/pδ/n. Then TAδ is bounded from Bδp(Rn) to CMO(Rn).

    Theorem 2. Let 0<δ<n, 1<p<n/δ, 1/q=1/pδ/n and DβABMO(Rn) for all β with |β|=m. Suppose that ˜TAδ is the same as in Definition 5 such that ˜TAδ is bounded from Lp(Rn) to Lq(Rn) for any p,q(1,+) with 1/q=1/pδ/n. Then ˜TAδ is bounded from H˙Kp(Rn) to ˙Kαq(Rn) with α=n(11/p).

    Theorem 3. Let 0<δ<n, 1<p<n/δ and DβABMO(Rn) for all β with |β|=m. Suppose that ˜TAδ is the same as in Definition 5 such that ˜TAδ is bounded from Lp(Rn) to Lq(Rn) for any p,q(1,+) with 1/q=1/pδ/n. Then the following two statements are equivalent:

    (ⅰ) ˜TAδ is bounded from Bδp(Rn) to CMO(Rn);

    (ⅱ) for any cube Q and z3Q2Q, there is

    1|Q|Q||β|=m1β!|DβA(x)(DβA)Q|(4Q)cKβ(z,y)f(y)dy|dxC||f||Bδp,

    where Kβ(z,y)=(zy)β|zy|mK(z,y) for |β|=m.

    Remark. Theorem 2 is also hold for nonhomogeneous Herz and Herz type Hardy space.

    To prove the theorem, we need the following lemma.

    Lemma 2. (see [5]) Let A be a function on Rn and DβALq(Rn) for |β|=m and some q>n. Then

    |Rm(A;x,y)|C|xy|m|β|=m(1|˜Q(x,y)|˜Q(x,y)|DβA(z)|qdz)1/q,

    where ˜Q(x,y) is the cube centered at x and having side length 5n|xy|.

    Proof of Theorem 1. It suffices to prove that there exists a constant CQ such that

    1|Q|Q|TAδ(f)(x)CQ|dxC||f||Bδp

    holds for any cube Q=Q(0,d) with d>1. Fix a cube Q=Q(0,d) with d>1. Let ˜Q=5nQ and ˜A(x)=A(x)|β|=m1β!(DβA)˜Qxβ, then Rm+1(A;x,y)=Rm+1(˜A;x,y) and Dβ˜A=DβA(DβA)˜Q for all β with |β|=m. We write, for f1=fχ˜Q and f2=fχRn˜Q,

    TAδ(f)(x)=RnRm+1(˜A;x,y)|xy|mK(x,y)f(y)dy=RnRm(˜A;x,y)|xy|mK(x,y)f1(y)dy|β|=m1β!RnK(x,y)(xy)β|xy|mDβ˜A(y)f1(y)dy+RnRm+1(˜A;x,y)|xy|mK(x,y)f2(y)dy,

    then

    1|Q|Q|TAδ(f)(x)T˜Aδ(f2)(0)|dx1|Q|Q|Tδ(Rm(˜A;x,)|x|mf1)(x)|dx+|β|=m1β!1|Q|Q|Tδ((x)β|x|mDβ˜Af1)(x)|dx+|T˜Aδ(f2)(x)T˜Aδ(f2)(0)|dx:=I+II+III.

    For I, note that for xQ and y˜Q, using Lemma 2, we get

    Rm(˜A;x,y)C|xy|m|β|=m||DβA||BMO,

    thus, by the Lp(Rn) to Lq(Rn)-boundedness of TAδ for 1<p,q< with 1/q=1/pδ/n, we get

    IC|Q|Q|Tδ(|β|=m||DβA||BMOf1)(x)|dxC|β|=m||DβA||BMO(1|Q|Q|Tδ(f1)(x)|qdx)1/qC|β|=m||DβA||BMO|Q|1/q||f1||LpC|β|=m||DβA||BMOrn(1/pδ/n)||fχ˜Q||LpC|β|=m||DβA||BMO||f||Bδp.

    For II, taking 1<s<p such that 1/r=1/sδ/n, by the (Ls,Lr)-boundedness of Tδ and Holder's inequality, we gain

    IIC|Q|Q|Tδ(|β|=m(DβA(DβA)˜Q)f1)(x)|dxC|β|=m(1|Q|Q|Tδ((DβA(DβA)˜Q)f1)(x)|rdx)1/rC|Q|1/r|β|=m||(DβA(DβA)˜Q)f1||LsC|Q|1/r||f1||Lp|β|=m(1|Q|˜Q|DβA(y)(DβA)˜Q|ps/(ps)dy)(ps)/(ps)|Q|(ps)/(ps)C|β|=m||DβA||BMOrn/q||fχ˜Q||LpC|β|=m||DβA||BMO||f||Bδp.

    To estimate III, we write

    T˜Aδ(f2)(x)T˜Aδ(f2)(0)=Rn[K(x,y)|xy|mK(0,y)|y|m]Rm(˜A;x,y)f2(y)dy+RnK(0,y)f2(y)|y|m[Rm(˜A;x,y)Rm(˜A;0,y)]dy|β|=m1β!Rn(K(x,y)(xy)β|xy|mK(0,y)(y)β|y|m)Dβ˜A(y)f2(y)dy:=III1+III2+III3.

    By Lemma 2 and the following inequality (see [15])

    |bQ1bQ2|Clog(|Q2|/|Q1|)||b||BMO for Q1Q2,

    we know that, for xQ and y2k+1˜Q2k˜Q,

    |Rm(˜A;x,y)|C|xy|m|β|=m(||DβA||BMO+|(DβA)˜Q(x,y)(DβA)˜Q|)Ck|xy|m|β|=m||DβA||BMO.

    Note that |xy||y| for xQ and yRn˜Q, we obtain, by the condition of K,

    |III1|CRn(|x||y|m+n+1δ+|x|ε|y|m+n+εδ)|Rm(˜A;x,y)||f2(y)|dyC|β|=m||DβA||BMOk=02k+1˜Q2k˜Qk(|x||y|n+1δ+|x|ε|y|n+εδ)|f(y)|dyC|β|=m||DβA||BMOk=1k(2k+2εk)(2kr)n(1/pδ/n)||fχ2k˜Q||LpC|β|=m||DβA||BMOk=1k(2k+2εk)||f||BδpC|β|=m||DβA||BMO||f||Bδp.

    For III2, by the formula (see [5]):

    Rm(˜A;x,y)Rm(˜A;x0,y)=|γ|<m1γ!Rm|γ|(Dγ˜A;x,x0)(xy)γ

    and Lemma 2, we have

    |Rm(˜A;x,y)Rm(˜A;x0,y)|C|γ|<m|β|=m|xx0|m|γ||xy||γ|||DβA||BMO,

    thus, similar to the estimates of III1, we get

    |III2|C|β|=m||DβA||BMOk=02k+1˜Q2k˜Q|x||y|n+1δ|f(y)|dyC|β|=m||DβA||BMO||f||Bδp.

    For III3, by Holder's inequality, similar to the estimates of III1, we get

    |III3|C|β|=mk=02k+1˜Q2k˜Q(|x||y|n+1δ+|x|ε|y|n+εδ)|Dβ˜A(y)||f(y)|dyC|β|=mk=1(2k+2εk)(2kr)n(1/pδ/n)(|2k˜Q|12k˜Q|DβA(y)(DβA)˜Q|pdy)1/p||fχ2k˜Q||LpC|β|=m||DβA||BMOk=1(2k+2εk)(2kr)n(1/pδ/n)||fχ2k˜Q||LpC|β|=m||DβA||BMO||f||Bδp.

    Thus

    IIIC|β|=m||DβA||BMO||f||Bδp,

    which together with the estimates for I and II yields the desired result. This finishes the proof of Theorem 1.

    Proof of Theorem 2. Let fH˙Kp(Rn), by Lemma 1, f=j=λjaj, where ajs are the central (n(11/p),p)-atom with suppajBj=B(0,2j) and ||f||H˙Kpj|λj|. We write

    ||˜TAδ(f)||˙Kαq=k=2kn(11/p)||χk˜TAδ(f)||Lqk=2kn(11/p)k1j=|λj|||χk˜TAδ(aj)||Lq+k=2kn(11/p)j=k|λj|||χk˜TAδ(aj)||Lq=J+JJ.

    For JJ, by the (Lp,Lq)-boundedness of ˜TAδ for 1/q=1/pδ/n, we get

    JJCk=2kn(11/p)j=k|λj|||aj||LpCk=2kn(11/p)j=k|λj|2jn(1/p1)Cj=|λj|jk=2(kj)n(11/p)Cj=|λj|C||f||H˙Kp.

    To obtain the estimate of J, we denote that ˜A(x)=A(x)|β|=m1β!(DβA)2Bjxβ. Then Qm(A;x,y)=Qm(˜A;x,y) and Qm+1(A;x,y)=Rm(A;x,y)|β|=m1β!(xy)βDβA(x). We write, by the vanishing moment of a and for xCk with kj+1,

    ˜TAδ(aj)(x)=RnK(x,y)Rm(A;x,y)|xy|maj(y)dy|β|=m1β!RnK(x,y)Dβ˜A(x)(xy)β|xy|maj(y)dy=Rn[K(x,y)|xy|mK(x,0)|x|m]Rm(˜A;x,y)aj(y)dy+RnK(x,0)|x|m[Rm(˜A;x,y)Rm(˜A;x,0)]aj(y)dy|β|=m1β!Rn[K(x,y)(xy)β|xy|mK(x,0)xβ|x|m]Dβ˜A(x)aj(y)dy.

    Similar to the proof of Theorem 1, we obtain

    |˜TAδ(aj)(x)|CRn[|y||x|m+n+1δ+|y|ε|x|m+n+εδ]|Rm(˜A;x,y)||aj(y)|dy+C|β|=mRn[|y||x|n+1δ+|y|ε|x|n+εδ]|Dβ˜A(x)||aj(y)|dyC|β|=m||DβA||BMO[2j2k(n+1δ)+2jε2k(n+εδ)]+C|β|=m[2j2k(n+1δ)+2jε2k(n+εδ)]|Dβ˜A(x)|,

    thus

    JC|β|=m||DβA||BMOk=2kn(11/p)k1j=|λj|[2j2k(n+1δ)+2jε2k(n+εδ)]2kn/q+C|β|=mk=2kn(11/p)k1j=|λj|[2j2k(n+1δ)+2jε2k(n+εδ)](Bk|Dβ˜A(x)|qdx)1/qC|β|=m||DβA||BMOk=2kn(1δ/n)k1j=|λj|[2j2k(n+1δ)+2jε2k(n+εδ)]C|β|=m||DβA||BMOj=|λj|k=j+1[2jk+2(jk)ε]C|β|=m||DβA||BMOj=|λj|C|β|=m||DβA||BMO||f||H˙Kp.

    This completes the proof of Theorem 2.

    Proof of Theorem 3. For any cube Q=Q(0,r) with r>1, let fBδp and ˜A(x)=A(x)|β|=m1β!(DβA)˜Qxβ. We write, for f=fχ4Q+fχ(4Q)c=f1+f2 and z3Q2Q,

    ˜TAδ(f)(x)=˜TAδ(f1)(x)+RnRm(˜A;x,y)|xy|mK(x,y)f2(y)dy|β|=m1β!(DβA(x)(DβA)Q)(Tδ,β(f2)(x)Tδ,β(f2)(z))|β|=m1β!(DβA(x)(DβA)Q)Tδ,β(f2)(z)=I1(x)+I2(x)+I3(x,z)+I4(x,z),

    where Tδ,β is the singular integral operator with the kernel (xy)β|xy|mK(x,y) for |β|=m. Note that (I4(,z))Q=0, we have

    ˜TAδ(f)(x)(˜TAδ(f))Q=I1(x)(I1())Q+I2(x)I2(z)[I2()I2(z)]QI3(x,z)+(I3(x,z))QI4(x,z).

    By the (Lp,Lq)-bounded of ˜TAδ, we get

    1|Q|Q|I1(x)|dx(1|Q|Q|˜TAδ(f1)(x)|qdx)1/qC|Q|1/q||f1||LpC||f||Bδp.

    Similar to the proof of Theorem 1, we obtain

    |I2(x)I2(z)|C||f||Bδp

    and

    1|Q|Q|I3(x,z)|dxC||f||Bδp.

    Then integrating in x on Q and using the above estimates, we obtain the equivalence of the estimate

    1|Q|Q|˜TAδ(f)(x)(˜TAδ(f))Q|dxC||f||Bδp

    and the estimate

    1|Q|Q|I4(x,z)|dxC||f||Bδp.

    This completes the proof of Theorem 3.

    In this section we shall apply the theorems of the paper to some particular operators such as the Calderón-Zygmund singular integral operator and fractional integral operator.

    Application 1. Calderón-Zygmund singular integral operator.

    Let T be the Calderón-Zygmund operator defined by (see [10,11,15])

    T(f)(x)=RnK(x,y)f(y)dy,

    the multilinear operator related to T is defined by

    TA(f)(x)=RnRm+1(A;x,y)|xy|mK(x,y)f(y)dy.

    Then it is easily to see that T satisfies the conditions in Theorems 1–3, thus the conclusions of Theorems 1–3 hold for TA.

    Application 2. Fractional integral operator with rough kernel.

    For 0<δ<n, let Tδ be the fractional integral operator with rough kernel defined by (see [2,7])

    Tδf(x)=RnΩ(xy)|xy|nδf(y)dy,

    the multilinear operator related to Tδ is defined by

    TAδf(x)=RnRm+1(A;x,y)|xy|m+nδΩ(xy)f(y)dy,

    where Ω is homogeneous of degree zero on Rn, Sn1Ω(x)dσ(x)=0 and ΩLipε(Sn1) for some 0<ε1, that is there exists a constant M>0 such that for any x,ySn1, |Ω(x)Ω(y)|M|xy|ε. Then Tδ satisfies the conditions in Theorem 1. In fact, for suppf(2Q)c and xQ=Q(x0,d), by the condition of Ω, we have (see [16])

    |Ω(xy)|xy|nδΩ(x0y)|x0y|nδ|C(|xx0|ε|x0y|n+εδ+|xx0||x0y|n+1δ),

    thus, the conclusions of Theorems 1–3 hold for TAδ.

    The author would like to express his deep gratitude to the referee for his/her valuable comments and suggestions. This research was supported by the National Natural Science Foundation of China (Grant No. 11901126), the Scientific Research Funds of Hunan Provincial Education Department. (Grant No. 19B509).

    The authors declare that they have no competing interests.



    [1] N. N. Bogolyubov, On Some Statistical Methods in Mathematical Physics, Akademiya Nauk Ukrainskoǐ SSR, 1945. (in Russian)
    [2] N. N. Bogolyubov and Y. A. Mitropolsky, Asymptotic Methods in the Theory of Non-Linear Oscillations, Translated from the second revised Russian edition. International Monographs on Advanced Mathematics and Physics Hindustan Publishing Corp., Delhi, Gordon and Breach Science Publishers, New York, 1961.
    [3] A stochastic version of center manifold theory. Probab. Theory Related Fields (1989) 83: 509-545.
    [4] Averaging principle for a class of stochastic reaction-diffusion equations. Probab. Theory Related Fields (2009) 144: 137-177.
    [5] Averaging principle for nonautonomous slow-fast systems of stochastic reaction-diffusion equations: the almost periodic case. SIAM J. Math. Anal. (2017) 49: 2843-2884.
    [6] D. N. Cheban, Asymptotically Almost Periodic Solutions of Differential Equations, Hindawi Publishing Corporation, New York, 2009.
    [7] D. N. Cheban, Global Attractors of Nonautonomous Dynamical and Control Systems, 2nd edition, Interdisciplinary Mathematical Sciences, vol.18, River Edge, NJ: World Scientific, 2015. doi: 10.1142/9297
    [8] D. Cheban and J. Duan, Recurrent motions and global attractors of non-autonomous Lorenz systems, Dyn. Syst., 19 (2004), 41–59. doi: 10.1080/14689360310001624132
    [9] Periodic, quasi-periodic, almost periodic, almost automorphic, Birkhoff recurrent and Poisson stable solutions for stochastic differential equations. J. Differential Equations (2020) 269: 3652-3685.
    [10] Ju. L. Dalec'kiǐ and M. G. Kreǐn, Stability of Solutions of Differential Equations in Banach Space, Translated from the Russian by S. Smith. Translations of Mathematical Monographs, Vol. 43. American Mathematical Society, Providence, R.I., 1974.
    [11] (2014) Stochastic Equations in Infinite Dimensions. Cambridge: 2nd edition, Encyclopedia of Mathematics and its Applications, 152. Cambridge University Press.
    [12] J. Duan and W. Wang, Effective Dynamics of Stochastic Partial Differential Equations, Elsevier Insights. Elsevier, Amsterdam, 2014. doi: 10.1016/B978-0-12-800882-9.00001-9
    [13] (2002) Real Analysis and Probability. Cambridge: Revised reprint of the 1989 original. Cambridge Studies in Advanced Mathematics, 74. Cambridge University Press.
    [14] M. I. Freidlin and A. D. Wentzell, Random Perturbations of Dynamical Systems, Translated from the 1979 Russian original by Joseph Szücs. 3rd edition. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 260. Springer, Heidelberg, 2012. doi: 10.1007/978-3-642-25847-3
    [15] R. Z. Has'minskiǐ, On the principle of averaging the itô's stochastic differential equations, Kybernetika (Prague), 4 (1968), 260–279. (in Russian)
    [16] Weak averaging of semilinear stochastic differential equations with almost periodic coefficients. J. Math. Anal. Appl. (2015) 427: 336-364.
    [17] M. A. Krasnosel'skiǐ, V. Sh Burd and Yu. S. Kolesov, Nonlinear Almost Periodic Oscillations, Nauka, Moscow, 1970 (in Russian). [English translation: Nonlinear Almost Periodic Oscillations. A Halsted Press Book. New York etc.: John Wiley & Sons; Jerusalem- London: Israel Program for Scientific Translations. IX, 326 p., 1973]
    [18] (1943) Introduction to Non-Linear Mechanics. Princeton, N. J.: Annals of Mathematics Studies, no. 11. Princeton University Press.
    [19] (1978) Almost Periodic Functions and Differential Equations. Moscow: Moscow State University Press.
    [20] X. Liu and Z. Liu, Poisson stable solutions for stochastic differential equations with Lévy noise, Acta Math. Sin. (Engl. Ser.), In Press. (also available at arXiv: 2002.00395)
    [21] Almost automorphic solutions for stochastic differential equations driven by Lévy noise. J. Funct. Anal. (2014) 226: 1115-1149.
    [22] Normal form transforms separate slow and fast modes in stochastic dynamical systems. Phys. A (2008) 387: 12-38.
    [23] B. A. Ščerbakov, A certain class of Poisson stable solutions of differential equations, Differencial'nye Uravnenija, 4 (1968), 238–243. (in Russian)
    [24] B. A. Ščerbakov, The comparability of the motions of dynamical systems with regard to the nature of their recurrence, Differencial'nye Uravnenija, 11 (1975), 1246–1255. (in Russian) [English translation: Differential Equations 11 (1975), 937–943].
    [25] G. R. Sell, Topological Dynamics and Ordinary Differential Equations, Van Nostrand-Reinhold, 1971.
    [26] B. A. Shcherbakov, Topologic Dynamics and Poisson Stability of Solutions of Differential Equations, Stiinca, Kishinev, 1972.
    [27] B. A. Shcherbakov, Poisson Stability of Motions of Dynamical Systems and Solutions of Differential Equations, Știinţa, Chişinǎu, 1985. (in Russian)
    [28] K. S. Sibirsky, Introduction to Topological Dynamics, Kishinev, RIA AN MSSR, 1970. (in Russian). [English translation: Introduction to Topological Dynamics. Noordhoff, Leyden, 1975]
    [29] A. V. Skorokhod, Asymptotic Methods in the Theory of Stochastic Differential Equations, Translated from the Russian by H. H. McFaden. Translations of Mathematical Monographs, 78. American Mathematical Society, Providence, RI, 1989. doi: 10.1090/mmono/078
    [30] On large deviations in the averaging principle for SDEs with a "full dependence''. Ann. Probab. (1999) 27: 284-296.
    [31] Weak averaging of stochastic evolution equations. Math. Bohem. (1995) 120: 91-111.
    [32] Average and deviation for slow-fast stochastic partial differential equations. J. Differential Equations (2012) 253: 1265-1286.
  • Reader Comments
  • © 2021 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(2991) PDF downloads(376) Cited by(5)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog