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

DOI10.1016/J.JMAA.2015.04.025MaRDI QIDQ2345484zbMATH OpenOpenAlexFDO

Authors D. Blömker, Christian Nolde, James C. Robinson

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

Navier-Stokes equations (35Q30) Nonlinear parabolic equations (35K55) 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)

Abstract: Based on numerical data and a-posteriori analysis we verify rigorously the uniqueness and smoothness of global solutions to a scalar surface growth model with striking similarities to the 3D Navier--Stokes equations, for certain initial data for which analytical approaches fail. The key point is the derivation of a scalar ODE controlling the norm of the solution, whose coefficients depend on the numerical data. Instead of solving this ODE explicitly, we explore three different numerical methods that provide rigorous upper bounds for its solution

Recommendations

• Global regularity and uniqueness of solutions in a surface growth model using rigorous a-posteriori methods
• Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
• On regularity properties of a surface growth model
• Regularity and blow up in a surface growth model
• New regularity criterion for suitable weak solutions of the surface growth model
• Partial regularity for a surface growth model
• Local existence and uniqueness in the largest critical space for a surface growth model
• A sufficient integral condition for local regularity of solutions to the surface growth model
• On the higher derivatives estimate of the surface growth equation

Cites work

• scientific article; zbMATH DE number 5354249 (Why is no real title available?)
• scientific article; zbMATH DE number 194032 (Why is no real title available?)
• scientific article; zbMATH DE number 5785599 (Why is no real title available?)
• A posteriori regularity of the three-dimensional Navier–Stokes equations from numerical computations
• An \(H^1\) setting for the Navier-Stokes equations: quantitative estimates
• An a posteriori condition on the numerical approximations of the Navier-Stokes equations for the existence of a strong solution
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• Global solutions in higher dimensions to a fourth-order parabolic equation modeling epitaxial thin-film growth
• Local existence and uniqueness in the largest critical space for a surface growth model
• Markovianity and ergodicity for a surface growth PDE
• ON APPROXIMATE SOLUTIONS OF SEMILINEAR EVOLUTION EQUATIONS II: GENERALIZATIONS, AND APPLICATIONS TO NAVIER–STOKES EQUATIONS
• 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
• Regularity and blow up in a surface growth model
• 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
• 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
• Validated Continuation for Equilibria of PDEs
• Well-posedness for the Navier-Stokes equations

Cited in

(17)

• Stochastic PDEs and lack of regularity: a surface growth equation with noise: existence, uniqueness, and blow-up
• Robustness of regularity for the 3D convective Brinkman-Forchheimer equations
• 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
• Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model
• About classical solutions for high order conserved Kuramoto-Sivashinsky type equation
• Ooid growth: Uniqueness of time-invariant, smooth shapes in 2D
• On approximate solutions of the equations of incompressible magnetohydrodynamics
• Rigorous numerics for nonlinear heat equations in the complex plane of time
• Results on local well-posedness for the incompressible Navier-Stokes-Fokker-Planck system
• Finite time blow-up of complex solutions of the conserved Kuramoto–Sivashinsky equation in ℝ^d and in the torus 𝕋^d, d ⩾ 1
• Local-in-time existence for the non-resistive incompressible magneto-micropolar fluids.
• On the dynamics of aeolian sand ripples
• On the local existence of 3D magnetic Bénard system with Hall, ion-slip effects and zero thermal conductivity
• Local existence for the non-resistive MHD equations in nearly optimal Sobolev spaces
• On the well-posedness of the incompressible viscoelastic flows
• Global regularity and uniqueness of solutions in a surface growth model using rigorous a-posteriori methods

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2345484)