\documentclass[reqno]{amsart}
\usepackage{hyperref}
\usepackage{graphicx}

\AtBeginDocument{{\noindent\small
\emph{Electronic Journal of Differential Equations},
Vol. 2019 (2019), No. 15, pp. 1--25.\newline
ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu}
\thanks{\copyright 2019 Texas State University.}
\vspace{8mm}}

\begin{document}
\title[\hfilneg EJDE-2019/15\hfil Quadratic systems and invariant algebraic curves]
{Phase portraits of quadratic polynomial differential systems having
as solution some classical planar algebraic curves of degree 4}

\author[R. Benterki, J. Llibre \hfil EJDE-2019/15\hfilneg]
{Rebiha Benterki, Jaume Llibre}

\address{Rebiha Benterki \newline
D\'epartement de Math\'ematiques,
Universit\'e Bachir El Ibrahimi,
Bordj Bou Arr\'eridj 34265,
El Anasser, Algeria}
\email{r.benterki@univ-bba.dz}

\address{Jaume Llibre \newline
Departament de Matematiques,
Universitat Aut\`onoma de Barcelona,
08193 Bellaterra,
Barcelona, Catalonia, Spain}
\email{jllibre@mat.uab.cat}

\thanks{Submitted June 15, 2018. Published January 28, 2019.}
\subjclass[2010]{34C15, 34C25}
\keywords{Quadratic differential system; Poincar\'e disc;
 invariant algebraic curve}

\begin{abstract}
 We classify the phase portraits of quadratic polynomial differential
 systems having some relevant classic quartic algebraic curves as
 invariant algebraic curves, i.e.\ these curves are formed by orbits of
 the quadratic polynomial differential system.

 More precisely, we realize $16$ different well-known algebraic curves
 of degree $4$ as invariant curves inside the quadratic polynomial
 differential systems. These realizations produce $31$ topologically
 different phase portraits in the Poincar\'e disc for such quadratic
 polynomial differential systems.
\end{abstract}

\maketitle
\numberwithin{equation}{section}
\newtheorem{theorem}{Theorem}[section]
\newtheorem{proposition}[theorem]{Proposition}
\allowdisplaybreaks

\section{Introduction and statement of main results}\label{s1}

We call quadratic differential systems, simply \textit{quadratic
systems} or (QS), the differential systems of the form
\begin{equation}\label{fs1}
\dot{x}=P(x,y), \quad \dot{y}=Q(x,y),
\end{equation}
where $P$ and $Q$ are real  polynomials in the variables $x$ and $y$,
such that the $\max\{\deg(P),\deg(Q)\}=2$. Here the dot denotes, as
usual, differentiation with respect to the time t. To such a  system
one can  always  associate  the  quadratic vector field
$\mathcal{X}=P(x,y)\partial/\partial x+Q(x,y)\partial/\partial y$.

If  system  \eqref{fs1}  has  an algebraic  trajectory  curve,  which
is defined by a  zero set of a polynomial, $ h(x,y)=0$. Then it is
clear that the derivative of $h$ with respect to the time  will not
change along  the curve $h=0$, and by the Hilbert's Nullstellensatz
(see for instance \cite{Ful}) we have
\begin{equation}\label{gk}
\frac{dh}{dt}=\frac{\partial h}{\partial x}P+ \frac{\partial
h}{\partial y}Q=h k,
\end{equation}
where $k$ is a polynomial  in $x$ and $y$ of  degree  at  most $1$,
called the {\it cofactor} of the {\it invariant algebraic curve}
$h(x,y)=0$. For more details on the invariant algebraic curves of a
polynomial differential system see Chapter 8 of \cite{DLA}.

Recently the quadratic systems have been intensely studied using
algebraic, geometric, analytic and numerical tools. More than one
thousand papers on these systems have been published, see for
instance the books of Ye Yanquian et al.\ \cite{Ye}, Reyn \cite{Re},
and Art\'es et al.\ \cite{Ar} and the references quoted therein.

The main goal of this article is to characterize the global phase
portraits in the Poincar\'e disc of the quadratic systems having some
relevant classical invariant algebraic curves of degree $4$. More
precisely, having the invariant algebraic curves from Table \ref{table1}.

\begin{table}[ht]
\caption{Classical algebraic curves of degree $4$
realizable by  quadratic systems.} \label{table1}
\begin{center}
\begin{tabular}{||l|p{7.8cm}||} \hline  Name & Curve
\\
\hline \hline
Oblique Bifolium & $f_1(x,y)=-x^2 (ax + by) + (x^2 + y^2 )^2$, $ab\neq 0$ \\
\hline
Right Bifolium & $f_2(x, y)= -ax^3 +(x^2 + y^2 )^2$, $a\neq 0$\\
\hline
Bow &  $f_3(x, y)= x^4-x^2y+y^3$, \\
\hline
Cardioid & $f_4(x, y)= (x^2 + y^2-ax)^2 -a^2 (x^2 + y^2 )$, $a\neq 0$  \\
\hline
Campila &$f_5(x, y)= (x^2 + y^2 )-a^2 x^4$, $a\neq 0$ \\
\hline
K\"{u}lp's Concoid & $f_6(x, y) = -a^2 (a^2-x^2 ) + x^2 y^2$, $a\neq 0$\\
\hline
Steiner's Curve & $f_7(x, y) =-27r^4+18r^2(x^2+y^2)+(x^2+y^2)^2+8rx(3y^2-x^2)$,  
$r\neq 0$\\
\hline
Simple Folium &   $f_{8}(x, y) = -4rx^3 +(x^2+ y^2)^2$,  $r\neq 0$  \\
\hline
Montferrier's Lemniscate & $f_{9}(x, y) = x^2 (x^2-a^2 )+ b^2 y^2$, $ab\neq 0$    \\
\hline
Pear Curve &   $f_{10}(x, y) = r^4-2r^3 y + (x-r)^2 y^2$, $r\neq 0$       \\
\hline
Besace & $f_{11}(x,y)=(x^2-b y )^2-a^2 (x^2-y ^2) $, $ab\neq 0$ \\
\hline
Piriform &  $f_{12}(x,y)= b^2y^2-x^3(a-x)$, $ab \neq 0$      \\
\hline
Ramphoid cusp & $f_{13}(x,y)=y^4-2 a x y^2-4 a x^2 y-a x^3 + a^2 x^2$, $a\neq 0$    \\
\hline
Lima\c con of Pascal &  $f_{14}(x,y)=(x ^2 + y ^2 - b a x)^2 - a^2 (x^2 + y^2)$, 
$ab\neq 0$    \\
\hline
\end{tabular}
\end{center}
\end{table}

Our first main result is the following.

\begin{theorem}\label{thm1}
The global phase portraits of the planar quadratic polynomial
differential systems \eqref{fs1}, with the polynomials $P$ and $Q$
coprime, exhibiting an invariant algebraic curve of degree $4$ of
Table 1, are topologically equivalent to the phase portraits of the
following systems:
\begin{itemize}
\item[(i)] QS  with the  \textit{Oblique Bifolium} invariant curve: 
\begin{align*}
\dot{x}&=3b^3x+6abx^2-8(3a^2+2b^2)xy-2aby^2, \\
\dot{y}&=-ab^2x+2b^3y+2(3a^2+2b^2)x^2+ 8abx y-6(3a^2+2b^2)y^2.
\end{align*}


\item[(ii)] QS  with the \textit{Right Bifolium} invariant curve:
\[
\dot{x}=-3ax/4 + 3x^2/4 - 4 c x y - y^2/4,\quad \dot{y}=-9ay/16 + c
x^2 + x y - 3 c y^2.
\]

\item[(iii)] QS  with \textit{Bow} invariant curve:
\[
\dot{x}=x(2-9y),\quad \dot{y}=2(x^2+y-6y^2).
\]

\item[(iv)] QS with the \textit{Cardioid} invariant curve:
\[
\dot{x}=-2ax+aby+x^2+4bxy-3y^2, \quad   \dot{y}=-3bx^2-3ay+4xy+by^2.
\]

\item[(v)] QS  with the \textit{Campila} invariant curve:
\[
\dot{x}=xy,\quad \dot{y}=x^2+2y^2.
\]

\item[(vi)] QS with the \textit{K\"{u}lp's concoid} invariant curve:
\[
\dot{x}=-xy,\quad \dot{y}=a^2+y^2.
\]

\item[(vii)]QS with the \textit{Steiner's} invariant curve:
\[
\dot{x}=9r^2+6r(x-cy)-3x^2-4cxy+y^2,\quad
\dot{y}=9cr^2-6r(cx+y)+cx^2-4xy-3cy^2.
\]


\item[(viii)]QS with the \textit{Simple Folium} invariant curve:
\[
\dot{x}=-12rx+3x^2+4cxy-y^2,\quad  \dot{y}=-cx^2-9ry+4xy+3cy^2.
\]

\item[(ix)]QS with the \textit{Montferrier's Lemniscate} invariant curve:
$$
\dot{x}=b^2xy,\quad \dot{y}=-a^2x^2+2b^2y^2.
$$

\item[(x)]QS with the \textit{Pear} invariant curve:
\[
\dot{x}=(x - r) (y - r),\quad \dot{y}=y(r-2 y).
\]

\item[(xi)]QS with the \textit{Besace} invariant curve:
\[
\dot{x}=b x- x y,\quad \dot{y}=x^2+by-2 y^2.
\]

\item[(xii)]QS with the \textit{Piriform} invariant curve:
\[
\dot{x}=-\frac{a}{4} x +\frac{1}{4} x^2 -\frac{1}{16} a c y +
\frac{c}{4} x y,  \quad \dot{y}=-\frac{3 a^2 c}{32 b^2}x^2 -
\frac{3a}{8} y + \frac{1}{2} x y + \frac{c}{2}y^2.
\]


\item[(xiii)]QS with the \textit{Ramphoid cusp } invariant curve:
\begin{align*}
\dot{x}&=-5 a x +(1/5)(c-9) x^2 +(1/5)(2 c-3) x y + y^2,    \\
\dot{y}&=(a(34-c)/ 20) x - 2 a y +(3(c-9)/20) x y +(1/4)c y^2.
\end{align*}


\item[(xiv)] QS  with the \textit{Lima\c con of Pascal} invariant curve:
\[
\dot x=ay+4bxy, \quad  \dot y=a(-1+b^2)x-3bx^2+by^2.
\]
\end{itemize}
\end{theorem}

The first ten systems of Theorem \ref{thm1} that have an invariant
algebraic curve of degree four were already found in \cite{IAJ}. The
last four systems of that theorem are new. Here we shall provide the
global phase portraits in the Poincar\'e disc of all these systems,
including the first ten systems whose phase portraits were not
studied in \cite{IAJ}. More precisely

\begin{theorem}
The phase portraits in the Poincar\'e  disc of the fourteen
systems of Theorem \ref{thm1} are:
\begin{itemize}
\item[(a.1)] $1$ for system {\rm (i)} either when $49 b^2-144a^2>0$ and
$6a^2-b^2\neq0$, or  $49 b^2-144a^2<0$.

\item[(a.2)] $2$ for system {\rm (i)}  when  $6a^2-b^2 =0$.

\item[(b)] $3$ for system {\rm (ii)}.

\item[(c)] $4$ for system {\rm (iii)}.

\item[(d.1)] $5$ for system {\rm (iv)} when  $b\in (5\sqrt{5/3},+\infty)$.

\item[(d.2)] $6$ for system {\rm (iv)} when  $b\in [0,5\sqrt{5/3})$. This
phase portrait is topologically equivalent to the phase portrait 13
but the invariant algebraic curves are different.

\item[(d.3)] $7$ for system {\rm (iv)} when $b=5\sqrt{5/3}$.

\item[(e)] $8$ for system {\rm (v)}.

\item[(f)] $9$ for system {\rm (vi)}.

\item[(g.1)] $10$ for system {\rm (vii)} when
 $c\in (0,1/\sqrt{3})\cup (1/\sqrt{3},+\infty)$.

\item[(g.2)] $11$ for system {\rm (vii)} when $c= 1/\sqrt{3}$.

\item[(g.3)] $12$ for system {\rm (vii)} when $c=0$.

\item[(h)] $13$  for system {\rm (viii)}.

\item[(i)] $14$ for systems {\rm (ix)}.

\item[(j)] $15$ for system {\rm (x)}.

\item[(k)] $16$ for system {\rm (xi)}.

\item[(l.1)] $17$ for system (xii) when $-256b^4-1184 a^2
b^2c^2+3a^4c^4<0$ and $c\ne 0$.

\item[(l.2)] $18$ for system {\rm (xii)} when $-256b^4-1184 a^2
b^2c^2+3a^4c^4>0$.

\item[(l.3)] $19$ for system {\rm (xii)} when $c=0$.

\item[(l.4)] $20$ for system {\rm (xii)} when $-256b^4-1184 a^2
b^2c^2+3a^4c^4=0$.

\item[(m.1)] $21$ for system {\rm (xiii)} when $c=9$.

\item[(m.2)] $22$ for system {\rm (xiii)} when $c<27/8$.

\item[(m.3)] $23$ for system {\rm (xiii)} when $c = 27/8$.

\item[(m.4)] $24$ for system {\rm (xiii)} when $c > 27/8$ and $c\ne 9$.

\item[(n.1)] $25$ for system {\rm (xiv)} when $b= 1/2$.

\item[(n.2)] $26$ for system {\rm (xiv)} when $b\in (0, 1/2)$.

\item[(n.3)] $27$ for system {\rm (xiv)} when $b\in  (1, \infty )$.

\item[(n.4)] $28$ for system {\rm (xiv)} when $b\in  (1/2, 1)$.

\end{itemize}
\end{theorem}


\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,114)(0,0)
\put(0,4){\includegraphics[width=120mm]{fig1}} %G1.eps
\put(4,77){1. $S=14,R=3$}
\put(48,77){2. $S=12,R=3$}
\put(95,77){3. $S=8,R=1$}

\put(3,40){4. $S=24,R=5$}
\put(48,40){5. $S=14,R=3$}
\put(95,40){6. $S=8,R=1$}

\put(3,0){7. $S=12,R=3$}
\put(48,0){8. $S=7,R=2$}
\put(95,0){9. $S=8,R=1$}
\end{picture}
\end{center} 
\caption{Phase portraits in the Poincar\'e disc. The invariant algebraic
curves of degree $4$ are drawn in blue color.  An orbit inside a
canonical region is drawn in red except if it is contained in the
invariant algebraic curve. The separatrices are drawn in black except
if the separatrix is contained in the invariant algebraic curve then
it is of blue color but its arrow is black  in order to indicate that
is a separatrix. In each phase portrait S indicates the number of its
separatrices and $R$ the number of its canonical regions.}
\label{G1}
\end{figure}


\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,154)(0,0)
\put(0,4){\includegraphics[width=120mm]{fig2}} %G2.eps
\put(3,118) {10. $S=14,R=3$}
\put(48,118){11. $S=11,R=2$}
\put(94,118){12. $S=13,R=2$}

\put(3,79) {13. $S=8,R=1$}
\put(48,79){14. $S=17,R=4$}
\put(94,79){15. $S=16,R=5$}

\put(3,39) {16. $S=24,R=5$}
\put(48,39){17. $S=18,R=3$}
\put(94,39){18. $S=24,R=5$}

\put(3,0) {19. $S=16,R=5$}
\put(48,0){20. $S=22,R=5$}
\put(94,0){21. $S=19,R=6$}
\end{picture}
\end{center} 
\caption{Continuation of Figure \ref{G1}.}\label{G2}
\end{figure}


\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,110)(0,0)
\put(0,4){\includegraphics[width=120mm]{fig3}} %G3.eps
\put(3,75) {22. $S=18,R=3$}
\put(48,75){23. $S=22,R=5$}
\put(94,75){24. $S=24,R=5$}

\put(3,36) {25. $S=9,R=3$}
\put(48,36){23. $S=7,R=2$}
\put(93,36){24. $S=13,R=3$}

\put(48,0){28. $S=13,R=3$}
\end{picture}
\end{center}
\caption{Continuation of Figure \ref{G1}.}\label{G3}
\end{figure}



\section{Preliminaries and basic results}\label{3}

\subsection{Quadratic systems having a classical quartic invariant curve}

In this subsection we present the four new invariant algebraic curves
of degree 4 detected for the quadratic systems which do not appear in
\cite{IAJ}.

The \textit{Besace} curve $h(x, y) = (x^2-b y )^2 - a^2 (x^2 - y
^2)=0$ is an invariant quartic algebraic curve with cofactor $2 (b-2
y)$ for the QS (xii).

The \textit{Pirifurm} curve $h(x, y) = b^2 y ^2 - x^3 (a-x)=0$ is an
invariant algebraic curve with cofactor  $(-3a)/4 + x + c y$ for the
QS (xiv).

\textit{Ramphoid cusp} curve $h(x, y) = y^4 - 2 a x y^2 - 4 a x^2 y -
a x^3 + a^2 x^2=0$ is an invariant algebraic curve with cofactor $-10
a + \frac{3}{5}(-9 + c) x + c y$ for the QS (xv).

\textit{Lima\c con of Pascal} curve $h(x, y) = (x ^2 + y ^2 - b a
x)^2 - a^2 (x^2 + y^2)=0$ is an invariant algebraic curve with
cofactor $4by$ for the QS (xvi).


\subsection{Poincar\'e compactification}

In this subsection we give some basic results which are  necessary
for studying the behavior of the trajectories of a planar polynomial
differential system near infinity. Let $\mathcal{X}(x,y)=(P(x,y), Q(x,y))$ be
a polynomial vector field of degree $n$. We consider the Poincar\'e
sphere $\mathbb{S}^{2}= \{(y_1,y_2, y_3) \in \mathbb{R}^{3}: y_1^2+ y_2^2+
y_3^2=1\}$. We identify the plane $\mathbb{R}^2$, where we have defined the
polynomial vector field $\mathcal{X}$, with the tangent plane $T_{(0,0,1)}
\mathbb{S}^{2}$ to the sphere $\mathbb{S}^2$ at the north pole $(0,0,1)$. We
consider the central projection $f:T_{(0,0,1)} \mathbb{S}^{2}
\longrightarrow \mathbb{S}^{2}$ such that to each point of the plane $q\in
T_{(0,0,1)} \mathbb{S}^{2} $, $f$ associates the two intersection points of
the straight line which connects the points $q$ and $(0,0,0)$ with
the sphere $\mathbb{S}^2$. The equator $\mathbb{S}^{1}=\{(y_1,y_2,y_3)\in
\mathbb{S}^{2}:y_3=0\}$ corresponds to the infinity points of the plane
$\mathbb{R}^2\equiv T_{(0,0,1)} \mathbb{S}^{2}$. In summary we get a vector field
$\mathcal{X}^{\prime}$ defined in $\mathbb{S}^2\setminus \mathbb{S}^1$, which is formed by
two symmetric copies of $\mathcal{X}$, one in the northern hemisphere and the
other in the southern hemisphere. We extend it to a vector field
$p(\mathcal{X})$ on $\mathbb{S}^{2}$ by scaling the vector field $\mathcal{X}$ by $y_3^n$. By
studying the dynamics of $p(\mathcal{X})$ near $\mathbb{S}^{1}$ we get the dynamics
of $\mathcal{X}$ close to infinity.

Since we need to do calculations on the Poincar\'e sphere we
consider the local charts $U_{i}=\{(y_1,y_2, y_3)\in
\mathbb{S}^{2}:y_{i}>0\} $, and $V_{i}=\{(y_1,y_2, y_3)\in
\mathbb{S}^{2}:y_{i}<0\}$ for $i=1,2,3$;  with the associated
diffeomorphisms $F_k:U_{i}\longrightarrow \mathbb{R}^{2}$ and
$G_k:V_{i}\longrightarrow \mathbb{R}^{2}$ for $k=1,2,3$ where
$F_k(y_1,y_2, y_3)= -G_k(y_1,y_2, y_3)= (y_m/y_k,y_n/y_k)$ for $m<n$
and $m,n\ne k$. Let $z = (u, v)$ the value of $F_k(y_1,y_2, y_3)$ or
$G_k(y_1,y_2, y_3)$ for any $k$, note that the coordinates $(u, v)$
play different roles depending on the local chart that we are
working. In the local charts $U_1$, $U_2$, $V_1$ and $V_2$ the points
$(u,v)$ corresponding to the infinity have its coordinate $v=0$.

After a scaling of the independent variable in the local chart $(U_1,
F_1)$ the expression for $p(\mathcal{X})$ is
\[\label{e4a}
\dot{u}=v^n\Big[-uP\Big(\frac{1}{v},\frac{u}{v}\Big)+
Q\Big(\frac{1}{v},\frac{u}{v}\Big)\Big], \quad
\dot{v}=-v^{n+1}P\Big(\frac{1}{v},\frac{u}{v}\Big);
\]
in the local chart $(U_2, F_2)$ the expression for $p(X)$ is
\[\label{e4b}
\dot{u}=v^n\Big[P\Big(\frac{u}{v},\frac{1}{v}\Big)-
uQ\Big(\frac{u}{v}, \frac{1}{v}\Big)\Big], \quad
\dot{v}= -v^{n+1}Q\Big(\frac{u}{v},\frac{1}{v}\Big);
\]
and for the local chart $(U_3, F_3)$ the expression for $p(X)$ is
\[\label{e4c}
\dot{u}=P(u,v), \quad \dot{v}=Q(u,v).
\]

Note that for studying the singular points at infinity we only need
to study the infinite singular points of the chart $U_1$ and the
origin of the chart $U_2$, because the singular points at infinity
appear in pairs diametrally opposite.

For more details on the Poincar\'e compactification see Chapter 5 of
\cite{DLA}.


\subsection{Singular points}

As usual we classify the singular points of a planar differential
system in \textit{hyperbolic}, the singular points such that their
linear part of the differential system at them have eigenvalues with
nonzero real part, see for instance \cite[Theorem 2.15]{DLA} for
the classification of their local phase portraits.

The \textit{semi-hyperbolic} are the singular points having a unique
eigenvalue equal to zero, their phase portraits are well known, see
for instance \cite[Theorem 2.19]{DLA}.

The \textit{nilpotent} singular points have both eigenvalues zero but
their linear part is not identically zero. See for example
\cite[Theorem 3.5]{DLA} for the classification of their local phase
portraits.

Finally the \textit{linearly zero} singular points are the ones such
that their linear part is identically zero, and their local phase
portraits must be studied using the changes of variables called
blow-up's, see for instance \cite{AFJ} or chapter 2 and 3 of
\cite{DLA}.


\subsection{Phase portraits on the Poincar\'e disc}\label{s24}

In this subsection we shall see how to characterize the global phase
portraits in the Poincar\'e disc of all the gradient quadratic
polynomial differential systems.

A {\it separatrix} of $p(\mathcal{X})$ is an orbit which is either a singular
point, or a limit cycle, or a trajectory which lies in the boundary
of a hyperbolic sector at a singular point. Neumann \cite{Ne} proved
that the set formed by all separatrices of $p(\mathcal{X})$; denoted by
$S(p(\mathcal{X}))$ is closed. We denote by $S$ for the  number of
separatrices.

The open connected components of $\mathbb{D}^{2}\setminus S(p(\mathcal{X}))$ are
called \textit{canonical regions} of $p(\mathcal{X})$: We define a {\it
separatrix configuration} as a union of $S(p(\mathcal{X}))$ plus one solution
chosen from each canonical region. Two separatrix configurations
$S(p(\mathcal{X}))$ and $S(p(\mathcal{Y}))$ are said to be {\it topologically
equivalent} if there is an orientation preserving or reversing
homeomorphism which maps the trajectories of $S(p(\mathcal{X}))$ into the
trajectories of $S(p(\mathcal{Y}))$. The following result is due to Markus
\cite{M2}, Neumann \cite{Ne} and Peixoto \cite{Pe}. We denote by $R$
for the  number of canonical regions.

\begin{theorem}
The phase portraits in the Poincar\'e disc of the two compactified
polynomial differential systems $p(\mathcal{X})$ and $p(\mathcal{Y})$ are topologically
equivalent if and only if their separatrix configurations $S(p(\mathcal{X}))$
and $S(p(\mathcal{Y}))$ are topologically equivalent.
\end{theorem}

Due to this theorem in the phase portraits in the Poincar\'e disc of
Figures \ref{G1}, \ref{G2} and \ref{G3} we plot at least one orbits 
in each canonical region, and there is more than one if the invariant
algebraic curve has more than one orbit in the canonical region.


\subsection{Reduction of the parameters}

Each system  which was given in Theorem \ref{thm1}, except systems
(iii) and  (v), is invariant by the symmetries
mentioned below, so we only need to study their phase portraits for
the values of the parameters indicated.

\begin{itemize}
\item[(a)] System (i) is invariant under the changes $(x,y,t,a,b)
\to (-x,y, t,$ $-a,b) $ and  $(x,y,t,a,b)\to
(x,-y,-t,a,-b) $, then we study it for $a>0$ and $b>0$.

\item[(b)] System (ii) is invariant under the changes $(x,y,t,a,c)
\to (-x,-y,$ $-t,-a,c) $ and $(x,y,t,a,c)\to
(x,-y,t,a,-c) $, then we study it for $a>0$ and $c\ge 0$.

\item[(c)] System (iv) is invariant under the changes
$(x,y,t,a,b)\to (-x,-y,$ $-t,-a,b) $ and
$(x,y,t,a,b)\to (x,-y,t,a,-b) $ , then we study it for $a>0$
and $b\ge 0$.

\item[(d)] System (vi) is invariant under the change
$(x,y,t,a)\to (x,y,t,-a) $, then we study it for $a>0$.

\item[(e)] System (vii) is invariant under the changes
$(x,y,t,r,c)\to (-x,-y,-t,$ $-r,c) $ and
$(x,y,t,r,c)\to (x,-y,t,r,-c) $, then we study it for $r>0$
and $c\ge 0$.

\item[(g)] System (viii) is invariant under the changes
$(x,y,t,r,c)\to (-x,-y,$ $-t,-r,c) $ and
$(x,y,t,r,c)\to (x,-y,t,r,-c) $, then we study it for $r>0$
and $c\ge 0$.

\item[(h)] System (ix) is invariant under the changes
$(x,y,t,a,b)\to (x,y,t,$ $-a,b) $ and $(x,y,t,a,b)\to
(x,y,t,a,-b) $, then we study it for $a>0$ and $b>0$.

\item[(i)] System (x) is invariant under the change
$(x,y,t,r)\to (-x,-y,$ $-t,-r) $, then we study it for $r>0$.

\item[(j)] System (xii) is invariant under the change
$(x,y,t,b)\to (-x,-y,$ $-t,-b) $, then we study it for $b>0$.

\item[(k)] System (xiv) is invariant under the changes
$(x,y,t,a,c)\to (-x,y,$ $-t,-a,-c) $ and
$(x,y,t,a,c)\to (x,-y,t,a,-c) $, then we study it for $a>0$
and $c\ge 0$.

\item[(l)] System (xv) is invariant under the change
$(x,y,t,a,c)\to (-x,-y,$ $-t,-a,c) $, then we study it for $a>0$.

\item[(m)] System (xvi) is invariant under the changes
$(x,y,t,a,b)\to (-x,y,t,$ $-a,b) $ and
$(x,y,t,a,b)\to (-x,y,-t,a,-b) $, then we study it for $a>0$
and $b>0$.
\end{itemize}


\section{Finite and infinite singularities}

For all quadratic system presented in Theorem \ref{thm1} their singular
points are characterized in the following result. We recall that we
are going to take into consideration the sign of the parameters of
the systems which are given previously. In what follows an {\it
antisaddle} will be either a hyperbolic focus or node. In the next
proposition the saddles, nodes and foci will be hyperbolic otherwise
we will mention its nature, and the saddle--nodes will be
semi-hyperbolic if we do not say the contrary.

\begin{proposition}\label{prop2}
The following statements hold for the quadratic systems of Theorem
\ref{thm1}.
\begin{itemize}

\item[(i)] System {\rm (i)} in the local chart $U_1$ has one
infinite saddle at $(-(a^2+2 b^2)/ab,0)$, and the  origin of the
local chart $U_2$ is not a singularity of this system.

For the finite singular points, assume first that $6a^2-b^2\ne 0$,
then the system has four singularities, an unstable node at the
origin of coordinates; the point $(a b^2/6(a^2+b^2), b^3/6(a^2+b^2))$
is either a stable focus if $49b^2-144a^2<0$  and $6a^2-b^2>0$, or a
stable node if $49b^2-144a^2\geq 0$ and $6a^2-b^2>0$, or a saddle if
$6a^2-b^2<0$; and the other two singular points are either nodes if
$6a^2-b^2<0$, or a node and a saddle if $6a^2-b^2>0$.

If $6a^2-b^2=0$, then  the system has three singular points, two
nodes, an unstable at the origin, a stable at $(-(27 a)/121 ,(18
\sqrt{6}a)/121)$, and a saddle-node at $(a/7, (\sqrt{6}a)/7)$.



\item[(ii)] System {\rm (ii)} in the local chart $U_1$ has one infinite
saddle at $(-4c,0)$, and the origin of the local chart $U_2$ is not a
singular point.

This system has two finite nodes, a stable one at the origin and the
second is unstable.



\item[(iii)] System {\rm (iii)} in the local chart $U_1$ has two
infinite saddles at $(\pm \sqrt{2/3},0)$, and the origin of the local
chart $U_2$ is an unstable node.

The system has four finite singularities, an unstable node at the
origin, two stable nodes at $(\pm \sqrt{2}/3\sqrt{3}, 2/9)$, and a
saddle at $(0, 1/6)$.


\item[(iv)] System {\rm (iv)} in the local chart $U_1$ has one infinite
saddle at $(b,0)$, and the origin of the chart $U_2$ is not a
singularity. For the finite singular points we have three cases.

If $b\in [0, 5 \sqrt{5/3})$, the system has two singularities, a
stable node at the origin and an unstable node.

If $b= 5\sqrt{5/3}$, in addition to the origin the system has an
unstable node at $(-3a/16,  3\sqrt{15}a/16)$, and a saddle-node at
$(-7a/64, 3\sqrt{15}a/16)$.

If $b\in (5 \sqrt{5/3}, +\infty)$, the system has four singular
points, the origin as in the previous case; two nodes and one saddle.


\item[(v)] System {\rm (v)} has no infinite singularities in the local chart
$U_1$. In the local chart $U_2$ the origin is a stable node.

The system has one finite linearly zero singular point at the origin
of coordinates and doing a blow-up, we know that its local phase
portrait is formed by two hyperbolic sectors.


\item[(vi)] System {\rm (vi)} in the local chart $U_1$ has one infinite
linearly zero singular point at the origin where the local phase
portrait is formed by two hyperbolic sectors, and on the local chart
$U_2$ the origin of the system is a stable node.

The system has no finite singular points.


\item[(vii)] System {\rm (vii)} in the local chart $U_1$ has an infinite
saddle at the point $(c,0)$, and the origin of the local chart $U_2$
is not a singularity.

If $c=0$ the system has four finite singular points,
two unstable nodes at $(-3r/2, \pm 3\sqrt{3} r/2)$, a stable node at $(3r,0)$,
a saddle at  $(-r,0)$.

If $c\in (0,1/\sqrt{3})\cup (1/\sqrt{3},+\infty)$ the system has four
finite singular points, a stable node at $(3r,0)$, a saddle at
$((-1-6c^2+3c^4) /(1+c^2)^2, 8cr/(1+c^2)^2)$, an unstable node at
$(-3r/2, -3\sqrt{3} r/2)$ and a node at $(-3r/2, 3\sqrt{3} r/2)$
which is unstable if $c\in (0,1/ \sqrt{3})$ and stable if $c\in
(1/\sqrt{3},+\infty)$.

If $c=1/\sqrt{3}$ the system has in addition to the two nodes
$(3r,0)$ and $(-3r/2, -3\sqrt{3}r/2)$, the nilpotent singular
point $(-3r/2,3\sqrt{3}r/2)$ which is a cusp.


\item[(viii)]  System {\rm (viii)} in the local chart $U_1$ has an infinite
saddle at $(c,0)$, and the origin of the chart $U_2$ is not a
singularity.

The system has two finite nodes, a stable one at the origin, and the
second one is unstable.


\item[(ix)] System {\rm (ix)} in the local chart $U_1$ has two infinite
saddles at $(\pm a/b,0)$; and the origin of $U_2$ is a stable node.

The system has one finite linearly zero singular point at the origin
with two elliptic and two parabolic sectors.

\item[(x)] System {\rm (x)} in the local chart $U_1$ has
one infinite linearly zero singular point at the origin with local
phase portrait consists of two parabolic and two hyperbolic sectors,
and the origin of the local chart $U_2$ is an unstable node.

The system has two finite singular points, a saddle at $(r,0)$ and a
stable node at $(r, r/2)$.

\item[(xi)] System {\rm (xi)} in the local chart $U_1$ has two
infinite saddles at $(\pm1,0)$. The origin of the local chart $U_2$
is an unstable node.

The system has four finite singular points, an unstable node at the
origin, two stable nodes at $(\pm b, b)$, and a saddle  at $(0, b/2)$.

\item[(xii)] Assume $c> 0$. System {\rm (xii)} in the local chart $U_1$
has two infinite saddles at $((-2 b^2 \pm\sqrt{2} \sqrt{2 b^4 + 3 a^2
b^2 c^2})/(4b^2 c),0)$, and the origin of the local chart $U_2$ is a
stable node.

If $-256 b^4 - 1184 a^2 b^2 c^2 + 3 a^4 c^4<0$, the system has two
finite nodes, a stable one at the origin, and the second is unstable.

If $-256 b^4 - 1184 a^2 b^2 c^2 + 3 a^4 c^4=0$, the system has two
nodes as in the previous case, and the third singular point is a
saddle-node.

If $-256 b^4 - 1184 a^2 b^2 c^2 + 3 a^4 c^4>0$, in addition to the
two previous nodes the system has another node and one saddle.

Assume $c=0$. Then in the local chart $U_1$ the origin is an infinite
saddle, and the origin of the chart $U_2$ is a linearly zero singular
point such that its local phase portrait consists of four parabolic
and two hyperbolic sectors.

The system has two finite nodes, a stable at the origin and an
unstable at $(a,0)$.

\item[(xiii)] Assume $c\ne 9$. System {\rm (xiii)} in the local chart
$U_1$ has three infinite singular points, a node at the origin of
coordinates stable if $c<9$ and unstable if $c>9$, and two saddles at
$((12-3 c\pm\sqrt{864 - 152 c + 9 c^2})/40, 0)$. The origin on the
chart $U_2$ is not a singularity.

If $c<27/8$ the system has two finite singular points, an unstable
focus at $(-4a,2a)$ and a stable node at the origin.

If $c=27/8$ the system has three finite singularities, a stable node
at the origin, a saddle-node at $(256a/81, 112a/27)$, and an unstable
focus at $(-4a, 2a)$.

If $c>27/8$ in addition to the stable node at $(0,0)$ and to the
unstable focus at $(-4a,2a)$, the system has two more finite
singularities, a node and a saddle.

Assume $c=9$. Then the system in the local chart $U_1$ has two
singular points, $(-3/4, 0)$ which is a saddle and a nilpotent
singular point at the origin with one hyperbolic, one elliptic and
two parabolic sectors.

For the finite singular points the system in addition to the two
previous singular points at $(0,0)$ and $(-4a,2a)$, the system has a
finite saddle at $(16 a/81,20 a/27)$.

\item[(xiv)] System {\rm (xiv)} in the local chart $U_1$ has no
infinite singular points, and the origin of the chart $U_2$ is a
saddle.

If $b\in (0, 1/2)$ the system has two finite singular points which
are centers; the origin and the point $S=(a(b^2-1)/(3b),0)$.

If $b= 1/2$ the system has two finite singular points, a center at
the origin; and a nilpotent singular point at $(-a/2, 0)$, its local
phase portrait consists of one hyperbolic, two parabolic and one
elliptic sectors.

If $b\in (1/2, 1)$ the system has a center at the origin, a saddle at
$S$, an unstable node at $(-a/(4b),a\sqrt{4b^2-1}/(4b))$, and a
stable node at $(-a/(4b)$, $-a\sqrt{4b^2-1}/(4b))$.

If $b\in (1,\infty)$ the system has a saddle at the origin, a center
at $S$, and the other two singularities are as in the previous case.
\end{itemize}
\end{proposition}


\begin{proof}
\textbf{System (i)}  in the local chart $U_{1}$ becomes
\begin{align*}
\dot u&=6 a^2 (1 + u^2) + a b (2 u + 2 u^3 - b v) + b^2 (4 + 4 u^2 - b u v),\\
\dot v&= v (24 a^2 u + 2 a b (-3 + u^2) + b^2 (16 u - 3 b v)).
\end{align*}
This system  has one infinite hyperbolic singular point $q_1=((-3 a^2
- 2 b^2)/ab,0)$ with eigenvalues $(-6 (a^2 + b^2) (9 a^2 + 4 b^2))/(a
b) $ and  $(2 (a^2 + b^2) (9 a^2 + 4 b^2))/(a b)$, then it is a
saddle. On the local chart $U_2$ writes
\begin{align*}
\dot u&=-6 a^2(u+u^3)+b^2u(-4-4u^2+bv)+a b (-2 + u^2 (-2 + b v)),\\
\dot v&= v(-6a^2(-3+u^2)+abu(-8+bv)- 2 b^2 (-6 + 2 u^2 + b v)).
\end{align*}
It is clear that the origin is not a singular point of this system.

For the finite singular points the system has four hyperbolic
singularities: $p_1=(0, 0)$ with eigenvalues $2b^3$ and $ 3b^3$.
Hence by using \cite[Theorem 2.15]{DLA} we get that $p_1$ is an
unstable node because $b>0$; $p_2=((a b^2)/(6(a^2+b^2)),
b^3/(6(a^2+b^2)))$ with eigenvalues
$$
\frac{b^2 \left(-5b \pm \sqrt{49 b^2-144 a^2 }\right)}{6},
$$
such that $\lambda_1.\lambda_2= 2b^4(6a^2-b^2)/3$.

Assume that $6a^2-b^2\ne 0$. If $6a^2-b^2<0$ then $p_2$ is a
hyperbolic saddle. If $6a^2-b^2>0$ then $p_2$ is a stable node if $49
b^2-144 a^2\ge 0$, and a stable focus if $49 b^2-144 a^2< 0$. The two
other singular points are $p_{3,4}=\Big(A_1/((a^2+b^2)(9a^2+4b^2)^2),
B_1/((a^2+b^2)(9a^2+4b^2)^2) \Big)$ with
$A_1=b^4(-10a^3-4ab^2\pm(7a^2+4b^2) \sqrt{7 a^2 + 3 b^2})$ and
$B_1=3b^3(13a^4+15a^2b^2+4b^4\pm a^3\sqrt{7a^2+3b^2})$. We can check
that the expression of their eigenvalues are non-zero and real, but
they are very big, and this make difficult to determine their local
phase portraits. We may calculate their (topological) indices by
using the Poincar\'e-Hopf Theorem, see for instance \cite[Theorem 6.30]{DLA}.

In the Poincar\'e sphere system (i) has ten isolated singular
points, we denote by $i'_1$,  the index of the infinite singular
point $q_1$ in the local chart $U_1$, and by $i_1$, $i_2$, $i_3$ and
$i_4$, the indices of the finite singular points $p_1$, $p_2$, $p_3$
and $p_4$, respectively. It is well known that the index of a saddle
is $-1$, and that the index of a node is $1$, then $i'_1=i_2=-1$ and
$i_1=1$. The Poincar\'e-Hopf Theorem asserts that the sum of all
the indices of the singular points of system (i) in the Poincar\'e
sphere is equal to $2$, therefore we have $2(i'_1)+
2(i_1+i_2+i_3+i_4)=2$. In this equality we need to know the values of
$i_3$ and $i_4$. We have two cases according with the index of $p_2$.

If $p_2$ is a saddle we get that $i_3+i_4=2$, this implies that both
$p_3$ and $p_4$ have index $1$, then they are nodes or foci, but they
cannot be foci because the points $p_3$ and $p_4$ are on the oblique
bifolium invariant curve.

If $p_2$ is a node or focus we get that $i_3+i_4=0$, this implies
that one of them has index $1$, then it is a node, and the other has
index $-1$ and it is a saddle.

If $6a^2-b^2=0$, since $b>0$ the system has an unstable node at
$p_1$, a stable node at $p_2=(-(27 a)/121 ,(18 \sqrt{6}a)/121)$, and
by using \cite[Theorem 2.19]{DLA} for the semi-hyperbolic singular
points we obtain that the third singular point $p_3=(a/7,
(\sqrt{6}a)/7)$ is a saddle-node.
\smallskip

\textbf{System (ii)} in the local chart $U_{1}$ writes
\begin{equation}
\begin{aligned}
\dot u&=c (1 + u^2) + 1/16 u (4 + 4 u^2 + 3 a v),\\
\dot v&= 1/4 v (-3 + 16 c u + u^2 + 3 a v).
\end{aligned}
\end{equation}
This system  has one  hyperbolic singular point $q_1=(-4c,0)$,  with
eigenvalues verifying $\lambda_1.\lambda_2=-(3/16) (1 + 16 c^2)^2$,
then it is a saddle. On the local chart $U_2$ becomes
\begin{equation}
\begin{aligned}
\dot u&=1/16 (-4 - 4 u^2 - 16 c (u + u^3) - 3 a u v),\\
\dot v&= -u v - c (-3 + u^2) v + (9 a v^2)/16,
\end{aligned}
\end{equation}
therefore the origin of $U_2$ is not a singular point.

This system has the origin as a finite hyperbolic node with
eigenvalues $-23a/32$ and $-18a/32$, then it is stable because $a>0$;
for the other three possible real singular points their $y$
coordinates are given by the real solutions of the following cubic
equation $432 a^3 c + 27 a^2 (7 + 256 c^2) y + 512 a c (5 + 72 c^2)
y^2+256 (1 + 16 c^2)^2 y^3=0$. The number of real roots of this cubic
is determined by its discriminant $\delta=-27648 a^6 (27 + 16 c^2)^2
(343 + 5184 c^2)$. Since $\delta<0$ we have that the cubic has only
one real root. Then the system has one real singular point additional
to the origin. By the Poincar\'e-Hopf Theorem its index is $1$, since
the two finite singular points are on the right folium invariant
curve it is a node, which analyzing its eigenvalues is unstable.
\smallskip

\textbf{System (iii)} in the local chart $U_1$ becomes $\dot u=2 - 3
u^2$,  $\dot v= (9 u - 2 v) v.$ This system has two hyperbolic
saddles, one at $(-\sqrt{2/3}, 0)$ with eigenvalues $2\sqrt{6}$ and
$-3\sqrt{6}$, and the other at $(\sqrt{2/3}, 0)$ with eigenvalues
$-2\sqrt{6}$ and $3\sqrt{6}$. In the local chart $U_2$  writes $ \dot
u=3 u - 2 u^3$, $\dot v=-2 v (-6 + u^2 + v)$, so the origin of this
system is an unstable node with eigenvalues $3$ and $12$.

This system has four finite hyperbolic singular points, an unstable
node at $(0,0)$ with eigenvalues $2$ and $2$, two stable nodes at
$(\pm \sqrt{2}/3\sqrt{3}, 2/9)$ with eigenvalues $-2$ and $-4/3$, and
a saddle at $(0, 1/6)$ with eigenvalues $-2$ and $1/2$.
\smallskip

\textbf{System (iv)} in the local chart $U_1$ is
\begin{equation}
\begin{aligned}
\dot u&=u (3 + 3 u^2 - a v) - b (3 + u^2 (3 + a v)),\\
\dot v&= v (-b u (4 + a v) +  (-1 + 3 u^2 + 2 a v)).
\end{aligned}
\end{equation}
This system  has only an infinite singular point, a hyperbolic saddle
at $q_1=(b,0)$ with eigenvalues $-(1 + b^2)$ and  $3(1 + b^2)$. On
the local chart $U_2$ writes
\begin{equation}
\begin{aligned}
\dot u&=b (3 u + 3 u^3 + a v) + (-3 - 3 u^2 + a u v),\\
\dot v&= v (-b - 4  u + 3 b u^2 + 3 a v),
\end{aligned}
\end{equation}
therefore the origin of $U_2$ is not a singular point.

The system (iv) has the origin, denoted by $p_1$, as a hyperbolic
stable node with eigenvalues $-3a$ and $-2a$ because $a>0$. The $y$
coordinates of the other three possible singular points are given by
the solutions of the cubic equation $12 a^3 b  + a^2 (3 b^4 - 66 b^2
- 5 ) y +64 a b (b^2 + 1) y^2 - 16 (b^2 + 1)^2 y^3=0$. The number of
real solutions of this cubic equation is determined by its
discriminant $\delta=64 a^6 (3 b^2 - 125 ) (b^2 + 1)^3 (3 b^4 - 6 b^2
- 1)^2$. We distinguish three cases and recall that we can assume
that $b>0$.

If $3b^2 - 125<0$, the cubic equation has one real solution, in
addition to the stable node at origin, the system has an unstable
node.

If $3b^2 - 125=0$, the cubic equation has two real roots one simple and one
double. Then the system has three singular points, a hyperbolic
stable node at the origin, an unstable node at $(-3a/16,3
\sqrt{5}a/16)$ with eigenvalues $10a$ and $12a$, and a
semi-hyperbolic point at $(-7a/64, -\sqrt{15}a/64)$ with eigenvalues
$-8a$ and $0$. In order to obtain the local phase portrait at this
finite semi-hyperbolic singular point we use \cite[Theorem 2.19]{DLA}, 
and we obtain that the origin is a saddle-node.

If $3 b^2 - 125>0$, the cubic equation has three real solutions. Then
three finite singular points for the system additionally to the
origin. According to the Berlinsk\"{i}i Theorem (see
\cite[Theorem 7]{Co}), and since all the eigenvalues of the singular points are
real, and due to the fact that the origin is a node; two of these
three points are nodes or foci and the third one is a saddle, or two
of them are saddles and the third one is a node or a focus. To know
which one of these two cases hold we need to apply the
Poincar\'e-Hopf Theorem. In the Poincar\'e sphere the
compactified system (iv) has ten isolated singular points, the
index of the infinite singular points $q_1$ is $i_1=-1$, and we know
also the index of the finite singular point $p_1$ which is $i_1=1$.
We need to know the indices $i_2$, $i_3$ and $i_4$ of the three other
finite singularities. Applying the Poincar\'e-Hopf Theorem we get
the following equality: $2(i'_1)+ 2(i_1+i_2+i_3+i_4)=2$, then
$i_2+i_3+i_4=1$, this implies that two of these singular points are
nodes or foci and one is a saddle. But this system has no foci
because the four finite singular points are on the cardioid invariant
curve.
\smallskip

\textbf{System (v)} in the local chart $U_1$ becomes $\dot u=1 +
u^2$, $\dot v= -uv.$  So the system has no infinite singularities in
$U_1$. In the local chart $U_2$  it writes $ \dot u=-u (1 + u^2)$,
$\dot v=-(2 + u^2) v.$ Therefore the origin of this system is a
stable node with eigenvalues $-2$ and $-1$.

This system has only one finite linearly zero singular point at the
origin of coordinates. We need to do a blow-up $y = zx$ for
describing its local phase portrait. After eliminating the common
factor $x$ of $\dot x$ and $\dot z$, by doing the rescaling of the
independent variable $ds = x dt$, we obtain the system $\dot{x}=x z$,
$\dot{z}=1 + z^2$. This system has no singular points. Going back
through the two changes of variables and taking into account the flow
of the system on the axes of coordinates, we obtain that the local
phase portrait at the origin of system $(v)$ is formed by two
hyperbolic sectors.
\smallskip

\textbf{System (vi)} in the local chart $U_1$ writes $ \dot u=2 u^2 +
a^2 v^2$, $\dot v= uv$. This system has only one infinite singular
point, which is a linearly zero singular point at the origin. Doing
the blow-up $v = wu $, and after eliminating the common factor $u$ of
$\dot u$ and $\dot w$ by doing the rescaling of the independent
variable $ds = u dt$, we obtain the differential system $\dot u=2 u +
a^2 u w^2$, $\dot w=-w - a^2 w^3$. The only singular point of this
system with $u=0$ is $(0,0)$, with eigenvalues $2$ and $-1$. Hence it
is a saddle. Then going back through the two changes of variables,
$ds = u dt$ and $v = wu $, and taking into account the flow of the
system on the axes, we obtain that the local phase portrait at the
origin of $U_1$ is formed by two hyperbolic sectors. In the local
chart $U_2$ the system becomes $\dot u=-u (2 + a^2 v^2)$, $\dot v=-v
(1 + a^2 v^2).$ So the origin of this system is a stable node with
eigenvalues, $-2$ and $-1$.

Since $a>0$ this system has no finite singular points.
\smallskip

\textbf{System (vii)} in the local chart $U_1$ is
\begin{align*}
\dot u&=-u (1 + u^2 + 12 r v + 9 r^2 v^2) +c ((1 - 3 r v)^2 + u^2 (1 + 6 r v)), \\
\dot v&=-v(-3 + u^2 + 6 r v + 9 r^2 v^2 - 2 c u (2 + 3 r v)).
\end{align*}
This system has a unique infinite singular point, a hyperbolic saddle
at $(c,0)$ with eigenvalues $-(1+c^2)$ and $3(1+c^2)$. In the local
chart $U_2$ becomes
\begin{align*}
\dot u&=1 + u^2 + 12 r u v + 9 r^2 v^2 -c (u + u^3 + 6 r v - 6 r u^2 v + 9 r^2 u v^2), \\
\dot v&=-v (-4 u - 6 r v + c (-3 + u^2 - 6 r u v + 9 r^2 v^2)).
\end{align*}
So its origin is not a singular point.

If $c=0$, this system has
four finite hyperbolic singular points, a stable node at $(3r,0)$
with eigenvalues $-18 r$ and $-12 r$, two unstable nodes at $((-3r)/2,
\pm (3r\sqrt{3})/2)$ with same eigenvalues $9r$ and $6r$, a saddle at
$(-r, 0)$ with eigenvalues $\lambda_1=-2r$ and $\lambda_2= 12r$.

If $c \in(0,1/\sqrt{3})\cup (1/\sqrt{3},+\infty)$, this system has
four finite hyperbolic singular points, a stable node at $(3r,0)$
with eigenvalues $-18 r$ and $-12 r$, another node at $((-3r)/2,
(3r\sqrt{3})/2)$ with eigenvalues $9(1 -\sqrt{3}c)r$ and $
6(1-\sqrt{3}c)r$, then it is stable if $c\in (1 /\sqrt{3}, +\infty)$
and unstable if $c\in (0, 1/ \sqrt{3})$, a third unstable node at
$((-3r)/ 2, (-3r\sqrt{3}) / 2)$ with eigenvalues $ 7(1 +\sqrt{3}c)r$
and $ 8(1+\sqrt{3}c)r$ because $r>0$, a saddle at
$((-1-6c^2+3c^4)/(1+c^2)^2, (8cr)/(1+c^2)^2)$ with eigenvalues
$\lambda_1.\lambda_2= (-24(1-3c^2)^2r^2)/(1+c^2)^2$.

If $c=1/\sqrt{3}$, we have the differential system
\[
\begin{array}{ll}
\dot x=9 r^2 - 3 x^2 - (4 x y)/\sqrt{3} + y^2 + 6 r (x - y/\sqrt{3}), \\
\dot y=3 \sqrt{3} r^2 + x^2/\sqrt{3} - 4 x y - \sqrt{3} y^2 - 6 r ((x/\sqrt{3}) + y).
\end{array}
\]
In addition to the hyperbolic node $(3r,0)$ this system has another
hyperbolic unstable node at $(((-3r)/2, (-3r\sqrt{3})/2)$ with
eigenvalues $12r$ and $18r$, and the nilpotent singular point
$((-3r)/2, (3r\sqrt{3})/2)$. In order to know the nature of this
singular point.

First, we  put these singular points at the origin of coordinates by
performing the translation $x=x_1-(3r)/2, y=x_2+(3r\sqrt{3})/2$, and
we get
\begin{align*}
\dot x_1&=3 \sqrt{3}  r x_2 + x_2^2 + 9 r x_1 - (4 x_2 x_1)/\sqrt{3} - 3 x_1^2, \\
\dot x_2&=-9 r x_2 - \sqrt{3} x_2^2 - 9 \sqrt{3}  r x_1 - 4 x_2 x_1 + x_1^2/\sqrt{3} .
\end{align*}

Second, we  transform this system into its normal form by doing the
change of variables $x_1=z,  x_2=-\sqrt{3}z+w $, and we have
\begin{align*}
\dot z&=3 \sqrt{3}  r w + w^2 + 4 z^2-(10/\sqrt{3}) w z , \\
\dot w&=(16 /\sqrt{3} ) z^2-8 z w.
\end{align*}


By applying \cite[Theorem 3.5]{DLA},  we obtain that the origin is a cusp.
\smallskip

\textbf{System (viii)} in the local chart $U_1$  becomes
\[
\dot u=u + u^3 - c (1 + u^2) + 3 r u v, \qquad \dot v=v (-3 - 4 c u +
u^2 + 12 r v).
\]
This system has one infinite hyperbolic saddle at $(c,0)$ with
eigenvalues $-3(1+c^2)$ and $(1+c^2)$. In the local chart $U_2$
writes
\[
\dot u=-1 - u^2 + c (u + u^3) - 3 r u v, \quad \dot v=v (-4 u + c (-3
+ u^2) + 9 r v).
\]
The origin of this system is not a singular point.

This system has a finite hyperbolic stable node at the origin with
eigenvalues $-12r$ and $-9r$ because $r>0$. The $y$ coordinate of the
other three possible singular points are given by the solution of the
cubic equation $-432cr^3+27(7+16c^2)r^2y-16c(10+9c^2) ry^2+
16(1+c^2)^2y^3=0$. The number of real roots of this cubic are
determined by its discriminant $\delta=-1728(27+c^2)^2
(343+324c^2)r^6$. Since $\delta<0$ the cubic equation has a unique
real root. Then additional to the origin the system has a node. This
follows using the Poincar\'e-Hopf Theorem and the fact that the
singular points are on the simple folium invariant curve. Moreover
that node is unstable.
\smallskip

\textbf{System (ix)} in the local chart $U_1$  becomes $\dot u=-a^2 +
b^2 u^2$, $\dot v=-b^2 u v$. This system has two hyperbolic saddles,
one at $(-a/b, 0)$ with eigenvalues $-2ab$ and $ab$, and the other at
$(a/b, 0)$ with eigenvalues $-ab$ and $2ab$. In the local chart $U_2$
the system writes $\dot u=-b^2 u + a^2 u^3$, $\dot v=-2 b^2 v + a^2
u^2 v$. The origin of this system is a hyperbolic stable node with
eigenvalues $-2b^2$ and $-b^2$.

This system has a unique finite singular point, which is a linearly
zero singular point at the origin of coordinates. Doing the blow-up
$y =zx$, and eliminating the common factor $x$ of $\dot x$ and $\dot
z$ by doing the rescaling of the independent variable $ds = x dt$,
we obtain the system $\dot{x}=b^2 x z$, $\dot{z}=-a^2 + b^2 z^2$.
This system has two singular points on $x=0$, a stable node at
$(0,-a/b)$ with eigenvalues $-2 a b$ and $-a b$, and an unstable node
at $(0,a/b)$ with eigenvalues $2ab$ and $ab$. Going back through the
two changes of variables, $ds = x dt$ and $y = zx $, and taking into
account the flow on the axes, we obtain that the local phase portrait
at the origin of system (ix) is formed by two elliptic and two
parabolic sectors.
\smallskip

\textbf{System (x)} in the local chart $U_1$ becomes $\dot u=u (r v
(2 - r v) + u (-3 + r v))$, $\dot v=-v (-1 + r v) (-u + r v)$. This
system has a unique infinite singular point at the origin, which is
linearly zero. Doing the blow-up and the rescaling of the independent
variable as in system (ix), we obtain that its local phase portrait
consists of two parabolic and two hyperbolic sectors. In the local
chart $U_2$ the system writes $\dot u=u (3 - 2 a v) + a v (-1 + a
v)$, $\dot v=-v (-2 + a v)$. The origin of this system is a
hyperbolic unstable node with eigenvalues $2$ and $3$.

This system has two finite hyperbolic singular points, a saddle at
$(r,0)$ with eigenvalues $r$ and $-r$; and a stable node at $(r,
r/2)$ with eigenvalues $-r$ and $-r/2$.
\smallskip

\textbf{System (xi)} in the local chart $U_1$ system $(xi)$
becomes $ \dot u=1 - u^2, \quad  \dot v=v(u-b v),$ this system has
two saddles, one at $(1,0)$ with eigenvalues $2$ and $-1$, the second
at $(-1,0)$ with eigenvalues $-2$ and $1$. In the local chart $U_2$
the system is given by $ \dot u=u - u^3, \quad  \dot v=-v (-2 + u^2 +
b v),$ the origin of this system is an unstable node with eigenvalues
$1$ and $2$.

This system has four finite hyperbolic singular points, a saddle at
$(0,b/2)$ with eigenvalues $- b$ and $b/2$; a node at the origin with
eigenvalues $b$ and $b$, then it is unstable, two another nodes at
$(-b, b)$ and $(b, b)$ with eigenvalues $-2b$ and $-b$, then they are
stable.
\smallskip

\textbf{System (xii)} in the local chart $U_1$  becomes
\[
\begin{array}{ll}
\dot{u}=\frac{1}{32b^2}(-3 a^2 c + 8 b^2 u (1 + c u) + 2 a b^2 u
(-2 + c u) v), \vspace{0.2cm}\\
\dot{v}= \frac{1}{16}v(-4 + 4 a v + c u (-4 + a v)).
\end{array}
\]
Assume $c> 0$. This system has two hyperbolic saddles at $((-2 b^2
-\sqrt{2} \sqrt{2 b^4 + 3 a^2 b^2 c^2})$ $/(4b^2 c),0)$ with
eigenvalues verifying $\lambda_1 \lambda_2=(-2 b^2 - 3 a^2 c^2 +
\sqrt{4 b^4 + 6 a^2 b^2 c^2})/(64 b^2)$; and the second is $((-2 b^2
+\sqrt{2} \sqrt{2 b^4 + 3 a^2 b^2 c^2})/(4b^2 c),0)$ with eigenvalues
verifying $\lambda_1 \lambda_2=-(2 b^2 + 3 a^2 c^2 + \sqrt{4 b^4 + 6
a^2 b^2 c^2})/(64 b^2)$. In the chart $U_2$ the system becomes
\[
\begin{array}{ll}
\dot{u}=\frac{1}{32b^2}(3 a^2 c u^3 - 2 b^2 (4 c u + 4 u^2 + a c v
- 2 a u v)), \vspace{0.3cm}\\
\dot{v}= \frac{1}{32b^2}v (3 a^2 c u^2 - 4 b^2 (4 c + 4 u - 3 a v)),
\end{array}
\]
the origin of this system is a node with eigenvalues $-c/2$ and
$-c/4$, then it is stable.

For the finite singularities the system has the origin as a
hyperbolic node with eigenvalues $-3 a/8$ and $-a/4$, then it is
stable, the $y$ coordinates of the other three possible finite
singular points is given by the solution of the cubic equation
$192a^3b^2c+(-256b^4- 480a^2b^2c^2+ 3a^4c^4)y+512 a b^2 c^3 y^2 - 256
b^2 c^4 y^3=0$. The numbers of real and complex roots of this cubic
equation are determined by the discriminant
$\delta=1024b^2c^4(256b^4+3a^4c^4)^2(-256b^4-1184a^2b^2c^2+3 a^4
c^4)$. We distinguish three cases.

If $-256 b^4 - 1184 a^2 b^2 c^2 + 3 a^4 c^4<0$ with $0<c<((592 + 224
\sqrt{7}) b)/(a \sqrt{3})$, the cubic equation has one real solution.
Then in addition to the origin the system has one real singular point
which is an unstable node.

If $-256 b^4 - 1184 a^2 b^2 c^2 + 3 a^4 c^4=0$ with $c=((592 + 224
\sqrt{7}) b)/(a \sqrt{3})$,  the cubic equation has two real
solutions, one simple and one double. And  the system has  a
hyperbolic stable node at the origin,  a hyperbolic node at  $((1/2
)(-2 + \sqrt{7}) a, (3/(4 b)) \sqrt{-37 + 14 \sqrt{7}}a^2) )$  with
eigenvalues $ (7 a)/8$ and $(1/4) (5 + 2 \sqrt{7}) a$,  then it is
unstable  and a semi-hyperbolic point at $(a/(6 + 2 \sqrt{7}), (
-a^2/(8 b)) \sqrt{-37+14\sqrt{7}})$ with eigenvalues  $(2 + \sqrt{7})
a/4$ and $ 0$. In order to obtain the local phase portrait at this
finite semi-hyperbolic singular point we use \cite[Theorem 2.19]{DLA}, 
and we obtain that the point is a saddle-node.

If $-256 b^4-1184 a^2 b^2 c^2+3 a^4 c^4>0$ with $c
>((592 + 224 \sqrt{7}) b)/(a \sqrt{3})$ the cubic equation has
three real simple solutions. Then four real singular points for the
system. According to the Berlinsk\"{i}i Theorem, and since all the
eigenvalues of the singular points are real, and to the fact that the
origin is a node; two of these three points are nodes and the third
one is a saddle, or two of them are saddles and the third one is a
node. To know which one of these two cases hold we need to apply
Poincar\'e-Hopf Theorem.

In the Poincar\'e sphere the compactified  system (xiv) has
fourteen isolated singular points, the index of the two infinite
singular points in the chart $U_1$ is  $-1$, and the index of the
origin of the chart $U_2$ is $+1$; and we know also the index of one
finite singular point is $1$. We need to know the indices $i_2$,
$i_3$ and $i_4$ of the three other finite singularities. Applying
Poincar\'e-Hopf Theorem, we get  the following equality:
$2(-1)+2(-1)+2(1)+2(1)+ 2(i_2+i_3+i_4)=2$, then $i_2+i_3+i_4=1$. This
implies that both of these three singular points are nodes and one is
a saddle.

Now assume that $c=0$. Then system (xiv) at infinity has a saddle at
the origin of the chart $U_1$  with eigenvalues $-1/4$ and $1/4$, and
the origin of the chart $U_2$ is a linearly zero singular point.
Doing a blow-up, we obtain that its local phase portrait is formed by
four parabolic and two hyperbolic sectors.

This system has a finite stable node at the origin with eigenvalues
$(-3 a)/8$ and $(-a/4)$, and an unstable node at $(a,0)$ with
eigenvalues $ a/8$ and $a/4$.
\smallskip

\textbf{System (xiii)} Assume $c\neq 4, 9$. In the local chart $U_{1}$
the system becomes
\begin{align*}
\dot u&=(1/20)(-3 (-4 + c) u^2 - 20 u^3 - a (-34 + c) v + u (9 - c + 60 a v)),\\
\dot v&= -(1/5) v (-9 + c - 3 u + 2 c u + 5 u^2 - 25 a v).
\end{align*}
This system  has three finite hyperbolic singular points, the origin
with eigenvalues $(9-c)/5 $ and  $(9-c)/20 $, then it is a stable
node if $c>9$,  an unstable node if $c<9$, and the two singular
points $(1/40(12-3c\pm\sqrt{864-152c+9c^2}),0)$ such that the product
of its two eigenvalues is negative, so they are saddles. The origin
of the local chart $U_2$ is not a singularity. For the finite
singular points we distinguish three cases.

If $c< 27/8$ the system has two hyperbolic singularities; a node at
the origin with eigenvalues $-5a$ and $-2a$, then it is stable; and a
focus at $(-4a, 2a)$ with eigenvalues  $-a/5 ((-29 + c) \pm i (-4 +
c))$. Hence it is unstable.

If $c= 27/8$ the system has two hyperbolic singularities. In addition
of the two previous finite singularities in the case 1, the system
has a semi-hyperbolic singularity at $((256 a)/81, (112 a)/27)$ with
eigenvalues $-((20 a)/3)$ and $0$. By applying \cite[Theorem 2.19]{DLA},
 we get that  this point is a saddle-node.

If $c> 27/8$ the system has four hyperbolic singularities, the node
and the focus mentioned in case 1, and two other hyperbolic singular
points whose expressions are big and we do not provide them here. We
know that their eigenvalues are real but it is difficult to know
their nature. We use Poincar\'e-Hopf Theorem, we get that their
indices equal to $1$ and $-1$, then one of them is a node and the
second is a saddle.

Assume $c= 4$. System (xv) in the local chart $U_1$ has three
hyperbolic singularities, an unstable node $(0,0)$ with eigenvalues
$1/4$ and $1$, a stable node $(-1/2, 0)$ with eigenvalues $5/4$ and
$-1/2$, and a saddle $(1/2, 0)$ with eigenvalues $-1/2$ and $1/4$.

Then the system has four finite hyperbolic singularities, two stable
nodes $(0,0)$ and  $(16a, 12a)$ with eigenvalues $-10 a$ and $-5a$,
an unstable node at $(-4a, 2a)$ with eigenvalues $5a$ and $5a$, and a
saddle $(a,2a)$ with eigenvalues $-5a$ and $(5a)/4$.

Suppose now that $c=9$. System (xv) in the local chart $U_1$ is
\begin{equation}\label{rr}
\begin{aligned}
\dot u&=-((3 u^2)/4) - u^3 + (5 a v)/4 + 3 a u v,\\
\dot v&= -v (3 u + u^2 - 5 a v).
\end{aligned}
\end{equation}
This system has two singular points, $(-3/4,0)$ with eigenvalues
$-9/16$ and  $27/16$, then it is a saddle. The seconde point is a
nilpotent singularity at the origin. In order to obtain its local
phase portrait we use \cite[Theorem 3.5]{DLA}, and we obtain that
it consists of one hyperbolic, one elliptic and two parabolic
sectors.

For the finite singular points in addition to the two previous
singular points at $(0,0)$ and $(-4a,2a)$, the system  has a
hyperbolic saddle at $ (16 a/81,20 a/27)$ with eigenvalues $-10 a/3$
and $17 a/9$.
\smallskip

\textbf{System (xiv)} in the local chart $U_1$ the system is
\[
\dot{u}=-3 b (1 + u^2) + a b^2 v - a (1 + u^2)v, \quad \dot{v}=-u v
(4 b + a v),
\]
this system has no infinite singular points. In the chart $U_2$ the
system becomes
\begin{align*}
\dot{u}&=3 b (u + u^3) - a b^2 u^2 v + a (1 + u^2) v, \\
\dot{v}&=-v (b - 3 b u^2 - a u v + a b^2 u v),
\end{align*}
the origin of this system is a saddle with eigenvalues $-b$ and $3b$.

If $b\in (0, 1/2)$ the system has two finite singularities both are
centers; one at the origin with eigenvalues $\pm ai\sqrt{1-b^2}$, and
the other at $(a(b^2-1)/3b,0)$ with eigenvalues $ \pm a\sqrt{-1 + 5
b^2 - 4 b^4}/\sqrt{3}$.

If $b=1/2$ the system has two finite singular points, a center at the
origin with eigenvalues  $\pm ai\sqrt{3}/2$, and a nilpotent singular
point at  $(-a/2,0)$ with eigenvalues $0$ and $ai\sqrt{3}/2$. By
\cite[Theorem 3.5]{DLA}, and we obtain that it consist of one
hyperbolic, two parabolic and one elliptic sectors.

If $b\in  (1/2, \infty)$ the system  has four finite singular points,
the origin which is a center if  $b\in (1/2,1)$, and a saddle if
$b\in (1,\infty)$; the point $(a(b^2-1)/3b,0)$ with the same previous
eigenvalues, which is a center if $b\in (1,\infty)$, and a saddle if
$b\in (1/2, 1)$; the point $(-a/4b, -a\sqrt{4b^2-1}/4b)$ with
eigenvalues $-a\sqrt{4b^2-1}/2$ and $ -a\sqrt{4b^2-1}$, then it is a
stable node; and the point $(-a/4b, a\sqrt{4b^2-1}/4b)$ with
eigenvalues $ \frac{1}{2}a\sqrt{4b^2-1}$ and $ a\sqrt{4b^2-1}$, then
it is an unstable node.
\end{proof}


\section{Local and global phase portraits}

\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,174)(0,0)
\put(0,4){\includegraphics[width=120mm]{fig4}} %l1.eps
\put(16,135){1}
\put(60,135){2}
\put(102,135){3}

\put(16,90){4}
\put(60,90){5}
\put(102,90){6}

\put(16,44){7}
\put(60,44){8}
\put(102,44){9}

\put(16,0){10}
\put(59,0){11}
\put(102,0){12}

\end{picture}
\end{center}
\caption{Local phase portraits at the singular points. The invariant algebraic
curves of degree $4$ are drawn in blue color.}\label{L1}
\end{figure}

\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,174)(0,0)
\put(0,4){\includegraphics[width=120mm]{fig5}} %L2.eps
\put(14,130){13}
\put(58,130){14}
\put(100,130){15}

\put(14,85){16}
\put(59,85){17}
\put(102,85){18}

\put(14,43){19}
\put(59,43){20}
\put(102,43){21}

\put(14,0){22}
\put(59,0){23}
\put(102,0){24}

\end{picture}
\end{center}
\caption{Continuation of Figure \ref{L1}.}\label{L2}
\end{figure}

\begin{figure}[ht]
\footnotesize
\begin{center}
\setlength{\unitlength}{1mm} %\scriptsize
\begin{picture}(120,86)(0,0)
\put(0,5){\includegraphics[width=120mm]{fig6}} %L3.eps
\put(14,44){25}
\put(59,44){26}
\put(102,44){27}

\put(58,0){28}
\end{picture}
\end{center}
\caption{Continuation of Figure \ref{L1}.}\label{L3}
\end{figure}

\textbf{System (i)} can have two different phase portraits
according to the value of $b^2-6a^2$.

If $b^2\neq 6a^2$ and from statement (i) of Proposition \ref{prop2} we
obtain the local phase portrait of the finite and infinite singular
points.  Due to the fact that three of the finite singular points are
on the Oblique Bifolium invariant curve of the system, we obtain some
orbits on this invariant curves connecting those singular points,
these connections vary if either $49b^2-144a^2>0$ and $6 a^2-b^2>0$,
or $49b^2-144a^2<0$ (see local phase portraits 1  of  Figure
 \ref{L1}); or if $49b^2-144a^2>0$ and $6 a^2-b^2<0$ (see local phase
portraits 1 of Figure \ref{L1}). Since $\dot{x}_{|x = 0 }=
-2aby^2<0$, the separatrices for which we do not know their $\alpha$-
or $\omega$-limit can be easily determined from the mentioned
figures, obtaining the global phase portrait 1 of Figure \ref{G1}.

If $b^2- 6a^2=0$ the system has two hyperbolic nodes and one
saddle-node; the three finite singular points belong  to the Oblique
Bifolium invariant  curve of the system, and by using the same
arguments as in the previous case (see also local phase portraits 2
in Figure \ref{L1}) we get the global phase portrait 2 in Figure
\ref{G1}.
\smallskip

\textbf{System (ii)} from statement  (ii) of Proposition
\ref{prop2}, we obtain that the system has two finite nodes  which
belong to the Right Bifolium invariant  curve of the system, so they
connect each one to the other. The system has only one infinite
saddle in the local chart $U_1$. Since $\dot{x}_{|x = 0 }<0$ and
$\dot{y}_{|y = 0 }>0$, we get that the $\alpha$-limit of the infinite
saddle in the local chart $U_1$ is the finite unstable node  and the
$\omega$-limit of the infinite saddle in the local chart $V_1$ is the
finite stable node (see the local phase portrait 3 of Figure
 \ref{L1}). Hence the phase portrait 3 of Figure \ref{G1} is the global one
of this system.
\smallskip

\textbf{System (iii)} according to statement  (iii) of
Proposition \ref{prop2} we obtain the local phase portrait of this
system,  which contains three finite hyperbolic nodes belong to the
Bow invariant curve, and one finite hyperbolic  saddle.  In the
infinity the system has four saddles and two nodes. Since $x = 0$ is
an invariant straight line  of the system and the fact that the node
at the origin and a saddle are localized on this line and by taking
into account that $\dot{y}_{|y = 0 }>0$, (see the local phase
portrait 4 of Figure  \ref{L1}) it results the global phase portrait
4 of Figure  \ref{G1}.
\smallskip

\textbf{System (iv)} for this system we distinguish three different
global phase portraits according to the sign of $3b^2-125$.

If $3b^2-125>0$ we use the same tools as in the previous case and according to
 the local phase portrait 5 of Figure \ref{L1},  we
get  the global phase portrait 5 of Figure \ref{G1}.

If $3b^2-125<0$ the system has the local phase portrait 6 of Figure
\ref{L1}, and the same configuration of equilibria than  system
$(ii)$. So it has the global phase portrait 6 of Figure \ref{G1}.

If $b=\sqrt{125}/\sqrt{3}$ from statement  (iv) of Proposition
\ref{prop2} the system has two finite hyperbolic nodes and one
semi-hyperbolic saddle-node. These three finite singular points
belong to the Cardioid invariant curve of the system, and since the
variartion of its vector field on the axes is given by $\dot{x}_{|x =
0 }=y((a\sqrt{125})/(3\sqrt{3})-y)$,  $\dot{y}_{|y = 0
}=-5\sqrt{15}x^2<0$ (see the local phase portrait 7 of Figure
\ref{L1}.), we get the global phase portrait  7 of Figure
\ref{G1}.
\smallskip


\textbf{System (v)} according to statement $(v)$ of Proposition
\ref{prop2},  system $(v)$ has one linearly zero singular point at the
origin, whose local phase portrait consists of two hyperbolic
sectors. For the infinite ones it has one hyperbolic stable node at
the origin of the local chart $U_2$. Knowing that both of Campila
curve and the straight line $x = 0$ are invariant for the system, and
the fact that $\dot{y}_{|y= 0 }>0$,(see local phase portrait 8 of
Figure \ref{L1}), so  it follows the global phase portrait 8 of
Figure \ref{G1}.
\smallskip

\textbf{System (vi)} from statement (vi) of Proposition \ref{prop2}
and the local phase portrait 9 of Figure \ref{L1}, and  since
$\dot{y}_{|y = 0 }>0$ it follows the phase portrait 9 of Figure
\ref{G2}.
\smallskip


\textbf{System (vii)}  has two different global phase portraits.

If $c\neq 1/\sqrt{3}$ it has the same configuration of  equilibria
than systems (i) either when $49 b^2-144a^2>0$ and $6a^2-b^2\neq0$
or when  $49 b^2-144a^2<0$ and  system (iv) when $3b^2-124k^2>0$.
So it has the global phase portrait 10 of Figure \ref{G2}.

If $c=1/\sqrt{3}$ the system has a stable node  $(3r,0)$, an unstable
node\\
 $(-3r/2, -3\sqrt{3}/2)$ and a  cusp $(-3r/2, (-3\sqrt{3}/2)$.
These three singularities are on Steiner's Invariant curve of the
system. At infinity it has only one hyperbolic saddle at
$(1/\sqrt{3},0)$ in $U_1$. Since $\dot{x}_{|x = 0 }=(y-
\sqrt{3}r)^2>0$  and $\dot{y}_{|y = 0 }=(1/ \sqrt{3})(x- 3r)^2>0$,
see the local phase portrait 11 of Figure\ref{L1}, so we get that
the global phase portrait of this case is 11 of Figure\ref{G2}.

If $c=0$ the system has two unstable nodes at $(-3r/2, \pm 3\sqrt{3}
r/2)$, a stable node at $(3r,0)$, a saddle at  $(-r,0)$. These four
singularities are on Steiner's Invariant curve of the system. At
infinity it has only one hyperbolic saddle at $(1/\sqrt{3},0)$ in
$U_1$. Since $\dot{x}_{|x = 0 }=y^2+9 r^2>0$  and $\dot{y}_{|y = 0
}=0$, see the local phase portrait 12 of Figure\ref{L1}, so we get
that the global phase portrait of this case is 12 of Figure
\ref{G2}.
\smallskip

\textbf{System (viii)} has the same configuration of equilibria
than system (ii). Hence it has the global phase portrait 13 of
Figure \ref{G2}.
\smallskip

\textbf{System (ix)} The origin of this  system is  a linearly zero
singular point whose local phase portrait consists of two elliptic
and two parabolic sectors. Since the straight line $x=0$ and the
Montferrier's curve are invariant for the system intersecting at the
origin, the fact that  $\dot{y}_{|y = 0 }<0$ and $\dot{y}_{|x = 0
}>0$, and from the local phase portrait  14  of Figure \ref{L2}, we
obtain the global phase portrait 14  of Figure \ref{G2}.
\smallskip

\textbf{System (x)} has two finite hyperbolic singular points, a
stable  node $n=(r,r/2)$ which belongs to the  Pear invariant curve
$H=0$ of this system and a saddle $s=(r,0)$ outside of $H=0$. For the
infinite ones  it has only one linearly zero singular point at the
origin of  $U_1$, whose local phase portrait consists of two
hyperbolic sectors separated by two parabolic sectors. Since each one
of the straight lines $y=0$, $x=r$ and $y=r/2$ are invariant for the
system they contain in their intersection and according to the local
phase portrait 15  of Figure \ref{L2}. The global phase portrait of
this system is 15  of Figure \ref{G2}.
\smallskip

\textbf{System $(xi)$}  has the same configuration  of equilibria
than system $(iii)$, then it has the global phase portrait 16
of Figure \ref{G2}.


\textbf{System (xii)} for this system we get four different global
phase portraits according with the values of the parameter $c$.

If $c \in (0, b\sqrt{592 + 224 \sqrt{7}}  /(a \sqrt{3})$  the system
has one stable node and an unstable node which belong to the Piriform
invariant curve. At infinity the system has two hyperbolic saddles at
$U_1$ and one  hyperbolic stable node at the origin of $U_2$. Taking
into account the following directions of the vector field of the
system $\dot{y}_{|y = 0 }=-((3 a^2 c)/(32 b^2)) x^2<0$ and
$\dot{x}_{|x = 0 }=-(1/16) a c y$ (see local phase portrait 17
of Figure \ref{L2}), we obtain the global phase portrait 17
of Figure \ref{G2}.

If $c \in (b\sqrt{592 + 224 \sqrt{7}}/(a\sqrt{3}),+\infty)$ from
Proposition \ref{prop2} this system has four hyperbolic finite singular
points; three nodes and one saddle. In the chart $U_1$ it has two
hyperbolic saddles and the origin of $U_2$ is a stable node. To know
the $\alpha-$ and the $\omega$-  limit of the finite and infinite
separatrices of the saddles we calculate the variation of the vector
field of the system on the axes, we get $\dot{x}_{|x = 0 }=-(1/16) a
c y$,  $\dot{y}_{|y = 0 }=(-3 a^2 c)/(32 b^2)x^2<0$. From the local
phase portrait 18  of Figure \ref{L2}; we get that the global one is
18  of Figure \ref{G2}.

If $c=0$ the system has two finite hyperbolic nodes, the stable at
the origin and the unstable at $(a,0)$. These two points belong to
the Piriform invariant curve of the system. For the infinite
singularities the system has one hyperbolic saddle at the origin of
the local chart $U_1$. The local phase portrait of the origin of
$U_2$ is a linearly zero singular point that its local phase portrait
consists of two hyperbolic and two parabolic sectors. Since
$\dot{x}_{|y = 0 }=-(1/4)(a-x) x$ and that straight lines $x=0$,
$y=0$ and $x=a$ are invariant for the system we can know the
direction of the vector field on the axes, see the local phase
portrait 19 of Figure \ref{L2} which forces the global phase
portrait 19 of Figure \ref{G3}.

If $c= b\sqrt{592 + 224 \sqrt{7}}/(a\sqrt{3}) $ from Proposition
\ref{prop2} we get the local phase portrait 20  of
Figure \ref{L2} for
the finite and infinite singular points of the system. Since
$\dot{x}_{|x = 0 }=(-1/12) \sqrt{111 + 42 \sqrt{7}} b y$  and
$\dot{y}_{|y = 0 }=(-1/8b)3 \sqrt{111 + 42 \sqrt{7}} a x^2 <0$ we get
that the global phase portrait in this case is   of
Figure \ref{G3}.
\smallskip

\textbf{System (xiii)} we get three different phase portraits.

If $c=9$ we get the local phase portrait for the finite and the
infinite singularities from Proposition \ref{prop2}. The three finite
singular points are on the Ramphoid cusp the invariant curve of the
system. Since  $\dot{x}_{|x = 0 }=y^2>0$  and $\dot{y}_{|y = 0 }=(5 a
x)/4$ we get the local phase portrait 21 of Figure \ref{L2}, so
the global one is 21 of Figure \ref{G3}.

If $c<27/8$ the system has two  finite hyperbolic singularities, a
stable node at the origin and an unstable focus at $(-4a, 2a)$ and
three infinite singularities, two saddles and one unstable node.
By knowing that  $\dot{x}_{|x = 0 }=y^2$ and $\dot{y}_{|y = 0
}=(a/20)(34-c)x$ we get the local phase portrait 22 of Figure \ref{L3},
so the global one is 22 of Figure \ref{G3}.

If $c=27/8$ from Proposition \ref{prop2} we get the local phase phase
portrait for finite and infinite singularities. According the
direction of the vector field of the system which gives by
$\dot{x}_{|x = 0 }=y^2$ and $\dot{y}_{|y = 0 }=(49 a x)/32$ we get
the local phase portrait 23 of Figure \ref{L3}, so the global one
is 23 of Figure \ref{G3}.

If $c>27/8$ and $c\ne 9$ by using the same tools we get the global
phase portrait 24  of Figure \ref{G3}.
\smallskip


\textbf{System (xiv)} has three different global phase portraits
and in all the cases it has  one infinite hyperbolic saddle at the
origin of $U_2$ and no equilibria in the chart $U_1$.

If $b=1/2$ we get the local phase portrait from the statement
(xvi) of Proposition \ref{prop2}. The two finite singular points of
the system are in the Lima\c con of Pascal the invariant curve of the
system. The variation of the vector field on the axes gives by
$\dot{x}_{|x = 0 }=ay$ and $\dot{y}_{|y = 0 }=(-3/4)x(a+2x)$ (see
local phase portrait 25 of Figure \ref{L3}). So we get the global
phase portrait 25 of Figure \ref{G3}.

If $b\in (0,1/2)$ then for the finite singular points the system has
two centers one at the origin and the second at
$A=(a(b^2-1)/(3b),0)$.  In this case the origin belongs to the Lima\c
con of Pascal $H=0$ the invariant curve of the system which is
homeomorphic to a circle. The variation of the vector field on the
axes gives by the two equations $\dot{x}_{|x = 0 }=ay$ and
$\dot{y}_{|y = 0 }=x(a(-1+b^2)-3bx)$ (see local phase portrait 26
of Figure \ref{L3}), then we can conclude that  the global phase
portrait is 26 of Figure \ref{G3}.

If $b\in (1,+\infty)$  then from statement (xvi) of Proposition
\ref{prop2} the system has a center, a hyperbolic saddle at the origin
and two hyperbolic nodes symmetric with respect to the $x$-axis,  one
is stable and the other unstable. The three hyperbolic finite points
are on the Lima\c con of Pascal invariant curve, see local phase
portrait 27 of Figure \ref{L3}).  As the previous cases using the
vector field on the axes, we obtain the global phase portrait 27 of
Figure \ref{G3}.

If $b\in (1/2,1)$ using Proposition \ref{prop2} and working as in the
previous case we obtain the global phase portrait 28 of Figure
\ref{G3}.

We note that the case $b=1$ is not studied because in this case we
have a cardioid which already has been considered.


\subsection*{Acknowledgements}

This work was supported by the Ministerio de Econom\'ia, Industria y
Competitividad, Agencia Estatal de Investigaci\'on grants
MTM2016-77278-P (FEDER) and MDM-2014-0445,, the Ag\`encia de Gesti\'o
d'Ajuts Universitaris i de Recerca grant 2017 SGR 1617, and the
European project Dynamics-H2020-MSCA-RISE-2017-777911.


\begin{thebibliography}{99}

\bibitem {AFJ}  M. J. \'Alvarez, A. Ferragut, X. Jarque;
\emph{A survey on the blow up technique}, Int. J. Bifurcation and
Chaos \textbf{21} (2011), 3103--3118.

\bibitem {Ar}  J. C. Art\'es, J. Llibre, D. Schlomiuk, N. Vulpe;
\emph{Geometric configurations of singularities of planar
polynomial differential systems}, preprint, 2018.

\bibitem {Co}  W. A. Coppel;
\emph{A survey of quadratic systems}, J. Differential Equations \textbf{2} 
(1966), 293--304.

\bibitem {DLA}  F. Dumortier, J. Llibre, J. C. Art\'es;
\emph{Qualitative theory of planar differential systems},
Universitext, Spring-Verlag, 2006.

\bibitem {Ful}  W. Fulton;
\emph{Algebraic curves}, Mathematics Lecture Note Series, Benjamin
Cummings Inc., 1969. Reprinted by Addison--Wesley Publishing Company
Inc., 1989.

\bibitem{IAJ}  I. A. Garc\'{i}a,   J. Llibre;
\emph{Classical Planar Algebraic Curves Realizable by Quadratic
Polynomial Differential Systems:} Internat. J. Bifur. Chaos Appl.
Sci. Engrg. \textbf{27}, 1750141 (2017).

\bibitem{M2}  L. Markus;
\emph{Global structure of ordinary differential equations in the
plane:} Trans. Amer. Math Soc. \textbf{76} (1954), 127--148.

\bibitem{Ne}  D. A. Neumann;
\emph{Classification of continuous flows on 2--manifolds}, Proc. Amer.
Math. Soc. \textbf{48} (1975), 73--81.

\bibitem{Pe}  M.M. Peixoto;
\emph{Dynamical Systems. Proccedings of a Symposium held at the
University of Bahia}, 389--420, Acad. Press, New York, 1973.

\bibitem{Re}  J. W. Reyn;
\emph{Phase portraits of planar quadratic systems}, Mathematics and
its Applications, Vol. \textbf{583}, Springer, 2007,

\bibitem{Ye}  Y. Q. Ye et al.;
\emph{Theory of limit cycles}, Translations of Mathematiical
Monographs, Vol. \textbf{66}, American Mathematical Society, Providence,
RI, 1986.

\end{thebibliography}

\end{document}
