Journal of Nonlinear Mathematical Physics

Volume 27, Issue 4, September 2020, Pages 664 - 678

Integrability conditions of a weak saddle in generalized Liénard-like complex polynomial differential systems

Authors
Jaume Giné*
Departament de Matemàtica, Universitat de Lleida, Avda. Jaume II, 69; 25001 Lleida, Catalonia, Spain,gine@matematica.udl.cat
Claudia Valls
Departamento de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Av. Rovisco Pais 1049-001, Lisboa, Portugal,cvalls@math.ist.utl.pt
*Corresponding author.
Corresponding Author
Jaume Giné
Received 13 December 2019, Accepted 7 February 2020, Available Online 4 September 2020.
DOI
10.1080/14029251.2020.1819612How to use a DOI?
Keywords
Integrability problem; weak saddle; Liénard-like complex polynomial differential systems
Abstract

We consider the complex differential system

x˙=x+yf(x),y˙=y+xf(y),
where f is the analytic function f(z)=j=1ajzj with aj ∈ ℂ. This system has a weak saddle at the origin and is a generalization of complex Liénard systems. In this work we study its local analytic integrability.

Copyright
© 2020 The Authors. Published by Atlantis Press and Taylor & Francis
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

1. Introduction and statement of the main results

The center problem for polynomial vector fields in the real plane with an elementary singular point of the form

x˙=y+h.o.t.,y˙=x+h.o.t.
(where h.o.t. means higher order terms) has been the subject of many investigations during these last decades, see for instance [46, 10, 11, 14, 16] and the references therein. These type of systems can be embedded by the complex change of variables u = x + iy and v = ū = xiy into the complex system
u˙=u+h.o.t.,v˙=u+h.o.t.
The next extension of the above system is to consider analytic vector fields in ℂ2 of the form
u˙=λu+h.o.t.,v˙=μv+h.o.t.(1.1)
where λ, μ ∈ ℂ \ {0}. It was proved by Poincaré (see [2, 15]) that if λ/μ ∉ 𝕈+, then system (1.1) has no local analytic first integrals in a neighborhood of the origin. We recall that system (1.1) has a local analytic first integral in a neighborhood of the origin if there exists H : U ⊂ ℂ2 → ℂ analytic and U a neighborhood of the origin, such that H is constant along the solutions of system (1.1). However, if λ/μ = p/q ∈ 𝕈+ with gcd(p, q) = 1 (called the [p : q] resonant case) then adding some extra necessary conditions the analytic integrability is sometimes possible. To obtain these conditions note that changing the time, if necessary, the [p : q] resonant case can be written as
u˙=pu+h.o.t.,v˙=qv+h.o.t.(1.2)
with p, q positive integers. For this system the linear part has the analytic first integral H0(u, v) = uq vp and we can look for conditions on the existence of a formal first integral of the form
H(u,v)=H0(u,v)+h.o.t.
for system (1.2). Doing so, we get the equation
H˙(u,v)=Huu˙+Hvv˙=v1H02(u,v)+v3H03(u,v)+h.o.t.
and vi (called the [p : −q] resonant saddle quantities) are polynomials of the coefficients of the system in (1.2). If all the resonant saddle quantities vi are zero we say that we have a formal analytic resonant saddle (see for instance [1, 17]) and in this case it follows from [16] that there is a local analytic first integral.

In this paper we give a simple and self-contained proof of the characterization of the local analytic integrability of a complex analytic differential system in ℂ2 of the form

x˙=x+yf(x),y˙=y+xf(y),(1.3)
where f is an analytic function, that is,
f(z)=j=1ajzjwithaj.(1.4)

Systems with linear part of the form (1.3) have a weak saddle at the origin and were studied by several authors, see for instance [12, 13] where the nonlinearities only appear in one equation. The integrability of Liénard systems with a weak saddle were considered in [3]. System (1.3) is a generalization of these Liénard systems with a weak saddle at the origin, already started to be studied in [9].

Of course we also obtain the characterization of the C integrability of system (1.3) because in the proof we will obtain a formal first integral H that can be C or analytic around the origin. However by results given in [16] the first integral is always analytic. With the method used in the proof we cannot characterize the existence of a less regular first integral, for instance a Ck first integral.

First we consider the case in which a1 ≠ 0, and after that when a1 = 0, considering both cases in different theorems.

Theorem 1.1.

Consider system (1.3) with f=jnajzj with n ⩾ 1 and an ≠ 0. If n is odd, system (1.3) is locally integrable at the origin if and only if ak = 0 for k even, that is, f is odd.

The proof of Theorem 1.1 is given in section 2.

The case in which a1 = 0 with n even is more involved and we can only solve it completely for each fixed degree of f less than or equal to 8 (remains open the problem for a degree greater than 8 which is outside of our current computing facilities).

Theorem 1.2.

Consider system (1.3) with f=jnajzj with n ⩾ 1. For each fixed degree of f less than or equal to 8, system (1.3) is locally integrable at the origin if and only if one of the following conditions holds.

  1. (i)

    n odd and aj = 0 for j even,

  2. (ii)

    n ⩾ 4 even and aj = 0 for all j that is not of the form j = (2i + 1)(n − 2) + 2 with i ⩾ 0. Moreover we can give the following sufficient condition of integrability.

Theorem 1.3.

Consider system (1.3) with f=jnajzj with n > 1 and an ≠ 0. If n ⩾ 4 is even and aj = 0 for all j that is not of the form j = (2i + 1)(n − 2) + 2 with i ⩾ 0, then it is locally integrable at the origin.

The proof of Theorems 1.2 and 1.3 is given in sections 3 and 4, respectively. The results obtained makes us confident to make the following conjecture.

Conjecture 1.1.

System (1.3) with f=jnajzj with n > 1 and an ≠ 0 is locally integrable at the origin if and only if one of the conditions (i) or (ii) holds.

Note that system (1.3) has a resonant saddle [1 : −1] at the origin. The classical Liénard system is given by

x˙=z,y˙=xf(x)z.
Choosing the variables
z=yF(x)whereF(x)=0xf(s)ds
it can be transformed to
x˙=yF(x),y˙=x.
This system has been studied by several authors in the last decades, see [7] and the references therein. Recently in [3] it was given the characterization of the integrable complex analytic differential systems in ℂ2 of the form
x˙=yF(x),y˙=x.
This system has a weak saddle at the origin which corresponds with the [1 : −1] resonance case. Our result is then a generalization of this result because we study the Liénard-like system (1.3) that has also a weak saddle at the origin.

2. Proof of Theorem 1.1

We prove Theorem 1.1 for n = 1 and we separate it into the sufficiency and the necessity part. The proof of the general case can be obtained changing a1 by an.

Proof of sufficiency

System (1.3) under the assumptions of Theorem 1.1 takes the form

x˙=x+yj=1a2j1x2j1,y˙=y+xj=1a2j1y2j1,(2.1)

Doing the affine change of variables

x=(1i)u2+(1i)v2,y=(1+i)u2+(1i)v2,(2.2)
system (2.1) takes the form
u˙=v+v𝒫(u,v2),u˙=u+𝒬(u,v2).(2.3)

Hence system (2.3) is invariant by the symmetry (u, v, t) → (u, −v, −t). Taking z = v2 and the scaling of time dt = vdτ we get a non-singular point at the origin. The first integral which exists around the origin by the Flow-box theorem can be pulled back to a first integral of the form H(x, y) = xy+h.o.t. of the original system. So, sufficiency is proved.

Proof of necessity

Consider f(z)=i=1aizi with a1 ≠ 0. As explained in the introduction, to find the saddle quantities we propose a formal first integral of the form

H(x,y)=xy+k=3Hk(x,y),(2.4)
where Hk(x, y) are homogeneous polynomials that can be written as
Hk(x,y)=i+j=kci,jxiyj.(2.5)

Now we compute the derivative of H along the vector field associated to system (1.3) and we obtain a linear system for each function Hk. Note that

(xy)=y2f(x)+x2f(y)=k=2ak(xky2+ykx2)
and
ci,j(xiyj)=(ij)ci,jxiyj+ici,jxi1yj+1f(x)+jci,jxi+1yj1f(y).
So, a monomial Rl1,l2xl1yl2 can be written as
Rl1,l2=cl1,l2(l1l2)+Tl1,l2
where
  1. (i)

    Tl,0 = T0,l = 0 for l ⩾ 1 and T1,1 = 0,

  2. (ii)

    for l ⩾ 1,

    T2,l={a1ifl=1,a2+2c1,2a1ifl=2,al+a2c1,l2+2a1c2,l1+j=2ljc1,jal+1jifl3,
    and
    Tl,2={a1ifl=1,a2+2c1,2a1ifl=2,al+a2cl2,1+2a1cl1,2+j=2ljcj,1al+1jifl3
    (we recall that c1,1 = 0),

  3. (iii)

    for l1 ≠ 2 and l2 ≠ 2 with l1 + l2 ⩾ 3,

    Tl1,l2=i=1l1ici,l21al1+1i+j=1l2jcl11,jal2+1j,
    with the convention that if i = 1 then l2 − 1 ⩾ 2 and if j = 1 then l1 − 1 ⩾ 2.

We first compute H3. In this case we have the linear system

(3000010000100003)(c3,0c2,1c1,2c0,3)=(0a1a10).(2.6)

From the second and third equations we get

c2,1=c1,2=a1.

The linear system for H4 is

(4000002000000000002000004)(c4,0c3,1c2,2c1,3c0,4)=(0c2,1a12a2c1,2a10)(2.7)

Taking into account that c1,2 = −c2,1 we deduce from the third equation that a2 = 0 and thus obtaining a first condition to have formal integrability of system (1.3). Moreover from the second and third equations we get

2c3,1=c2,1a1and2c1,3=c1,2a1
that is
c3,1=a122andc1,3=a122.

Now we compute the linear system for H5 and we get

(500000030000001000000100000030000005)(c5,0c4,1c3,2c2,3c1,4c0,5)=(0T4,1T3,2T2,3T1,40),
where
T4,1=c3,1a1,T1,4=c1,3a1,T3,2=3c2,1a2+3c3,1a1+c2,2a2,T2,3=3c1,2a2+3c1,3a1+c2,2a2.

Taking into account that a2 = 0 we get that T2,3 = 3c3,1a1 and T3,2 = 3c1,3a1. Moreover, since c3,1=c1,3=a122 we conclude that

T4,1=T1,4=a132andT2,3=T3,2.

So,

c5,0=c0,5=0,c4,1=c1,4=a133!andc3,2=c2,3=T3,2.

Now we prove the theorem by induction. Our induction hypothesis will be that for each n, we have

cn1,1=(1)nc1,n1=a1n2(n2)!,Ti,j=(1)i+j+1Tj,ifori+j=n3
and if n is even, then
a2=a4==an=0.

Note that since for ij we have ci,j = Ti,j/(ij), we can check that

ci,j=(1)i+jcj,ifori+j=n3
(the case in which i = j is trivially satisfied). In fact, until now we have proven the induction hypothesis for n = 2 and n = 3.

First we observe that it follows from the induction hypotheses that

Ti,j=(1)i+j+1Tj,ifori+j=n3.(2.8)

Indeed, taking the notation

j𝒜lifl+1jisodd,
by the induction hypotheses (i.e., a2 = 0 and al+1j = 0 for l + 1 − j even) and taking into account that in the definition of Ti,j given in (i)–(iii) we get that i + j < n, we readily obtain:
T2,l={a1ifl=1,2c1,2a1ifl=2,al+2a1c2,l1+j=2,j𝒜1ljc1,jal+1jifl3.

Hence, if l is odd then

T2,l={a1ifl=1,al+2a1c2,l1+j=2,j𝒜lljc1,jal+1jifl3odd={a1ifl=1,al+2a1(1)l+1cl1,2+j=2,j𝒜llj(1)j+1cj,1al+1jifl3odd={a1ifl=1,al+2a1cl1,2+j=2,j𝒜lljcj,1al+1jifl3odd=Tl,2
and if l is even (since by assumptions al = 0)
T2,l={2c1,2a1ifl=2,2a1c2,l1+j=2,j𝒜lljc1,jal+1jifl4even={2c1,2a1ifl=2,2a1cl1,2+j=2,j𝒜ll(1)j+1jc1,jal+1jifl4even={2c1,2a1ifl=2,2a1cl1,2j=2,j𝒜lljc1,jal+1jifl4even=Tl,2

Furthermore, proceeding in the same manner, taking the notation p = l1 + l2, we get

Tl1,l2=i=1,i𝒜l1l1ici,l21al1+1i+j=1,j𝒜l2l2jcl11,jal2+1j=i=1,i𝒜l1l1i(1)l21+icl21,ial1+1i+j=1,j𝒜l2l2j(1)l11+jcj,l11al2+1j=(1)pi=1,i𝒜l1l1i(1)l11+ici,l21al1+1i+(1)pi=1,i𝒜l2l2j(1)l21+jcl11,jal2+1j=(1)p+1i=1,i𝒜l1l1ici,l21al1+1i+(1)pj=1,j𝒜l2l2jcl11,jal2+1j=(1)p+1Tl2,l1=(1)l1+l2+1Tl2,l1.

This implies that (2.8) is satisfied. Furthermore, for any m we have that the linear system obtained so that H given in (2.4) is a formal first integral is

(m0000000m20000000000010000001000000000002m0000000m)(cm,0cm1,1c(m+1)/2,(m1)/2c(m1)/2,(m+1)/2c1,m1c0,m)(0c1,m2a1T(m+1)2,(m1)/2T(m1)2,(m+1)/2cm2,1a10),
if m is odd, and
(m000000m200000000000000000002m000000m)(cm,0cm1,1cm/2,m/2c1,m1c0,m)=(0c1,m2a1Tm/2,m/2cm2,1a10),
if m is even.

In particular, if n is odd the determinant of the above linear system is different from zero and hence the system is compatible and determined and so we can determine all the coefficients ci,j with i + j = n in the form

ci,j=11jTi,j=1ij(1)i+j+1Tj,i=(1)i+j1jiTj,i=(1)i+jcj,i.

In particular, for either i = 1 or j = 1 we get (see the definition of Tl1,1)

cn1,1=1n2Tn1,1=1n2a1cn2,1=a1n2(n2)!.

On the other hand, for m = n even, the determinant of the corresponding linear system is zero, so we have that all the coefficients ci,j where i + j = n with (i, j) ≠ (n/2, n/2) are completely determined and we have the extra condition

0=Tn/2,n/2.

Note that the conditions with i + j = n with (i, j) ≠ (n/2, n/2) follow exactly as in the case n odd and so we obtain that

ci,j=(1)i+jcj,iandcn1,1=a1n2(n2)!.

Now take m = 2n. Then proceeding as above we have the condition

0=Tn,n=i=1ni(ci,n1+cn1,i)an+1i=(c1,n1+cn1,1)an+i=2ni(ci,n1+cn1,i)an+1i=cn1,1(1+(1)n)an+i=2,i𝒜nnicn1,i(1+(1)n1+i)an+1i=a1n2(n2)!(1+(1)n)an+i=2,i𝒜nnicn1,i(1+(1)n+1i)an+1i=a1n2(n2)!(1+(1)n)an.

So, if n is odd we get the identity 0 = 0 and if n is even we get the identity

0=2a1n2(n2)!anwhichimpliesan=0,
as we wanted to show. This shows that when a1 ≠ 0 system (1.3) has a formal first integral when f is odd. Hence we have proved the necessity, completing the proof of Theorem 1.1.

3. Proof of Theorem 1.2

We first prove the sufficiency of Theorem 1.2. System (1.3) under the assumptions (i) of Theorem 1.2 takes the form (2.1) with a1 ≠ 0, or with a1 = 0. Both cases are included in Theorem 1.1. Hence the proof given in Theorem 1.1 is also valid for this case.

System (1.3) with f of degree less than or equal to 8 under the assumptions (ii) of Theorem 1.2 splits in two cases:

  1. (a)

    ak = 0 for k ≠ 4m with m ∈ ℕ,

  2. (b)

    ai = 0 for all i ⩽ 8 except for i = 6.

In fact case (a) is valid for any degree of f so we present the general proof of this case. Under the assumptions of case (a) system (1.3) takes the form

x˙=x+yj=1a4jx4j,y˙=y+xj=1a4jy4j.(3.1)

Doing the affine change of variables in (2.2), system (3.1) becomes system (2.3). Now proceeding as in the proof of the sufficiency part of Theorem 1.1 and we conclude that there exists a first integral of the form H(x, y) = xy + h.o.t. of the original system.

In the case (b) system (1.3) with f of degree less than or equal to 8 becomes

x˙=x(1+a6x5y),y˙=y(1+a6xy5).(3.2)

System (3.2) has the analytic first integral

H(x,y)=x5y54+5a6x5y5a6xy5,
that is well-defined around the origin. Hence we have an integrable saddle at the origin.

Now we prove the necessity of Theorem 1.2. As in the proof of Theorem 1.1. to find the saddle quantities we propose a formal first integral of the form in (2.4)(2.5). We first compute H3. In this case we have the linear system (2.6) with a1 = 0. Since the determinant of that linear system is compatible and determined, we get that ci,j = 0 for i + j = 3. The linear system for H4 is the one given in (2.7) with a1 = 0. From the third equation we get that a2 = 0. So, a condition to have a formal first integral in this case is a2 = 0. This proves that a necessary condition for system (1.3) with a1 = 0 to have a formal first integral is a2 = 0. The linear system for H5 is

(500000030000001000000100000030000005)(c5,0c4,1c3,2c2,3c1,4c0,5)=(00a3a300).

From here we have c5,0 = c4,1 = c1,4 = c0,5 = 0, c3,2 = −a3 and c2,3 = a3. The linear system for H6 gives the following result c6,0 = c5,1 = c3,3 = c1,5 = c0,6 = 0, c4,2 = −a4/2 and c2,4 = a4/2. Solving the different linear systems for H7, H8, H9, H10 and H11 we do not find any extra necessary condition. The linear system for H12 gives the condition a32a4. However to go further with this method is very difficult and we do not see how to prove by induction the conditions for any degree of f.

So, now we have fixed the degree of f less than or equal to 8 (due to the fact that the machine does not allow us to go further). In order to compute the necessity in this case we use the following method. Using the change of variables X = x + iy, Y = xiy and the scaling of time t ↦ −t/i system (1.3) takes the form

X˙=Y+F(X,Y),Y˙=X+G(X,Y),(3.3)

Taking polar coordinates X = r cosθ and Y = r sinθ system (3.3) becomes

r˙=s=2Ps(θ)rs,θ˙=1+s=2Qs(θ)rs1,(3.4)
where Ps and Qs are trigonometric polynomials of degree s. Now we propose a formal series of the form
H(r,θ)=m=2Hm(θ)rm,
where H2(θ) = 1/2 and Hm(θ) are homogeneous trigonometric polynomials with respect to θ of degree m. Imposing that this power series is a formal first integral of system (3.4)r we obtain
H˙(r,θ)=k=2V2kr2k,
where V2k are in fact the saddle constants that depend on the parameters of the original system (1.3). If we fix the degree of f equal to 8 and we compute the saddle constants for V4 to V84, and we compute the decomposition of the ideal generated by these constants we find the conditions given in Theorem 1.2. This completes the proof of the theorem.

4. Proof of Theorem 1.3

System (1.3) under the assumptions of Theorem 1.3 takes the form

x˙=x+yi=0a(2i+1)(n2)+2x(2i+1)(n2)+2,y˙=y+xi=0a(2i+1)(n2)+2y(2i+1)(n2)+2.(4.1)

Now we propose the change of variables

X=xyandY=xn2yn2.
Doing this change we obtain
X˙=y2f(x)+x2f(y),Y˙=(n2)xn3(x+yf(x))(n2)yn3(y+xf(y)),
that becomes
X˙=x2y2i=0a(2i+1)(n2)+2(x(2i+1)(n2)+y(2i+1)(n2)),Y˙=(n2)[(xn2+yn2)+xyi=0a(2i+1)(n2)+2(x(2i+2)(n2)y(2i+2)(n2))].
Note that
x(2i+1)(n2)+y(2i+1)(n2)=(xn2+yn2)j=02i(1)jx(2ij)(n2)yj(n2)(4.2)
and
x(2i+2)(n2)y(2i+2)(n2)=(xn2+yn2)j=02i+1(1)jx(2i+1j)(n2)yj(n2).(4.3)

Now we claim that

x(n2)j+y(n2)j=Pj(X,Y)forj2even(4.4)
where Pj is a polynomial for each j even and
x(n2)jy(n2)j=Qj(X,Y)forj1odd(4.5)
where Qj is a polynomial for each j odd.

The proofs of (4.4) and (4.5) will be done by induction on j. Since

x2(n2)+y2(n2)=(xn2yn2)2+2(xy)n2=Y2+2Xn2=P2(X,Y),
equation (4.4) holds for j = 2 and clearly (4.5) holds for j = 1 with Q1(X, Y) = Y. Now assume that (4.4) is true for j = − 2 with even and we shall prove it for j = . Note that by Newton’s binomial formula
(x(n2)y(n2))=k=0(k)(1)kx(k)(n2)yk(n2)=x(n2)+y(n2)+k=11(k)(1)kx(k)(n2)yk(n2).
So,
x(n2)+y(n2)=Yk=11(k)(1)kx(k)(n2)yk(n2)=Yk=1/21(k)(1)kx(k)(n2)yk(n2)k=/2+1(k)(1)kx(k)(n2)yk(n2)(/2)(1)/2X(n2)/2=Y(/2)(1)/2X(n2)/2k=1/21(k)(1)k(x(k)(n2)yk(n2)+xk(n2)y(k)(n2))=Y(/2)(1)/2X(n2)/2k=1/21(k)(1)k(xy)k(n2)(x(2k)(n2)+y(2k)(n2))=Y(/2)(1)/2X(n2)/2k=1/21(k)(1)kXk(n2)P2k(X,Y),
where in the last step we have used the induction hypothesis. So,
x(n2)+y(n2)=P(X,Y),
and claim (4.4) is proved.

Proceeding in the same manner we have that for odd

x(n2)y(n2)=Yk=11(k)(1)kx(k)(n2)yk(n2)=Yk=1(1)/2(k)(1)kx(k)(n2)yk(n2)k=(+1)/21(k)(1)kx(k)(n2)yk(n2)=Yk=1(1)/2(k)(1)k(x(k)(n2)yk(n2)+xk(n2)y(k)(n2))=Yk=1(1)/2(k)(1)k(xy)k(n2)(x(2k)(n2)+y(2k)(n2))=Yk=1(1)/2(k)(1)kXk(n2)Q2k(X,Y),
where in the last step we have used the induction hypothesis. So,
x(n2)y(n2)=Q(X,Y),
and claim (4.5) is proved.

Note that proceeding as above,

j=02i(1)jx(2ij)(n2)yj(n2)=x2i(n2)+y2i(n2)+j=12i1(1)jx(2ij)(n2)yj(n2)=x2i(n2)+y2i(n2)+j=1i1(1)jx(2ij)(n2)yj(n2)+j=i+12i1(1)jx(2ij)(n2)yj(n2)+(1)iXi(n2)=P2i(X,Y)+(1)iXi(n2)+j=1i1(1)j(x(2ij)(n2)yj(n2)+xj(n2)y(2ij)(n2))=P2i(X,Y)+(1)iXi(n2)+j=1i1(1)j(xy)j(n2)(x(2i2j)(n2)+y(2i2j)(n2))=P2i(X,Y)+(1)iXi(n2)+j=1i1(1)jXj(n2)P2i2j(X,Y)=P˜2i(X,Y),
where P˜2i is a polynomial. Hence, by equation (4.2) we have
x(2i+1)(n2)+y(2i+1)(n2)=(xn2+yn2)P˜2i(X,Y)(4.6)

Analogously we have

j=02i+1(1)jx(2i+1j)(n2)yj(n2)=(xn2+yn2)Q˜2i+1(X,Y)
where Q˜2i+1 is a polynomial. Hence, by equation (4.3) we get
x(2i+2)(n2)y(2i+2)(n2)=(xn2+yn2)Q˜2i+1(X,Y)(4.7)
and so,
X˙=x2y2(xn2+yn2)i=0a(2i+1)(n2)+2P˜2i(X,Y),Y˙=(n2)(xn2+yn2)[1+XQ˜2i+1(X,Y)].

Next we make a rescaling of time of the form = (xn2 + yn2)dt. In this way the above system becomes

X=x2y2i=0a(2i+1)(n2)+2P˜2i(X,Y),Y=(n2)[1+XQ˜2i+1(X,Y)],
where the dot means derivative in the new time τ. The above system does not have a singular point at the origin. Hence since it is polynomial in the variables (X, Y) it has an analytic first integral around the origin by the Flow-box theorem. This first integral can be pulled back to a first integral of the form H(x, y) = xy + h.o.t. of the original system. This completes the proof of the theorem.

Acknowledgements

The authors would like to thank the reviewers comments and suggestions that significantly improved the initial version of the paper. The first author is partially supported by a MINECO/ FEDER grant number MTM2017-84383-P and an AGAUR (Generalitat de Catalunya) grant number 2017SGR 1276. The second author is supported by FCT/Portugal through UID/MAT/04459/2013.

References

[3]A. Gasull and J. Giné, Integrability of Liénard systems with a weak saddle, Z. Angew. Phys, Vol. 68, 2017, pp. 68. :13
[14]A.S. Jarrah, R. Laubenbacher, and V.G. Romanovski, The Sibirsky component of the center variety of poly- nomial differential systems, J. Symbolic Comput, Vol. 35, 2003, pp. 577-589.
[15]H. Poincaré, Sur l’intégration des équations différentielles du premier ordre et du premier degrée I et II, Rendiconti del Circolo Matematico di Palermo, Vol. 5, 1891, pp. 161-191. ; 11 (1897) 193–239
Journal
Journal of Nonlinear Mathematical Physics
Volume-Issue
27 - 4
Pages
664 - 678
Publication Date
2020/09/04
ISSN (Online)
1776-0852
ISSN (Print)
1402-9251
DOI
10.1080/14029251.2020.1819612How to use a DOI?
Copyright
© 2020 The Authors. Published by Atlantis Press and Taylor & Francis
Open Access
This is an open access article distributed under the CC BY-NC 4.0 license (http://creativecommons.org/licenses/by-nc/4.0/).

Cite this article

TY  - JOUR
AU  - Jaume Giné
AU  - Claudia Valls
PY  - 2020
DA  - 2020/09/04
TI  - Integrability conditions of a weak saddle in generalized Liénard-like complex polynomial differential systems
JO  - Journal of Nonlinear Mathematical Physics
SP  - 664
EP  - 678
VL  - 27
IS  - 4
SN  - 1776-0852
UR  - https://doi.org/10.1080/14029251.2020.1819612
DO  - 10.1080/14029251.2020.1819612
ID  - Giné2020
ER  -