Homoclinic time reversible system
From Scholarpedia
| This article has not been peer-reviewed or accepted for publication yet; It may be unfinished, contain inaccuracies, or unapproved changes. | ||||||||||||||||||||
(Redirected from Homoclinic time reversible systems)
Author: Dr. Thomas Wagenknecht, Department of Applied Mathematics, University of Leeds, UK
Author: Dr. Alan R. Champneys, Department of Engineering Mathematics, University of Bristol, UK
Dr. Thomas Wagenknecht accepted the invitation on 22 April 2008 (self-imposed deadline: 22 September 2008).
Dr. Thomas Wagenknecht, Department of Applied Mathematics, University of Leeds, UK, was invited on 11 April 2008.
Dr. Alan R. Champneys accepted the invitation on 4 April 2008 (self-imposed deadline: 4 June 2008).
Homoclinic orbits of time reversible systems refers to homoclinic bifurcations of continuous time dynamical systems that are invariant under reversal of time. Typically such systems of ordinary-differential equations (ODEs) arise as steady state or travelling-wave reductions of spatially even-order partial differential equations (PDEs). Canonical examples include the soliton solutions of the KdV and NLS equations. Given higher-order spatial terms though far more complex things can occur such as characteristic snaking bifurcation diagrams or so-called embedded solitons. The theory often allows one to study what other coherent structures (either periodic or localised) exist in a neighbourhood of the homoclinic trajectory.
Contents |
Formal definitions
Consider a
-dimensional system of ODEs
,
, and assume that
is an equilibrium solution, i.e.
. A (non-constant) solution
of the equation with orbit
is called homoclinic to
, if
.
The equation is called reversible if there exists a (linear) involution
,
, such that
. If
is a solution of a reversible ODE, then so is
. A solution is called symmetric, if
. Note that a solution is symmetric if and only if the orbit
intersects the symmetry section
.
Robust existence of symmetric homoclinics
In the typical situation, we have
, and the equilibrium at
is hyperbolic. Because of the reversibility the spectrum of the linearised vector field is symmetric with respect to the imaginary axis, such that
has an
-dimensional stable and
-dimensional unstable manifold, respectively. A symmetric homoclinic orbit to
exists if the stable manifold
intersects the symmetry section
. Hence, such orbits can exist robustly in reversible systems, i.e. they are codimension zero objects.
In this aspect (and some others), symmetric homoclinic orbits behave similar to homoclinic orbits in Hamiltonian systems.
An example
The Korteweg de Vries (KdV) equation
describes shallow water waves in a channel. We look for travelling wave solutions
with wave speed
. Inserting this ansatz into the PDE we obtain the ODE
where the prime denotes differentiation with respect to
. This equation can be integrated once to yield the second order ODE
(Note that the integration constant has been set to
.)
The phase portrait of this equation for
in the
is shown in panel a) of the Figure to the right. The orbits are symmetric with respect to the
-axis, because of the reversibility of the equation with respect to the transformation
. In particular we find a homoclinic orbit connecting the origin to itself. The corresponding solution profile
is shown in panel (b) of the Figure. Such a solution exists for all
.
Dynamics near symmetric homoclinic orbits
The phase portrait above shows a one-parameter family of periodic orbits existing in a neighbourhood of the homoclinic orbit. The period of the orbits goes to infinity as the homoclinic orbit is approached, (Vanderbauwhede and Fiedler, 1992). This blue sky catastrophe is a generic feature of the dynamics near symmetric homoclinic orbits. Moreover, if
is a saddle with real leading eigenvalues, then, typically, this is the whole recurrent dynamics near the homoclinic orbit.
On the other hand, if
is a saddle focus equilibrium, i.e. if its leading eigenvalues are complex, then besides the periodic orbits more complex dynamics can be found near a homoclinic orbit. More precisely, infinitely many
-homoclinic and
-periodic orbits exist near the orbit for each
. (Here,
-homoclinic or periodic orbits refer to orbits intersecting a cross section to the primary orbit
times.) These orbits can be characterised by the times they spent in their passage past the equilbrium.
[maybe include some picture of an $N$-pulse here]
Continuation of symmetric homoclinic orbits
Since symmetric homoclinic orbits are structurally stable in the class of reversible systems, their bifurcations can be studied in one-parameter families of equations
, with a parameter
. Several scenarios have been discussed.
- Non-transversal homoclinics
The intersection of
and
can become non-transverse at
. Typically, a quadratic tangency will occur, leading to a fold bifurcation of symmetric homoclinic orbits (Knobloch, 1997)
- Homoclinic orbits and local bifurcations
Homoclinic orbits are typically destroyed or created in local bifurcations of symmetric equilbrium solutions. Well known examples include the saddle-node or transcritical bifurcation and the reversible 1:1 resonance (Hamiltonian Hopf bifurcation). In the latter case, the equilibrium changes its type from a center into a saddle focus, and - depending on the sign of a nonlinear term in the local normal form - two symmetric homoclinic orbits emerge (Iooss and Peroueme, 1993).
- Orbit flip homoclinics
There are codimension-one mechanisms that can create a complicated dynamics near real saddle homoclinic orbit. These mechanisms usually involve the global geometry of stable and unstable manifolds of the equilibrium. For example, in an orbit-flip bifurcation, where the homoclinic orbit approaches
in the strong (un)stable manifold,
-homoclinic orbits can be found in perturbations of the primary orbit. In contrast to the case of a saddle focus homoclinic orbit, there exists a unique
-homoclinic orbit for each
.
Other topics
- Saddle center homoclinic orbits
More recently, homoclinic orbits to saddle centers have attracted interest since they can describe embedded soliton solutions of PDEs. In 4-dimensional phase space a saddle center has a pair of imaginary and a pair of real eigenvalues, and a homoclinic orbit exists if the one-dimensional stable manifold intersects the symmetry section
. Consequently, such orbits are of codimension one.
The dynamics near saddle center homoclinic orbits can be rather complex and the complete story is not fully understood. It is known that such orbits are embedded into a family of homoclinics to periodic orbits with a small amplitude. Furthermore, if a saddle center homoclinic orbit exists at a parameter value
, then there is a sequence of parameter values accumulating at
, for which symmetric 2-homoclinic orbits exist.
A related topic are (large) symmetric homoclinic orbits to equilibria that themselves undergo a bifurcation.
- Homoclinic snaking
Recently, symmetric homoclinic orbits near heteroclinic cycles have been studied widely, since they give rise to homoclinic snaking. This term refers to the existence of a snaking curve of homoclinic orbits, along which infinitely many fold bifurcations of homoclinic orbits occur. The corresponding solutions spread out and develop additional oscillations about their middle part. The Figure shows the snaking bifurcation diagram for homoclinic solutions in the Swift-Hohenberg equation with forcing parameter
. Along the double-helix structure symmetric solutions exist, as illustrated in the panels on the left.
Homoclinic snaking can explain the emergence of infinitely many localized patterns in the Swift-Hohenberg equation and has also been found to occur in problems in nonlinear optics and nonlinear elasticity.
References
Beck, M., Knobloch, J., Lloyd, D.J.B., Sandstede, B. and Wagenknecht, T. (2009). Snakes, ladders, and isolas of localised patterns. SIAM Journal on Mathematical Analysis 41, 936-972.
Champneys, A.R. (1998), Homoclinic orbits in reversible systems and their applications in mechanics, fluids and optics. Physica D 112, 158-186.
Champneys, A.R. (1999), Homoclinic orbits in reversible systems II : multi-bumps and saddle-centres. CWI Quarterly 12(3-4), 185–212.
Champneys, A. R. and Härterich, J. (2000), Cascades of homoclinic orbits to a saddle-centre for reversible and perturbed Hamiltonian systems, Dyn. Stab. Syst. 15(3), 231–252.
Devaney, R. (1976), Reversible diffeomorphisms and flows, Trans. Amer. Math. Soc. 218, 89–113.
Iooss, G. and Peroueme, M.C. (1993), Perturbed Homoclinic Solutions in Reversible 1-1 Resonance Vector Fields, J. Dif. Eq. 102, 62-88.
Knobloch, J. (1997), Bifurcation of degenerate homoclinics in reversible and conservative systems, J. Dyn. Diff. Eq. 9(3), 427–444.
Lamb, J.S.W. and Roberts, J.A.G. (1998), Time-reversal symmetry in dynamical systems: A survey, Physica D 112, 1–39.
Sandstede, B. (1997). Instability of localized buckling modes in a one-dimensional strut model. Phil. Trans. of the Royal Society of London A 355, 2083-2097.
Sandstede, B., Jones, C.K.R.T. and Alexander, J.C. (1997), Existence and stability of N-pulses on optical fibers with phase-sensitive amplifiers. Physica D 106, 167-206.
Vanderbauwhede, A. and Fiedler, B. (1992), Homoclinic period blow-up in reversible and conservative systems, ZAMP 43, 292–318.
Wagenknecht, T. and Champneys, A.R. (2003), When gap solitons become embedded solitons: a generic unfolding, Physica D 177, 50–70.
| Invited by: | Dr. Eugene M. Izhikevich, Editor-in-Chief of Scholarpedia, the peer-reviewed open-access encyclopedia |
