Open Access

Relative Equilibria in the 4-Vortex Problem Bifurcating from an Equilateral Triangle Configuration


Cite

Introduction

The equations of motion for the interaction of point vortices were introduced by Helmholtz [8] (1858). In that paper, Helmholtz was the first to make explicit key properties of those portions of a fluid in which the vorticity occurs. Although his research was motivated in part by his interest in the effect of friction within a fluid, he developed the theory restricted to the dynamics of a perfect incompressible fluid with vorticity. Towards the end of his article, he introduces the concept of parallel vertical infinitely thin vortex filaments, each of which contains an invariant amount of circulation. Equivalently, we can consider the trace of this family of filaments, the intersection of them with a plane perpendicular to all these points are known as point vortices, and we think that they play an analogue to the point masses in celestial mechanics.

A good introduction to the problem and methods of vortex dynamics can be found in Aref (2007) [2] and Newton (2001) [12]. In this paper, we are particularly interested in the relative equilibria motions, which are the simplest solutions described in the problem of n–point vortices. In this case the dynamics of the vortices is uniform with respect to a fixed rotation center, or a uniform translation. The simplest relative equilibria are those where n–settings vortices form a regular polygon where all values at the vortices or vorticities are equal.

In 2001, Kossin and Schubert [10] performed numerical experiments that describe the evolution of thin annular rings with high vorticity as a model for the behavior observed in the eye of a hurricane. A polygonal rigid rotation has been found in the eye of hurricane research models and weather forecast in the Group at the National Hurricane Center for Atmospheric Research (see the website [4] to observe some simulations).

It is natural to explore configurations that rotate rigidly in a framework of dynamical systems, studying the planar relative equilibria of n-vortex problem. The case of three-vortices has been widely studied by Gröbli [5], Kossin and Schubert [10] and Hernández-Garduño and Lacomba [9]. Equilateral triangles are always relative equilibria. There is also collinear relative equilibria, which are determined by a cubic equation with coefficients which are linear in the vorticities. Depending on the parameters you can get one, two or three collinear relative equilibria. In 2008, R. Moeckel and M. Hampton [6] proved the finiteness of relative equilibria in the four-vortex problem. The case of four vortices with two pairs of equal vorticities was studied by Hampton, Roberts and Santoprete [7]. In 1988, Meyer and Schmidt [11] showed that there is a parametric family of relative equilibria relating to the problem of 4-vortices which becomes degenerate to a value of the parameter. This degeneration suggests that a bifurcation occurs.

The motivation of this work is to find new relative equilibria, when two of the vortices are fusing at the same point, we believe that this kind of results can be applied to the analysis of the hurricanes, particularly when they are born.

The paper is organized as follows: After the introduction, in Section 2 we give the background on this subject, stating the equations of motion and defining the different kinds of configurations for the relative equilibria that we are studying. Section 3 contains the main results of this paper, starting with an equilateral triangle configuration, where in the limit case m = 0, we fuse the massless particles and prove that for this limit case emanate a unique concave kite relative equilibria and a unique convex relative equilibria which is an isosceles trapezoid.

The n-vortex problem

The governing equations for a collection of n–vortices, each one with strength Γi ∊ ℝ and located at zi = (xi, yi) ∊ ℝ2, are given by

z˙i=ijnΓjzizjzizj2.$$\begin{array}{} \displaystyle {\dot z_i} = \sum\limits_{i \ne j}^n {{\Gamma _j}} \frac{{{z_i} - {z_j}}}{{{{\left\| {{z_i} - {z_j}} \right\|}^2}}}. \end{array}$$

A motion of n vortices is said to be a relative equilibrium if, and only if, there exists a real number λ ≠ 0, called angular velocity, such that, for every i and for all time

z˙i=λ(zic),$$\begin{array}{} \displaystyle \dot{z}_i = \lambda (z_i - c), \end{array}$$

where c=inΓiziiΓi$\begin{array}{} \displaystyle c = \frac{{\sum _i^n{\Gamma _i}{z_i}}}{{{\sum _i}{\Gamma _i}}} \end{array}$ is the center of vorticity. Of course we are assuming that Σi Γi ≠ 0, which is the case studied in this paper, when the sum vanishes it is a degenerate case, the interested reader can find its analysis for instance in [13].

It is easy to check that when the n–vortices have the same vorticity and they are located at the vertices of a regular n–gon, they form a relative equilibrium. We are interested in relative equilibria formed with two pairs of equals vorticities where the mass of one of them is sufficiently small.

We are interested in the study of non-collinear planar relative equilibria formed by 4 vortex located at the vertex of a regular polygon. In this paper we follow the work made by Corbera and Llibre for the case of central configurations in celestial mechanics [3]. In that article, they study all central configurations that can be obtained in the case m1 = m2 > m3 = m4 = m > 0 with m enough small. First, they analyzed the case when the bodies are not in collision and study the collinear and planar case with two or three masses equal to 0, and then they studied the central configurations in binary collision for the collinear case, equilateral triangle, and kite configuration. In this work we will point the similarities and differences with that paper.

Definition 1

Assume that z = (z1, z2, z3, z4) is a relative equilibria of the planar 4 vortex problem:

z is convex if none of the vorticities is located in the interior of the triangle formed by the others,

z is concave if one of the bodies is in the interior of the triangle formed by the others,

z is a kite relative equilibria if it has an axis of symmetry passing through two non-adjacent bodies,

z is a rhombus if it is convex and the four exterior edges are equal to each other.

For the case of central configurations in celestial mechanics Albouy, Fu and Sun showed that when four particles (q1, q2, q3, q4) form a two-dimensional central configuration, which is a convex quadrilateral having [q1, q2] and [q3, q4] as diagonals [1]. This configuration is symmetric con respect to the axis [q3, q4] if and only if m1 = m2. It is symmetric with respect to the axis [q1, q2] if and only if m3 = m4. Using exactly the same kind of computations it is possible to get a similar result in the 4–vortex problem, we omit here the details.

The goal of this paper is look for new configurations of relative equilibria in the 4–vortex problem for which Γ1 = Γ2 and Γ3 = Γ4 is small enough. A point that we must clarify is about the singularity that appear when the motion start with one couple of masses in binary collision, we will do ahead in this paper.

Relative equilibria with vorticities Γ1 = Γ2, Γ3 = Γ4 = m and m small

In this section we will give a description of relative equilibria for the planar 4-vortex problem where the vorticities are equal two a two and one couple of them have vorticities small enough.

Starting from an equilateral triangle configuration, where the vortices 3 and 4 are in binary collision and each vortex is located on the vertices of a triangle. After normalization, we can assume without loss of generality that the value of the vorticities are Γ1 = Γ2 = 1 and Γ3 = Γ4 = m with m small enough.

Let be z1 = (1, 0), z2 = (1, 0), z3 = (x3, y3) and z4 = (x4, y4) the positions of 4–point vortices with vorticities Γ1, Γ2, Γ3 and Γ4 respectively. We say that two planar relative equilibria are equivalent if one can be obtained by the other one by doing a rotation or interchanging the names of the vorticities Γ3 y Γ4. It is easy to verify that this is an equivalence relation, so from here on we look for classes of relative equilibria, that by short we will continue called them simply as relative equilibria.

Since the vortices 1 and 2 are fixed at z1 and z2, we define s = (x3, y3, x4, y4) as a relative equilibrium solution. A collision relative equilibrium solution is given by sc=(0,3,0,3)$\begin{array}{} \displaystyle \textbf{sc} = (0, \sqrt{3}, 0, \sqrt{3}) \end{array}$.

The main result of this article is the following:

Theorem 1

Let be Γ1 = Γ2 = 1, Γ3 = Γ4 = m, z1 = (1, 0), z2 = (1, 0),3 = (x3, y3) and z4 = (x4, y4) the positions of the vortices Γ1, Γ2, Γ3and Γ4respectively. We assume that x3, y3 ≥ 0, y3y4. Then the relative equilibria for m = 0 given bysc=(0,3,0,3)$\begin{array}{} \displaystyle sc = (0, \sqrt{3}, 0, \sqrt{3}) \end{array}$can be continued to

A unique family (x3(m), y3(m),x4(m), y4(m)) concave kite relative equilibria for m > 0 small where

x3(m) =x4(m)=0,y3(μ) =3+23m1/2+68405m3/2+O(μ2),y4(μ) =323m1/268405m3/2+O(μ2).$$\begin{array}{} \displaystyle \begin{array}{*{20}{l}} {{x_3}(m){\rm{\;}} = {x_4}(m) = 0,}\\ {{y_3}(\mu ){\rm{\;}} = \sqrt 3 + \frac{2}{3}{m^{1/2}} + \frac{{68}}{{405}}{m^{3/2}} + O({\mu ^2}),}\\ {{y_4}(\mu ){\rm{\;}} = \sqrt 3 - \frac{2}{3}{m^{1/2}} - \frac{{68}}{{405}}{m^{3/2}} + O({\mu ^2}).} \end{array} \end{array}$$

A unique family (x3(m), y3(m),x4(m), y4(m)) of isosceles trapezoid relative equilibria for m ∊ (0,3/2) where

x3(m)=23m1/2433m3/2+O(m2),x4(m)=x3(m),y3(μ)=3+O(m2),y4(m)=y3(m).$$\begin{array}{} \displaystyle \begin{array}{*{20}{l}} {{x_3}(m) = \frac{2}{{\sqrt 3 }}{m^{1/2}} - \frac{4}{{3\sqrt 3 }}{m^{3/2}} + O({m^2}),}\\ {{x_4}(m) = - {x_3}(m),}\\ {{y_3}(\mu ) = \sqrt 3 + O({m^2}),}\\ {{y_4}(m) = {y_3}(m).} \end{array} \end{array}$$

Remark 1

The assumptions in the above Theorem are not of great significance, the other configurations that we can have can be obtained from the configurations given in the Theorem by doing either a rotation in dimension three or by interchanging the names of the vortices Γ3 and Γ4.

Equations for relative equilibria

The centre of vorticities for a relative equilibria with the hypothesis of Theorem 1 is

c=(m(x3+x4)2(m+1),m(y3+y4)2(m+1)),$$\begin{array}{} \displaystyle c = \left(\frac{m(x_3+x_4)}{2(m+1)}, \frac{m(y_3+y_4)}{2(m+1)}\right), \end{array}$$

with this the equations (2) become

ei=0,fori=1,,8,$$\begin{array}{} \displaystyle e_i = 0, \; \text{for} \; i=1, \dots , 8, \end{array}$$

where

e1=12m(x3+1)r132m(x4+1)r142+λ(1+m(x3+x4)2(m+1)),e2=12m(x31)r232m(x41)r242λ(1m(x3+x4)2(m+1)),e3=m(x3+1)r132+m(x31)r232+m(x3x4)r342λ(x3m(x3+x4)2(m+1)),e4=m(x4+1)r142+m(x41)r242+m(x4x3)r342λ(x4m(x3+x4)2(m+1)),e5=m(y3r132y4r142+λ(y3+y4)2(m+1)),e6=m(y3r232y4r242+λ(y3+y4)2(m+1)),e7=y3r132+y3r232+m(y3y4)r342λ(y3m(y3+y4)2(m+1)),e8=y4r142+y4r242+m(y4y3)r342λ(y4m(y3+y4)2(m+1))$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {{e_1} = - \frac{1}{2} - \frac{{m({x_3} + 1)}}{{r_{13}^2}} - \frac{{m({x_4} + 1)}}{{r_{14}^2}} + \lambda \left( {1 + \frac{{m({x_3} + {x_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_2} = \frac{1}{2} - \frac{{m({x_3} - 1)}}{{r_{23}^2}} - \frac{{m({x_4} - 1)}}{{r_{24}^2}} - \lambda \left( {1 - \frac{{m({x_3} + {x_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_3} = \frac{{m({x_3} + 1)}}{{r_{13}^2}} + \frac{{m({x_3} - 1)}}{{r_{23}^2}} + \frac{{m({x_3} - {x_4})}}{{r_{34}^2}} - \lambda \left( {{x_3} - \frac{{m({x_3} + {x_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_4} = \frac{{m({x_4} + 1)}}{{r_{14}^2}} + \frac{{m({x_4} - 1)}}{{r_{24}^2}} + \frac{{m({x_4} - {x_3})}}{{r_{34}^2}} - \lambda \left( {{x_4} - \frac{{m({x_3} + {x_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_5} = m\left( { - \frac{{{y_3}}}{{r_{13}^2}} - \frac{{{y_4}}}{{r_{14}^2}} + \frac{{\lambda ({y_3} + {y_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_6} = m\left( { - \frac{{{y_3}}}{{r_{23}^2}} - \frac{{{y_4}}}{{r_{24}^2}} + \frac{{\lambda ({y_3} + {y_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_7} = \frac{{{y_3}}}{{r_{13}^2}} + \frac{{{y_3}}}{{r_{23}^2}} + \frac{{m({y_3} - {y_4})}}{{r_{34}^2}} - \lambda \left( {{y_3} - \frac{{m({y_3} + {y_4})}}{{2(m + 1)}}} \right),} \hfill \\ {{e_8} = \frac{{{y_4}}}{{r_{14}^2}} + \frac{{{y_4}}}{{r_{24}^2}} + \frac{{m({y_4} - {y_3})}}{{r_{34}^2}} - \lambda \left( {{y_4} - \frac{{m({y_3} + {y_4})}}{{2(m + 1)}}} \right),} \hfill \\ \end{array} \end{array}$$

and

r13 =(x3+1)2+y32,   r14=(x4+1)2+y42,r23 =(x31)2+y32,r24=(x41)2+y42,r34 =(x3x4)2+(y3y4)2.$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {{r_{13}}\: = \sqrt {{{({x_3} + 1)}^2} + y_3^2} ,\:\quad \quad } \hfill & {{r_{14}} = \sqrt {{{({x_4} + 1)}^2} + y_4^2} ,} \hfill \\ {{r_{23}}\: = \sqrt {{{({x_3} - 1)}^2} + y_3^2} ,} \hfill & {{r_{24}} = \sqrt {{{({x_4} - 1)}^2} + y_4^2} ,} \hfill \\ {{r_{34}}\: = \sqrt {{{({x_3} - {x_4})}^2} + {{({y_3} - {y_4})}^2}} .} \hfill & {} \hfill \\ \end{array} \end{array}$$

Equations (3) are not defined in binary collision between the vortices. That is, when it has one of the following, r13 = 0, r14 = 0, r23 = 0, r24 = 0 o r34 = 0.

The eight equations of (3) are not independent because

e1+e2+me3+me4=0,e5+e6+me7+me8=0.$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {{e_1} + {e_2} + m{e_3} + m{e_4} = 0,}\\ {{e_5} + {e_6} + m{e_7} + m{e_8} = 0.} \end{array} \end{array}$$

We observe that equations (3) are not defined in binary collision among the vortices, that is, when one of the following relationships hold, r13 = 0, r14 = 0, r23 = 0, r24 = 0 or r34 = 0.

Now we define

E1=e1e2, E2=e3e2,  E3=e4e2,E4=e5e6,  E5=e6e7,  E6=e8e6,$$\begin{array}{} \displaystyle E_1 = e_1 - e_2, & \quad & E_2 = e_3 - e_2, & \quad & E_3 = e_4 - e_2,\\ E_4 = e_5 - e_6, & \quad & E_5 = e_6 - e_7, & \quad & E_6 = e_8 - e_6, \end{array}$$

system (3) taken inside the system (4) is equivalent to the system

Ei=0,parai=1,,6.$$\begin{array}{} \displaystyle E_i = 0, \quad \text{para} \; i= 1, \dots , 6. \end{array}$$

Solving for λ in equation E1 = 0, and substituting its value in the other equations of (5) we obtain

Fi=0,parai=1,,5,$$\begin{array}{} \displaystyle F_i = 0, \quad \text{para} \; i = 1, \dots , 5, \end{array}$$

where

F=x32+x3+1r132+x31r232+m(x3212r132+x3212r232+x3x4r342+(x3+1)(x41)2r242(x31)(x4+1)2r142),F2=x42+x4+1r142+x41r242+m(x4212r142+x4212r242+x4x3r342(x3+1)(x41)2r132(x31)(x4+1)2r232),F3=m(y3r132+y3r232+y4r242y4r142),[6pt]F4=y3r132+y3r232y32+m((x3+1)y32r132+(x3+1)y32r232(x4+1)y32r142+y3y4r342+(x41)y3+2y42r242),F5=y4r142+y4r242y42+m((x3+1)y42r132(x4+1)y42r142(x4+1)y42r242+y4y3r342+(x31)y4+2y32r232),$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} F \hfill & = \hfill & { - \frac{{{x_3}}}{2} + \frac{{{x_3} + 1}}{{r_{13}^2}} + \frac{{{x_3} - 1}}{{r_{23}^2}} + m\left( { - \frac{{x_3^2 - 1}}{{2r_{13}^2}} + \frac{{x_3^2 - 1}}{{2r_{23}^2}} + } \right.} \hfill \\ {} \hfill & {} \hfill & {\left. {\frac{{{x_3} - {x_4}}}{{r_{34}^2}} + \frac{{({x_3} + 1)({x_4} - 1)}}{{2r_{24}^2}} - \frac{{({x_3} - 1)({x_4} + 1)}}{{2r_{14}^2}}} \right),} \hfill \\ {{F_2}} \hfill & = \hfill & { - \frac{{{x_4}}}{2} + \frac{{{x_4} + 1}}{{r_{14}^2}} + \frac{{{x_4} - 1}}{{r_{24}^2}} + m\left( { - \frac{{x_4^2 - 1}}{{2r_{14}^2}} + \frac{{x_4^2 - 1}}{{2r_{24}^2}} + } \right.} \hfill \\ {} \hfill & {} \hfill & {\left. {\frac{{{x_4} - {x_3}}}{{r_{34}^2}} - \frac{{({x_3} + 1)({x_4} - 1)}}{{2r_{13}^2}} - \frac{{({x_3} - 1)({x_4} + 1)}}{{2r_{23}^2}}} \right),} \hfill \\ {{F_3}} \hfill & = \hfill & {m\left( { - \frac{{{y_3}}}{{r_{13}^2}} + \frac{{{y_3}}}{{r_{23}^2}} + \frac{{{y_4}}}{{r_{24}^2}} - \frac{{{y_4}}}{{r_{14}^2}}} \right),[6pt]} \hfill \\ {{F_4}} \hfill & = \hfill & {\frac{{{y_3}}}{{r_{13}^2}} + \frac{{{y_3}}}{{r_{23}^2}} - \frac{{{y_3}}}{2} + m\left( { - \frac{{({x_3} + 1){y_3}}}{{2r_{13}^2}} + \frac{{({x_3} + 1){y_3}}}{{2r_{23}^2}} - \frac{{({x_4} + 1){y_3}}}{{2r_{14}^2}} + } \right.} \hfill \\ {} \hfill & {} \hfill & {\left. {\frac{{{y_3} - {y_4}}}{{r_{34}^2}} + \frac{{({x_4} - 1){y_3} + 2{y_4}}}{{2r_{24}^2}}} \right),} \hfill \\ {{F_5}} \hfill & = \hfill & {\frac{{{y_4}}}{{r_{14}^2}} + \frac{{{y_4}}}{{r_{24}^2}} - \frac{{{y_4}}}{2} + m\left( { - \frac{{({x_3} + 1){y_4}}}{{2r_{13}^2}} - \frac{{({x_4} + 1){y_4}}}{{2r_{14}^2}} - \frac{{({x_4} + 1){y_4}}}{{2r_{24}^2}} + } \right.} \hfill \\ {} \hfill & {} \hfill & {\left. {\frac{{{y_4} - {y_3}}}{{r_{34}^2}} + \frac{{({x_3} - 1){y_4} + 2{y_3}}}{{2r_{23}^2}}} \right),} \hfill \\ \end{array} \end{array}$$

Relative equilibria with m = 0

When m = 0 system (6) is equivalent to

G(x3,y3)=0,   G(x4,y4)=0,H(x3,y3)=0,   G(x4,y4)=0,$$\begin{array}{} \displaystyle G(x_3, y_3) = 0, &\qquad& G(x_4, y_4) = 0,\nonumber \\ H(x_3, y_3) = 0, &\qquad& G(x_4, y_4) = 0, \end{array}$$

where

G(x,y)=x1(x1)2+y2+x+1(x+1)2+y2x2,H(x,y)=y(x1)2+y2+y(x+1)2+y2y2.$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {G(x,y)} \hfill & = \hfill & {\frac{{x - 1}}{{{{(x - 1)}^2} + {y^2}}} + \frac{{x + 1}}{{{{(x + 1)}^2} + {y^2}}} - \frac{x}{2},} \hfill \\ {H(x,y)} \hfill & = \hfill & {\frac{y}{{{{(x - 1)}^2} + {y^2}}} + \frac{y}{{{{(x + 1)}^2} + {y^2}}} - \frac{y}{2}.} \hfill \\ \end{array} \end{array}$$

Solving system (7) we find the solutions

(x,y)={(0,0),(0,3),(0,3),(5,0),(5,0)}.$$\begin{array}{} \displaystyle (x, y) = \{(0, 0), (0, \sqrt{3}), (0, -\sqrt{3}), (-\sqrt{5}, 0), (\sqrt{5}, 0)\}. \end{array}$$

We will use only the solution (x,y)=(0,3)$\begin{array}{} \displaystyle (x, y) = (0, \sqrt{3}) \end{array}$, which is in agreement with our assumptions that x3, y3 ≥ 0, and that agrees with our original assumption that we have started with an equilateral triangle configuration with vortices 3 and 4 fusing in binary collision.

Relative equilibria for m small emanating from a relative equilibrium in collision for m = 0

System (6) is not well defined when (x3, y3) = (x4, y4), so we have to transform it into a new system that is well defined and analytic in a neighbourhood of (x3, y3) = (x4, y4). In this way, we first consider the following system of equations

G1 =F1+F2=0,  G2=F4+F5=0,  G3=F3,G4 =F2F1=0,  G5=F5F4=0,$$\begin{array}{} \displaystyle G_1 &= F_1 + F_2 = 0, \qquad G_2 = F_4 + F_5 = 0, \qquad G_3 = F_3, \nonumber \\ G_4 &= F_2 - F_1 = 0, \qquad G_5 = F_5 - F_4 =0, \end{array}$$

which is equivalent to system (6). The first three equations of (8) are analytic with respect to all its variables in a neighbourhood of (x3, y3) = (x4, y4) and m = 0. The last two equations of (8) are not analytic at these points because they contain the term

mr342=m(x3x4)2+(y3y4)2.$$\begin{array}{} \displaystyle \frac{m}{r_{34}^2} = \frac{m}{(x_3 - x_4)^2 + (y_3 - y_4)^2}. \end{array}$$

This term is well defined when m → 0 if (x3, y3) (x4, y4) = O(mβ) with β ≤ 1/2. Let be μ = m1/2, then making the change of variable (x4, y4) = (x3, y3) + μ(X4, Y4), we obtain a new system of equations, which is analytic in a neighbourhood of the point (x3, y3), μ = 0, and (X4, Y4) ≠ 0. The new system is given by

G1=2(x31)r232+2(x2+1)r132x3+(μ),G2=2y3r232+2y3r132y3+(μ),G3=2y3(1r2321r132)μ2+(μ),G4 =X42+X4(1+2x3x32+y32)+2(1+x3)y3Y4r234  +X4(1+2x3x32+y32)2(1+x3)y3Y4r134+2X4X42+y42,G5=Y42+Y4(1+2x3+x32y32)2(1+x3)y3X4r134  +Y4(1+2x3x32y32)+2(1x3)y3X4r234+2Y4X42+y42.$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {{G_1} = \frac{{2({x_3} - 1)}}{{r_{23}^2}} + \frac{{2({x_2} + 1)}}{{r_{13}^2}} - {x_3} + \partial (\mu ),} \hfill \\ {{G_2} = \frac{{2{y_3}}}{{r_{23}^2}} + \frac{{2{y_3}}}{{r_{13}^2}} - {y_3} + \partial (\mu ),} \hfill \\ {{G_3} = 2{y_3}(\frac{1}{{r_{23}^2}} - \frac{1}{{r_{13}^2}}){\mu ^2} + \partial ({\mu ^3}),} \hfill \\ {{G_4} = - \frac{{{X_4}}}{2} + \frac{{{X_4}( - 1 + 2{x_3} - x_3^2 + y_3^2) + 2(1 + {x_3}){y_3}{Y_4}}}{{r_{23}^4}}} \hfill \\ {\qquad \;\;\: + \frac{{{X_4}( - 1 + 2{x_3} - x_3^2 + y_3^2) - 2(1 + {x_3}){y_3}{Y_4}}}{{r_{13}^4}} + \frac{{2{X_4}}}{{X_4^2 + y_4^2}},} \hfill \\ {{G_5} = - \frac{{{Y_4}}}{2} + \frac{{{Y_4}( - 1 + 2{x_3} + x_3^2 - y_3^2) - 2(1 + {x_3}){y_3}{X_4}}}{{r_{13}^4}}} \hfill \\ {\qquad \;\;\: + \frac{{{Y_4}( - 1 + 2{x_3} - x_3^2 - y_3^2) + 2(1 - {x_3}){y_3}{X_4}}}{{r_{23}^4}} + \frac{{2{Y_4}}}{{X_4^2 + y_4^2}}.} \hfill \\ \end{array} \end{array}$$

Now we consider the following system of equations

G¯1=G1=0,  G¯2=G2=0,  G¯3=G3/μ2=0,G¯4=G4/μ=0,  G¯5=G5/μ=0,$$\begin{array}{} \displaystyle \overline{G}_1 = G_1 = 0, \qquad \overline{G}_2 = G_2 = 0, \qquad \overline{G}_3 = G_3/\mu^2 = 0, \nonumber \\ \overline{G}_4 = G_4/\mu = 0, \qquad \overline{G}_5 = G_5/\mu = 0, \end{array}$$

which is analytic with respect to all variables in a neighbourhood of (x3, y3) = (0,0) and (X4, Y4) ≠ 0.

First, we calculate the solutions of (9) with μ = 0. The solutions of the first three equations with x3, y3 ≥ 0 are (x3,y3)=(0,0),(0,3,5,0)$\begin{array}{} \displaystyle (x_3, y_3) = (0, 0), (0, \sqrt{3}, \sqrt{5}, 0) \end{array}$. As we have remarked at the beginning of this section, we are interested in solutions where the vortices form an equilateral triangle with two of the vortices fusing in a binary collision. Hence, we substitute the solution (x3,y3)=(0,3)$\begin{array}{} \displaystyle (x_3, y_3) = (0, \sqrt{3}) \end{array}$ into the last two equations of (3), so that the resulting system has the following four distinct real solutions:

sc1 =(0,3,0,4/3),  sc2=(0,3,0,4/3),sc3 =(0,3,4/3,0),  sc4=(0,3,4/3,0),$$\begin{array}{} \displaystyle \textbf{sc}_1 & = (0, \sqrt{3}, 0 ,4/3), \qquad \textbf{sc}_2 = (0, \sqrt{3}, 0 ,-4/3), \\ \textbf{sc}_3 & = (0, \sqrt{3}, 4/\sqrt{3}, 0), \qquad \textbf{sc}_4 = (0, \sqrt{3}, 4/\sqrt{3}, 0), \end{array}$$

the components of scj are (x3, y3,X4, Y4).

In the next step we use the Implicit Function Theorem to continue the solution of system (3) with μ = 0 to solutions with μ small and positive. Let be

D=|G¯1x3G¯1y3G¯1X4G¯1Y4G¯2x3G¯2y3G¯2X4G¯2Y4G¯4x3G¯4y3G¯4X4G¯4Y4G¯5x3G¯5y3G¯5X4G¯5Y4|,$$\begin{array}{} \displaystyle D = \left| {\begin{array}{*{20}{c}} {\frac{{\partial {{\bar G}_1}}}{{\partial {x_3}}}} & {\frac{{\partial {{\bar G}_1}}}{{\partial {y_3}}}} & {\frac{{\partial {{\bar G}_1}}}{{\partial {X_4}}}} & {\frac{{\partial {{\bar G}_1}}}{{\partial {Y_4}}}} \\ {\frac{{\partial {{\bar G}_2}}}{{\partial {x_3}}}} & {\frac{{\partial {{\bar G}_2}}}{{\partial {y_3}}}} & {\frac{{\partial {{\bar G}_2}}}{{\partial {X_4}}}} & {\frac{{\partial {{\bar G}_2}}}{{\partial {Y_4}}}} \\ {\frac{{\partial {{\bar G}_4}}}{{\partial {x_3}}}} & {\frac{{\partial {{\bar G}_4}}}{{\partial {y_3}}}} & {\frac{{\partial {{\bar G}_4}}}{{\partial {X_4}}}} & {\frac{{\partial {{\bar G}_4}}}{{\partial {Y_4}}}} \\ {\frac{{\partial {{\bar G}_5}}}{{\partial {x_3}}}} & {\frac{{\partial {{\bar G}_5}}}{{\partial {y_3}}}} & {\frac{{\partial {{\bar G}_5}}}{{\partial {X_4}}}} & {\frac{{\partial {{\bar G}_5}}}{{\partial {Y_4}}}} \\ \end{array}} \right| \end{array}$$

and s = (x3, y3, X4, Y4). Since the system of equations (9) is analytic with respect to all its variables in a neigh-bourhood of the points scj with j = 1, 2, 3, 4 and

D|μ=0,s=sc1 = 8164=D|μ=0,s=sc20,D|μ=0,s=sc3 = 2764=D|μ=0,s=sc40.$$\begin{array}{} \displaystyle D|_{\mu=0, \textbf{s}=\textbf{sc}_{1}} & = & -\frac{81}{64} = D|_{\mu=0, \textbf{s}=\textbf{sc}_{2}} \neq 0, \\ D|_{\mu=0, \textbf{s}=\textbf{sc}_{3}} & = & \frac{27}{64} = D|_{\mu=0, \textbf{s}=\textbf{sc}_{4}} \neq 0. \end{array}$$

By the Implicit Function Theorem, in a small neighbourhood U of μ = 0, we can find a unique analytic function (x3(μ), y3(μ),X4(μ), Y4(μ)), satisfying the following system o equations

G¯1=0,G¯2=0,G¯4=0,G¯5=0,$$\begin{array}{} \displaystyle \overline{G}_1 = 0, \; \overline{G}_2 = 0, \; \overline{G}_4 = 0, \; \overline{G}_5 = 0, \end{array}$$

and such that scj = (x3(0), y3(0),X4(0), Y4(0)) for all j = 1,2,3,4.

A solution s = s(μ) = (x3(μ), y3(μ),X4(μ), Y4(μ)) of equations (10) expressed as a Taylor series takes the form

x3(μ)=k=0x3kμk,  X4(μ)=k=0X4kμk,y3(μ)=k=0y3kμk,  Y4(μ)=k=0Y4kμk.$$\begin{array}{} \displaystyle \begin{array}{*{20}{c}} {{x_3}(\mu ) = \sum\limits_{k = 0}^\infty {{x_{3k}}} {\mu ^k},} \hfill & {{X_4}(\mu ) = \sum\limits_{k = 0}^\infty {{X_{4k}}} {\mu ^k},} \hfill \\ {{y_3}(\mu ) = \sum\limits_{k = 0}^\infty {{y_{3k}}} {\mu ^k},} \hfill & {{Y_4}(\mu ) = \sum\limits_{k = 0}^\infty {{Y_{4k}}} {\mu ^k}.} \hfill \\ \end{array} \end{array}$$

Expanding the equations G¯1,G¯2,G¯4$\begin{array}{} \displaystyle \overline{G}_1, \overline{G}_2, \overline{G}_4 \end{array}$ and G¯5$\begin{array}{} \displaystyle \overline{G}_5 \end{array}$ as a Taylor series around the point s = s(μ) with (x30, y30,X40, Y40) = scj, and truncating the solutions at order four in μ, yields the following results:

If sc1=(0,3,0,4/3)$\begin{array}{} \displaystyle \textbf{sc}_1 = (0, \sqrt{3}, 0, 4/3) \end{array}$ then

x3(μ) =0+O(μ4), X4(μ) =0+O(μ4),y3(μ) =323μ+68405μ3+O(μ4),  Y4(μ) =43136405μ2+O(μ4).$$\begin{array}{} \displaystyle x_3(\mu) &= 0 + \textit{O}(\mu^4), & X_4(\mu) & = 0 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} - \frac{2}{3} \mu + \frac{68}{405}\mu^3 + \textit{O}(\mu^4), & Y_4(\mu) & = \frac{4}{3} - \frac{136}{405}\mu^2 + \textit{O}(\mu^4). \end{array}$$

These values do not provide solutions of (6) with y3y4 and so we discard them.

If sc1=(0,3,0,4/3)$\begin{array}{} \displaystyle \textbf{sc}_1 = (0, \sqrt{3}, 0, -4/3) \end{array}$ then

x3(μ) =0+O(μ4),X4(μ) =0+O(μ4),y3(μ) =3+23μ68405μ3+O(μ4),Y4(μ) =43+136405μ2+O(μ4).$$\begin{array}{} \displaystyle x_3(\mu) &= 0 + \textit{O}(\mu^4), & X_4(\mu) & = 0 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} + \frac{2}{3} \mu - \frac{68}{405}\mu^3 + \textit{O}(\mu^4), & Y_4(\mu) & = -\frac{4}{3} + \frac{136}{405}\mu^2 + \textit{O}(\mu^4). \end{array}$$

After the following change of variables (x4, y4) = (x3, y3) + μ(X4, Y4) we obtain

x3(μ) =0+O(μ4),x4(μ) =0+O(μ4),y3(μ) =3+23μ+68405μ3+O(μ4),y4(μ) =323μ68405μ3+O(μ4),$$\begin{array}{} \displaystyle x_3(\mu) &= 0 + \textit{O}(\mu^4), & x_4(\mu) & = 0 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} + \frac{2}{3} \mu + \frac{68}{405}\mu^3 + \textit{O}(\mu^4), & y_4(\mu) & = \sqrt{3} - \frac{2}{3}\mu - \frac{68}{405}\mu^3 + \textit{O}(\mu^4), \end{array}$$

so x3 = x4 = 0 and y3y4, therefore, the new family is a concave kite (see Fig. 1).

Fig. 1

Graph of functions y3(m) (continuos line) and y4(m) (dashed line), for m > 0.

If sc1=(0,3,4/3,0)$\begin{array}{} \displaystyle \textbf{sc}_1 = (0, \sqrt{3}, 4/\sqrt{3}, 0) \end{array}$ we have

x3(μ) =23μ+433μ3+O(μ4),X4(μ) =43833μ2+O(μ4),y3(μ) =3+O(μ4),Y4(μ) =0+O(μ4).$$\begin{array}{} \displaystyle x_3(\mu) &= \frac{-2}{\sqrt{3}}\mu + \frac{4}{3\sqrt{3}}\mu^3 + \textit{O}(\mu^4), & X_4(\mu) & = \frac{4}{\sqrt{3}} - \frac{8}{3\sqrt{3}}\mu^2 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} + \textit{O}(\mu^4), & Y_4(\mu) & = 0 + \textit{O}(\mu^4). \end{array}$$

We discard this solution since it fails to satisfy the assumption that x3 ≥ 0.

If sc1=(0,3,4/3,0)$\begin{array}{} \displaystyle \textbf{sc}_1 = (0, \sqrt{3}, -4/\sqrt{3}, 0) \end{array}$ then

x3(μ) =23μ433μ3+O(μ4),X4(μ)=43+833μ2+O(μ4),y3(μ) =3+O(μ4),Y4(μ)=0+O(μ4).$$\begin{array}{} \displaystyle x_3(\mu) &= \frac{2}{\sqrt{3}}\mu - \frac{4}{3\sqrt{3}}\mu^3 + \textit{O}(\mu^4), & X_4(\mu) & = -\frac{4}{\sqrt{3}} + \frac{8}{3\sqrt{3}}\mu^2 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} + \textit{O}(\mu^4), & Y_4(\mu) & = 0 + \textit{O}(\mu^4). \end{array}$$

Making the change of variables (x4, y4) = (x3, y3) + μ(X4, Y4) yields

x3(μ) =23μ433μ3+O(μ4),x4(μ)=23μ+433μ3+O(μ4),y3(μ)=3+O(μ4),y4(μ)=3+O(μ4).$$\begin{array}{} \displaystyle x_3(\mu) &= \frac{2}{\sqrt{3}}\mu - \frac{4}{3\sqrt{3}}\mu^3 + \textit{O}(\mu^4), & x_4(\mu) & = -\frac{2}{\sqrt{3}}\mu + \frac{4}{3\sqrt{3}}\mu^3 + \textit{O}(\mu^4), \\ y_3(\mu) &= \sqrt{3} + \textit{O}(\mu^4), & y_4(\mu) & = \sqrt{3} + \textit{O}(\mu^4). \end{array}$$

We can observe that x3 = −x4, y3 = y4 and x3 ≥ 0 if m ∊ (0, 3/2), so the new family that emanates from the relative equilibrium in collision is an isosceles trapezoid (see Fig. 2).

Fig. 2

Graph of functions x3(m) (continuous line) and x4(m) (dashed line).

Summarizing, all non-collinear relative equilibria in binary collision with the small mass m = 0 having an equilateral triangle shape can be continued to a concave kite configuration or to an isosceles trapezoid. There are not more possibilities. With all the above, we have proved Theorem 1. □

eISSN:
2444-8656
Language:
English
Publication timeframe:
2 times per year
Journal Subjects:
Life Sciences, other, Mathematics, Applied Mathematics, General Mathematics, Physics