Processing math: 89%
Research article

A novel numerical method for solving the Caputo-Fabrizio fractional differential equation

  • Received: 23 September 2022 Revised: 03 January 2023 Accepted: 09 January 2023 Published: 20 February 2023
  • MSC : 26A33, 26C10

  • In this paper, a unique and novel numerical approach—the fractional-order Caputo-Fabrizio derivative in the Caputo sense—is developed for the solution of fractional differential equations with a non-singular kernel. After converting the differential equation into its corresponding fractional integral equation, we used Simpson's 1/3 rule to estimate the fractional integral equation. A thorough study is then conducted to determine the convergence and stability of the suggested method. We undertake numerical experiments to corroborate our theoretical findings.

    Citation: Sadia Arshad, Iram Saleem, Ali Akgül, Jianfei Huang, Yifa Tang, Sayed M Eldin. A novel numerical method for solving the Caputo-Fabrizio fractional differential equation[J]. AIMS Mathematics, 2023, 8(4): 9535-9556. doi: 10.3934/math.2023481

    Related Papers:

    [1] Keyu Zhang, Yaohong Li, Jiafa Xu, Donal O'Regan . Nontrivial solutions for a fourth-order Riemann-Stieltjes integral boundary value problem. AIMS Mathematics, 2023, 8(4): 9146-9165. doi: 10.3934/math.2023458
    [2] Yinyin Wu, Fanfan Chen, Qingchi Ma, Dingbian Qian . Subharmonic solutions for degenerate periodic systems of Lotka-Volterra type with impulsive effects. AIMS Mathematics, 2023, 8(9): 20080-20096. doi: 10.3934/math.20231023
    [3] Rui Wu, Yi Cheng, Ravi P. Agarwal . Rotational periodic solutions for fractional iterative systems. AIMS Mathematics, 2021, 6(10): 11233-11245. doi: 10.3934/math.2021651
    [4] Chunlian Liu, Shuang Wang . Multiple periodic solutions of second order parameter-dependent equations via rotation numbers. AIMS Mathematics, 2023, 8(10): 25195-25219. doi: 10.3934/math.20231285
    [5] Xiao Wang, D. D. Hai . On a class of one-dimensional superlinear semipositone (p,q) -Laplacian problem. AIMS Mathematics, 2023, 8(11): 25740-25753. doi: 10.3934/math.20231313
    [6] Famei Zheng . Periodic wave solutions of a non-Newtonian filtration equation with an indefinite singularity. AIMS Mathematics, 2021, 6(2): 1209-1222. doi: 10.3934/math.2021074
    [7] Chunlian Liu, Shuang Wang, Fanfan Chen . Resonance with Landesman-Lazer conditions for parameter-dependent equations: a multiplicity result via the Poincaré-Birkhoff theorem. AIMS Mathematics, 2024, 9(10): 28320-28340. doi: 10.3934/math.20241374
    [8] Jian Liu . Further generalization of Walker’s inequality in acute triangles and its applications. AIMS Mathematics, 2020, 5(6): 6657-6672. doi: 10.3934/math.2020428
    [9] Limin Li . Normwise condition numbers of the indefinite least squares problem with multiple right-hand sides. AIMS Mathematics, 2022, 7(3): 3692-3700. doi: 10.3934/math.2022204
    [10] Shaoyuan Xu, Yan Han, Qiongyue Zheng . Fixed point equations for superlinear operators with strong upper or strong lower solutions and applications. AIMS Mathematics, 2023, 8(4): 9820-9831. doi: 10.3934/math.2023495
  • In this paper, a unique and novel numerical approach—the fractional-order Caputo-Fabrizio derivative in the Caputo sense—is developed for the solution of fractional differential equations with a non-singular kernel. After converting the differential equation into its corresponding fractional integral equation, we used Simpson's 1/3 rule to estimate the fractional integral equation. A thorough study is then conducted to determine the convergence and stability of the suggested method. We undertake numerical experiments to corroborate our theoretical findings.



    In this paper, we consider the existence of periodic solutions of the indefinite planar system

    z=f(t,z),z=(x,y)R2, (1.1)

    where fC(R×R2,R2) is 2π-periodic with respect to the first variable and locally Lipschitz -continuous with respect to the second variable, guaranteeing uniqueness for the associated Cauchy problems.

    Resonance and non-resonance problems are typical models in ordinary differential equations. There are many interesting results on these topics.

    Especially, many authors are interested in the study of these problems under asymmetric conditions, even one-sided superlinear growth conditions, which can be traced back to the work of Dancer [1] and Fučík [2]. Dancer and Fučík studied the existence of 2π-periodic solutions of the equation

    x+f(t,x)=0 (1.2)

    when f(t,x)=ax+bxp(t), where p is a 2π-periodic and continuous function, n is a positive integer, x+=max{x,0} and x=max{x,0}, satisfying

    1a+1b=2n. (1.3)

    If the positive number pair (a,b) does not satisfy (1.3), then for any 2π-periodic continuous function p, Eq (1.2) has a 2π-periodic solution provided that ab. For n=1,2,, all of the number pairs (a,b) satisfying (1.3) are called the Fučík spectrum. When a=b, Eq (1.2) with f as above becomes

    x+n2x=p(t). (1.4)

    The linear Eq (1.4) has the classical linear resonance phenomenon, that is, periodic solutions and unbounded solutions cannot coexist; thus either the solutions of Eq (1.4) are all periodic solutions (cf. [3]), or the solutions of Eq (1.4) are all unbounded solutions.

    Based on the study of the asymmetric nonlinearity f satisfying

    A+lim infx+f(t,x)xlim supx+f(t,x)xB+, (1.5)
    Alim infxf(t,x)xlim supxf(t,x)xB, (1.6)

    for some suitable constants A±,B±[0,+], the existence of solutions to Eq (1.2) is strictly related to the position of the rectangle W=[A+,B+]×[A,B] with respect to the set called the Fučík spectrum. According to the "position", there are three kinds of problems, i.e., non-resonance (cf. [1,2,4,5,6,7,8,9,10,11,12,13]), simple resonance (cf. [14,15,16]) and double resonance (cf. [14,17,18,19,20]). Especially, the book [21] is devoted to both resonance and non-resonance situations.

    In particular, Drábek and Invernizzi [4] generalized Fučík's work [2] to Eq (1.2), and assumed that (1.5) and (1.6) hold uniformly for t, and for some integer n, the relations

    1A++1A<2n,1B++1B>2n+1 (1.7)

    hold. And a complementary result was obtained by Mawhin and Ward [5]; they considered a Liénard equation together with an assumption of the type A+>0,A>0,B<1/4; a similar case refers to A+>0,A>0 and B+<1/4.

    Thereafter, Fabry and Habets [7] generalized the above work and considered a non-resonance situation with respect to the Dancer-Fučík spectrum, specifically, where f is allowed to have superlinear growth on one side as follows.

    a+(t)lim infx+f(t,x)xlim supx+f(t,x)xb+(t),
    a(t)lim infxf(t,x)x,

    where a±(t), b+(t) satisfy the non-resonance conditions similar to that between two neighboring Fučík spectrum curves, and the following sign condition

    lim infx+sgn(x)f(t,x)>0.

    It is noted that the particularity of the non-resonance conditions given in [7] is that f is allowed to grow superlinearly on the side of x<0.

    In these situations mentioned above the function f is possibly superlinear on one side. Concerning this problem, one need also notice the early works of Schmitt [22], Reissig [23], Fonda and Zanolin [6], Fernandes and Zanolin [24] and Fabry and Fonda [25].

    In recent years, Qian [8] studied the existence of solutions of the Liénard equation by applying topological degree theory under asymmetric conditions. Such a work in [8] gave a contribution in the direction of considering the one-sided growth restrictions for the Liénard equation, as in [26,27]. And then, Fonda and Sfecci [9] generalized the work of Fabry and Habets [7] and proposed a general method to prove the existence of periodic solutions for planar systems similar to system (1.1) that can be applied to many different circumstances involving the case of systems with superlinear growth in some direction; their work contributed in the direction of considering the one-sided growth restrictions for planar systems. Fonda and Sfecci [10] generalized the work in [9] to the case of higher dimensions and applied the corresponding results to the periodic problems associated with a system of coupled oscillators with one-sided superlinear nonlinearities and other types of retraction forces.

    About the non-resonance case, one needs to also notice the works that yielded multiplicity results of periodic solutions done by Rebelo and Zanolin [28,29], Liu [30], Zanini and Zanolin [31] and so on.

    The cases of simple and double resonance seem to start from the work of Fabry [14], which considered the periodic boundary value problems under Landesman-Lazer conditions for Eq (1.2), where at least one of the inequalities in (1.7) is replaced by an equality; such cases mean that the rectangle [A+,B+]×[A,B] touches one or two of the Fučík curves. Sfecci [20] dealt with the problem of the existence of Tperiodic solutions for Eq (1.2) with the asymmetric nonlinearity satisfying the following one-sided superlinear growth at infinity,

    limxf(t,x)x=+;

    a double resonance condition, namely, there exists a constant c>0 and an integer N>0 such that

    μNxcf(t,x)μN+1x+c

    for every x>0 and every t[0,T], where μj=(jπ/T)2, and the Landesman-Lazer conditions (see the details in Theorem 1.1 of [20]).

    Especially, there are a series of works on the existence of unbounded solutions (cf. [32,33,34] and the references therein) and coexistence of periodic solutions and unbounded solutions (cf. [32,35,36] and the references therein) under asymmetric conditions.

    In this paper, we would like to generalize the results in [8,9] to the case of non-resonance with one-sided superlinear growth for the indefinite planar system described by system (1.1) from a rotation number viewpoint; we do not assume the sign conditions similar to that in [6,7,8,9]. Sign conditions were frequently needed in the previous works; as we know, without sign conditions, some classical theories or methods may not be used, and one has to overcome the difficulties stemming from the variable signs of nonlinearities and seek (or even develop) suitable methods. So the non-resonance in the sense of rotation number is different from the non-resonance in [6,7,8,9] (see Remark 1.2 in this paper, Example 1.1 in [37] or Remark 1.3 in [38]). The rotation number is an important index for dynamical systems on the torus or second order linear periodic equations with variable coefficients; it plays a very important role in the study, and some authors have used it to solve problems, see for instance [39,40,41,42,43,44].

    Now back to our generalization, the main difficulty of this problem is how to use the rotation numbers of positively homogeneous systems to estimate the rotation angle difference of solutions of system (1.1) under the one-sided superlinear growth conditions and the sign-varying condition. To this end, we develop a system methodology of "tracking" the angle difference of the solutions of system (1.1) on each small interval on the given side under sign-varying conditions, which is different from that in [13], because the the assumptions on the right half-plane are different, and so are the methods used to estimate the lower bound of the rotation angle difference. One can complete the estimation of the lower bound directly by exploiting the relationship between the rotation numbers and the 2π-rotation numbers (see the definition in Section 2 in [43]) of the solutions in [13].

    Here, and throughout the paper, J=(0110) is the standard symplectic matrix. ρ(Li),i=1,2 represents the rotation numbers of the systems z=Li(t,z),i=1,2; see the definition in Section 2.

    In this paper, we suppose that

    (H0)fC(R×R2,R2) is 2π-periodic with respect to t, the solution of the initial value problem of system (1.1) is unique and exists globally;

    (H1) ρ(L1)>n2,L1(t,z) is continuous, 2π-periodic with respect to t, positively homogeneous of degree 1 and odd with respect to z, and when x0 (x is the first component of z),

    lim infλ+Jf(t,λz)λ,zJL1(t,z),z

    holds uniformly for a.e. t[t0,t0+2π] and zS1;

    (H2) ρ(L2)<n+12,L2(t,z) is continuous, 2π-periodic with respect to t, positively homogeneous of degree 1 and odd with respect to z, and when x0 (x is the first component of z),

    lim supλ+Jf(t,λz)λ,zJL2(t,z),z

    holds uniformly for a.e. t[t0,t0+2π] and zS1;

    (H3) When x>0 (x is the first component of z),

    limλ+Jf(t,λz)λ,z=+

    holds uniformly for a.e. t[t0,t0+2π] and zS1;

    (H4) ysgn(f1(t,0,y))<0 (f1 is the first component of f) and ysgn(Li1(t,0,y))<0 (Li1 is the first component of Li), i=1,2 when |y|1.

    Then our main result is as follows.

    Theorem 1.1. Suppose that conditions (H0)(H4) hold, then system (1.1) has a 2π-periodic solution.

    Remark 1.1. Regarding condition (H0), we directly assume the existence, uniqueness and global existence of solutions, because the application of the Poincaré-Bohl theorem is based on the assumption that the Poincaré map of the system is well defined, which requires the global existence of solutions of the corresponding initial value problem. In fact, there are many conditions guaranteeing the existence, uniqueness and global existence of solutions wherein the uniqueness of solutions of the initial value problem can be guaranteed by the local Lipschitz continuity of f with respect to z. And for global existence, for example, it can be guaranteed that, if f(t,z) satisfies the quasi-linear growth condition, namely, there exists a,bL1(t0,t0+2π) such that

    |f(t,z)|a(t)|z|+b(t),fora.e. t[0,2π] and zR.

    In [9], Fonda and Sfecci introduced a rotating regular spiral assumption and an angular speed controlling assumption to guarantee the global existence of the solutions to system (1.1); see the assumptions (H1) and (H3) in Theorem 2.3 in [9].

    Remark 1.2. In Theorem 1.1, we do not assume the sign conditions. As we know, sign conditions were frequently needed in the previous works on periodic solutions problems, including the classic works of Jacobowitz and Hartman [45,46], Ding, Iannacci and Zanolin [47], Fonda and Toader [48] and the references therein. Once there is a lack of sign conditions, the continuation method (see its applications in [49,50]) may not be used. The basic idea of the continuation method is to reduce nonlinear systems similar to system (1.1) to simple systems by applying homotopy invariance of the topological degree, and the simple systems are usually autonomous ones. Then one can compute the topological degrees of some of the operators associated with the autonomous systems, and the degrees are not zero; when the indefinite weight appears, the reduced autonomous systems are not easy to find, but the indefinite systems still meet some non-resonant conditions, such as the non-resonant conditions in the assumptions (H1) and (H2), (H2) in [37] and (HPB) in [38]. Consider the one-sided superlinear conditions for the system

    y=g1(t,x),x=g2(t,y)

    in Corollary 3.11 of [9], which requires all constants in the formulas (36)–(39) to be positive. Compared with the asymmetric problems in Theorem 1.1 in [8], the sign conditions are needed (Because the oddness assumption for the positively homogeneous systems may not be satisfied in [8], the comparison lies only in the sign conditions). So the notion of non-resonance with one-sided superlinearity in the sense of rotation numbers is different from that in [8,9] in the sense without sign conditions.

    Remark 1.3. Fabry and Fonda [12] studied periodically forced planar Hamiltonian systems, have obtained sharp non-resonance results, and have provided new insights into the non-resonance problems by using the energy and a phase as variables. Under the framework, some classical situations can be covered, like asymmetric oscillators, positively homogeneous Hamiltonians of degree 2 or Hamiltonians with separated variables. In the final section of [12], the authors considered the more general system Jz=F(t,z), which is similar to system (1.1) in the present paper, and obtained existence conditions for the periodic solutions via a comparison with Hamiltonian systems. However, such Hamiltonian systems may not be found in indefinite problems, so we obtain the existence of the periodic solutions via a comparison with the positively homogeneous planar systems z=Li(t,z),i=1,2, which may not be isochronous.

    Remark 1.4. In Theorem 1.1, conditions (H1)(H3) show the control of the angular velocity by the homogeneous systems on the left half-plane and the superlinearity on the right half-plane, and (H4) shows that the solution curve rotates counterclockwise. These conditions have equivalent forms, so Theorem 1.1 could be stated in a more general way. We will discuss this in Section 4.

    Remark 1.5. In Theorem 1.1, n is an integer, and it can be equal to 0. In this case, we can obtain that the solution curve of system (1.1) rotates less than one turn in 2π time, so it also fits the framework of the Poincaré-Bohl theorem adding other conditions.

    For the controls with half-integers, from the superlinear growth condition for the right half-plane, one can see that the solution curve for the system z=f(t,z) can rotate half a circle in a sufficiently short time when it is on the right half-plane, this means that the solution curve for the system z=L(t,z) has not rotated out of the left half-plane if their initial state is on the left half-plane (see the proof of Lemma 3.8). Thus, in this sense, half-integers for the rotation numbers of the systems z=Li(t,z),i=1,2 are enough to estimate the rotation angle difference. And half-integers are also used for the control of the rotations in [41].

    For the reader's convenience, we present the Poincaré-Bohl fixed point theorem as follows.

    Theorem 1.2. (Poincaré-Bohl theorem) Let ΩRm be an open bounded set containing the origin, and φ:¯ΩRm be a continuous function such that

    φ(u)λu,foreveryuΩandλ>1.

    Then, φ has a fixed point in ¯Ω.

    This paper is organized as follows. We introduce the rotation numbers and rotation angle differences of the positive homogeneous systems in Section 2. We show the estimations of the rotation angle differences of the solutions of system (1.1) in Section 3. In Section 4, we give the proof, more general states and applications of Theorem 1.1. Finally, in Section 5, we give the proofs of some technical lemmas.

    In this section, similar to that in Section 2 in [13], we consider the relationship between the rotation number of the positively homogeneous planar system

    z=L(t,z),z=(x,y)R2, (2.1)

    which is oddly symmetric, and the rotation angle difference of the planar system (1.1). For the sake of presentation, we retell them as follows.

    Let L:R×R2R2 be a L1-Carathédory function, 2π-periodic with respect to the first variable, positively homogeneous of degree 1 with respect to the second variable, namely

    L(t,λz)=λL(t,z),λ0,zR2,

    and it is also odd with respect to the second variable. In the following, denote by Q the set of all of the functions with the above properties.

    Next, we define the rotation number of system (2.1) and the rotation angle difference of system (2.1) and system (1.1).

    Assume that the solution of the initial value problem of system (2.1) exists and is unique. For a solution z(t;z0) with the initial value z0(0,0), by the polar coordinates transformation, it can be written as

    x(t)=r(t)cosθ(t),y(t)=r(t)sinθ(t);

    thus we have

    θ(t)=Jz,z|z|2=JL(t,z),z|z|2=JL(t,(cosθ,sinθ)),(cosθ,sinθ)=:ψ(t,θ;L). (2.2)

    Denote by θ(t;t0,θ0) the unique solution of Eq (2.2) with θ(t0;t0,θ0)=θ0. Since ψ(t,θ;L) is 2π-periodic for t and π-periodic for θ when L(t,z) is 2π-periodic for t and odd for z, Eq (2.2) is a differential equation on a torus. Thus

    θ(t+2π;t0+2π,θ0)=θ(t;t0,θ0)

    and

    θ(t;t0,θ0+π)=θ(t;t0,θ0)+π (2.3)

    hold for arbitrary θ0,t0R. Therefore, we can define the rotation number of system (2.1) as follows;

    ρ(L):=limtθ(t0+t;t0,θ0)θ0t=limkθ(t0+2kπ;t0,θ0)θ02kπ,

    and it is independent of t0 and θ0; see Theorem 2.1 in Chapter 2 of Hale [51]. By extension, we refer to ρ(L) as the rotation number of the positively homogeneous planar system (2.1).

    Then, we give the definitions of the rotation angle differences of system (2.1) and system (1.1). Denote the rotation angle difference of system (2.1) in the time segment [t0,t0] by θ(t0,t0), θ(t0,t0):=θ(t0;t0,θ0)θ0 and denote the rotation angle difference of system (1.1) in the time segment [t0,t0] by φ(t0,t0), φ(t0,t0):=φ(t0;t0,r0,φ0)φ0, where φ(t;t0,r0,φ0) denotes the angle component of the solutions of system (1.1) satisfying the initial condition z(t0;t0,z0)=z0, t0t0+2π.

    Based on the above definitions, we consider the comparison lemma about the relationship between the rotation angle differences of system (1.1) and system (2.1).

    First, similar to that in [37,41,43,52], we consider the relationship between the rotation number ρ(L) of system (2.1) and the rotation angle difference θ(t0,t0) of its solutions in the time segment [t0,t0]. The proofs of Lemma 2.2 and Lemma 2.3 are also similar to that in [37]. For convenience, we will give the proofs of Lemmas 2.1–2.3 in Section 5.

    Lemma 2.1. Let nZ; then

    (i) ρ(L)<nθ(t0,t0)<2nπ, (t0,θ0)R2, t0t0+2π;

    (ii) ρ(L)>nθ(t0,t0+2π)>2nπ, (t0,θ0)R2;

    (iii) ρ(L)=n if and only if there is at least one nontrivial 2π-periodic solution θ(t;t0,θ0) of Eq (2.2) with θ(t0+2π;t0,θ0)θ0=2nπ.

    Next, we state the depending relationship lemma about the rotation angle difference θ(t0,t0) of system (2.1) and the function L(t,z).

    Lemma 2.2. Assume Li(t,z)Q,i=1,2 and that for all zR2,

    JL2(t,z)JL1(t,z),z0 (2.4)

    holds for a.e. t[t0,t0], t0t0+2π. Then

    θ2(t0,t)θ1(t0,t),t[t0,t0].

    Second, we state the comparison result for the rotation angle difference of system (2.1) for different functions Li(t,z)(i=1,2).

    Lemma 2.3. Suppose Li(t,z)Q, i=1,2. Assume also that for all ε>0, there exists δ>0 such that

    JL2(t,z),zJL1(t,z),zδ|z|2 (2.5)

    holds for all zR2 and a.e. t[t0,t0], t0t0+2π. Then

    θ2(t0,t)θ1(t0,t)ε,t[t0,t0]. (2.6)

    Third, similar to the discussion in Section 2 in [13], we give the relationship of the rotation angle difference between system (2.1) and system (1.1). From (H1) and (H2), we deduce the following two properties.

    (H1) When x0, there exists L1(t,z)Q satisfying δ>0,l(t)L1([t0,t0],R+) such that

    Jf(t,λz)λ,zJL1(t,z),zδ|z|2l(t) (2.7)

    holds uniformly for a.e. t[t0,t0], zS1 and λ1;

    (H2) When x0, there exists L2(t,z)Q satisfying δ>0,l(t)L1([t0,t0],R+) such that

    Jf(t,λz)λ,zJL2(t,z),z+δ|z|2+l(t)

    holds uniformly for a.e. t[t0,t0], zS1 and λ1.

    Then, applying the above two lemmas we have the following comparison lemma.

    Lemma 2.4. (Comparison Lemma A) Suppose LiQ,i=1,2 and f:R×R2R2 is 2π-periodic with respect to the first variable t and continuous with respect to the second variable z.

    (i) If (H1) holds, then for each ε>0, there exists Rε>0 such that

    φ(t0,t)θ1(t0,t)ε,t[t0,t0] (2.8)

    holds for every solution of system (1.1) satisfying |z(t)|Rε,t[t0,t0].

    (ii) If (H2) holds, then for each ε>0, there exists Rε>0 such that

    φ(t0,t)θ2(t0,t)+ε,t[t0,t0] (2.9)

    holds for every solution of system (1.1) satisfying |z(t)|Rε,t[t0,t0].

    Remark 2.1. By the assumption of oddness, the solutions of z=L(t,z) spend the same time in the left and right half-plane. In fact, using Eq (2.2) we can calculate the times spent by the solutions in the left half-plane and right half-plane using

    t=θ2θ11θdθ=θ2θ11JL(t,(cosθ,sinθ)),(cosθ,sinθ)dθ.

    Then we can obtain that tL=tR by a variable substitution. tL and tR denote the times spent by the solutions in the left and right half-planes, respectively.

    In this section, we denote the solution of the equation θ=ψ(t,θ)ε by θε(t;t0,θ0), where ε>0, and the angle component of the solution of system (1.1) by φ(t;t0,r0,φ0). Because we only discuss the solutions for sufficiently large r0 in the following parts and the estimation formulas hold for sufficiently large r(t), we sometimes note φ(t;t0,r0,φ0) as φ(t;t0,φ0) for short.

    First, similar to Lemma 4.3 in [37] and Lemmas 3.4 and Lemma 3.5 in [13], we give an orientation- preserving lemma and a sign lemma.

    Lemma 3.1. (Orientation preserving lemma) Suppose that all of the solutions of the equation θ=ψ(t,θ) satisfying the initial value conditions exist uniquely; let θ(t;t0,θ0) and θ(t;t0,θ1) be two solutions of Eq (2.2) with the respective initial values θ(t0;t0,θ0)=θ0 and θ(t0;t0,θ1)=θ1, t[t0,t0). If θ0<θ1(θ0>θ1), then

    θ(t;t0,θ0)<θ(t;t0,θ1)(θ(t;t0,θ0)>θ(t;t0,θ1)),t[t0,t0).

    Lemma 3.2. (Sign lemma) Assume (H4); if θ(t;t0,θ0)π2+kπ, then t>t, and we have θ(t;t0,θ0)>π2+kπ.

    Second, we give the comparison lemma after the following two preliminary lemmas.

    Lemma 3.3. Suppose that ε>0, and ψ(t,θ) is a continuous function, 2π-periodic with respect to t, differentiable and π-periodic with respect to θ. Let θ(t;t0,θ0) and θε(t;t0,θ0) be solutions of θ=ψ(t,θ) and θ=ψ(t,θ)ε, respectively. Then there exists Kε<0 such that θε(t)θ(t)+Kε(tt0),tt0.

    Proof. Let ¯θ(t)=θε(t)θ(t); then ¯θ(t) satisfies

    (¯θ(t))=a(t)¯θ(t)ε, (3.1)

    where a(t)=ψθ(t,ξ) and ξ(t) is between θ(t) and θε(t).

    Integrating on both sides of Eq (3.1) from t0 to t, we have

    ¯θ(t)=tt0εexp(tsa(τ)dτ)ds.

    Take Kε=maxt0tt0+2πεexp(tt0a(s)ds); then

    ¯θ(t)Kε(tt0).

    And by a direct application of the definition of the rotation number of the positively homogeneous system (2.1), we have the following lemma.

    Lemma 3.4. Suppose ρ(L1)>n2; then there exists ε>0 such that ρ(Lε)>n2, where Lε(t,z)=L1(t,z)εJz.

    We know that there exists Lε such that ρ(Lε)>n2 under the conditions of Lemma 3.1. For this ε>0, by the definition of rotation numbers there exists δ>0 such that

    θε(t0+2π;t0,θ0)θ0>nπ+2δ (3.2)

    holds for an arbitrary t0 and θ0.

    Lemma 3.5. (Comparison Lemma B) Suppose that ε>0, ψ(t,θ) is a continuous function, 2π-periodic with respect to t, differentiable and π-periodic with respect to θ. Then for the above ε>0, there exists rε with r0rε such that

    φ(t;t0,θ0)>θε(t;t0,θ0)+δ

    holds for the angle variable of solutions in the left plane when tt0+tε, t0[t0,t0+2π]. It is given that tε=min{tt0|t>t0,θε(t)θε(t0)δ}>0 and δ is sufficiently small such that Kεtε+δ<0.

    Proof. θε(t;t0,θ0) satisfies

    θε(t)=ψε(t,θε(t)),

    where ψε=JL(t,cosθ,sinθ),(cosθ,sinθ)ε=ψ(t,θ)ε. Take ψM=max(t,θ)[0,2π]×[0,2π]|ψε(t,θ)|; then tεδψM>0. By (H1) and Comparison Lemma A we can obtain that, for Kε and tε, there exists rε>0 such that

    φ(t;t0,r0,θ0)>θ(t;t0,θ0)ε>θ(t;t0,θ0)+Kεtε+δ

    holds for the angle variable of solutions in the left half-plane when r0rε, where ε<Kεtεδ.

    Then by Lemma 3.3 and Kε<0,

    θε(t;t0,θ0)θ(t;t0,θ0)+Kε(tt0)θ(t;t0,θ0)+Kεtε

    holds when tt0+tε. Thus

    φ(t;t0,r0,θ0)>θε(t;t0,θ0)+δ,

    that is

    φ(t;t0,θ0)>θε(t;t0,θ0)+δ.

    Lemma 3.6. Assume (H3), then Δφt0 when r0+, where φ denotes the angle component of the solutions of system (1.1) and Δφt denotes the time spent by the solutions of system (1.1) to rotate through the right half-plane.

    Proof. Using the polar coordinate transformation x=rcosφ,y=rsinφ we can obtain

    φ=1r2Jf(t,z),z,

    then

    Δφt=π2π2r2|Jf(t,z),z|dφ=π2π21|Jf(t,(rcosφ,rsinφ))r,(cosφ,sinφ)|dφ. (3.3)

    Passing to the limit as r0+, by the global existence of solutions, we can obtain r(t)+. Then using (H3) and the dominated convergence theorem, and by (3.3) we have

    limr0+Δφt=0.

    Similar to the proof of Lemma 3.7 in [13], we have the following lemma.

    Lemma 3.7. Assume that conditions (H0),(H2) and (H4) hold; and then we have that R1>0 for every solution of system (1.1) satisfying |z(t)|R1, t[t0,t0+2π],

    φ(t0+2π;t0,φ0)φ0<2(n+1)π

    holds for an arbitrary t0 and φ0.

    Lemma 3.8. Assume that conditions (H0), (H1),(H3) and (H4) hold; then we have that R2>0 for every solution of system (1.1) satisfying |z(t)|R2, t[t0,t0+2π],

    φ(t0+2π;t0,φ0)φ0>2nπ

    holds for an arbitrary t0 and φ0.

    Before the proof, we want to emphasize that estimates in this lemma are uniform in the radius, and that these estimates are completed under the state that the radius is sufficiently large.

    Proof. Case 1. Without loss of generality, we suppose θε(t0+2π;t0,θ0)θ0<(n+1)π. First, suppose θ0[π2,3π2δ] and let θε(tj)=π2+jπ,j=1,,n with t0<t1<<tn<t0+2π. Then, by (3.2) we have

    3π2θ0+θε(t0+2π;t0,θ0)θε(tn)>π. (3.4)

    It suffices to show that

    φ(t0+2π;t0,φ0,r0)φ0>2nπ

    holds when r0 is sufficiently large. Without loss of generality, we suppose φ(t0+2π;t0,φ0,r0)φ0<2(n+1)π and denote φ0=θ0 and φ(t)=φ(t;t0,φ0,r0) for short. Suppose that tj and τj,j=1,,n satisfy

    φ(tj)=π2+(2j1)π,φ(τj)=π2+2jπ,j=1,,n,

    respectively.

    Next we compare τ1 with t1. Right now θε(t) and φ(t) have the same initial state (t0,θ0), and both are in the left half-plane (see Figure 1, where tθ=t1t1 denotes the time spent by the solution of system (2.1) rotating from t1 to t1). By assumptions and Lemma 3.5 we obtain

    φ(t;t0,θ0)>θε(t;t0,θ0)+δ,t(t0,t1](t0,τ1]
    Figure 1.  The present figure shows the tracking of the angle in Lemma 3.8, see the detailed explanation in Remark 3.1.

    when θ0<3π2δ.

    Then

    θε(t1;t0,θ0)<φ(t1;t0,θ0)=π2+π,

    so, we have

    θε(t1;t0,θ0)<θε(t1;t0,θ0);

    then by the orientation-preserving lemma (Lemma 3.1) we can obtain t1<t1. By the definition of φ(tj) and φ(τj), j=1,2,,n, when the solution curve moves from t1 to τ1, it is in the right half-plane (see Figure 1, where tφ=τ1t1 denotes the time used by the solution of system (1.1) rotating from t1 to τ1). Then by (H3) and Lemma 3.6 we know that the time τ1t1 used by φ from t1 to τ1 is shorter than the time used by θε from t1 to t1 denoted by tε, that is τ1t1<tε; then we can obtain τ1<t1.

    So

    θε(τ1;t0,θ0)<θε(t1;t0,θ0)=θε(t1;t1,π2+π).

    Take θ1=θε(τ1;t0,θ0), then θ1<π2+π.

    Therefore, by the orientation-reserving lemma (Lemma 3.1),

    θε(t;τ1,θ1)<θε(t;τ1,π2+π)

    holds for t>τ1.

    Next we compare τ2 with t2. φ starts from (τ1,5π2) to (t2,φ(t2))=(t2,π2+3π) right now; meanwhile θε also starts from τ1 to t2.

    First, we compare t2 and t2. Suppose t2t2, and apply Lemma 3.5 on the interval [τ1,t2]. Because L1(t,z) is odd for z, (H1) holds; then we can obtain

    φ(t2;τ1,π2+2π)>θε(t2;τ1,π2+2π)>θε(t2;t1,π2+2π), (3.5)
    θε(t2;t1,π2+2π)=θε(t2;t1,π2+π)+πθε(t2;t1,π2+2π); (3.6)

    thus by (3.5) and (3.6) we have

    π2+3π>π2+2π+π=π2+3π,

    which is a contradiction. Therefore, t2<t2. And by (H3) and Lemma 3.6 we know that the time used by φ from t2 to τ2 is shorter than the time used by θε from t2 to t2 denoted by tε, that is τ2t2<tε; so we know τ2<t2.

    So

    θε(τ2;t0,θ0)<θε(t2;t0,θ0)=θε(t2;t2,π2+2π).

    Take θ2=θε(τ2;t0,θ0); then θ2<π2+2π.

    Therefore, by the orientation-reserving lemma (Lemma 3.1),

    θε(t;τ2,θ2)<θε(t;τ2,π2+2π)

    holds for t>τ2.

    Then we can obtain τn<tn by a similar discussion as above. Notice that θε(tn)=π2+nπ, so

    θε(τn;t0,θ0)<θε(tn;t0,θ0)=θε(tn;tn,π2+nπ)=π2+nπ,

    that is

    θn=θε(τn;t0,θ0)<π2+nπ.

    By the orientation-reserving lemma (Lemma 3.1) we have

    θε(t;τn,θn)<θε(t;τn,π2+nπ),

    when t>τn. By Lemma 3.5, the translation property and the above inequality, and as compared on [τn,t0+2π], we have

    φ(t0+2π;τn,π2+2nπ)>θε(t0+2π;τn,π2+2nπ)=θε(t0+2π;τn,π2+nπ)+nπ>θε(t0+2π;τn,θn)+nπ=θε(t0+2π;t0,θ0)+nπ;

    combined with (3.4), we have

    φ(t0+2π;τn,π2+2nπ)>π2+nπ+θ03π2+π+nπ=θ0+2nπ,

    that is

    φ(t0+2π;t0,θ0)θ0>2nπ.

    Case 2. Suppose θ0[3π2δ,3π2], consider the solution θε(t;t0,3π2δ) of Eq (2.2) starting from (t0,3π2δ) and denote θε(tj)=π2+jπ,φ(tj)=π2+(2j1)π,φ(τj)=π2+2jπ,j=1,,n.

    Next we compare τ1 and t1. Right now, the initial state of θε(t) is (t0,3π2δ), which means that θ0=3π2δ, the initial state of φ(t) is (t0,φ0), with φ0θ0, and that both are in the left half-plane. Then by Lemma 3.5,

    φ(t;t0,φ0)>θε(t;t0,θ0),t>t0

    holds when φ0[3π2δ,3π2]; then θε(t1;t0,θ0)<φ(t1;t0,φ0)=π2+π; similar to that in Case 1 we have t1<t1. And by the superlinearity on the right half-plane we know that the time used by φ from t1 to τ1 is shorter than the time used by θε from t1 to t1 denoted by tε, that is τ1t1<tε; then we can obtain τ1<t1.

    Similarly, we can obtain

    τn<tn,

    and by (3.2) we have

    3π2θ0+θε(t0+2π;t0,3π2δ)θε(tn)>π+δ,

    namely

    θε(t0+2π;t0,3π2δ)θε(tn)>π.

    Then

    φ(t0+2π;τn,π2+2nπ)>θε(t0+2π;τn,π2+2nπ)>θε(t0+2π;tn,π2+2nπ)=θε(t0+2π;tn,π2+nπ)+nπ>θε(tn)+π+nπ=2nπ+3π2.

    Since φ03π2, we have

    φ(t0+2π;t0,φ0)φ0>2nπ.

    Case 3. Suppose θ0(π2,π2]; we discuss it in two cases.

    First, when θ0=π2, take φ0=θ0. Right now θε(t) and φ(t) have the same initial state; denote θε(tj)=π2+jπ and φ(tj)=π2+(2j1)π,φ(τj)=π2+2jπ,j=1,,n. According to the discussion in Case 1 we can prove

    τ2<t2,,τn<tn.

    And by Lemma 3.5, the translation property and (3.2), we have

    φ(t0+2π;t0,θ0)=φ(t0+2π;τn,π2+2nπ)>θε(t0+2π;τn,π2+2nπ)>θε(t0+2π;tn,π2+2nπ)=θε(t0+2π;tn,π2+nπ)+nπ>θ0+nπ+nπ,

    that is

    φ(t0+2π;t0,θ0)θ0>2nπ.

    Second, when θ0(π2,π2), we consider the solution θε(t;t0,π2) of Eq (2.2) starting from (t0,π2), and denote θε(tj)=π2+jπ and φ(tj)=π2+(2j1)π,φ(τj)=π2+2jπ,j=0,,n; suppose that φ(t) and θε(t) have the same initial state (t0,π2). By the superlinearity on the right half-plane we know that the time used by φ from t0 to τ0 is shorter than the time used by θε from t0 to t0 denoted by tε; thus we have τ0<t0; then we can prove

    τ1<t1,,τn<tn,

    similar to the discussion in Case 1.

    Thus

    φ(t0+2π;t0,θ0)=φ(t0+2π;τn,π2+2nπ)>θε(t0+2π;τn,π2+2nπ)>θε(t0+2π;tn,π2+2nπ)=θε(t0+2π;tn,π2+nπ)+nπ,

    and by (3.2) we have

    π2θ0+θε(t0+2π;tn,π2+nπ)θε(tn)>2δ,

    namely

    θε(t0+2π;tn,π2+nπ)>θ0+nπ+2δ;

    thus

    φ(t0+2π;t0,θ0)θ0>2nπ.

    Remark 3.1. In the proof of Lemma 3.8, an explanatory figure is used to to show where the counting of the rotations starts and the estimates of the rotation angle differences in each region. Figure 1 corresponding to Case 1, shows the tracking at the beginning. The statement on the other small time periods can be seen similarly.

    Remark 3.2. The proof of Lemma 3.8 is based on the system methodology of "tracking" the angle difference of the solutions of system (1.1) on each small interval on the given side; it gives an estimation of the lower bound of the rotation angle difference of the solutions of system (1.1). This is different from the proof of Lemma 3.6 in [13] and the proof of Lemma 4.2 in [37]. In fact, the proof idea of the lower bound of the rotation angle difference is similar to thta in [13,37], namely, one can describe the 2π-rotation numbers of the solutions (from which one can calculate the rotation angle differences) of the positive homogeneous systems by the rotation numbers of themselves first; then through the discussion of the relationship of the 2π-rotation numbers between the planar systems and the positive homogeneous systems, one can finally realize the estimations of the 2π-rotation number of the planar system by using the rotation numbers of the positive homogeneous systems. Moreover, the "tracking" is different from that in the proof of Lemma 3.7 in [13] because of the superlinearity on the right half-plane.

    In this section, we consider the proof, more general states and applications of our main result.

    First, the proof idea of Theorem 1.1 is similar to that in [37], but there are some differences in details, so we state the proof as follows.

    Proof of Theorem 1.1. Suppose that z(t;z0)=(x(t;z0),y(t;z0) is a solution of system (1.1) satisfying the initial value condition z(t0;z0)=z0=(x0,y0). Take ΩM={zR2:|z|<M}, and define the Poincaré map

    P:¯ΩMR2,(x0,y0)(x(t0+2π;z0),y(t0+2π;z0)).

    By (H0) we have the global existence of solutions; thus P is well defined. Moreover, the uniqueness of the solution implies that the solution depends continuously on the initial value. Therefore P is continuous. In addition, P has a fixed point z0R2 if and only if system (1.1) has a 2π periodic solution. Then our aim is to prove that, for M>0 sufficiently large, P has a fixed point by the Poincaré-Bohl theorem.

    Applying the global existence of the solutions of system (1.1) again, as well as the continuous dependence of the solutions with respect to the initial values, we can prove the elastic properties of the solutions of system (1.1). That is, for R1 in Lemma 3.7 and R2 in Lemma 3.8, there exists MR>0 such that |z(t;z0)|>Ri, i=1,2 for t[t0,t0+2π] when |z0|MR.

    Let M=MR. For any z0ΩM, we have |z(t;z0)|>Ri, i=1,2 for t[t0,t0+2π]. Then by conditions (H1)(H4) and Lemma 3.7 and Lemma 3.8 we have

    2nπ<φ(t0+2π;t0,φ0)φ0<2(n+1)π,

    where nN, which implies that z(t;z0) is not able to rotate any integer number of turns in 2π time for t[t0,t0+2π]. Hence P(z0)λz0 for z0ΩM and λ>1. Using the Poincaré-Bohl theorem, we have that P has a fixed point. The proof is thus completed.

    Second, we consider a more general state of Theorem 1.1. We assume the following conditions.

    (H4) When |y|1, ysgn(f1(t,0,y))>0 (f1 is the first component of f) and ysgn(Li1(t,0,y))>0 (Li1 is the first component of Li), i=1,2.

    (H5) ρ(L1)>n2,L1(t,z) is continuous, 2π-periodic with respect to t, positively homogeneous of degree 1 and odd with respect to z; and when x0(x is the first component of z),

    lim infλ+Jf(t,λz)λ,zJL1(t,z),z

    holds uniformly for a.e. t[t0,t0+2π] and zS1.

    (H6) ρ(L2)<n+12,L2(t,z) is continuous, 2π-periodic with respect to t, positively homogeneous of degree 1 and odd with respect to z; and when x0 (x is the first component of z),

    lim supλ+Jf(t,λz)λ,zJL2(t,z),z

    holds uniformly for a.e. t[t0,t0+2π] and zS1.

    (H7) When x<0 (x is the first component of z),

    limλ+Jf(t,λz)λ,z=+

    holds uniformly for a.e. t[t0,t0+2π] and zS1.

    Then by the similar proof idea of Theorem 1.1, we have the following more general state of Theorem 1.1.

    Theorem 4.1. Assume (H0), and that (H1)(H2)(H3)(H4), (H1)(H2)(H3)(H4), (H5)(H6)(H7)(H4) or (H5)(H6)(H7)(H4) hold; then system (1.1) has a 2π-periodic solution.

    More generally, {x0} and {x>0} in conditions (H1)(H3) can be replaced by {y0} and {y>0}, and {x0} and {x<0} in conditions (H5)(H7) can be replaced by {y0} and {y<0}; Assumption (H4) and (H4) need to be replaced by the following conditions.

    (H8) When |x|1, xsgn(f2(t,x,0))<0 (f2 is the second component of f) and xsgn(Li2(t,x,0))<0 (Li2 is the second component of Li), i=1,2.

    (H8) When |x|1, xsgn(f2(t,x,0))>0 (f2 is the second component of f) and xsgn(Li2(t,x,0))>0 (Li2 is the second component of Li), i=1,2.

    Then we can obtain similar results to that in Theorem 4.1. Since the expression is similar, the result and some conditions are not stated here.

    Finally, we give an application of Theorem 1.1 (or Theorem 4.1).

    Example 4.1. Consider the following equations

    x+ai(t)x=0,x+bi(t)x=0,i=1,2,

    where ai(t),bi(t)L1([0,2π]) and ai(t)<bi(t), i=1,2, are 2π-periodic functions with definitions are as follows.

    a1(t)={(n+1/2)2,t[0,π],c(t),t[π,2π],a2(t)={(n+δ)2,t[0,π],λ2,t[π,2π],
    b1(t)={(n+3/4)2,t[0,π],μ2,t[π,2π],b2(t)={(n+1/2)2,t[0,π],d(t),t[π,2π],

    where nN, c(t),d(t)L1([π,2π]), d(t)0, δ2(n+δ)arctan|λ|/π>0 and arctanμπ/2π/(4(n+3/4)). For i=1 or i=2, we suppose that

    ai(t)lim infxg(t,x)xlim supxg(t,x)xbi(t) (4.1)

    holds uniformly for a.e. t[0,2π], and that

    limx+g(t,x)x=+,

    where g(t,x) is continuous, 2π-periodic with respect to t and locally Lipschitz continuous with respect to x. Then we can prove (the proof is similar to that in [38])

    n/2<ρ(a1),ρ(a2),ρ(b1),ρ(b2)<(n+1)/2.

    Through verification, we can see that the conditions in Theorem 1.1 all hold; then x+g(t,x)=0 has a 2π-periodic solution.

    Remark 4.1. In this paper, we mainly consider the indefinite systems, where "indefinite" means that the nonlinearity in the research model is sign-varying. Specifically, for the typical second-order equation x+a(t)h(x)=0, "indefinite" means that a(t) is sign-varying. And for x+g(t,x)=0, it means that g(t,x) is sign-varying. In Example 4.1, x+g(t,x)=0 is an indefinite equation, because by (4.1), we have that g(t,x) is sign-varying when x1. And the equivalent system of x+g(t,x)=0 is x=y,y=g(t,x), which is an indefinite planar system. Besides, there are many indefinite systems (equations), such as x+ai(t)x=0,i=1,2 and x+b1(t)x=0, where ai(t),i=1,2 and b1(t) are defined as in Example 4.1.

    First, we recall the definition of the rotation number of an orientation-preserving homeomorphism. Let h:RR be an orientation-preserving homeomorphism such that

    h(θ+2nπ)=h(θ)+2nπ,for allθR,nZ. (5.1)

    Then, we can define the rotation number of h as follows

    \rho(h) = \lim\limits_{k\to\infty}\frac{h^k(\theta)-\theta}{2k\pi},

    and it is independent of the choice of \theta ; where h^k is a map meaning k times iterations of h .

    Before the proof of Lemma 2.1, similar to Proposition 2.1 in [41] or Lemma 2.1 in [52], we give the following lemma.

    Lemma 5.1. Let h:\mathbb{R}\to\mathbb{R} be an orientation-preserving homeomorphism satisfying (5.1) and n be an integer number. Then

    (i) \rho(h)\leq n if and only if \min\limits_{\theta\in\mathbb{R}}(h(\theta)-\theta)\leq 2n\pi ,

    (ii) \rho(h)\geq n if and only if \max\limits_{\theta\in\mathbb{R}}(h(\theta)-\theta)\geq 2n\pi .

    Proof of Lemma 2.1. First, let h:\mathbb{R}\to\mathbb{R} be the Poincaré map of Eq (2.2), that is

    \begin{eqnarray*} h:\; \; \; \; \; \; \mathbb{R}&\to&\mathbb{R}, \\ \theta_0 &\mapsto&\theta(t_0+2\pi;t_0, \theta_0). \end{eqnarray*}

    By the uniqueness of the solutions of Eq (2.2) with respect to the initial values, the orientation-reserving lemma (Lemma 3.1) holds. Thus, h is an orientation-preserving homeomorphism. Then by (2.3), we have

    h(\theta_0+2n\pi) = h(\theta_0+n\pi)+n\pi = h(\theta_0)+2n\pi, \; \hbox{for all}\; \theta_0\in\mathbb{R}, \; n\in\mathbb{Z}.

    Then, by (ⅱ) of Lemma 3.3, we have

    \rho(L) < n\Rightarrow \max\limits_{\theta_0\in\mathbb{R}}(h(\theta_0)-\theta_0) < 2n\pi;

    thus, \triangle\theta(t_0, t_0')\leq\max\limits_{\theta_0\in\mathbb{R}}(\theta(t_0+2\pi; t_0, \theta_0)-\theta_0) < 2n\pi . Therefore (ⅰ) holds.

    In a similar way, by (ⅰ) of Lemma 3.3, we have

    \rho(L) > n\Rightarrow \min\limits_{\theta_0\in\mathbb{R}}(h(\theta_0)-\theta_0) > 2n\pi;

    thus, \triangle\theta(t_0, t_0+2\pi)\geq\min\limits_{\theta_0\in\mathbb{R}}(\theta(t_0+2\pi; t_0, \theta_0)-\theta_0) > 2n\pi . Therefore (ⅱ) holds.

    Consequently, (ⅲ) can be proved.

    Next, similar to the proofs of Lemma 3.2 and Lemma 3.3 in [37], we prove Lemma 2.2 and Lemma 2.3.

    Proof of Lemma 2.2. For each \theta_0\in\mathbb{R} , let \theta(t; \theta_0, L) be the unique solution of Eq (2.2) satisfying \theta(t_0;\theta_0, L) = \theta_0 . Denote \vartheta(t) = :\theta_2(t)-\theta_1(t) , where \theta_i(t) = \theta(t; \theta_0, L_i) for i = 1, 2 . Note that \vartheta(t_0) = 0 . We have

    \begin{align*} \frac{d\vartheta(t)}{dt}& = \psi(t, \theta_2;L_2)-\psi(t, \theta_1;L_1)\\ & = (\psi(t, \theta_2;L_2)-\psi(t, \theta_1;L_2))+\psi(t, \theta_1;L_2))-(\psi(t, \theta_1;L_1)\\ & = :a(t)\vartheta(t)+b(t), \end{align*}

    where a(t) = \dfrac{\partial\psi}{\partial\theta}(t, \xi; L_2) , \xi = \xi(t) is in a closed interval with \theta_1(t) and \theta_2(t) being its boundary points; also b(t) = \langle J(L_1(t, (\cos\theta_1, \sin\theta_1))-L_2(t, (\cos\theta_1, \sin\theta_1))), (\cos\theta_1, \sin\theta_1)\rangle . Then,

    \vartheta(t) = \int^{t}_{t_0}b(s)\exp(\int^{t}_sa(\tau)d\tau)ds.

    It follows from (2.4) that b(t)\leq0 for a.e. t\in[t_0, t_0'] . Thus \vartheta(t)\leq0 for all t\in[t_0, t_0'] ; then we have

    \theta_0-\theta_2(t)\geq\theta_0-\theta_1(t), \quad\forall\ t\in[t_0, t_0'],

    in the clockwise sense. Or in the counterclockwise sense,

    -\theta_2(t)-(-\theta_0)\geq-\theta_1(t)-(-\theta_0), \quad\forall\ t\in[t_0, t_0'].

    Thus we have

    \triangle\theta_2(t_0, t)\geq\triangle\theta_1(t_0, t), \; \; \; \forall\; t\in[t_0, t_0'],

    which completes the proof of Lemma 2.2.

    Proof of Lemma 2.3. Let \varepsilon > 0 be fixed. For \delta > 0 small enough, suppose that (2.5) holds for all z\in\mathbb{R}^2 and a.e. t\in[t_0, t_0'] . According to Lemma 2.2, we have

    \begin{equation*} \triangle\theta_2(t_0, t)\geq\triangle\theta_\delta(t_0, t), \; \; \; \forall\; t\in[t_0, t_0']. \end{equation*}

    Here, \triangle\theta_\delta(t_0, t) denotes the rotation angle difference of the solution z(t) of the planar system z' = L_1(t, z)+\delta Jz . Hence, to prove the result, it suffices to prove that there exists a \delta = \delta(\varepsilon) > 0 such that

    \begin{equation} \triangle\theta_\delta(t_0, t)\geq\triangle\theta_1(t_0, t)-\varepsilon, \; \; \; \forall\; t\in[t_0, t_0']. \end{equation} (5.2)

    If not, for each n\in\mathbb{N} , there would be t_n\in[t_0, t_0'] such that

    \begin{equation} \triangle\theta_{\frac{1}{n}}(t_0, t_n) < \triangle\theta_1(t_0, t_n)-\varepsilon. \end{equation} (5.3)

    Without loss of generality, we suppose t_n\rightarrow \tau\in[t_0, t_0'] . Since \triangle\theta_1(\cdot, \cdot) is continuous on [t_0, t_0']\times \mathbb{R} , passing to the upper limit on both sides of (5.3) gives

    \begin{equation} \limsup\limits_{n\rightarrow \infty}\triangle\theta_{\frac{1}{n}}(t_0, t_n)\leq\triangle\theta_1(t_0, \tau)-\varepsilon. \end{equation} (5.4)

    Let z_n(t) and z(t) be, respectively, solutions of

    z' = L_1(t, z)+\frac{1}{n} Jz\quad \hbox{and}\quad z' = L_1(t, z),

    with z_n(t_0) = v_n and z(t_0) = v . According to the theorem of continuous dependence of the solutions, it follows that z_n(t)\rightarrow z(t) uniformly on t\in[t_0, t_0'] . Hence,

    \begin{align*} \triangle\theta_{\frac{1}{n}}(t_0, t_n)& = \int^{t_n}_{t_0}-\frac{\langle Jz'_n, z_n\rangle}{|z_n|^2}dt\\ & = \int^{t_n}_{t_0}-\frac{\langle JL_1(t, z_n), z_n\rangle-\frac{1}{n}\langle z_n, z_n\rangle}{|z_n|^2} dt\\ &\rightarrow \int^{\tau}_{t_0}-\frac{\langle JL_1(t, z), z\rangle}{|z|^2}dt\\ & = \triangle\theta_1(t_0, \tau), \end{align*}

    which is a contradiction with (5.4). Therefore, (2.6) is proved, and this completes the proof of Lemma 2.3.

    In this paper, we have obtained the existence of 2\pi -periodic solutions for system (1.1) under non-resonance conditions with one-sided superlinear growth, it is formulated in an original way, with sufficiently general assumptions and overcoming the difficulties from the sign-varying conditions.

    On the other hand, we have generalized the rotation number approach and developed a system methodology of "tracking" the angle difference of solutions of the system (1.1) on each small interval on the given side under sign-varying conditions.

    The author thanks professor D. Qian for his key guidance, and also thanks the referee, who made professional comments and suggestions on this article. This work was supported by the National Natural Science Foundation of China (Grant No. 12101337).

    The author declares that there is no conflict of interest.



    [1] M. Abdulhameed, D. Vieru, R. Roslanc, Magnetohydrodynamic electroosmotic flow of Maxwell fluids with Caputo-Fabrizio derivatives through circular tubes, Comput. Math. Appl., 74 (2017), 2503–2519. http://doi.org/10.1016/j.camwa.2017.07.040 doi: 10.1016/j.camwa.2017.07.040
    [2] T. Abdeljawad, D. Baleanu, On fractional derivatives with exponential kernel and their discrete versions, Rep. Math. Phys., 80 (2017), 11–27. http://doi.org/10.1016/S0034-4877(17)30059-9 doi: 10.1016/S0034-4877(17)30059-9
    [3] H. Abboubakar, P. Kumar, N. A. Rangaig, S. Kumar, A malaria model with Caputo-Fabrizio and Atangana-Baleanu derivatives, Int. J. Model. Simul. Sci. Comput., 12 (2021), 2150013. http://doi.org/10.1142/S1793962321500136 doi: 10.1142/S1793962321500136
    [4] J. F. G. Aguilar, H. Y. Martinez, C. C. Ramon, I. C. Ordunia, R. F. E. Jimenez, V. H. O. Peregrino, Modeling of a mass-spring-damper system by fractional derivatives with and without a singular Kernel, Entropy, 17 (2015), 6289–6303. http://doi.org/10.3390/e17096289 doi: 10.3390/e17096289
    [5] B. S. T. Alkahtani, A. Atangana, Controlling the wave movement on the surface of shallow water with the Caputo-Fabrizio derivative with fractional order, Chaos Soliton. Fract., 89 (2016), 539–546. http://doi.org/10.1016/j.chaos.2016.03.012 doi: 10.1016/j.chaos.2016.03.012
    [6] I. Area, J. J. Nieto, Fractional-order logistic differential equation with Mittag–Leffler-type kernel, Fractal Fract., 5 (2021), 273. http://doi.org/10.3390/fractalfract5040273 doi: 10.3390/fractalfract5040273
    [7] S. Arshad, D. Baleanu, J. Huang, Y. Tang, M. M. Al Qurashi, Dynamical analysis of fractional order model of immunogenic tumors, Adv. Mech. Eng., 8 (2016), 1–13. https://doi.org/10.1177/1687814016656704 doi: 10.1177/1687814016656704
    [8] A. Atangana, A. Secer, A note on fractional order derivatives and table of fractional derivatives of some special function, Abstr. Appl. Anal., 2013 (2013), 279681. http://doi.org/10.1155/2013/279681 doi: 10.1155/2013/279681
    [9] D. Avci, M. Yavuz, N. Ozdemir, Fundamental solutions to the Cauchy and Dirichlet problems for a heat conduction equation equipped with the Caputo-Fabrizio differentiation, In: Heat conduction: methods, applications and research, Nova Science Publishers, 2019, 95–107.
    [10] D. Baleanu, S. Arshad, A. Jajarmi, W. Shokat, F. A. Ghassabzade, M. Wali, Dynamical behaviours and stability analysis of a generalized fractional model with a real case study, J. Adv. Res., in press. http://doi.org/10.1016/j.jare.2022.08.010
    [11] M. Bologna, P. Grigolini, B. J. West, Physics of fractal operators, New York: Springer, 2003. http://doi.org/10.1007/978-0-387-21746-8
    [12] M. Caputo, M. Fabrizio, Applications of new time and spatial fractional derivatives with exponential kernels, Progr. Fract. Differ. Appl., 2 (2016), 1–11. http://doi.org/10.18576/pfda/020101 doi: 10.18576/pfda/020101
    [13] M. Caputo, M. Fabrizio, A new definition of fractional derivative without singular kernel, Progr. Fract. Differ. Appl., 1 (2015), 73–85. http://doi.org/10.12785/pfda/010201 doi: 10.12785/pfda/010201
    [14] S. Das, I. Pan, Kriging based surrogate modeling for fractional order control of microgrids, IEEE Trans. Smart Grid, 6 (2015), 36–44. http://doi.org/10.1109/TSG.2014.2336771 doi: 10.1109/TSG.2014.2336771
    [15] H. Dehestani, Y. Ordokhani, An efficient approach based on Legendre–Gauss–Lobatto quadrature and discrete shifted Hahn polynomials for solving Caputo–Fabrizio fractional Volterra partial integro-differential equations, J. Comput. Appl. Math., 403 (2022), 113851. http://doi.org/10.1016/j.cam.2021.113851 doi: 10.1016/j.cam.2021.113851
    [16] N. Djeddi, S. Hasan, M. Al-Smadi, S. Momani, Modified analytical approach for generalized quadratic and cubic logistic models with Caputo-Fabrizio fractional derivative, Alex. Eng. J., 59 (2020), 5111–5122. http://doi.org/10.1016/j.aej.2020.09.041 doi: 10.1016/j.aej.2020.09.041
    [17] J. Dison, S. Mekee, Weakly singular discrete Gronwall inequalities, Z. Angew. Math. Mech., 66 (1986), 535–544. https://doi.org/10.1002/zamm.19860661107 doi: 10.1002/zamm.19860661107
    [18] F. Evirgen, M. Yavuz, An alternative approach for nonlinear optimization problem with Caputo-Fabrizio derivative, ITM Web Conf., 22 (2018), 01009. http://doi.org/10.1051/itmconf/20182201009 doi: 10.1051/itmconf/20182201009
    [19] M. Farman, H. Besbes, K. S. Nisar, M. Omri, Analysis and dynamical transmission of Covid-19 model by using Caputo-Fabrizio derivative, Alex. Eng. J., 66 (2023), 597–606. http://doi.org/10.1016/j.aej.2022.12.026 doi: 10.1016/j.aej.2022.12.026
    [20] M. A. Firoozjaee, H. Jafari, A. Lia, D. Baleanu, Numerical approach of Fokker-Planck equation with Caputo-Fabrizio fractional derivative using Ritz approximation, J. Comput. Appl. Math., 339 (2018), 367–373. http://doi.org/10.1016/j.cam.2017.05.022 doi: 10.1016/j.cam.2017.05.022
    [21] J. F. Gómez-Aguilar, M. G. López-López, V. M. Alvarado-Martínez, J. Reyes-Reyes, M. Adam-Medina, Modeling diffusive transport with a fractional derivative without singular kernel, Physic A, 447 (2016), 467–481. http://doi.org/10.1016/j.physa.2015.12.066 doi: 10.1016/j.physa.2015.12.066
    [22] A. Horani, R. Khalil, M. Sababheh, A. Yousef, A new definition of fractional derivative, J. Comput. Appl. Math., 264 (2014), 65–70. http://doi.org/10.1016/j.cam.2014.01.002 doi: 10.1016/j.cam.2014.01.002
    [23] N. Harrouche, S. Momani, S. Hasan, M. Al-Smadi, Computational algorithm for solving drug pharmacokinetic model under uncertainty with non-singular kernel type Caputo-Fabrizio fractional derivative, Alex. Eng. J., 60 (2021), 4347–4362. http://doi.org/10.1016/j.aej.2021.03.016 doi: 10.1016/j.aej.2021.03.016
    [24] A. Jajarmi, D. Baleanu, A new fractional analysis on the interaction of HIV with CD_{4}^{+} T-cells, Chaos Soliton. Fract., 113 (2018), 221–229. http://doi.org/10.1016/j.chaos.2018.06.009 doi: 10.1016/j.chaos.2018.06.009
    [25] A. Jajarmi, S. Arshad, D. Baleanu, A new fractional modelling and control strategy for the outbreak of dengue fever, Physica A, 535 (2019), 122524. https://doi.org/10.1016/j.physa.2019.122524 doi: 10.1016/j.physa.2019.122524
    [26] T. Jin, X. Yang, H. Xia, H. Ding, Reliability index and option pricing formulas of the first-hitting time model based on the uncertain fractional order differential equation with Caputo type, Fractals, 29 (2021), 2150012. https://doi.org/10.1142/S0218348X21500122 doi: 10.1142/S0218348X21500122
    [27] T. Jin, X. Yang, Monotonicity theorem for the uncertain fractional differential equation and application to uncertain financial market, Math. Comput. Simulat., 190 (2021), 203–221. http://doi.org/10.1016/j.matcom.2021.05.018 doi: 10.1016/j.matcom.2021.05.018
    [28] G. Jumarie, On the solution of the stochastic differential equation of exponential growth driven by fractional Brownian motion, Appl. Math. Lett., 18 (2005), 817–826. http://doi.org/10.1016/j.aml.2004.09.012 doi: 10.1016/j.aml.2004.09.012
    [29] G. Jumarie, Modified Riemann-Liouville derivative and fractional Taylor series of non-differentiable functions further results, Comput. Math. Appl., 51 (2006), 1367–1376. http://doi.org/10.1016/j.camwa.2006.02.001 doi: 10.1016/j.camwa.2006.02.001
    [30] A. Keten, M. Yavuz, D. Baleanu, Nonlocal Cauchy problem via a fractional operator involving power kernel in Banach spaces, Fractal Fract., 3 (2019), 27. http://doi.org/10.3390/fractalfract3020027 doi: 10.3390/fractalfract3020027
    [31] A. Khan, T. Akram, A. Khan, S. Ahmad, K. Nonlaopon, Investigation of time fractional nonlinear KdV-Burgers equation under fractional operators with non-singular kernels, AIMS Mathematics, 8 (2023), 1251–1268. http://doi.org/10.3934/math.2023063 doi: 10.3934/math.2023063
    [32] K. Khan, A. Ali, M. De la Sen, M. Irfan, Localized modes in time-fractional modified coupled Korteweg-de Vries equation with singular and non-singular kernels, AIMS Mathematics, 7 (2022), 1580–1602. http://doi.org/10.3934/math.2022092 doi: 10.3934/math.2022092
    [33] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and applications of fractional differential equations, London and New York: Elsevier, 2006.
    [34] J. Klafter, S. C. Lim, R. Metzler, Fractional dynamics: recent advances, Singapore: World Scientific, 2011. http://doi.org/10.1142/8087
    [35] C. Li, J. Lu, J. Wang, Observer-based robust stabilisation of a class of non-linear fractional-order uncertain systems: an linear matrix inequalitie approach, IET Control Theory Appl., 6 (2012), 2757–2764. http://doi.org/10.1049/iet-cta.2012.0312 doi: 10.1049/iet-cta.2012.0312
    [36] J. Losada, J. J. Nieto, Properties of a new fractional derivative without singular kernel, Progr. Fract. Differ. Appl., 1 (2015) 87–92. http://doi.org/10.12785/pfda/010202 doi: 10.12785/pfda/010202
    [37] Q. Liu, T. Jin, M. Zhu, C. Tian, F. Li, D. Jiang, Uncertain currency option pricing based on the fractional differential equation in the Caputo sense, Fractal Fract., 6 (2022), 407. http://doi.org/10.3390/fractalfract6080407 doi: 10.3390/fractalfract6080407
    [38] C. Ludwin, Blood alcohol content, Undergraduate Journal of Mathematical Modeling: One + Two, 3 (2011), 1. http://doi.org/10.5038/2326-3652.3.2.1 doi: 10.5038/2326-3652.3.2.1
    [39] R. L. Magin, Fractional calculus in bioengineering, Crit. Rev. Biomed. Eng., 32 (2006), 1–104. http://doi.org/10.1615/critrevbiomedeng.v32.i1.10 doi: 10.1615/critrevbiomedeng.v32.i1.10
    [40] I. A. Mirza, D. Vierub, Fundamental solutions to advection-diffusion equation with time-fractional Caputo-Fabrizio derivative, Comput. Math. Appl., 73 (2017), 1–10. http://doi.org/10.1016/j.camwa.2016.09.026 doi: 10.1016/j.camwa.2016.09.026
    [41] V. F. Morales-Delgado, J. F. Gómez-Aguilar, K. M. Saad, M. A. Khan, P. Agarwal, Analytic solution for oxygen diffusion from capillary to tissues involving external force effects: A fractional calculus approach, Physica A, 523 (2019), 48–65. http://doi.org/10.1016/j.physa.2019.02.018 doi: 10.1016/j.physa.2019.02.018
    [42] S. Momani, N. Djeddi, M. Al-Smadi, S. Al-Omari, Numerical investigation for Caputo-Fabrizio fractional Riccati and Bernoulli equations using iterative reproducing kernel method, Appl. Numer. Math., 170 (2021), 418–434. http://doi.org/10.1016/j.apnum.2021.08.005 doi: 10.1016/j.apnum.2021.08.005
    [43] J. J. Nieto, Solution of a fractional logistic ordinary differential equation, Appl. Math. Lett., 123 (2022), 107568. http://doi.org/10.1016/j.aml.2021.107568 doi: 10.1016/j.aml.2021.107568
    [44] S. Noeiaghdam, S. Micula, J. J. Nieto, A novel technique to control the accuracy of a nonlinear fractional order model of covid-19: Application of the CESTAC method and the CADNA library, Mathematics, 9 (2021), 1321. http://doi.org/10.3390/math9121321 doi: 10.3390/math9121321
    [45] H. M. Ozaktas, O. Arikan, M. A. Kutay, G. Bozdagt, Digital computation of the fractional Fourier transform, IEEE Transactionson Signal Processing, 44 (1996), 2141–2150. http://doi.org/10.1109/78.536672 doi: 10.1109/78.536672
    [46] A. J. J. Obaid, Comparing the Atangana-Baleanu and Caputo-Fabrizio derivative with fractional-order: Allen Cahn model, Chaos Soliton. Fract., 89 (2016), 552–559. http://doi.org/10.1016/j.chaos.2016.03.026 doi: 10.1016/j.chaos.2016.03.026
    [47] K. B. Oldham, J. Spanier, The fractional calculus, New York: Academic Press, 1974.
    [48] K. M. Owolabi, A. Atangana, Analysis and application of new fractional Adams-Bashforth scheme with Caputo-Fabrizio derivative, Chaos Soliton. Fract., 105 (2017), 111–119. http://doi.org/10.1016/j.chaos.2017.10.020 doi: 10.1016/j.chaos.2017.10.020
    [49] P. Pandey, J. F. Gómez-Aguilar, M. K. A. Kaabar, Z. Sirid, A. A. Mousa, Mathematical modeling of COVID-19 pandemic in India using Caputo-Fabrizio fractional derivative, Comput. Biol. Med., 145 (2022), 105518. http://doi.org/10.1016/j.compbiomed.2022.105518 doi: 10.1016/j.compbiomed.2022.105518
    [50] I. Podlubny, Geometric and physical interpretation of fractional integration and fractional differentiation, Fract. Calc. Appl. Anal., 5 (2002), 367–386.
    [51] J. RongLoh, A. Isah, C. Phang, Y. T. Toh, On the new properties of Caputo-Fabrizio operator and its application in deriving shifted Legendre operational matrix, Appl. Numer. Math., 132 (2018), 138–153. http://doi.org/10.1016/j.apnum.2018.05.016 doi: 10.1016/j.apnum.2018.05.016
    [52] Q. Rubbab, M. Nazeer, F. Ahmad, Y. Chu, M. I. Khan, S. Kadry, Numerical simulation of advection–diffusion equation with caputo-fabrizio time fractional derivative in cylindrical domains: Applications of pseudo-spectral collocation method, Alex. Eng. J., 60 (2021), 1731–1738. http://doi.org/10.1016/j.aej.2020.11.022 doi: 10.1016/j.aej.2020.11.022
    [53] S. G. Samko, A. A. Kilbas, O. I. Maritchev, Integrals and derivatives of the fractional order and some of their applications, (Russian), Minsk, Belarus: Nauka i Tekhnika, 1987.
    [54] L. Shi, S. Tayebi, O. A. Arqub, M. S. Osman, P. Agarwal, W. Mahamoud, et al., The novel cubic B-spline method for fractional Painleve and Bagley-Trovik equations in the Caputo, Caputo-Fabrizio, and conformable fractional sense, Alex. Eng. J., 65 (2023), 413–426. http://doi.org/10.1016/j.aej.2022.09.039 doi: 10.1016/j.aej.2022.09.039
    [55] W. R. Schneider, W. Wyess, Fractional diffusion and wave equations, J. Math. Phys., 30 (1989), 134–144. http://doi.org/10.1063/1.528578 doi: 10.1063/1.528578
    [56] V. E. Tarasov, Fractional dynamics: applications of fractional calculus to dynamics of particles, fields and media, Berlin, Heidelberg: Springer, 2010. http://doi.org/10.1007/978-3-642-14003-7
    [57] X. Yang, H. M. Srivastava, J. A. M. Tenreiro, A new fractional derivative without singular kernel: application to the modelling of the steady heat flow, Thermal Sci., 20 (2016), 753–756. http://doi.org/10.2298/TSCI151224222Y doi: 10.2298/TSCI151224222Y
    [58] M. Yavuz, N. Özdemir, European vanilla option pricing model of fractional order without singular kernel, Fractal Fract., 2 (2018), 3. http://doi.org/10.3390/fractalfract2010003 doi: 10.3390/fractalfract2010003
    [59] M. Yavuz, N. Özdemir, Comparing the new fractional derivative operators involving exponential and Mittag Leffler kernel, Discrete Contin. Dyn. Syst. S, 13 (2020), 995–1006. http://doi.org/10.3934/dcdss.2020058 doi: 10.3934/dcdss.2020058
    [60] T. A. Yıldız, S. Arshad, D. Baleanu, New observations on optimal cancer treatments for a fractional tumor growth model with and without singular kernel, Chaos Soliton. Fract., 117 (2018), 226–239. http://doi.org/10.1016/j.chaos.2018.10.029 doi: 10.1016/j.chaos.2018.10.029
    [61] M. Yavuz, E. Bonyah, New approaches to the fractional dynamics of schistosomiasis disease model, Physica A, 525 (2019), 373–393. http://doi.org/10.1016/j.physa.2019.03.069 doi: 10.1016/j.physa.2019.03.069
    [62] M. Yavuz, N. Ozdemir, Analysis of an epidemic spreading model with exponential decay law, Mathematical Sciences & Applications E-Notes, 8 (2020), 142–154. http://doi.org/10.36753/mathenot.691638 doi: 10.36753/mathenot.691638
    [63] H. Yépez-Martínez, J. F. Gómez-Aguilar, A new modified definition of Caputo-Fabrizio fractional-order derivative and their applications to the Multi Step Homotopy Analysis Method (MHAM), J. Comput. Appl. Math., 346 (2019), 247–260. http://doi.org/10.1016/j.cam.2018.07.023 doi: 10.1016/j.cam.2018.07.023
    [64] F. Youbi, S. Momani, S. Hasan, M. Al-Smadi, Effective numerical technique for nonlinear Caputo-Fabrizio systems of fractional Volterra integro-differential equations in Hilbert space, Alex. Eng. J., 61 (2022), 1778–1786. http://doi.org/10.1016/j.aej.2021.06.086 doi: 10.1016/j.aej.2021.06.086
    [65] T. Zhang, Y. Li, Exponential Euler scheme of multi-delay Caputo–Fabrizio fractional-order differential equations, Appl. Math. Lett., 124 (2022), 107709. http://doi.org/10.1016/j.aml.2021.107709 doi: 10.1016/j.aml.2021.107709
    [66] D. Zhao, M. Luo, Representations of acting processes and memory effects: general fractional derivative and its application to theory of heat conduction with finite wave speeds, Appl. Math. Comput., 346 (2019), 531–544. http://doi.org/10.1016/j.amc.2018.10.037 doi: 10.1016/j.amc.2018.10.037
    [67] A. Zappone, E. Jorswieck, Energy efficiency in wireless networks via fractional programming theory found, Trends Commun. Inf. Theory, 11 (2014), 185–396. http://doi.org/10.1561/0100000088 doi: 10.1561/0100000088
  • 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(2731) PDF downloads(335) Cited by(10)

Figures and Tables

Figures(9)  /  Tables(5)

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog