Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385): Difference between revisions

Latest revision as of 21:37, 28 July 2024

scientific article; zbMATH DE number 7523511

Language	Label	Description	Also known as
English	Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof	scientific article; zbMATH DE number 7523511

Statements

instance of

scholarly article

0 references

title

Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (English)

0 references

author

Maxime Breden

0 references

Claire Chainais-Hillairet

0 references

Antoine Zurek

0 references

published in

ESAIM: Mathematical Modelling and Numerical Analysis

0 references

publication date

9 May 2022

0 references

zbMATH Keywords

rigorous numerics

0 references

corrosion model

0 references

traveling wave solutions

0 references

spectral methods

0 references

fixed-point argument

0 references

describes a project that uses

0 references

0 references

0 references

MaRDI publication profile

0 references

full work available at URL

https://doi.org/10.1051/m2an/2021037

0 references

cites work

Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model

0 references

Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions

0 references

Numerical methods for the simulation of a corrosion model with moving oxide layer

0 references

Rigorous validation of stochastic transition paths

0 references

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

0 references

Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof

0 references

Mathematical and numerical study of a corrosion model

0 references

Study of a pseudo-stationary state for a corrosion model: existence and numerical approximation

0 references

Validated Continuation for Equilibria of PDEs

0 references

Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions

0 references

Computer-assisted proofs in PDE: a survey

0 references

Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study

0 references

Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series

0 references

Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations

0 references

Q4949347

0 references

Verification methods: Rigorous results using floating-point arithmetic

0 references

Q4904857

0 references

Q5198996

0 references

Rigorous Numerics in Dynamics

0 references

A general framework for validated continuation of periodic orbits in systems of polynomial ODEs

0 references

Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem

0 references

Global smooth solution curves using rigorous branch following

0 references

Computer-assisted bifurcation diagram validation and applications in materials science

0 references

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

0 references

Identifiers

zbMATH Open document ID

1506.35219

0 references

DOI

10.1051/m2an/2021037

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5074385

@@ Property / describes a project that uses @@
+GitHub
@@ Property / describes a project that uses: GitHub / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+galepu
@@ Property / describes a project that uses: galepu / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1051/m2an/2021037
+Normal rank
@@ Property / OpenAlex ID @@
+W3114219610
@@ Property / OpenAlex ID: W3114219610 / rank @@
+Normal rank
@@ Property / cites work @@
+Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
+Normal rank
@@ Property / cites work @@
+Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
+Normal rank
@@ Property / cites work @@
+Numerical methods for the simulation of a corrosion model with moving oxide layer
+Normal rank
@@ Property / cites work @@
+Rigorous validation of stochastic transition paths
+Normal rank
@@ Property / cites work @@
+Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
+Normal rank
@@ Property / cites work @@
+Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof
+Normal rank
@@ Property / cites work @@
+Mathematical and numerical study of a corrosion model
+Normal rank
@@ Property / cites work @@
+Study of a pseudo-stationary state for a corrosion model: existence and numerical approximation
+Normal rank
@@ Property / cites work @@
+Validated Continuation for Equilibria of PDEs
@@ Property / cites work: Validated Continuation for Equilibria of PDEs / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
+Normal rank
@@ Property / cites work @@
+Computer-assisted proofs in PDE: a survey
@@ Property / cites work: Computer-assisted proofs in PDE: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics for Nonlinear Differential Equations Using Chebyshev Series
+Normal rank
@@ Property / cites work @@
+Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
+Normal rank
@@ Property / cites work @@
+Q4949347
@@ Property / cites work: Q4949347 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification methods: Rigorous results using floating-point arithmetic
+Normal rank
@@ Property / cites work @@
+Q4904857
@@ Property / cites work: Q4904857 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5198996
@@ Property / cites work: Q5198996 / rank @@
+Normal rank
@@ Property / cites work @@
+Rigorous Numerics in Dynamics
@@ Property / cites work: Rigorous Numerics in Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
+Normal rank
@@ Property / cites work @@
+Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
+Normal rank
@@ Property / cites work @@
+Global smooth solution curves using rigorous branch following
+Normal rank
@@ Property / cites work @@
+Computer-assisted bifurcation diagram                     validation and applications in materials                     science
+Normal rank
@@ Property / cites work @@
+A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
+Normal rank