Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof

DOI10.1137/14096699XzbMath1312.65170arXiv1403.7170OpenAlexW3102703046MaRDI QIDQ5249807

Jacek Cyranka, Piotr Zgliczyński

Publication date: 12 May 2015

Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)

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

zbMATH Keywords

attractorinterval arithmeticperiodic boundary conditionsviscous Burgers equationrigorous numericscomputer assisted prooflogarithmic normself-consistent boundsnonautonomous forcing

Mathematics Subject Classification ID

Asymptotic behavior of solutions to PDEs (35B40) KdV equations (Korteweg-de Vries equations) (35Q53) General methods in interval analysis (65G40) Numerical methods for partial differential equations, initial value and time-dependent initial-boundary value problems (65M99) Topological dynamics of nonautonomous systems (37B55)

Related Items (12)

Non-radial solutions for some semilinear elliptic equations on the disk ⋮ Stabilizing effect of large average initial velocity in forced dissipative PDEs invariant with respect to Galilean transformations ⋮ A construction of two different solutions to an elliptic system ⋮ Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits ⋮ Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model ⋮ On the stationary solutions and inviscid limit for the generalized Proudman-Johnson equation with \(O(1)\) forcing ⋮ Families of Periodic Solutions for Some Hamiltonian PDEs ⋮ On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions ⋮ Spectral stability for the wave equation with periodic forcing ⋮ Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations ⋮ On the generalized Burgers-Huxley equation: existence, uniqueness, regularity, global attractors and numerical studies ⋮ Rigorous FEM for One-Dimensional Burgers Equation

Uses Software

• CAPD

Cites Work

• Existence of globally attracting fixed points of viscous Burgers equation with constant forcing. A computer assisted proof
• Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
• A geometric method for detecting chaotic dynamics
• A Lohner-type algorithm for control systems and ordinary differential inclusions
• Two results concerning asymptotic behavior of solutions of the Burgers equation with force
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Periodic and bounded solutions in blocks for time-periodic nonautonomous ordinary differential equations
• Attracting Fixed Points for the Kuramoto--Sivashinsky Equation: A Computer Assisted Proof
• Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof