1. Introduction
The study of limit cycles in differential systems comes from practice, and many applied disciplines, such as physics, mechanics, biology, economics, ecology, electronics, and finance, may exhibit limited cycle phenomena. Limit cycles play a very important role in the study of nonlinear system dynamics. The limit cycle phenomenon was first proposed by H. Poincaré [
1], and further development was promoted by the famous Hilbert’s 16th problem [
2]. The latter part of the sixteenth problem is as follows: what is the maximum number of limit cycles (Hilbert number:
) that can be generated by a planar differential system of degree
n? For
, the best result was obtained by Shi [
3] and Chen [
4] more than forty years ago,
. For
, scholars have conducted a lot of research work, and the best result for cubic polynomial systems is
[
5,
6]. For more information of
, see [
7,
8,
9].
The limit cycles of a differential autonomous system are always perturbed by singular points, but it is difficult to obtain a higher number of limit cycles in terms of a single singular point. Considering this situation, it is a good direction to study from multiple singular points. In the case of two singular points, Du, Liu and Huang [
10] studied a class of Kolmogorov system that is symmetrical about the line
, and showed that under certain conditions, each singularity can bifurcate into five limit cycles so there are ten limit cycles in total. Du, Huang and Zhang [
11] proved that a class of systems symmetric with regard to the origin can generate 12 limit cycles of
distribution by Hopf bifurcation. For three singular points, Yu and Han [
12] used the perturbation technique to calculate the focus values and proved that a class of the
-equivariant system has at most 12 limit cycles. For four singular points, Wang, Liu and Du [
13] considered a class of
-equivariant systems and obtained the conclusion that
. For more singular points, Yao and Yu [
14] applied the normal form and the technique of solving coupled multivariate polynomial equations to prove that the maximal number of small limit cycles is 25 in
-equivariant planar vector fields, so
. Li, Chan and Chung [
15] gave a concrete numerical example of at least 24 limit cycles for a perturbed Hamiltonian system with
symmetry, and conjectured that
for the perturbed Hamiltonian systems. Li and Zhang [
16] used the detection function method to show that
by considering a
-equivariant vector field. Through analyzing a
symmetric system, Wang and Yu [
17] obtained the result
. Recently, the fractional-order dynamic model has been widely studied. It is considered to be more valuable than the integer-order dynamic model to describe many objective natural phenomena in the real world because of its good memory characteristics and genetic function in many materials and evolutionary processes. Huang et al. [
18,
19] and Xu et al. [
20,
21,
22] focused on the understanding of the bifurcation phenomena and dynamical behavior in fractional-order neural networks with different delays. They provide insights into the impact of fractional order and multiple delays on the stability, equilibrium points, and bifurcation patterns in neural network dynamics.
Surprisingly, unlike the planar systems, where the number of limit cycles is finite [
23], a simple three-dimensional system may have an infinite number of small amplitude limit cycles [
24]. At present Huang, Gu and Wang [
25] introduced some results on the bifurcation of limit cycles for three-dimensional smooth systems, such as Lotka–Volterra systems, Chen systems, Lorenz systems, Lü systems, and three-dimensional piecewise smooth systems. Sanchez and Torregrosa [
26] studied several classes of three-dimensional polynomial differential systems by using the parallel computing method, and determined that there are at most 11, 31, 54, and 92 limit cycles at the origin for three-dimensional quadratic, cubic, quartic, and quintic systems, respectively. For multiple singular points, Gu et al. [
27] proved the existence of seven limit cycles in a class of three-dimensional cubic Kolmogorov systems. Lu et al. [
28] proved the existence of eight limit cycles in a class of Lorenz systems, which are
symmetric and quadratic three-dimensional systems. Guo, Yu and Chen [
29] applied the theory of center manifold and normal forms to prove the existence of 12 limit cycles with
distribution in three-dimensional vector fields with
symmetry. Then, they analyzed a
quadratic system with two symmetric singular points by using the same approach in [
30] and showed that there are twelve limit cycles with
distributed around the singular points.
Based on the above research results, numerous issues remain to be investigated in the dynamics of three-dimensional differential systems. In this study, we analyze the limit cycle bifurcation of a class of
-equivariant symmetric cubic systems by using symmetry to find the focal points with the same topological structure, and the form of the systems is as follows:
Regarding the investigations into Hopf bifurcation of ordinary differential models, several classical methods are available. These include the Poincaré normal form, Liapunov–Schmidt method [
31] and the dimension reduction method of directly calculating the center manifold, see, for example, [
32]. Additionally, various other research approaches have been proposed, such as the averaging theory [
33,
34], the technique of the inverse Jacobi multiplier [
35,
36], the simple normal form method [
37] and the formal first integral method [
38]. Recently, the authors of [
39] presented a theorem on the bound of the cyclicity in terms of the Bautin ideal to determine the maximum number of limit cycles within the center manifold generated from a center.
In our research, we employ the linear and straightforward algorithm proposed in a previous work [
40] to compute the quantities of singular points without the need for dimensionality reduction. This algorithm is linear in nature and avoids complex integration operations. As a result, the calculations can be easily performed using symbolic computation systems, such as Mathematica. Furthermore, the weight polynomial and characteristic curve methods introduced in [
41] are utilized to search for invariant algebraic surfaces, namely, all the Darboux polynomials under certain conditions. Then, the center conditions are derived, and the maximum number of limit cycles via a Hopf bifurcation is determined. Finally, we demonstrate that the system (
1) can bifurcate 15 small amplitude limit cycles with a
distribution from the singular points after proper perturbation. The result is a new lower bound on the number of limit cycles in three-dimensional cubic systems with
-equivariant symmetry.
This paper is structured as follows.
Section 2 introduces fundamental theories and methods of differential Hopf bifurcation systems, which are essential for a comprehensive discussion of system (
1). In
Section 3, we present a recursive formula for singular point values, which is linear and can simplify complex integral operations. As a result, we can conveniently use computer symbolic operation systems, such as Mathematica or Maple, to calculate the singular point values of system (
1). In
Section 4, we establish a necessary condition for the singular point to be a center, and then we use the Darboux integral method to demonstrate that this condition is also sufficient. Finally, in
Section 5, we show that system (
1) can bifurcate 15 small amplitude limit cycles with a
distribution from the singular points after proper perturbation.
2. Preliminary Theory and Method
For the
-equivariant system, we only present the results we need in the next section in this section. For more details, the reader can refer to [
42,
43]
Lemma 1 (see [
43])
. If a system is a -equivariant system and it has a real singular point except for the origin, then the system must have q real singular points, which are q-symmetric about the origin. To discuss the limit cycle of a system, it is usually necessary to calculate all the focal values at the singular point. The consequent difficulty arises that the calculation of all the focus values of the singular point of the system is too complicated for us to calculate all the focus values. However, according to Hilbert’s finite basis principle, there must be a finite number of focus values that can express all the focus values of the singular point of the system (the finite number of focus values in front is called the focus basis). Wang [
44] proved that the first non-zero focal values
at the origin of system (
2) are algebraically equivalent to the first non-zero singular values
at the origin of its complex system (
4) (and the Lyapunov constant
at the origin of the center manifold of system (
2)). Therefore, the study of the focal values of the differential system can be simplified to the investigation of its singular point values. The focus basis issue, namely the highest-order fine focus problem, can be effectively solved in this process, and then the maximum number of limit cycle branches is also analyzed. In this paper, we apply the formal series method proposed by Wang [
40] to study system (
1).
Next, we show (for details see [
40]) some preparations for the calculation of the singular point values of the system. Consider the following three-dimensional system:
where
and
.
The linear matrix of system (
2) has a pair of purely imaginary eigenvalues
and a negative eigenvalue
at the origin of the singular point. Reviewing the related concepts and results, it is obvious that Hopf bifurcation occurs in system (
2). The qualitative analysis of the high-dimensional systems is generally utilized to reduce their dimensions to plane systems by using the center manifold theorem, and then the limit cycles, centers, and isochronous centers are studied by means of the plane bifurcation theory. For system (
2), there exists an approximation to the center manifold
, which can be represented as the polynomial series in
x and
y formally as follows:
where
denotes a higher-order term with an order greater than or equal to 3.
By transformation
the system (
2) can be transformed into the following complex system:
in which
. It is worth noting that the coefficients
and
of system (
4) satisfy a conjugate relationship, namely,
. System (
2) and system (
4) are referred to as being concomitant. To make it easier to write
and
, we still use
,
U.
For system (
4), we have the following preliminary results:
Lemma 2 (see [
40])
. For system (4), when taking , we can derive successively and uniquely the following series:such thatThe expression given in (5) is called the m-th singular point value at the origin of system (4), and if or , is determined by the following recursive formula:and for any positive integer m, is determined by the following recursive formula:and if or or or , we put . A singular point of a system becomes a center if and only if all its focal values are zero. So we have the following results.
Definition 1 (see [
45])
. For system (2), if , then the origin is called the rough focus (strong focus); if , and , then the origin is called the fine focus (weak focus) of order k, and the quantity of is called the k-th focal value at the origin ; if , and for any positive integer , then the origin is called a center. Lemma 3 (see [
44])
. Let be the k-th singular point value at the origin of system (4), and be the k-th focal value at the origin of system (2) . If , then The maximum number of limit cycles bifurcated from the fine focus of the system is closely related to the highest order of the fine focus. So solving the highest-order fine focus question of the system is equivalent to analyzing the issue of the maximum number of limit cycle bifurcations as follows:
Lemma 4 (see [
46])
. If the origin of system (2) is a fine focus of order k, then the origin of system (2) can bifurcate at most k small-amplitude limit cycles under a suitable perturbation. Lemma 5 (see [
45])
. Suppose that the focal values of system (2) associated with the origin are determined by k independent parameters , i.e., . If there exists a point such that , andthen system (2) has exactly k small-amplitude limit cycles bifurcating from the origin under a suitable perturbation on . 3. Singular Point Values
For the
-equivariant symmetric system, it can be seen from Lemma 1 that its singular points appear as multiples of
q. Moreover, these
q singular points have the same topological structure, so their limit cycles are also generated in multiples of
q, and the properties around the corresponding limit cycles are similar. Therefore, when we study the center-focus problem and the limit cycle bifurcation of the
-equivariant symmetric system, we only need to select one of the
q singular points with the same topological structure for research. We can easily determine that the points
,
and
are three singular points of the system (
1), which are symmetric about the
Z-axis. So we only need to choose one of them, and at the same time for the convenience of calculation, we only calculate the singular point values of the singular point
.
To calculate the values of a single non-origin singular point, the following steps are typically involved: First, the singular point is moved to the origin by a transformation. Second, the real system is changed into a complex system by complex transformation. Third, calculate the singular point value in the complex system.
Firstly, let
and system (
1) can be rewritten in the following form:
Then, let
and system (
7) can be rewritten in the following form:
Then, by using Lemma 2, we can calculate the singular point values of the singular point
of the complex system (
8). With the aid of ycomputer algebra software Mathematica 12, the recurrence formula can be obtained as follows:
Lemma 6. For system (8), the singular point values at the origin are determined by the following recursive formulas:where , and if or or , we let , else Next, using the computer algebra system Mathematica, the recursive formula is programmed, and the singular point values of system (
8) corresponding to the Hopf critical point located at the origin are calculated, and the following theorem is obtained.
Theorem 1. For the flow on the center manifold of system (8), the first five singular point values at the origin are given as follows: If , then , where Case if , then and Case if , thenwhere and are given in Appendix A. For every that was calculated, we already imposed that . Because , and are so complicated, we can simplify them appropriately. According to Theorem (1), the simplification of , , and is equivalent to the simplification of , and . To simplify the calculation, we can first consider whether can be simplified. Obviously, with the program command , , we can easily find the greatest common factor () of and . Then can be reduced to by factorization. The same method is adopted for the simplification of and , so we can obtain the following theorem.
Theorem 2. Through factorization and polynomial reduction, the first five order singular point values of system (8) can be reduced to the following form: If , then .
Case if , then and Case if , thenwhere and are given in Appendix A. For every that was calculated, we already imposed that . 4. Center Condition
In this section, we obtain the necessary and sufficient condition for the singular point
of system (
1) to be a center by using the singular point values and the Darboux integral method.
From Theorem 2, we obtain the following result.
Theorem 3. For system (7), the first 5 singular point values at the origin vanish if and only if and . Proof. First, we prove its sufficiency, and substitute
into the expressions of the first five singular point values in Theorem 2. It is clear that
is established. The sufficiency of Theorem 3 is proved. Next, we prove that the condition in Theorem 3 is also necessary. Taking the first singular point value
, then we obtain
. Next, taking the second singular point value
, then we obtain
or
, so we need to have a case-by-case discussion. Case
If
, that is
, then under this condition, Case 1 of theorem 2 holds, so this situation discussion is completed. Case
If
, then Case 2 of Theorem 2 holds. Next, we need to determine whether
is true, that is, to discuss whether or not the polynomials
and
have common zeros. For this purpose, we apply the command “GroebnerBasis” in Mathematica to calculate the Gröbner basis of the
about the independent variables
and
. We obtain
This indicates that the polynomials
and
have no common zeros. Therefore, in Case 2, the first five singular values of system (
8) (i.e., (
7)) cannot be zero at the same time. In conclusion, the proof of Theorem 3 is complete. □
It is necessary that the system’s first finite focal values are equal to zero for a singular point to become a center. In order to obtain the necessary and sufficient center condition, its sufficiency needs to be proved. The common methods of proof include using the symmetry principle, finding the first integral means, determining the integral factor method, etc. It is not difficult to see that Theorem 3 gives the necessary condition for the singular point
to be a center of system (
7).
Theorem 4. For system (7), if and only if and , the surface is an invariant algebraic surface, which defines a global center manifold, and on this center manifold, the origin of system (7) is a center. Proof. The necessity of Theorem 4 is obvious. Now we use the Darboux integrable theory [
30,
47] to demonstrate the sufficiency of this condition.
When condition (
and
) in Theorem 4 holds, system (
7) can be rewritten in the form
It is known from [
47] that for the following system
where the degree of
,
,
does not exceed
n. The polynomial equation
is an invariant algebraic surface of system (
10) if and only if there exists a polynomial
, which satisfies the following condition:
where the polynomial
F is called the Dardoux polynomial of system (
10).
is generally defined as
where
m is an integer not less than 1,
is a homogeneous polynomial of degree
i, and
. The polynomial
K is the cofactor of
, and its degree does not exceed
.
For system (
9), in order to prove the existence of the Dardoux polynomial
by searching from
, for
, let
Since system (
9) is of degree 3, the corresponding cofactor
has a degree of at most two, and we assume that
After we substitute (
13) and (
12) into (
11) and obtain an algebraic equation, then comparing the coefficients of the same powers of the equation, we can obtain the following algebraic equations:
Solving the algebraic equations (
14), we can obtain
and
, which results in
so that the surface
is truly an invariant algebraic surface of system (
9).
Next, we will demonstrate that the surface
is actually a global center manifold of system (
9). First, we calculate the normal vector of the surface
at the origin, and obtain
. Since the eigenvalues of the linear matrix of system (
9) at the origin are two purely imaginary eigenvalues
and a negative eigenvalue
, it is obvious that the tangent space of the center manifold at the origin is spanned by these vectors:
In addition, one can verify that
which means that the surface
is truly a global center manifold of system (
9). Finally, it is necessary to prove that the origin of system (
9) is a center on the center manifold
. When
, system (
9) is simplified to the following planar system:
It is easy to see that system (
15) is a symmetric system about the X-axis, and according to the principle of symmetry, the origin of the system is a center (i.e., the singular point
of system (
7) is a center). This completes the proof of Theorem 4. □
Next, we use the system (
9) to simulate the case of center at
. All trajectories starting from the initial points on the invariant surface will remain on the surface. For example, when the initial points are chosen as
, the periodic orbits are located on the invariant surface as shown in
Figure 1.
However, if the initial points are chosen from outside the invariant surface, then all trajectories first converge to the invariant surface
, and once they reach the invariant surface, they become periodic orbits on the invariant surface, as shown in
Figure 1, where one initial point is chosen below the invariant surface, and another initial point is chosen above the invariant surface given by
.
According to Theorem 4, we can obtain the following.
Theorem 5. For system (1), if and only if and , the singular point is a center on the center manifold. 5. Bifurcation of Limit Cycles
In this section, we will discuss the maximum number of limit cycles for system (
1) branching from the singular point
.
From Lemma 4, we first need to consider the highest order of the fine focus of the origin of system (
7), i.e., find the value of
k such that
, but
holds. From Theorem 1 and Lemma 3, we obtain the first nine focal values of system (
7) at the origin:
.
According to the discussion of Theorem 3 and Theorem 4, we can know that the value of
k is 5, so the highest degree of the fine focus at the origin of system (
7) is 5. Then, can the order of the fine focus at the origin of system (
7) reach 5? That is, we discuss whether system (
7) has such a set of parameter conditions that
, but
. Here is what we will study next.
From the proof of Theorem 3, as long as the condition () is met, we can simply find the values of the coefficients that make true.
So, we now only need to look for the values of the coefficients such that
. According to the proof of Theorem 3, we know that the polynomials
and
have no common root, but
and
should have. Then, finding the coefficient values such that
holds is equivalent to solving the equations
for finding the solutions of
,
. With the help of Mathematica,
we can obtain that this equation has four groups of real solutions, and take one of them as follows (only showing the first 50 digits):
under which
This result implies that there is a common solution such that
but
, namely
. This means that we found the values of the coefficients that make
to be true. Substitute the value of (
16) in the condition
, obtaining
Hence, there exists a set of parameter conditions of system (
7) such that
, but
, that is, the origin of system (
7) is a fine focus of the fifth order, i.e., the singular point
of system (
1) is a fine focus of fifth order.
To sum up, we have the following theorem.
Theorem 6. For the flow on the center manifold of system (7), the highest order of the fine focus at the origin is five, and the origin becomes a fine focus of the fifth order if and only if the following conditions are satisfied:where the polynomials and have the same form as in Theorem 2. So for system (1), if and only if condition (18) is satisfied, the highest order of the fine focus is five, and the singular point is a fine focus of fifth order. By applying Theorem 6 and Lemma 4 to system (
1), we can observe that, under suitable perturbations, the singular point
can generate at most five small amplitude limit cycles. Nonetheless, it remains to be determined whether the system indeed has five small amplitude limit cycles. The following theorem provides an affirmative answer to this question.
Theorem 7. For system (1), when the coefficients satisfy the condition of Theorem 6, the singular point is the fifth-order fine focus. Moreover, system (1) can bifurcate five limit cycles at the singular point by suitable perturbations of the parameters. Proof. If conditions (
18) in Theorem 6 hold, then the singular point
of system (
1) is a fine focus of the fifth order. In addition, under conditions (
16) and (
17), the Jacobian determinant of
with respect to the variables
can be easily obtained by using the software Mathematica 12 to calculate
According to Lemma 5, after system (
1) is perturbed appropriately, four small-amplitude limit cycle bifurcations occur around the singular point. Meanwhile, its linear system also generates a limit cycle after the perturbation. Thus, through proper disturbance, system (
1) bifurcates a total of five small-magnitude limit cycles near the singular point
. This finishes the proof. □
The singular points , and are symmetric about the Z-axis. This means that five small-amplitude limit cycles can also be generated around the other two singularities, respectively. To sum up, we have the following theorem:
Theorem 8. System (1) can bifurcate a total of 15 limit cycles with distribution by suitable perturbations of the parameters.