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

@@ Property / cites work @@
+Well-posedness of two-phase Hele–Shaw flow without surface tension
+Normal rank
@@ Property / cites work @@
+Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation
+Normal rank
@@ Property / cites work @@
+Integration of Dissipative Partial Differential Equations: A Case Study
+Normal rank
@@ Property / cites work @@
+Families of Periodic Solutions for Some Hamiltonian PDEs
+Normal rank
@@ Property / cites work @@
+Numerical proof of stability of roll waves in the small-amplitude limit for inclined thin film flow
+Normal rank
@@ Property / cites work @@
+Performance of the Taylor series method for ODEs/DAEs
+Normal rank
@@ Property / cites work @@
+Duchon-Robert solutions for the Rayleigh-Taylor and Muskat problems
+Normal rank
@@ Property / cites work @@
+Local solvability and turning for the inhomogeneous Muskat problem
+Normal rank
@@ Property / cites work @@
+New methods for high-dimensional verified quadrature
+Normal rank
@@ Property / cites work @@
+Nonuniqueness of Weak Solutions to the SQG Equation
+Normal rank
@@ Property / cites work @@
+Motions of vortex patches
@@ Property / cites work: Motions of vortex patches / rank @@
+Normal rank
@@ Property / cites work @@
+Global well-posedness for the two-dimensional Muskat problem with slope less than 1
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
+Normal rank
@@ Property / cites work @@
+Infinite energy solutions of the surface quasi-geostrophic equation
+Normal rank
@@ Property / cites work @@
+Breakdown of smoothness for the Muskat problem
@@ Property / cites work: Breakdown of smoothness for the Muskat problem / rank @@
+Normal rank
@@ Property / cites work @@
+Splash singularities for the one-phase Muskat problem in stable regimes
+Normal rank
@@ Property / cites work @@
+Structural stability for the splash singularities of the water waves problem
+Normal rank
@@ Property / cites work @@
+Rayleigh-Taylor breakdown for the Muskat problem with applications to water waves
+Normal rank
@@ Property / cites work @@
+Existence and regularity of rotating global solutions for the generalized surface quasi-geostrophic equations
+Normal rank
@@ Property / cites work @@
+Uniformly rotating analytic global patch solutions for active scalars
+Normal rank
@@ Property / cites work @@
+Global Smooth Solutions for the Inviscid SQG                     Equation
+Normal rank
@@ Property / cites work @@
+Uniformly rotating smooth solutions for the incompressible 2D Euler equations
+Normal rank
@@ Property / cites work @@
+Remarks on geometric properties of SQG sharp fronts and \(\alpha\)-patches
+Normal rank
@@ Property / cites work @@
+The quasi-geostrophic equation in the Triebel Lizorkin spaces
+Normal rank
@@ Property / cites work @@
+Well-posedness of the Muskat problem with \(H^2\) initial data
+Normal rank
@@ Property / cites work @@
+On the Muskat problem: Global in time results in 2D and 3D
+Normal rank
@@ Property / cites work @@
+On the global existence for the Muskat problem
@@ Property / cites work: On the global existence for the Muskat problem / rank @@
+Normal rank
@@ Property / cites work @@
+Global regularity for 2D Muskat equations with finite slope
+Normal rank
@@ Property / cites work @@
+New numerical results for the surface quasi-geostrophic equation
+Normal rank
@@ Property / cites work @@
+Formation of strong fronts in the 2-D quasigeostrophic thermal active scalar
+Normal rank
@@ Property / cites work @@
+Uniqueness for SQG patch solutions
@@ Property / cites work: Uniqueness for SQG patch solutions / rank @@
+Normal rank
@@ Property / cites work @@
+Nonexistence of simple hyperbolic blow-up for the quasi-geostrophic equation
+Normal rank
@@ Property / cites work @@
+Growth of solutions for QG and 2D Euler equations
@@ Property / cites work: Growth of solutions for QG and 2D Euler equations / rank @@
+Normal rank
@@ Property / cites work @@
+Almost sharp fronts for the surface quasi-geostrophic equation
+Normal rank
@@ Property / cites work @@
+Evidence of singularities for a family of contour dynamics equations
+Normal rank
@@ Property / cites work @@
+Contour dynamics of incompressible 3-D fluids in a porous medium with different densities
+Normal rank
@@ Property / cites work @@
+A maximum principle for the Muskat problem for fluids with different densities
+Normal rank
@@ Property / cites work @@
+Absence of squirt singularities for the multi-phase Muskat problem
+Normal rank
@@ Property / cites work @@
+A note on stability shifting for the Muskat problem
+Normal rank
@@ Property / cites work @@
+A note on stability shifting for the Muskat problem. II: From stable to unstable and back to stable
+Normal rank
@@ Property / cites work @@
+The confined Muskat problem: differences with the deep water regime
+Normal rank
@@ Property / cites work @@
+Global well-posedness for the 2D stable Muskat problem in $H^{3/2}$
+Normal rank
@@ Property / cites work @@
+Non-splat singularity for the one-phase Muskat problem
+Normal rank
@@ Property / cites work @@
+On the splash and splat singularities for the one-phase inhomogeneous Muskat problem
+Normal rank
@@ Property / cites work @@
+A quasi-solution approach to nonlinear problems—the case of the Blasius similarity solution
+Normal rank
@@ Property / cites work @@
+Analytical Approximation of the Blasius Similarity Solution with Rigorous Error Bounds
+Normal rank
@@ Property / cites work @@
+Bifurcation from simple eigenvalues
@@ Property / cites work: Bifurcation from simple eigenvalues / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation
+Normal rank
@@ Property / cites work @@
+Doubly connected V-states for the generalized surface quasi-geostrophic equations
+Normal rank
@@ Property / cites work @@
+An analytical and numerical study of steady patches in the disc
+Normal rank
@@ Property / cites work @@
+Doubly Connected $V$-States for the Planar Euler Equations
+Normal rank
@@ Property / cites work @@
+An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations
+Normal rank
@@ Property / cites work @@
+On the Two‐Dimensional Muskat Problem with Monotone Large Initial Data
+Normal rank
@@ Property / cites work @@
+Imperfect bifurcation for the quasi-geostrophic shallow-water equations
+Normal rank
@@ Property / cites work @@
+Stability of vortices in equilibrium with a cylinder
+Normal rank
@@ Property / cites work @@
+On the parabolicity of the Muskat problem: Well-posedness, fingering, and stability results
+Normal rank
@@ Property / cites work @@
+Relativistic stability of matter. I
@@ Property / cites work: Relativistic stability of matter. I / rank @@
+Normal rank
@@ Property / cites work @@
+The spine of an SQG almost-sharp front
@@ Property / cites work: The spine of an SQG almost-sharp front / rank @@
+Normal rank
@@ Property / cites work @@
+Almost sharp fronts for SQG: the limit equations
@@ Property / cites work: Almost sharp fronts for SQG: the limit equations / rank @@
+Normal rank
@@ Property / cites work @@
+Aperiodicity of the Hamiltonian flow in the Thomas-Fermi potential
+Normal rank
@@ Property / cites work @@
+Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
+Normal rank
@@ Property / cites work @@
+A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the existence of traveling wave solutions to the scalar Euler equations with artificial viscosity
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition
+Normal rank
@@ Property / cites work @@
+MPFR
@@ Property / cites work: MPFR / rank @@
+Normal rank
@@ Property / cites work @@
+Nonlinear stability of the Muskat problem with capillary pressure at the free boundary
+Normal rank
@@ Property / cites work @@
+Homotopy hyperbolic 3-manifolds are hyperbolic
@@ Property / cites work: Homotopy hyperbolic 3-manifolds are hyperbolic / rank @@
+Normal rank
@@ Property / cites work @@
+A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
+Normal rank
@@ Property / cites work @@
+Existence for the \(\alpha \)-patch model and the QG sharp front in Sobolev spaces
+Normal rank
@@ Property / cites work @@
+A survey for the Muskat problem and a new estimate
+Normal rank
@@ Property / cites work @@
+On the Muskat problem with viscosity jump: global in time results
+Normal rank
@@ Property / cites work @@
+Absence of splash singularities for surface quasi-geostrophic sharp fronts and the Muskat problem
+Normal rank
@@ Property / cites work @@
+Non uniform rotating vortices and periodic orbits for the two-dimensional Euler equations
+Normal rank
@@ Property / cites work @@
+On the existence of stationary patches
@@ Property / cites work: On the existence of stationary patches / rank @@
+Normal rank
@@ Property / cites work @@
+On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Global Existence for the Confined Muskat Problem
@@ Property / cites work: Global Existence for the Confined Muskat Problem / rank @@
+Normal rank
@@ Property / cites work @@
+Smooth Travelling-Wave Solutions to the Inviscid Surface Quasi-Geostrophic Equation
+Normal rank
@@ Property / cites work @@
+A proof of the Kepler conjecture
@@ Property / cites work: A proof of the Kepler conjecture / rank @@
+Normal rank
@@ Property / cites work @@
+An algorithm to generate canonical transformations: Application to normal forms
+Normal rank
@@ Property / cites work @@
+The parameterization method for invariant manifolds. From rigorous results to effective computations
+Normal rank
@@ Property / cites work @@
+A parameterization method for the computation of invariant tori and their whiskers in quasi-periodic maps: rigorous results
+Normal rank
@@ Property / cites work @@
+A Parameterization Method for the Computation of Invariant Tori and Their Whiskers in Quasi‐Periodic Maps: Explorations and Mechanisms for the Breakdown of Hyperbolicity
+Normal rank
@@ Property / cites work @@
+Double bubbles minimize
@@ Property / cites work: Double bubbles minimize / rank @@
+Normal rank
@@ Property / cites work @@
+On the V-states for the generalized quasi-geostrophic equations
+Normal rank
@@ Property / cites work @@
+Bifurcation of rotating patches from Kirchhoff vortices
+Normal rank
@@ Property / cites work @@
+Degenerate bifurcation of the rotating patches
@@ Property / cites work: Degenerate bifurcation of the rotating patches / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of corotating and counter-rotating vortex pairs for active scalar equations
+Normal rank
@@ Property / cites work @@
+Boundary regularity of rotating vortex patches
@@ Property / cites work: Boundary regularity of rotating vortex patches / rank @@
+Normal rank
@@ Property / cites work @@
+On rotating doubly connected vortices
@@ Property / cites work: On rotating doubly connected vortices / rank @@
+Normal rank
@@ Property / cites work @@
+Existence of small loops in a bifurcation diagram near degenerate eigenvalues
+Normal rank
@@ Property / cites work @@
+Numerical Software with Result Verification
@@ Property / cites work: Numerical Software with Result Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Self-similar singularity of a 1D model for the 3D axisymmetric Euler equations
+Normal rank
@@ Property / cites work @@
+Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
+Normal rank
@@ Property / cites work @@
+A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
+Normal rank
@@ Property / cites work @@
+A Simple Energy Pump for the Surface Quasi-geostrophic Equation
+Normal rank
@@ Property / cites work @@
+Two adaptive Gauss-Legendre type algorithms for the verified computation of definite integrals
+Normal rank
@@ Property / cites work @@
+A computer-assisted proof of the Feigenbaum conjectures
+Normal rank
@@ Property / cites work @@
+Q2738487
@@ Property / cites work: Q2738487 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence theorems for the 2D quasi-geostrophic equation with plane wave initial conditions
+Normal rank
@@ Property / cites work @@
+An efficient and general numerical method to compute steady uniform vortices
+Normal rank
@@ Property / cites work @@
+Q4463457
@@ Property / cites work: Q4463457 / rank @@
+Normal rank
@@ Property / cites work @@
+Existence and regularity of weak solutions to the quasi-geostrophic equations in the spaces \(L^p\) or \(\dot{H}^{-1/2}\)
+Normal rank
@@ Property / cites work @@
+The Muskat problem in two dimensions: equivalence of formulations, well-posedness, and regularity results
+Normal rank
@@ Property / cites work @@
+Q3207999
@@ Property / cites work: Q3207999 / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to The Numerical Verification of Solutions for Nonlinear Elliptic Problems With Local Uniqueness
+Normal rank
@@ Property / cites work @@
+Global flows with invariant measures for the inviscid modified SQG equations
+Normal rank
@@ Property / cites work @@
+NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS
+Normal rank
@@ Property / cites work @@
+Taylor forms -- use and limits.
@@ Property / cites work: Taylor forms -- use and limits. / rank @@
+Normal rank
@@ Property / cites work @@
+Large time decay estimates for the Muskat equation
+Normal rank
@@ Property / cites work @@
+Q3867381
@@ Property / cites work: Q3867381 / rank @@
+Normal rank
@@ Property / cites work @@
+Local-existence for the inhomogeneous Muskat problem
+Normal rank
@@ Property / cites work @@
+Relative equilibria with holes for the surface quasi-geostrophic equations
+Normal rank
@@ Property / cites work @@
+Motivations for an arbitrary precision interval arithmetic and the MPFI library
+Normal rank
@@ Property / cites work @@
+On the evolution of sharp fronts for the quasi‐geostrophic equation
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Obtuse Triangular Billiards II: One Hundred Degrees Worth of Periodic Trajectories
+Normal rank
@@ Property / cites work @@
+A scenario for finite-time singularity in the quasigeostrophic model
+Normal rank
@@ Property / cites work @@
+Global existence, singular solutions, and ill-posedness for the Muskat problem
+Normal rank
@@ Property / cites work @@
+Q2770240
@@ Property / cites work: Q2770240 / rank @@
+Normal rank
@@ Property / cites work @@
+A rigorous ODE solver and Smale's 14th problem
@@ Property / cites work: A rigorous ODE solver and Smale's 14th problem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Stationary Coexistence of Hexagons and Rolls via Rigorous Computations
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem
+Normal rank
@@ Property / cites work @@
+Steady-state solutions of the Euler equations in two dimensions: Rotating and translating V-states with limiting cases. I: Numerical algorithms and results
+Normal rank
@@ Property / cites work @@
+Quasi-geostrophic-type equations with initial data in Morrey spaces
+Normal rank
@@ Property / cites work @@
+Solutions of the 2D quasi-geostrophic equation in Hölder spaces
+Normal rank
@@ Property / cites work @@
+Numerical verifications for solutions to elliptic equations using residual iterations with a higher order finite element
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
+Normal rank