6 research outputs found
A floer homology approach to traveling waves in reaction-diffusion equations on cylinders
Traveling waves form a prominent feature in the dynamics of scalar reaction-diffusion equations on unbounded cylinders. The traveling waves can be identified with the bounded solutions of the (Formula Prtsented) Ω ⊂ R d is a bounded domain, Δ is the Laplacian on Ω, and B denotes Dirichlet, Neumann, or periodic boundary data. We develop a new homological invariant for the dynamics of the bounded solutions of the above elliptic PDE. Restrictions on the nonlinearity f are kept to a minimum; for instance, any nonlinearity exhibiting polynomial growth in u can be considered. In particular, the set of bounded solutions of the traveling wave PDE may not be uniformly bounded. Despite this, the homology is invariant under lower order (but not necessarily small) perturbations of the nonlinearity f, thus making the homology amenable for computation. Using the new invariant we derive lower bounds on the number of bounded solutions of our PDE, thus obtaining existence and multiplicity results for traveling wave solutions of reaction-diffusion equations on unbounded cylinders
Spatial Hamiltonian identities for nonlocally coupled systems
We consider a broad class of systems of nonlinear integro-differential
equations posed on the real line that arise as Euler-Lagrange equations to
energies involving nonlinear nonlocal interactions. Although these equations
are not readily cast as dynamical systems, we develop a calculus that yields a
natural Hamiltonian formalism. In particular, we formulate Noether's theorem in
this context, identify a degenerate symplectic structure, and derive
Hamiltonian differential equations on finite-dimensional center manifolds when
those exist. Our formalism yields new natural conserved quantities. For
Euler-Lagrange equations arising as traveling-wave equations in gradient flows,
we identify Lyapunov functions. We provide several applications to
pattern-forming systems including neural field and phase separation problems.Comment: 39 pages, 1 figur
Towards computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
To make progress towards better computability of Morse-Floer homology, and
thus enhance the applicability of Floer theory, it is essential to have tools
to determine the relative index of equilibria. Since even the existence of
nontrivial stationary points is often difficult to accomplish, extracting their
index information is usually out of reach. In this paper we establish a
computer-assisted proof approach to determining relative indices of stationary
states. We introduce the general framework and then focus on three example
problems described by partial differential equations to show how these ideas
work in practice. Based on a rigorous implementation, with accompanying code
made available, we determine the relative indices of many stationary points.
Moreover, we show how forcing results can be then used to prove theorems about
connecting orbits and traveling waves in partial differential equations.Comment: 30 pages, 4 figures. Revised accepted versio
Dynamische Systeme
This workshop, organized by Hakan Eliasson (Paris), Helmut Hofer (Princeton) and Jean-Christophe Yoccoz (Paris), continued the biannual series at Oberwolfach on Dynamical Systems that started as the “Moser– Zehnder meeting” in 1981. The workshop was attended by more than 50 participants from 12 countries. The main theme of the workshop were the new results and developments in the area of classical dynamical systems, in particular in celestial mechanics and Hamiltonian systems. Among the main topics were KAM theory in finite and infinite dimensions, and new developments in Floer homology (Rabinowitz-Floer homology)