Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof

DOI10.12775/TMNA.2015.031zbMATH Open1365.65220arXiv1310.3514MaRDI QIDQ526068FDOQ526068

Authors: Jacek Cyranka 

Publication date: 8 May 2017

Published in: Topological Methods in Nonlinear Analysis (Search for Journal in Brave)

Abstract: We present a computer assisted method for proving the existence of globally attracting fixed points of dissipative PDEs. An application to the viscous Burgers equation with periodic boundary conditions and a forcing function constant in time is presented as a case study. We establish the existence of a locally attracting fixed point by using rigorous numerics techniques. To prove that the fixed point is, in fact, globally attracting we introduce a technique relying on a construction of an absorbing set, capturing any sufficiently regular initial condition after a finite time. Then the absorbing set is rigorously integrated forward in time to verify that any sufficiently regular initial condition is in the basin of attraction of the fixed point.

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

Recommendations

• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
• On the global dynamics of a controlled viscous Burgers' equation
• Forced oscillation of viscous Burgers' equation with a time-periodic force
• On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions

zbMATH Keywords

numerical examplesfixed pointrigorous numericsGalerkin projectioncomputer assisted proofdissipative PDEviscous Burgers equation

Mathematics Subject Classification ID

KdV equations (Korteweg-de Vries equations) (35Q53) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60)

Cited In (11)

• Validated integration of semilinear parabolic PDEs
• On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions
• Computer-assisted proof of heteroclinic connections in the one-dimensional Ohta-Kawasaki model
• Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations
• On the generalized Burgers-Huxley equation: existence, uniqueness, regularity, global attractors and numerical studies
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory

This page was built for publication: Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof

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