Computer-assisted proofs in PDE: a survey

2018/10/01 by Gómez-Serrano, Javier · 5 citations
#Analysis of PDEs (math.AP) #FOS: Mathematics

paper · doi:10.48550/arxiv.1810.00745

Abstract

In this survey we present some recent results concerning computer-assisted proofs in partial differential equations, focusing in those coming from problems in incompressible fluids. Particular emphasis is put on the techniques, as opposed to the results themselves.

Cited by

• A Practical Guide to Rigorously Locate Periodic Orbits in Discrete Dynamics
• A contractible Schiffer counterexample on the half-sphere
• Existence proofs of traveling wave solutions on an infinite strip for the suspension bridge equation and proof of orbital stability
• Discovery of Unstable Singularities
• On the non-uniqueness of locally minimizing clusters via singular cones

Related

• An Introduction to Partial Differential Equations
• Shock with Confidence: Formal Proofs of Correctness for Hyperbolic Partial Differential Equation Solvers
• Unveiling the physics of partial differential equations with heuristics
• Partial Differential Equations An Introduction
• Simulating fluids with a computer: Introduction and recent advances