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
Navier-Stokes equationglobal regularitya posteriori analysisfourth-order nonlinear parabolic partial differential equationsurface growth equation
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)
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