-
Double Hamiltonian Hopf Bifurcation: normalization and normal form non-integrability
Authors:
L. M. Lerman,
R. Mazrooei-Sebdani,
N. E. Kulagin
Abstract:
The double Hamiltonian Hopf bifurcation is studied, i.e. a generic two-parametric unfolding of a smooth Hamiltonian system with four degrees of freedom which has at the critical value of parameters the equilibrium with two pairs of double non semi-simple pure imaginary eigenvalues $\pm iω_1,$ $\pm iω_2,$ $ω_1\ne ω_2$ under an assumption of absence of strong resonances between $ω_1,ω_2$. We derive…
▽ More
The double Hamiltonian Hopf bifurcation is studied, i.e. a generic two-parametric unfolding of a smooth Hamiltonian system with four degrees of freedom which has at the critical value of parameters the equilibrium with two pairs of double non semi-simple pure imaginary eigenvalues $\pm iω_1,$ $\pm iω_2,$ $ω_1\ne ω_2$ under an assumption of absence of strong resonances between $ω_1,ω_2$. We derive the normal form of the unfolding, when the ratio $ω_1/ω_2$ is irrational and study the truncated normal form of the fourth order. This truncated normal form is the same under the absence of strong resonances. The normal form has two quadratic integrals generating a symplectic periodic action of the abelian group $T^2.$ After reduction by means of these integrals we come to the reduced system with two degrees of freedom that is proven to be non-integrable for almost all values of its coefficients. Integrable such systems are also possible at some special values of coefficients, related examples are presented. Some investigations of this truncated system are presented along with its bifurcations when varying small detuning parameters. As an example of a system where this bifurcation is met, the system derived in \cite{KuLe} is investigated. Its homoclinic solutions are examined numerically when the system parameters correspond to a main equilibrium of the twofold saddle-focus type.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Entire solutions to the Swift--Hohenberg equation via variational approach
Authors:
S. B. Kolonitskii,
L. M. Lerman,
A. I. Nazarov
Abstract:
We study the stationary Swift--Hohenberg equation $(Δ+ 1)^2 u - αu - βu^2 + u^3=0$ in the whole space $\mathbb R^n$, $2\le n \le 7$. We develop and modify the variational approach introduced by Lerman, Naryshkin and Nazarov (2020) and obtain a series of periodic solutions with certain additional symmetries.
We study the stationary Swift--Hohenberg equation $(Δ+ 1)^2 u - αu - βu^2 + u^3=0$ in the whole space $\mathbb R^n$, $2\le n \le 7$. We develop and modify the variational approach introduced by Lerman, Naryshkin and Nazarov (2020) and obtain a series of periodic solutions with certain additional symmetries.
△ Less
Submitted 7 April, 2024;
originally announced April 2024.
-
Symplectic Partially Hyperbolic Automorphisms of 6-Torus
Authors:
L. M. Lerman,
K. N. Trifonov
Abstract:
We study topological properties of automorphisms of a 6-dimensional torus generated by integer matrices symplectic with respect to either the standard symplectic structure in six-dimensional linear space or a nonstandard symplectic structure given by an integer skew-symmetric non-degenerate matrix. Such a symplectic matrix generates a partially hyperbolic automorphism of the torus, if it has eigen…
▽ More
We study topological properties of automorphisms of a 6-dimensional torus generated by integer matrices symplectic with respect to either the standard symplectic structure in six-dimensional linear space or a nonstandard symplectic structure given by an integer skew-symmetric non-degenerate matrix. Such a symplectic matrix generates a partially hyperbolic automorphism of the torus, if it has eigenvalues both outside and on the unit circle. We study the case (2,2,2), numbers are dimensions of stable, center and unstable subspaces of the matrix. We study transitive and decomposable cases possible here and present a classification in both cases.
△ Less
Submitted 9 December, 2022;
originally announced December 2022.
-
Non-autonomous vector fields on $S^3$: simple dynamics and wild separatrices embedding
Authors:
V. Z. Grines,
L. M. Lerman
Abstract:
We construct new substantive examples of non-autonomous vector fields on 3-dimensional sphere having a simple dynamics but non-trivial topology. The construction is based on two ideas: the theory of diffeomorpisms with wild separatrix embedding (Pixton, Bonatti-Grines, etc.) and the construction of a non-autonomous suspension over a diffeomorpism (Lerman-Vainshtein). As a result, we get periodic,…
▽ More
We construct new substantive examples of non-autonomous vector fields on 3-dimensional sphere having a simple dynamics but non-trivial topology. The construction is based on two ideas: the theory of diffeomorpisms with wild separatrix embedding (Pixton, Bonatti-Grines, etc.) and the construction of a non-autonomous suspension over a diffeomorpism (Lerman-Vainshtein). As a result, we get periodic, almost periodic or even nonrecurrent vector fields which have a finite number of special integral curves possessing exponential dichotomy on $\R$ such that among them there is one saddle integral curve (with an exponential dichotomy of the type (3,2)) having wildly embedded two-dimensional unstable separatrix and wildly embedded three-dimensional stable manifold. All other integral curves tend, as $t\to \pm \infty,$ to these special integral curves. Also we construct another vector fields having $k\ge 2$ special saddle integral curves with tamely embedded two-dimensional unstable separatrices forming mildly wild frames in the sense of Debrunner-Fox. In the case of periodic vector fields, corresponding specific integral curves are periodic with the period of the vector field, and they are almost periodic for the case of almost periodic vector fields.
△ Less
Submitted 1 December, 2021;
originally announced December 2021.
-
Saddle-center and periodic orbit: dynamics near symmetric heteroclinic connection
Authors:
L. M. Lerman,
K. N. Trifonov
Abstract:
An analytic reversible Hamiltonian system with two degrees of freedom is studied in a neighborhood of its symmetric heteroclinic connection made up of a symmetric saddle-center, a symmetric orientable saddle periodic orbit lying in the same level of a Hamiltonian and two non-symmetric heteroclinic orbits permuted by the involution. This is a codimension one structure and therefore it can be met ge…
▽ More
An analytic reversible Hamiltonian system with two degrees of freedom is studied in a neighborhood of its symmetric heteroclinic connection made up of a symmetric saddle-center, a symmetric orientable saddle periodic orbit lying in the same level of a Hamiltonian and two non-symmetric heteroclinic orbits permuted by the involution. This is a codimension one structure and therefore it can be met generally in one-parameter families of reversible Hamiltonian systems. There exist two possible types of such connections in dependence on how the involution acts near the equilibrium. We prove a series of theorems which show a chaotic behavior of the system and those in its unfoldings, in particular, the existence of countable sets of transverse homoclinic orbits to the saddle periodic orbit in the critical level, transverse heteroclinic connections involving a pair of saddle periodic orbits, families of elliptic periodic orbits, homoclinic tangencies, families of homoclinic orbits to saddle-centers in the unfolding, etc. As a byproduct, we get a criterion of the existence of homoclinic orbits to a saddle-center.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
Geometry of symplectic partially hyperbolic automorphisms on 4-torus
Authors:
L. M. Lerman,
K. N. Trifonov
Abstract:
We study topological properties of automorphisms of 4-dimensional torus generated by integer symplectic matrices. The main classifying element is the structure of the topology of a foliation generated by unstable leaves of the automorphism. There two different case, transitive and decomposable ones. For both case the classification is given.
We study topological properties of automorphisms of 4-dimensional torus generated by integer symplectic matrices. The main classifying element is the structure of the topology of a foliation generated by unstable leaves of the automorphism. There two different case, transitive and decomposable ones. For both case the classification is given.
△ Less
Submitted 29 January, 2020;
originally announced January 2020.
-
Abundance of entire solutions to nonlinear elliptic equations by the variational method
Authors:
L. M. Lerman,
P. E. Naryshkin,
A. I. Nazarov
Abstract:
We study entire bounded solutions to the equation $Δu - u + u^3 = 0$ in $\mathbb R^2$. Our approach is purely variational and is based on concentration arguments and symmetry considerations. This method allows us to construct in a unified way several types of solutions with various symmetries (radial, breather type, rectangular, triangular, hexagonal, etc.), both positive and sign-changing. The me…
▽ More
We study entire bounded solutions to the equation $Δu - u + u^3 = 0$ in $\mathbb R^2$. Our approach is purely variational and is based on concentration arguments and symmetry considerations. This method allows us to construct in a unified way several types of solutions with various symmetries (radial, breather type, rectangular, triangular, hexagonal, etc.), both positive and sign-changing. The method is also applicable for more general equations in any dimension.
△ Less
Submitted 7 November, 2018;
originally announced November 2018.
-
On interrelations between divergence-free and Hamiltonian dynamics
Authors:
L. Lerman,
E. Yakovlev
Abstract:
A mathematically correct description is presented on the interrelations between the dynamics of divergence free vector fields on an oriented 3-dimensional manifold $M$ and the dynamics of Hamiltonian systems. It is shown that for a given divergence free vector field $X$ with a global cross-section there exist some 4-dimensional symplectic manifold $\tilde{M}\supset M$ and a smooth Hamilton functio…
▽ More
A mathematically correct description is presented on the interrelations between the dynamics of divergence free vector fields on an oriented 3-dimensional manifold $M$ and the dynamics of Hamiltonian systems. It is shown that for a given divergence free vector field $X$ with a global cross-section there exist some 4-dimensional symplectic manifold $\tilde{M}\supset M$ and a smooth Hamilton function $H: \tilde{M}\to \mathbb R$ such that for some $c\in \mathbb R$ one gets $M = \{H=c\}$ and the Hamiltonian vector field $X_H$ restricted on this level coincides with $X$. For divergence free vector fields with singular points such the extension is impossible but the existence of local cross-section allows one to reduce the dynamics to the study of symplectic diffeomorphisms in some sub-domains of $M$. We also consider the case of a divergence free vector field $X$ with a smooth integral having only finite number of critical levels. It is shown that such a noncritical level is always a 2-torus and restriction of $X$ on it possesses a smooth invariant 2-form. The linearization of the flow on such a torus (i.e. the reduction to the constant vector field) is not always possible in contrast to the case of an integrable Hamiltonian system but in the analytic case ($M$ and $X$ are real analytic), due to the Kolmogorov theorem, such the linearization is possible for tori with Diophantine rotation numbers.
△ Less
Submitted 27 April, 2018;
originally announced April 2018.
-
Nonautonomous gradient-like ODEs on the circle: classification, structural stability and autonomization
Authors:
L. M. Lerman,
E. V. Gubina
Abstract:
We study a class of scalar differential equations on the circle $S^1$. This class is characterized mainly by the property that any solution of such an equation possesses exponential dichotomy both on the semi-axes $\R_+$ and $\R_+$. Also we impose some other assumptions on the structure of the foliation into integral curves for such the equation. Differential equations of this class are called gra…
▽ More
We study a class of scalar differential equations on the circle $S^1$. This class is characterized mainly by the property that any solution of such an equation possesses exponential dichotomy both on the semi-axes $\R_+$ and $\R_+$. Also we impose some other assumptions on the structure of the foliation into integral curves for such the equation. Differential equations of this class are called gradient-like ones. As a result, we describe the global behavior of the foliation, introduce a complete invariant of uniform equivalency, give standard models for the equations of the distinguished class. The case of almost periodic gradient-like equations is also studied, their classification is presented.
△ Less
Submitted 31 January, 2018;
originally announced January 2018.
-
Geometry of slow-fast Hamiltonian systems and Painlevé equations
Authors:
L. M. Lerman,
E. I. Yakovlev
Abstract:
In the first part of the paper we introduce some geometric tools needed to describe slow-fast Hamiltonian systems on smooth manifolds. We start with a smooth Poisson bundle $p: M\to B$ of a regular (i.e. of constant rank) Poisson manifold $(M,ω)$ over a smooth symplectic manifold $(B,λ)$, the foliation into leaves of the bundle coincides with the symplectic foliation generated by the Poisson struc…
▽ More
In the first part of the paper we introduce some geometric tools needed to describe slow-fast Hamiltonian systems on smooth manifolds. We start with a smooth Poisson bundle $p: M\to B$ of a regular (i.e. of constant rank) Poisson manifold $(M,ω)$ over a smooth symplectic manifold $(B,λ)$, the foliation into leaves of the bundle coincides with the symplectic foliation generated by the Poisson structure on $M$. This defines a singular symplectic structure $Ω_{\varepsilon}=$ $ω+ \varepsilon^{-1}p^*λ$ on $M$ for any positive small $\varepsilon$, where $p^*λ$ is a lift of 2-form $λ$ on $M$. Given a smooth Hamiltonian $H$ on $M$ one gets a slow-fast Hamiltonian system w.r.t. $Ω_{\varepsilon}$. We define a slow manifold $SM$ of this system. Assuming $SM$ to be a smooth submanifold, we define a slow Hamiltonian flow on $SM$. The second part of the paper deals with singularities of the restriction of $p$ on $SM$ and their relations with the description of the system near them. It appears, if $\dim M = 4,$ $\dim B = 2$ and Hamilton function $H$ is generic, then behavior of the system near singularities of the fold type is described in the principal approximation by the equation Painlevé-I, but if a singular point is a cusp, then the related equation is Painlevé-II. This fact for particular types of Hamiltonian systems with one and a half degrees of freedom was discovered earlier by R.Haberman.
△ Less
Submitted 26 November, 2015;
originally announced November 2015.
-
On symplectic dynamics near a homoclinic orbit to 1-elliptic fixed point
Authors:
L. Lerman,
A. Markova
Abstract:
We study the orbit behavior of a four dimensional smooth symplectic diffeomorphism $f$ near a homoclinic orbit $Γ$ to an 1-elliptic fixed point under some natural genericity assumptions. 1-elliptic fixed point has two real eigenvalues out of unit circle and two others on the unit circle. Thus there is a smooth 2-dimensional center manifold $W^c$ where the restriction of the diffeomorphism has the…
▽ More
We study the orbit behavior of a four dimensional smooth symplectic diffeomorphism $f$ near a homoclinic orbit $Γ$ to an 1-elliptic fixed point under some natural genericity assumptions. 1-elliptic fixed point has two real eigenvalues out of unit circle and two others on the unit circle. Thus there is a smooth 2-dimensional center manifold $W^c$ where the restriction of the diffeomorphism has the elliptic fixed point supposed to be generic (no strong resonances and first Birkhoff coefficient is nonzero). Moser's theorem guarantees the existence of a positive measure set of KAM invariant curves. $W^c$ itself is a normally hyperbolic manifold in the whole phase space and due to Fenichel results every point on $W^c$ has 1-dimensional stable and unstable smooth invariant curves forming two smooth foliations. In particular, each KAM invariant curve has stable and unstable smooth 2-dimensional invariant manifolds being Lagrangian. The related stable and unstable manifolds of $W^c$ are 3-dimensional smooth manifolds which are supposed to be transverse along homoclinic orbit $Γ$. One of our theorems presents conditions under which each KAM invariant curve on $W^c$ in a sufficiently small neighborhood of $Γ$ has four transverse homoclinic orbits. Another result ensures that under some Birkhoff genericity assumption for the restriction of $f$ on $W^c$ saddle periodic orbits in resonance zones also have homoclinic orbits though its transversality or tangency cannot be verified directly.
△ Less
Submitted 23 January, 2015;
originally announced January 2015.
-
Separatrix splitting at a Hamiltonian $0^2 iω$ bifurcation
Authors:
Vassili Gelfreich,
Lev Lerman
Abstract:
We discuss the splitting of a separatrix in a generic unfolding of a degenerate equilibrium in a Hamiltonian system with two degrees of freedom. We assume that the unperturbed fixed point has two purely imaginary eigenvalues and a double zero one. It is well known that an one-parametric unfolding of the corresponding Hamiltonian can be described by an integrable normal form. The normal form has a…
▽ More
We discuss the splitting of a separatrix in a generic unfolding of a degenerate equilibrium in a Hamiltonian system with two degrees of freedom. We assume that the unperturbed fixed point has two purely imaginary eigenvalues and a double zero one. It is well known that an one-parametric unfolding of the corresponding Hamiltonian can be described by an integrable normal form. The normal form has a normally elliptic invariant manifold of dimension two. On this manifold, the truncated normal form has a separatrix loop. This loop shrinks to a point when the unfolding parameter vanishes. Unlike the normal form, in the original system the stable and unstable trajectories of the equilibrium do not coincide in general. The splitting of this loop is exponentially small compared to the small parameter. This phenomenon implies non-existence of single-round homoclinic orbits and divergence of series in the normal form theory. We derive an asymptotic expression for the separatrix splitting. We also discuss relations with behaviour of analytic continuation of the system in a complex neighbourhood of the equilibrium.
△ Less
Submitted 10 September, 2014;
originally announced September 2014.
