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

DOI10.1016/J.JMAA.2015.04.025zbMATH Open1315.65092arXiv1311.2205OpenAlexW2963296350MaRDI QIDQ2345484FDOQ2345484

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)

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

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

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

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)

Cites Work

• Title not available (Why is that?)
• Well-posedness for the Navier-Stokes equations
• 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
• A posteriori regularity of the three-dimensional Navier–Stokes equations from numerical computations
• An a posteriori condition on the numerical approximations of the Navier-Stokes equations for the existence of a strong solution
• Rigorous numerics for the Cahn-Hilliard equation on the unit square
• Title not available (Why is that?)
• On approximate solutions of the incompressible Euler and Navier-Stokes equations
• An \(H^1\) setting for the Navier-Stokes equations: quantitative estimates
• Validated Continuation for Equilibria of PDEs
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
• 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
• Regularity and blow up in a surface growth model
• 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
• Title not available (Why is that?)

Cited In (16)

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

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)