Abstract
In this paper, we give the algebraic conditions that a configuration of 5 points in the plane must satisfy in order to be the configuration of zeros of a polynomial isochronous vector field. We use the obtained results to analyze configurations having some of its zeros satisfying some particular geometric conditions.
1. Introduction
We start defining an isochronous vector field, and we express its general associated -form, with its respective residues.
An isochronous vector field is as a complex polynomial vector field on whose zeros are all isochronous centers. A center is isochronous if the periods of the trajectories surrounding it are constant.
Let be a complex polynomial vector field on of degree , nonidentically zero, as follows:where the coefficients can be calculated by Vieta’s formulas, in particular . An isochronous vector field is characterized by their associated 1-form:which has a unique zero at infinity of multiplicity and simple poles with nonzero pure imaginary residues. For , the residue of at iswhere the hat means that the factor is omitted (see [1]).
The following well-known result characterizes the polynomial isochronous vector fields.
Theorem 1 (see [1, 2]). Let be a complex polynomial vector field on of degree defined as in (1); then, the following statements are equivalent:(a) has isochronous centers(b)The zeros of satisfy(c)Their residues satisfy
Here, is the set of the pure imaginary complex numbers different from zero.
Next, we characterize the polynomial isochronous vector fields over the Riemann spheres in terms of the quotients of its residues.
Definition 1. We say that the collection of zeros is an isochronous configuration if there exists a rotation such that the vector field is isochronous.
If the residues belong to the line for some , then the configuration is isochronous. In short, the configuration is isochronous if and only iffor all with . Here, is the set of real numbers different from zero.
We can associate to each isochronous vector field a weighted -tree in the following way. The vertices correspond to the zeros of , and two vertices are connected with an edge if the basins of the corresponding centers are adjacent and the weights are the periods [1, 3]. We know that each embedded -tree (without weights) is realized by an isochronous vector field and that if the phase portraits of two different isochronous vector fields are topologically equivalent, then they have the same embedded -tree (see [3]).
A topological classification of the isochronous vector fields of degree 2 can be found in [1, 4–6]. In [1], the authors characterize the isochronous vector fields of degree in terms of the shape of the configuration of zeros when , and they give partial results for when the zeros present some symmetries. The known results for and are summarized in the next section. Another reference about polynomial vector fields is given in [7] and rational vector field on the Riemann sphere in [8]. Finally, more general vector fields are studied in [9, 10].
The aim of this paper is to characterize the isochronous vector fields of degree 5 in terms of the configurations of zeroes without imposing any condition of symmetry.
If a polynomial vector field over the Riemann sphere is given, we can change the coordinates in such a way that has a zero at 0 and another zero at 1 because an affine transformation over the Riemann space does not change the main characteristics of a polynomial vector field, in particular the condition of to be isochronous, [1, 3]. Then, if the complex polynomial vector field has degree 5, it has 8 free real parameters: six for the zeros and two for the main coefficient. Assuming that the position of two zeros is fixed, it will be proved that there can be up to seven different three-parameter families of isochronous configurations, see Theorem 6. Notice that the family of 5-degree isochronous vector fields has only three real parameters. There are still too much parameters to give a result providing all the possible shapes of the zeros of the isochronous configurations for . Nevertheless, we can reduce the parameter space by fixing either the position or the shape of some zeros. At the end of the paper, we will analyze the shape of the isochronous configurations in some particular cases where the zeros present some symmetries and we will complete some of the cases studied in [1].
The paper is structured as follows. In the next section, we give a summary of the known results on isochronous vector fields of degree 5. After that, in the following section, we describe how to solve the set of equation (6) for an arbitrary vector field of degree 5. Finally, in the last section, we give explicitly the isochronous configurations in some particular cases: when four zeros are at the vertices of either a parallelogram or an isosceles trapezoid, when two zeros are on the line orthogonal to the line passing through other two zeros, and when three zeros are at the vertices of an equilateral triangle. We give numerical examples of some isochronous configurations with three zeros at the vertices of two isosceles triangles when , , and and when , , and . Finally, we give examples of isochronous configurations where the zeros do not satisfy any symmetry. We also analyze the phase portrait of the isochronous vector fields associated to the configurations. In particular, we find either the star or fork topology (Figure 1) in all cases except when we have all the zeros in the line. We have not found examples of the line topology when the zeros are not all in a line.
(a)
(b)
(c)
2. Some Known Results
In this section, we summarize some known results on isochronous configurations of vector fields of degree given in [1].
Theorem 2 (see [1]). A polynomial vector field of degree 4 is isochronous if and only if the zeros , , , and are either in a line or three are in the vertices of a triangle and one is at its orthocenter.
The phase portrait of the isochronous vector fields of degree 5 can have as many different topologies as 5-trees, so they can have three different topologies (see Figure 1), namely, the star topology, the fork topology, and the line topology.
The next theorem summarizes the results of isochronous configurations that are valid for vector fields of degree .
Theorem 3 (see [1]). The following statements hold.(a)For each , if the zeros , are in a line, then is isochronous and his phase portrait has the line topology(b)For each , if the zeros , are at the vertices of a regular polygon and is at its center, then is isochronous and his phase portrait has the star topology(c)For each , there exist isochronous vector fields with the zeros in a line and the zeros and in new line orthogonal to the previous one In addition, for , the following statements hold.(d)If , , , , and , then is isochronous if and only if (e)For , if are at the vertices of a rhombus and is at its center and if the residues of satisfy , , and , then is isochronous; moreover, its phase portrait has the star topology(f)Assume that is isochronous and , , and are in the bisector line of the segment with endpoints and (i)If is in the convex hull of , , , and and the residues of satisfy and , then is isochronous; moreover, the phase portrait of has the star topology(ii)If and are in the convex hull of , , and and the residues of satisfy and , then is isochronous; moreover, its phase portrait has the fork topology
Although we are not interested in physical applications in this paper, we mention some of them studied in [11]. For example, let ; then, the th terms may be regarded as the force with which a fixed mass (or electric charge) at repeals (attracts if ) a movable unit mass (or charge) at , being the law of repulsion, the inverse distance law. Equivalent interpretation can be made in terms of masses (or charges) repelling according to the inverse-square laws. Actually, in Theorem (3.1) in [10], it says that the zeros of with all real are the points of equilibrium in the field of force due to the systems of masses (point charges) at the fixed points repelling a movable unit mass at according to the inverse distance law. Note that the expression has the same form as the 1-form given in (2) associated to an isochronous vector field , and it can be written as , with given in (3).
Still another interpretation in is that each term is the vector velocity in a two-dimensional flow of an incompressible fluid due to a source of strength at (sink if ).
3. Characterization of the Isochronous Vector Fields of Degree 5
As previously said, without loss of generality, we can consider that the position of two of the zeros of are fixed to 0 and 1.
Assume that and , and let , , and . From (6), the configuration is isochronous if and only if for all with . Note that we only are interested in configurations with for . We define
The denominators of the functions are defined when for so we can drop them. Let be the numerator of the factorization of for all . Then, is isochronous if and only if is a solution of the set of polynomial equations:
Next, we will provide information about the solutions of (8). We only are interested in solutions of (8) satisfying for . In what follows, these solutions will be called valid solutions.
The first two equations of system (8) can be written aswhere
Systems of the form (9) will appear often in our analysis. We give the solution of this kind of systems in the next section, considering a generic system as (11).
Many solutions of (8) satisfy that for some , these solutions correspond to isochronous configurations with at least three zeros aligned. In order to simplify our computations, this case is treated separately, at Theorem 4. From now on, the solutions of (8) with for all that are valid solutions will be called admissible solutions.
3.1. The Resolution of Systems of the Form (9)
Let us consider a generic system of the form (9):
Note that the two equations of (11) correspond to the equations of two circles (eventually degenerated to a line) passing through the point . So, is always a solution of (11).
After tedious but not difficult computations, we see that when and are not simultaneously zero, then the solutions of system (11) are and with
Solving system and , we get the following conditions: , , and . Then, we can prove the following result.
Lemma 1. Let , , and . Then, the following statements hold.(a) is a solution of (11) for all , , , , and (b)If neither of conditions , , and is satisfied, then the solutions of (11) are and as given in (12)(c)If condition is satisfied, then the solutions of (11) are the solutions of equation (d)If condition is not satisfied and condition is satisfied, then the solution of (11) is when and when (e)If condition is not satisfied and condition is satisfied, then either the second equation is identically 0 or the two equations of (11) are linearly dependent
3.2. Isochronous Configurations with Three Zeros in a Line
Without loss of generality, we can assume that the zeros that are aligned are , , and , so we assume that .
We substitute into equations and , and we get the equations:where we define and with
The solutions with and are not valid because they correspond to and , respectively. Now, we analyze the solutions of system and . This is a system of the form (11); hence, from Lemma 1, if conditions with are not satisfied, then the nontrivial solution of system and is
Condition does not provide valid solutions because it is satisfied when either or (i.e., when either or ). Condition is satisfied when ; under this condition, ; so, from Lemma 1, the solution of system and is with . Finally, condition is satisfied either when , which does not provide a valid solution, or when . This last case satisfies condition , so it has already been studied.
In short, system and with have only two valid solutions:
By substituting into equation , we get
The solutions and of this equation are not valid, and the solutions of the last factor of the equation arewhen and either , , or when (or equivalently when ). It is easy to check that the solutions with do not provide valid solutions. On the contrary, the solution with given in (18) and the solution satisfy all equations . Therefore, they provide isochronous configurations. In short, we have proved the following theorem.
Theorem 4. If the zeros , , and are in a line, then the configuration is isochronous if and only if it satisfies one of the following statements:(a), , , , and are in a line(b), , and are in the bisector line of the segment with endpoints and In particular, if , , , , and , then is isochronous if and only if one of the following statements holds:(c)(d), , and
Theorem 4 completes in some sense the results in Theorem 3.
From now on, we only will consider solutions of system (8) with .
3.3. Admissible Solutions of System (8)
Now we analyze the solutions of (9) that provide solutions of (8) with for and , that is, those provide admissible solutions. System (9) is of the form (11) with , , , , , and so we will apply Lemma 1. Here, we use the notation:
In order to simplify our computations, we will use resultants’ theory in some cases. Next, we summarize the basic properties of the resultants.
Let and be two polynomials in the variable with leading coefficient one. Let , , be the roots of and , , be the roots of . The resultant of and , , is the expression formed by the product of all the differences , and , see for instance [12, 13]. The main property of the resultant is that if and have a common solution, then necessarily .
Let now and be polynomials in the variables . These polynomials can be considered as polynomials in with polynomial coefficients in ; then, the resultant with respect to , , is a new polynomial in the variable with the following property. If and have a common solution , then and similarly for the variable .
3.3.1. Solutions of (9) Satisfying Condition
System and (condition ) can be written in the form (11) with , , and and can be solved by applying Lemma 1 again. Conditions for provide solutions with either or . The solution in Lemma 1 becomes (i.e., ). Therefore, neither of the solutions of (9) satisfying condition can provide valid solutions of (8).
3.3.2. Solutions of (9) Satisfying Condition
System and (condition ) can be written again in the form (11) with , , , , and . All conditions in Lemma 1 provide solutions with . Therefore, conditions cannot provide admissible solutions of (8).
The solution in Lemma 1 becomes
We substitute this solution into equation , and we get an equation equivalent to
Clearly, neither of the solutions of this equation can provide admissible solutions of (8). In short, neither of the solutions of (9) satisfying condition can provide valid solutions of (8).
3.3.3. Admissible Solutions of (8) Satisfying Condition
Finally, we analyze the solutions of system and (condition ). System and cannot be written in the form (11). We will analyze the solution of this system by using the properties of resultants.
We compute the resultant of and with respect to , and we getwhere
By the properties of the resultant, we know that if is a solution of system and , then the coordinates satisfy equation . Thus, in order to solve system and , it is sufficient to find the solutions of that satisfy system and .
Clearly, the first four factors of do not provide admissible solutions of (8). Thus, we only will consider solutions with either or .
Case :
We substitute into equation , and we get
The first two factors of this equation do no provide admissible solutions of (8). From the last factor of the equation, we have
We substitute into equation , and we get the following solutions:
The first solution corresponds to , the second and the third imply , and the fourth corresponds to . Therefore, the unique solutions of system and that can provide admissible solutions of (8) are
Notice that is defined for and when either or .
We substitute and into (8). Since condition is satisfied, equations and are linearly dependent, so we will work with equations and instead of equations and . If and , then system and can be written aswhere
Here,where the upper sign corresponds to the positive value and the lower sign corresponds to the negative value . Notice that, in order to obtain the expressions and , we have substituted into system and not only and but also , , and .
Next, we analyze the solutions of (28) providing admissible solutions of (8). The factors and do not provide solutions in the domain of definition of , and the factor provides solutions with . We analyze the solutions of and by applying again Lemma 1. Conditions and in Lemma 1 give solutions with either or , and condition gives solutions with either , , or . The solution given by in Lemma 1 becomesand it corresponds to . Therefore, the factor does not provide admissible solutions of (8).
Case :
From equation , we getwhere
Note that is defined when and .
Solutions with : solving equation with respect to , we get and where
The domain of definition of and is the set
On the contrary, analyzing the functions and , we can see that when , when , when either or , when , and when . Thus, the solutions and are defined only when . Therefore, the denominator of is zero when either or . The solution does not provide admissible solutions of system (8).
Now we analyze the solutions of (8) with . In this case, is identically 0. By substituting into equation and solving the resulting equation, we get the solutions and where
These solutions also satisfy equation . We substitute the solution with and into equations and , and we obtain a system of equations of the form (9) in the variables where the coefficients depend on . We solve this system by applying Lemma 1 as we have done in the previous cases, and we see that it has two unique solutions, one satisfying and the other one satisfying . The same occurs with the solution and . Analyzing the cases and in a similar way, we get three unique solutions, which satisfy , , and , respectively. Therefore, system (8) has no valid solutions when .
Solutions with : assume that . We substitute into equation , and we solve the resulting equation obtaining in this way the solutions:
Note that the last solution is defined only when .
First, we analyze the solution . It is easy to check that equation is always satisfied when . We substitute this solution into equations and , and we getwhere
Here,
The first factor of equation (38) gives solutions with , the second one gives solutions with , and the third factor does not give real solutions. The fourth factor of the first equation of (38) gives solutions with , and the fourth factor of the second equation gives solutions with . Therefore, neither of them provides valid solutions.
We solve system and by applying Lemma 1 again, and we get the solutions and withwhen conditions , , and are not satisfied. Conditions and provide solutions with , and the condition provides solutions with either , , , , or . Therefore, these conditions cannot provide admissible solutions of (8). Finally, it is easy to check that, for all , the equations are satisfied when and . In short, this solution will provide admissible solutions when is such that for and .
Now, we consider the solution (assuming that ), and we proceed in a similar way. First, we substitute the solution into equation , and we get the following equation:where
Clearly, the second factor of equation does not provide real solutions, the first and fourth factors provide solutions with , the third provides solutions with , and the fifth provides solutions with . Therefore, the unique factor that can provide admissible solutions of (8) is .
It is not difficult to check that
So, if and , then , and this is the case we have just been studied. Furthermore, if , then equation has only the two solutions and . Since the solution is defined when , we do not need to consider this case separately.
3.3.4. Admissible Solutions of (8) that Do Not Satisfy Any Condition
From Lemma 1, when neither of conditions is satisfied, the solutions of system and