Abstract
The averaging theory for studying periodic orbits of smooth differential systems has a long history. Whereas the averaging theory for piecewise smooth differential systems appeared only in recent years, where the unperturbed systems are smooth. When the unperturbed systems are only piecewise smooth, there is not an existing averaging theory to study existence of periodic orbits of their perturbed systems. Here we establish such a theory for one dimensional perturbed piecewise smooth periodic differential equations. Then we show how to transform planar perturbed piecewise smooth differential systems to one dimensional piecewise smooth periodic differential equations when the unperturbed planar piecewise smooth differential systems have a family of periodic orbits. Finally as application of our theory we study limit cycle bifurcation of planar piecewise differential systems which are perturbation of a \(\Sigma \)-center.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Statement of the Main Results
Piecewise smooth differential systems have appeared in for example control theory, electronic circuits with switches and mechanical engineering with impact and dry frictions, see e.g. [3, 8, 10, 14, 15, 23] and the references therein. Their dynamics becomes an important subject to be studied. It has been attracting lots of mathematicians, physicists and engineers focusing on the study of their dynamics. In the past three decades the theory of piecewise smooth differential systems has been greatly developed, and there appeared many nice results, see e.g. [5, 7, 13, 16, 21–25] and the references therein.
At the moment there are many tools and theories to investigate dynamics of piecewise smooth differential systems. Of which the averaging theory is a newly developed one. Whereas this theory is classical and powerful in the study of dynamics of nonlinear smooth dynamical systems. The first formalization of the averaging theory for smooth differential systems was provided by Fatou [9] in 1928. Its practical applications were made by Krylov and Bogoliubov [2] in 1930, and by Bogoliubov [1] in 1945, to study stationary oscillation of nonlinear mechanical systems and so on. Recent years, the averaging theory for smooth differential systems has been greatly developed, and there have appeared plenty of excellent results. Buica and Llibre [4] developed the averaging theory to study periodic orbits of Lipschitz continuous differential systems via the theory of Brouwer degree. Buică et al. [6] improved their theory to the case that the unperturbed system has a lower dimensional submanifold filled with periodic orbits. Giné et al. [11] presented an averaging theory of arbitrary order for one dimensional perturbed analytic differential equation. Llibre et al. [19] generalized the results in [11] to any finite dimensional smooth differential systems with the unperturbed differential systems having periodic orbits filled with a region. In the case that the unperturbed differential systems have periodic orbits filling only a lower dimensional submanifold, the averaging theory of arbitrary order was established only recently in [12].
Whereas the averaging theory of piecewise smooth differential system has a starting point only in recent years. Llibre et al. [20] developed a variation of the classical averaging method for detecting limit cycle of certain piecewise continuous dynamical systems. Llibre et al. [17] further consider the averaging theory of first and second order for studying periodic solutions of any finite dimensional piecewise smooth differential systems. We note that the averaging theories in [17] can deal with only the piecewise smooth differential systems whose unperturbed systems are smooth. Llibre and Novaes [18] recently obtained an averaging theory of first order for studying periodic orbits of the piecewise smooth differential systems, whose unperturbed systems have periodic orbits filled with a lower dimensional submanifold. This result is a generalization of that in [6] for smooth differential systems to discontinuous piecewise smooth differential systems. The author provided also an application of their theory to piecewise linear differential systems with the unperturbed system is smooth. As we knew, all examples in [17, 18, 20] showing applications of the averaging theories for piecewise smooth differential systems have smooth unperturbed differential systems.
In this paper we first establish an averaging theory of arbitrary order for studying periodic orbits of one dimensional piecewise smooth periodic differential equations. We will see the averaging functions will be more complicated than the smooth cases. The reason is that the variational equations of the unperturbed systems along their periodic orbits are piecewise smooth, and their solutions have complicated expressions than the smooth cases. Second we use our developed averaging theory to study planar piecewise smooth autonomous differential systems whose unperturbed systems have a family of periodic orbits, which are separated by a straight line. For doing so, we use a generalized polar coordinate change of variables to transform the planar piecewise smooth differential systems to one dimensional piecewise smooth periodic differential equations, and then we compute the exact expressions of the averaging functions. Finally we apply our averaging theory to study limit cycle bifurcation of planar piecewise polynomial differential systems with a nondegenerate \(\Sigma \)-center, which is a normal form of a family of piecewise differential systems with \(\Sigma \)-center (posed by Buzzi et al. [5]). We prove that for any \(n\in \mathbb N\) there exists a piecewise polynomial perturbation of degree n which can have n limit cycles using the first order averaging method; and that piecewise linear perturbations of the nondegenerate \(\Sigma \)-center can produce 2 limit cycles using the second order averaging method.
Consider a piecewise analytic and periodic differential equation
with \(\mathbb S^1=\mathbb R /(T\mathbb Z)\), \(D\subset \mathbb R\) an open interval, and
where \(T_1\in [0, T)\), \(F^i_k:\mathbb {S}^1\times D\longrightarrow \mathbb {R}\), \(i=1,2\), are analytic functions, and are periodic of period T in t, and \(\varepsilon \in (-\varepsilon _0,\varepsilon _0)\) with \(\varepsilon _0\) a small positive real number. Of course, if \(T_1=0\) then Eq. (1) is smooth. Here ‘piecewise analytic’ means that \(F(t,x,\varepsilon )\) are analytic in both of the regions \([0,T_1]\times D\times (-\varepsilon _0,\varepsilon _0)\) and \([T_1,T]\times D\times (-\varepsilon _0,\varepsilon _0)\).
Denote by \(x(t;z,\varepsilon )\) the solution of system (1) with the initial condition \(x(0)=z\). In what follows we also use the notation \(x(t;T_1,z,\varepsilon )\) to denote the solution of system (1) satisfying the initial condition \(x(T_1)=z\).
Assume that the unperturbed equation of Eq. (1), i.e.
has a family of periodic orbits of period T, which are filled with a region of \(\mathbb {S}^1\times D\). Let \(x_0(t;z)\) be a solution of the unperturbed system (2) satisfying \(x_0(0)=z\). Note that the solution \(x_0(t;z)\) of Eq. (2) can be seen as a composition of the solution \(x_0^1(t;z)\) of the initial value problem
when \(t\in [0,T_1]\), and of the solution \(x_0^2(t;T_1,w)\) of the initial value problem
when \(t\in [T_1,T]\). That is,
So \(x_0(t;z)\) is analytic in z because of the analyticity of the composition of two analytic functions. Since \(x_0(t;z)\) are a family of periodic orbits for \(z\in D\), it follows that the solution \(x_0(t;z)\) is monotonic in the initial value z. So one has
In what follows, for simplicity we use \(x_0^2(t,z)\) to represent \(x_0^2(t;T_1,x_0^1(T_1,z))\).
Due to the piecewise analyticity of system (1), by similar arguments than \(x_0(t;z)\) we get that the solution \(x(t;z,\varepsilon )\) of system (1) satisfying \(x(0)=z\) is analytic in z and \(\varepsilon \). Hence it can be written as
The following result provides exact expressions of the functions \(x_n(t,z)\) in (4).
Theorem 1
Assume that \(x_0(t;z)\) is the solution of Eq. (2) satisfying the initial condition \(x_0(0)=z\). Then the solution (4) of Eq. (1) with the initial condition \(x(0)=z\) has the expressions
where
is analytic in both of the regions \([0,T_1]\times D\) and \([T_1,T]\times D\), and \(m_i\ge 1\) is an integer for \(i=1,2,\cdots ,j\).
The proof of Theorem 1 will be given in Sect. 2. As we will see, the treatments for smooth differential systems will not work here well, because now the variational equations of unperturbed systems along the given periodic solutions are piecewise smooth. We will carefully compute the solutions of the piecewise linear variational equations, and use them to express the averaging functions of arbitrary order, for more details, see the proof of Theorem 1, and especially of Lemma 6.
We remark that Theorem 1 also holds for system (1) to be piecewise \(C^\infty \) instead of piecewise analytic when we study any finite order averaging function. The proof follows from the same arguments as those of Theorem 1 by taking a sufficiently high cutoff of (4).
We define the averaging functions \(h_1, h_k: D\rightarrow \mathbb R\), \(k=2,3,\ldots \), as
Recall that \(\frac{\partial x_0(s;z)}{\partial z}\ne 0\). So \(h_k(z)\)’s are well defined for all \(k\in \mathbb N\). For the later application we present the precise expression of \(h_2\).
Now we can state the arbitrary order averaging theory for piecewise smooth periodic differential equations (1).
Theorem 2
Assume that the solution \(x_0(t;z)\) of Eq. (2) satisfying the initial condition \(x_0(0)=z\), is of T–periodic for all \(z\in D\). The following statements hold.
- (a):
-
If \(h_1(z)\) is not identically zero, then for each simple root \(z^*\) of \(h_1(z)=0\) and \(|\varepsilon |\ne 0\) sufficiently small, there exists a T–periodic solution \(x(t;\phi (\varepsilon ),\varepsilon )\) of Eq. (1) such that \(x(0;\phi (\varepsilon ),\varepsilon )\rightarrow z^*\) as \(\varepsilon \rightarrow 0\), where \(\phi \) is an analytic function which satisfies \(\phi (0)=z^*\).
- (b):
-
Assume \(h_1(z),\cdots ,h_{n-1}(z)\) are identically zero in D. If \(h_n(z)\) is not identically zero, then for each simple root \(z^*\) of \(h_n(z)=0\) and \(|\varepsilon |\ne 0\) sufficiently small, there exists a T–periodic solution \(x(t;\phi (\varepsilon ),\varepsilon )\) of Eq. (1) such that \(x(0;\phi (\varepsilon ),\varepsilon )\rightarrow z^*\) as \(\varepsilon \rightarrow 0\), where \(\phi \) is an analytic function which satisfies \(\phi (0)=z^*\).
The proof of Theorem 2 will be given in Sect. 2.
Next we will apply Theorems 1 and 2 to study limit cycle bifurcation of planar piecewise smooth differential systems. Consider the planar piecewise smooth differential system
with \(\Omega \) a connected open subset and \(\Omega \cap \{y=0\}\ne \emptyset \), where
We assume that the unperturbed systems of (8), i.e.
has periodic orbits filled with an open region around the origin. Here we assume that the origin is in the region \(\Omega \). We take a generalized polar coordinate change of coordinates
in the upper and lower half planes respectively, to transform system (8) to a one dimensional piecewise smooth periodic differential equation of form (1), i.e.
where \(\widetilde{F}(\theta ,r,\varepsilon )\) is \(2\pi \) periodic in \(\theta \), and \(F^+_k(\theta ,r)\) and \(F^-_k(\theta ,r)\) are analytic in respectively the regions \([0,\pi ]\times J\) and \([\pi ,2\pi ]\times J\) with \(J=(0, \sigma )\) an open interval. The concrete expressions of \(F^\pm _k(\theta ,r)\) will be given in (29) for \(k=0,1,2\). We remark that the concrete expression of the transformation (9) depends on specific differential systems.
Denote by \(r^+_0(\theta ,z)\) the solution of Eq. (10) with the initial condition \(r^+_0(0,z)=z\) in the upper half plane, and by \(r^-_0(\theta ,z)\) the solution of differential equation (10) with the initial condition \(r^-_0(\pi ,z)=r^+_0(\pi ,z)\) in the lower half plane. In order to simplify notations, we set
Applying Theorem 1 to Eq. (10), we can get the averaging functions associated to system (8). But since their expressions are very complicated, we only present the first order averaging function here.
Theorem 3
For the planar piecewise analytic system (8), if its unperturbed system has a family of periodic orbits filled with a period annulus, which can be parameterized by the generalized polar coordinates (9), then the first order averaging function has the expression
where \((\xi _i^+)'(r_0^+)=\dfrac{d\xi _i^+}{dr}\circ r_0^+(\theta ,z)\), \((\xi _i^-)'(r_0^-)=\dfrac{d\xi _i^-}{dr}\circ r_0^-(\theta ,z)\), \(i=1,2\), and the \(\circ \) denotes the composition of two functions.
The proof of Theorem 3 will be given in Sect. 3. In appendix we present the formula and its derivation of the associated second order averaging function of system (8).
Finally we will apply Theorems 2 and 3 to study limit cycle bifurcations under the perturbation of the piecewise linear vector field
which is the topological normal form of a kind of piecewise smooth differential systems around a nondegenerate \(\Sigma \)-center, see [5] for details about the results and definition of \(\Sigma \)-center. The authors in [5] provided an example showing that for any \(m\in \mathbb N\) there exists a \(C^\infty \) perturbation of \({\mathcal {Z}}_0\), which has m limit cycles. Next we will prove that for any \(m\in \mathbb N\) there exists a piecewise polynomial perturbation of degree m which can have m limit cycles.
Consider the perturbed piecewise polynomial differential system
where
The next result provides the expression of the first order averaging function associated to system (11).
Theorem 4
For the piecewise smooth system (11), the following statements hold.
- (a):
-
The first order averaging function \(M_1(r)\) associated to system (11) has the form
$$\begin{aligned} M_1(r)=\sum _{l=0}^n B_lr^{2l}. \end{aligned}$$ - (b):
-
System (11) has at most n limit cycles which bifurcate from the \(\Sigma \)-center via the first order averaging method.
- (c):
-
There exists a system of form (11) with \(F_{i2}^{\pm }\equiv 0\), \(i=1,2\), which has k limit cycles for \(k=0,1,\cdots ,n\).
We now turn to piecewise linear differential systems. We will use the second order averaging methods to prove that there exist piecewise linear differential systems of form (11) which can have 2 limit cycles. For system (11) with \(n=1\), we denote by \({\mathcal {A}}\) the set of parameters of system (11) which satisfy
This is in fact the condition for the first order averaging function vanishing identically.
Our next result is the following.
Theorem 5
For \(|\varepsilon |\ne 0\) sufficiently small, system (11) when \(n=1\) has at most 2 limit cycles for the parameters inside \({\mathcal {A}}\) by using the second order averaging method, and the maximum number can be achieved.
We remark that when applying the third order averaging method to system (11) with third order linear perturbation we can only get at most 2 limit cycles bifurcated from the \(\Sigma \)-center. At the end of the proof of Theorem 5, i.e. the end of Sect. 4, we will give detail explanation.
This paper is arranged as follows. In Sect. 2 we will prove Theorems 1 and 2. The proof of Theorem 3 will be presented in Sect. 3. The proofs of Theorems 4 and 5 will be given in Sect. 4.
2 Proof of Theorems 1 and 2
2.1 Proof of Theorem 1
Recall that \(x(t;z,\varepsilon )\) is the solution of equation (1) satisfying the initial condition \(x(0)=z\). Set
Then \(x^2(T_1,z,\varepsilon )=x^1(T_1,z,\varepsilon )\), and each function \(x^i(t,z,\varepsilon )\) satisfies the piecewise smooth differential equation (1) for \(i=1,2\). That is,
Note that \(x^1(0,z,\varepsilon )=z\), we will also write \(x^1(t, z,\varepsilon )\) in \(x^1(t;z,\varepsilon )\) for reminding readers the initial condition taking at \(t=0\).
Since \(F_k^i(t,x)\) in equation (1) are analytic for \(i=1,2\), the solution \(x^i(t,z,\varepsilon )\) of system (12) can be written as
Then the functions \(x_j(t,z)\) in (4) can be expressed in
with \(x_j^1(T_1,z)=x_j^2(T_1,z)\) for all nonnegative integers j. As explained in the introduction for equation (2), the functions \(x_j(t,z)\)’s are analytic in z. Substituting the solution (13) into the differential equation (12), and expanding \(F_k^i(t,x^i(t,z,\varepsilon ))\) in Taylor series give
where \(i=1,2\), and
with \(m_n\in \mathbb N\) for \(n=1,2,\cdots ,j\). Then the right hand side of (12) can be written as
It is clear that
Using (15) and (16), and equating the coefficients of \(\varepsilon \) in (12) yield
which are nonhomogeneous linear differential equations.
Let u (t, z) be the solution of the variational equation
of the unperturbed equation of (1) along the solution \(x_0(t;z)\). Set
Then \(u^i(t,z)\) satisfies the variational equation
The next result characterizes properties of the solution \(u^i(t,z)\) of the variational equation.
Lemma 6
Assume that the unperturbed equation of (1) has a solution \(x_0(t;z)\) which satisfies \(x_0(0)=z\) for each \(z\in D\) and is T–periodic. Let u(t, z) be the solution of the variational problem (18). Using the notations in (19), we have
and they satisfy \(u^1(T_1,z)u^2(T,z)=1\) and \(u^1(0,z)=u^2(T_1,z)=1\).
Proof
Since \(x_0(t;z)\) is a solution of the unperturbed differential equation of equation (1), one has
It follows that
For \(i=1, x_0^1(t,z)\) satisfies the initial condition \(x_0^1(0,z)=z\). So it will also be denoted by \(x_0^1(t;z)\). Since \(F_0^i\in C^\omega (\mathbb S^1\times D)\), it follows that \(x_0^1(t;z)\) is analytic in \([0,T_1]\times D\). Moreover the variational equation (20) with \(i=1\) satisfying \(u^1(0,z)=1\) has the solution
For \(i=2\), note that the solution \(x_0^2(t,z)\) satisfies the condition \(x_0^2(T_1,z)=x_0^1(T_1;z)\). Set
One has
Then
So its associated variational initial value problem
has the solution
In addition, since
and \(x_0^2(t,z)=x_0^2(t; T_1,x_0^1(T_1,z))\), it follows that
Consequently we have
where we have used the fact that \(x_0^2(T_1,z)=x_0^1(T_1;z)\). Furthermore, since \(u^1(t,z)=\frac{\partial }{\partial z}x^1_0(t;z)\), one gets from (22) that
where in the last equality we have used the fact that \(x^2_0(T,z)=z\). This completes the proof of the lemma.
In order to study the solutions \(x_1^i(t,z)\) of Eq. (17) for \(i=1,2\), we set
Since \(x_1^1(0,z)=0\) and \(u^1(0,z)=u^2(T_1,z)=1\) by Lemma 6, we have
Substituting (23) into (17), we get respectively
For \(t\in [0,T_1]\), substituting (24) into the expression (23) we get from Lemma 6 that
For \(t\in [T_1,T]\), substituting (25) into the expression (23), together with Lemma 6 and the last expression, one has
where in the third and fourth equalities we have used Lemma 6.
For \(k\ge 2\), equating the coefficients of \(\varepsilon ^k\) in (12) together with the expansions (16) and (15) gives
where
Clearly,
with \(R_k^1(t,z)\) and \(R_k^2(t,z)\) analytic in respectively \([0,T_1]\times D\) and \([T_1,T]\times D\). Note that equations (26) are linear differential equations. Working in a similar way to solve equation (17), one gets the solution of the linear differential equation (26):
We complete the proof of the theorem. \(\square \)
2.2 Proof of Theorem 2
By assumption that the unperturbed equation of (1) has a family of periodic solutons \(x_0(t;z)\) of period T, \(z\in D\), we can define the Poincaré map of the perturbed periodic differential equation (1) for \(|\varepsilon |\) sufficiently small:
where \(x(t;z,\varepsilon )\) is the solution of equation (1) satisfying the initial condition \(x(0)=z\). In expansion of \(P_\varepsilon (z)\) we have used the fact that \(x(T;z,0)=x_0(T;z)=z\).
(a) Define
Clearly it is analytic in its variables. Note from Theorem 1 that the averaging function \(h_1(z)\) is \(x_1(T,z)\). One has
Clearly, \(x(t;z,\varepsilon )\) is a T–periodic solution for \(z\in D\) if and only if \(f(z,\varepsilon )=0\). According to the conditions in Theorem 2(a), the function \(f(z,\varepsilon )\) satisfies
By the Implicit Function Theorem, there exists a unique analytic function \(z=\phi (\varepsilon )\) defined in a neighborhood of \(\varepsilon =0\) such that \(f(\phi (\varepsilon ),\varepsilon )=0\) with \(\phi (0)=z^*\). That is
Therefore \(x(t;\phi (\varepsilon ),\varepsilon )\) is a periodic solution of period T of the perturbed differential equation (1) such that \(x(t,\phi (\varepsilon ),\varepsilon )\rightarrow z^*\) when \(\varepsilon \rightarrow 0\).
(b) Since \(h_1(z)=\ldots =h_{n-1}(z)\equiv 0\), and \(h_n(z)\not \equiv 0\), \(n\ge 2\), we define
Clearly it is analytic. We have
Note from Theorem 1 that the averaging function \(h_n(z)\) is \(x_n(T,z)\). Then the proof follows from the same arguments as those in the proof of (a).
We complete the proof of the theorem. \(\square \)
3 Proof of Theorem 3
For the planar piecewise smooth differential system (8), we transform it, by a generalized polar coordinate change of variables \((x,y)=\xi ^+(r)\eta ^+(\theta )\) in the upper half plane and \((x,y)=\xi ^-(r)\eta ^-(\theta )\) in the lower half plane respectively, to a one dimensional piecewise smooth differential equation of form (1). And the averaging functions can be presented by (5) and (6). Some calculations show that system (8) can be written in the upper and lower half planes respectively as
where \('\) denotes the derivative of the functions with respect to their variables, \(\xi _i^\pm :=\xi _i^\pm (r), \eta _i^\pm :=\eta _i^\pm (\theta )\), \(i=1,2\), and for \(k\in \mathbb Z_+=\mathbb N\cup \{0\}\)
Set
We have
where
From the expression (5), we have
Substituting \(F_i^\pm (\theta ,r)\) for \(i=0,1,2\) in (29) into this last expression, we get the concrete expression of \(H_1(z)\) as shown in Theorem 3.
We complete the proof of the theorem. \(\square \)
4 Proof of Theorems 4 and 5
For the planar piecewise smooth differential system (11), we can parameterize it in the generalized polar coordinates \((x,y)=(r\cos \theta ,r^2\sin \theta )\). As we will see, this change of coordinates are more useful than the standard one. After this change system (11) can be written in
where
We can check that \(\cos ^2\theta +\sin \theta >0\), \(\theta \in [0,\pi ]\), and \(\cos ^2\theta -\sin \theta >0\), \(\theta \in [\pi ,2\pi ]\). Then we can expand the right hand side of equation (31) in Taylor series.
For \(\theta \in [0,\pi ]\), by Taylor expansion in a neighborhood of \(\varepsilon =0\) one has
where
with \(F_{ij}^+:=F_{ij}^+(r\cos \theta ,r^2\sin \theta )\). Some calculations show that the unperturbed equation \((32)|_{\varepsilon =0}\) with the initial point \((\theta ,r)=(0,z)\), \(z\ge 0\), has the solution
For \(\theta \in [\pi ,2\pi ]\), similar to the manipulations in the case \(\theta \in [0,\pi ]\) one gets
where
with \(F_{ij}^-:=F_{ij}^-(r\cos \theta ,r^2\sin \theta )\). Recall that \(\cos ^2\theta -\sin \theta >0\), \(\theta \in [\pi ,2\pi ]\). It follows that all functions \(F_{ij}^-\)’s are analytic. Clearly, the unperturbed equation \((35)|_{\varepsilon =0}\) with the initial point \((0,r^+_0(\pi ,z))=(0,z)\) has the solution
4.1 Proof of Theorem 4
For computing the first order averaging function, which is associated to system (8), we can set \(F_{i2}^{\pm } \equiv 0\), \(i=1,2\).
According to the expression (30), set
Then
where
For \(k\in \{1,\ldots ,2n\}\), collecting the coefficients of \(z^k\) in the two summations \(\sum \)’s of the expression (38), one gets
where
In order to study the properties of the functions \(I_{ij}^+\), we need the formulas
where we omit the integrating constant. By this we get
where \(C_j^l=\left( \begin{array}{c} j\\ l\end{array}\right) =\frac{j!}{l!(j-l)!}\). So it follows from (42) that
and from (43) that
Using those expressions of \(I_{ij}^+\)’s we get easily that
From the expressions of \(H_{11}\) in (40) and of \(\widetilde{J}_k\) in (41), one can rewrite \(H_{11}\) as
where
Some similar calculations to those of \(H_{11}\) show that
where
with
Substituting (44)–(49) into (30), one gets the first order averaging function
where
From the expression of \(B_k\) in (51), we know that the coefficients of \(H_1\) can be chosen arbitrarily provided that the coefficients of \(F_{11}^\pm \) and \(F_{21}^\pm \) in system (11) are arbitrarily chosen. This shows that \(H_1(z)\) has at most n simple roots, and that by suitable choices of the coefficients of \(F_{11}^\pm \) and \(F_{21}^\pm \), \(H_1(z)\) do have exactly k simple roots for \(k=0,1,\cdots ,n\). Then it follows from Theorem 2 that by suitably choosing the values of \(a_{ij}^\pm \) in \(F_{11}^\pm \) and of \(b_{ij}^\pm \) in \(F_{21}^\pm \), system (11) can have k, \(k=0,1,\cdots ,n\), hyperbolic limit cycles via the first order averaging method.
We complete the proof of Theorem 4. \(\square \)
4.2 Proof of Theorems 5
Now the perturbed differential system (11) is piecewise linear, i.e. \(n=1\). From the proof of Theorem 4 it follows that the first order averaging function which is associated to system (11) with \(n=1\) is
According to Theorem 1, substituting (33)–(34) and (36)–(37) into (6) and (7) together with some calculations we get that the second order averaging function associated to system (11) is
where
Proof of Theorem 5. Under the conditions \({\mathcal {A}}\), that is \(H_{1}(z)\equiv 0\) in (52), the expression of \(H_{2}(z)\) in (53) can be simplified to
Clearly, \(H_{2}(z)\) can have 2 simple roots when we choose suitable values of the parameters. Consequently the piecewise linear differential system (11) can have 2 hyperbolic limit cycles, which are obtained by the second order averaging method. Clearly through the second order averaging method we can get at most two limit cycles. This proves the theorem. \(\square \)
Remark 1
Of course, by suitable choice of the parameters \(H_{2}(z)\) can have exactly k simple roots for \(k=0,1,2\). Then system (11) can have k hyperbolic limit cycles, which are obtained by the second order averaging method.
Remark 2
Under the conditions \(H_1(z)\equiv 0\) in (52) and \(H_2(z)\equiv 0\) in (53), applying the third order averaging function in Theorem 1, together with some calculations, we get the expression of \(H_3(z)\) as
Clearly \(H_3(z)\) has at most 2 simple positive zeros. Consequently system (11) has at most 2 limit cycles using the third order averaging method.
References
Bogoliubov, N.N.: On Some Statistical Methods in Mathematical Physics. Izv. vo Akad. Nauk Ukr. SSR, Kiev (1945)
Bogoliubov, N.N., Krylov, N.: The Application of Methods of Nonlinear Mechanics in the Theory of Stationary Oscillations. Ukrainian Academy of Science, Kiev (1934). Publ. 8
Brogliato, B.: Nonsmooth Impact Mechanics. Lecture Notes in Control and Information Sciences, Vol. 220, Springer, Berlin (1996)
Buica, A., Llibre, J.: Averaging methods for finding periodic orbits via Brouwer degree. Bull. Sci. Math. 128, 7–22 (2004)
Buzzi, C.A., de Carvalho, T., Teixeira, M.A.: Birth of limit cycles bifurcating from a nonsmooth center. J. Math. Pures Appl. 102, 36–47 (2014)
Buică, A., Françoise, J.P., Llibre, J.: Periodic solutions of nonlinear periodic differential systems with a small parameter. Commun. Pure Appl. Anal. 6, 103–111 (2007)
Buzzi, C.A., Medrado, J.C.R., Teixeira, M.A.: Generic bifurcation of refracted systems. Adv. Math. 234, 653–666 (2013)
di Bernardo, M., Budd, C.J., Champneys, A.R., Kowalczyk, P.: Piecewise-Smooth Dynamical Systems, Theory and Applications. Springer, London (2008)
Fatou, P.: Sur le mouvement d\(^{\prime }\)un syst\(\grave{a}\)me soumis \(\grave{a}\) des forces \(\grave{a}\) courte p\(\acute{e}\)riode. Bull. Soc. Math. Fr. 56, 98–139 (1928)
Filippov, A.F.: Differential Equations with Discontinuous Right Hand Sides. Kluwer Academic, Dordrecht (1988)
Giné, J., Grau, M., Llibre, J.: Averaging theory at any order for computing periodic orbits. Phys. D 250, 58–65 (2013)
Giné, J., Llibre, J., Wu, K.S., Zhang, X.: Averaging methods of arbitrary order, periodic solutions and integrability. J. Differ. Equ. 260, 4130–4156 (2016)
Han, M., Zhang, W.: On Hopf bifurcation in non-smooth planar systems. J. Differ. Equ. 248, 2399–2416 (2010)
John, D., Simpson, W.: Bifurcations in Piecewise-Smooth Continuous Systems. World Scientific, Singapore (2010)
Kunze, M.: Piecewise Smooth Dynamical Systems. Springer, Berlin (2000)
Liang, F., Han, M., Zhang, X.: Bifurcation of limit cycles from generalized homoclinic loops in planar piecewise smooth systems. J. Differ. Equ. 255, 4403–4436 (2013)
Llibre, J., Mereu, A.C., Novaes, D.D.: Averaging theory for discontinuous piecewise differential systems. J. Differ. Equ. 258, 4007–4032 (2015)
Llibre, J., Novaes, D.D.: On the continuation of periodic solutions in discontinuous dynamical systems (preprint) (2015)
Llibre, J., Novaes, D.D., Teixeira, M.A.: Higher order averaging theorem for finding periodic solutions via Brouwer degree. Nonlinearity 27, 563–583 (2014)
Llibre, J., Novaes, D.D., Teixeira, M.A.: On the birth of limit cycles for non-smooth dynamical systems. Bull. Sci. Math. 139, 229–244 (2015)
Pi, D., Yu, J., Zhang, X.: On the sliding bifurcation of a class of planar Filippov systems. Int. J. Bifurc. Chaos 23, 1350040 (2013)
Pi, D., Zhang, X.: The sliding bifurcations in planar piecewise smooth differential systems. J. Dyn. Differ. Equ. 25, 1001–1026 (2013)
Pratt, E., Léger, A., Zhang, X.: Study of a transition in the qualitative behavior of a simple oscillator with Coulomb friction. Nonlinear Dyn. 74, 517–531 (2013)
Prohens, R., Teruel, A.E.: Canard trajectories in \(3D\) piecewise linear systems. Discret. Contin. Dyn. Syst. A 33, 4595–4611 (2013)
Teixeira, M.A., da Silva, P.R.: Regularization and singular perturbation techniques for non-smooth systems. Phys. D 241, 1948–1955 (2012)
Acknowledgments
We appreciate the anonymous reviewer for his/her careful reading and the nice comments which are useful in improving our paper. The second author is partially supported by NNSF of China Grant Number 11271252, by RFDP of Higher Education of China grant number 2011007311 0054. Both authors are also supported by innovation program of Shanghai Municipal Education Commission grant 15ZZ012, and by a Marie Curie International Research Staff Exchange Scheme Fellowship within the 7th European Community Framework Programme, FP7PEOPLE-20120IRSES-316338.
Author information
Authors and Affiliations
Corresponding author
Appendix: The Second Order Averaging Function for Planar Piecewise Systems
Appendix: The Second Order Averaging Function for Planar Piecewise Systems
In this appendix we present the formula and its derivation of the associated second order averaging function for the planar piecewise smooth differential system (8).
Continuing the computations given in the proof of Theorem 3, we get
and
Set
From the expression (6), we have
Substituting (29) and (54)–(55) into (56), we can obtain the second order averaging function \(H_2(z)\). As we have seen, the concrete expression of \(H_2(z)\) will be much involved, and it is omitted.
Rights and permissions
About this article
Cite this article
Wei, L., Zhang, X. Averaging Theory of Arbitrary Order for Piecewise Smooth Differential Systems and Its Application. J Dyn Diff Equat 30, 55–79 (2018). https://doi.org/10.1007/s10884-016-9534-6
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10884-016-9534-6