Computing Reeb dynamics on four-dimensional convex polytopes

<p style='text-indent:20px;'>We study the combinatorial Reeb flow on the boundary of a four-dimensional convex polytope. We establish a correspondence between "combinatorial Reeb orbits" for a polytope, and ordinary Reeb orbits for a smoothing of the polytope, respecting action and Conley-Zehnder index. One can then use a computer to find all combinatorial Reeb orbits up to a given action and Conley-Zehnder index. We present some results of experiments testing Viterbo's conjecture and related conjectures. In particular, we have found some new examples of polytopes with systolic ratio <inline-formula><tex-math id="M1">\begin{document}$ 1 $\end{document}</tex-math></inline-formula>.</p>

Rigorous numerics for ODEs using Chebyshev series and domain decomposition

<p style='text-indent:20px;'>In this paper we present a rigorous numerical method for validating analytic solutions of nonlinear ODEs by using Chebyshev-series and domain decomposition. The idea is to define a Newton-like operator, whose fixed points correspond to solutions of the ODE, on the space of geometrically decaying Chebyshev coefficients, and to use the so-called radii-polynomial approach to prove that the operator has an isolated fixed point in a small neighborhood of a numerical approximation. The novelty of the proposed method is the use of Chebyshev series in combination with domain decomposition. In particular, a heuristic procedure based on the theory of Chebyshev approximations for analytic functions is presented to construct efficient grids for validating solutions of boundary value problems. The effectiveness of the proposed method is demonstrated by validating long periodic and connecting orbits in the Lorenz system for which validation without domain decomposition is not feasible.</p>

Computing Covariant Lyapunov Vectors in Hilbert spaces

<p style='text-indent:20px;'>Covariant Lyapunov Vectors (CLVs) are intrinsic modes that describe long-term linear perturbations of solutions of dynamical systems. With recent advances in the context of semi-invertible multiplicative ergodic theorems, existence of CLVs has been proved for various infinite-dimensional scenarios. Possible applications include the derivation of coherent structures via transfer operators or the stability analysis of linear perturbations in models of increasingly higher resolutions.</p><p style='text-indent:20px;'>We generalize the concept of Ginelli's algorithm to compute CLVs in Hilbert spaces. Our main result is a convergence theorem in the setting of [<xref ref-type="bibr" rid="b19">19</xref>]. The theorem relates the speed of convergence to the spectral gap between Lyapunov exponents. While the theorem is restricted to the above setting, our proof requires only basic properties that are given in many other versions of the multiplicative ergodic theorem.</p>