Computer-assisted proofs in PDE: a survey (Q2321033)

From MaRDI portal

Jump to:navigation, search

scientific article

Language	Label	Description	Also known as
English	Computer-assisted proofs in PDE: a survey	scientific article

Statements

scholarly article

0 references

Computer-assisted proofs in PDE: a survey (English)

0 references

10.1007/s40324-019-00186-x

0 references

Javier Gómez-Serrano

0 references

S\(\vec{\text{e}}\)MA Journal

0 references

publication date

28 August 2019

0 references

full work available at URL

https://arxiv.org/abs/1810.00745

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

zbMATH DE Number

0 references

zbMATH Keywords

PDE

0 references

computer-assisted

0 references

singularity

0 references

incompressible

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

0 references

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

0 references

Well-posedness of two-phase Hele–Shaw flow without surface tension

0 references

Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation

0 references

Integration of Dissipative Partial Differential Equations: A Case Study

0 references

Families of Periodic Solutions for Some Hamiltonian PDEs

0 references

Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow

0 references

Performance of the Taylor series method for ODEs/DAEs

0 references

Duchon-Robert solutions for the Rayleigh-Taylor and Muskat problems

0 references

Local solvability and turning for the inhomogeneous Muskat problem

0 references

New methods for high-dimensional verified quadrature

0 references

Nonuniqueness of Weak Solutions to the SQG Equation

0 references

Motions of vortex patches

0 references

Global well-posedness for the two-dimensional Muskat problem with slope less than 1

0 references

Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation

0 references

Infinite energy solutions of the surface quasi-geostrophic equation

0 references

Breakdown of smoothness for the Muskat problem

0 references

Splash singularities for the one-phase Muskat problem in stable regimes

0 references

Structural stability for the splash singularities of the water waves problem

0 references

Rayleigh-Taylor breakdown for the Muskat problem with applications to water waves

0 references

Existence and regularity of rotating global solutions for the generalized surface quasi-geostrophic equations

0 references

Uniformly rotating analytic global patch solutions for active scalars

0 references

Global Smooth Solutions for the Inviscid SQG Equation

0 references

Uniformly rotating smooth solutions for the incompressible 2D Euler equations

0 references

Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches

0 references

The quasi-geostrophic equation in the Triebel Lizorkin spaces

0 references

Well-posedness of the Muskat problem with \(H^2\) initial data

0 references

On the Muskat problem: Global in time results in 2D and 3D

0 references

On the global existence for the Muskat problem

0 references

Global regularity for 2D Muskat equations with finite slope

0 references

New numerical results for the surface quasi-geostrophic equation

0 references

Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar

0 references

Uniqueness for SQG patch solutions

0 references

Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation

0 references

Growth of solutions for QG and 2D Euler equations

0 references

Almost sharp fronts for the surface quasi-geostrophic equation

0 references

Evidence of singularities for a family of contour dynamics equations

0 references

Contour dynamics of incompressible 3-D fluids in a porous medium with different densities

0 references

A maximum principle for the Muskat problem for fluids with different densities

0 references

Absence of squirt singularities for the multi-phase Muskat problem

0 references

A note on stability shifting for the Muskat problem

0 references

A note on stability shifting for the Muskat problem. II: From stable to unstable and back to stable

0 references

The confined Muskat problem: differences with the deep water regime

0 references

Global well-posedness for the 2D stable Muskat problem in $H^{3/2}$

0 references

Non-splat singularity for the one-phase Muskat problem

0 references

On the splash and splat singularities for the one-phase inhomogeneous Muskat problem

0 references

A quasi-solution approach to nonlinear problems—the case of the Blasius similarity solution

0 references

Analytical Approximation of the Blasius Similarity Solution with Rigorous Error Bounds

0 references

Bifurcation from simple eigenvalues

0 references

Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

0 references

Doubly connected V-states for the generalized surface quasi-geostrophic equations

0 references

An analytical and numerical study of steady patches in the disc

0 references

Doubly Connected $V$-States for the Planar Euler Equations

0 references

An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations

0 references

On the Two‐Dimensional Muskat Problem with Monotone Large Initial Data

0 references

Imperfect bifurcation for the quasi-geostrophic shallow-water equations

0 references

Stability of vortices in equilibrium with a cylinder

0 references

On the parabolicity of the Muskat problem: Well-posedness, fingering, and stability results

0 references

Relativistic stability of matter. I

0 references

The spine of an SQG almost-sharp front

0 references

Almost sharp fronts for SQG: the limit equations

0 references

Aperiodicity of the Hamiltonian flow in the Thomas-Fermi potential

0 references

Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

0 references

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations

0 references

A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity

0 references

A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition

0 references

0 references

Nonlinear stability of the Muskat problem with capillary pressure at the free boundary

0 references

Homotopy hyperbolic 3-manifolds are hyperbolic

0 references

A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE

0 references

Existence for the \(\alpha \)-patch model and the QG sharp front in Sobolev spaces

0 references

A survey for the Muskat problem and a new estimate

0 references

On the Muskat problem with viscosity jump: global in time results

0 references

Absence of splash singularities for surface quasi-geostrophic sharp fronts and the Muskat problem

0 references

Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations

0 references

On the existence of stationary patches

0 references

On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof

0 references

Global Existence for the Confined Muskat Problem

0 references

Smooth Travelling-Wave Solutions to the Inviscid Surface Quasi-Geostrophic Equation

0 references

A proof of the Kepler conjecture

0 references

An algorithm to generate canonical transformations: Application to normal forms

0 references

The parameterization method for invariant manifolds. From rigorous results to effective computations

0 references

A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results

0 references

A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity

0 references

Double bubbles minimize

0 references

On the V-states for the generalized quasi-geostrophic equations

0 references

Bifurcation of rotating patches from Kirchhoff vortices

0 references

Degenerate bifurcation of the rotating patches

0 references

Existence of corotating and counter-rotating vortex pairs for active scalar equations

0 references

Boundary regularity of rotating vortex patches

0 references

On rotating doubly connected vortices

0 references

Existence of small loops in a bifurcation diagram near degenerate eigenvalues

0 references

Numerical Software with Result Verification

0 references

Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations

0 references

Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic

0 references

A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods

0 references

A Simple Energy Pump for the Surface Quasi-geostrophic Equation

0 references

Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals

0 references

A computer-assisted proof of the Feigenbaum conjectures

0 references

0 references

Existence theorems for the 2D quasi-geostrophic equation with plane wave initial conditions

0 references

An efficient and general numerical method to compute steady uniform vortices

0 references

0 references

Existence and regularity of weak solutions to the quasi-geostrophic equations in the spaces \(L^p\) or \(\dot{H}^{-1/2}\)

0 references

The Muskat problem in two dimensions: equivalence of formulations, well-posedness, and regularity results

0 references

0 references

An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness

0 references

Global flows with invariant measures for the inviscid modified SQG equations

0 references

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

0 references

Taylor forms -- use and limits.

0 references

Large time decay estimates for the Muskat equation

0 references

0 references

Local-existence for the inhomogeneous Muskat problem

0 references

Relative equilibria with holes for the surface quasi-geostrophic equations

0 references

Motivations for an arbitrary precision interval arithmetic and the MPFI library

0 references

On the evolution of sharp fronts for the quasi‐geostrophic equation

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Obtuse Triangular Billiards II: One Hundred Degrees Worth of Periodic Trajectories

0 references

A scenario for finite-time singularity in the quasigeostrophic model

0 references

Global existence, singular solutions, and ill-posedness for the Muskat problem

0 references

0 references

A rigorous ODE solver and Smale's 14th problem

0 references

0 references

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

0 references

Rigorous Numerics in Dynamics

0 references

Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem

0 references

Steady-state solutions of the Euler equations in two dimensions: Rotating and translating V-states with limiting cases. I: Numerical algorithms and results

0 references

Quasi-geostrophic-type equations with initial data in Morrey spaces

0 references

Solutions of the 2D quasi-geostrophic equation in Hölder spaces

0 references

Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element

0 references

Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof

0 references

Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2321033

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q2321033&oldid=36520012"