5
$\begingroup$

It is well known that a holomorphic vector field $z'=f(z), z\in \mathbb{C}$ does not have any limit cycle.See the last paragraph of this post

Orbits space of real-analytic planar foliations

One can imagine several reason for this fact. For example: The flow map is a holomorphic map. So if the limit cycle is of period $T$ then $\phi_T$ admits an infinite number of fixed point hence it is identically equal to the identity map.

Now we ask the following question

Is there a holomorphic vector field $z'=f(z)$ on an open region of $\mathbb{C}$ which admit an attractor homoclinic loop?

$\endgroup$

2 Answers 2

2
$\begingroup$

The answer is 'no' for much the same reason that the OP indicates: the existence of a homoclinic or heteroclinic connection implies that neighboring trajectories are periodic.

First, one needs to have poles in $f$ if one wishes to have heteroclinic connections between (real) saddle singularities. Indeed if $f$ is holomorphic, then the stationnary points of the underlying real vector field are either centers, foci or multiple singularities locally conformally conjugate to $z'=\frac{z^{k+1}}{1+\mu z^k}$. None of these singularities can be part of a candidate limit (poly)cycle.

Next, consider the time-coordinate $$T(z)=\int_{z_*}^z \frac{dz}{f(z)}.$$ Real-time trajectories of the vector field correspond to level sets $\mathrm{Im}(T)=\textrm{cst}$. The presence of a (poly)cycle $\Gamma$ connecting poles of $f$ implies that $\int_\Gamma \frac{dz}{f(z)}=:\tau\in \mathbb{R}$ is the period of $\Gamma$.

Let $\gamma$ be a neighboring trajectory connecting a transverse section $\Sigma$ to itself "after making one turn". Without loss of generality one may choose $\Sigma$ as a small piece of $\mathrm{Re}(T)=\textrm{cst}$. Then there exists a small curve $\sigma\subset\Sigma$ such that the concatenation $\sigma\gamma$ is a closed loop. Cauchy's formula implies that $\int_{\sigma\gamma} \frac{dz}{f(z)}=\tau$. But only $\sigma$ contributes to the imaginary part of the integral, therefore $\sigma$ is just one point and $\gamma$ is closed.

$\endgroup$
13
  • $\begingroup$ Thank you very much for your answer to my question. $\endgroup$ Commented Apr 18, 2022 at 10:26
  • $\begingroup$ I have some comment.: What is a reference for "conformally equivanent to $z'=z^{k+1}/(1+\mu z^k)$ $\endgroup$ Commented Apr 18, 2022 at 10:27
  • $\begingroup$ Why the latter can not be the vertex of a homoclinic loop? or a part of polycycle? is there a complet classification of these singulaties? $\endgroup$ Commented Apr 18, 2022 at 10:28
  • $\begingroup$ How do you compute $\int_{\Gamma} dz/f(z)$ but the denominator vanish at vertex? $\endgroup$ Commented Apr 18, 2022 at 10:30
  • $\begingroup$ Observe that the integral I proposed is performed on a path linking poles of $f$, not zeroes. Hence it is (absolutely) convergent. $\endgroup$ Commented Apr 19, 2022 at 8:51
1
$\begingroup$

There is no any kind of, generally speaking, "Charactristic curve" for the vector field $z'=f(z)$ when $f$ is a holomorphic function. By charactristic curve I mean any kind of particular curve which is really rare!. Mathematically speaking: it is isolated in its neighborhood: there is no any thing similar to it, in its small neighborhood. For example a limit cycle, an attracor loop, a UINIQE hetroclinic or homoclinic connection, etc:

>Proof: observe that $[f,if]=0$ and $f$ and $if$ are independent vector fields \QED

Remark: The above 1-line proof can be accepted via the same argument as page 2 item 1 of my paper https://arxiv.org/abs/math/0507516 which says: an attracting limit cycle for a vector field $X$ is an invariant curve for any vector field $Y$ with $[X,Y]=0$. a common observation in investigation of limit cycles, isochronois centers, etc.

When I was asking this MO question I forgot the simple fact that $[f,if]=0$ when $f$ is a holomorphic function. I observed it imeddiate after my first meet with the concept "Lie bracket of vector fields" when I was a master student of the course "Differentiable manifold"(about 27 years ago). In that period I was not familliar with the concept limit cycle but it seems that "limit cycle" was in my inconscient.

Any way I lookforward to hear the answer to my commented questions to other existing answer to this question. a possible answer to my commented questions would help me to understand:

In the holomorphic setting, is it possible we have a familly of homoclinic loop $\gamma_t$ which homotopically vanish at the vertex of homoclinic loop? So this would be a contradiction to possible common belife that in the interior of a homoclinic loop we necessarilly have a singularity(of course different from the vertex).

$\endgroup$
8
  • $\begingroup$ As I said in my answer, a homoclinic connection cannot occur at a point where $f$ is holomorphic. If you allow poles of $f$, you cannot have such an accumulation, because through a pole only pass finitely many separatrices. If you consider essential singularities (say, $f:=\exp$), you can have such homoclinic loops that accumulate on the singularity (say, $\infty$). $\endgroup$ Commented Apr 25, 2022 at 12:07
  • $\begingroup$ Notice though that such isolated curves have «infinite period» (one end of the loop behaves like a saddle, needing a finite amount of time to reach, the other end behaves like a node, at infinite time). $\endgroup$ Commented Apr 25, 2022 at 12:08
  • $\begingroup$ See jstor.org/stable/2691391 $\endgroup$ Commented Apr 25, 2022 at 12:12
  • $\begingroup$ @LoïcTeyssier let $\gamma$ be periodic orbit according to Jordan curve theorem it has an interior so thats what I mean by interior $\endgroup$ Commented Apr 25, 2022 at 12:28
  • $\begingroup$ @LoïcTeyssier i think I explained the proof in my linked note of mine. But let me mention here: Assume $[X,Y]=0$ let $\phi_t, \psi_s$ be the corresponding flow of X,Y. Then $\phi_t \circ \psi_s=\psi_s\circ \phi_t$, namely the twon flows commute. This means that every solution curve of X is maped to another solution curve of X via the flow $\psi_t$ of Y $\endgroup$ Commented Apr 25, 2022 at 12:32

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .