Rigorous FEM for One-Dimensional Burgers Equation
DOI10.1137/20M1338216MaRDI QIDQ5004526
Piotr Kalita, Piotr Zgliczyński
Publication date: 2 August 2021
Published in: SIAM Journal on Applied Dynamical Systems (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2004.01280
KdV equations (Korteweg-de Vries equations) (35Q53) Periodic solutions to PDEs (35B10) Finite element, Rayleigh-Ritz and Galerkin methods for initial value and initial-boundary value problems involving PDEs (65M60) General theory of infinite-dimensional dissipative dynamical systems, nonlinear semigroups, evolution equations (37L05) Discretization methods and integrators (symplectic, variational, geometric, etc.) for dynamical systems (37M15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs
- Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Computer-assisted proofs for semilinear elliptic boundary value problems
- Averaging of nonautonomous damped wave equations with singularly oscillating external forces
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Validated continuation over large parameter ranges for equilibria of PDEs
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof
- On the best constant in the error bound for the \(H_0^1\)-projection into piecewise polynomial spaces
- Infinite-dimensional dynamical systems in mechanics and physics.
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation
- \(C^1\) Lohner algorithm.
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Spontaneous periodic orbits in the Navier-Stokes flow
- On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems
- Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation
- Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates
- Integration of Dissipative Partial Differential Equations: A Case Study
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem
- On non-autonomously forced Burgers equation with periodic and Dirichlet boundary conditions
- Distributed and boundarycontrol of the viscous burgers' equation
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model
- An Introduction to Partial Differential Equations
- Dynamics of a nonlinear convection-diffusion equation in multidimensional bounded domains
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Asymptotic behavior of the global attractors to the Boussinesq system for Rayleigh‐Bénard convection at large Prandtl number
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory
- Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE
- Nonlinear partial differential equations with applications
- Distributed control problems for the Burgers equation
- Rigorous numerics for partial differential equations: The Kuramoto-Sivashinsky equation
This page was built for publication: Rigorous FEM for One-Dimensional Burgers Equation
