Computer-assisted proofs in PDE: a survey
From MaRDI portal
Publication:2321033
DOI10.1007/S40324-019-00186-XOpenAlexW2963580572WikidataQ113898585 ScholiaQ113898585MaRDI QIDQ2321033
Publication date: 28 August 2019
Published in: S\(\vec{\text{e}}\)MA Journal (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1810.00745
PDEs in connection with fluid mechanics (35Q35) Interval and finite arithmetic (65G30) Free boundary problems for PDEs (35R35)
Related Items (33)
Microscopic patterns in the 2D phase-field-crystal model ⋮ Validated Spectral Stability via Conjugate Points ⋮ Any three eigenvalues do not determine a triangle ⋮ Parameterization of unstable manifolds for DDEs: formal series solutions and validated error bounds ⋮ Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof ⋮ Constructive proofs for localised radial solutions of semilinear elliptic systems on Rd ⋮ Asymptotically self-similar blowup of the Hou-Luo model for the 3D Euler equations ⋮ Computer‐assisted analysis of chaos in a three‐species food chain model ⋮ Computer-assisted proof of shear-induced chaos in stochastically perturbed Hopf systems ⋮ Periodic orbits in Hořava-Lifshitz cosmologies ⋮ Highest cusped waves for the Burgers-Hilbert equation ⋮ Validated numerical approximation of stable manifolds for parabolic partial differential equations ⋮ Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem ⋮ Smooth self-similar imploding profiles to 3D compressible Euler ⋮ A Posteriori Validation of Generalized Polynomial Chaos Expansions ⋮ Quasiperiodicity and blowup in integrable subsystems of nonconservative nonlinear Schrödinger equations ⋮ Computer assisted proofs of two-dimensional attracting invariant tori for ODEs ⋮ Validated integration of semilinear parabolic PDEs ⋮ A counterexample to Payne's nodal line conjecture with few holes ⋮ Spontaneous periodic orbits in the Navier-Stokes flow ⋮ Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence ⋮ A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory ⋮ Highest cusped waves for the fractional KdV equations ⋮ Rigorous computation of solutions of semilinear PDEs on unbounded domains via spectral methods ⋮ Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points ⋮ A Hopf bifurcation in the planar Navier-Stokes equations ⋮ Computer assisted proof of branches of stationary and periodic solutions, and Hopf bifurcations, for dissipative PDEs ⋮ Rigorous verification of Hopf bifurcations in functional differential equations of mixed type ⋮ Global dynamics in nonconservative nonlinear Schrödinger equations ⋮ Computer-Assisted Methods for Analyzing Periodic Orbits in Vibrating Gravitational Billiards ⋮ Inclusion method of optimal constant with quadratic convergence for \(H_0^1\)-projection error estimates and its applications ⋮ Gravitational collapse for polytropic gaseous stars: self-similar solutions ⋮ Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
Uses Software
Cites Work
- Growth of solutions for QG and 2D Euler equations
- The quasi-geostrophic equation in the Triebel Lizorkin spaces
- Existence of small loops in a bifurcation diagram near degenerate eigenvalues
- Large time decay estimates for the Muskat equation
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
- Well-posedness of two-phase Hele–Shaw flow without surface tension
- On the evolution of sharp fronts for the quasi‐geostrophic equation
- Global well-posedness for the 2D stable Muskat problem in $H^{3/2}$
- On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof
- A quasi-solution approach to nonlinear problems—the case of the Blasius similarity solution
- Analytical Approximation of the Blasius Similarity Solution with Rigorous Error Bounds
- Nonuniqueness of Weak Solutions to the SQG Equation
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- Local-existence for the inhomogeneous Muskat problem
- On the Two‐Dimensional Muskat Problem with Monotone Large Initial Data
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Numerical Software with Result Verification
- A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
- Smooth Travelling-Wave Solutions to the Inviscid Surface Quasi-Geostrophic Equation
- Evidence of singularities for a family of contour dynamics equations
- Almost sharp fronts for the surface quasi-geostrophic equation
- Global Existence for the Confined Muskat Problem
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
- Absence of squirt singularities for the multi-phase Muskat problem
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The parameterization method for invariant manifolds. From rigorous results to effective computations
- Doubly connected V-states for the generalized surface quasi-geostrophic equations
- Existence and regularity of rotating global solutions for the generalized surface quasi-geostrophic equations
- Splash singularities for the one-phase Muskat problem in stable regimes
- Degenerate bifurcation of the rotating patches
- Bifurcation of rotating patches from Kirchhoff vortices
- An analytical and numerical study of steady patches in the disc
- Local solvability and turning for the inhomogeneous Muskat problem
- Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow
- Rayleigh-Taylor breakdown for the Muskat problem with applications to water waves
- A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
- New numerical results for the surface quasi-geostrophic equation
- Almost sharp fronts for SQG: the limit equations
- Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
- Structural stability for the splash singularities of the water waves problem
- Existence of corotating and counter-rotating vortex pairs for active scalar equations
- A note on stability shifting for the Muskat problem. II: From stable to unstable and back to stable
- Relative equilibria with holes for the surface quasi-geostrophic equations
- On the parabolicity of the Muskat problem: Well-posedness, fingering, and stability results
- Steady-state solutions of the Euler equations in two dimensions: Rotating and translating V-states with limiting cases. I: Numerical algorithms and results
- An efficient and general numerical method to compute steady uniform vortices
- Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
- The confined Muskat problem: differences with the deep water regime
- A maximum principle for the Muskat problem for fluids with different densities
- A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
- Well-posedness of the Muskat problem with \(H^2\) initial data
- Relativistic stability of matter. I
- Motions of vortex patches
- Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation
- New methods for high-dimensional verified quadrature
- Aperiodicity of the Hamiltonian flow in the Thomas-Fermi potential
- Homotopy hyperbolic 3-manifolds are hyperbolic
- Double bubbles minimize
- A rigorous ODE solver and Smale's 14th problem
- An algorithm to generate canonical transformations: Application to normal forms
- The Muskat problem in two dimensions: equivalence of formulations, well-posedness, and regularity results
- Global flows with invariant measures for the inviscid modified SQG equations
- Global well-posedness for the two-dimensional Muskat problem with slope less than 1
- On the splash and splat singularities for the one-phase inhomogeneous Muskat problem
- Uniformly rotating analytic global patch solutions for active scalars
- A survey for the Muskat problem and a new estimate
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- Uniformly rotating smooth solutions for the incompressible 2D Euler equations
- An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations
- Imperfect bifurcation for the quasi-geostrophic shallow-water equations
- On the existence of stationary patches
- On the Muskat problem with viscosity jump: global in time results
- Performance of the Taylor series method for ODEs/DAEs
- Nonlinear stability of the Muskat problem with capillary pressure at the free boundary
- Taylor forms -- use and limits.
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
- Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
- On the global existence for the Muskat problem
- Infinite energy solutions of the surface quasi-geostrophic equation
- On the V-states for the generalized quasi-geostrophic equations
- Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations
- On rotating doubly connected vortices
- Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations
- Duchon-Robert solutions for the Rayleigh-Taylor and Muskat problems
- Global regularity for 2D Muskat equations with finite slope
- Contour dynamics of incompressible 3-D fluids in a porous medium with different densities
- Breakdown of smoothness for the Muskat problem
- Boundary regularity of rotating vortex patches
- Existence and regularity of weak solutions to the quasi-geostrophic equations in the spaces \(L^p\) or \(\dot{H}^{-1/2}\)
- Existence for the \(\alpha \)-patch model and the QG sharp front in Sobolev spaces
- Solutions of the 2D quasi-geostrophic equation in Hölder spaces
- A proof of the Kepler conjecture
- Bifurcation from simple eigenvalues
- Motivations for an arbitrary precision interval arithmetic and the MPFI library
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
- Doubly Connected $V$-States for the Planar Euler Equations
- Rigorous Numerics in Dynamics
- Non-splat singularity for the one-phase Muskat problem
- Verification methods: Rigorous results using floating-point arithmetic
- A scenario for finite-time singularity in the quasigeostrophic model
- A Simple Energy Pump for the Surface Quasi-geostrophic Equation
- A note on stability shifting for the Muskat problem
- Families of Periodic Solutions for Some Hamiltonian PDEs
- Absence of splash singularities for surface quasi-geostrophic sharp fronts and the Muskat problem
- On the Muskat problem: Global in time results in 2D and 3D
- Integration of Dissipative Partial Differential Equations: A Case Study
- The spine of an SQG almost-sharp front
- Uniqueness for SQG patch solutions
- Global existence, singular solutions, and ill-posedness for the Muskat problem
- Global Smooth Solutions for the Inviscid SQG Equation
- Stability of vortices in equilibrium with a cylinder
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- MPFR
- Existence theorems for the 2D quasi-geostrophic equation with plane wave initial conditions
- Obtuse Triangular Billiards II: One Hundred Degrees Worth of Periodic Trajectories
- Quasi-geostrophic-type equations with initial data in Morrey spaces
- A computer-assisted proof of the Feigenbaum conjectures
- An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
- Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar
This page was built for publication: Computer-assisted proofs in PDE: a survey
