Rigorous numerical verification of uniqueness and smoothness in a surface growth model

DOI10.1016/j.jmaa.2015.04.025zbMath1315.65092arXiv1311.2205OpenAlexW2963296350MaRDI QIDQ2345484

Dirk Blömker, James C. Robinson, Christian Nolde

Publication date: 22 May 2015

Published in: Journal of Mathematical Analysis and Applications (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.2205

zbMATH Keywords

Navier-Stokes equationglobal regularitya posteriori analysisfourth-order nonlinear parabolic partial differential equationsurface growth equation

Mathematics Subject Classification ID

Nonlinear parabolic equations (35K55) Navier-Stokes equations (35Q30) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99)

Related Items (14)

Local-in-time existence for the non-resistive incompressible magneto-micropolar fluids. ⋮ Rigorous numerics for nonlinear heat equations in the complex plane of time ⋮ Robustness of regularity for the 3D convective Brinkman-Forchheimer equations ⋮ On the local existence of 3D magnetic Bénard system with Hall, ion-slip effects and zero thermal conductivity ⋮ On the dynamics of aeolian sand ripples ⋮ Stochastic PDEs and lack of regularity: a surface growth equation with noise: existence, uniqueness, and blow-up ⋮ Results on local well-posedness for the incompressible Navier-Stokes-Fokker-Planck system ⋮ On the well-posedness of the incompressible viscoelastic flows ⋮ Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces ⋮ Numerically computable a posteriori-bounds for the stochastic Allen-Cahn Equation ⋮ On the local well-posedness of strong solutions to 3D MHD equations with Hall and ion-slip effects ⋮ On approximate solutions of the equations of incompressible magnetohydrodynamics ⋮ Finite time blow-up of complex solutions of the conserved Kuramoto–Sivashinsky equation in ℝ^d and in the torus 𝕋^d, d ⩾ 1 ⋮ Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model

Cites Work

• On a posteriori estimates of inverse operators for linear parabolic initial-boundary value problems
• On approximate solutions of the incompressible Euler and Navier-Stokes equations
• Local existence and uniqueness in the largest critical space for a surface growth model
• An \(H^1\) setting for the Navier-Stokes equations: quantitative estimates
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• Rigorous numerics for the Cahn-Hilliard equation on the unit square
• Markovianity and ergodicity for a surface growth PDE
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Regularity and blow up in a surface growth model
• Solutions of the 3D Navier-Stokes equations for initial data in \(\dot H^{1/2}\): robustness of regularity and numerical verification of regularity for bounded sets of initial data in
• Global solutions in higher dimensions to a fourth-order parabolic equation modeling epitaxial thin-film growth
• Validated Continuation for Equilibria of PDEs
• A posteriori regularity of the three-dimensional Navier–Stokes equations from numerical computations
• ON APPROXIMATE SOLUTIONS OF SEMILINEAR EVOLUTION EQUATIONS II: GENERALIZATIONS, AND APPLICATIONS TO NAVIER–STOKES EQUATIONS
• An A Posteriori Condition on the Numerical Approximations of the Navier–Stokes Equations for the Existence of a Strong Solution
• Well-posedness for the Navier-Stokes equations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Rigorous numerical verification of uniqueness and smoothness in a surface growth model