Estimation to the number of limit cycles for generalized Kukles differential system

1. Introduction

The study of limit cycles, which are isolated periodic orbits in the set of solutions of differential equations, is one of the main problems in the theory of differential equations. It is done by checking their existence, number, and stability. Many mathematicians, physicists, chemists, biologists, and others were interested in knowing and discovering those properties related to the limit cycles. The origin or the motivation of limit cycles emerged from the second part of the \(16^{th}\) Hilbert problem [1], which involves finding the maximum number of limit cycles of polynomial vector fields with fixed degrees.

There are several methods exist to study the number of limit cycles that bifurcate from the periodic orbits such as the abelian integral method [2], the integrating factor [3], the Poincar\'{e} return map [4], Poincar\'{e}-Melnikov integral method [5] and averaging theory [6, 7]. The study of limit cycles for differential equations or planar differential systems by applying the averaging method has been considered by several authors see, for instance, [8, 9, 10, 11].

Here we consider a particular case of the \(16^{th}\) Hilbert problem to study the upper bound of the generalized polynomial Kukles system, where \(Q(x,y)\) is a polynomial with real coefficients of degree \(n\). In [12], Kukles introduced the following differential system and he gave the necessary and sufficient conditions under which the system (2) has a center at the origin. In [13], it was solved the center problem for system (2) when \(a_{2} = 0\) and it was proved that at most six limit cycles bifurcate from the origin. In [14], Sadovskii solved the center-focus problem for system (2) with \(a_{2}a_{7}\neq0\) and proved that systems (2) can have seven limit cycles bifurcate from the origin. In [8], Llibre and Mereu used the averaging theory to study the maximum number of limit cycles of a class of generalized polynomial Kukles differential system of the form where for every k the polynomials \(f_{n_1}^{k}, g_{n_2}^{k}\) and \(h_{n_3}^{k}\) have degree \(n_1,n_2\) and \(n_3\) respectively, \(d_{0}^{k}\) real number different from zero and \(\varepsilon\) is a small parameter.

In [9], Boulfoul et al., used the averaging theory to study the maximum number of limit cycles of a class of generalized polynomial Kukles differential system of the form

where \(f(x)=\varepsilon f_{1}(x)+\varepsilon^{2} f_{2}(x), g(x)=\varepsilon g_{1}(x)+\varepsilon^{2} g_{2}(x), h(x)=\varepsilon h_{1}(x)+\varepsilon^{2} h_{2}(x)\) and \(l(x)=\varepsilon l_{1}(x)+\varepsilon^{2} l_{2}(x)\) have degree \(n_{1},n_{2},n_{3}\) and \(n_{4}\) respectively, and \(\varepsilon\) is a small parameter.

In this paper, by using the averaging theory, we study the maximum number of limit cycles which can bifurcate from the periodic orbits of the linear center \(\dot{x}=y,\dot{y}=-x\) perturbed inside the class of generalized polynomial Kukles differential system of the form where \(f(x)=\varepsilon f^{1}(x)+\varepsilon^{2} f^{2}(x)\), \(g(x)=\varepsilon g^{1}(x)+\varepsilon^{2} g^{2}(x)\), \(h(x)=\varepsilon h^{1}(x)+\varepsilon^{2} h^{2}(x)\), and \(l(x)=\varepsilon l^{1}(x)+\varepsilon^{2} l^{2}(x)\), where \(f^{k}(x),g^{k}(x),h^{k}(x)\) and \(l^{k}(x)\) have degree \(n_{1}, n_{2},\) \(n_{3}, n_{4}\) respectively for \(k=1, 2.\) \(p\) is a positive integer and \(\varepsilon\) is a small parameter. The main results of this paper is the following theorem:

Theorem 1. For \(\left\vert {\varepsilon}\right\vert \) sufficiently small, the maximum number of limit cycles of the polynomial Kukles differential system 5 which can bifurcate from the periodic orbits of the linear center \(\dot{x}=y, \dot{y}=-x\),

1. is \( \max \left\{\left[ \frac{n_{2}}{2}\right] ,\left[ \frac{n_{4}}{2}\right]+1 \right\}, \) by using averaging theory of first order,
2. and \( \max \left\{ \left[ \frac{n_{2}}{2}\right] ,\left[ \frac{n_{4}}{2}\right]+1 ,% \left[ \frac{n_{1}}{2}\right] \right. +\left[ \frac{n_{2}-1}{2}\right] +p,% \left[ \frac{n_{1}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right] +p+1, \left[ \frac{n_{1}-1}{2}\right] +\mu +p,\left[ \frac{n_{2}-1}{2}\right] +% \left[ \frac{n_{3}}{2}\right] +p+1,\left[ \frac{n_{3}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right] +p+2, \left. \left[ \frac{n_{3}-1}{2}\right] +\mu +p+1\right\} , \) by using averaging theory of second order, where \(\mu =\min \left\{ \left[ \frac{n_{2}}{2}\right] ,\left[ \frac{n_{4}}{2}% \right]+1 \right\} \).

Our paper is organized as; in S2, we introduce the averaging theory of first and second order. Then in S3, we prove our main theorem using the tools mentioned in S4. And finally, we concluded our study by giving some applications.

2. The averaging theory of first and second order

The averaging theory of first and second order, for studying periodic orbits, was developed in [6, 15]. The following result is Theorem 4.2 of [6].

Theorem 2. Consider the differential system

where \(F_{1},F_{2}:\mathbb{R}\times D \rightarrow \mathbb{R}^n, R:\mathbb{R} \times D \times (-\varepsilon_{f},\varepsilon_{f}) \rightarrow \mathbb{R}^n\) are continuous functions, \(T\)-periodic in the first variable, and \(D\) is an open subset of \(\mathbb{R}^n\). Assume that

1. \(F_{1}(t,.)\in C^{1}(D)\) for all \(t \in \mathbb{R}\), \(F_{2}, R\) and \(D_{x}F_{1}\) are locally Lipschitz with respect to \(x\), and \(R\) is differentiable with respect to \(\varepsilon\). Define \(f_{1},f_{2}: D \rightarrow \mathbb{R}\) by
   \begin{equation}\label{1.13} \left.\begin{array}{rl} f_{1}(z)=& \dfrac{1}{T}\displaystyle \int^T_{0} F_{1}(s ,z)ds,\;\;\\ f_{2}(z)=& \dfrac{1}{T} \displaystyle \int^T_{0} \left[ D_{z}F_{1}(s,z) \int^s_{0} F_{1}(t,z)dt + F_{2}(s,z) \right] ds . \end{array}\right\} \end{equation}

   (7)
2. For \(V \subset D\) an open and bounded set and for \(\varepsilon \in (-\varepsilon_{f},\varepsilon_{f}) \setminus \{0\} \), there exists \(a_{\varepsilon} \in V\) such that \(f_{1}(a_{\varepsilon})+ \varepsilon f_{2}(a_{\varepsilon})=0\) and \(d_{B}(f_{1}+ \varepsilon f_{2},V,a)\neq 0\).

Then for \(|\varepsilon|>0\) sufficiently small there exists a \(T\)-periodic solution \(\varphi(\cdot, \varepsilon)\) of the system (6) such that \(\varphi(0, \varepsilon)\to a\) when \(\varepsilon\to 0\). If \(f_{1}\) is not identically zero, then the zeros of \(f_{1}+\varepsilon f_{2}\) are mainly the zeros of \(f_{1}\) for \(\varepsilon\) sufficiently small. In this case the previous result provides the averaging theory of first order. If \(f_{1}\) is identically zero and \(f_{2}\) is not identically zero, then the zeros of \( f_{1}+\varepsilon f_{2} \) are mainly the zeros of \(f_{2}\) for \(\varepsilon\) sufficiently small. In this case the previous result provides the averaging theory of second order. For additional information on the averaging theory see the books [7, 16].

3. Proof of statement \((a)\) and \((b)\) of Theorem 1

In this proof, we use the first order averaging theory. So, we write the system 5 in polar coordinates \((r,\theta)\) where \(x=rcos\theta\), \(y=rsin\theta\), \(r>0\). We write the polynomials \(f^{1}(x), g^{1}(x),h^{1}(x)\) and \(l^{1}(x)\) which appear in 5 as, Therefore system 5 becomes \begin{eqnarray*} \dot{r} &=&-\varepsilon \left(\sum_{i=0}^{n_{1}}a_{i}r^{i+2p}\cos ^{i}\theta \sin ^{2p+1}\theta +\sum_{i=0}^{n_{2}}b_{i}r^{i+2p+1}\cos ^{i}\theta \sin ^{2p+2}\theta \right. \\ &&\left.+\sum_{i=0}^{n_{3}}c_{i}r^{i+2p+2}\cos ^{i}\theta \sin ^{2p+3}\theta +\sum_{i=0}^{n_{4}}d_{i}r^{i+2p+3}\cos ^{i}\theta \sin ^{2p+4}\theta \right),\\ \dot{\theta} &=&-1-\frac{\varepsilon }{r}\left(\sum_{i=0}^{n_{1}}a_{i}r^{i+2p}\cos ^{i+1}\theta \sin ^{2p}\theta +\sum_{i=0}^{n_{2}}b_{i}r^{i+2p+1}\cos ^{i+1}\theta \sin ^{2p+1}\theta \right. \\ &&\left.+\sum_{i=0}^{n_{3}}c_{i}r^{i+2p+2}\cos ^{i+1}\theta \sin ^{2p+2}\theta +\sum_{i=0}^{n_{4}}d_{i}r^{i+2p+3}\cos ^{i+1}\theta \sin ^{2p+3}\theta \right).\\ \end{eqnarray*} Taking \(\theta\) as the new independent variable, we get \begin{eqnarray*} \dfrac{dr}{d\theta} &=&\varepsilon \left(\sum_{i=0}^{n_{1}}a_{i}r^{i+2p}\cos ^{i}\theta \sin ^{2p+1}\theta +\sum_{i=0}^{n_{2}}b_{i}r^{i+2p+1}\cos ^{i}\theta \sin ^{2p+2}\theta \right. \\ &&\left.+\sum_{i=0}^{n_{3}}c_{i}r^{i+2p+2}\cos ^{i}\theta \sin ^{2p+3}\theta +\sum_{i=0}^{n_{4}}d_{i}r^{i+2p+3}\cos ^{i}\theta \sin ^{2p+4}\theta \right)+O(\varepsilon ^{2}),\\ &=&\varepsilon F_{1}(r,\theta)+O(\varepsilon ^{2}). \end{eqnarray*} Let \(F_{10}\) be the averaging equation of first order associated with system 5. Using the notation introduced in Theorem \ref{t2}, we compute \(F_{10}\) by integrating \(F_{1}\) with respect to \(\theta\), $$F_{10}(r)=\dfrac{1}{2\pi }\int_{0}^{2\pi}F_{1}(r,\theta)d\theta.$$

Lemma 1. Let \(A_{i,j}\left( \theta \right) =\cos ^{i}\theta \sin ^{j}\theta \) and \( \theta\xi _{i,j}\left( \theta \right) =\int_{0}^{\theta }A_{i,j}(s)ds,\) where \begin{eqnarray*} \int_{0}^{2\pi }A_{i,j}(\theta )d\theta &=&\left\{ \begin{array}{c} 0, \;\;\; if \;\;\; i\text{ is}\text{ odd}\text{ or}\; j \text{ is}\text{ odd}, \\ 2\pi\xi _{i,j}\left( 2\pi \right), \;\;\; if\;\; i\text{ }and\text{ }j \text{ }are\text{ }even, \end{array} \right. \\ && \end{eqnarray*} and \begin{eqnarray*} \xi_{2i,2j+4}(2\pi ) &=&\frac{2j+3}{2i+2j+4}\xi_{2i,2j+2}(2\pi ). \end{eqnarray*}

Using Lemma 1, we obtain the integral of the function \(F_{10}(r)\) Then the polynomial \(F_{10}(r)\) has at most \(\max \left\{ \left[ \frac{n_{2}}{2}\right] ,\left[ \frac{n_{4}}{2}\right] +1\right\} \) positive roots. Hence statement (a) of Theorem (1) is proved. For proving statement (b) of Theorem 1, we will use the second-order averaging theory. We take \(f^{1}(x), g^{1}(x),h^{1}(x)\) and \(l^{1}(x)\) as defined in (8), and let In polar coordinates \((r,\theta)\) where \(x=rcos\theta\), \(y=rsin\theta\), \(r>0\), the differential system 5 becomes Taking \(\theta\) as new independent variable, we find \( \dfrac{dr}{d\theta} =\varepsilon F_{1}(r,\theta)+\varepsilon^{2}F_{2}(r,\theta)+O(\varepsilon ^{3}), \) where And In order to apply averaging theory of second order, \(F_{10}\) must be identically equal to zero. Therefore from (9), we take where \(\lambda =\max \left\{ \left[ \frac{n_{2}}{2}\right] ,\left[ \frac{% n_{4}}{2}\right] +1\right\} .\) Let \(F_{20}\) be the averaging equation of second order associated with system 5. Now, we determine \(F_{20}\) by integrating with respect to \(\theta\) \begin{eqnarray*} F_{20}(r)&=&F_{20}^{1}(r)+F_{20}^{2}(r), \end{eqnarray*} where \begin{eqnarray*} F_{20}^{1}(r)&=&\dfrac{1}{2\pi}\int_{0}^{2\pi}\dfrac{d}{dr}F_{1}(r,\theta)y(r,\theta)d\theta\;\;\;\text{ and }\;\;\; F_{20}^{2}(r)=\dfrac{1}{2\pi}\int_{0}^{2\pi}F_{2}(r,\theta)d\theta. \end{eqnarray*} By substituting (14) in (13) and (12), we get \( F_{1}(r,\theta ) =\sum\limits_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p+1}+\sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p}+ \sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+2}+\sum\limits_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+3}+ \sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+2}+\sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+4}+ \sum\limits_{i=1}^{\mu }\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{% 2i-1}A_{2i,2p+2}\left( \theta \right) \right) d_{2i-2}r^{2i+2p+1}. \) To compute \(F_{20}^{1}\), we must derive \(F_{1}\), so \( \frac{dF_{1}(r,\theta )}{dr} =\sum\limits_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}+ \sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}+ \sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}+ \sum\limits_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}+ \sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}% \left( \theta \right) r^{2i+2p+1}+ \sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}+ \sum\limits_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1}A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}. \) And we have \( y(r,\theta) =\int_{0}^{\theta }F_{1}(r,\theta )d\theta =\sum\limits_{i=0}^{\left[ \frac{n_{1}-1% }{2}\right] }a_{2i+1}r^{2i+2p+1}\left( \beta _{i,p,0}+\sum\limits_{l=1}^{i+p+1}\beta _{i,p,l}\cos \left( 2l\right) \theta \right) +\sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2i}r^{2i+2p}\left( \tilde{% \beta}_{i,p,0}+\sum\limits_{l=1}^{i+p+1}\tilde{\beta}_{i,p,l}\cos \left( 2l-1\right) \theta \right) +\sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2i+1}r^{2i+2p+2}% \sum\limits_{l=0}^{i+p+1}\bar{\beta}_{i,p,l}\sin \left( 2l+1\right) \theta +\sum\limits_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2i+1}r^{2i+2p+3}\left( \gamma _{i,p,0}+\sum\limits_{l=1}^{i+p+2}\gamma _{i,p,l}\cos \left( 2l\right) \theta \right) +\sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2i}r^{2i+2p+2}\left( \tilde{% \gamma}_{i,p,0}+\sum\limits_{l=1}^{i+p+2}\tilde{\gamma}_{i,p,l}\cos \left( 2l-1\right) \theta \right) +\sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2i+1}r^{2i+2p+4}% \sum\limits_{l=0}^{i+p+2}\bar{\gamma}_{i,p,l}\sin (2l+1)\theta +\sum\limits_{i=1}^{\mu }d_{2i-2}r^{2i+2p+1}\sum\limits_{l=1}^{i+p+1}\delta _{i,p,l}\sin (2l)\theta , \) where \(\beta_{i,p,l}, \tilde{\beta}_{i,p,l}, \bar{\beta}_{i,p,l}, \gamma _{i,p,l}, \tilde{\gamma}_{i,p,l}, \bar{\gamma}_{i,p,l}\) and \(\delta _{i,p,l}\) are constants. Now, we define as \begin{equation*} F_{20}^{1}(r)=\Upsilon _{1}(r)+\Upsilon _{2}(r)+\Upsilon _{3}(r)+\Upsilon _{4}(r)+\Upsilon _{5}(r)+\Upsilon _{6}(r)+\Upsilon _{7}(r), \end{equation*} such that \begin{eqnarray*} \Upsilon _{1}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) y(r,\theta )d\theta ,\text{ } \\ \Upsilon _{2}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) y(r,\theta )d\theta , \\ \Upsilon _{3}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) y(r,\theta )d\theta , \\ \Upsilon _{4}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) y(r,\theta )d\theta , \\ \Upsilon _{5}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) y(r,\theta )d\theta , \\ \Upsilon _{6}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) y(r,\theta )d\theta , \\ \Upsilon _{7}(r) &=&\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) y(r,\theta )d\theta . \end{eqnarray*} In the following Lemmas, we will compute the integrals \(\Upsilon _{1}(r)-\Upsilon _{7}(r)\).

Lemma 2. The integral \(\Upsilon _{1}(r)\) is given by the following

Proof. By using the integrals in Appendix, we get \begin{equation*} (a_{1})\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right) \right)d\theta =0, \end{equation*} \(.\) \begin{equation*} (b_{1})\qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{ n_{1}}{2}\right] }a_{2s}r^{2s+2p}\left( \tilde{\beta}_{s,p,0}+ \sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( c_{1}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{% 2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}\sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( d_{1}\right)\qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{% 2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{% n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{1}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{% 2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}% _{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( f_{1}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{% 2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}% \right] }d_{2s+1}r^{2s+2p+4}\sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}\sin (2l+1)\theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( g_{1}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}-1}{% 2}\right] }(2i+2p+1)a_{2i+1}A_{2i+1,2p+1}\left( \theta \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right)d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }\sum_{s=1}^{\mu }\frac{(2i+2p+1)}{2}a_{2i+1}d_{2s-2}\sum_{l=1}^{s+p+1}\delta _{s,p,l}D_{i,p,l}r^{2i+2s+4p+1}. \end{equation*} We observe that the sum of the integrals \(\left( a_{1}\right)-\left( g_{1}\right)\) is the polynomial (15). This ends the proof of Lemma (2).

Lemma 3. The integral \(\Upsilon _{2}(r)\) is given by the following,

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( b_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}% }{2}\right] }a_{2s}r^{2s+2p}\left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1}% \tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( c_{2}\right) \qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}% \right] }b_{2s+1}r^{2s+2p+2}\sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }(i+p)a_{2i}b_{2s+1}% \sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}C_{i,p,l}r^{2i+2s+4p+1}, \end{equation*} \begin{equation*} \left( d_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}% _{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( f_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}\sum_{l=0}^{s+p+2}\bar{\gamma}% _{s,p,l}\sin (2l+1)\theta \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }(i+p)a_{2i}d_{2s+1}\sum_{l=0}^{s+p+2}\bar{\gamma} _{s,p,l}C_{i,p,l}r^{2i+2s+4p+3}, \end{equation*} \begin{equation*} \left( g_{2}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{1}}{2}\right] }(2i+2p)a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p-1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta =0. \end{equation*} We observe that the sum of the integrals \(\left( a_{2}\right)-\left( g_{2}\right)\) is the polynomial (16). This ends the proof of Lemma (3).

Lemma 4. The integral \(\Upsilon _{3}(r)\) is given by the following,

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( b_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1} }{2}\right] }a_{2s}r^{2s+2p}\left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1} \tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta = \end{equation*} \begin{eqnarray*} && \\ &&\sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{1}% }{2}\right] }(i+p+1)b_{2i+1}a_{2s}\sum_{l=1}^{s+p+1}\tilde{\beta}% _{s,p,l}E_{i,p,l}r^{2i+2s+4p+1}, \end{eqnarray*} \begin{equation*} \left( c_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{ n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}\sum_{l=0}^{s+p+1}\bar{\beta} _{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( d_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2} \right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}% _{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{2}-1}{2 }\right] }\sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }(i+p+1)b_{2i+1}c_{2s}% \sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}E_{i,p,l}r^{2i+2s+4p+3}, \end{equation*} \begin{equation*} \left( f_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{ n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}\sum_{l=0}^{s+p+2}\bar{\gamma}% _{s,p,l}\sin (2l+1)\theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( g_{3}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }(2i+2p+2)b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta =0. \end{equation*} We observe that the sum of the integrals \(\left( a_{3}\right)-\left( g_{3}\right)\) is the polynomial 17. This ends the proof of Lemma 4.

Lemma 5. The integral \(\Upsilon _{4}(r)\) is given by the following

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{4}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( b_{4}\right) \qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2s}r^{2s+2p}% \left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( c_{4}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}% \sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( d_{4}\right) \qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{4}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}% \left( \tilde{\gamma}_{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( f_{4}\right) \qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}\sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}\sin (2l+1)\theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( g_{4}\right) \qquad\frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }(2i+2p+3)c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+2}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }\sum_{s=1}^{\mu }\frac{(2i+2p+3) }{2}c_{2i+1}d_{2s-2}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\tilde{D}_{i,p,l}r^{2i+2s+4p+3}. \end{equation*} We observe that the sum of the integrals \(\left( a_{4}\right)-\left( g_{4}\right)\) is the polynomial 18. This ends the proof of Lemma 5.

Lemma 6. The integral \(\Upsilon _{5}(r)\) is given by the following

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( b_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2s}r^{2s+2p}% \left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( c_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}% \sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{2}-1}{% 2}\right] }(i+p+1)c_{2i}b_{2s+1}\sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\tilde{C% }_{i,p,l}r^{2i+2s+4p+3}, \end{equation*} \begin{equation*} \left( d_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}_{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \end{equation*} \begin{eqnarray*} &&\left( f_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{% \left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \\ && \end{eqnarray*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}\sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}\sin (2l+1)\theta \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{4}-1}{% 2}\right] }(i+p+1)c_{2i}d_{2s+1}\sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}% \tilde{C}_{i,p,l}r^{2i+2s+4p+5}, \end{equation*} \begin{equation*} \left( g_{5}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{3}}{2}\right] }(2i+2p+2)c_{2i}A_{2i,2p+3}\left( \theta \right) r^{2i+2p+1}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta =0. \end{equation*} We observe that the sum of the integrals \(\left( a_{5}\right)-\left( g_{5}\right)\) is the polynomial (19). This ends the proof of Lemma 6.

Lemma 7. The integral \(\Upsilon _{6}(r)\) is given by the following,

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}\left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right)\right)d\theta =0, \end{equation*} \begin{equation*} \left( b_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2s}r^{2s+2p}% \left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{1}}{% 2}\right] }(i+p+2)d_{2i+1}a_{2s}\sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}% \tilde{E}_{i,p,l}r^{2i+2s+4p+3}, \end{equation*} \begin{equation*} \left( c_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}% \sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta =0, \end{equation*} \begin{equation*} \end{equation*} \begin{equation*} \left( d_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}\left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( e_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}_{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }\sum_{s=0}^{\left[ \frac{n_{3}}{% 2}\right] }(i+p+2)d_{2i+1}c_{2s}\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}% \tilde{E}_{i,p,l}r^{2i+2s+4p+5}, \end{equation*} \begin{equation*} \left( f_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}% \sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}\sin (2l+1)\theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( g_{6}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }(2i+2p+4)d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+3}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta =0. \end{equation*} We observe that the sum of the integrals \(\left( a_{6}\right)-\left( g_{6}\right)\) is the polynomial (20). This ends the proof of Lemma 7.

Lemma 8. The integral \(\Upsilon _{7}(r)\) is given by the following,

Proof. By using the integrals in Appendix, we get \begin{equation*} \left( a_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2s+1}r^{2s+2p+1}% \left( \beta _{s,p,0}+\sum_{l=1}^{s+p+1}\beta _{s,p,l}\cos \left( 2l\right) \theta \right)\right)d\theta = \end{equation*} \begin{equation*} \sum_{i=1}^{\mu }\sum_{s=0}^{\left[ \frac{n_{1}-1}{2}\right] }\frac{(2i+2p+1)% }{2}d_{2i-2}a_{2s+1}\sum_{l=0}^{s+p+1}\beta _{s,p,l}\left( \tilde{F}_{i,p,l}-% \frac{2p+3}{2i-1}F_{i,p,l}\right) r^{2i+2s+4p+1}, \end{equation*} \begin{equation*} \left( b_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2s}r^{2s+2p}% \left( \tilde{\beta}_{s,p,0}+\sum_{l=1}^{s+p+1}\tilde{\beta}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right)d\theta =0, \end{equation*} \begin{equation*} \left( c_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2s+1}r^{2s+2p+2}% \sum_{l=0}^{s+p+1}\bar{\beta}_{s,p,l}\sin \left( 2l+1\right) \theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( d_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2s+1}r^{2s+2p+3}% \left( \gamma _{s,p,0}+\sum_{l=1}^{s+p+2}\gamma _{s,p,l}\cos \left( 2l\right) \theta \right) \right) d\theta = \end{equation*} \begin{equation*} \sum_{i=1}^{\mu }\sum_{s=0}^{\left[ \frac{n_{3}-1}{2}\right] }\frac{(2i+2p+1)% }{2}d_{2i-2}c_{2s+1}\sum_{l=0}^{s+p+2}\gamma _{s,p,l}\left( \tilde{F}% _{i,p,l}-\frac{2p+3}{2i-1}F_{i,p,l}\right) r^{2i+2s+4p+3}, \end{equation*} \begin{equation*} \left( e_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2s}r^{2s+2p+2}\left( \tilde{\gamma}_{s,p,0}+\sum_{l=1}^{s+p+2}\tilde{\gamma}_{s,p,l}\cos \left( 2l-1\right) \theta \right) \right) d\theta =0, \end{equation*} \begin{equation*} \left( f_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2s+1}r^{2s+2p+4}% \sum_{l=0}^{s+p+2}\bar{\gamma}_{s,p,l}\sin (2l+1)\theta \right) d\theta =0, \end{equation*} \begin{equation*} \left( g_{7}\right)\qquad \frac{1}{2\pi }\int_{0}^{2\pi }\left( \sum_{i=1}^{\mu }(2i+2p+1)d_{2i-2}\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1% }A_{2i,2p+2}\left( \theta \right) \right) r^{2i+2p}\right) \times \end{equation*} \begin{equation*} \left( \sum_{s=1}^{\mu }d_{2s-2}r^{2s+2p+1}\sum_{l=1}^{s+p+1}\delta _{s,p,l}\sin (2l)\theta \right) d\theta =0. \end{equation*} We observe that the sum of the integrals \(\left( a_{7}\right)-\left( g_{7}\right)\) is the polynomial (21). This ends the proof of Lemma 8.

By Lemmas 2-8, we obtain \(F_{20}^{1}\left( r\right) =r^{1+4p}P_{1}\left( r^{2}\right) \), where \(% P_{1}\left( r^{2}\right) \) is a polynomial of degree \[ \max \left\{ \left[ \frac{n_{1}}{2}\right] \right. +\left[ \frac{n_{2}-1}{2}\right], \left[ \frac{n_{1}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right]+1,\left[ \frac{n_{1}-1}{2}\right] +\mu, \] \[ \left. \left[ \frac{n_{2}-1}{2}\right] + \left[ \frac{n_{3}}{2}\right]+1,\left[ \frac{n_{3}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right]+2,\left[ \frac{n_{3}-1}{2}\right] +\mu+1\right\} . \] Again by substituting (14) in (13) and (12), we obtain \(F_{2}(r,\theta ) =\sum\limits_{i=0}^{n_{1}}\bar{a}_{i}r^{i+2p}A_{i,2p+1}\left( \theta \right) +\sum\limits_{i=0}^{n_{2}}\bar{b}_{i}r^{i+2p+1}A_{i,2p+2}\left( \theta \right)+ \sum\limits_{i=0}^{n_{3}}\bar{c}_{i}r^{i+2p+2}A_{i,2p+3}\left( \theta \right) +\sum\limits_{i=0}^{n_{4}}\bar{d}_{i}r^{i+2p+3}A_{i,2p+4}\left( \theta \right) - \dfrac{1}{r}\left( \sum\limits_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }a_{2i+1}A_{2i+1,2p+1}% \left( \theta \right) r^{2i+2p+1}+\sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }a_{2i}A_{2i,2p+1}\left( \theta \right) r^{2i+2p}+\right. \sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }b_{2i+1}A_{2i+1,2p+2}\left( \theta \right) r^{2i+2p+2}+\sum\limits_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }c_{2i+1}A_{2i+1,2p+3}\left( \theta \right) r^{2i+2p+3}+ \sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2i}A_{2i,2p+3}% \left( \theta \right) r^{2i+2p+2}+\sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2i+1}A_{2i+1,2p+4}\left( \theta \right) r^{2i+2p+4}+ \left. \sum\limits_{i=1}^{\mu }\left( A_{2i-2,2p+4}\left( \theta \right) -\frac{2p+3}{2i-1}A_{2i,2p+2}\left( \theta \right) \right) d_{2i-2}r^{2i+2p+1}\right) \times \left( \sum\limits_{k=0}^{\left[ \frac{n_{1}-1}{2}% \right] }a_{2k+1}A_{2k+2,2p}\left( \theta \right) r^{2k+2p+1}+\sum\limits_{k=0}^{% \left[ \frac{n_{1}}{2}\right] }a_{2k}A_{2k+1,2p}\left( \theta \right) r^{2k+2p}+\right. \sum\limits_{k=0}^{\left[ \frac{n_{2}-1}{2% }\right] }b_{2k+1}A_{2k+2,2p+1}\left( \theta \right) r^{2k+2p+2}+\sum\limits_{k=0}^{% \left[ \frac{n_{3}-1}{2}\right] }c_{2k+1}A_{2k+2,2p+2}\left( \theta \right) r^{2k+2p+3}+ \sum\limits_{k=0}^{\left[ \frac{n_{3}}{2}\right] }c_{2k}A_{2k+1,2p+2}\left( \theta \right) r^{2k+2p+2}+\sum\limits_{k=0}^{\left[ \frac{n_{4}-1}{2}\right] }d_{2k+1}A_{2k+2,2p+3}\left( \theta \right) r^{2k+2p+4}+ \left. \sum\limits_{k=1}^{\mu }\left( A_{2k-1,2p+3}\left( \theta \right) -\frac{2p+3}{2k-1}A_{2k+1,2p+1}\left( \theta \right) \right) d_{2k-2}r^{2k+2p+1}\right). \) To find the explicit expression of \(F_{20}^{2}(r)=\dfrac{1}{2\pi}\int_{0}^{2\pi}F_{2}(r,\theta)d\theta\), we use the Lemma 1. So, we get \(F_{20}^{2}(r)=\left( \sum\limits_{i=0}^{\left[ \frac{n_{2}}{2}\right] }\bar b_{2i}r^{2i}\xi _{2i,2p+2}\left( 2\pi \right) +\sum\limits_{i=0}^{\left[ \frac{% n_{4}}{2}\right] }\bar d_{2i}r^{2i+2}\xi _{2i,2p+4}\left( 2\pi \right) \right)r^{2p+1}- \sum\limits_{i=0}^{\left[ \frac{n_{1}-1}{2}\right] }\sum\limits_{k=1}^{\mu }a_{2i+1}d_{2k-2}\left( \xi _{2i+2k,4p+4}(2\pi )-\frac{2p+3}{2k-1}\xi _{2i+2k+2,4p+2}(2\pi )\right) r^{2i+2k+4p+1}- \sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{2}-1% }{2}\right] }a_{2i}b_{2k+1}\xi _{2i+2k+2,4p+2}(2\pi )r^{2i+2k+4p+1}- \sum\limits_{i=0}^{\left[ \frac{n_{1}}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{4}-1% }{2}\right] }a_{2i}d_{2k+1}\xi _{2i+2k+2,4p+4}(2\pi )r^{2i+2k+4p+3}- \sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{1}% }{2}\right] }b_{2i+1}a_{2k}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) r^{2i+2k+4p+1}- \sum\limits_{i=0}^{\left[ \frac{n_{2}-1}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{3}% }{2}\right] }b_{2i+1}c_{2k}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) r^{2i+2k+4p+3}- \sum\limits_{i=0}^{\left[ \frac{n_{3}-1}{2}\right] }\sum\limits_{k=1}^{\mu }c_{2i+1}d_{2k-2}\left( \xi _{2i+2k,4p+6}\left( 2\pi \right) -\frac{2p+3}{% 2k-1}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) \right) r^{2i+2k+4p+3}- \sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{2}-1% }{2}\right] }c_{2i}b_{2k+1}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) r^{2i+2k+4p+3}- \sum\limits_{i=0}^{\left[ \frac{n_{3}}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{4}-1% }{2}\right] }c_{2i}d_{2k+1}\xi _{2i+2k+2,4p+6}\left( 2\pi \right) r^{2i+2k+4p+5}- \sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{1}% }{2}\right] }d_{2i+1}a_{2k}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) r^{2i+2k+4p+3}- \sum\limits_{i=0}^{\left[ \frac{n_{4}-1}{2}\right] }\sum\limits_{k=0}^{\left[ \frac{n_{3}% }{2}\right] }d_{2i+1}c_{2k}\xi _{2i+2k+2,4p+6}\left( 2\pi \right) r^{2i+2k+4p+5}- \sum\limits_{i=1}^{\mu }\sum\limits_{k=0}^{\left[ \frac{n_{1}-1}{2}\right] }d_{2i-2}a_{2k+1}\left( \xi _{2i+2k,4p+4}\left( 2\pi \right) -\frac{2p+3}{% 2i-1}\xi _{2i+2k+2,4p+2}\left( 2\pi \right) \right) r^{2i+2k+4p+1}- \sum\limits_{i=1}^{\mu }\sum\limits_{k=0}^{\left[ \frac{n_{3}-1}{2}\right] }d_{2i-2}c_{2k+1}\left( \xi _{\substack{ 2i+2k,4p+6 \\ }}\left( 2\pi \right) -\frac{2p+3}{2i-1}\xi _{2i+2k+2,4p+4}\left( 2\pi \right) \right) r^{2i+2k+4p+3} =r^{1+2p}\left(P_{2}(r^{2})+r^{2p}P_{3}(r^{2})\right).\) Where \(P_{2}(r^{2})\) is a polynomial of degree \[ \max \left\{ \left[ \frac{n_{2}}{2}\right],\left[\frac{n_{4}}{2}\right]+1\right\}, \] and \(P_{3}(r^{2})\) is a polynomial of degree \[ \max \left\{ \left[ \frac{n_{1}}{2}\right] \right. +\left[ \frac{n_{2}-1}{2}\right],% \left[ \frac{n_{1}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right]+1,\left[ \frac{n_{1}-1}{2}\right] +\mu, \] \[ \left. \left[ \frac{n_{2}-1}{2}\right] +% \left[ \frac{n_{3}}{2}\right]+1,\left[ \frac{n_{3}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right]+2,\left[ \frac{n_{3}-1}{2}\right] +\mu+1\right\} . \] Therefore \(F_{20}(r)\) is a polynomial in the variable \(r^{2}\) of the form \[ F_{20}\left( r\right) =F_{20}^{1}\left( r\right) +F_{20}^{2}\left( r\right) =r^{1+2p}\left( r^{2p}P_{1}\left( r^{2}\right) +P_{2}\left( r^{2}\right) +r^{2p}P_{3}\left( r^{2}\right) \right). \] Thus, \(F_{20}(r)\) has at most \[ \max \left\{ \left[ \frac{n_{2}}{2}\right] ,\left[ \frac{n_{4}}{2}\right]+1 ,% \left[ \frac{n_{1}}{2}\right] \right. +\left[ \frac{n_{2}-1}{2}\right] +p,% \left[ \frac{n_{1}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right] +p+1, \left[ \frac{n_{1}-1}{2}\right] +\] \[ \mu +p,\left[ \frac{n_{2}-1}{2}\right] +% \left[ \frac{n_{3}}{2}\right] +p+1,\left[ \frac{n_{3}}{2}\right] +\left[ \frac{n_{4}-1}{2}\right] +p+2, \left. \left[ \frac{n_{3}-1}{2}\right] +\mu +p+1\right\} , \] positive roots. Hence statement (b) of Theorem 1 is proved.

4. Applications

In this section we shall give examples to illustrate statements (a) and (b) of Theorem 1. We consider the first example corresponds to statement (a)

Example 1.

where \(f^{1}(x), g^{1}(x), h^{1}(x), l^{1}(x)\) have degree \(n_{1}=1, n_{2}=2, n_{3}=3\) and \(n_{4}=2\) respectively. The function of averaging theory of first order is \[ F_{10}(r)=r^{15}-\frac{5}{4}r^{13}+\frac{1}{4}r^{11}, \] which has exactly \(\left[\frac{n_{4}}{2}\right]+1=\) two positive zeros \(r_{1}=\frac{1}{2}, r_{2}=1\). Which satisfy \[ \frac{dF_{10}\left( r\right) }{dr}\left\vert _{r=r_{1}}\right. =-\frac{3}{8192}% \neq 0,\frac{dF_{10}\left( r\right) }{dr}\left\vert _{r=r_{2}}\right. =\frac{3}{2}\neq 0, \] so we conclude that the system (22) has an unstable limit cycle for \(r_{2}=1,\) and a stable limit cycle for \(r_{1}=\frac{1}{2}\).

Example 2. We consider an example that corresponds to statement (b) of Theorem 1

where \begin{eqnarray*} f(x) &=&\varepsilon (\frac{341}{321888}+6x)+\varepsilon ^{2}(-1-3x), \\ g(x) &=&\varepsilon (\frac{429184}{675}x+\frac{182773472}{1395}x^{3})+\varepsilon ^{2}(-\frac{1}{4500}+2x^{3}), \\ h(x) &=&\varepsilon (x^{2})+\varepsilon ^{2}(5x-3x^{2}), \\ l(x) &=&\varepsilon (-\frac{155357728}{3069}x)+\varepsilon ^{2}(-x+\frac{22}{1575}), \end{eqnarray*} and \(f(x), g(x), h(x), l(x)\) have degree \(n_{1}=1, n_{2}=3, n_{3}=2\) and \(n_{4}=1\) respectively. Since we have \(F_{10}\) identical to zero, then we must solve the equation \(F_{20}=0\) that is \[ r^{15}-\frac{5269}{3600}r^{13}+\frac{1529}{2880}r^{11}-\frac{341}{4800}r^{9}+\frac{11}{2880}r^{7}-\frac{1}{14400}r^{5} =0.\] Which has exactly \(\left[\frac{n_{2}-1}{2}\right]+\left[\frac{n_{3}}{2}\right]+p+1=\) five positive zeros \(r_{1}=\frac{1}{5},\) \(r_{2}=\frac{1}{4}, \) \(r_{3}=\frac{1}{3},\) \(r_{4}=\frac{1}{2}\) and \(r_{5}=1\). These last roots satisfy \begin{eqnarray*} \frac{dF_{20}}{dr}\left\vert _{r=r_{1}}\right. &=&\frac{252}{6103515625}% \neq 0,\;\; \frac{dF_{20}}{dr}\left\vert _{r=r_{2}}\right. =-\frac{63% }{671088640}\neq 0 \;\;\; \\ \frac{dF_{20}}{dr}\left\vert _{r=r_{3}}\right. &=&\frac{28}{23914845}\neq 0% \;, \;\; \frac{dF_{20}}{dr}\left\vert _{r=r_{4}}\right. =-% \frac{21}{163840}\neq 0 \\ \frac{dF_{20}}{dr}\left\vert _{r=r_{5}}\right. &=&\frac{6}{5}\neq 0. \end{eqnarray*} Therefore we conclude that system (23) has three unstable limit cycles for \(r_{1}= \frac{1}{5},\) \(r_{3}=\frac{1}{3}\) and \(r_{5}=1\). In addition to two others stable limit cycles for \(r_{2}=\frac{1}{4}\) and \(r_{4}=\frac{1}{2}.\)