Related papers: Towards computational Morse-Floer homology: forcin…
Floer theory was originally devised to estimate the number of 1-periodic orbits of Hamiltonian systems. In earlier works, we constructed Floer homology for homoclinic orbits on two dimensional manifolds using combinatorial techniques. In…
We study the existence of orbits connecting stationary points for the first order differential equations being at resonance at infinity, where the right hand side is the perturbations of a sectorial operator. Our aim is to prove an index…
In this paper we study travelling front solutions for nonlocal equations of the type \begin{equation} \partial_t u = N * S(u) + \nabla F(u), \qquad u(t,x) \in \mathbf{R}^d. \end{equation} Here $N *$ denotes a convolution-type operator in…
We study the problem of existence of orbits connecting stationary points for the nonlinear heat and strongly damped wave equations being at resonance at infinity. The main difficulty lies in the fact that the problems may have no solutions…
In this paper we present a computer-assisted procedure for proving the existence of transverse heteroclinic orbits connecting hyperbolic equilibria of polynomial vector fields. The idea is to compute high-order Taylor approximations of…
Homoclinic snaking is a widespread phenomenon observed in many pattern-forming systems. Demonstrating its occurrence in non-perturbative regimes has proven difficult, although a forcing theory has been developed based on the identification…
Morse theoretical ideas are applied to the study of relative equilibria in the planar $n$-vortex problem. For the case of positive circulations, we prove that the Morse index of a critical point of the Hamiltonian restricted to a level…
Integrating evolutionary partial differential equations (PDEs) is an essential ingredient for studying the dynamics of the solutions. Indeed, simulations are at the core of scientific computing, but their mathematical reliability is often…
The intention of this article is to illustrate the use of methods from symplectic geometry for practical purposes. Our intended audience is scientists interested in orbits of Hamiltonian systems (e.g. the three-body problem). The main…
An important problem in the dynamics of surface homeomorphisms is determining the forcing relation between orbits. The forcing relation between periodic orbits can be computed using standard algorithms, though this does not give much…
We analyze the effect of adding, removing, and moving basepoints on link Floer homology. We prove that adding or removing basepoints via a procedure called quasi-stabilization is a natural operation on a certain version of link Floer…
We explain how to use bordered algebras to compute a version of link Floer homology. As a corollary, we also give a fast computation of the Thuston polytope for links in the three-sphere.
We present a natural orbital-based implementation of the intermediate Hamiltonian Fock space coupled-cluster method for (1,1) sector of Fock space. The use of natural orbital significantly reduces the computational cost and can…
We study the steady states of a system of cross-diffusion equations arising from the modeling of chemotaxis with local sensing, where the motility is a decreasing function of the concentration of the chemical. In order to capture the many…
We construct a Floer type boundary operator for generalised Morse-Smale dynamical systems on compact smooth manifolds by counting the number of suitable flow lines between closed (both homoclinic and periodic) orbits and isolated critical…
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits and invariant…
In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical…
This work develops a functional analytic framework for making computer assisted arguments involving transverse heteroclinic connecting orbits between hyperbolic periodic solutions of ordinary differential equations. We exploit a…
The purpose of this paper is to prove a new, more general version of the Morse index theorem for heteroclinic, homoclinic, and half-clinic solutions in general Lagrangian systems. In the final section, we compute the Morse index for…
Main theorem of this paper states that Floer cohomology groups in a Hilbert space are isomorphic to the cohomological Conley Index. It is also shown that calculating cohomological Conley Index does not require finite dimensional…