Periodic orbits in Hořava-Lifshitz cosmologies

DOI10.1007/s10714-022-03054-8OpenAlexW4311832167MaRDI QIDQ2682409

Olivier Hénot, Hauke Sprink, Jean-Philippe Lessard, Phillipo Lappicy, Kevin E. M. Church

Publication date: 1 February 2023

Published in: General Relativity and Gravitation (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2203.03763

zbMATH Keywords

periodic orbitscomputer-assisted proofsHořava-Lifshitz cosmologyspatially homogeneous models

Mathematics Subject Classification ID

Relativity and gravitational theory (83-XX)

Uses Software

• Julia
• galepu
• GitHub
• DifferentialEquations.jl
• RODES
• NeuralPDE.jl

Cites Work

• Unnamed Item
• Unnamed Item
• Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
• Recent developments concerning generic spacelike singularities
• Ancient dynamics in Bianchi models: approach to periodic cycles
• A rigorous ODE solver and Smale's 14th problem
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
• Computer-assisted proofs in PDE: a survey
• Functional analysis and Galerkin's method
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Rigorous Numerics in Dynamics
• SPACETIME SINGULARITIES: RECENT DEVELOPMENTS
• Verification methods: Rigorous results using floating-point arithmetic
• Julia: A Fresh Approach to Numerical Computing
• Aperiodic oscillatory asymptotic behavior for some Bianchi spacetimes
• ON THE CONSISTENCY OF THE HOŘAVA THEORY
• Validated Continuation for Equilibria of PDEs
• INFINITE DIMENSIONAL KRAWCZYK OPERATOR FOR FINDING PERIODIC ORBITS OF DISCRETE DYNAMICAL SYSTEMS
• Global smooth solution curves using rigorous branch following
• A new proof of the Bianchi type IX attractor theorem
• Mixmaster: fact and belief
• A computer-assisted proof of the Feigenbaum conjectures
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• General relativistic orthonormal frame approach
• Asymptotic dynamics of the exceptional Bianchi cosmologies
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• Chaos in spatially homogeneous Hořava–Lifshitz subcritical cosmologies
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• The mixmaster universe in Hořava–Lifshitz gravity
• Hořava–Lifshitz gravity inspired Bianchi-II cosmology and the mixmaster universe
• Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
• Late-time behaviour of the tilted Bianchi type VI _−1/9 models
• Dynamical Systems in Cosmology
• Quantum Theory of Gravity. I. The Canonical Theory
• Mixmaster Universe
• The Newton-Kantorovich Theorem
• Quantum Cosmology. I
• The Bianchi IX attractor

This page was built for publication: Periodic orbits in Hořava-Lifshitz cosmologies