# Bifurcation analysis and integrability in the segmented disc dynamo with mechanical friction

## Abstract

Using center manifold theory, we investigate complex dynamics in a segmented disc dynamo with mechanical friction by making a determination of equilibrium states and analyzing local stability. We find that the system undergoes Hopf bifurcation for a key parameter. Normal form theory produces the formulae for determining a super- or sub-critical Hopf bifurcation; the stability of the bifurcating limit cycle is also determined. In addition, integrability of the system is studied carefully.

## Introduction

Since the first chaotic attractor in numerical experiments was discovered by E.N. Lorenz in the 1960s, chaos has achieved tremendous and far-reaching growth in many fields. Based on the existing chaotic systems, more researchers have focused on not only identifying new and interesting nonlinear systems, but also on enhancing complex dynamics and topological structure .

Model dynamos have been investigated over the past few decades to help to explicate how the magnetic field is reversed and generated in astrophysical bodies . The self-exciting disc dynamo has been proposed as a simple prototype capable of dynamo action, which is deemed to be similar to the mechanism in both the convective envelope of the Sun and in the inner core of the Earth. Realizing that the analysis of the simplest disc dynamo was inconsistent, Moffatt proposed a segmented disc dynamo, where the current, related to radial diffusion of the magnetic field, could be included simply . The frictionless dynamo is studied in the reference [4, 7]. In this paper we take into account mechanical friction, which can be described by the equations [4, 7]:

$$\textstyle\begin{cases} \dot{x} =r(y-x)=P(x,y,z), \\ \dot{y} =xz+mx-(1+m)y=Q(x,y,z), \\ \dot{z} =g(1-(1+m)xy+mx^{2})-fz=R(x,y,z), \end{cases}$$
(1.1)

where $$x(t)$$ is the magnetic fluxes owing to radial and $$y(t)$$ denotes azimuthal currents, $$z(t)$$ measures the disc’s angular velocity; g represents the applied torque, f is on behalf of the mechanical friction. Here m, r are positive dimensionless parameters.

Based on the thought [9, 10] and no mechanical frictions, hidden chaotic solutions have been found, depending on the parameters of the problem . In the case where friction is neglected ($$f = 0$$), the system will be structurally unstable and so not physically realistic . However, Hide showed that it is ‘unwarranted’ for neglecting the mechanical friction in considering the two-disc dynamo . A suitable choice of bifurcation parameter shows that Hopf bifurcations occur in equations (1.1). We will derive equations for deciding the direction of the bifurcating limit cycles and determine their linear stability by applying the theories of center manifolds and normal forms . In the theory of polynomial differential equations, Darboux and Liouvillian integrals act a crucial role. Here we only study the Darboux integral of equations (1.1) by applying the theory of algebraic invariant surfaces, exponential factors, and Darboux polynomials (see ). We make further efforts to learn the behavior and geometry structure of equations (1.1) by studying their integrability. It turns out that there are no Darboux polynomials with cofactors being nonzero. And they have neither polynomial first integrals nor exponential factors. Furthermore, their first integrals of Darboux type do not exist either.

The paper is organized as follows. Section 2 investigates the dynamical behaviors of the segmented disc dynamo. In Sect. 3, normal form theory determines the super- or sub-criticality of Hopf bifurcations and the stability of the bifurcating limit cycles. Section 4 considers integrability of system (1.1). And Sect. 5 contains our conclusions.

## Equilibria and local stability of system (1.1)

Equations (1.1) are invariant under rotational symmetry about the z-axis, so that $$(x,y,z)\rightarrow(-x,-y,z)$$. The divergence of the flow associated with (1.1) is $$\nabla\cdot V =-( m + r + f + 1)$$. The system is therefore dissipative.

Central manifold theory gives Theorem 2.1.

### Theorem 2.1

For $$r>0$$, $$m>0$$, $$g>0$$, and $$f>0$$, one can get the following four conclusions.

1. (i)

If $$f=g$$, (1.1) has only one non-hyperbolic equilibrium: $$P^{*}=(0,0,1)$$; $$P^{*}$$ is asymptotically stable.

2. (ii)

If $$f< g$$, (1.1) has three equilibria $$P^{+}=(\sqrt{1-\frac{f}{g}},\sqrt{1-\frac{f}{g}},1)$$, $$P^{-}=(-\sqrt{1-\frac{f}{g}},-\sqrt{1-\frac{f}{g}}, 1)$$, and $$P^{0}=(0,0,\frac{g}{f})$$. $$P^{0}$$ is unstable, while $$P ^{\pm}$$ are both asymptotically stable under the following criteria:

$$\frac{2r(g-f)}{r+f+m+1}< g(m+1)+rf.$$
3. (iii)

If $$f>g$$, (1.1) has only one equilibrium $$P^{0}=(0,0,\frac {g}{f})$$, and $$P^{0}$$ is asymptotically stable when

$$(rf-rg)< (f+m+r+1) \biggl(r-\frac{rg}{f}+f+mf+rf\biggr).$$

### Proof

For case (i) with $$f=g$$, the change of variable $$x_{1}=x$$, $$y_{1}=y$$, $$z_{1}=z-1$$ gives

$$\textstyle\begin{cases} \dot{x}_{1} =r(y_{1}-x_{1}), \\ \dot{y}_{1} =x_{1}z_{1}+(m+1)x_{1}-(1+m)y_{1}, \\ \dot{z}_{1} =g(-(1+m)x_{1}y_{1}+mx_{1}^{2})-gz_{1}. \end{cases}$$
(2.1)

Hence, $$E_{0}=(0,0,0)$$ will be the only one equilibrium and its characteristic equation is

$$\lambda^{3}+(g+m+r+1)\lambda^{2}+(rg+mg+g)\lambda=0.$$
(2.2)

The roots of equation (2.2) are $$\lambda_{1}=0$$, $$\lambda_{2}=-g$$, and $$\lambda_{3}=-(1+m+r)$$ with corresponding eigenvectors $$\alpha_{1}=(1,1,0)^{T}$$, $$\alpha_{2}=(0,0,1)^{T}$$, and $$\alpha_{3}=(-\frac{r}{r+m},1,0)^{T}$$, respectively, where $$T_{1}$$ denotes transpose.

Let

$$\left ( \textstyle\begin{array}{@{}c@{}} x_{1}\\ y_{1}\\ z_{1} \end{array}\displaystyle \right )=T_{1}\left ( \textstyle\begin{array}{@{}c@{}} u\\ v\\ w \end{array}\displaystyle \right ),$$

where

$$T_{1}=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}} 1&0&-\frac{r}{r+m}\\ 1&0&1\\ 0&1&0 \end{array}\displaystyle \right ),$$

then system (2.1) becomes

$$\textstyle\begin{cases} \dot{u} =\frac{ruv}{1+m+r}-\frac{r^{2}vw}{(1+m)(1+m+r)}, \\ \dot{v} =-gv-gu^{2}+g+g(-1-m+r-\frac{2mr}{1+m})uw+g(r+\frac {mr^{2}}{(1+m)^{2}})w^{2}, \\ \dot{w} =-(1+m+r)w+\frac{1+m}{1+m+r}uv-\frac{rvw}{1+m+r}. \end{cases}$$
(2.3)

The linear stability of $$E_{0}=(0,0,0)$$ can be found from a first-order ordinary differential equation on a center manifold for the variable u as follows:

$$W^{c}(0)=\bigl\{ u,v,w\in R \mid v=h_{1}(u),w=h_{2}(u),h_{j}(0)=0, Dh_{j}(0)=0,j=1,2\bigr\}$$

for u sufficiently small.

Writing

\begin{aligned} &v=h_{1}(u)=a_{2}u^{2}+a_{3}u^{3}+O \bigl(u^{4}\bigr), \\ &w=h_{2}(u)=b_{2}u^{2}+b_{3}u^{3}+O \bigl(u^{4}\bigr) \end{aligned}
(2.4)

gives

$$\mathscr{N}\bigl(h(x)\bigr)=D_{x}h(x)Ax+D_{x}h(x)f \bigl(x,h(x)\bigr)-Bh(x)-g\bigl(x,h(x)\bigr)=0,$$
(2.5)

where

$$x=u,\qquad y=(v,w),\qquad h=(h_{1},h_{2}),\qquad A=0,$$

and

\begin{aligned}& B=\left ( \textstyle\begin{array}{@{}c@{\quad}c@{}} -g& 0\\ 0& -(1+m+r) \end{array}\displaystyle \right ), \\& f(x,y)=\frac{rv(u+mu-rw)}{(1+m)(1+m+r)}, \\& g(x,y)= \left( \textstyle\begin{array}{@{}c@{}} -\frac{f(u+mu-rw)((1+m)u+(1+m^{2}+m(2+r))w))}{(1+m)^{2}}\\ \frac{v(u+mu-rw)}{1+m+r} \end{array}\displaystyle \right). \end{aligned}

Collecting the same terms and assigning the coefficients values of zero, we can get

\begin{aligned} u^{2}\mbox{: }& {-}g-ga_{2}=0\quad \Rightarrow\quad a_{2}=-1, \\ &{-}(1+m+r)b_{2}=0\quad \Rightarrow\quad b_{2}=0, \\ u^{3}\mbox{: }& {-}fa_{3}-\frac{f(1+m^{2}-r+m(2+r))b_{2}}{1+m}=0\quad \Rightarrow\quad a_{3}=0, \\ &\frac{(1+m)a_{2}}{(1+m+r)}-(1+m+r)b_{3}=0\quad \Rightarrow\quad b_{3} =-\frac{1+m}{(1+m+r)^{2}}. \end{aligned}
(2.6)

Equations (2.4) and (2.6) give

\begin{aligned} &h_{1}(u)=-u^{2}+\cdots, \\ &h_{2}(u)=-\frac{1+m}{(1+m+r)^{2}}u^{3}+\cdots, \end{aligned}
(2.7)

which can approximate center manifold $$W^{c}(0)$$. Finally, substituting (2.7) into (2.3), the vector field restricted to the center manifold is given by

$$\dot{u}=-\frac{ru^{3}}{1+m+r}-\frac{r^{2}u^{5}}{(1+m+r)^{3}}+\cdots.$$
(2.8)

It follows from (2.8) that $$u\rightarrow0$$ for $$t\rightarrow+\infty$$ and so $$E_{0}$$ is asymptotically stable. Therefore $$P^{*}$$ is also asymptotically stable.

For case (ii) with $$f< g$$, system (1.1) has three equilibria $$P^{\pm} (\pm\sqrt{1-\frac{f}{g}},\pm\sqrt{1-\frac{f}{g}},1 )$$ and $$P^{0} (0,0,\frac{g}{f} )$$. The characteristic equations for both $$P ^{+}$$ and $$P ^{-}$$ are identical:

$$\lambda^{3}+(1+m+r+f)\lambda^{2}+(g+rf+mg) \lambda+2gr-2rf=0.$$
(2.9)

Because of the symmetry of the system, it is enough if we just discuss $$P ^{+}$$ here.

According to the Routh–Hurwitz criterion, $$P ^{+}$$ and $$P ^{-}$$ are both asymptotically stable provided

$$\frac{2r(g-f)}{r+f+m+1}< g(m+1)+rf.$$

The characteristic equation for $$P^{0}$$ is

$$\lambda^{3}+(1+m+r+f)\lambda^{2} +\biggl(r+rf+mf+f- \frac{rg}{f}\biggr)\lambda +rf-rg =0.$$
(2.10)

It is straightforward to show that $$P^{0}$$ is unstable.

For case (iii) with $$f>g$$, system (1.1) has only one equilibrium $$P^{0}= (0,0,\frac{g}{f} )$$, which is asymptotically stable when

$$(rf-rg)< (f+m+r+1) \biggl(r-\frac{rg}{f}+f+mf+rf\biggr).$$

□

## Hopf bifurcations in system (1.1)

Due to the symmetry of the system, the equilibrium points $$P ^{+}$$ and $$P ^{-}$$ have the same bifurcation properties, so we confine our focus to $$P ^{+}$$. Theorems 3.1 and 3.2 can be proved.

### Theorem 3.1

When $$0< m<1$$, $$r>\frac{(m+1)(m+f+1)}{1-m}$$, and $$g>f$$, $$P^{+}$$, given in Theorem 2.1, undergoes a Hopf bifurcation when

$$g=g_{0}=\frac{2r+r(r+f+m+1)}{2r-(m+1)(r+f+m+1)}f.$$

### Proof

When $$P ^{+}$$ undergoes a Hopf bifurcation, (2.9) has a conjugate complex eigenvalue, and the real part is zero. Assume $$\lambda=\pm i\omega$$.

When $$\lambda=i\omega$$, (2.9) becomes

$$-2fr+2gr+(g+gm+rf)i\omega-(1+f+m+r)\omega^{2}-i\omega^{3}=0.$$
(3.1)

Equating real and imaginary parts of (3.1) gives

$$2r(g-f) = \omega^{2}(1+m+r+f), \omega^{2} =(g+gm+rf),$$
(3.2)

since $$\omega\neq0$$. Eliminating $$\omega^{2}$$ from (3.2) gives $$0< m<1$$, $$g>f$$, $$r>\frac{(1+m)(1+m+f)}{1-m}$$, so that

$$g=g_{0}=\frac{2r+r(1+m+r+f)}{2r-(m+1)(1+m+r+f)}f,\qquad \omega^{2} = \omega_{0}^{2}= \frac{2rf(1+m+r)}{2r-(1+m)(1+m+r+f)}.$$

Eigenvalues of the equation are $$\lambda_{1,2}=\pm i\omega_{0}$$ and $$\lambda_{3}=-(1+f+m+r)$$. We therefore have a Hopf bifurcation when $$g=g_{0}$$, $$0< m<1$$, $$g>f$$, and $$r>\frac{(m+1)(m+f+1)}{1-m}$$.

It is also necessary for us to check the transversality condition for a non-degenerate Hopf bifurcation. Differentiating (2.9) with respect to g gives

\begin{aligned} \operatorname{Re}\bigl(\lambda'(g)\bigr)|_{g=g_{0},\lambda=i\omega_{0}} &={-} \frac{g_{2}^{2}}{2(f^{3}(1+m)-g_{1}^{2}(g_{2}+f+fm)+f^{2}(3(1+m)^{2}+3mr+r)+3fg_{3})} \\ &\neq0, \end{aligned}

where $$g_{1}$$, $$g_{2}$$, and $$g_{3}$$ can be found in the Appendix. The transversality condition is therefore satisfied. □

### Theorem 3.2

Let $$0< m<1$$, $$r>\frac{(m+1)(m+f+1)}{1-m}$$, and $$g=g_{0}=\frac{2r+r(r+f+m+1)}{2r-(m+1)(r+f+m+1)}f$$. If $$\operatorname{Re}(\lambda'(g))|_{g=g_{0},\lambda=i\omega_{0}}>0$$ and $$\operatorname{Re} C_{1}(0)>0$$, then in a sufficiently small left neighborhood of parameter $$g_{0}$$ bifurcating periodic solutions exist for $$\mu_{2}<0$$. The periodic solutions of (1.1) at $$P^{+}$$ are non-degenerate, subcritical, and orbitally unstable. The period of the period solution and its characteristic exponent are respectively:

$$T=\frac{2\pi}{\omega_{0}}\bigl(1+\tau_{2}\varepsilon^{2}+o\bigl( \varepsilon^{4}\bigr)\bigr),\qquad \beta=\beta_{2} \varepsilon^{2}+o\bigl(\varepsilon^{4}\bigr),$$

where

\begin{aligned}& \omega_{0} =\frac{\sqrt{2fr(1+m+r)}}{\sqrt{-1-m^{2}-f(1+m)+r-m(2+r)}}, \\ & \tau_{2} =-\frac{\operatorname{Im} C_{1}(0)+\mu_{2}\omega'(0)}{\omega_{0}} \\ & \hphantom{\tau_{2}}=\frac{1}{64(rfg_{1})^{\frac{3}{2}}g_{2}}\bigl(-A_{5}\sqrt{g_{2}} \bigl(\sqrt {2}A_{8}r(fg_{2}-g_{3})+A_{7}g_{2} \sqrt{g_{1}g_{2}fr}\bigr) \\ & \hphantom{\tau_{2}={}}{}+A_{6} \bigl(rA_{7}\sqrt {2g_{2}}(-fg_{2}+g_{3})+A_{8}g_{2}^{2} \sqrt{frg_{1}}\bigr) \\ & \hphantom{\tau_{2}={}}{}-16\sqrt{g_{1}}\bigl(2rA_{1} \sqrt{fr}(-fg_{2}+g_{3})+g_{2}\sqrt {frg_{2}}(A_{3}\sqrt{g_{2}}-A_{4} \sqrt{g_{2}}+\sqrt{2rfg_{1}}A_{2})\bigr)\bigr), \\ & \beta_{2} =2\operatorname{Re}C_{1}(0)=-\frac{\sqrt{2g_{2}}A_{6}A_{7}+\sqrt {2g_{2}}A_{5}A_{8}-32\sqrt{frg_{1}}A_{1}}{32\sqrt{frg_{1}}}, \\ & \varepsilon^{2} =\frac{r-r_{0}}{\mu_{2}}+o\bigl[(r-r_{0})^{2} \bigr], \\ & \mu_{2} =-\frac{\operatorname{Re}C_{1}(0)}{\alpha'(0)} \\ & \hphantom{\mu_{2}} =-\frac{1}{32\sqrt{frg_{1}}g_{2}^{2}}(\sqrt{2g_{2}}A_{6}A_{7}+ \sqrt {2g_{2}}A_{5}A_{8}-32\sqrt{frg_{1}}A_{1}) \\ & \hphantom{\mu_{2}={}}{}\times \bigl(3fg_{3}+f^{3}(1+m)-g_{1}^{2}(f+g_{2}+fm)+f^{2} \bigl(3+3m^{2}+r+3m(2+r)\bigr)\bigr), \end{aligned}

and $$A_{1}$$, $$A_{2}$$, $$A_{3}$$, $$A_{4}$$, $$A_{5}$$, $$A_{6}$$, $$A_{7}$$, $$A_{8}$$ can be found in the Appendix .

### Proof

When $$0< m<1$$, $$r>\frac{(m+1)(m+f+1)}{1-m}$$, and $$g=g_{0}$$, equation (2.9) has a negative real root $$-(1+f+m+r)$$ and a pair of conjugate complex roots, given by Theorem 3.1: $$\pm\frac{\sqrt{2fr(1+m+r)}}{\sqrt{-1-m^{2}-f(1+m)+r-m(2+r)}}i$$. Setting $$x_{1}=x-\sqrt{1-\frac{f}{g_{0}}}$$, $$y_{1}=y-\sqrt{1-\frac{f}{g_{0}}}$$, and $$z_{1}=z-1$$, transforms system (1.1) into

$$\textstyle\begin{cases} \dot{x}_{1} =r(y_{1}-x_{1}), \\ \dot{y}_{1} =(1+m)x_{1}-(1+m)y_{1}+\sqrt{1-\frac {f}{g_{0}}}z_{1}+x_{1}z_{1}, \\ \dot{z}_{1} =g_{0}(m-1)\sqrt{1-\frac{f}{g_{0}}}x_{1}-g_{0}(m+1)\sqrt {1-\frac{f}{g_{0}}}y_{1}-fz_{1}+g_{0}mx_{1}^{2}-g_{0}(m+1)x_{1}y_{1}. \end{cases}$$
(3.3)

$$E_{0}=(0,0,0)$$ is an equilibrium of system (3.3) and the characteristic equation about the $$E_{0}=(0,0,0)$$ is (2.9) with $$g = g_{0}$$:

$$\lambda^{3}+(1+m+r+f)\lambda^{2}+(g_{0}+rf+mg_{0}) \lambda+2g_{0}r-2rf=0.$$

The roots of the above equation are given above in Theorem 3.1.

The eigenvectors corresponding to $$\lambda_{1}$$, $$\lambda_{2}$$, $$\lambda_{3}$$ are $$\alpha_{1}$$, $$\alpha_{2}$$, $$\alpha_{3}$$, respectively, where

$$\alpha_{1,2}=\left ( \textstyle\begin{array}{@{}c@{}} \frac{g_{2}g_{4}\sqrt{r}}{g_{3} (g_{1}+f)}\pm i\frac{g_{2}g_{4}\sqrt{g_{1}g_{2}}}{g_{3}(g_{1}+f)\sqrt {2f}} \\ -\frac{g_{2}g_{4}(1+m)}{g_{3}(g_{1}+f)\sqrt{r}}\pm i\frac{g_{4}(2 f+g_{2}) \sqrt{g_{1}g_{2}}}{g_{3}(g_{1}+f)\sqrt{2f}}\\ 1 \end{array}\displaystyle \right ),\qquad \alpha_{3}=\left ( \textstyle\begin{array}{@{}c@{}} \frac{g_{4}\sqrt{r}}{f(g_{1}+f)}\\ -\frac{g_{4}(1+f+m)}{f(g_{1}+f)\sqrt{r}} \end{array}\displaystyle \right ),$$

and $$g_{1}$$, $$g_{2}$$, $$g_{3}$$, $$g_{4}$$ are given in the Appendix.

For system (3.3), define

$$T_{2}=(\operatorname{Im} \alpha_{1},\operatorname{Re} \alpha_{1},\alpha_{3}) =\left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}}\frac{g_{2}g_{4}\sqrt{g_{1}g_{2}}}{g_{3}(g_{1}+f) \sqrt{2f}}&\frac{g_{2}g_{4}\sqrt{r}}{g_{3}(g_{1}+f)}&\frac{g_{4}\sqrt{r}}{f(g_{1}+f)}\\ \frac{g_{4}(g_{2}+2f)\sqrt{g_{1}g_{2}}}{g_{3}(g_{1}+f)\sqrt{2f}}&- \frac{g_{2}g_{4}(1+m)}{g_{3}(g_{1}+f)\sqrt{r}}&-\frac{g_{4}(1+f+m)}{f(g_{1}+f)\sqrt{r}}\\ 0&1&1 \end{array}\displaystyle \right ),$$

and $$(x_{1},y_{1},z_{1})^{T}=T_{2}(u,v,w)^{T}$$. Then system (3.3) transforms into

\begin{aligned} &\dot{u} =-\frac{\sqrt{2fr(1+m+r)}}{\sqrt {-1-m^{2}-f(1+m)+r-m(2+r)}}v+F_{1}(u,v,w), \\ &\dot{v} =\frac{\sqrt{2fr(1+m+r)}}{\sqrt {-1-m^{2}-f(1+m)+r-m(2+r)}}u+F_{2}(u,v,w), \\ &\dot{w} =-(1+f+m+r)w+F_{3}(u,v,w), \end{aligned}
(3.4)

where

\begin{aligned}& F_{1}(u,v,w) =-\frac{f_{2}g_{4}\sqrt{r}(fg_{2}-g_{3})(v+w)}{ff_{1}g_{3} (f+g_{1})}-\frac{frf_{2}g_{4}^{2}(2+f+g_{1})(mf_{2}-(1+m)f_{3})}{f_{1}g_{3} (f+g_{1})^{2}}, \\& F_{2}(u,v,w) =\frac{f_{2}g_{2}g_{4}\sqrt{g_{1}g_{2}}(v+w)}{f_{1}g_{3}\sqrt{2f}( f+g_{1})} \\& \hphantom{F_{2}(u,v,w) ={}}{}+\frac{f_{2}g_{4}^{2}\sqrt{g_{1}r}(2+f+g_{1})(mf_{2}-(1+m)f_{3}) (2fr+g_{2}(g_{1}+f))}{f_{1}g_{3}\sqrt{2fg_{2}}(f+g_{1})^{2}}, \\& F_{3}(u,v,w) =-\frac{f_{2}g_{2}g_{4}\sqrt {g_{1}g_{2}}(v+w)}{f_{1}g_{3}\sqrt{2f} (f+g_{1})} \\& \hphantom{F_{3}(u,v,w) ={}}{}+\frac{f_{2}g_{4}^{2}\sqrt{frg_{1}g_{2}}(2+f+g_{1}) (f_{3}-mf_{2}+mf_{3})(2fr+g_{1}g_{2})}{\sqrt{2}f_{1}g_{3}^{2}(f+g_{1})^{2}}, \end{aligned}

and $$f_{1}$$, $$f_{2}$$, $$f_{3}$$ in the Appendix. Furthermore, based on the theory of Hopf bifurcation , some dominant quantities can be worked out:

\begin{aligned}& g_{11}= \frac{1}{4} \biggl[ \biggl(\frac{\partial^{2}F_{1}}{\partial u^{2}}+ \frac{\partial^{2}F_{1}}{\partial v^{2}} \biggr)+i \biggl(\frac{\partial^{2}F_{2}}{ \partial u^{2}}+\frac{\partial^{2}F_{2}}{\partial v^{2}} \biggr) \biggr], \\& g_{02}= \frac{1}{4} \biggl[ \biggl(\frac{\partial^{2}F_{1}}{\partial u^{2}}- \frac {\partial^{2}F_{1}}{\partial v^{2}}-2\frac{\partial^{2}F_{2}}{ \partial u\, \partial v} \biggr)+i \biggl(\frac{\partial^{2}F_{2}}{\partial u^{2}}- \frac{\partial^{2}F_{2}}{\partial v^{2}}+2\frac{\partial^{2}F_{1}}{ \partial u\, \partial v} \biggr) \biggr], \\& g_{20}= \frac{1}{4} \biggl[ \biggl(\frac{\partial^{2}F_{1}}{\partial u^{2}}- \frac{\partial^{2}F_{1}}{\partial v^{2}}+2\frac{\partial^{2}F_{2}}{ \partial u\, \partial v} \biggr)+i \biggl(\frac{\partial^{2}F_{2}}{ \partial u^{2}}- \frac{\partial^{2}F_{2}}{\partial v^{2}}-2\frac {\partial^{2}F_{1}}{\partial u\, \partial v} \biggr) \biggr], \\& G_{21}= \frac{1}{8} \biggl(\frac{\partial^{3}F_{1}}{\partial u^{3}}+ \frac {\partial^{3}F_{1}}{\partial u\, \partial v^{2}}+\frac{\partial^{3}F_{2}}{ \partial u^{2}\, \partial v}+\frac{\partial^{3}F_{2}}{\partial v^{3}} \biggr) \\& \hphantom{G_{21}={}}{}+ \frac{1}{8}i \biggl(\frac{\partial^{3}F_{2}}{\partial u^{3}}+\frac {\partial^{3}F_{2}}{\partial u\, \partial v^{2}}- \frac{\partial^{3}F_{1}}{ \partial u^{2}\, \partial v}-\frac{\partial^{3}F_{1}}{\partial v^{3}} \biggr), \\& h_{11}= \frac{1}{4} \biggl(\frac{\partial^{2}F_{3}}{\partial u^{2}}+ \frac{\partial^{2}F_{3}}{\partial v^{2}} \biggr), \\& h_{20}= \frac{1}{4} \biggl(\frac{\partial^{2}F_{3}}{\partial u^{2}}- \frac{\partial^{2}F_{3}}{\partial v^{2}}-2i\frac{\partial^{2}F_{3}}{ \partial u\, \partial v} \biggr), \end{aligned}

we can obtain the results about $$g_{11}$$, $$g_{02}$$, $$g_{20}$$, $$G_{21}$$, and $$h_{11}$$, $$h_{20}$$, which can be found in the Appendix.

Solving

\begin{aligned}& \lambda_{3}\omega_{11}=-h_{11}, \\& (\lambda_{3}-2i\omega_{0})\omega_{20}=-h_{20}, \end{aligned}

we can get $$\omega_{11}$$ and $$\omega_{20}$$ (see the Appendix). Furthermore,

\begin{aligned}& G_{110}= \frac{1}{2} \biggl[ \biggl(\frac{\partial^{2}F_{1}}{\partial u\, \partial w} + \frac{\partial^{2}F_{2}}{\partial v\, \partial w} \biggr)+i \biggl(\frac {\partial^{2}F_{2}}{\partial u\, \partial w}-\frac{\partial ^{2}F_{1}}{\partial v\, \partial w} \biggr) \biggr], \\& G_{101}= \frac{1}{2} \biggl[ \biggl(\frac{\partial^{2}F_{1}}{\partial u\, \partial w}- \frac{\partial^{2}F_{2}}{\partial v\, \partial w} \biggr)+i \biggl(\frac {\partial^{2} F_{2}}{\partial u\, \partial w}+\frac{\partial^{2}F_{1}}{\partial v\, \partial w} \biggr) \biggr], \\& g_{21}= G_{21}+(2G_{110}\omega_{11}+G_{101} \omega_{20}), \end{aligned}

which can be found in the Appendix.

Then, some dominant quantities can be worked out:

\begin{aligned}& C_{1}(0)= \frac{i}{2\omega_{0}} \biggl[g_{20}g_{11}-2|g_{11}|^{2}- \frac{1}{3}|g_{02}|^{2} \biggr]+\frac{g_{21}}{2} \\& \hphantom{C_{1}(0)}= -\frac{\sqrt{2g_{2}}A_{6}A_{7}+\sqrt{2g_{2}}A_{5}A_{8}-32 \sqrt{frg_{1}}A_{1}}{64\sqrt{frg_{1}}} \\& \hphantom{C_{1}(0)={}}{}+i\frac{16\sqrt{2g_{2}}A_{3}-16\sqrt{2g_{2}}A_{4}+\sqrt{2g_{2}}A_{5}A_{7}- \sqrt{2g_{2}}A_{6}A_{8}+32\sqrt{frg_{1}}A_{2}}{64\sqrt{frg_{1}}}, \\& \mu_{2}= -\frac{\operatorname{Re}C_{1}(0)}{\operatorname{Re}(\lambda'(g))|_{g=g_{0}, \lambda=i\omega_{0}}} \\& \hphantom{\mu_{2}}= -\frac{1}{32\sqrt{frg_{1}}g_{2}^{2}}(\sqrt{2g_{2}}A_{6}A_{7}+ \sqrt{2g_{2}}A_{5}A_{8}-32\sqrt{frg_{1}}A_{1}) \\& \hphantom{\mu_{2}={}}{}\times \bigl(3fg_{3}+f^{3}(1+m)-g_{1}^{2}(f+g_{2}+fm)+f^{2} \bigl(3+3m^{2}+r+3m(2+r)\bigr)\bigr), \\& \tau_{2}= -\frac{\operatorname{Im}C_{1}(0)+\mu_{2}\omega'(0)}{\omega_{0}} \\& \hphantom{\tau_{2}}= \frac{1}{64(rfg_{1})^{\frac{3}{2}}g_{2}}\bigl(-A_{5}\sqrt{g_{2}} \bigl(\sqrt{2}A_{8}r(fg_{2}-g_{3})+A_{7}g_{2} \sqrt{g_{1}g_{2}fr}\bigr) \\& \hphantom{\tau_{2}={}}{}+A_{6} \bigl(rA_{7}\sqrt{2g_{2}}(-fg_{2}+g_{3})+A_{8}g_{2}^{2} \sqrt{frg_{1}}\bigr) \\& \hphantom{\tau_{2}={}}{}-16\sqrt{g_{1}}\bigl(2rA_{1} \sqrt{fr}(-fg_{2}+g_{3})+g_{2}\sqrt{frg_{2}}(A_{3} \sqrt{g_{2}}-A_{4}\sqrt{g_{2}}+ \sqrt{2rfg_{1}}A_{2})\bigr)\bigr), \\& \beta_{2}= 2\operatorname{Re}C_{1}(0)=-\frac{\sqrt{2g_{2}}A_{6}A_{7}+\sqrt{2g_{2}}A_{5}A_{8}- 32\sqrt{frg_{1}}A_{1}}{32\sqrt{frg_{1}}}, \end{aligned}

where

\begin{aligned}& \alpha'(0)=\operatorname{Re}\bigl(\lambda'(g_{0}) \bigr)=-\frac{g_{2}^{2}}{2(f^{3}(1+m)-g_{1}^{2}(g_{2}+f+fm) +f^{2}(3(1+m)^{2}+3mr+r)+3fg_{3})}, \\& \omega_{0}=\frac{\sqrt{2fr(1+m+r)}}{\sqrt{-1-m^{2}-f(1+m)+r-m(2+r)}}, \\& \omega'(0)=\frac{r\sqrt{g_{2}}(-fg_{2}+g_{3})}{\sqrt{2rfg_{1}}(-g_{1}^{2}g_{2}+ 3fg_{3}+f^{3}(1+m)-fg_{1}^{2}(1+m)+f^{2}(3+3m^{2}+r+3m(2+r)))}, \\& T=\frac{2\pi}{\omega_{0}}\bigl(1+\tau_{2}\varepsilon^{2}+o\bigl( \varepsilon ^{4}\bigr)\bigr), \\& \beta=\beta_{2}\varepsilon^{2}+o\bigl(\varepsilon^{4} \bigr), \\& \varepsilon^{2}=\frac{r-r_{0}}{\mu_{2}}+o\bigl[(r-r_{0})^{2} \bigr]. \end{aligned}

With the exception of an arbitrary phase angle, the bifurcating periodic solution is

\begin{aligned} (x,y,z)^{T} =& \biggl(\sqrt{1-\frac{f}{g_{0}}},\sqrt{1- \frac{f}{g_{0}}},1 \biggr)^{T}+\left ( \textstyle\begin{array}{@{}c@{\quad}c@{\quad}c@{}}\frac{g_{2}g_{4}\sqrt{g_{1}g_{2}}}{g_{3} (g_{1}+f)\sqrt{2f}}&\frac{g_{2}g_{4}\sqrt{r}}{g_{3}(g_{1}+f)}&\frac{g_{4} \sqrt{r}}{f(g_{1}+f)}\\ \frac{g_{4}(g_{2}+2f)\sqrt{g_{1}g_{2}}}{g_{3}(g_{1}+f)\sqrt{2f}}&- \frac{g_{2}g_{4}(1+m)}{g_{3}(g_{1}+f)\sqrt{r}}&-\frac{g_{4}(1+f+m)}{f(g_{1}+f)\sqrt{r}}\\ 0&1&1 \end{array}\displaystyle \right ) \\ &{}\times (u,v,w)^{T}, \end{aligned}

where

\begin{aligned}& u= \operatorname{Re}\theta,\qquad v=\operatorname{Im}\theta,\qquad w= \omega_{11}|\theta|^{2}+\operatorname{Re}\bigl( \omega_{20}\theta^{2}\bigr)+ O\bigl(|\theta|^{3} \bigr), \\& \theta= \varepsilon e^{2it\pi/T}+\frac{i\varepsilon^{2}}{6\omega_{0}} \bigl[g_{02}e^{-4it\pi/T}-3g_{02}e^{4it\pi/T}+6g_{11} \bigr]+O\bigl(\varepsilon^{3}\bigr). \end{aligned}

Because the system is symmetry about the z axis, Theorems 3.1 and 3.2 are also true for $$P^{-} (-\sqrt{1-\frac{f}{g_{0}}},-\sqrt{1-\frac{f}{g_{0}}},1 )$$. □

## Darboux integrability of system (1.1)

Let $$R[x,y,z]$$ be the ring of the real polynomials in the variables x, y, and z. We say that $$h(x,y,z)\in R(x,y,z)$$ is a Darboux polynomial of system (1.1) if it satisfies

$$\frac{\partial h}{\partial x}P+\frac{\partial h}{\partial y}Q+\frac {\partial h}{\partial z}R=hL_{h}$$
(4.1)

for some polynomial $$L_{h}$$, which is called the cofactor of $$h(x,y,z)$$ . If $$h(x,y,z)$$ is a Darboux polynomial, then the surface $$h(x,y,z)=0$$ is an invariant algebraic surface [1821, 25, 28], which means that if an orbit of system (1.1) has a point on the surface $$h(x,y,z)=0$$, then the whole orbit is contained in it. We assert categorically that the order k of $$L_{h}$$ is at most to 1. This is because

\begin{aligned} &\operatorname{deg}(L_{h}) + \operatorname{deg}(h) \\ &\quad = \max\bigl\{ \operatorname{deg}(h)-1+ \operatorname{deg}(P),\operatorname{deg}(h)-1 + \operatorname{deg}(Q),\operatorname{deg}(h)-1 + \operatorname{deg}(R)\bigr\} \\ &\quad \leq \operatorname{deg}(h) + 1. \end{aligned}
(4.2)

Assume that the cofactor is

$$L_{h}=b_{0}+b_{1}x+b_{2}y+b_{3}z,$$

then (4.1) becomes

$$\frac{\partial h}{\partial x}P+\frac{\partial h}{\partial y}Q+\frac {\partial h}{\partial z}R=h(b_{0}+b_{1}x+b_{2}y+b_{3}z),$$
(4.3)

where $$b_{0},b_{1},b_{2},b_{3}\in R$$.

Supposing that $$E =e^{\frac{g}{h}}$$ is an exponential factor of (1.1). Thus, h, g both are Darboux polynomials of equations (1.1) and h, g are coprime . If real-valued polynomial $$L_{e}$$ is the cofactor of E, then

$$\frac{\partial E}{\partial x}P+\frac{\partial E}{\partial y}Q+\frac {\partial E}{\partial z}R= EL_{e}.$$
(4.4)

If $$H(x,y,z)$$ is a first integral [26, 27], then

$$\frac{\partial H}{\partial x}P+\frac{\partial H}{\partial y}Q+\frac {\partial H}{\partial z}R= 0.$$
(4.5)

### Theorem 4.1

When $$r\neq0$$, the following four conclusions are suitable for equations (1.1).

1. (1)

There are no Darboux polynomials with cofactors not equal to zero.

2. (2)

Their polynomial first integrals do not exist.

3. (3)

Their exponential factors cannot be found.

4. (4)

Their first integrals of Darboux type also do not exist.

### Proof

Since there are four parts to the proof of Theorem 4.1, we consider two cases of $$p = 0$$ and $$p \neq0$$ for each of these four parts in turn.

Part (1). Let

$$h(x,y,z)=\sum_{i=0}^{n}h_{i},$$
(4.6)

where $$h_{i}=h_{i}(x,y,z)$$ is a polynomial and its each item is of degree i. Assume $$h_{n}\neq0$$, $$n\neq0$$.

Collecting the terms of degree $$n+1$$ in (4.3) yields

$$xz\frac{\partial h_{n}}{\partial y}+g\bigl(mx^{2}-(1+m)xy\bigr)\frac{\partial h_{n}}{ \partial z}=h_{n}(b_{1}x+b_{2}y+b_{3}z).$$
(4.7)

Solving this equation for $$h_{n}$$, we can get

\begin{aligned} \begin{aligned}[b] h_{n}(x,y,z)&=F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr) \\ &\quad {}\times\exp\biggl(b_{3}\frac{y}{x}-\frac{b_{1}}{\sqrt{g(1+m)}}k(x,y,z)-b_{2} \frac{z\sqrt{g(1+m)}+xgmk(x,y,z)}{\sqrt{g(1+m)}g(1+m)x}\biggr), \end{aligned} \end{aligned}
(4.8)

where F is a smooth function and

$$k(x,y,z)=\arctan\biggl(\frac{\sqrt{g(1+m)}(mx-(1+m)y)}{(1+m)z}\biggr).$$
(4.9)

For the assumption of $$h_{n}(x,y,z)$$, we have $$b_{1}=b_{2}=b_{3}=0$$.

Let

$$h_{n}(x,y,z)=x^{n-2p}\bigl(g(1+m)y^{2}-2gmxy+z^{2} \bigr)^{p},$$

where the (nonnegative) integer p satisfies $$p\leq\frac{n}{2}$$.

Calculating the terms of order n in (4.3), one can obtain

\begin{aligned}& xz\frac{\partial h_{n-1}}{\partial y}+gx\bigl(m(x-y)-y\bigr)\frac{\partial h_{n-1}}{ \partial z}+r(y-x) \frac{\partial h_{n}}{\partial x}+\bigl(m(x-y)-y\bigr) \frac{\partial h_{n}}{\partial y}-\frac{\partial h_{n}}{\partial z} fz \\& \quad =b_{0}h_{n}. \end{aligned}
(4.10)

Case 1. $$p=0$$. Solving equation (4.10), one can obtain

\begin{aligned} h_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr)-\frac{x^{n-1}k(x,y,z)}{ \sqrt{g(1+m)}}b_{0} \\ &{}-\frac{nrx^{n-2}(gxk(x,y,z)-\sqrt{g(1+m)}z)}{\sqrt{g(1+m)}g(1+m)}, \end{aligned}

where F is a smooth function. Considering the definition of polynomial, we must have $$n=0$$, $$b_{0}=0$$, which is impossible.

Case 2. $$p>0$$. Solving equation (4.10), one can obtain

\begin{aligned} h_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr)-b_{0}\frac{k(x,y,z)}{ x\sqrt{g(1+m)}}h_{n} \\ &{}-\frac{zy}{(1+m)^{2}}k_{1}k_{2}-k\frac{(1+m)rn+pk_{3}h_{n}+k_{1}k_{4}m^{2}x^{3}g}{ x\sqrt{gm+m}(1+m)^{2}} \\ &{}+\frac{z}{g(1+m)^{2}x^{2}}\bigl((m+1) (nr-2pr)h_{n}+k_{1}k_{5}gmx^{3} \bigr), \end{aligned}

where F is a smooth function and

\begin{aligned}& k_{1}(x,y,z) =px^{n-2p-1}\bigl(-2gmxy+(gm+g)y^{2}+z^{2} \bigr)^{p-1}, \\& k_{2}(x,y,z) =m^{3}+(-f+r+3)m^{2}+(-2f+r+3)m-f+1, \\& k_{3}(x,y,z) =m^{3}+(f+r+3)m^{2}+(2f-r+3)m+f-2r+1, \\& k_{4}(x,y,x) =m^{2}+(f+r+2)m+(f-2r+1), \\& k_{5}(x,y,z) =m^{2}+(-f-r+2)m+(-f+2r+1). \end{aligned}

Since $$h_{n-1}(x, y, z)$$ is a polynomial, we obtain $$p=0$$, $$n=0$$, $$b_{0}=0$$. And the case is again not possible.

Part (2). Let $$b_{0}=b_{1}=b_{2}=b_{3}=0$$ in (4.3). Then h satisfies

$$\frac{\partial h}{\partial x}P+\frac{\partial h}{\partial y}Q+ \frac{\partial h}{\partial z}R=0.$$
(4.11)

We still assume

$$h=\sum_{i=0}^{n}h_{i}(x,y,z),$$
(4.12)

where $$h_{i}=h_{i}(x,y,z)$$ is a polynomial and its each item is of degree i. Assume that $$h_{n}\neq0$$ and $$n\neq0$$.

Collecting terms of degree $$n+1$$ in (4.11) yields

$$xz\frac{\partial h_{n}}{\partial y}+g\bigl(mx^{2}-(1+m)xy\bigr)\frac{\partial h_{n}}{\partial z}=0.$$
(4.13)

Solving this equation for $$h_{n}$$ gives

$$h_{n}(x,y,z)=F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr),$$

where F is a smooth function.

Assume

$$h_{n}(x,y,z)=x^{n-2p}\bigl(g(1+m)y^{2}-2gmxy+z^{2} \bigr)^{p},$$

where p is a nonnegative integer and $$p\leq\frac{n}{2}$$.

Terms of degree n in (4.11) are

$$xz\frac{\partial h_{n-1}}{\partial y}+gx\bigl(m(x-y)-y\bigr)\frac{\partial h_{n-1}}{ \partial z}+r(y-x) \frac{\partial h_{n}}{\partial x}+\bigl(m(x-y)-y\bigr) \frac{\partial h_{n}}{\partial y}-\frac{\partial h_{n}}{\partial z}fz=0.$$
(4.14)

Case 1. Solving equation (4.14) for $$p=0$$, we can give

\begin{aligned} h_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr) \\ &{}-\frac{nrx^{n-2}(gxk(x,y,z)-\sqrt{g(1+m)}z)}{\sqrt{g(1+m)}g(1+m)}, \end{aligned}

where F is a smooth function. Since the expression of $$h_{n-1}(x, y, z)$$, it forces $$n=0$$, which is illogicality, because one has made the assumption that $$n\neq0$$. This hypothesis therefore does not hold.

Case 2. Solving equation (4.14) for $$p>0$$, we can give

\begin{aligned} h_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr)-\frac{k_{7}(x,y,z)yz}{ (1+m)^{2}} \\ &{}+\frac{(m+1)(n-2p)rz}{gx^{2}(1+m)^{2}}h_{n}+\frac {mxzg_{5}k_{5}(x,y,z)}{(1+m)^{2}} \\ &{}-\frac{k(x,y,z)(((m+1)rn+k_{6}(x,y,z)p)h_{n}+gm^{2}x^{3}k_{4}(x,y,z)g_{5})}{ x\sqrt{gm+g}(1+m)^{2}} \end{aligned}

for a smooth function F. Also

\begin{aligned}& k_{6}(x,y,z)=m^{3}+1+m^{2}r-mr-2r+(1+m)^{2}f+3m(m+1), \\& k_{7}(x,y,z)=m^{3}+(-f+r+3)m^{2}+(-2f+r+3)m-f+1. \end{aligned}

Thus, $$p=0$$, $$n=0$$, there is no possibility, because in the above, one has assumed that $$n\neq0$$. So this hypothesis again does not hold.

Part (3). By Theorem 4.1(1), one can make an assumption that equations (1.1) have an exponential factor $$E=x^{u}$$ with $$u\in R[x,y,z]$$. Suppose that the cofactor $$L=b_{0}+b_{1}x+b_{2}y+b_{3}z$$ with $$b_{i}\in R$$ for $$i=0,1,2,3$$.

Obviously, by (4.4), u is the solution of equation (4.15), that is to say,

$$\frac{\partial u}{\partial x}P+\frac{\partial u}{\partial y}Q+\frac {\partial u}{\partial z}R=b_{0}+b_{1}x+b_{2}y+b_{3}z.$$
(4.15)

We can write u as

$$u=\sum_{i=0}^{n}u_{i}(x,y,z),$$
(4.16)

where each $$u_{i}=u_{i}(x,y,z)$$ is homogeneous of degree i. Supposing that $$u_{n}\neq0$$ and $$n\neq0$$ again, calculating terms of order $$n+1$$ in (4.15), we can have

$$xz\frac{\partial u_{n}}{\partial y}+g\bigl(mx^{2}-(1+m)xy\bigr)\frac{\partial u_{n}}{ \partial z}=0.$$
(4.17)

Solving this equation for $$u_{n}$$ gives

$$u_{n}(x,y,z)=F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr)$$

for a smooth function F.

Assume

$$u_{n}(x,y,z)=x^{n-2p}\bigl(g(1+m)y^{2}-2gmxy+z^{2} \bigr)^{p},$$

where p is a nonnegative integer and $$p\leq\frac{n}{2}$$.

Calculating terms of order n in (4.15) gets

$$xz\frac{\partial u_{n-1}}{\partial y}+gx\bigl(m(x-y)-y\bigr)\frac{\partial u_{n-1}}{ \partial z}+r(y-x) \frac{\partial u_{n}}{\partial x}+\bigl(m(x-y)-y\bigr) \frac{\partial u_{n}}{\partial y}-\frac{\partial u_{n}}{\partial z}fz=0.$$
(4.18)

Case 1. When $$p=0$$, equation (4.18) yields

\begin{aligned} u_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr) \\ &{}-\frac{nrx^{n-2}(gxk(x,y,z)-\sqrt{g(1+m)}z)}{\sqrt{g(1+m)}g(1+m)} \end{aligned}

for a smooth function F. Thus, one can obtain that $$n=0$$, which is also impossible for $$n\neq0$$ in the assumption. This hypothesis cannot hold.

Case 2. Solving equation (4.18) for $$p > 0$$ yields

\begin{aligned} u_{n-1}(x,y,z) =&F\bigl(x,-2gmxy+g(m+1)y^{2}+z^{2} \bigr)-\frac {k_{7}(x,y,z)yz}{(1+m)^{2}} \\ &{}+\frac{(m+1)(n-2p)rz}{gx^{2}(1+m)^{2}}u_{n}+\frac {mxzg_{5}k_{5}(x,y,z)}{(1+m)^{2}} \\ &{}-\frac{k(x,y,z)(((m+1)rn+k_{6}(x,y,z)p)u_{n}+gm^{2}x^{3}k_{4}(x,y,z)g_{5})}{ x\sqrt{gm+g}(1+m)^{2}}, \end{aligned}

where F is a smooth function. Since $$u_{n-1}(x,y,z)$$ is a polynomial, we get $$p=0$$, $$n=0$$, contradicting the assumption that $$n\neq0$$. This hypothesis again does not hold.

Part (4). By the arguments of Part (3) above, together with the definition of the exponential factor, Part (4) follows. □

## Conclusions

The dynamic properties of equations (1.1), which describe the segmented disc dynamo with mechanical friction, are investigated extensively. We determined the equilibria and their linear stabilities. We analyzed the direction of Hopf bifurcations and determined the stability of the bifurcating limit cycles by using the theory of normal form in detail. Some numerical simulations are presented to illustrate the theoretical analysis. In addition, the Darboux integrability of the system is studied. It is expected that more detailed theory analysis and simulation investigations will be provided in a forthcoming study.

## References

1. 1.

Dudkowski, D., Jafari, S., Kapitaniak, T., Kuznetsov, N.V., Leonov, G.A., Prasad, A.: Hidden attractors in dynamical systems. Phys. Rep. 637, 1–50 (2016)

2. 2.

Bullard, E.C.: The stability of a homopolar dynamo. Proc. Camb. Philos. Soc. 51, 744–760 (1955)

3. 3.

Hide, R.: How to locate the electrically-conducting fluid core a planet from external magnetic observations. Nature 271, 640–641 (1978)

4. 4.

Knobloch, E.: Chaos in the segmented disc dynamo. Phys. Lett. A 82, 439–440 (1981)

5. 5.

Moffatt, H.K.: A self-consistent treatment of simple dynamo systems. Geophys. Astrophys. Fluid Dyn. 14, 147–166 (1979)

6. 6.

Moffatt, H.K.: Magnetic Field Generation in Electrically Conducting Fluids. Cambridge University Press, Cambridge (1978)

7. 7.

Plunian, F., Marty, P.H., Alemany, A.: Chaotic behaviour of the Rikitake dynamo with symmetric mechanical friction and azimuthal currents. Proc. R. Soc. Lond. A 454, 1835–1842 (1998)

8. 8.

Wei, Z.C., Moroz, I., Sprott, J.C., Akgul, A., Zhang, W.: Hidden hyperchaos and electronic circuit application in a 5D self-exciting homopolar disc dynamo. Chaos 27, 033101 (2017)

9. 9.

Li, C.B., Sprott, J.C.: Multistability in the Lorenz system: a broken butterfly. Int. J. Bifurc. Chaos 24(10), 1450131 (2014)

10. 10.

Li, C.B., Sprott, J.C., Xing, H.Y.: Crisis in amplitude control hides in multistability. Int. J. Bifurc. Chaos 26(14), 1650233 (2016)

11. 11.

Wei, Z.C., Moroz, I., Sprott, J.C., Wang, Z., Zhang, W.: Detecting hidden chaotic regions and complex dynamics in the self-exciting homopolar disc dynamo. Int. J. Bifurc. Chaos 27(2), 1730008 (2017)

12. 12.

Plunian, F., Marty, P.H., Alemany, A.: Chaotic behaviour of the Rikitake dynamo with symmetric mechanical friction and azimuthal currents. Proc. R. Soc. A 454(1975), 1835–1842 (1998)

13. 13.

Hide, R.: Structural instability of the Rikitake disk dynamo. Geophys. Res. Lett. 22(9), 1057–1059 (1995)

14. 14.

Hassard, B., Kazarinoff, N., Wan, Y.: Theory and Application of Hopf Bifurcation. Cambridge University Press, Cambridge (1981)

15. 15.

Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, New York (1998)

16. 16.

Wei, Z.C., Moroz, I., Wang, Z., Sprott, J.C., Kapitaniak, T.: Dynamics at infinity, degenerate Hopf and zero-Hopf bifurcation for Kingni–Jafari system with hidden attractors. Int. J. Bifurc. Chaos 26, 1650125 (2016)

17. 17.

Bao, J.H., Yang, Q.G.: Darboux integrability of the stretch-twist-fold flow. Nonlinear Dyn. 76, 797–807 (2014)

18. 18.

Llibre, J., Zhang, X.: Darboux theory of integrability in image taking into account the multiplicity. J. Differ. Equ. 246, 541–551 (2009)

19. 19.

Valls, C.: Darboux integrability of a nonlinear financial system. Appl. Math. Comput. 218, 3297–3302 (2011)

20. 20.

Cao, J.L., Llibre, J., Zhang, X.: Darboux integrability and algebraic limit cycles for a class of polynomial differential systems. Sci. China Math. 57, 775–794 (2014)

21. 21.

Llibre, J., Oliveira, R., Valls, C.: On the Darboux integrability of a three-dimensional forced-damped differential system. J. Nonlinear Math. Phys. 24(4), 473–494 (2017)

22. 22.

Chavarriga, J., Grau, M.: A family of non-Darboux-integrable quadratic polynomial differential systems with algebraic solutions of arbitrarily high degree. Appl. Math. Lett. 16(6), 833–837 (2003)

23. 23.

Llibre, J., Mahdi, A., Valls, C.: Darboux integrability of the Lü system. J. Geom. Phys. 63(63), 118–128 (2013)

24. 24.

Moulin-Ollagnier, J.: Polynomial first integrals of the Lotka–Volterra system. Bull. Sci. Math. 121, 463–476 (1997)

25. 25.

Chavarriga, J., Llibre, J.: Invariant algebraic curves and rational first integrals for planar polynomial vector fields. J. Differ. Equ. 169(1), 1–16 (2001)

26. 26.

Cairó, L., Llibre, J.: Darboux integrability for 3D Lotka–Volterra systems. J. Phys. A 33, 2395–2406 (2000)

27. 27.

Llibre, J., Zhang, X.: Darboux theory of integrability in $$C^{n}$$ taking into account the multiplicity. J. Differ. Equ. 246(2), 541–551 (2009)

28. 28.

Christopher, C., Llibre, J., Pereira, J.V.: Multiplicity of invariant algebraic curves in polynomial vector fields. Pac. J. Math. 229, 63–117 (2007)

### Acknowledgements

The authors would like to express many thanks to Professor Jianghong Bao for her corrections and comments on this manuscript.

Not applicable.

## Funding

Zhouchao Wei is supported by the Natural Science Foundation of China (No. 11772306 and No. 11401543), the Open Foundation for Guangxi Colleges and Universities Key Lab of Complex System Optimization and Big Data Processing (No. 2016CSOBDP0202), Scientific Research Program of Hubei Provincial Department of Education (No. B2017599), the Fundamental Research Funds for the Central Universities and China University of Geosciences (Wuhan) (No. CUGL150419).

## Author information

Authors

### Contributions

The authors have made the same contribution. All authors read and approved the final manuscript.

### Corresponding author

Correspondence to Zhouchao Wei.

## Ethics declarations

### Competing interests

The authors declare that they have no competing interests.

### Publisher’s Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

## Appendix

### Appendix

\begin{aligned}& g_{4}= \sqrt{\frac{(1+m+r)(1+f+m+r)}{3+f+m+r}}, \\& f_{1}= -\frac{\sqrt{g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt {2fr}(f+g_{1})^{2}g_{3}^{2}}+\frac{\sqrt {g_{1}g_{2}}g_{2}g_{4}^{2}(1+f+m)}{fg_{3}\sqrt{2fr}(f+g_{1})^{2}} \\& \hphantom{f_{1}={}}{}-\frac {\sqrt{g_{1}g_{2}r}g_{2}g_{4}^{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})^{2}}+ \frac{\sqrt {g_{1}g_{2}r}(2f+g_{2})g_{4}^{2}}{fg_{3}\sqrt{2f}(f+g_{1})^{2}}, \\& f_{2}= \frac{\sqrt{g_{1}g_{2}}g_{2}g_{4}u}{\sqrt {2f}(f+g_{1})g_{3}}+\frac{g_{2}g_{4}\sqrt{r}v}{g_{3}(f+g_{1})}+\frac {g_{4}\sqrt{r}w}{f(f+g_{1})}, \\& f_{3}= \frac{\sqrt{g_{1}g_{2}}g_{4}(2f+g_{2})u}{\sqrt {2f}g_{3}(f+g_{1})}-\frac{g_{2}g_{4}(1+m)v}{g_{3}(f+g_{1})\sqrt {r}}-\frac{g_{4}(1+f+m)w}{f(f+g_{1})\sqrt{r}}, \\& f_{4}= -\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}+\frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(g_{1}g_{2}g_{3}+f(g_{2}g_{3}-g_{2}^{2}(1+m)+2rg_{3}))}{\sqrt {2fr}f(f+g_{1})^{2}g_{3}^{2}}, \end{aligned}
\begin{aligned}& f_{5}= -\frac{g_{2}g_{4}^{2}(1+f+m)}{f(f+g_{1})^{2}g_{3}}+\frac {g_{1}g_{2}(1+m)}{f(f+g_{1})(2+f+g_{1})g_{3}}, \\ & g_{11}= \frac{1}{4}\biggl(-\frac {2rg_{2}g_{4}^{2}(fg_{2}-g_{3})}{ff_{4}(f+g_{1})^{2}g_{3}^{2}}- \frac {rg_{2}f_{5}g_{1}^{2}(g_{2}+2f(1+m))}{f_{4}(f+g_{1})g_{3}^{2}} \\ & \hphantom{g_{11}={}}{}+\frac {2rfg_{2}f_{5}((2+f+g_{1})(1+m)^{2}g_{4}^{2}+mrg_{1}(f+g_{1}))}{f_{4}(f+g_{1})^{2}g_{3}^{2}} \\ & \hphantom{g_{11}={}}{}+ i\biggl(\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}-\frac{\sqrt {rg_{1}g_{2}}g_{1}^{2}g_{2}g_{4}^{2}(g_{2}+2f(1+m))(2fr+g_{2}(g_{1}+f))}{\sqrt {2f}ff_{4}g_{3}^{3}(f+g_{1})^{3}} \\ & \hphantom{g_{11}={}}{}+ \frac{\sqrt {2rg_{1}g_{2}}g_{2}g_{4}^{2}((2+f+g_{1})(1+m)^{2}g_{4}^{2}+g_{1}mr(f+g_{1}))(2fr+g_{2}(g_{1}+f))}{\sqrt {r}f_{4}(f+g_{1})^{4}g_{3}^{3}}\biggr)\biggr), \end{aligned}
\begin{aligned}& g_{02} = \frac{1}{4}\biggl(\frac {2g_{2}(fg_{2}-g_{3})g_{4}^{2}r}{ff_{4}(f+g_{1})^{2}g_{3}^{2}}- \frac {2rff_{5}g_{2}((2+f+g_{1})(1+m)^{2}g_{4}^{2}+g_{1}(f+g_{1})mr)}{f_{4}(f+g_{1})^{2}g_{3}^{2}} \\& \hphantom{g_{02} ={}}{}- \frac {f_{5}g_{1}^{2}g_{2}(g_{2}+2f(1+m))r}{f_{4}(f+g_{1})g_{3}^{2}}-2\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\& \hphantom{g_{02}={}}{}+ \frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}} \\& \hphantom{g_{02} ={}}{}\times\biggl( \frac{\sqrt{rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}(f+g_{1})^{2}g_{3}^{2}}-\frac{\sqrt {rfg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}(f+g_{1})g_{3}^{2}}\biggr) \biggr) \\& \hphantom{g_{02} ={}}{}+ i\biggl(-\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}-\frac{\sqrt {rg_{1}g_{2}}g_{1}^{2}g_{2}g_{4}^{2}(g_{2}+2f(1+m))(2fr+g_{2}(g_{1}+f))}{\sqrt {2f}ff_{4}(f+g_{1})^{3}g_{3}^{3}} \\& \hphantom{g_{02} ={}}{}- \frac{\sqrt{2rg_{1}g_{2}}g_{2}g_{4}^{2}((2 +f+g_{1})(1+m)^{2}g_{4}^{2}+mrg_{1}(f+g_{1}))(2fr+g_{2}(g_{1}+f))}{\sqrt {f}f_{4}(f+g_{1})^{4}g_{3}^{3}} \\& \hphantom{g_{02} ={}}{}+ 2\biggl(-\frac{\sqrt{rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-g_{3})}{\sqrt {2f}ff_{4}(f+g_{1})^{2}g_{3}^{2}}-f_{5}\biggl(- \frac{\sqrt {rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}(f+g_{1})^{2}g_{3}^{2}} \\& \hphantom{g_{02} ={}}{}+ \frac{\sqrt{rfg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}(f+g_{1})g_{3}^{2}}\biggr)\biggr)\biggr)\biggr), \end{aligned}
\begin{aligned}& g_{20}= \frac{1}{4}\biggl(\frac {2g_{2}(fg_{2}-g_{3})g_{4}^{2}r}{ff_{4}(f+g_{1})^{2}g_{3}^{2}}- \frac {2rff_{5}g_{2}((2+f+g_{1})(1+m)^{2}g_{4}^{2}+g_{1}(f+g_{1})mr)}{f_{4}(f+g_{1})^{2}g_{3}^{2}} \\& \hphantom{g_{20}={}}{}- \frac {f_{5}g_{1}^{2}g_{2}(g_{2}+2f(1+m))r}{f_{4}(f+g_{1})g_{3}^{2}}+2\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\& \hphantom{g_{20}={}}{}+ \frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}} \\& \hphantom{g_{20}={}}{}\times\biggl( \frac{\sqrt{rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}(f+g_{1})^{2}g_{3}^{2}}-\frac{\sqrt {rfg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}(f+g_{1})g_{3}^{2}}\biggr) \biggr) \\& \hphantom{g_{20}={}}{}+ i\biggl(-\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}-\frac{\sqrt {rg_{1}g_{2}}g_{1}^{2}g_{2}g_{4}^{2}(g_{2}+2f(1+m))(2fr+g_{2}(g_{1}+f))}{\sqrt {2f}ff_{4}(f+g_{1})^{3}g_{3}^{3}} \\& \hphantom{g_{20}={}}{}- \frac{\sqrt{2rg_{1}g_{2}}g_{2}g_{4}^{2}((2 +f+g_{1})(1+m)^{2}g_{4}^{2}+mrg_{1}(f+g_{1}))(2fr+g_{2}(g_{1}+f))}{\sqrt {f}f_{4}(f+g_{1})^{4}g_{3}^{3}} \\& \hphantom{g_{20}={}}{}+ 2\biggl(\frac{\sqrt{rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-g_{3})}{\sqrt {2f}ff_{4}(f+g_{1})^{2}g_{3}^{2}}+f_{5}\biggl(- \frac{\sqrt {rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}(f+g_{1})^{2}g_{3}^{2}} \\& \hphantom{g_{20}={}}{}+ \frac{\sqrt{rfg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}(f+g_{1})g_{3}^{2}}\biggr)\biggr)\biggr)\biggr), \end{aligned}
\begin{aligned}& G_{21}= 0, \\ & h_{11} = \frac{1}{4}\biggl(-\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{h_{11} ={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}g_{3}^{2}(f+g_{1})^{2}}+\frac {\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{h_{11} ={}}{}\times\biggl( \frac {rg_{1}g_{2}(g_{1}g_{2}+2f(g_{1}+mg_{1}-mr))}{f_{4}g_{3}^{2}(f+g_{1})}-\frac {2rfg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}\biggr) \biggr), \\ & h_{20}= \frac{1}{4}\biggl(\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{h_{20}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}g_{3}^{2}(f+g_{1})^{2}}+\frac {\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{h_{20}={}}{}\times\biggl( \frac {rg_{1}g_{2}(g_{1}g_{2}+2f(g_{1}+mg_{1}+mr))}{f_{4}g_{3}^{2}(f+g_{1})}+\frac {2rfg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}\biggr) \\ & \hphantom{h_{20}={}}{}+ 2i\biggl(\frac{g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{h_{20}={}}{}+\biggl(\frac {\sqrt{g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt {2fr}g_{3}^{2}(f+g_{1})^{2}}+ \frac{\sqrt {rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{h_{20}={}}{}\times\biggl( \frac{\sqrt{rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})^{2}}-\frac{\sqrt {rfg_{1}g_{2}}rg_{1}(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})}\biggr) \biggr)\biggr), \\ & \omega_{11}= \frac{1}{4(f+g_{1})}\biggl(-\frac{\sqrt {2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{\omega_{11}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}(f+g_{1})^{2}g_{3}^{2}}+\frac {\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}\biggr) \\ & \hphantom{\omega_{11}={}}{}\times\biggl(\frac {g_{1}g_{2}r(g_{1}g_{2}+2f(g_{1}+g_{1}m-mr))}{f_{4}(f+g_{1})g_{3}^{2}}-\frac {2frg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}\biggr) \biggr), \end{aligned}
\begin{aligned}& \omega_{20}= \frac {fg_{2}+g_{1}g_{2}}{4(f^{2}g_{2}+g_{1}^{2}g_{2}+2fg_{1}(g_{2}+4r))}\biggl(\frac {\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{\omega_{20}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}(f+g_{1})^{2}g_{3}^{2}} + \frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}\biggr) \\ & \hphantom{\omega_{20}={}}{}\times\biggl(\frac {g_{1}g_{2}r(g_{1}g_{2}+2f(g_{1}+g_{1}m+mr))}{f_{4}(f+g_{1})g_{3}^{2}}+ \frac {2frg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}\biggr)\biggr) \\ & \hphantom{\omega_{20}={}}{}+ \frac{\sqrt {2frg_{1}g_{2}}}{(f^{2}g_{2}+g_{1}^{2}g_{2}+2fg_{1}(g_{2}+4r))}\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{\omega_{20}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}(f+g_{1})^{2}g_{3}^{2}} + \frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}\biggr) \\ & \hphantom{\omega_{20}={}}{}\times \biggl(\frac{\sqrt {frg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}(f+g_{1})^{2}g_{3}^{2}}- \frac{\sqrt {frg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})}\biggr)\biggr) \\ & \hphantom{\omega_{20}={}}{}+i\biggl( \frac {fg_{2}+g_{1}g_{2}}{2(f^{2}g_{2}+g_{1}^{2}g_{2}+2fg_{1}(g_{2}+4r))}\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\& \hphantom{\omega_{20}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}(f+g_{1})^{2}g_{3}^{2}} + \frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}\biggr) \\& \hphantom{\omega_{20}={}}{}\times\biggl(\frac{\sqrt {frg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}(f+g_{1})^{2}g_{3}^{2}}- \frac{\sqrt {frg_{1}g_{2}}g_{1}r(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})}\biggr)\biggr) \\& \hphantom{\omega_{20}={}}{}- \frac{\sqrt {2frg_{1}g_{2}}}{2(f^{2}g_{2}+g_{1}^{2}g_{2}+2fg_{1}(g_{2}+4r))}\biggl(\frac{\sqrt {2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\& \hphantom{\omega_{20}={}}{}+\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2fr}(f+g_{1})^{2}g_{3}^{2}} + \frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}(f+g_{1})(2+f+g_{1})g_{3}^{2}}\biggr) \\& \hphantom{\omega_{20}={}}{}\times\biggl(\frac {g_{1}g_{2}r(g_{1}g_{2}+2f(g_{1}+g_{1}m+mr))}{f_{4}(f+g_{1})g_{3}^{2}}+ \frac {2frg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}\biggr)\biggr)\biggr), \end{aligned}
\begin{aligned}& G_{110}= \frac{1}{2}\biggl(\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {2f}f_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}- \frac{\sqrt {rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-2g_{3})}{\sqrt {2f}ff_{4}(f+g_{1})^{2}g_{3}^{2}} \\ & \hphantom{G_{110}={}}{}+\biggl(\frac {g_{1}g_{2}(1+m)}{ff_{4}(f+g_{1})(2+f+g_{1})g_{3}} - \frac{g_{2}g_{4}^{2}(1+f+m)}{ff_{4}(f+g_{1})^{2}g_{3}^{2}}\biggr) \\ & \hphantom{G_{110}={}}{}\times\biggl(\frac{\sqrt {rg_{1}}g_{4}^{2}(2+f+g_{1})(-2f(1+m)r+g_{2}(1+f+2m+fm+m^{2}-r+mr))}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{G_{110}={}}{}+ \frac{\sqrt{g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f)}{\sqrt {2rf}ff_{4}(f+g_{1})^{2}g_{3}} \\ & \hphantom{G_{110}={}}{}\times\biggl(\frac{rg_{1}(1+m)^{2}}{(f+g_{1})g_{3}}+ \frac {rg_{4}^{2}(2+f+g_{1}))(1+m^{2}+f(1+m)+2m(1+r))}{(f+g_{1})^{2}g_{3}}\biggr)\biggr) \\ & \hphantom{G_{110}={}}{}+ \frac{i}{2}\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}+ \frac {(f^{2}g_{2}^{2}-g_{3}^{2})g_{4}^{2}r}{f^{2}f_{4}(f+g_{1})^{2}g_{3}^{2}}+\frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{ff_{4}g_{3}\sqrt {2rf}(f+g_{1})^{2}} \\ & \hphantom{G_{110}={}}{}\times\biggl(\frac{\sqrt{rg_{1}}g_{4}^{2}(2+f+g_{1})(-2rf(1+m)-g_{2}^{2})}{\sqrt {2fg_{2}}(f+g_{1})^{2}g_{3}}\biggr) \\ & \hphantom{G_{110}={}}{}-\biggl( \frac {g_{1}g_{2}(1+m)}{fg_{3}(f+g_{1})(2+f+g_{1})}-\frac {g_{2}g_{4}^{2}(1+f+m)}{f(f+g_{1})^{2}g_{3}}\biggr) \\ & \hphantom{G_{110}={}}{}\times\biggl( \frac{rg_{1}(1+m)^{2}}{f_{4}(f+g_{1})g_{3}}+\frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{g_{3}f_{4}(f+g_{1})^{2}}\biggr) \biggr), \end{aligned}
\begin{aligned}& G_{101} = \frac{1}{2}\biggl(-\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {2f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}- \frac{\sqrt {rg_{1}g_{2}}g_{2}^{2}g_{4}^{2}}{\sqrt{2f}f_{4}g_{3}^{2}(f+g_{1})^{2}} \\& \hphantom{G_{101} ={}}{}+\biggl(\frac {g_{1}g_{2}(1+m)}{ff_{4}g_{3}(f+g_{1})(2+f+g_{1})} -\frac{g_{2}g_{4}^{2}(1+f+m)}{ff_{4}g_{3}(f+g_{1})^{2}}\biggr) \\& \hphantom{G_{101} ={}}{}\times\frac{\sqrt {rg_{1}}g_{4}^{2}(2+f+g_{1})(-2rf(1+m)-g_{1}g_{2})}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}}- \frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2rf+g_{2}(g_{1}+f))}{\sqrt {2rf}fg_{3}f_{4}(f+g_{1})^{2}} \\& \hphantom{G_{101} ={}}{}\times\biggl(\frac{rg_{1}(1+m)^{2}}{g_{3}(f+g_{1})}+\frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{(f+g_{1})^{2}g_{3}}\biggr) \biggr) \\& \hphantom{G_{101} ={}}{}+ \frac{i}{2}\biggl(\frac {g_{1}^{2}g_{2}^{3}}{2ff_{4}(f+g_{1})(2+f+g_{1})g_{3}^{2}}- \frac {rg_{4}^{2}(f^{2}g_{2}^{2}-g_{3}^{2})}{f^{2}f_{4}(f+g_{1})^{2}g_{3}^{2}}+\frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}} \\& \hphantom{G_{101} ={}}{}\times\frac{\sqrt{rg_{1}}g_{4}^{2}(2+f+g_{1})(-2fr(1+m)-g_{1}g_{2})}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}} \\& \hphantom{G_{101} ={}}{}+\biggl(\frac {g_{1}g_{2}(1+m)}{fg_{3}(f+g_{1})(2+f+g_{1})}- \frac {g_{2}g_{4}^{2}(1+f+m)}{f(f+g_{1})^{2}g_{3}}\biggr) \\& \hphantom{G_{101} ={}}{}\times\biggl(\frac{rg_{1}(1+m)^{2}}{g_{3}f_{4}(f+g_{1})}+\frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{f_{4}g_{3}(f+g_{1})^{2}}\biggr) \biggr), \end{aligned}
\begin{aligned}& g_{211}= -\frac{1}{4(f+g_{1})}\biggl(\frac{\sqrt {2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})} \\ & \hphantom{g_{211}={}}{}- \frac {rg_{1}^{2}g_{2}(g_{2}+2f(1+m))}{g_{3}^{2}(f+g_{1})}\biggl(\frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2rf}f_{4}g_{3}^{2}(f+g_{1})^{2}} \\ & \hphantom{g_{211}={}}{} +\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr)+\biggl(\frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2rf}(f+g_{1})^{2}g_{3}^{2}} \\ & \hphantom{g_{211}={}}{}+\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \biggl(\frac {2rfg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}+ \frac {2mr^{2}fg_{1}g_{2}}{f_{4}(f+g_{1})g_{3}^{2}}\biggr)\biggr), \\& g_{212}= \frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {2f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac{\sqrt {rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-2g_{3})}{\sqrt {2f}ff_{4}(f+g_{1})^{2}g_{3}^{2}} \\ & \hphantom{g_{212}={}}{}+\biggl(\frac{g_{1}g_{2}(1+m)}{ff_{4}g_{3}(f+g_{1})(2+f+g_{1})}-\frac {g_{2}g_{4}^{2}(1+f+m)}{ff_{4}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{212}={}}{}\times \biggl(- \frac{\sqrt {rg_{1}}rg_{4}^{2}(2+f+g_{1})(2f+g_{2})(1+m)}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{212}={}}{}+\frac{\sqrt {rg_{1}g_{2}}g_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{\sqrt {2f}g_{3}^{2}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{212}={}}{}\times\frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}}\biggl( \frac{rg_{1}(1+m)^{2}}{g_{3}(f+g_{1})} \\ & \hphantom{g_{212}={}}{}+\frac{rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{g_{3}(f+g_{1})^{2}}\biggr), \\ & g_{213}= \frac{g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}+\frac {rg_{2}g_{4}^{2}(fg_{2}-g_{3})}{ff_{4}g_{3}^{2}(f+g_{1})^{2}} \\& \hphantom{g_{213}={}}{}+\frac {rg_{4}^{2}(fg_{2}-g_{3})}{f^{2}f_{4}g_{3}(f+g_{1})^{2}}+ \frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2rf+g_{2} (g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{213}={}}{}\times\biggl(-\frac{rg_{4}^{2}\sqrt{rg_{1}}(2+f+g_{1})(2f+g_{2})(1+m)}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{213}={}}{}+\frac{\sqrt {rg_{1}g_{2}}g_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{\sqrt {2f}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{213}={}}{}\times \biggl(\frac{g_{1}g_{2}(1+m)}{fg_{3}(f+g_{1})(2+f+g_{1})}-\frac {g_{2}g_{4}^{2}(1+f+m)}{fg_{3}(f+g_{1})^{2}}\biggr) \biggl(\frac {rg_{1}(1+m)^{2}}{g_{3}f_{4}(f+g_{1})} \\ & \hphantom{g_{213}={}}{}+\frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{f_{4}g_{3}(f+g_{1})^{2}}\biggr), \end{aligned}
\begin{aligned}& g_{214}= -\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac {rg_{1}^{2}g_{2}(g_{2}+2f(1+m))}{g_{3}^{2}(f+g_{1})}\biggl( \frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2rf}f_{4}g_{3}^{2}(f+g_{1})^{2}} \\ & \hphantom{g_{214}={}}{}+\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{g_{214}={}}{}-\biggl(\frac{\sqrt {g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt{2rf}g_{3}^{2}(f+g_{1})^{2}}+ \frac {\sqrt{rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{g_{214}={}}{}\times\biggl(\frac {2rfg_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{f_{4}g_{3}^{2}(f+g_{1})^{2}}+\frac {2fmr^{2}g_{1}g_{2}}{f_{4}(f+g_{1})g_{3}^{2}}\biggr), \\ & g_{215}= \frac{g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}+\biggl(\frac {\sqrt{g_{1}g_{2}}g_{2}^{2}g_{4}^{2}(1+m)}{\sqrt {2rf}(f+g_{1})^{2}g_{3}^{2}}+ \frac{\sqrt {rg_{1}g_{2}}g_{1}g_{2}(2f+g_{2})}{\sqrt {2f}g_{3}^{2}(f+g_{1})(2+f+g_{1})}\biggr) \\ & \hphantom{g_{215}={}}{}\times\biggl(\frac{\sqrt{rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})^{2}}-\frac{\sqrt {rfg_{1}g_{2}}rg_{1}(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})}\biggr), \\ & g_{216}= -\frac{\sqrt{rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {2f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac{\sqrt {rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-g_{3})}{\sqrt {2f}ff_{4}g_{3}^{2}(f+g_{1})^{2}}-\frac{\sqrt {rg_{1}g_{2}}g_{2}g_{4}^{2}}{\sqrt{2f}ff_{4}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{216}={}}{}+\biggl(\frac{g_{1}g_{2}(1+m)}{ff_{4}g_{3}(f+g_{1})(2+f+g_{1})}-\frac {g_{2}g_{4}^{2}(1+f+m)}{ff_{4}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{216}={}}{}\times \biggl(- \frac{rg_{4}^{2}\sqrt {rg_{1}}(2+f+g_{1})(2f+g_{2})(1+m)}{\sqrt{2fg_{2}}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{216}={}}{} +\frac{\sqrt {rg_{1}g_{2}}g_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{\sqrt {2f}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{216}={}}{}-\frac{\sqrt {g_{1}g_{2}}g_{4}^{2}(2rf+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{216}={}}{} +\biggl(\frac{rg_{1}(1+m)^{2}}{g_{3}(f+g_{1})}+\frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{g_{3}(f+g_{1})^{2}}\biggr), \end{aligned}
\begin{aligned}& g_{217}= \frac{g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac {rg_{2}g_{4}^{2}(fg_{2}-g_{3})}{ff_{4}g_{3}^{2}(f+g_{1})^{2}}-\frac {rg_{4}^{2}(fg_{2}-g_{3})}{f^{2}f_{4}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{217}= {}}{}+\frac{\sqrt{g_{1}g_{2}}g_{4}^{2}(2rf+g_{2}(g_{1}+f))}{\sqrt {2rf}ff_{4}g_{3}(f+g_{1})^{2}}\biggl(-\frac{\sqrt {rg_{1}}rg_{4}^{2}(2+f+g_{1})(2f+g_{2})(1+m)}{\sqrt {2fg_{2}}g_{3}(f+g_{1})^{2}} \\ & \hphantom{g_{217}= {}}{} +\frac{\sqrt {rg_{1}g_{2}}g_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{\sqrt {2f}g_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{217}= {}}{}+\biggl(\frac {g_{1}g_{2}(1+m)}{fg_{3}(f+g_{1})(2+f+g_{1})} -\frac{g_{2}g_{4}^{2}(1+f+m)}{fg_{3}(f+g_{1})^{2}}\biggr) \\ & \hphantom{g_{217}= {}}{}\times \biggl(\frac {rg_{1}(1+m)^{2}}{g_{3}f_{4}(f+g_{1})}+ \frac {rg_{4}^{2}(2+f+g_{1})(1+m^{2}+f(1+m)+2m(1+r))}{f_{4}g_{3}(f+g_{1})^{2}}\biggr). \\ & g_{21} = g_{211}g_{212}-\frac {(2+g_{1})(g_{214}g_{216}+2g_{215}g_{217})g_{2}+4\sqrt {rg_{1}g_{2}}(2g_{215}g_{216}-g_{214}g_{217})}{8((2+g_{1})^{2}g_{2}+16rg_{1})} \\ & \hphantom{g_{21} ={}}{}+i\biggl(g_{211}g_{213}+\frac {(2+g_{1})(2g_{215}g_{216}-g_{214}g_{217})g_{2}+4\sqrt {rg_{1}g_{2}}(g_{214}g_{216}+2g_{215}g_{217})}{8((2+g_{1})^{2}g_{2}+16rg_{1})} \biggr), \\ & A_{1}= g_{211}g_{212}-\frac {g_{2}(2+g_{1})(g_{214}g_{216}+2g_{215}g_{217})+4\sqrt {g_{1}g_{2}r}(2g_{215}g_{216}-g_{214}g_{217})}{8((2+g_{1})^{2}g_{2}+16rg_{1})}, \\& A_{2}= g_{211}g_{213}+\frac {g_{2}(2+g_{1})(2g_{215}g_{216}-g_{214}g_{217})+4\sqrt {g_{1}g_{2}r}(g_{214}g_{216}+2g_{215}g_{217})}{8((2+g_{1})^{2}g_{2}+16rg_{1})}, \end{aligned}
\begin{aligned}& A_{3}= -\frac {1}{16rf^{3}g_{3}^{6}f_{4}^{2}(f+g_{1})^{8}(2+f+g_{1})^{2}}\bigl(2rfg_{3}^{2}(f+g_{1})^{4}(2+f+g_{1})^{2} \bigl(-2rg_{2}g_{4}^{2}(fg_{2}-g_{3}) \\& \hphantom{A_{3}={}}{}-rff_{5}g_{1}^{2}g_{2}(f+g_{1}) \bigl(g_{2}+2f(1+m)\bigr) \\& \hphantom{A_{3}={}}{}+2rf^{2}f_{5}g_{2} \bigl(g_{4}^{2}(2+f+g_{1}) (1+m)^{2}+mrg_{1}(f+g_{1}) \bigr)\bigr)^{2}+g_{1}g_{2}\bigl(2rfg_{1}g_{2}^{2}g_{3}(f+g_{1})^{3} \\& \hphantom{A_{3}={}}{}-rg_{1}^{2}g_{2}g_{4}^{2}(f+g_{1}) (2+f+g_{1}) \bigl(g_{2}+2f(1+m)\bigr) \bigl(2fr+g_{2}(g_{1}+f) \bigr) \\& \hphantom{A_{3}={}}{} +2rfg_{2}g_{4}^{2}(2+f+g_{1}) \bigl(g_{4}^{2}(2+f+g_{1}) (1+m)^{2}+mrg_{1}(f+g_{1}) \bigr) \bigl(2fr+g_{2}(g_{1}+f)\bigr)\bigr)^{2} \bigr), \\& A_{4}= \frac {1}{96rf^{3}f_{4}^{2}g_{3}^{6}(f+g_{1})^{8}(2+f+g_{1})^{2}} \bigl(2fr\bigl(g_{1}^{2}g_{2}^{3}g_{3}(f+g_{1})^{3} \\& \hphantom{A_{4}={}}{}-2rg_{2}g_{3}g_{4}^{2}(f+g_{1})^{2}(2+f+g_{1}) (fg_{2}-g_{3}) \\& \hphantom{A_{4}={}}{}+rff_{5}g_{1}^{2}g_{2}g_{3}(f+g_{1})^{3}(2+f+g_{1}) \bigl(g_{2}+2f(1+m)\bigr)+2rf^{2}f_{5}g_{2}g_{3}(f+g_{1})^{2}(2+f+g_{1}) \\& \hphantom{A_{4}={}}{}\times\bigl(g_{4}^{2}(2+f+g_{1}) (1+m)^{2}+mrg_{1}(f+g_{1})\bigr) \\& \hphantom{A_{4}={}}{}+g_{1}g_{2}g_{4}^{2}(2+f+g_{1}) \bigl(g_{2}g_{4}^{2}(2+f+g_{1}) (1+m)^{2} \\& \hphantom{A_{4}={}}{} -rg_{1}(f+g_{1}) \bigl(g_{2}-g_{2}m+2f(1+m) \bigr)\bigr) \bigl(2rf+g_{2}(g_{1}+f)\bigr)\bigr)^{2}+g_{1}g_{2} \bigl(2rfg_{1}g_{2}^{2}g_{3}(f+g_{1})^{3} \\& \hphantom{A_{4}={}}{} +rg_{1}^{2}g_{2}g_{4}^{2}(f+g_{1}) (2+f+g_{1}) \bigl(g_{2}+2f(1+m)\bigr) \bigl(2rf+g_{2}(g_{1}+f) \bigr) \\& \hphantom{A_{4}={}}{}+2rfg_{2}g_{4}^{2}(2+f+g_{1}) \bigl(g_{4}^{2}(2+f+g_{1}) (1+m)^{2}+mrg_{1}(f+g_{1})\bigr) \bigl(2fr+g_{2}(g_{1}+f)\bigr) \\& \hphantom{A_{4}={}}{} +2rg_{3}(f+g_{1})^{2}(2+f+g_{1})\bigl(g_{2}g_{4}^{2}(fg_{2}-g_{3})-f^{2}f_{5} \bigl(g_{2}g_{4}^{2}(2+f+g_{1}) (1+m)^{2} \\& \hphantom{A_{4}={}}{}-g_{1}(f+g_{1}) \bigl(g_{2}-g_{2}m+2f(1+m) \bigr)r\bigr)\bigr)\bigr)^{2}\bigr), \\& A_{5}= -\frac {2rg_{2}g_{4}^{2}(fg_{2}-g_{3})}{ff_{4}g_{3}^{2}(f+g_{1})^{2}}+\frac {2rff_{5}g_{2}(g_{4}^{2}(2+f+g_{1})(1+m)^{2}+mrg_{1}(f+g_{1}))}{f_{4}g_{3}^{2}(f+g_{1})^{2}} \\& \hphantom{A_{5}={}}{} -\frac{rf_{5}g_{1}^{2}g_{2}(g_{2}+2f(1+m))}{f_{4}g_{3}^{2}(f+g_{1})}, \\& A_{6}= \frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac{\sqrt {rg_{1}g_{2}}g_{1}^{2}g_{2}g_{4}^{2}(g_{2}+2f(1+m))(2fr+g_{2}(g_{1}+f))}{\sqrt {2f}ff_{4}g_{3}^{3}(f+g_{1})^{3}} \\& \hphantom{A_{6}={}}{} +\frac{\sqrt {2rg_{1}g_{2}}g_{2}g_{4}^{2}(g_{4}^{2}(2+f+g_{1})(1+m)^{2}+mrg_{1}(f+g_{1}))(2fr+g_{2}(g_{1}+f))}{\sqrt {f}f_{4}g_{3}^{3}(f+g_{1})^{4}}, \\& A_{7}= \frac {2rg_{2}g_{4}^{2}(fg_{2}-g_{3})}{ff_{4}g_{3}^{2}(f+g_{1})^{2}}-\frac {rf_{5}g_{1}^{2}g_{2}(g_{2}+2f(1+m))}{f_{4}(f+g_{1})g_{3}^{2}} \\& \hphantom{A_{7}={}}{}-\frac {2rff_{5}g_{2}(g_{4}^{2}(2+f+g_{1})(1+m)^{2}+mrg_{1}(f+g_{1}))}{f_{4}g_{3}^{2}(f+g_{1})^{2}} \\& \hphantom{A_{7}={}}{} +2\biggl(\frac{g_{1}^{2}g_{2}^{3}}{2ff_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}+\frac {\sqrt{g_{1}g_{2}}g_{4}^{2}(2fr+g_{2}(g_{1}+f))}{\sqrt {2fr}ff_{4}g_{3}(f+g_{1})^{2}} \\& \hphantom{A_{7}={}}{}\times\biggl( \frac{\sqrt {frg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}g_{3}^{2}(f+g_{1})^{2}} -\frac{\sqrt{frg_{1}g_{2}}rg_{1}(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}g_{3}^{2}(f+g_{1})}\biggr)\biggr), \end{aligned}
\begin{aligned}& A_{8}= -\frac{\sqrt{2rg_{1}g_{2}}g_{1}g_{2}^{2}}{\sqrt {f}f_{4}g_{3}^{2}(f+g_{1})(2+f+g_{1})}-\frac{\sqrt {rg_{1}g_{2}}g_{1}^{2}g_{2}g_{4}^{2}(g_{2}+2f(1+m))(2rf+g_{2}(g_{1}+f))}{\sqrt {2f}ff_{4}g_{3}^{3}(f+g_{1})^{3}} \\& \hphantom{A_{8}={}}{}\times \frac{\sqrt {2rg_{1}g_{2}}g_{2}g_{4}^{2}(g_{4}^{2}(2+f+g_{1})(1+m)^{2}+mrg_{1}(f+g_{1}))(2fr+g_{2}(g_{1}+f))}{\sqrt {f}f_{4}g_{3}^{3}(f+g_{1})^{4}} \\& \hphantom{A_{8}={}}{}+ 2\biggl(\frac{\sqrt{rg_{1}g_{2}}g_{2}g_{4}^{2}(fg_{2}-g_{3})}{\sqrt {2f}ff_{4}g_{3}^{2}(f+g_{1})^{2}}+f_{5}\biggl(- \frac{\sqrt {rfg_{1}g_{2}}g_{2}g_{4}^{2}(2+f+g_{1})(1+m)^{2}}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})^{2}} \\& \hphantom{A_{8}={}}{} +\frac{\sqrt{rfg_{1}g_{2}}rg_{1}(g_{2}-g_{2}m+2f(1+m))}{\sqrt {2}f_{4}g_{3}^{2}(f+g_{1})}\biggr)\biggr). \end{aligned}

## Rights and permissions 