Next Article in Journal
An Advanced Learning-Based Multiple Model Control Supervisor for Pumping Stations in a Smart Water Distribution System
Next Article in Special Issue
Time-Varying Vector Norm and Lower and Upper Bounds on the Solutions of Uniformly Asymptotically Stable Linear Systems
Previous Article in Journal
The Wright Functions of the Second Kind in Mathematical Physics
Previous Article in Special Issue
Crossing Limit Cycles of Planar Piecewise Linear Hamiltonian Systems without Equilibrium Points
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Rational Limit Cycles on Abel Polynomial Equations

Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Av. Rovisco Pais, 1049-001 Lisboa, Portugal
Mathematics 2020, 8(6), 885; https://doi.org/10.3390/math8060885
Submission received: 14 April 2020 / Revised: 21 May 2020 / Accepted: 21 May 2020 / Published: 1 June 2020
(This article belongs to the Special Issue Qualitative Theory for Ordinary Differential Equations)

Abstract

:
In this paper we deal with Abel equations of the form d y / d x = A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3 , where A 1 ( x ) , A 2 ( x ) and A 3 ( x ) are real polynomials and A 3 0 . We prove that these Abel equations can have at most two rational (non-polynomial) limit cycles when A 1 0 and three rational (non-polynomial) limit cycles when A 1 0 . Moreover, we show that these upper bounds are sharp. We show that the general Abel equations can always be reduced to this one.
MSC:
34C05; 34C07; 34C08

1. Introduction and Statement of the Results

In this paper we study the existence of rational (non-polynomial) limit cycles of the Abel polynomial equations.
The Abel polynomial equations are equations of the form
d y d x = A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3 ,
where x , y are real variables and A 1 ( x ) , A 2 ( x ) and A 3 ( x ) are polynomials with A 3 0 .
A periodic solution of Equation (1) is a solution y ( x ) defined in the closed interval [ 0 , 1 ] such that y ( 0 ) = y ( 1 ) . We say that a limit cycle is a periodic solution isolated in the set of periodic solutions of a differential Equation (1). Without loss of generality we will assume that the period is 1. The limit cycle is called a polynomial limit cycle if the periodic solution y ( x ) is a polynomial in the variable x.
The polynomial limit cycles of these equations have been intensively investigated (see for instance [1,2]). The problem of finding solutions for polynomial equations of these type have attracted the attention of many authors. See for instance [3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27] and the references therein. Here, we are interested in the rational limit cycles of Equation (1) (when the functions A i ( x ) are polynomials).
In particular, the authors in [16] proved that any polynomial limit cycle of system (1) is of the form y = c with c R , and that if a polynomial limit cycle exists with c 0 , then no other polynomial limit cycles can exist. So, in the present paper we will focus on the case in which the limit cycles are non-polynomials.
The objective of this paper is to consider the existence of rational limit cycles for system (1), i.e., we want to consider limit cycles of the form y ( x ) = q ( x ) / p ( x ) where p , q R [ x ] with p R and ( p ( x ) , q ( x ) ) = 1 . As usual R [ x ] denotes the set of all real polynomials in the variable x. Note that we will study only the rational limit cycles that are not polynomial limit cycles. We will also provide examples of differential equations (1) having the prescribed number of rational limit cycles.
We recall that if we have a general Abel equation of the form
y = A 0 ( x ) + A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3
with A i ( x ) being polynomials for i = 0 , , 3 and A 3 0 , then with the change of variables w = y y 0 ( x ) , being y 0 ( x ) a solution of (2), we get
w = y y 0 = A 0 ( x ) + A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3 A 0 ( x ) A 1 ( x ) y 0 + A 2 ( x ) y 0 2 + A 3 ( x ) y 0 3 = A 1 ( x ) ( w + y 0 ( x ) ) + A 2 ( x ) ( w ( x ) 2 + 2 w ( x ) y 0 ( x ) + y 0 ( x ) 2 ) + A 3 ( x ) ( w ( x ) 3 + 3 w ( x ) 2 y 0 ( x ) + 3 w ( x ) y 0 ( x ) 2 + y 0 ( x ) 3 ) A 1 ( x ) y 0 A 2 ( x ) y 0 2 ( x ) A 3 ( x ) y 0 3 ( x ) = A ˜ 1 ( x ) w ( x ) + A ˜ 2 ( x ) w ( x ) 2 + A 3 ( x ) w ( x ) 3
where
A ˜ 1 ( x ) = A 1 ( x ) + 2 A 2 ( x ) y 0 ( x ) + 3 A 3 y 0 ( x ) 2 , A ˜ 2 ( x ) = A 2 ( x ) + 3 y 0 ( x ) A 3 ( x ) ,
and so
w ( x ) = A ˜ 1 ( x ) w ( x ) + A ˜ 2 ( x ) w ( x ) + A 3 ( x ) w ( x ) 3 .
In short we can always work with Equation (1).
The case A 1 ( x ) 0 was studied in [28]. In particular the authors proved the following theorem.
Theorem 1.
System (1) with A 1 0 has at most three rational (non-polynomial) limit cycles, and there are examples with three rational limit cycles.
In this paper we will focus in the case in which A 1 0 . We note that with these two theorems we cover all the rational limit cycles in the Abel Equation (1) (and as explained above in Equation (2)).
Our main theorem is the following one.
Theorem 2.
System (1) with A 1 ( x ) 0 has at most two rational (non-polynomial) limit cycles, and there are examples with two rational limit cycles.
The proof of Theorem 2 and the example are given in Section 2.

2. Proof of Theorem 2

We start the proof with an auxiliary lemma.
Lemma 1.
The rational function y = q ( x ) / p ( x ) with p ( x ) non-constant is a periodic solution of system (1) if and only if q ( x ) = c R { 0 } , p ( 0 ) = p ( 1 ) and p ( x ) has no zero in [ 0 , 1 ] and
p ( x ) A 2 ( x ) + p ( x ) p ( x ) c + A 1 ( x ) p 2 ( x ) c + A 3 ( x ) c = 0 .
Proof. 
For the reverse implication we note that if q ( x ) = c R { 0 } , p ( 0 ) = p ( 1 ) , p ( x ) has no zero in [ 0 , 1 ] and equality (3) holds then it is clear that the rational function y = c / p ( x ) is a periodic solution of system (1).
For the direct implication we note that if y ( x ) = q ( x ) / p ( x ) is a periodic solution of system (1) then p ( x ) 0 for x [ 0 , 1 ] . Let g ( x , y ) = p ( x ) y q ( x ) . Then
0 = d g ( x , y ) d x | g ( x , y ) = 0 = p ( x ) y + p ( x ) d y d x q ( x ) = p ( x ) y + p ( x ) ( A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3 ) q ( x ) .
Note that g ( x , y ) is irreducible, so there exists a polynomial k ( x , y ) so that
p ( x ) y + p ( x ) ( A 1 ( x ) y + A 2 ( x ) y 2 + A 3 ( x ) y 3 ) q ( x ) = k ( x , y ) g ( x , y ) .
Since the highest degree in y in the left-hand side is 3 and the highest degree in y in g ( x , y ) is 1 we get that the highest degree in y in k ( x , y ) is 2 and so it can be written as k ( x , y ) = k 0 ( x ) + k 1 ( x ) y + k 2 ( x ) y 2 , where k 0 , k 1 , k 2 R [ x ] . Comparing the coefficients of y 0 , y 1 , y 2 and y 3 in (4) we get
q ( x ) = k 0 ( x ) q ( x ) , p ( x ) + A 1 ( x ) p ( x ) = k 0 ( x ) p ( x ) k 1 ( x ) q ( x ) , p ( x ) A 2 ( x ) = k 1 ( x ) p ( x ) k 2 ( x ) q ( x ) , p ( x ) A 3 ( x ) = k 2 ( x ) p ( x ) .
From the first relation we get that q ( x ) | q ( x ) . This implies that q ( x ) is a constant that we denote by c, that is, q ( x ) = c R . If c = 0 then y = q ( x ) / p ( x ) = 0 . This is not possible and so c 0 . Moreover, y = q ( x ) / p ( x ) = c / p ( x ) is a periodic solution, then p ( 0 ) = p ( 1 ) . From the second relation we get that k 1 ( x ) = p ( x ) / c A 1 ( x ) p ( x ) / c and from the fourth relation we obtain k 2 ( x ) = A 3 ( x ) . Substituting them in the third relation we get (3) and the direct inclusion is proved. □
In view of Lemma 1 it is not restrictive to take c = 1 and consider all rational limit cycles of the form y = 1 / p ( x ) with p ( x ) satisfying p ( 0 ) = p ( 1 ) with p ( x ) having no zero in [ 0 , 1 ] and satisfying (3).
From (3) we must have that A 3 ( x ) is multiple of p ( x ) and so A 3 ( x ) = p ( x ) r ( x ) for some polynomial r ( x ) . Therefore, (3) becomes
A 2 ( x ) + p ( x ) + A 1 ( x ) p ( x ) + r ( x ) = 0 .
Assume that Equation (1) has two rational limit cycles, y ( x ) = 1 / p 1 ( x ) and y ( x ) = 1 / p 2 ( x ) with p 1 ( x ) , p 2 ( x ) R [ x ] R . Denote by q ( x ) = ( p 1 ( x ) , p 2 ( x ) ) , i.e., the maximum common divisor of the polynomials p 1 ( x ) and p 2 ( x ) , and consequently
p 1 ( x ) = q ( x ) s 1 ( x ) , p 2 ( x ) = q ( x ) s 2 ( x )
with q ( x ) , s i ( x ) R [ x ] and ( s 1 ( x ) , s 2 ( x ) ) = 1 . Note that in view of the above observation we must have that
A 3 ( x ) = q ( x ) s 1 ( x ) s 2 ( x ) s 3 ( x )
for some s 3 ( x ) R [ x ] .
Lemma 2.
The following equalities hold
s 3 ( x ) = q ( x ) + A 1 ( x ) q ( x ) and s 1 ( x ) s 2 ( x ) = c R .
Proof. 
Note that in view of (6) we have
q ( x ) s 1 ( x ) + q ( x ) s 1 ( x ) = A 1 ( x ) q ( x ) s 1 ( x ) A 2 ( x ) s 2 ( x ) s 3 ( x ) , q ( x ) s 2 ( x ) + q ( x ) s 2 ( x ) = A 1 ( x ) q ( x ) s 2 ( x ) A 2 ( x ) s 1 ( x ) s 3 ( x ) ,
and so
q ( x ) s 1 ( x ) + q ( x ) s 1 ( x ) q ( x ) s 2 ( x ) + q ( x ) s 2 ( x ) = s 2 ( x ) s 3 ( x ) + s 1 ( x ) s 3 ( x ) A 1 ( x ) q ( x ) ( s 1 ( x ) s 2 ( x ) ) = ( s 1 ( x ) s 2 ( x ) ) ( s 3 ( x ) A 1 ( x ) q ( x ) ) ,
which gives
q ( x ) ( s 1 ( x ) s 2 ( x ) ) + q ( x ) ( s 1 ( x ) s 2 ( x ) ) = ( s 1 ( x ) s 2 ( x ) ) ( s 3 ( x ) A 1 ( x ) q ( x ) ) ,
that is
q ( x ) ( s 1 ( x ) s 2 ( x ) ) = ( s 1 ( x ) s 2 ( x ) ) ( s 3 ( x ) A 1 ( x ) q ( x ) q ( x ) ) .
Hence
( s 1 ( x ) s 2 ( x ) ) ( s 1 ( x ) s 2 ( x ) ) = s 3 ( x ) A 1 ( x ) q ( x ) q ( x ) q ( x ) q ( x ) .
Therefore
s 1 ( x ) s 2 ( x ) = κ 2 1 q ( x ) exp s 3 ( s ) A 1 ( s ) q ( s ) q ( s ) d s ,
for some κ 2 R .
If deg ( s 3 ( x ) ) deg ( q ( x ) ) then we get
s 1 ( x ) s 2 ( x ) = κ 2 1 q ( x ) exp A 1 ( x ) d x exp s 3 ( x ) q ( x ) d x .
The first factor in (11) cannot cancel with the second factor of (11) and this gives a contradiction because s 1 ( x ) s 2 ( x ) is a polynomial. So, we must have deg ( s 3 ( x ) ) > deg ( q ( x ) ) . Then we make the Euclidean division and we get
s 3 ( x ) = s 4 ( x ) q ( x ) + s 5 ( x )
where deg ( s 5 ( x ) ) < deg ( q ( x ) ) . Therefore we have
s 3 ( x ) q ( x ) A 1 ( x ) = s 4 ( x ) A 1 ( x ) + s 5 ( x ) q ( x ) .
Integrating we get
s 1 ( x ) s 2 ( x ) = κ 2 1 q ( x ) exp s 4 ( x ) A 1 ( x ) d x exp s 5 ( x ) q ( x ) d x .
The first factor in (12) cannot cancel with the second factor of (12) and this gives a contradiction because s 1 ( x ) s 2 ( x ) is a polynomial. So, we must have s 4 ( x ) = A 1 ( x ) . Now we write H ( x ) = ( s 5 ( x ) , q ( x ) ) . Then
s 5 ( x ) q ( x ) = H ( x ) s ¯ 5 ( x ) H ( x ) q ¯ ( x ) = s ¯ 5 ( x ) q ¯ ( x ) .
Assume first that q ¯ ( x ) is not-square free. Using the affine transformation x x + α with α C (if necessary) we can write q ¯ ( x ) = x μ r ( x ) where μ > 1 and r ( 0 ) 0 . Moreover, s ¯ 3 ( 0 ) 0 because s ¯ 3 ( x ) and q ¯ ( x ) are coprime. If we develop s ¯ 3 ( x ) / q ¯ ( x ) in simple fractions of x we obtain
s ¯ 5 ( x ) q ¯ ( x ) = c μ x μ + c μ 1 x μ 1 + + c 1 x + α ( x ) r ( x )
where α ( x ) is a polynomial with deg ( α ( x ) ) < deg ( r ( x ) ) and c i C for i = 1 , , μ . Note that c μ = s ¯ 3 ( 0 ) / q ¯ ( 0 ) 0 . Integrating, we get
s 1 ( x ) s 2 ( x ) = κ 2 1 q ( x ) exp c μ 1 μ 1 x μ 1 × exp c μ 1 x μ 1 + + c 1 x + α ( x ) r ( x ) d x .
The first exponential factor cannot cancel with any part of the second exponential factor and we get to a contradiction with the fact that s 1 ( x ) s 2 ( x ) is a polynomial. So, q ¯ ( x ) is square-free. Then we have that
s ¯ 5 ( s ) q ¯ ( s ) d s = log h ( x ) , h ( x ) R [ x ] { 0 } .
Therefore,
s ¯ 5 ( x ) q ¯ ( x ) = h ( x ) h ( x ) ,
where h ( x ) is square-free and so h ( x ) and h ( x ) are coprime. Hence q ¯ ( x ) = h ( x ) and s ¯ 5 ( x ) = κ 3 q ¯ ( x ) . From (10) and (14) we have
s 1 ( x ) s 2 ( x ) = κ 2 1 H ( x )
Since s 1 ( x ) s 2 ( x ) must be a polynomial, it follows that H ( x ) can be one. Hence,
s 5 ( x ) = κ 3 q ( x ) and s 1 ( x ) s 2 ( x ) = κ 2 q ( x ) κ 3 1 .
On the other hand, doing a change of variables of the form Y = β y where β 2 = sign ( κ 3 ) κ 3 , the Abel Equation (1) becomes
d Y d x = A 1 ( x ) β 2 Y + A 2 ( x ) β Y 2 + A 3 ( x ) β 2 Y 3 = A ¯ 1 ( x ) Y + A ¯ 2 ( x ) Y 2 + A ¯ 3 ( x ) Y 3 .
Since A 3 ( x ) = q ( x ) s 1 ( x ) s 2 ( x ) κ 3 q ( x ) , then A ¯ 3 ( x ) = ± q ( x ) s 1 ( x ) s 2 ( x ) q ( x ) . In what follows we shall work with the Abel Equation (16).
Repeating the previous computations starting with the Abel Equation (16) we will arrive to Equation (15) which now writes
s 3 ( x ) = A 1 ( x ) q ( x ) + q ( x ) and s 1 ( x ) s 2 ( x ) = κ 2 ,
because κ 3 = ± 1 and only can be one. This concludes the proof of the lemma. □
Note that from (7), (8) and Lemma 2 we have that
A 3 ( x ) = q ( x ) s 1 ( x ) s 2 ( x ) ( q ( x ) + A 1 ( x ) q ( x ) ) .
Proof of Theorem 2.
Assume that Equation (1) has three rational limit cycles, y = 1 / p 1 ( x ) and y = 1 / p 2 ( x ) and y 3 = 1 / p 3 ( x ) with p 1 , p 2 , p 3 R [ x ] R . Denote by q 1 ( x ) = ( p 1 ( x ) , p 2 ( x ) ) , q 2 ( x ) = ( p 1 ( x ) , p 3 ( x ) ) and q 3 ( x ) = ( p 2 ( x ) , p 3 ( x ) ) . In view of Lemma 2 we have
p 1 ( x ) = q 1 ( x ) s 1 ( x ) = q 2 ( x ) s 2 ( x ) , p 2 ( x ) = q 1 ( x ) ( s 1 ( x ) + c 1 ) = q 3 ( x ) s 3 ( x ) , p 3 ( x ) = q 2 ( x ) ( s 2 ( x ) + c 2 ) = q 3 ( x ) ( s 3 ( x ) + c 3 ) ,
for some polynomials s 1 ( x ) , s 2 ( x ) , s 3 ( x ) and constants c 1 , c 2 , c 3 R { 0 } (we recall that the polynomials s 1 ( x ) , s 2 ( x ) in (18) need not be the same as the ones in (17). In fact, the polynomial q ( x ) in Equation (17) will be q 1 ( x ) , q 2 ( x ) and q 3 ( x ) in formula (18) (or other polynomials that will appear in the paper) and polynomials s 1 ( x ) and s 2 ( x ) in formula (17) will be s 1 ( x ) , s 2 ( x ) and s 3 ( x ) in formula (18) (or other forms that will appear along the paper, when appropriate). Hence, we get
p 2 ( x ) p 1 ( x ) = q 1 ( x ) c 1 , c 1 R , p 3 ( x ) p 1 ( x ) = q 2 ( x ) c 2 , c 2 R , p 3 ( x ) p 2 ( x ) = q 3 ( x ) c 3 , c 3 R ,
and so
q 2 ( x ) c 2 = q 1 ( x ) c 1 + q 3 ( x ) c 3 .
We consider two situations.
Case 1.
q 1 ( x ) and s 2 ( x ) are coprime. Note that from (18) we have that q 1 ( x ) s 1 ( x ) = q 2 ( x ) s 2 ( x ) , and then from (19) we get
q 1 ( x ) s 1 ( x ) c 2 s 2 ( x ) = q 2 ( x ) c 2 = q 1 ( x ) c 1 + q 3 ( x ) c 3 .
In particular there exists T ( x ) R [ x ] so that
q 3 ( x ) = q 1 ( x ) T ( x ) ,
and consequently
s 1 ( x ) c 2 s 2 ( x ) = c 1 + T ( x ) c 3 ,
which yields
s 1 ( x ) = s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) .
Therefore from (18) we get
q 2 ( x ) s 2 ( x ) = q 1 ( x ) s 1 ( x ) = q 1 ( x ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) ,
and so
q 2 ( x ) = q 1 ( x ) c 1 + T ( x ) c 3 c 2 .
Hence we have
p 1 ( x ) = q 1 ( x ) s 1 ( x ) = q 1 ( x ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) , p 2 ( x ) = q 1 ( x ) ( s 1 ( x ) + c 1 ) = q 1 ( x ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) + c 1 , p 3 ( x ) = q 2 ( x ) ( s 2 ( x ) + c 2 ) = q 1 ( x ) c 1 + T ( x ) c 3 c 2 ( s 2 ( x ) + c 2 ) .
We consider two subcases.
Subcase 1.1 : Assume that T ( x ) and s 2 ( x ) + c 2 are coprime. Then the maximum common divisor between p 2 ( x ) and p 3 ( x ) is q 1 ( x ) . Indeed, we will show that
r 1 ( x ) = s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) + c 1
and
r 2 ( x ) = ( c 1 + T ( x ) c 3 ) ( s 2 ( x ) + c 2 )
are coprime. Note that if x * is a zero of c 1 + T ( x ) c 3 then we have that r 2 ( x * ) = 0 but r 1 ( x * ) = c 1 0 . Moreover, if x ^ is a solution of s 2 ( x ) + c 2 = 0 then r 2 ( x ^ ) = 0 but r 1 ( x ^ ) = ( c 1 + T ( x ^ ) c 3 ) + c 1 = T ( x ^ ) c 3 0 . Therefore, using p 1 ( x ) and p 2 ( x ) from (17) and (20) we can write
A 3 ( x ) = q 1 ( x ) ( q 1 ( x ) + A 1 ( x ) q 1 ( x ) ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) + c 1 ,
and from p 1 ( x ) and p 3 ( x ) we can write
A 3 ( x ) = q 1 ( x ) ( q 1 ( x ) + A 1 ( x ) q 1 ( x ) ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) + c 1 c 1 + T ( x ) c 3 c 2 · ( s 2 ( x ) + c 2 ) ,
and so
s 2 ( x ) = s 2 ( x ) + c 2
which is not possible because c 2 0 .
Subcase 1.2 : Assume that T ( x ) and s 2 ( x ) + c 2 are not coprime. Write
T ( x ) = α 1 ( x ) α 2 ( x ) , s 2 ( x ) + c 2 = α 1 ( x ) α 3 ( x ) ,
where α 2 , α 3 R [ x ] and α 1 ( x ) R [ x ] R . Then
p 3 ( x ) = q 1 ( x ) α 1 ( x ) α 3 ( x ) c 1 + T ( x ) c 3 c 2 , p 2 ( x ) = q 1 ( x ) α 1 ( x ) c 2 ( c 1 α 3 ( x ) + s 2 ( x ) α 2 ( x ) c 3 ) .
We first note that the maximum common divisor between p 2 ( x ) and p 3 ( x ) is q 1 ( x ) α 1 ( x ) . To do so, we will show that
r 3 ( x ) = α 3 ( x ) ( c 1 + T ( x ) c 3 ) and r 4 ( x ) = c 1 α 3 ( x ) + s 2 ( x ) α 2 ( x ) c 3
are coprime. If x * is a zero of α 3 ( x ) then r 3 ( x * ) = 0 but r 4 ( x * ) = s 2 ( x * ) α 2 ( x * ) c 3 = c 2 α 2 ( x * ) c 3 . Since α 2 ( x ) and α 3 ( x ) are coprime, we get that α 2 ( x * ) 0 , and then r 4 ( x * ) 0 . Moreover, if c 1 + T ( x ^ ) c 3 = 0 then r 4 ( x ^ ) = c 1 0 . So r 3 ( x ) and r 4 ( x ) are coprime.
From p 1 ( x ) , p 2 ( x ) , (17) and (20) we get
A 3 ( x ) = q 1 ( x ) ( q 1 ( x ) + A 1 ( x ) q 1 ( x ) ) s 2 ( x ) c 2 ( c 1 + T ( x ) c 3 ) α 1 ( x ) c 2 · ( c 1 α 3 ( x ) + s 2 ( x ) α 2 ( x ) c 3 ) .
Note that from p 2 ( x ) , p 3 ( x ) , (17) and (20) we have
A 3 ( x ) = q 1 ( x ) c 2 2 α 1 ( x ) ( q 1 ( x ) α 1 ( x ) ) + A 1 ( x ) q 1 ( x ) α 1 ( x ) α 3 ( x ) ( c 1 + T ( x ) c 3 ) · ( c 1 α 3 ( x ) + s 2 ( x ) α 2 ( x ) c 3 ) .
Comparing (21) with (22) we obtain
α 3 ( x ) ( q 1 ( x ) α 1 ( x ) ) + A 1 ( x ) q 1 ( x ) α 1 ( x ) = q 1 ( x ) + A 1 ( x ) q 1 ( x ) ( α 1 ( x ) α 3 ( x ) c 2 ) ,
i.e.,
c 2 q 1 ( x ) = q 1 ( x ) ( α 3 ( x ) α 1 ( x ) + c 2 A 1 ( x ) ) ,
which is not possible because the left-hand side of this equality has less degree than the right-hand side and c 2 0 and q 1 ( x ) 0 (otherwise would be constant a contradiction). In short, Case 1 is not possible.
Case 2.
q 1 ( x ) and s 2 ( x ) are not coprime We write
q 1 ( x ) = R 1 ( x ) R 2 ( x ) , s 2 ( x ) = R 1 ( x ) R 3 ( x )
with R 1 ( x ) , R 2 ( x ) , R 3 ( x ) R [ x ] and R 1 ( x ) R .
We consider two different subcases.
Subcase 2.1 : R 3 ( x ) = R R . So s 2 ( x ) = R 1 ( x ) R and q 1 ( x ) = R 2 ( x ) s 2 ( x ) / R .
We also consider two cases
2.1.1 : R 2 ( x ) = R 2 R . From (7) we have q 1 ( x ) s 1 ( x ) = q 2 ( x ) s 2 ( x ) and so q 2 ( x ) = R 2 s 1 ( x ) / R . Then
p 1 ( x ) = R 2 R s 1 ( x ) s 2 ( x ) , p 2 ( x ) = R 2 R s 2 ( x ) ( s 1 ( x ) + c 1 ) , p 3 ( x ) = R 2 R s 1 ( x ) ( s 2 ( x ) + c 2 ) .
Note that taking s ^ 1 = s 1 / c 1 we can write
p 1 ( x ) = R 2 c 1 R s ^ 1 ( x ) s 2 ( x ) , p 2 ( x ) = R 2 c 1 R s 2 ( x ) ( s ^ 1 ( x ) + 1 ) , p 3 ( x ) = R 2 c 1 R s ^ 1 ( x ) ( s 2 ( x ) + c 2 ) .
From p 1 ( x ) , p 2 ( x ) , (17) and (20) we get
A 3 ( x ) = R 2 c 1 R 2 s 2 ( x ) s 1 ( x ) ( s 1 ( x ) + c 1 ) ( s 2 ( x ) + A 2 ( x ) s 2 ( x ) ) ,
and from p 1 ( x ) , p 3 ( x ) , (17) and (20) we obtain
A 3 ( x ) = R 2 c 1 R 2 s 2 ( x ) s ^ 1 ( x ) ( s ^ 1 ( x ) + A 1 ( x ) s ^ 1 ( x ) ) ( s 2 ( x ) + c 2 ) ,
and so
( s 2 ( x ) + A 1 ( x ) s 2 ( x ) ) ( s ^ 1 ( x ) + 1 ) = ( s ^ 1 ( x ) + A 1 ( x ) s ^ 1 ( x ) ) ( s 2 ( x ) + c 2 ) ,
which yields
s 2 ( x ) s 2 ( x ) + c 2 s ^ 1 ( x ) s ^ 1 ( x ) + 1 = A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) c 1 ) ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) .
We consider two cases: if deg ( A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) c 1 ) ) > d e g ( ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) ) then we write
A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) c 1 ) = A ^ 1 ( x ) ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) + A 1 * ( x )
where deg ( A 1 * ( x ) ) < deg ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) . Integrating we get
( s 2 ( x ) + c 2 ) = ( s ^ 1 ( x ) + 1 ) exp κ + A ^ 1 ( x ) d x · exp A 1 * ( x ) ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) ,
where κ is the constant of integration. Note that the first factor in (23) cannot cancel with the second factor of (23) and this gives a contradiction because s 2 ( x ) + c 2 and s ^ 1 ( x ) + 1 are polynomials. So, we must have that deg ( A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) c 1 ) ) d e g ( ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) ) . Then we introduce the notation
B ( x ) = A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) ) , C ( x ) = ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) .
Let D ( x ) = ( B ( x ) , C ( x ) ) and write B ( x ) = B ¯ ( x ) D ( x ) , C ( x ) = C ¯ ( x ) D ( x ) . Then if C ¯ ( x ) is not square-free with an affine change of variables we can write C ¯ ( x ) = x μ r ( x ) with r ( 0 ) 0 . Moreover, B ¯ ( 0 ) 0 because C ¯ ( x ) and B ¯ ( x ) are coprime. Therefore, if we develop B ¯ ( x ) ( x ) / C ¯ ( x ) in simple fractions of x we obtain
B ¯ ( x ) C ¯ ( x ) = d μ x μ + d μ 1 x μ 1 + + d 1 x + α ( x ) r ( x )
where α ( x ) is a polynomial with deg ( α ( x ) ) < deg ( r ( x ) ) and d i C for i = 1 , , μ . Note that d μ = B ¯ ( 0 ) / C ¯ ( 0 ) 0 . Integrating we get
( s 2 ( x ) + c 2 ) = ( s ^ 1 ( x ) + 1 ) exp κ + d μ 1 μ 1 x μ 1 × exp d μ 1 x μ 1 + + d 1 x + α ( x ) r ( x ) d x ,
where κ is the constant of integration. The first exponential factor cannot cancel with any part of the second exponential factor and we get to a contradiction with the fact that s 1 ( x ) s 2 ( x ) is a polynomial. So, C ¯ ( x ) is square-free. Then we have that
B ¯ ( s ) C ¯ ( s ) d s = log h ( x ) , h ( x ) R [ x ] { 0 } .
Therefore,
B ¯ ( x ) C ¯ ( x ) = h ( x ) h ( x ) ,
where h ( x ) is square-free and so h ( x ) and h ( x ) are coprime. Hence C ¯ ( x ) = h ( x ) and B ¯ ( x ) = C ¯ ( x ) . From (10) and (25) we have
( s 2 ( x ) + c 2 ) = ( s ^ 1 ( x ) + 1 ) ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + 1 ) D ( x ) .
Therefore, we have that
D ( x ) = ( s ^ 1 + 1 ) 2 .
So,
( s 2 + c 2 ) = C ¯ ( x ) ( s ^ 1 + 1 ) 2 , A 1 ( x ) ( s ^ 1 ( x ) c 2 s 2 ( x ) ) = ( s ^ 1 + 1 ) 2 C ¯ ( x )
which yields
A 1 ( x ) ( ( s ^ 1 ( x ) + 1 ) c 2 ( s 2 ( x ) + c 2 ) ) = A 1 ( x ) ( c 2 C ¯ ( x ) ) = ( s ^ 1 + 1 ) C ¯ ( x )
Solving this last linear equation we get
C ¯ ( x ) = exp A 1 ( x ) s ^ 1 ( x ) + 1 d x κ + c 2 ,
where κ R is the constant of integration. Since C ¯ ( x ) must be a polynomial if we write S 1 ( x ) = ( A 1 ( x ) , s ^ 1 ( x ) + 1 ) so that A 1 ( x ) = S 1 ( x ) S 2 ( x ) and s ^ 1 ( x ) + 1 = S 1 ( x ) S 3 ( x ) then proceeding as above we get that deg ( S 2 ( x ) ) < deg ( S 3 ( x ) ) and S 3 ( x ) must be square-free and then
c 1 A 1 ( x ) s ^ 1 ( x ) + 1 d x = c 1 S 2 ( x ) S 3 ( x ) d x = log r ( x ) , r R [ x ]
yielding S 3 ( x ) = r ( x ) and S 2 ( x ) = r ( x ) . Hence,
C ¯ ( x ) = κ S 3 ( x ) + c 2 , κ R { 0 } .
Note that if κ = 0 then C ¯ ( x ) = c 2 which yields A 1 ( x ) ( ( s ^ 1 ( x ) + 1 ) c 2 ( s 2 ( x ) + c 2 ) ) = 0 . Since A 1 ( x ) 0 we must have
c 2 ( s ^ 1 + 1 ) = s 2 + c 2 = C ¯ ( x ) ( s ^ 1 + 1 ) 2 = c 2 ( s ^ 1 + 1 ) 2
and so
1 = s ^ 1 + 1 t h a t i s s ^ 1 = 0 ,
which is not possible.
In short, κ R { 0 } and
s 2 ( x ) + c 2 = ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 3 ( x ) 2 , s ^ 1 ( x ) + 1 = S 1 ( x ) S 3 ( x ) , A 1 ( x ) = S 1 ( x ) S 3 ( x ) .
Hence
A 2 ( x ) = R 2 c 1 R 2 ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 3 ( x ) 2 ( S 1 ( x ) S 3 ( x ) 1 ) · ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 2 ( x ) 2 c 2 · S 1 ( x ) S 3 ( x ) + 2 S 1 ( x ) S 3 ( x ) S 1 ( x ) 2 S 3 ( x ) S 3 ( x )
Doing the rescaling Y = β y , we can assume that the constant ( R 2 c 1 / R ) 2 = 1 .
In short
p 1 ( x ) = s ^ 1 ( x ) s 2 ( x ) = ( S 1 ( x ) S 3 ( x ) 1 ) ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 3 ( x ) 2 c 2 , p 2 ( x ) = s 2 ( x ) ( s ^ 1 ( x ) + 1 ) = S 1 ( x ) S 3 ( x ) ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 3 ( x ) 2 c 2 , p 3 ( x ) = s ^ 1 ( x ) ( s 2 ( x ) + c 2 ) = ( S 1 ( x ) S 3 ( x ) 1 ) ( κ S 3 ( x ) + c 2 ) S 1 ( x ) 2 S 3 ( x ) 2 .
with
A 1 ( x ) = S 1 ( x ) S 3 ( x ) .
Note that s ^ 1 and s 2 are coprime. Indeed it follows from (27) that if x * is such that s 2 ( x * ) = s ^ 1 ( x * ) = 0 then (since S 1 ( x * ) S 3 ( x * ) = 1 ) we get
c 2 = ( κ S 3 ( x * ) + c 2 ) S 1 ( x * ) 2 S 3 ( x * ) 2 = κ S 3 ( x * ) + c 2
and so S 3 ( x * ) = 0 but then again from (27) we would have s 2 ( x * ) = c 2 and s 1 ( x * ) = 1 which is not possible. So, s ^ 1 ( x ) and s 2 ( x ) are coprime. Then, it follows from
Note that s ^ 1 and s 2 are coprime. Indeed it follows from (27) that if x * is such that s 2 ( x * ) = s ^ 1 ( x * ) = 0 then (since S 1 ( x * ) S 3 ( x * ) = 1 ) we get
c 2 = ( κ S 3 ( x * ) + c 2 ) S 1 ( x * ) 2 S 3 ( x * ) 2 = κ S 3 ( x * ) + c 2
and so S 3 ( x * ) = 0 but then again from (27) we would have s 2 ( x * ) = c 2 and s 1 ( x * ) = 1 which is not possible. So, s ^ 1 ( x ) and s 2 ( x ) are coprime. Then, it follows from the first and third relation in (28) (using (26)) implies
A 3 ( x ) = s ^ 1 ( x ) s 2 ( x ) ( s 2 ( x ) + c 2 ) ( s ^ 1 ( x ) + A 1 s ^ 1 ( x ) ) = s ^ 1 ( x ) s 2 ( x ) C ( x ) ( s ^ 1 ( x ) + 1 ) 2 ( s ^ 1 ( x ) + A 1 ( x ) s ^ 1 ( x ) )
and from the second and third relation in (28) that
A 3 ( x ) = s ^ 1 ( x ) s 2 ( x ) C ( x ) ( s ^ 1 ( x ) + 1 ) 2 ( ( s ^ 1 ( x ) + 1 ) + A 1 ( x ) ( s ^ 1 ( x ) + 1 ) ) .
However, then it follows from (29) and (30) that
( s ^ 1 ( x ) + A 1 ( x ) s ^ 1 ( x ) ) = ( s ^ 1 ( x ) + 1 ) + A 1 ( x ) ( s ^ 1 ( x ) + 1 )
that is A 1 ( x ) = 0 , which is not possible. In short this case is not possible.
2.1.2 : R 2 ( x ) R [ x ] R . Since R 3 ( x ) = R we have s 2 ( x ) = R 1 ( x ) R and q 1 ( x ) = R 2 ( x ) s 2 ( x ) / R . From (19) we get
R 2 ( x ) s 1 ( x ) c 2 R = R 2 ( x ) s 2 ( x ) c 1 + q 3 ( x ) c 3 ( x ) ,
and so
q 3 ( x ) = R 2 ( x ) c 3 s 1 ( x ) c 2 c 1 s 2 ( x ) R .
Since q 1 ( x ) s 1 ( x ) = q 2 ( x ) s 2 ( x ) we get q 2 ( x ) = R 2 ( x ) s 1 ( x ) / R . In short
p 1 ( x ) = R 2 ( x ) R s 1 ( x ) s 2 ( x ) , p 2 ( x ) = R 2 ( x ) R s 2 ( x ) ( s 1 ( x ) + c 1 ) , p 3 ( x ) = R 2 ( x ) R s 1 ( x ) ( s 2 ( x ) + c 2 ) .
We consider two cases:
2.1.2.1 : s 1 ( x ) and s 2 ( x ) are coprime. In this case the maximum common divisor between p 2 ( x ) and p 3 ( x ) is R 2 ( x ) and so from (17) we get
A 3 ( x ) = R 2 ( x ) R 2 s 2 ( x ) ( R 2 ( x ) s 2 ( x ) ) + A 1 ( x ) R 2 ( x ) s 2 ( x ) s 1 ( x ) ( s 1 ( x ) + c 1 ) = R 2 ( x ) R 2 s 2 ( x ) s 1 ( x ) ( R 2 ( x ) + A 1 ( x ) R 2 ( x ) ) ( s 1 ( x ) + c 1 ) ( s 2 ( x ) + c 2 ) ,
and so
( R 2 ( x ) s 2 ( x ) ) + A 1 ( x ) R 2 ( x ) s 2 ( x ) = ( R 2 ( x ) + A 1 ( x ) R 2 ( x ) ) ( s 2 ( x ) + c 2 ) ,
that is
R 2 ( x ) c 2 = R 2 ( x ) ( s 2 ( x ) A 1 ( x ) c 2 ) ,
which is not possible because the left-hand side of the above expression has less degree than the right-hand side and R 2 ( x ) 0 and c 2 0 .
2.1.2.2 : s 1 ( x ) and s 2 ( x ) are not coprime. In this case we write
s 1 ( x ) = κ ( x ) s ^ 1 ( x ) , s 2 ( x ) = κ ( x ) s ^ 2 ( x ) ,
with κ ( x ) , s ^ 1 ( x ) , s ^ 2 ( x ) R [ x ] with κ ( x ) R . Then
p 1 ( x ) = R 2 ( x ) R κ 2 ( x ) s ^ 1 ( x ) s ^ 2 ( x ) , p 2 ( x ) = R 2 ( x ) R κ ( x ) s ^ 2 ( x ) ( κ ( x ) s ^ 1 ( x ) + c 1 ) , p 3 ( x ) = R 2 ( x ) R κ ( x ) s ^ 1 ( x ) ( κ ( x ) s ^ 2 ( x ) + c 2 ) .
Then
A 3 ( x ) = R 2 ( x ) R 2 κ ( x ) ( R 2 ( x ) κ ( x ) ) + A 1 ( x ) R 2 ( x ) κ ( x ) s ^ 2 ( x ) ( κ ( x ) s ^ 1 ( x ) + c 1 ) · s ^ 1 ( x ) ( κ ( x ) s ^ 2 ( x ) + c 2 ) = R 2 ( x ) R 2 κ ( x ) s ^ 2 ( x ) ( R 2 ( x ) κ ( x ) s ^ 2 ( x ) ) + A 1 ( x ) R 2 ( x ) κ ( x ) s ^ 2 ( x ) s ^ 1 ( x ) · ( κ ( x ) s ^ 1 ( x ) + c 1 ) κ ( x ) ,
and so
( R 2 ( x ) κ ( x ) ) + A 1 ( x ) R 2 ( x ) κ ( x ) ( κ ( x ) s ^ 2 ( x ) + c 2 ) = κ ( x ) ( R 2 ( x ) κ ( x ) s ^ 2 ( x ) ) + A 1 ( x ) R 2 ( x ) κ ( x ) s ^ 2 ( x ) ,
which yields
( R 2 ( x ) κ ( x ) ) c 2 = ( R 2 ( x ) κ ( x ) ) κ ( x ) ( s ^ 2 ( x ) A 1 ( x ) c 2 ) .
This is not possible because the left hand side has less degree than the right hand side and c 2 ( R 2 ( x ) κ ( x ) ) 0 . In summary, Subcase 2 . 1 . 2 is not possible.
Subcase 2.2 : R 2 ( x ) R [ x ] R . We have q 1 ( x ) = R 1 ( x ) R 2 ( x ) and s 2 ( x ) = R 1 ( x ) R 3 ( x ) . Then
R 2 ( x ) s 1 ( x ) c 2 R 3 ( x ) = R 1 ( x ) R 2 ( x ) c 1 + q 3 ( x ) c 3 .
In particular there exists T ( x ) R [ x ] so that
q 3 ( x ) = R 2 ( x ) T ( x ) ,
and so
s 1 ( x ) c 2 R 3 ( x ) = R 1 ( x ) c 1 + T ( x ) c 3 ,
which yields s 1 ( x ) = R 4 ( x ) R 3 ( x ) . Therefore, from p 1 ( x ) in (7) we get
q 2 ( x ) s 2 ( x ) = q 1 ( x ) s 1 ( x ) = R 1 ( x ) R 2 ( x ) R 3 ( x ) R 4 ( x ) = q 2 ( x ) R 1 ( x ) R 3 ( x )
and so
q 2 ( x ) = R 2 ( x ) R 4 ( x ) .
Hence we have
p 1 ( x ) = q 1 ( x ) s 1 ( x ) = R 1 ( x ) R 2 ( x ) R 3 ( x ) R 4 ( x ) , p 2 ( x ) = q 1 ( x ) ( s 1 ( x ) + c 1 ) = R 1 ( x ) R 2 ( x ) ( R 3 ( x ) R 4 ( x ) + c 1 ) , p 3 ( x ) = q 2 ( x ) ( s 2 ( x ) + c 2 ) = R 2 ( x ) R 4 ( x ) ( R 1 ( x ) R 3 ( x ) + c 2 ) .
We consider two cases.
2.2.1 : R 1 ( x ) and R 4 ( x ) are coprime. We have
A 3 ( x ) = R 1 ( x ) R 2 ( x ) ( R 1 ( x ) R 2 ( x ) ) + A 1 ( x ) R 1 ( x ) R 2 ( x ) R 3 ( x ) R 4 ( x ) · ( R 3 ( x ) R 4 ( x ) + c 1 ) = R 2 ( x ) ( R 2 ( x ) + A 1 ( x ) R 2 ( x ) ) R 1 ( x ) R 4 ( x ) ( R 3 ( x ) R 4 ( x ) + c 1 ) · ( R 1 ( x ) R 3 ( x ) + c 2 ) ,
and so
( R 1 ( x ) R 2 ( x ) ) + A 1 ( x ) R 1 ( x ) R 2 ( x ) R 3 ( x ) = ( R 2 ( x ) + A 1 ( x ) R 2 ( x ) ) ( R 1 ( x ) R 3 ( x ) + c 2 ) ,
which yields
R 2 ( x ) ( R 1 ( x ) R 3 ( x ) A 1 ( x ) c 2 ) = c 2 R 2 ( x ) .
This is not possible because the right hand side has less degree than the left hand side and c 2 R 2 ( x ) 0 .
2.2.2 : R 1 ( x ) and R 4 ( x ) are not coprime. We write
R 1 ( x ) = R ( x ) R ^ 1 ( x ) , R 4 ( x ) = R ( x ) R ^ 4 ( x )
where R ( x ) , R ^ 1 ( x ) , R ^ 4 ( x ) R [ x ] with R ( x ) R . Note that
p 1 ( x ) = q 1 ( x ) s 1 ( x ) = R 2 ( x ) R ^ 1 ( x ) R 2 ( x ) R 3 ( x ) R ^ 4 ( x ) , p 2 ( x ) = q 1 ( x ) ( s 1 ( x ) + c 1 ) = R ( x ) R ^ 1 ( x ) R 2 ( x ) ( R 3 ( x ) R ( x ) R ^ 4 ( x ) + c 1 ) , p 3 ( x ) = q 2 ( x ) ( s 2 ( x ) + c 2 ) = R 2 ( x ) R ( x ) R ^ 4 ( x ) ( R ( x ) R ^ 1 ( x ) R 3 ( x ) + c 2 ) .
Then
A 3 ( x ) = ( R ( x ) R ^ 1 ( x ) R 2 ( x ) ) + A 1 ( x ) R ( x ) R ^ 1 ( x ) R 2 ( x ) R ( x ) R ^ 1 ( x ) R 2 ( x ) R ( x ) · R 3 ( x ) R ^ 4 ( x ) ( R 3 ( x ) R ( x ) R ^ 4 ( x ) + c 1 ) = R ( x ) R 2 ( x ) ( R ( x ) R 2 ( x ) ) + A 1 ( x ) R ( x ) R 2 ( x ) R ^ 1 ( x ) R ^ 4 ( x ) ( R 3 ( x ) R 4 ( x ) + c 1 ) ( R ( x ) R ^ 1 ( x ) R 3 ( x ) + c 2 ) ,
and so
( R ( x ) R ^ 1 ( x ) R 2 ( x ) ) + A 1 ( x ) R ^ 1 ( x ) R 2 ( x ) R ( x ) R 3 ( x ) = ( R ( x ) R 2 ( x ) ) + A 1 ( x ) R ( x ) R 2 ( x ) ( R ( x ) R ^ 1 ( x ) R 3 ( x ) + c 2 ) ,
which yields
R ( x ) R 2 ( x ) ( R ^ 1 ( x ) ) R ( x ) R 3 ( x ) A 1 ( x ) = c 2 ( R ( x ) R 2 ( x ) ) .
This is not possible because the right hand side has less degree than the left hand side and c 2 ( R ( x ) R 2 ( x ) ) 0 . So subcase 2 . 2 is not possible.
In short we have proved that there are at most two rational limit cycles when A 1 0 . This completes the proof of the theorem. □
Now we provide an Abel Equation (1) with two rational limit cycles. Take
A 1 ( x ) = 1 , A 2 ( x ) = 2 7 x x 2 2 x 3 2 x 4 , A 3 ( x ) = ( 1 x + x 2 ) ( 2 x + x 2 ) ( 3 x + x 2 ) ( 1 + x + x 2 ) .
Then system (1) has the two rational solutions y i ( x ) = 1 / p i ( x ) for i = 1 , 2 with
p 1 ( x ) = ( x 2 x + 1 ) ( x 2 x + 2 ) , p 2 ( x ) = ( x 2 x + 2 ) ( x 2 x + 3 ) .
Note that p i ( 0 ) = p i ( 1 ) for i = 1 , 2 and p i ( x ) 0 for x [ 0 , 1 ] . In short, the Abel system that we have constructed has two rational limit cycles.

Funding

This research was partially supported by FCT/Portugal through UID/MAT/04459/2019.

Acknowledgments

Partially supported by FCT/Portugal through UID/MAT/04459/2019.

Conflicts of Interest

The author declares no conflict of interest.

References

  1. Cima, A.; Gasull, A.; Manosas, F.M. On the number of polynomial solutions of Bernouilli and Abel polynomial differential equations. J. Differ. Equ. 2017, 263, 7099–7122. [Google Scholar] [CrossRef] [Green Version]
  2. Gasull, A.; Torregrossa, J.; Zhang, X. The number of polynomial solutions of polynomial Riccati equations. J. Differ. Equ. 2016, 261, 5071–5093. [Google Scholar] [CrossRef] [Green Version]
  3. Gasull, A.; Llibre, J. Limit cycles for a class of Abel equations. SIAM J. Math. Anal. 1990, 21, 1235–1244. [Google Scholar] [CrossRef]
  4. Álvarez, A.; Bravo, J.L.; Fernández, M. The number of limit cycles for generalized Abel equations with periodic coefficients of definite sign. Commun. Pure Appl. Anal. 2009, 8, 1493–1501. [Google Scholar] [CrossRef]
  5. Álvarez, M.J.; Bravo, J.L.; Fernández, M. Existence of non-trivial limit cycles in Abel equations with symmetries. Nonlinear Anal. 2013, 84, 18–28. [Google Scholar] [CrossRef] [Green Version]
  6. Álvarez, A.; Bravo, J.L.; Fernández, M. Limit cycles of Abel equations of the first kind. J. Math. Anal. Appl. 2015, 423, 734–745. [Google Scholar] [CrossRef]
  7. Álvarez, M.J.; Bravo, J.L.; Fernández, M.; Prohens, R. Centers and limit cycles for a family of Abel equations. J. Math. Anal. Appl. 2017, 453, 485–501. [Google Scholar] [CrossRef]
  8. Álvarez, M.J.; Bravo, J.L.; Fernández, M.; Prohens, R. Alien limit cycles in Abel equations. J. Math. Anal. Appl. 2020, 482, 123525. [Google Scholar] [CrossRef]
  9. Álvarez, M.J.; Gasull, A.; Yu, J. Lower bounds for the number of limit cycles of trigonometric Abel equations. J. Math. Anal. Appl. 2008, 342, 682–693. [Google Scholar] [CrossRef] [Green Version]
  10. Bravo, J.L.; Fernández, M.; Gasull, A. Limit cycles for some Abel equations having coefficients without fixed signs. Int. J. Bifur. Chaos 2009, 19, 3869–3876. [Google Scholar] [CrossRef]
  11. Bravo, J.L.; Fernández, M.; Gasull, A. Stability of singular limit cycles for Abel equations. Discrete Contin. Dyn. Syst. 2015, 35, 1873–1890. [Google Scholar] [CrossRef] [Green Version]
  12. Fossas, E.; Olm, J.M.; Sira-Ramírez, H. Iterative approximation of limit cycles for a class of Abel equations. Physics D 2008, 237, 3159–3164. [Google Scholar] [CrossRef]
  13. Françoise, J.P. Local Bifurcations of Limit Cycles, Abel Equations and Liénard Systems. Normal Forms, Bifurcations and Finiteness Problems in Differential Equations; NATO Sci. Ser. II Math. Phys. Chem., 137; Kluwer Academic Publishers: Dordrecht, The Netherlands, 2004; pp. 187–209. [Google Scholar]
  14. Françoise, J.P. Integrability and Limit Cycles for Abel Equations. Algebraic Methods in Dynamical Systems; Banach Center Publications: Warsaw, Poland, 2011; pp. 187–196. [Google Scholar]
  15. Gasull, A. From Abel’s differential equations to Hilbert’s sixteenth problem. Butl. Soc. Catalana Mat. 2013, 28, 123–146. (In Catalan) [Google Scholar]
  16. Giné, J.; Grau, M.; Llibre, J. On the polynomial limit cycles of polynomial differential equations. Israel J. Math. 2011, 181, 461–475. [Google Scholar] [CrossRef] [Green Version]
  17. Huang, J.; Liang, H. Estimate for the number of limit cycles of Abel equation via a geometric criterion on three curves. NoDEA Nonlinear Differ. Equ. Appl. 2017, 24, 31. [Google Scholar] [CrossRef]
  18. Ilyashenko, Y. Hilbert-type numbers for Abel equations, growth and zeros of holomorphic functions. Nonlinearity 2000, 13, 1337–1342. [Google Scholar] [CrossRef]
  19. Liu, C.; Li, C.; Wang, X.; Wu, J. On the rational limit cycles of Abel equations. Chaos Solitons Fractals 2018, 110, 28–32. [Google Scholar] [CrossRef]
  20. Lloyd, N.G. A note on the number of limit cycles in certain two-dimensional systems. J. Lond. Math. Soc. 1979, 20, 277–286. [Google Scholar] [CrossRef]
  21. Neto, A.L. On the number of solutions of the equation dx dt = j = 0 n a j ( t ) x j , 0 t 1 , for which x(0) = x(1). Invent. Math. 1980, 59, 67–76. [Google Scholar] [CrossRef]
  22. Torres, P. Existence of closed solutions for a polynomial first order differential equation. J. Math. Anal. Appl. 2007, 328, 1108–1116. [Google Scholar] [CrossRef] [Green Version]
  23. Valls, C. Rational limit cycles on Bernouilli and Riccati equations. J. Geom. Phys. 2020, 155, 103705. [Google Scholar] [CrossRef]
  24. Wang, G.D.; Chen, W.C. The number of closed solutions to the Abel equation and its application. J. Syst. Sci. Math. Sci. 2005, 25, 693–699. (In Chinese) [Google Scholar]
  25. Xie, X.D.; Cai, S.L. The number of limit cycles for the Abel equation and its application. Gaoxiao Yingyong Shuxue Xuebao Ser. A 1994, 9, 266–274. (In Chinese) [Google Scholar]
  26. Zhang, J.F. Limit cycles for a class of Abel equations with coefficients that change sign. Ann. Math. Ser. A 1997, 18, 271–278. [Google Scholar]
  27. Zhang, J.F.; Chen, X.X. Some criteria for limit Cycles of a Class of Abel Equations. J. Fuzhou Univ. Nat. Sci. Ed. 1999, 27, 9–11. (In Chinese) [Google Scholar]
  28. Llibre, J.; Valls, C. Rational limit cycles on Abel equations. 2020. preprint. [Google Scholar]

Share and Cite

MDPI and ACS Style

Valls, C. Rational Limit Cycles on Abel Polynomial Equations. Mathematics 2020, 8, 885. https://doi.org/10.3390/math8060885

AMA Style

Valls C. Rational Limit Cycles on Abel Polynomial Equations. Mathematics. 2020; 8(6):885. https://doi.org/10.3390/math8060885

Chicago/Turabian Style

Valls, Claudia. 2020. "Rational Limit Cycles on Abel Polynomial Equations" Mathematics 8, no. 6: 885. https://doi.org/10.3390/math8060885

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