SearcharxivSearch

arXiv · 2203.12966

The criticality of reversible quadratic centers at the outer boundary of its period annulus

Abstract

This paper deals with the period function of the reversible quadratic centers \begin{equation*} X_{\np}=-y(1-x)\partial_x+(x+Dx^2+Fy^2)\partial_y, \end{equation*} where $\np=(D,F)\in\R^2.$ Compactifying the vector field to $\Sc^2$, the boundary of the period annulus has two connected components, the center itself and a polycycle. We call them the inner and outer boundary of the period annulus, respectively. We are interested in the bifurcation of critical periodic orbits from the polycycle $\out_\np$ at the outer boundary. A critical period is an isolated critical point of the period function. The criticality of the period function at the outer boundary is the maximal number of critical periodic orbits of $X_\np$ that tend to $\out_{\np_0}$ in the Hausdorff sense as $\np\to\np_0.$ This notion is akin to the cyclicity in Hilbert's 16th Problem. Our main result (Theorem A) shows that the criticality at the outer boundary is at most 2 for all $\np=(D,F)\in\R^2$ outside the segments $\{-1\}\times [0,1]$ and $\{0\}\times [0,2]$. With regard to the bifurcation from the inner boundary, Chicone and Jacobs proved in their seminal paper on the issue that the upper bound is 2 for all $\np\in\R^2.$ In this paper the techniques are different because, while the period function extends analytically to the center, it has no smooth extension to the polycycle. We show that the period function has an asymptotic expansion near the polycycle with the remainder being uniformly flat with respect to~$\np$ and where the principal part is given in a monomial scale containing a deformation of the logarithm. More precisely, Theorem~A follows by obtaining the asymptotic expansion to fourth order and computing its coefficients, which are not polynomial in~$\np$ but transcendental.

Explore related subjects

Keep this discovery

BibTeXRIS

David Marín, Jordi Villadelprat. 2022-03-24. The criticality of reversible quadratic centers at the outer boundary of its period annulus. https://arxiv.org/abs/2203.12966

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

KEEP EXPLORING

Related papers

On the log-concavity of the composite Bessel function $x^{\alpha}J_{\nu }\left( \beta x^{\gamma}\right) $

For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{\alpha,\beta,\gamma,\nu}\left( x\right) :=x^{\alpha}J_{\nu}\left( \beta x^{\gamma}\right) $ for positive numbers $\beta$ and $\gamma$ and real numbers $\alpha$ and $\nu.$

math.CA

Riesz capacity ratios with negative exponents

We investigate sharp inequalities for ratios of Riesz capacities with negative exponents by combining computational experiments with rigorous analysis. For finite subsets of the line, we prove positivity of equilibrium masses when $-1<p<0$, enabling numerical tests of conjectured extremal ratios. In the plane, comparisons of the disk with regular polygon vertex sets reveal a cascade of transitions among the tested competitors and suggest a precise conjecture for the equilibrium measure of odd polygons, for which we give a partial proof. Numerical intersections of equality curves show that the regions where these sets outperform the disk are not simply nested. Similar numerical intersections occur in three dimensions between the regular-simplex equality curve and those of explicit five-point and six-point configurations. Motivated by the dimensional dependence of these comparisons, we prove that for each fixed $p<-2<q<0$, the regular simplex has a larger capacity ratio than the ball in all sufficiently large dimensions. Accompanying Python and Mathematica code supports reproduction and further testing of the conjectures.

math.CA

Shorter proof of dimension-free $L^p$ estimates for maximal Riesz transforms

We provide a shorter and more direct proof of $L^p$ estimates for maximal Riesz transforms (of an arbitrary order) in terms of the corresponding Riesz transforms, with a constant independent of the dimension of the Euclidean space $\mathbb R^d$. This result was originally proved by Mateu, Orobitg, P\'erez and Verdera with a constant depending on the dimension, and improved to a dimension-free inequality by Kucharski, Wr\'obel and Zienkiewicz.

math.CA