Next Article in Journal
Local Existence and Blow-Up of Solutions for Wave Equation Involving the Fractional Laplacian with Nonlinear Source Term
Next Article in Special Issue
Nonuniform Dichotomy with Growth Rates of Skew-Evolution Cocycles in Banach Spaces
Previous Article in Journal
Unification Theories: Rings, Boolean Algebras and Yang–Baxter Systems
Previous Article in Special Issue
Boundary Value Problems for Fractional Differential Equations of Caputo Type and Ulam Type Stability: Basic Concepts and Study
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Limit Cycles of Polynomially Integrable Piecewise Differential Systems

by
Belén García
1,†,
Jaume Llibre
2,*,†,
Jesús S. Pérez del Río
1,† and
Set Pérez-González
1,†
1
Departamento de Matemáticas, Universidad de Oviedo, Avda Calvo Sotelo s/n, 33007 Oviedo, Spain
2
Departament de Matemàtiques, Universitat Autònoma de Barcelona, Bellaterra, 08193 Barcelona, Spain
*
Author to whom correspondence should be addressed.
These authors contributed equally to this work.
Axioms 2023, 12(4), 342; https://doi.org/10.3390/axioms12040342
Submission received: 22 February 2023 / Revised: 28 March 2023 / Accepted: 29 March 2023 / Published: 31 March 2023

Abstract

:
In this paper, we study how many algebraic limit cycles have the discontinuous piecewise linear differential systems separated by a straight line, with polynomial first integrals on both sides. We assume that at least one of the systems is Hamiltonian. Under this assumption, piecewise differential systems have no more than one limit cycle. This study characterizes linear differential systems with polynomial first integrals.

1. Introduction

We will consider discontinuous piecewise linear differential systems (DPwLS) on the plane R 2 . On the half plane where x is negative they are expressed as:
x ˙ y ˙ = A x y + b ,
and where x is positive as:
x ˙ y ˙ = A + x y + b + ,
where A ± are real 2 × 2 matrices and b ± R 2 . For the definition of a DPwLS on x = 0 , we follow Filippov’s solution [1].
DPwLSs have been studied in depth [2]. An introduction to and a comprehensive list of references can be found in the books [3,4], and the survey [5].
Since planar linear differential systems have no limit cycles (isolated periodic orbits), the limit cycles of DPwLSs separated by a straight line must cross the straight line at two points. In this paper, we do not consider the possible limit cycles which have a segment on the discontinuous straight line, called sliding limit cycles.
The limit cycles of planar differential systems play a main role in understanding the dynamics of such systems, as well as for planar DPwLSs. Thus, the limit cycles of DPwLSs (1) and (2) have been studied intensively in the last twenty years. The current situation of proven bounds is summarized in [6].
One problem still to be solved is: “Is three the maximum number of limit cycles that a discontinuous piecewise linear differential system with a straight line of separation can have?”
Recently, Buzzi, Gasull and Torregrosa analyzed the particular class of algebraic limit cycles in the DPwLS (1) and (2) [7]. They establish that a limit cycle is algebraic if “all its points, except the ones on the sliding set, are contained in the level sets of one or two polynomials”. One of the main results of [7] is to show the existence of DPwLSs (1) and (2) with two algebraic limit cycles.
In order to deal with algebraic limit cycles for DPwLSs, we must work with linear differential systems with polynomial first integrals (PFI) on both sides of x = 0 . Therefore, we need to identify and classify the planar linear differential systems with a PFI. To the best of the authors’ knowledge, such a classification has not been done. In [8], the authors provide a characterization of all quadratic differential systems with a PFI. However, this is not applicable to our area of interest because they do not consider the cases where all the coefficients of the quadratic terms vanish at the same time. Below, we classify all the linear differential systems with PFIs.
Theorem 1.
Let us consider system
x ˙ = a + b x + c y , y ˙ = d + e x + f y ,
with at most one equilibrium point (the associated vector field has no common factors) and where b 2 + c 2 + e 2 + f 2 0 . This system has a PFI H ( x , y ) if and only if one of the following conditions hold.
(i) 
If f = b , then H 1 ( x , y ) = e x 2 c y 2 2 b x y + 2 d x 2 a y .
(ii) 
If f b , c 0 , e c f b and there are two positive integers, p and q, such that p q and c e = ( p b + q f ) ( p f + q b ) / ( q p ) 2 , then
H 2 ( x , y ) = c y + p f + q b q p x + a ( p f + q b ) + d c ( q p ) q ( f + b ) p c y p b + q f q p x + a ( p b + q f ) d c ( q p ) p ( f + b ) q .
(iii) 
If f b 0 , f 2 b 2 and c = 0 and there are two positive integers p and q such that p q and p b + q f = 0 , then
H 3 ( x , y ) = ( a + b x ) p e f x + f ( f b ) y + d ( f b ) + a e q .
The main goal of this paper is to characterize the maximum number of limit cycles of DPwLSs such as (1) and (2) formed by two linear differential systems with PFI when at least one of these differential systems is a Hamiltonian system. Our main result is the following.
Theorem 2.
When both linear differential systems, (1) and (2), have a PFI, they have at most one limit cycle if only one of the two systems is Hamiltonian. If both systems are Hamiltonian, then the DPwLS has no limit cycles.
The rest of this paper is organized as follows. Section 2 shows a proof of Theorem 1 following arguments related with factorization and divisibility of polynomials. Section 3 gives the proof of Theorem 2, applying the first integrals of Theorem 1. Finally, in Section 4, we present a DPwLS such as (1) and (2) when both differential systems have a PFI and exactly one limit cycle.
In [9], they study the limit cycles of the discontinuous piecewise differential systems separated by one straight line and formed by two polynomial Hamiltonian systems, and consequently, such limit cycles are algebraic. While in this paper, only one of the systems is Hamiltonian, otherwise the piecewise differential system cannot have limit cycles.
Some authors are interested in knowing if the limit cycles of a discontinuous piecewise differential system persist when the piecewise differential is regularized (see [10]), or how many limit cycles can have such regularized piecewise differential systems (see [11]). For the discontinuous piecewise differential systems studied here, having one algebraic limit cycle, if they are regularized using the regularization of Sotomayor and Teixeira [12], the limit cycle persists but it is no longer algebraic.

2. Proof of Theorem 1

In order to prove Theorem 1, we must introduce a previous result: the polynomial resolution of polynomial differential equations of the form N H + U H y = 0 , where N and U are polynomial and H is a polynomial solution of degree n.
Proposition 1.
We consider the differential equation
N H + U H y = 0 ,
where N and U are polynomials, non identically zero and coprime. If U = i = 1 r P i r i where P i are the irreducible real factors of U, then (4) has a polynomial solution H of degree n, different from the trivial H = 0 , if and only if there exists n 1 , n 2 , , n r N such that i = 1 r n i deg P i n and
N + j = 1 r n j P j , y U P j = 0 .
Moreover, when the polynomial H exists, then H = W i = 1 r P i n i , where W is a polynomial of degree k = n i = 1 r n i deg P i , which does not depend on the variable y. If H is homogeneous, then U and W are homogeneous and W = γ x k with γ R .
Proof. 
Since N and U are coprime polynomials and H must also be polynomial, it follows that U divides H. So, n 1 , n 2 , , n r N such that H = R W and R = i = 1 r P i n i with n i r i . Furthermore, we can assume that R and W are coprime. Taking into account these considerations in (4):
N H + U H y = N R W + U j = 1 r n j P j n j 1 P j , y i = 1 , i j r P i n i W + R W y = N R W + U j = 1 r n j P j , y R P j W + R W y = N R W + R j = 1 r n j P j , y U P j W + U W y = 0 .
Now dividing this equation by R
N + j = 1 r n j P j , y U P j W + U W y = 0 .
Since U and W are coprime and deg U > deg N + j = 1 r n j P j , y U P j , N + j = 1 r n j P j , y U P j = 0 and W y = 0 . Thus, W = W ( x ) . Finally, if H is homogeneous then P j for all j = 1 , r and W are also homogeneous because all of them are factors of H. Thus, U is homogeneous and W = γ x k where k = n i = 1 r n i deg P i . □
To compute a PFI H of degree n of system (3), we use the decomposition in homogeneous parts of such a PFI.
Proposition 2.
We consider P ( x , y ) = a ˜ + b ˜ x + c ˜ y and Q ( x , y ) = d ˜ + e ˜ x + f ˜ y with P · Q 0 . We suppose that the polynomial differential system
x ˙ = P ( x , y ) , y ˙ = Q ( x , y ) ,
has a PFI H of degree n. This can be expressed as x Q y P = i = 1 2 T i , where T i is the homogeneous part of degree i of the polynomial x Q y P .
If H = i = 0 n H i where H i is the homogeneous part of degree i of H, then the H i s verify the following system of equations
n P 1 H n + T 2 H n , y = 0 , ( n 1 ) P 1 H n 1 + T 2 H n 1 , y = ( n P 0 H n + T 1 H n , y ) , ( n j ) P 1 H n j + T 2 H n j , y = ( ( n j + 1 ) P 0 H n j + 1 + T 1 H n j + 1 , y ) , P 1 H 1 + T 2 H 1 , y = ( 2 P 0 H 2 + T 1 H 2 , y ) , 0 = ( P 0 H 1 + T 1 H 1 , y ) ,
where H j , y is the partial derivative of H j with respect to the variable y and P i is the homogeneous part of the polynomial P of degree i.
Proof. 
We consider the partial derivatives of H, i.e., H x and H y . Thus:
P H x + Q H y = 0 .
The Euler Theorem for homogeneous functions gives that
x H x + y H y = j = 1 n ( x H j , x + y H j , y ) = j = 1 n j H j .
Therefore,
x H x = j = 1 n j H j y H y .
Multiplying Equation (7) by x and substituting x H x with the value given in (9):
P j = 1 n j H j + ( x Q y P ) H y = 0 .
Finally, taking into account that P = P 0 + P 1 and x Q y P = T 1 + T 2 , the homogeneous parts of (10), arranged from the greatest to the lowest degree provide system (6). □
Remark 1.
If system (5) is homogeneous, a ˜ = d ˜ = 0 , any PFI H verifies that each homogeneous part of H also is a PFI of (5). Therefore, in homogeneous differential systems, it is logical to consider only homogeneous PFI.
Corollary 1.
If system (5) is homogeneous, then any homogeneous PFI H of degree n satisfies n P H + ( x Q y P ) H y = 0 , where x Q y P = c ˜ y 2 + ( f ˜ b ˜ ) x y + e ˜ x 2 .
Proof. 
The proof is simple, as H has only one homogeneous part of degree n, which is H itself. Thus, system (6) is reduced to the first equation. Since P 0 = T 1 = 0 , P 1 = P and T 2 = x Q y P , the proof follows. □
Proof of Theorem 1.
Let us distinguish several cases, taking into account the value of c. Case I: c 0 . Applying the change of variables to system (3)
x = x , Y = a c + b c x + y ,
results in system
x ˙ = c Y , Y ˙ = d ˜ + e ˜ x + f ˜ Y ,
where d ˜ = ( d c f a ) / c , e ˜ = ( e c f b ) / c and f ˜ = f + b .
We can assume that
d ˜ 2 + e ˜ 2 0 .
However, if d ˜ = e ˜ = 0 , then d = f a / c and e = f b / c . So, Q = f P / c with f R and system (3) will have common factors, in contradiction with the hypotheses.
  • Subcase (I.1): f ˜ = 0 . Then, f = b , and the variables in system (12) can be separated. Thus, the first integral is
    H ( x , Y ) = d ˜ x + e ˜ 2 x 2 c 2 Y 2 .
By undoing the change of variables (11), the first integral H 1 ( x , y ) is
c d + a b c x + c e + b 2 2 c x 2 c 2 a 2 c 2 c 2 2 a b c 2 x c 2 2 a c y c 2 2 b c x y c 2 b 2 c 2 x 2 c 2 y 2 = a 2 c + a b c + c d + a b c x + b 2 2 c + c e + b 2 2 c x 2 c 2 y 2 a y b x y = c 2 y 2 + e 2 x 2 b x y + d x a y a 2 c .
Multiplying this expression by two and removing the constant term, gives Statement (i) of Theorem 1 when c 0 .
  • Subcase (I.2): f ˜ 0 and e ˜ 0 . Then,
    f b and c e b f .
Considering the new variables
X = d ˜ e ˜ + x , Y = Y ,
in system (12) gives
X ˙ = c Y , Y ˙ = e ˜ X + f ˜ Y ,
where e ˜ = ( c e b f ) / c 0 and f ˜ = f + b 0 .
System (16) is homogeneous and can be applied to Corollary 1. Therefore, we must solve
n c Y H c Y 2 f ˜ X Y / c e ˜ X 2 / c H Y = 0 ,
where T = Y 2 f ˜ X Y / c e ˜ X 2 / c , so the previous equation can be written as
n Y H T H Y = 0 .
As (17) has a polynomial solution, T factorizes as T = ( Y + α X ) ( Y + β X ) . We suppose that T does not factorize. From Proposition 1, in order to have a PFI of (17), the existence of p Z + is necessary such that 2 p n and H = T p X n 2 p and
n Y p 2 Y f ˜ c X = 0 ,
or equivalently
( n 2 p ) Y + p f ˜ c X = 0 .
Thus, n = 2 p and f ˜ = 0 , should be imposed. However, this contradicts our assumptions. Therefore, we must suppose that T factorizes, which means that T = ( Y + α X ) ( Y + β X ) with
α + β = f ˜ c and α β = e ˜ c .
Keeping in mind that we are studying the case f ˜ 0 and e ˜ 0 , α + β 0 and α β 0 , Proposition 1 gives the PFI of (17)
H = ( Y α X ) p ( Y + β X ) q X n p q ,
where p , q Z + , 2 p + q n , and
n Y p ( Y + β X ) q ( Y + α X ) = 0 .
Taking this into account,
n = p + q and α q + β p = 0 .
Moreover, since α + β 0 ,
p q .
Considering (18), (19) and (20) all together, it can be concluded that
α = p c ( q p ) f ˜ , β = q c ( q p ) f ˜ .
From (18) it follows that
c e ˜ = f ˜ 2 p q ( q p ) 2 .
In conclusion, one PFI of system (16) is
H = ( Y + α X ) p ( Y + β X ) q ,
because we have (19), (20), (21), (22) and we can reject multiplicative constants, such as ( 1 ) p .
The first integral of the original system (3) appears by undoing the changes of variables (11) and (15). So
Y + α X = y + b c x + a c + p q p f ˜ c x + p q p f ˜ d ˜ c e ˜ = a c + p q p f ˜ d ˜ e ˜ c + y + b c + p q p f ˜ c x .
However,
a c + p q p d ˜ f ˜ e ˜ c = a c + p q p d ˜ f ˜ f ˜ 2 p q ( q p ) 2 = a c + d ˜ ( q p ) f ˜ q = a c + ( c d a f ) ( q p ) c ( f + b ) q = 1 c ( f + b ) q ( a ( f + b ) q + c d q c d p a f q + a f p ) = 1 c ( f + b ) q ( a ( p f + q b ) + c d ( q p ) ) ,
and
b c + p q p f ˜ c = 1 c b ( q p ) + p ( f + b ) q p = 1 c ( q p ) ( b q + f p ) .
Taking all this into account,
Y + α X = y + f p + b q c ( q p ) x + a ( p f + q b ) + c d ( q p ) c q ( f + b ) .
Analogously,
Y + β X = y b p + f q c ( q p ) x + a ( p b + q f ) c d ( q p ) c p ( f + b ) .
Finally, condition (22) becomes
c ( c e b f ) c = ( f + b ) 2 p q ( q p ) 2 ,
so,
c e = b f ( q p ) 2 + ( f + b ) 2 p q ( q p ) 2 = f q ( b q + f p ) + b p ( f p + b q ) ( q p ) 2 = ( f q + b p ) ( b q + f p ) ( q p ) 2 .
This proves statement (ii) of Theorem 1.
  • Subcase (I.3): f ˜ 0 and e ˜ = 0 . This case agrees with f b and c e = b f . Additionally, from (13):
    d ˜ 0 .
Proposition 2 can be applied to solve system (12) taking P = P 1 = c Y and Q = d ˜ + f ˜ Y . Thus,
x Q y P = d ˜ x + f ˜ x Y c Y 2 = d ˜ x + Y ( f ˜ x c Y ) ,
and consequently,
T 1 = d ˜ x and T 2 = Y ( f ˜ x c Y ) .
The first equation of (6) can be written in this case as
n c Y H n + Y ( f ˜ x c Y ) H n , Y = 0 .
So dividing by Y:
n c H n + ( f ˜ x c Y ) H n , Y = 0 .
From Proposition 1, we know that there is a polynomial solution H n if and only if there is p N such that p n and n c p c = 0 . In addition, in this case,
H n = ( f ˜ x c Y ) p x n p .
However, these conditions imply that ( n p ) c = 0 , or equivalently, n = p and therefore,
H n = ( f ˜ x c Y ) n .
Using this relation in the second equation of system (6)
( n 1 ) c Y H n 1 + Y ( f ˜ x c Y ) H n 1 , Y = d ˜ x n ( c ) ( f ˜ x c Y ) n 1 .
It follows easily that Y should divide the right side of this equality, which leads to a contradiction because from (23), f ˜ 0 and c 0 . Therefore, in this case, no PFI exists.
  • Case (II): c = 0 . Changing variables X = y and Y = x to system (3) gives
    X ˙ = a ¯ + b ¯ X + c ¯ Y , Y ˙ = d ¯ + e ¯ X + f ¯ Y ,
    where a ¯ = d , d ¯ = a , b ¯ = f , f ¯ = b , c ¯ = e and e ¯ = c = 0 . Two subcases can be identified.
  • Subcase (II.1): c ¯ 0 , which agrees with case (I) previously discussed. Therefore, the PFI exists.
  • Subcase (II.1.1): f ¯ = b ¯ , for which it is known that one PFI is
    H ( X , Y ) = c ¯ Y 2 2 b ¯ X Y + 2 d ¯ X 2 a ¯ Y .
By undoing the change of variables applied in order to obtain system (24), the condition characterizing this case translates to b = f , and the first integral can be written as
H ( x , y ) = e x 2 + 2 b x y + 2 a y 2 d x .
Therefore, statement (i) of Theorem 1 is verified when c = 0 . Thus, together with subcase (I.1) this concludes the proof of subcase (II.1.1).
  • Subcase (II.1.2): f ¯ b ¯ and f ¯ b ¯ 0 . This subcase coincides with conditions (14) in Subcase (I.2). Therefore, in order to have a PFI H ¯ , there must be a p , q N such that p q ,
    e ¯ c ¯ = ( p b ¯ + q f ¯ ) ( p f ¯ + q b ¯ ) ( q p ) 2
    and H ¯ ( X , Y ) = F ¯ p G ¯ q where
    F ¯ ( X , Y ) = c ¯ Y + p f ¯ + q b ¯ q p X + a ¯ ( p f ¯ + q b ¯ ) + d ¯ c ¯ ( q p ) q ( f ¯ + b ¯ ) , and G ¯ ( X , Y ) = c ¯ Y p b ¯ + q f ¯ q p X + a ¯ ( p b ¯ + q f ¯ ) d ¯ c ¯ ( q p ) p ( f ¯ + b ¯ ) .
The change of variables is now undone. From (24), the conditions are translated to b f and b f 0 . Furthermore, p and q satisfy that
( p f + q b ) ( p b + q f ) = 0
and the PFI is H ( x , y ) = F p G q where
F ( x , y ) = e x + p b + q f q p y + d ( p b + q f ) + a e ( q p ) q ( f + b ) , and G ( x , y ) = e x p f + q b q p y + d ( p f + q b ) a e ( q p ) q ( f + b ) .
We assume now that (25) is satisfied because p b + q f = 0 . Hence, f b , because n = p + q Z + is the degree of H. It can be concluded that
p = n f b f and q = n b b f ,
and therefore,
q p = n ( b + f ) b f and p f + q b = n ( b + f ) .
Taking into account these relations,
F ( x , y ) = e x + a e ( q p ) q ( f + b ) = e x + a e n ( b + f ) b f 1 n b b f ( f + b ) = e x + a e b = e ( b x + a ) , and G ( x , y ) = e x n ( f + b ) n ( f + b ) b f y + d n ( f + b ) a e n ( b + f ) b f n f b f ( f + b ) = e x ( b f ) y d f b f a e f = e x ( b f ) y d ( b f ) + a e f .
In conclusion, under our assumptions
H ( x , y ) = ( a + b x ) p ( e f x + f ( f b ) y + d ( f b ) + a e ) q .
Following similar computations, if (25) is satisfied from the assumption that p f + q b = 0 , the same expression for H ( x , y ) is obtained. This concludes the proof of statement (iii) of Theorem 1.
  • Subcase (II.2): e ¯ = 0 and c ¯ = 0 . This is the last subcase to consider to finish the proof. If we undo the change of variables taking into account (24), system (3) can be written as
    x ˙ = a + b x , y ˙ = d + f y ,
    and the general hypothesis is reduced to b 2 + f 2 0 .
This shows that, in fact, we are only interested in the case b f 0 . We assume, contrary to our claim, that b = 0 . Hence, a f 0 in order to avoid common factors in the differential system, as the variables can be separated in the system,
1 a d x 1 d + f y a y = 0 .
Integrating this equality:
x a 1 f ln ( d + f y ) = k ,
where k is a constant. Straightforward computations provide the relation
d + f y = k · e x p f a x .
Therefore, a PFI does not exist.
Analogously, it can be shown that the PFI cannot be found for the case f = 0 . Therefore, in order for a PFI to exist, there must be b f 0 . However, if b = f it corresponds to statement (i) of Theorem 1, whereas if b f it corresponds to statement (iii) of Theorem 1 for c = e = 0 . □

3. Proof of Theorem 2

Theorem 2 focuses on giving bounds to the number of limit cycles of DPwLS (1) and (2). Therefore, although it is not necessary, in order to reduce the computations solving these bounds, we shall apply Theorem 1 to the canonical forms introduced in [13].
Hence, from now on, we consider the DPwLSs with real coefficients
x ˙ = 2 x y y ˙ = ( 2 α 2 ) x + g ,
defined when x 0 , and
x ˙ = 2 r x y + j y ˙ = ( r 2 β 2 ) x + k ,
defined when x 0 , with α , β { i , 0 , 1 } and i 2 = 1 .
From [13], it follows that there is a topological equivalence between the DPwLS (1) and (2) and the DPwLS (26) and (27). Consequently, their phase portraits are also equivalents, taking orbits into orbits and remaining invariant { x = 0 } . This must be done while avoiding orbits, which pass through sliding sets of these systems.
Therefore, we shall now study the PFI of the canonical differential systems (26) and (27) using Theorem 1.
Proposition 3.
Considering
x ˙ = 2 l x y + s , y ˙ = ( l 2 α 2 ) x + t ,
where l , s , t R and α { i , 0 , 1 } . Then, (28) has a PFI, H ( x , y ) , in the following cases only:
(i) 
l = 0 and in this case
H ( x , y ) = y 2 α 2 x 2 + 2 t x 2 s y ;
(ii) 
l = q p q + p 0 with p , q Z + and α = 1 . In this case,
H ( x , y ) = y 2 q q + p x + t ( q + p ) 2 q s p y + 2 p q + p x t ( q + p ) 2 p s q .
Proof. 
Theorem 1 implies that we should consider two cases, l = 0 and l 0 .
If l = 0 , then system (28) satisfies the condition f = b = 0 of statement (i) of Theorem 1, and (29) is straightforward from that statement.
If l 0 , as in systems (28) and (3) of Theorem 1, we obtain that a = s , f = 0 b = 2 l , c = 1 0 and e = l 2 α 2 . Therefore, the existence of a PFI is satisfied only under the conditions of statement (ii) of Theorem 1. Hence, the condition c e b f should be studied, where
c e = α 2 l 2 and b f = 0 .
It follows easily that α ± l .
Furthermore, for the case p , q Z + , such that p q and c e = ( p b + q f ) ( p f + q b ) ( q p ) 2 , the right hand side satisfies
( p b + q f ) ( p f + q b ) ( q p ) 2 = ( 2 l p ) ( 2 l q ) ( q p ) 2 = 4 p q ( q p ) 2 l 2 .
So from (31):
α 2 l 2 = 4 q p ( q p ) 2 l 2 .
However, this means that
α 2 = 4 p q ( q p ) 2 + 1 l 2 = ( p + q ) 2 ( q p ) 2 l 2 .
Therefore, in this case, there is a PFI if and only if l 2 = ( q p ) 2 ( q + p ) 2 α 2 or, equivalently, l = ± q p q + p α .
System (28) has real coefficients, so l R , and since l 0 , it follows that α 0 and α i . Thus, α = 1 . Therefore, from statement (ii) of Theorem 1, if a PFI exists it must be
H ( x , y ) = y + 2 l q q p x + s t ( q p ) 2 l q p y 2 l p q p x + s + t ( q p ) 2 l p q .
If l = q p q + p , then the first integral H is written
H ( x , y ) = y + 2 q q + p x + s t ( q + p ) 2 q p y 2 p q + p x + s + t ( q + p ) 2 p q .
Likewise, if l = p q q + p , then the first integral H becomes
H ( x , y ) = y 2 q q + p x + s + t ( q + p ) 2 q p y + 2 p q + p x + s t ( q + p ) 2 p q .
In fact, (32) and (33) are the same PFI with p and q reversed, and multiplying H ( x , y ) by ( 1 ) p + q , gives (30). This completes the proof of Proposition 3. □
Corollary 2.
(i) System (26) has a PFI if and only if
(i.1) l = 0 , with H ^ 1 ( x , y ) = y 2 α 2 x 2 + 2 g x ; or
(i.2) l = q p q + p 0 where p , q Z + and α = 1 , with
H ^ 2 ( x , y ) = y 2 q q + p x + g ( q + p ) 2 q p y + 2 p q + p x g ( q + p ) 2 p q .
(ii) 
System (27) has a PFI if and only if
(ii.1) 
r = 0 , with H ^ 3 ( x , y ) = y 2 β 2 x 2 + 2 k x 2 j y ; or
(ii.2) 
r = q p q + p 0 where p , q Z + and β = 1 , with
H ^ 4 ( x , y ) = y 2 q q + p x + k ( q + p ) 2 q j p y + 2 p q + p x k ( q + p ) 2 p j q .
Proof. 
The proof is straightforward from Proposition 3. □
Remark 2.
Cases ( i . 1 ) and ( i i . 1 ) are Hamiltonian cases. Any system of case ( i . 2 ) has a saddle point located at h ( p + q ) 2 p q , h ( q p ) p q where h = g ( p + q ) 2 , and its separatrices cut x = 0 at 0 , h q and 0 , h p . Systems of cases ( i i . 2 ) also have a saddle point, located at h ¯ ( p + q ) 2 p q , h ¯ ( q p ) p q + j with h ¯ = k ( p + q ) 2 , and its separatrices cut x = 0 at 0 , h ¯ q + j and 0 , h ¯ p + j .
Focusing again on the location of piecewise limit cycles, we start with some geometrical ideas. Under the assumptions of Theorem 1, let H ( x , y ) (equivalently, H + ( x , y ) ) be a PFI of the linear system in x 0 (equivalently, x 0 ). Any limit cycle must intersect the straight line x = 0 at points ( 0 , y ) and ( 0 , Y ) with y Y such that
H ( 0 , y ) H ( 0 , Y ) = 0 , H + ( 0 , y ) H + ( 0 , Y ) = 0 .
Hence, if we count the pairs of solutions ( y , Y ) we can give an upper bound to the number of limit cycles of a piecewise differential system under the hypotheses of Theorem 2. However, this is only the upper bound because the connection between branches of the first integrals do not provide a closed curve, or a closed curve which, is not a periodic orbit, because the two pieces are not oriented in the same direction. Some examples of these phenomena can be seen in Figure 1.
Below these results are applied to the proof of Theorem 2.
Proposition 4.
Let γ be a limit cycle of a DPwLS (26) and (27) with a PFI on both sides of Σ = { x = 0 } . If one of the first integrals corresponds to a linear differential system with a saddle, γ intersects Σ at two points located between the two points of Σ, which belong to the separatrices of the saddle.
Proof. 
As a linear differential system, without common factors and having a PFI, it is topologically equivalent to a linear Hamiltonian system (see Proposition C in [14]), the ω and α -limits of the orbits in the saddle case are restricted to the limits of the separatrices. Hence, any orbit out of its separatrices and far from the equilibrium point has a similar behavior to those which are two straight lines, according to Corollary 2. This implies that any orbit will cross Σ twice if and only if both separatrices cross Σ and the orbit is located at the hyperbolic region between the branches of the separatrices crossing Σ . See Figure 2. □
Lemma 1.
We consider the function f p , α ( x ) = x α x + α p for all x R { α } with 0 < α and p Z + . Thus it is satisfied that f p , α ( α ) = 0 , f p , α ( 0 ) = ( 1 ) p , lim x ± f p , α ( x ) = 1 and
(i) 
if p is even, f p , α ( x ) > 0 for all x R { α , α } , f p , α decreases for x ( α , α ) and increases outside, with a local minimum at x = α and an inflexion point at x = p α ; and,
(ii) 
if p is odd, f p , α ( x ) > 0 if and only if x R ( α , α ) , f p , α increases for all x R { α } , with an inflexion point at x = α and, if p > 1 , another one at x = p α .
Proof. 
First, straightforward computations show that f p , α ( α ) = 0 and f p , α ( 0 ) = ( 1 ) p .
Since
f p , α ( x ) = p x α x + α p 1 x + α x + α ( x + α ) 2 = 2 p α ( x + α ) 2 x α x + α p 1 .
Multiplying both sides by ( x α ) ( x + α ) gives
( x α ) ( x + α ) f p , α ( x ) = 2 p α f p , α ( x ) .
The second derivative is computed as
( x + α + x α ) f p , α ( x ) + ( x α ) ( x + α ) f p , α ( x ) = 2 p α f p , α ( x ) ,
then
2 ( x p α ) f p , α ( x ) + ( x α ) ( x + α ) f p , α ( x ) = 0 .
From (34), we conclude that if f p , α ( x ) = 0 then also f p , α ( x ) = 0 . So, x = α is the only possible relative extreme. From (35), we conclude that f p , α ( x ) = 0 if and only if f p , α ( x ) = 0 or 2 ( x p α ) = 0 . Hence, there are two possible inflexion points, x = α and x = p α .
(i)
When p is even, it is obvious that f p , α ( x ) > 0 for all x R { α , α } and f p , α ( α ) = 0 . From (34)
( x α ) ( x + α ) f p , α ( x ) > 0 ,
which implies that either ( x α ) ( x + α ) > 0 and f p , α ( x ) > 0 , or ( x α ) ( x + α ) < 0 and f p , α ( x ) < 0 . Thus,
f p , α ( x ) > 0 if x ( , α ) ( α , )
and
f p , α ( x ) < 0 if x ( α , α ) .
Moreover, the sign of f p , α ( x ) changes at x = α . It is negative before α and positive after it, so at this point f p , α has a local minimum.
Since ( x α ) ( x + α ) f p , α ( x ) > 0 is equivalent to f p , α ( x ) ( x α ) ( x + α ) > 0 , then (35) can be rewritten as
f p , α ( x ) = f p , α ( x ) ( x α ) ( x + α ) 2 ( x p α ) ,
hence, f p , α ( x ) > 0 if and only if 2 ( x p α ) < 0 or, equivalently, if x < p α . This means that f p , α has an inflexion point at x = p α .
(ii)
When p is odd, f p , α ( x ) is positive if and only if ( x α ) ( x + α ) > 0 , i.e., x ( , α ) ( α , ) . This implies that f p , α ( x ) < 0 if and only if x ( α , α ) .
In order to study the monotonicity, (34) is used:
f p , α ( x ) = 2 p α f p , α ( x ) ( x α ) ( x + α ) .
This implies that f p , α ( x ) ( x α ) ( x + α ) > 0 for all x R { α , α } . Since α > 0 we conclude that f p , α ( x ) > 0 for all x R { α , α } . So f p , α is an increasing function in the whole domain.
Finally, we use (35) to study the convexity,
f p , α ( x ) = f p , α ( x ) ( x α ) ( x + α ) 2 ( x p α ) .
As far as f p , α ( x ) > 0 for all x, f p , α ( x ) > 0 for ( x α ) ( x + α ) > 0 and 2 ( x p α ) > 0 , or ( x α ) ( x + α ) < 0 and 2 ( x p α ) < 0 . In the first case, if x ( , α ) ( α , ) and x < p α , then f p , α ( x ) > 0 if x ( , α ) ( α , p α ) . In the second case, f p , α ( x ) > 0 if x ( α , α ) and x > p α . However, p α α , and since p Z + and α > 0 , then there is no other solution for x where f p , α ( x ) > 0 . In conclusion, f p , α ( x ) > 0 if and only if x ( , α ) ( α , p α ) . In a similar way, we conclude that f p , α ( x ) < 0 if, and only if, x ( α , α ) ( p α , ) .
Thus, the proof is complete. □
Remark 3.
Figure 3 shows graphical representations of the results obtained in this proof.
Proof of Theorem 2.
Taking into account Corollary 2, it is enough to check Theorem 2 for the planar DPwLS (26) and (27). We divide the proof into three cases according to Corollary 2, which controls when the linear differential systems (26) and (27) have PFI.
  • Case 1: Systems (26) and (27) are both Hamiltonian. Therefore, from Proposition 3 in system (27), r = 0 . Similarly, in system (26), = 0 . In this case, every limit cycle of DPwLS (26) and (27) crosses x = 0 at two different points ( 0 , y ) and ( 0 , Y ) , satisfying the system
    e 1 = H ^ 1 ( 0 , y ) H ^ 1 ( 0 , Y ) = ( y Y ) ( y + Y ) = 0 , e 2 = H ^ 3 ( 0 , y ) H ^ 3 ( 0 , Y ) = ( y Y ) ( y + Y 2 j ) = 0 ,
    using the notation of Corollary 2.
We are only interested in the solutions in which y Y . System e 1 = 0 , e 2 = 0 either has no solutions, or has an infinite number of solutions when j = 0 . Consequently, there are no isolated solutions, and therefore, in this case, the DPwLS (26) and (27) have no limit cycles.
  • Case 2: Only system (26) is Hamiltonian. From Proposition 3, system (27) has β = 1 and r = q p q + p 0 with p , q Z + , and system (26) has = 0 . In this case, every limit cycle of the DPwLS (26) and (27) crosses x = 0 at two different points ( 0 , y ) and ( 0 , Y ) satisfying the system
    e 1 = H ^ 1 ( 0 , y ) H ^ 1 ( 0 , Y ) = ( y Y ) ( y + Y ) = 0 , e 2 = H ^ 4 ( 0 , y ) H ^ 4 ( 0 , Y ) = y + k ( q + p ) 2 q j p y k ( q + p ) 2 p j q Y + k ( q + p ) 2 q j p Y k ( q + p ) 2 p j q = 0 .
As in the previous case, we are only interested in solutions in which y Y . As e 1 = 0 implies that y = Y , e 2 = 0 implies that
Y + k ( q + p ) 2 q j p Y k ( q + p ) 2 p j q = Y + k ( q + p ) 2 q j p Y k ( q + p ) 2 p j q ,
or, equivalently
Y + k ( q + p ) 2 q j Y + k ( q + p ) 2 q j p = Y k ( q + p ) 2 p j Y k ( q + p ) 2 p j q .
Lemma 1 gives the need for:
f p , α ( Y ) = ( 1 ) p + q f q , β ( Y ) ,
where α = k ( p + q ) 2 q j and β = j + k ( p + q ) 2 p . We can assume k is positive, otherwise switching k ¯ = k > 0 , p ¯ = q and q ¯ = p will expand the same equation, e 2 = 0 , under this assumption. In this case, α < j < β and according to Proposition 4, we should look for solutions Y ( α , β ) . Furthermore, as y = Y , there is a solution in ( α , β ) , which implies that ( | Y | , | Y | ) ( α , β ) , so α and β are both positive.
The proof is completed by showing that the graphs of f p , α ( x ) and ( 1 ) p + q f q , β ( x ) cut each other in one non-vanishing value of x ( α , β ) , at most. In order to check this, we must take into account the parity of p and q and the relative positions of α and β . Lemma 1 is the key to this analysis.
Nevertheless, we only need to consider one case: p and q even. In Statements (ii) and (iii) of Theorem 1, without loss of generality, we can assume that p and q are both even. On the contrary, p = 2 p and q = 2 q are both even, satisfying the same hypotheses of the theorem for the same differential system and giving a PFI, H j , such that H j = ( H j ) 2 for any j = 2 , 3 .
Let p and q be even integers. In this case, ( 1 ) p + q = 1 , so we will compare f p , α and f q , β . For α < β , we divide ( α , β ) , studying intervals ( α , α ) and ( α , β ) separately. At both intervals, f p , α and f q , β are positive functions. However, at ( α , α ) , both functions decreases while at ( α , β ) f p , α increases and f q , β decreases. Since 0 belongs to ( α , α ) and both functions have the same value at this point, 1, there are no inflexion points in this interval. There are no other points in common between the two graphs in this interval. In interval ( α , β ) , the monotonicity is enough to assure the existence of a point in common because f p , α ( α ) = 0 , f p , α ( β ) > 0 , f q , β ( α ) > 0 and f q , β ( β ) = 0 . Figure 4 summarizes our proof.
If β < α , similar arguments can be developed, but analyzing the functions at the intervals ( α , β ) and ( β , β ) separately. This completes the desired conclusion, with at most one limit cycle.
  • Case 3: Only system (27) is Hamiltonian. Again, from Proposition 3, in system (27) r = 0 and in system (26) α = 1 and = q p q + p 0 with p , q Z + . In this case, every limit cycle of the DPwLS (26) and (27) crosses x = 0 at two different points, ( 0 , y ) and ( 0 , Y ) , satisfying the system
    e 1 = H ^ 2 ( 0 , y ) H ^ 2 ( 0 , Y ) = y + g ( q + p ) 2 q p y g ( q + p ) 2 p q Y + g ( q + p ) 2 q p Y g ( q + p ) 2 p q = 0 . e 2 = H ^ 3 ( 0 , y ) H ^ 3 ( 0 , Y ) = ( y Y ) ( y + Y ) = 0 ,
    Similar arguments as the ones used in Case 2 show that DPwLS (26) and (27) have at most one limit cycle.
Therefore, we have completed the proof of Theorem 2. □

4. Examples

In this section, we show that the bound obtained in Theorem 2 can be achieved. We consider A = 2 1 3 2 , A + = 1 / 2 1 1 1 / 2 , b = 1 1 and b + = a d with a , d R and the piecewise linear system given by
x ˙ y ˙ = A x y + b ,
if x 0 , and
x ˙ y ˙ = A + x y + b + ,
if x 0 .
System (36) satisfies the hypotheses of Theorem 1 statement (i). It means that System (36) is a Hamiltonian system and has H = 3 x 2 + y 2 4 x y + 2 x 2 y as a first integral. Moreover, this system has a saddle located at ( 1 , 1 ) and its separatrices are y = x (unstable) and y = 3 x + 2 (stable). These separatrices cut the vertical axis at ( 0 , 0 ) and ( 0 , 2 ) .
System (37) satisfies the hypotheses of Theorem 1 statement (ii) with p = 1 and q = 3 . Thus, system (37) has the PFI
H + = y + x + 2 3 ( a + d ) y x + 2 ( a d ) 3 .
This shows that this system has a saddle located at 2 a 4 d 3 , 2 d 4 a 3 and its separatrices are y = x 2 3 ( a + d ) (stable) and y = x 2 ( a d ) (unstable). These separatrices cut the vertical axis at ( 0 , 2 3 ( a + d ) ) and ( 0 , 2 ( a d ) ) .
We denote γ = 2 3 ( a + d ) and θ = 2 ( a d ) . In this way, as mentioned before, we can characterize the limit cycles solving system
H + ( 0 , y 1 ) H + ( 0 , y 0 ) = 0 , H ( 0 , y 1 ) H ( 0 , y 0 ) = 0 ,
where y 1 and y 0 are unknown and identify points at Σ 0 = { ( x , y ) R 2 : x = 0 } that characterize both level curves completing the cycle, if one exists. If we compute the resultant of both left-hand side expressions with respect to y 1 , we conclude that, in order to have a limit cycle, a necessary condition is that y 0 satisfies the equation
R ( y 0 ) = ( 4 + γ + 3 θ ) y 0 2 + 2 ( 4 + γ + 3 θ ) y 0 θ 3 3 γ θ 2 6 θ 2 6 γ θ 12 θ 4 γ 8 = 0 .
The discriminant of this quadratic equation is
D ( γ , θ ) = 4 ( 1 + θ ) 2 ( 4 + 3 γ + θ ) ( 4 + γ + 3 θ ) .
Figure 5 shows the set of points where D ( γ , θ ) vanishes. Thus, these straight lines bound the regions where the discriminant does not vanish and R ( y 0 ) = 0 may or may not have real solutions.
As ( 0 , y 0 ) is an intersection point of the limit cycle with Σ 0 and any limit cycle requires two of these points, we look for the region where R ( y 0 ) = 0 has two real different solutions. This means that we are interested in D ( γ , θ ) > 0 , or equivalently,
( 4 + 3 γ + θ ) ( 4 + γ + 3 θ ) < 0 .
In order to assure the existence of a limit cycle, the solutions of R ( y 0 ) = 0 must be located at ( 2 , 0 ) and between γ and θ , the intersection points of the separatrices and Σ 0 . The equations
R ( γ ) = ( 2 + γ + θ ) 3 = 0 , R ( θ ) = 4 ( 1 + θ ) 2 ( 2 + γ + θ ) = 0 , R ( 0 ) = 8 4 γ 12 θ 6 γ θ 6 θ 2 3 γ θ 2 θ 3 = 0 , R ( 2 ) = 40 12 γ 36 θ 6 γ θ 6 θ 2 3 γ θ 2 θ 3 = 0
characterize the regions that must be studied. It is simple to check that we have found algebraic limit cycles if γ and θ satisfy
2 + γ + θ > 0 , 4 + 3 γ + θ < 0 , 8 4 γ 12 θ 6 γ θ 6 θ 2 3 γ θ 2 θ 3 < 0 .
Figure 6 shows the region described above, as well as the limit cycle found for γ = 2 and θ = 1 . In this case, we see that the limit cycle passes through the points ( 0 , 1 2 5 5 ) ( 0 , 0.105573 ) and ( 0 , 1 + 2 5 5 ) ( 0 , 1.89443 ) .

5. Discussion

We have illustrated how to study the limit cycles of piecewise differential systems separated by one straight line and formed by two integrable systems. Here, we have considered that the first integrals of both differential systems are polynomials with one of the differential systems being a Hamiltonian system, and consequently, if the piecewise differential system has limit cycles, these are algebraic. Under this assumption, the piecewise differential system has no more than one limit cycle. Additionally, we have characterized the linear differential systems with polynomial first integrals.

Author Contributions

B.G., J.L., J.S.P.d.R. and S.P.-G. contributed equally to this work. All authors have read and agreed to the published version of the manuscript.

Funding

The first, third, and fourth authors are partially supported by grant MCI-21-PID2020-113052GB-I00 of the Spanish Agencia Estatal de Investigación. The second author is partially supported by the Agencia Estatal de Investigación grant PID2019-104658GB-I00, the H2020 European Research Council grant MSCA-RISE-2017-777911, AGAUR (Generalitat de Catalunya) grant 2022-SGR 00113, and by the Acadèmia de Ciències i Arts de Barcelona.

Data Availability Statement

Not applicable.

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Filippov, A.F. Differential Equations with Discontinuous Right–Hand Sides; Mathematics and Its Applications (Soviet Series); Translated from Russian; Kluwer Academic Publishers Group: Dordrecht, The Netherlands, 1988; Volume 18. [Google Scholar]
  2. Andronov, A.; Vitt, A.; Khaikin, S. Theory of Oscillations; Pergamon Press: Oxford, UK, 1966. [Google Scholar]
  3. Di Bernardo, M.; Budd, C.J.; Champneys, A.R.; Kowalczyk, P. Piecewise-Smooth Dynamical Systems: Theory and Applications; Springer: London, UK, 2008; Volume 163. [Google Scholar]
  4. Simpson, D.J.W. Bifurcations in Piecewise-Smooth Continuous Systems; World Scientific: Singapore, 2010. [Google Scholar]
  5. Makarenko, O.; Lamb, J.S.W. Dynamics and bifurcations of nonsmooth systems: A survey. Physica D 2012, 241, 1826–1844. [Google Scholar]
  6. Euzébio, R.D.; Llibre, J. On the number of limit cycles in discontinuous piecewise linear differential systems with two pieces separated by a straight line. J. Math. Anal. Appl. 2015, 424, 475–486. [Google Scholar] [CrossRef] [Green Version]
  7. Buzzi, C.; Gasull, A.; Torregrosa, J. Algebraic limit cycles in piecewise linear differential systems. Int. J. Bifurc. Chaos 2018, 28, 1850039. [Google Scholar] [CrossRef]
  8. Artés, J.C.; Llibre, J.; Vulpe, N. Quadratic systems with an integrable saddle: A complete classification in the coefficient space R12. Nonlinear Anal. 2012, 75, 5416–5447. [Google Scholar] [CrossRef] [Green Version]
  9. Li, T.; Llibre, J. Limit cycles in piecewise polynomial Hamiltonian systems allowing nonlinear switching boundaries. J. Differ. Equ. 2023, 344, 405–438. [Google Scholar] [CrossRef]
  10. Dieci, L.; Elia, C.; Pi, D. Limit cycles for regularized discontinuous dynamical systems with a hyperplane of discontinuity. Discret. Contin. Dyn. Syst. B 2017, 22, 3091–3112. [Google Scholar] [CrossRef] [Green Version]
  11. Huzak, R.; Uldall Kristiansen, K. The number of limit cycles for regularized piecewise polynomial systems is unbounded. J. Differ. Equ. 2023, 342, 34–62. [Google Scholar] [CrossRef]
  12. Sotomayor, J.; Teixeira, M.A. Regularization of discontinuous vector fields. In Proceedings of the International Conference on Differential Equations, Lisboa, Portugal, 24–29 July 1995; pp. 207–223. [Google Scholar]
  13. Freire, E.; Ponce, E.; Torres, F. Canonical Discontinuous Planar Piecewise Linear Systems. SIAM J. Appl. Dyn. Syst. 2012, 11, 181–211. [Google Scholar] [CrossRef]
  14. García, B.; Llibre, J.; Pérez del Río, J.S. Phase portraits of the quadratic vector fields with a polynomial first integral. Rend. Circ. Mat. Palermo 2006, 55, 420–440. [Google Scholar] [CrossRef]
Figure 1. Some possible connections between both side branches. (a) Cycle shape appears; (b) It is not a cycle.
Figure 1. Some possible connections between both side branches. (a) Cycle shape appears; (b) It is not a cycle.
Axioms 12 00342 g001
Figure 2. Graphical representation of a polynomial saddle phase portrait.
Figure 2. Graphical representation of a polynomial saddle phase portrait.
Axioms 12 00342 g002
Figure 3. Graphical representations of f p , α ( x ) from Lemma 1. (a) p is even; (b) p is odd.
Figure 3. Graphical representations of f p , α ( x ) from Lemma 1. (a) p is even; (b) p is odd.
Axioms 12 00342 g003
Figure 4. p and q even. (a) α < β ; (b) β < α .
Figure 4. p and q even. (a) α < β ; (b) β < α .
Axioms 12 00342 g004
Figure 5. Regions delimited by D ( γ , θ ) = 0 .
Figure 5. Regions delimited by D ( γ , θ ) = 0 .
Axioms 12 00342 g005
Figure 6. (a) Region with limit cycle; (b) Limit cycle found for γ = 2 and θ = 1 .
Figure 6. (a) Region with limit cycle; (b) Limit cycle found for γ = 2 and θ = 1 .
Axioms 12 00342 g006
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

García, B.; Llibre, J.; Pérez del Río, J.S.; Pérez-González, S. Limit Cycles of Polynomially Integrable Piecewise Differential Systems. Axioms 2023, 12, 342. https://doi.org/10.3390/axioms12040342

AMA Style

García B, Llibre J, Pérez del Río JS, Pérez-González S. Limit Cycles of Polynomially Integrable Piecewise Differential Systems. Axioms. 2023; 12(4):342. https://doi.org/10.3390/axioms12040342

Chicago/Turabian Style

García, Belén, Jaume Llibre, Jesús S. Pérez del Río, and Set Pérez-González. 2023. "Limit Cycles of Polynomially Integrable Piecewise Differential Systems" Axioms 12, no. 4: 342. https://doi.org/10.3390/axioms12040342

APA Style

García, B., Llibre, J., Pérez del Río, J. S., & Pérez-González, S. (2023). Limit Cycles of Polynomially Integrable Piecewise Differential Systems. Axioms, 12(4), 342. https://doi.org/10.3390/axioms12040342

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop