Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach

DOI10.3934/JCD.2022005MaRDI QIDQ2136229zbMATH OpenOpenAlexFDO

Authors Gabriel William Duchesne, Jean-Philippe Lessard, Jan Bouwe Van den Berg

Publication date 10 May 2022

Published in Journal of Computational Dynamics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3934/jcd.2022005

zbMATH Keywords

contraction mapping theoremTaylor seriesChebyshev seriescomputer-assisted proofselliptic PDEs on manifoldsrotation invariant patterns

Mathematics Subject Classification ID

Higher-order elliptic equations (35J30) Numerical methods for partial differential equations, boundary value problems (65N99)

Recommendations

• Infinitely many rotationally symmetric solutions to a class of semilinear Laplace-Beltrami equations on spheres
• Shooting from singularity to singularity and a semilinear Laplace-Beltrami equation
• An efficient numerical method for the solution of nonlinear diffusion equations on a sphere
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• scientific article; zbMATH DE number 947641

Cites work

• scientific article; zbMATH DE number 3750146 (Why is no real title available?)
• scientific article; zbMATH DE number 3213901 (Why is no real title available?)
• A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
• A computer-assisted proof of the Feigenbaum conjectures
• A proof of the Kepler conjecture
• A rigorous ODE solver and Smale's 14th problem
• Automatic differentiation for Fourier series and the radii polynomial approach
• Chebyshev and Fourier spectral methods.
• Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
• Computer-assisted enclosure methods for elliptic differential equations
• Computer-assisted proofs for radially symmetric solutions of PDEs
• Elliptic PDE's in probability and geometry: Symmetry and regularity of solutions
• Fast and stable rational interpolation in roots of unity and Chebyshev points
• Functional analysis and Galerkin's method
• Infinitely many rotationally symmetric solutions to a class of semilinear Laplace-Beltrami equations on spheres
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
• Non-radial solutions for some semilinear elliptic equations on the disk
• On the Existence of Positive Solutions of Semilinear Elliptic Equations
• Recent progress on the Yamabe problem
• Rigorous computation of a radially symmetric localized solution in a Ginzburg-Landau problem
• Rigorous numerics for nonlinear differential equations using Chebyshev series
• Rigorous numerics in dynamics
• Rigorous validation of stochastic transition paths
• Robust rational interpolation and least-squares
• Spots, traps, and patches: asymptotic analysis of localized solutions to some linear and nonlinear diffusive systems
• The four-colour theorem
• Verification methods: rigorous results using floating-point arithmetic

Cited in

(2)

• Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd
• Preface. Special issue on structural dynamical systems

Describes a project that uses

Uses Software

• RODES
• kepler98

This page was built for publication: Rotation invariant patterns for a nonlinear Laplace-Beltrami equation: a Taylor-Chebyshev series approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2136229)