Separatrix configurations in holomorphic flows

We investigate properties of boundary orbits (separatrices) of canonical regions (basins/neighbourhoods of equilibria) in holomorphic flows with real-valued time. We establish the continuity of transit times along these boundary orbits and classify possible path components of the boundary of flow-invariant domains. Thus, we provide central tools for topological and geometric constructions aimed at examining the role of blow-up scenarios in separatrix configurations of basins of simple equilibria and global elliptic sectors: First, we prove that the separatrices of basins of centers is entirely composed of double-sided separatrices with a blow-up in finite positive and finite negative time. Second, we show that the separatrices of node and focus basins (sinks and sources) exhibit a finite-time blow-up in the same time direction in which the orbits within the basin tend towards the equilibrium. Additionally, we propose a counterexample to the claim in Theorem 4.3 (3) in [“The structure of sectors of zeros of entire flows”, K. Broughan (2003)], demonstrating that a blow-up does not necessarily have to occur in both time directions. Third, we describe the boundary structure of global elliptic sectors. It consists of the multiple equilibrium, one incoming and one outgoing separatrix attached to it, and at most countably many double-sided separatrices.

💡 Research Summary

The paper studies the geometry and temporal behavior of boundary orbits—called separatrices—of canonical regions (basins or neighborhoods of equilibria) for holomorphic flows on the complex plane with real‑time parameter. A holomorphic vector field (F) defines the differential equation (\dot x = F(x)) with (F) entire and non‑trivial. The authors first introduce the notion of transit time: for an orbit (\Gamma) the total length of its maximal interval of existence, and for two points (a,b\in\Gamma) the time needed to travel from (a) to (b).

A central technical result (Proposition 3.4) proves that transit times vary continuously along the boundary of any flow‑invariant domain. In concrete terms, if two points on a boundary orbit are fixed and an (\varepsilon>0) is prescribed, one can choose a small neighbourhood radius (\delta) such that any interior orbit intersecting the (\delta)‑balls around those points has a transit time differing from the original one by less than (\varepsilon). This continuity bridges the parametrization of boundary orbits with that of interior orbits and is the key tool for the subsequent classification.

Proposition 3.5 classifies the possible path components of the boundary (\partial M) of a flow‑invariant domain (M) (assuming all boundary orbits are unbounded). Each component falls into exactly one of four types: (i) a single orbit, (ii) a single equilibrium, (iii) an equilibrium together with one attached orbit, or (iv) an equilibrium together with two attached orbits. Moreover, the total number of such components is at most countable. The proof uses the discreteness of the zero set of an entire function, the Jordan curve theorem, and a separability argument for (\mathbb{C}).

With these tools the authors analyse three families of canonical regions.

1. Centers – Theorem 4.8 shows that the boundary of a basin of a center consists exclusively of double‑sided separatrices, i.e., orbits whose maximal interval of existence is finite in both forward and backward time. Each such separatrix blows up in finite positive and negative time, and its total transit time does not exceed the period of the surrounding closed orbits. Consequently, the boundary is a countable collection of such double‑sided separatrices.

2. Nodes and Foci – Theorem 4.12 proves that for attracting equilibria (sinks) the boundary separatrices blow up only in forward time, while for repelling equilibria (sources) they blow up only in backward time. Thus the direction of finite‑time blow‑up matches the stability direction of the interior flow. This contradicts a claim made by Broughan (2003) that every boundary orbit must blow up in both time directions.

3. Global Elliptic Sectors – Theorem 4.17 describes the boundary of a global elliptic sector. It contains a multiple equilibrium, one incoming separatrix (finite backward‑time blow‑up) and one outgoing separatrix (finite forward‑time blow‑up). In addition, there may be at most countably many double‑sided separatrices attached to the multiple equilibrium.

To demonstrate that Broughan’s claim is false, the authors construct a concrete counterexample (Example 4.13) using an explicit entire function (e.g., (F(z)=e^{z})). The example yields a node whose boundary separatrix blows up only in the forward direction, showing that the “both‑sides blow‑up” property is not universal.

The methodology combines complex analysis (Cauchy’s integral theorem, Jordan curve theorem) with dynamical‑systems concepts (invariant domains, limit sets). The continuity of transit times is proved by constructing a thin tubular neighbourhood around a boundary curve piece, estimating integrals of (1/F) along perturbed paths, and using the positivity of (|F|) away from its zero set. The countability argument relies on the fact that each type‑(i) component separates the plane into two open regions, and distinct components give rise to disjoint open sets, which can only be countably many in a separable space.

Overall, the paper provides a rigorous, unified framework for understanding separatrix configurations in holomorphic planar flows. It clarifies which geometric configurations are possible, how they depend on the type of equilibrium, and corrects a previously published misconception. The results lay a solid foundation for further investigations in complex dynamical systems, such as extensions to higher‑dimensional complex manifolds, the study of essential singularities, or the interplay between separatrix geometry and global bifurcation phenomena.