-
Nilpotence of Orbits under Monodromy and the Length of Melnikov Functions
Authors:
Pavao Mardešić,
Dmitry Novikov,
Laura Ortiz-Bobadilla,
Jessie Pontigo-Herrera
Abstract:
Let $F\in\mathbb{C}[x,y]$ be a polynomial, $γ(z)\in π_1(F^{-1}(z))$ a non-trivial cycle in a generic fiber of $F$ and let $ω$ be a polynomial $1$-form, thus defining a polynomial deformation $dF+εω=0$ of the integrable foliation given by $F$.
We study different invariants: the orbit depth $k$, the nilpotence class}$n$, the derivative length}$d$ associated with the couple $(F,γ)$. These invariant…
▽ More
Let $F\in\mathbb{C}[x,y]$ be a polynomial, $γ(z)\in π_1(F^{-1}(z))$ a non-trivial cycle in a generic fiber of $F$ and let $ω$ be a polynomial $1$-form, thus defining a polynomial deformation $dF+εω=0$ of the integrable foliation given by $F$.
We study different invariants: the orbit depth $k$, the nilpotence class}$n$, the derivative length}$d$ associated with the couple $(F,γ)$. These invariants bound the length $\ell$ of the first nonzero Melnikov function of the deformation $dF+εω$ along $γ$.
We study in detail a simple example of a polynomial $F$ given as product of four lines. We show how these invariants vary depending on the relative position of the four lines and relate it also to the length of the corresponding Godbillon-Vey sequence. We formulate a conjecture motivated by the study of this example.
△ Less
Submitted 10 January, 2024;
originally announced January 2024.
-
Infinitesimal and tangential 16-th Hilbert problem on zero-cycles
Authors:
J. L. Bravo,
P. Mardesic,
D. Novikov,
J. Pontigo-Herrera
Abstract:
In this paper, given two polynomials $f$ and $g$ of one variable and a $0$-cycle $C$ of $f$, we consider the deformation $f+εg$. We define two functions: the displacement function $Δ(t,ε)$ and its first order approximation: the abelian integral $M_1(t)$. The infinitesimal and tangential 16-th Hilbert problem for zero-cycles are problems of counting isolated regular zeros of $Δ(t,ε)$, for $ε$ small…
▽ More
In this paper, given two polynomials $f$ and $g$ of one variable and a $0$-cycle $C$ of $f$, we consider the deformation $f+εg$. We define two functions: the displacement function $Δ(t,ε)$ and its first order approximation: the abelian integral $M_1(t)$. The infinitesimal and tangential 16-th Hilbert problem for zero-cycles are problems of counting isolated regular zeros of $Δ(t,ε)$, for $ε$ small, or of $M_1(t)$, respectively. We show that the two problems are not equivalent and find optimal bounds, in function of the degrees of $f$ and $g$, for the infinitesimal and tangential 16-th Hilbert problem on zero-cycles. These two problems are the zero-dimensional analogue of the classical infinitesimal and tangential 16-th Hilbert problems for vector fields in the plane.
△ Less
Submitted 5 December, 2023;
originally announced December 2023.
-
Reading multiplicity in unfoldings from epsilon-neighborhoods of orbits
Authors:
Renato Huzak,
Pavao Mardešić,
Maja Resman,
Vesna Županović
Abstract:
We consider generic 1-parameter unfoldings of parabolic vector fields. It is known that the box dimension of orbits of their time-one maps is discontinuous at the bifurcation value. Here, we expand asymptotically the Lebesgue measure of the epsilon-neighborhoods of orbits of the time-one maps in a Chebyshev scale, uniformly with respect to the bifurcation parameter. We use the so-called Ecalle-Rou…
▽ More
We consider generic 1-parameter unfoldings of parabolic vector fields. It is known that the box dimension of orbits of their time-one maps is discontinuous at the bifurcation value. Here, we expand asymptotically the Lebesgue measure of the epsilon-neighborhoods of orbits of the time-one maps in a Chebyshev scale, uniformly with respect to the bifurcation parameter. We use the so-called Ecalle-Roussarie-type compensators. We read from the expansion the number of hyperbolic points born in the unfolding of the parabolic point (i.e. the codimension of the bifurcation).
△ Less
Submitted 16 April, 2023;
originally announced April 2023.
-
Reply to the comment on the letter "Geometric Origin of the Tennis Racket Effect"
Authors:
P. Mardesic,
G. J. Gutierrez Guillen,
D. Sugny
Abstract:
The author of the comment~[arXiv:2302.04190] criticizes our published results in Phys. Rev. Lett. \textbf{125}, 064301 (2020) about the Tennis Racket Effect (TRE). The TRE is a geometric effect which occurs in the free rotation of any asymmetric rigid body. We explain why the criticism of this comment is not valid.
The author of the comment~[arXiv:2302.04190] criticizes our published results in Phys. Rev. Lett. \textbf{125}, 064301 (2020) about the Tennis Racket Effect (TRE). The TRE is a geometric effect which occurs in the free rotation of any asymmetric rigid body. We explain why the criticism of this comment is not valid.
△ Less
Submitted 27 March, 2023;
originally announced March 2023.
-
Signatures of physical constraints in rotating rigid bodies
Authors:
G. J. Gutierrez Guillen,
E. Aldo Arroyo,
P. Mardesic,
D. Sugny
Abstract:
We study signatures of physical constraints on free rotations of rigid bodies. We show analytically that the physical or non-physical nature of the moments of inertia of a system can be detected by qualitative changes both in the Montgomery Phase and in the Tennis Racket Effect.
We study signatures of physical constraints on free rotations of rigid bodies. We show analytically that the physical or non-physical nature of the moments of inertia of a system can be detected by qualitative changes both in the Montgomery Phase and in the Tennis Racket Effect.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
-
Hamiltonian Monodromy via spectral Lax pairs
Authors:
G. J. Gutierrez Guillen,
D. Sugny,
P. Mardesic
Abstract:
Hamiltonian Monodromy is the simplest topological obstruction to the existence of global action-angle coordinates in a completely integrable system. We show that this property can be studied in a neighborhood of a focus-focus singularity by a spectral Lax pair approach. From the Lax pair, we derive a Riemann surface which allows us to compute in a straightforward way the corresponding Monodromy ma…
▽ More
Hamiltonian Monodromy is the simplest topological obstruction to the existence of global action-angle coordinates in a completely integrable system. We show that this property can be studied in a neighborhood of a focus-focus singularity by a spectral Lax pair approach. From the Lax pair, we derive a Riemann surface which allows us to compute in a straightforward way the corresponding Monodromy matrix. The general results are applied to the Jaynes-Cummings model and the spherical pendulum.
△ Less
Submitted 31 December, 2021;
originally announced December 2021.
-
Reading analytic invariants of parabolic diffeomorphisms from their orbits
Authors:
Martin Klimes,
Pavao Mardesic,
Goran Radunovic,
Maja Resman
Abstract:
In this paper we study germs of diffeomorphisms in the complex plane. We address the following problem: How to read a diffeomorphism $f$ knowing one of its orbits $\mathbb{A}$?
We solve this problem for parabolic germs. This is done by associating to the orbit ${\mathbb{A}}$ a function that we call the dynamic theta function $Θ_{\mathbb{A}}$. We prove that the function $Θ_{\mathbb{A}}$ is…
▽ More
In this paper we study germs of diffeomorphisms in the complex plane. We address the following problem: How to read a diffeomorphism $f$ knowing one of its orbits $\mathbb{A}$?
We solve this problem for parabolic germs. This is done by associating to the orbit ${\mathbb{A}}$ a function that we call the dynamic theta function $Θ_{\mathbb{A}}$. We prove that the function $Θ_{\mathbb{A}}$ is $2πi\mathbb{Z}$-resurgent. We show that one can obtain the sectorial Fatou coordinate as a Laplace-type integral transform of the function $Θ_{\mathbb{A}}$. This enables one to read the analytic invariants of a diffeomorphism from the theta function of one of its orbits.
We also define a closely related fractal theta function $\tildeΘ_{\mathbb{A}}$, which is inspired by and generalizes the geometric zeta function of a fractal string, and show that it also encodes the analytic invariants of the diffeomorphism.
△ Less
Submitted 25 June, 2022; v1 submitted 28 December, 2021;
originally announced December 2021.
-
Fractal zeta functions of orbits of parabolic diffeomorphisms
Authors:
Pavao Mardešić,
Goran Radunović,
Maja Resman
Abstract:
In this paper, we prove that fractal zeta functions of orbits of parabolic germs of diffeomorphisms can be meromorphically extended to the whole complex plane. We describe their set of poles (i.e. their complex dimensions) and their principal parts which can be understood as their fractal footprint. We study the fractal footprint of one orbit of a parabolic germ f and extract intrinsic information…
▽ More
In this paper, we prove that fractal zeta functions of orbits of parabolic germs of diffeomorphisms can be meromorphically extended to the whole complex plane. We describe their set of poles (i.e. their complex dimensions) and their principal parts which can be understood as their fractal footprint. We study the fractal footprint of one orbit of a parabolic germ f and extract intrinsic information about the germ f from it, in particular, its formal class. Moreover, we relate complex dimensions to the generalized asymptotic expansion of the tube function of orbits with oscillatory "coefficients" as well as to the asymptotic expansion of their dynamically regularized tube function. Interestingly, parabolic orbits provide a first example of sets that have nontrivial Minkowski (or box) dimension and their tube function possesses higher order oscillatory terms, however, they do not posses non-real complex dimensions and are therefore not called fractal in the sense of Lapidus.
△ Less
Submitted 8 August, 2022; v1 submitted 12 October, 2020;
originally announced October 2020.
-
Infinitesimal Center Problem on zero cycles and the composition conjecture
Authors:
A. Álvarez,
J. L. Bravo,
C. Christopher,
P. Mardešić
Abstract:
We study the analogue of the classical infinitesimal center problem in the plane, but for zero cycles. We define the displacement function in this context and prove that it is identically zero if and only if the deformation has a composition factor. That is, we prove that here the composition conjecture is true, in contrast with the tangential center problem on zero cycles. Finally, we give exampl…
▽ More
We study the analogue of the classical infinitesimal center problem in the plane, but for zero cycles. We define the displacement function in this context and prove that it is identically zero if and only if the deformation has a composition factor. That is, we prove that here the composition conjecture is true, in contrast with the tangential center problem on zero cycles. Finally, we give examples of applications of our results.
△ Less
Submitted 13 June, 2020;
originally announced June 2020.
-
Geometric Origin of the Tennis Racket Effect
Authors:
P. Mardesic,
L. Van Damme,
G. J. Gutierrez Guillen,
D. Sugny
Abstract:
The tennis racket effect is a geometric phenomenon which occurs in a free rotation of a three-dimensional rigid body. In a complex phase space, we show that this effect originates from a pole of a Riemann surface and can be viewed as a result of the Picard-Lefschetz formula. We prove that a perfect twist of the racket is achieved in the limit of an ideal asymmetric object. We give upper and lower…
▽ More
The tennis racket effect is a geometric phenomenon which occurs in a free rotation of a three-dimensional rigid body. In a complex phase space, we show that this effect originates from a pole of a Riemann surface and can be viewed as a result of the Picard-Lefschetz formula. We prove that a perfect twist of the racket is achieved in the limit of an ideal asymmetric object. We give upper and lower bounds to the twist defect for any rigid body, which reveals the robustness of the effect. A similar approach describes the Dzhanibekov effect in which a wing nut, spinning around its central axis, suddenly makes a half-turn flip around a perpendicular axis and the Monster flip, an almost impossible skate board trick.
△ Less
Submitted 8 August, 2020; v1 submitted 24 March, 2020;
originally announced March 2020.
-
Realization of analytic moduli for parabolic Dulac germs
Authors:
Pavao Mardešić,
Maja Resman
Abstract:
In a previous paper we have determined analytic invariants, that is, moduli of analytic classification, for parabolic generalized Dulac germs. This class contains parabolic Dulac (almost regular) germs, that appear as first return maps of hyperbolic polycycles. Here we solve the problem of realization of these moduli.
In a previous paper we have determined analytic invariants, that is, moduli of analytic classification, for parabolic generalized Dulac germs. This class contains parabolic Dulac (almost regular) germs, that appear as first return maps of hyperbolic polycycles. Here we solve the problem of realization of these moduli.
△ Less
Submitted 5 October, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Analytic moduli for parabolic Dulac germs
Authors:
Pavao Mardešić,
Maja Resman
Abstract:
In this paper we give moduli of analytic classification for parabolic Dulac i.e. almost regular germs. Dulac germs appear as first return maps of hyperbolic polycycles. Their moduli are given by a sequence of Ecalle-Voronin-like germs of analytic diffeomorphisms. We state the result in a bigger class of parabolic generalized Dulac germs having power-logarithmic asymptotic expansions.
In this paper we give moduli of analytic classification for parabolic Dulac i.e. almost regular germs. Dulac germs appear as first return maps of hyperbolic polycycles. Their moduli are given by a sequence of Ecalle-Voronin-like germs of analytic diffeomorphisms. We state the result in a bigger class of parabolic generalized Dulac germs having power-logarithmic asymptotic expansions.
△ Less
Submitted 14 July, 2020; v1 submitted 14 October, 2019;
originally announced October 2019.
-
Infinite Orbit depth and length of Melnikov functions
Authors:
Pavao Mardesic,
Dmitry Novikov,
Laura Ortiz-Bobadilla,
Jessie Pontigo-Herrera
Abstract:
In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+εω=0$. The first nonzero Melnikov function $M_μ=M_μ(F,γ,ω)$ of the
Poincaré map along a loop $γ$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_μ$ by a geometric number $k=k(F,γ)$ which we call orbit…
▽ More
In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+εω=0$. The first nonzero Melnikov function $M_μ=M_μ(F,γ,ω)$ of the
Poincaré map along a loop $γ$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_μ$ by a geometric number $k=k(F,γ)$ which we call orbit depth. We conjectured that the bound is optimal. Here, we give a simple example of a Hamiltonian system $F$ and its orbit $γ$ having infinite orbit depth. If our conjecture is true, for this example there should exist deformations $dF+εω$ with arbitrary high length first nonzero Melnikov function $M_μ$ along $γ$. We construct deformations $dF+εω=0$ whose first nonzero Melnikov function $M_μ$ is of length three and explain the difficulties in constructing deformations having high length first nonzero Melnikov functions $M_μ$.
△ Less
Submitted 22 July, 2019;
originally announced July 2019.
-
Godbillon-Vey sequence and Francoise algorithm
Authors:
Pavao Mardesic,
Dmitry Novikov,
Laura Ortiz-Bobadilla,
Jessie Pontigo-Herrera
Abstract:
We consider foliations given by deformations $dF+εω$ of exact forms $dF$ in $\mathbb{C}^2$ in a neighborhood of a family of cycles $γ(t)\subset F^{-1}(t)$.
In 1996 Francoise gave an algorithm for calculating the first nonzero term of the displacement function $Δ$ along $γ$ of such deformations. This algorithm recalls the well-known Godbillon-Vey sequences discovered in 1971 for investigation int…
▽ More
We consider foliations given by deformations $dF+εω$ of exact forms $dF$ in $\mathbb{C}^2$ in a neighborhood of a family of cycles $γ(t)\subset F^{-1}(t)$.
In 1996 Francoise gave an algorithm for calculating the first nonzero term of the displacement function $Δ$ along $γ$ of such deformations. This algorithm recalls the well-known Godbillon-Vey sequences discovered in 1971 for investigation integrability of a form $ω$. In this paper, we establish the correspondence between the two approaches and translate some results by Casale relating types of integrability for finite Godbillon-Vey sequences to the Francoise algorithm settings.
△ Less
Submitted 26 January, 2019;
originally announced January 2019.
-
Classical and quantum rotation numbers of asymmetric top molecules
Authors:
K. Hamraoui,
L. Van Damme,
P. Mardesic,
D. Sugny
Abstract:
We study the classical and quantum rotation numbers of the free rotation of asymmetric top molecules. We show numerically that the quantum rotation number converges to its classical analog in the semi-classical limit. Different asymmetric molecules such as the water molecule are taken as illustrative example. A simple approximation of the classical rotation number is derived in a neighborhood of t…
▽ More
We study the classical and quantum rotation numbers of the free rotation of asymmetric top molecules. We show numerically that the quantum rotation number converges to its classical analog in the semi-classical limit. Different asymmetric molecules such as the water molecule are taken as illustrative example. A simple approximation of the classical rotation number is derived in a neighborhood of the separatrix connecting the two unstable fixed points of the system. Furthermore, a signature of the classical tennis racket effect in the spectrum of asymmetric molecules is identified.
△ Less
Submitted 20 March, 2018;
originally announced March 2018.
-
The Fatou coordinate for parabolic Dulac germs
Authors:
Pavao Mardesic,
Maja Resman,
Jean-Philippe Rolin,
Vesna Zupanovic
Abstract:
We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale.
We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale.
△ Less
Submitted 13 July, 2018; v1 submitted 2 October, 2017;
originally announced October 2017.
-
Linking the rotation of a rigid body to the Schrödinger equation: The quantum tennis racket effect and beyond
Authors:
L. Van Damme,
D. Leiner,
P. Mardesic,
S. J. Glaser,
D. Sugny
Abstract:
The design of efficient and robust pulse sequences is a fundamental requirement in quantum control. Numerical methods can be used for this purpose, but with relatively little insight into the control mechanism. Here, we show that the free rotation of a classical rigid body plays a fundamental role in the control of two-level quantum systems by means of external electromagnetic pulses. For a state…
▽ More
The design of efficient and robust pulse sequences is a fundamental requirement in quantum control. Numerical methods can be used for this purpose, but with relatively little insight into the control mechanism. Here, we show that the free rotation of a classical rigid body plays a fundamental role in the control of two-level quantum systems by means of external electromagnetic pulses. For a state to state transfer, we derive a family of control fields depending upon two free parameters, which allow us to adjust the efficiency, the time and the robustness of the control process. As an illustrative example, we consider the quantum analog of the tennis racket effect, which is a geometric property of any classical rigid body. This effect is demonstrated experimentally for the control of a spin 1/2 particle by using techniques of Nuclear Magnetic Resonance. We also show that the dynamics of a rigid body can be used to implement one-qubit quantum gates. In particular, non-adiabatic geometric quantum phase gates can be realized based on the Montgomery phase of a rigid body. The robustness issue of the gates is discussed.
△ Less
Submitted 26 June, 2017;
originally announced June 2017.
-
Bounding the length of iterated integrals of the first nonzero Melnikov function
Authors:
Pavao Mardesic,
Dmitry Novikov,
Laura Ortiz-Bobadilla,
Jessie Pontigo-Herrera
Abstract:
We consider small polynomial deformations of integrable systems of the form $dF=0$, $F\in\mathbb{C}[x,y]$ and the first nonzero term $M_μ$ of the displacement function $Δ(t,ε)=\sum_{i=μ}M_i(t)ε^i$ along a cycle $γ(t)\in F^{-1}(t)$. It is known that $M_μ$ is an iterated integral of length at most $μ$. The bound $μ$ depends on the deformation of $dF$.
In this paper we give a universal bound for th…
▽ More
We consider small polynomial deformations of integrable systems of the form $dF=0$, $F\in\mathbb{C}[x,y]$ and the first nonzero term $M_μ$ of the displacement function $Δ(t,ε)=\sum_{i=μ}M_i(t)ε^i$ along a cycle $γ(t)\in F^{-1}(t)$. It is known that $M_μ$ is an iterated integral of length at most $μ$. The bound $μ$ depends on the deformation of $dF$.
In this paper we give a universal bound for the length of the iterated integral expressing the first nonzero term $M_μ$ depending only on the topology of the unperturbed system $dF=0$. The result generalizes the result of Gavrilov and Iliev providing a sufficient condition for $M_μ$ to be given by an abelian integral i.e. by an iterated integral of length $1$. We conjecture that our bound is optimal.
△ Less
Submitted 10 March, 2017;
originally announced March 2017.
-
Rotation Forms and Local Hamiltonian Monodromy
Authors:
K. Efstathiou,
A. Giacobbe,
P. Mardešić,
D. Sugny
Abstract:
The monodromy of torus bundles associated to completely integrable systems can be computed using geometric techniques (constructing homology cycles) or analytic arguments (computing discontinuities of abelian integrals). In this article we give a general approach to the computation of monodromy that resembles the analytical one, reducing the problem to the computation of residues of polar 1-forms.…
▽ More
The monodromy of torus bundles associated to completely integrable systems can be computed using geometric techniques (constructing homology cycles) or analytic arguments (computing discontinuities of abelian integrals). In this article we give a general approach to the computation of monodromy that resembles the analytical one, reducing the problem to the computation of residues of polar 1-forms. We apply our technique to three celebrated examples of systems with monodromy (the champagne bottle, the spherical pendulum, the hydrogen atom) and to the case of non degenerate focus-focus singularities, re-obtaining the classical results. An advantage of this approach is that the residue-like formula can be shown to be local in a neighborhood of a singularity, hence allowing the definition of monodromy also in the case of non-compact fibers. This idea has been introduced in the literature under the name of scattering monodromy. We prove the coincidence of the two definitions with the monodromy of an appropriately chosen compactification.
△ Less
Submitted 25 January, 2017; v1 submitted 4 August, 2016;
originally announced August 2016.
-
The tennis racket effect in a three-dimensional rigid body
Authors:
L. Van Damme,
P. Mardesic,
D. Sugny
Abstract:
We propose a complete theoretical description of the tennis racket effect, which occurs in the free rotation of a three-dimensional rigid body. This effect is characterized by a flip ($π$- rotation) of the head of the racket when a full ($2π$) rotation around the unstable inertia axis is considered. We describe the asymptotics of the phenomenon and conclude about the robustness of this effect with…
▽ More
We propose a complete theoretical description of the tennis racket effect, which occurs in the free rotation of a three-dimensional rigid body. This effect is characterized by a flip ($π$- rotation) of the head of the racket when a full ($2π$) rotation around the unstable inertia axis is considered. We describe the asymptotics of the phenomenon and conclude about the robustness of this effect with respect to the values of the moments of inertia and the initial conditions of the dynamics. This shows the generality of this geometric property which can be found in a variety of rigid bodies. A simple analytical formula is derived to estimate the twisting effect in the general case. Different examples are discussed.
△ Less
Submitted 27 June, 2016;
originally announced June 2016.
-
Length of epsilon-neighborhoods of orbits of Dulac maps
Authors:
P. Mardesic,
M. Resman,
J. -P. Rolin,
V. Zupanovic
Abstract:
By Dulac maps we mean first return maps of hyperbolic polycycles of analytic planar vector fields. We study the fractal properties of the orbits of a parabolic Dulac map. To this end, we prove that it admits a Fatou coordinate with an asympotic expansion in terms of power-iterated logarithm transseries. This allows to introduce a new notion, the \emph{continuous time length of $\varepsilon$-neighb…
▽ More
By Dulac maps we mean first return maps of hyperbolic polycycles of analytic planar vector fields. We study the fractal properties of the orbits of a parabolic Dulac map. To this end, we prove that it admits a Fatou coordinate with an asympotic expansion in terms of power-iterated logarithm transseries. This allows to introduce a new notion, the \emph{continuous time length of $\varepsilon$-neighborhoods of orbits}, and to prove that this function of $\varepsilon$ admits an asymptotic expansion in the same scale. We show that, under some hypotheses, this expansion determines the class of formal conjugacy of the Dulac map.
△ Less
Submitted 30 April, 2018; v1 submitted 8 June, 2016;
originally announced June 2016.
-
Formal normal forms and formal embeddings into flows for power-log transseries
Authors:
Pavao Mardesic,
Maja Resman,
Jean-Philippe Rolin,
Vesna Zupanovic
Abstract:
The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras.
The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras.
△ Less
Submitted 10 March, 2016; v1 submitted 21 May, 2015;
originally announced May 2015.
-
Unfoldings of saddle-nodes and their Dulac time
Authors:
Pavao Mardesić,
David Marín,
Mariana Saavedra,
Jordi Villadelprat
Abstract:
In this paper we study unfoldings of saddle-nodes and their Dulac time. By unfolding a saddle-node, saddles and nodes appear. In the first result (Theorem A) we prove uniform regularity by which orbits and their derivatives arrive at a node. Uniformity is with respect to all parameters including the unfolding parameter bringing the node to a saddle-node and a parameter belonging to a space of func…
▽ More
In this paper we study unfoldings of saddle-nodes and their Dulac time. By unfolding a saddle-node, saddles and nodes appear. In the first result (Theorem A) we prove uniform regularity by which orbits and their derivatives arrive at a node. Uniformity is with respect to all parameters including the unfolding parameter bringing the node to a saddle-node and a parameter belonging to a space of functions. In the second part, we apply this first result for proving a regularity result (Theorem B) on the Dulac time (time of Dulac map) of an unfolding of a saddle-node. This result is a building block in the study of bifurcations of critical periods in a neighbourhood of a polycycle. Finally, we apply Theorems A and B to the study of critical periods of the Loud family of quadratic centers and we prove that no bifurcation occurs for certain values of the parameters (Theorem C).
△ Less
Submitted 16 March, 2015;
originally announced March 2015.
-
Index of Singularities of Real Vector Fields on Singular Hypersurfaces
Authors:
Pavao Mardesic
Abstract:
Gómez-Mont, Seade and Verjovsky introduced an index, now called GSV-index, generalizing the Poincaré-Hopf index to complex vector fields tangent to singular hypersurfaces. The GSV-index extends to the real case. This is a survey paper on the joint research with Gómez-Mont and Giraldo about calculating the GSV-index $\Ind_{V_\pm,0}(X)$ of a real vector field $X$ tangent to a singular hypersurface…
▽ More
Gómez-Mont, Seade and Verjovsky introduced an index, now called GSV-index, generalizing the Poincaré-Hopf index to complex vector fields tangent to singular hypersurfaces. The GSV-index extends to the real case. This is a survey paper on the joint research with Gómez-Mont and Giraldo about calculating the GSV-index $\Ind_{V_\pm,0}(X)$ of a real vector field $X$ tangent to a singular hypersurface $V=f^{-1}(0)$. The index $\Ind_{V_{\pm,0}}(X)$ is calculated as a combination of several terms. Each term is given as a signature of some bilinear form on a local algebra associated to $f$ and $X$. Main ingredients in the proof are Gómez-Mont's formula for calculating the GSV-index on singular complex hypersurfaces and the formula of Eisenbud, Levine and Khimshiashvili for calculating the Poincaré-Hopf index of a singularity of a real vector field in $\R^{n+1}$
△ Less
Submitted 9 January, 2013;
originally announced January 2013.
-
Inductive Solution of the Tangential Center Problem on Zero-Cycles
Authors:
Amelia Álvarez Sánchez,
José Luis Bravo Trinidad,
Pavao Mardesić
Abstract:
Given a polynomial $f\in\C[z]$ of degree $m$, let $z_1(t),...,z_m(t)$ denote all algebraic functions defined by $f(z_k(t))=t$. Given integers $n_1...,n_m$ such that $n_1+...+n_m=0$, the tangential center problem on zero-cycles asks to find all polynomials $g\in\C[z]$ such that $n_1g(z_1(t))+...+n_mg(z_m(t))\equiv 0$. The classical Center-Focus Problem, or rather its tangential version in important…
▽ More
Given a polynomial $f\in\C[z]$ of degree $m$, let $z_1(t),...,z_m(t)$ denote all algebraic functions defined by $f(z_k(t))=t$. Given integers $n_1...,n_m$ such that $n_1+...+n_m=0$, the tangential center problem on zero-cycles asks to find all polynomials $g\in\C[z]$ such that $n_1g(z_1(t))+...+n_mg(z_m(t))\equiv 0$. The classical Center-Focus Problem, or rather its tangential version in important non-trivial planar systems lead to the above problem.
The tangential center problem on zero-cycles was recently solved in a preprint by Gavrilov and Pakovich.
Here we give an alternative solution based on induction on the number of composition factors of $f$ under a generic hypothesis on $f$. First we show the uniqueness of decompositions $f=f_1\circ...\circ f_d$, such that every $f_k$ is 2-transitive, monomial or a Chebyshev polynomial under the assumption that in the above composition there is no merging of critical values.
Under this assumption, we give a complete (inductive) solution of the tangential center problem on zero-cycles. The inductive solution is obtained through three mechanisms: composition, primality and vanishing of the Newton-Girard component on projected cycles.
△ Less
Submitted 4 March, 2013; v1 submitted 27 February, 2012;
originally announced February 2012.
-
Multiplicity of fixed points and growth of epsilon-neighbourhoods of orbits
Authors:
Pavao Mardesic,
Maja Resman,
Vesna Zupanovic
Abstract:
We study the relationship between the multiplicity of a fixed point of a function g, and the dependence on epsilon of the length of epsilon-neighborhood of any orbit of g, tending to the fixed point. The relationship between these two notions was discovered before (Elezovic, Zubrinic, Zupanovic) in the differentiable case, and related to the box dimension of the orbit. Here, we generalize these re…
▽ More
We study the relationship between the multiplicity of a fixed point of a function g, and the dependence on epsilon of the length of epsilon-neighborhood of any orbit of g, tending to the fixed point. The relationship between these two notions was discovered before (Elezovic, Zubrinic, Zupanovic) in the differentiable case, and related to the box dimension of the orbit. Here, we generalize these results to non-differentiable cases introducing a new notion of critical Minkowski order. We study the space of functions having a development in a Chebyshev scale and use multiplicity with respect to this space of functions. With the new definition, we recover the relationship between multiplicity of fixed points and the dependence on epsilon of the length of epsilon-neighborhoods of orbits in non-differentiable cases. Applications include in particular Poincare maps near homoclinic loops and hyperbolic 2-cycles, and Abelian integrals. This is a new approach to estimate the cyclicity, by computing the length of the epsilon-neighborhood of one orbit of the Poincare map (for example numerically), and by comparing it to the appropriate scale.
△ Less
Submitted 12 July, 2012; v1 submitted 23 August, 2011;
originally announced August 2011.
-
Vanishing Abelian integrals on zero-dimensional cycles
Authors:
Amelia Álvarez Sánchez,
José Luis Bravo Trinidad,
Pavao Mardesić
Abstract:
In this paper we study conditions for the vanishing of Abelian integrals on families of zero-dimensional cycles. That is, for any rational function $f(z)$, characterize all rational functions $g(z)$ and zero-sum integers $\{n_i\}$ such that the function $t\mapsto\sum n_ig(z_i(t))$ vanishes identically. Here $z_i(t)$ are continuously depending roots of $f(z)-t$. We introduce a notion of (un)balance…
▽ More
In this paper we study conditions for the vanishing of Abelian integrals on families of zero-dimensional cycles. That is, for any rational function $f(z)$, characterize all rational functions $g(z)$ and zero-sum integers $\{n_i\}$ such that the function $t\mapsto\sum n_ig(z_i(t))$ vanishes identically. Here $z_i(t)$ are continuously depending roots of $f(z)-t$. We introduce a notion of (un)balanced cycles. Our main result is an inductive solution of the problem of vanishing of Abelian integrals when $f,g$ are polynomials on a family of zero-dimensional cycles under the assumption that the family of cycles we consider is unbalanced as well as all the cycles encountered in the inductive process. We also solve the problem on some balanced cycles.
The main motivation for our study is the problem of vanishing of Abelian integrals on single families of one-dimensional cycles. We show that our problem and our main result are sufficiently rich to include some related problems, as hyper-elliptic integrals on one-cycles, some applications to slow-fast planar systems, and the polynomial (and trigonometric) moment problem for Abel equation. This last problem was recently solved by Pakovich and Muzychuk (\cite{PM} and \cite{P}). Our approach is largely inspired by their work, thought we provide examples of vanishing Abelian integrals on zero-cycles which are not given as a sum of composition terms contrary to the situation in the solution of the polynomial moment problem.
△ Less
Submitted 17 June, 2011; v1 submitted 10 January, 2011;
originally announced January 2011.
-
Pseudo-Abelian integrals on slow-fast Darboux systems
Authors:
Marcin Bobienski,
Pavao Mardesic,
Dmitry Novikov
Abstract:
We study pseudo-Abelian integrals associated with polynomial deformations of slow-fast Darboux integrable systems. Under some assumptions we prove local boundedness of the number of their zeros.
We study pseudo-Abelian integrals associated with polynomial deformations of slow-fast Darboux integrable systems. Under some assumptions we prove local boundedness of the number of their zeros.
△ Less
Submitted 12 July, 2010;
originally announced July 2010.
-
Pseudo-Abelian integrals: unfolding generic exponential case
Authors:
Marcin Bobienski,
Pavao Mardesic,
Dmitry Novikov
Abstract:
We consider an integrable polynomial system with generalized Darboux first integral H_0. We assume that it defines a family of real cycles in a region bounded by a polycycle.
To any polynomial form ηone can associate the pseudo-abelian integrals I(h), which is the first order term of the displacement function of the system perturbed by η.
We consider Darboux first integrals unfolding H_0 (an…
▽ More
We consider an integrable polynomial system with generalized Darboux first integral H_0. We assume that it defines a family of real cycles in a region bounded by a polycycle.
To any polynomial form ηone can associate the pseudo-abelian integrals I(h), which is the first order term of the displacement function of the system perturbed by η.
We consider Darboux first integrals unfolding H_0 (and its saddle-nodes) and pseudo-abelian integrals associated to these unfoldings. Under genericity assumptions we show the existence of a uniform local bound for the number of zeros of these pseudo-abelian integrals.
The result is part of a program to extend Varchenko-Khovanskii's theorem from abelian integrals to pseudo-abelian integrals and prove the existence of a bound for the number of their zeros in function of the degree of the polynomial system only.
△ Less
Submitted 15 March, 2009;
originally announced March 2009.
-
Monodromy and Tangential Center Problems
Authors:
Colin Christopher,
Pavao Mardešić
Abstract:
We consider families of Abelian integrals arising from perturbations of planar Hamiltonian systems. The tangential center focus problem asks for the conditions under which these integrals vanish identically. The problem is closely related to the monodromy problem, which asks when the monodromy of a vanishing cycle generates the whole homology of the level curves of the Hamiltonian. We solve both…
▽ More
We consider families of Abelian integrals arising from perturbations of planar Hamiltonian systems. The tangential center focus problem asks for the conditions under which these integrals vanish identically. The problem is closely related to the monodromy problem, which asks when the monodromy of a vanishing cycle generates the whole homology of the level curves of the Hamiltonian. We solve both these questions for the case when the Hamiltonian is hyperelliptic. As a side-product, we solve the corresponding problems for the "0-dimensional Abelian integrals" defined by Gavrilov and Movasati.
△ Less
Submitted 14 March, 2008;
originally announced March 2008.
-
Fractional Hamiltonian Monodromy from a Gauss-Manin Monodromy
Authors:
D. Sugny,
P. Mardesic,
M. Pelletier,
A. Jebrane,
H. R. Jauslin
Abstract:
Fractional Hamiltonian Monodromy is a generalization of the notion of Hamiltonian Monodromy, recently introduced by N. N. Nekhoroshev, D. A. Sadovskii and B. I. Zhilinskii for energy-momentum maps whose image has a particular type of non-isolated singularities. In this paper, we analyze the notion of Fractional Hamiltonian Monodromy in terms of the Gauss-Manin Monodromy of a Riemann surface cons…
▽ More
Fractional Hamiltonian Monodromy is a generalization of the notion of Hamiltonian Monodromy, recently introduced by N. N. Nekhoroshev, D. A. Sadovskii and B. I. Zhilinskii for energy-momentum maps whose image has a particular type of non-isolated singularities. In this paper, we analyze the notion of Fractional Hamiltonian Monodromy in terms of the Gauss-Manin Monodromy of a Riemann surface constructed from the energy-momentum map and associated to a loop in complex space which bypasses the line of singularities. We also prove some propositions on Fractional Hamiltonian Monodromy for 1:-n and m:-n resonant systems.
△ Less
Submitted 18 September, 2007;
originally announced September 2007.
-
Flags in zero dimensional complete intersections and indices of real vector fields
Authors:
L. Giraldo,
X. Gomez-Mont,
P. Mardesic
Abstract:
We introduce bilinear forms in a flag in a complete intersection local $\mathbb R$-algebra of dimension 0, related to the Eisenbud-Levine, Khimshiashvili bilinear form. We give a variational interpretation of these forms in terms of Jantzen's filtration and bilinear forms. We use the signatures of these forms to compute in the real case the constant relating the GSV-index with the signature func…
▽ More
We introduce bilinear forms in a flag in a complete intersection local $\mathbb R$-algebra of dimension 0, related to the Eisenbud-Levine, Khimshiashvili bilinear form. We give a variational interpretation of these forms in terms of Jantzen's filtration and bilinear forms. We use the signatures of these forms to compute in the real case the constant relating the GSV-index with the signature function of vector fields tangent to an even dimensional hypersurface singularity, one being topologically defined and the other computable by finite dimensional commutative algebra methods.
△ Less
Submitted 10 January, 2008; v1 submitted 11 December, 2006;
originally announced December 2006.