A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036): Difference between revisions

Latest revision as of 09:32, 30 July 2024

scientific article; zbMATH DE number 6744349

Language	Label	Description	Also known as
English	A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations	scientific article; zbMATH DE number 6744349

Statements

instance of

scholarly article

0 references

title

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (English)

0 references

author

Jordi-Lluís Figueras

0 references

Marcio Gameiro

0 references

Jean-Philippe Lessard

0 references

Rafael de la Llave

0 references

published in

SIAM Journal on Applied Dynamical Systems

0 references

publication date

13 July 2017

0 references

full work available at URL

https://arxiv.org/abs/1605.01086

0 references

zbMATH Keywords

evolution equation

0 references

periodic orbits

0 references

contraction mapping

0 references

invariant manifolds

0 references

rigorous computations

0 references

interval analysis

0 references

computer-assisted proofs

0 references

semilinear

0 references

equilibrium points

0 references

traveling waves

0 references

fixed points

0 references

preconditioners

0 references

describes a project that uses

Chebfun

0 references

MaRDI profile type

MaRDI publication profile

0 references

cites work

Q2784320

0 references

Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation

0 references

Integration of Dissipative Partial Differential Equations: A Case Study

0 references

A topological method for rigorously computing periodic orbits using Fourier modes

0 references

Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models

0 references

Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system

0 references

Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.

0 references

The parameterization method for invariant manifolds I: Manifolds associated to non-resonant subspaces

0 references

The parameterization method for invariant manifolds. III: Overview and applications

0 references

Q2891137

0 references

Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation

0 references

A method to rigorously enclose eigendecompositions of interval matrices

0 references

Q4434436

0 references

Universal properties of maps on an interval

0 references

Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof

0 references

Rigorous Numerics for Global Dynamics: A Study of the Swift--Hohenberg Equation

0 references

A Rigorous Numerical Method for the Global Analysis of Infinite-Dimensional Discrete Dynamical Systems

0 references

Rigorous Computation of the Global Dynamics of Integrodifference Equations with Smooth Nonlinearities

0 references

Validated Continuation for Equilibria of PDEs

0 references

Invariant manifolds associated to nonresonant spectral subspaces

0 references

A smooth center manifold theorem which applies to some ill-posed partial differential equations with unbounded nonlinearities

0 references

An a posteriori KAM theorem for whiskered tori in Hamiltonian partial differential equations with applications to some ill-posed equations

0 references

A computer-assisted proof of universality for area-preserving maps

0 references

A Unified Framework for a posteriori Error Estimation in Elliptic and Parabolic Problems with Application to Finite Volumes

0 references

Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation

0 references

Reliable Computation of Robust Response Tori on the Verge of Breakdown

0 references

A method for the study of whiskered quasi-periodic and almost-periodic solutions in finite and infinite dimensional Hamiltonian systems

0 references

A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE

0 references

Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs

0 references

Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation

0 references

Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates

0 references

The parameterization method for invariant manifolds. From rigorous results to effective computations

0 references

Geometric theory of semilinear parabolic equations

0 references

A numerically based existence theorem for the Navier-Stokes equations

0 references

Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach

0 references

Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight

0 references

Perturbation theory for linear operators.

0 references

A Priori and A Posteriori Analysis of Mixed Finite Element Methods for Nonlinear Elliptic Equations

0 references

A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Bénard problems

0 references

Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation

0 references

Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

Rigorous numerics for the Cahn-Hilliard equation on the unit square

0 references

Q4808034

0 references

Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits

0 references

Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds

0 references

Rigorous A Posteriori Computation of (Un)Stable Manifolds and Connecting Orbits for Analytic Maps

0 references

Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation

0 references

NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS

0 references

A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems

0 references

Constructive A Priori Error Estimates for a Full Discrete Approximation of the Heat Equation

0 references

An efficient approach to the numerical verification for solutions of elliptic differential equations

0 references

Chebfun: A New Kind of Numerical Computing

0 references

Computer-assisted enclosure methods for elliptic differential equations

0 references

Q2721307

0 references

Dynamics of evolutionary equations

0 references

Q4332942

0 references

Nonlinear analysis of hydrodynamic instability in laminar flames—I. Derivation of basic equations

0 references

Q4314474

0 references

Stationary Coexistence of Hexagons and Rolls via Rigorous Computations

0 references

Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem

0 references

Rigorous Numerics for Symmetric Connecting Orbits: Even Homoclinics of the Gray–Scott Equation

0 references

A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations

0 references

Q4428778

0 references

A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem

0 references

\(C^1\) Lohner algorithm.

0 references

Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof

0 references

Covering relations, cone conditions and the stable manifold theorem

0 references

Rigorous numerics for dissipative PDEs. III: An effective algorithm for rigorous integration of dissipative PDEs

0 references

Identifiers

zbMATH Open document ID

1370.65046

0 references

DOI

10.1137/16M1073777

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5278036

Revision as of 02:28, 14 July 2024 ReferenceBot (talk \| contribs) Bots 1,895,659 edits ‎Changed an Item ← Older edit	Latest revision as of 09:32, 30 July 2024 Openalex240730090724 (talk \| contribs) 579,206 edits Set OpenAlex properties.
	Property / OpenAlex ID
		W2964050520
	Property / OpenAlex ID: W2964050520 / rank
		Normal rank