arXiv ScienceSearch

arXiv · 2510.02770

On entry-exit formulas for degenerate turning point problems in planar slow-fast systems

Abstract

In this paper, we study degenerate entry-exit problems associated with planar slow-fast systems having an invariant line $\{(x,y)\,:\,y=0\}$ with a turning point at $x=0$. The degeneracy stems from the fact that the slow flow has a saddle-node of even order $2n$, $n\in \mathbb N$, at the turning point, i.e. $x' = -x^{2n}(1+o(1))$ for $ε=0$. We are motivated by the appearance of such turning point problems (for $n=1$) in the graphics $(I_2^1)$ and $(I_4^1)$, through a nilpotent saddle-node singularity at infinity, in the Dumortier-Roussarie-Rousseau program (for solving the finiteness part of Hilbert's 16th problem for quadratic polynomial systems). Our results show, under additional hypothesis, that in the case $n=1$ there is a well-defined entry-exit relation for $ε\rightarrow 0$. The associated Dulac map is smooth w.r.t. $(ε,ε\log ε^{-1})$. On the other hand for the cases $n\ge 2$, we show that the entry-exit relation requires additional control parameters. Our approach follows the one used by De Maesschalck, P. and Schecter, S. (JDE 2016) for a different type of degenerate entry-exit problem. In particular, we apply blow-up {after} having first performed a singular coordinate transformation of $y$. The degeneracy at $x=0$ requires an additional blow-up. We finally apply the result for $n=1$ to a normal form for the unfolding of the \NEW{relevant} graphics in the Dumortier-Roussarie-Rousseau program. Here we also demonstrate that the singular transformation of $y$ due to De Maesschalck, P. and Schecter, S. (JDE 2016) has practical significance in numerical computations.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Renato Huzak, Kristian Uldall Kristiansen. 2025-10-03. On entry-exit formulas for degenerate turning point problems in planar slow-fast systems. https://arxiv.org/abs/2510.02770

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Equidistribution of saddle periodic points for Hénon-like maps

We prove that under a natural assumption on the dynamical degrees, the saddle periodic points of a Hénon-like map in any dimension equidistribute with respect to the equilibrium measure. Our work is a generalization of the results of Bedford-Lyubich-Smillie, Dujardin, and Dinh-Sibony along with improvements of their techniques. We also investigate some fine properties of Green currents associated with the map.

math.DS

On dissonance and orthogonal projections of self-conformal measures

Let $μ$ be a self-conformal measure on $\mathbb{R}^d$. We establish conditions for $μ$ under which $\dim(μ*ν) = \min\lbrace d,\dimμ+\dimν\rbrace$ holds when $ν$ is any Ahlfors-regular or self-conformal measure on $\mathbb{R}^d$. Our main result states the following sufficient condition: $μ$ is totally non-linear and not supported on a smooth hypersurface. We also establish sufficient (likely non-sharp) algebraic conditions for self-conformal measures which are not totally non-linear. In addition, we show that $\dim μ\circπ^{-1} = \min\{ k, \dim μ\}$ for every ortohogonal projection $π:\mathbb{R}^d\to\mathbb{R}^k$, $0<k<d$, when either $d=2$ and $μ$ is not self-similar and not supported on a line, or $d\geq 3$ and $μ$ is totally non-linear and not supported on a smooth hypersurface.

math.DS

Equation-Free Screening of Mittag-Leffler-Compatible Dynamics from Scalar Time Series via kNN Multi-Horizon Profiles

Fractional models provide a natural description of systems with memory, but a noninteger derivative should not be introduced solely because a time series is curved or slowly relaxing. We develop an equation-free preliminary screening framework that asks whether a scalar time series produces a multi-horizon k-nearest-neighbor (kNN) profile more compatible with Mittag-Leffler-type behavior than with selected conventional alternatives. In an ideal matched Caputo-relaxation benchmark, the complete generation-kNN-profile-model-comparison pipeline reproduces the expected Mittag-Leffler geometry and recovers the generating order to within approximately $10^{-3}$; this is interpreted as controlled calibration rather than as general fractional-order identification. Under 3% trajectory-specific observational noise, the held-out Mittag-Leffler preference is most consistent when the generating dynamics are well separated from the integer-order limit and becomes progressively less decisive as $α\rightarrow1$. The fitted order $α_{\mathrm{fit}}$, however, shows substantially larger realization-to-realization variability. Thus, relative model compatibility is more robust than single-realization order estimation in the present noisy benchmark. Noise-free nonfractional controls show a separate limitation of specificity: a stretched exponential can generate a strongly Mittag-Leffler-compatible profile, whereas inclusion of the generating rational/Hill family recovers that family and its parameters to numerical precision in the matched setting. A positive Mittag-Leffler-versus-exponential screen therefore does not uniquely establish fractional origin. A fractional chaotic system is treated only as an exploratory extension: the Mittag-Leffler growth family gives lower finite-window RMSE than exponential and logistic/saturating alternatives over the detected pre-transition interval.

math.DS