Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
Numerical computation of solutions to systems of equations (65H10) Electro- and magnetostatics (78A30) Existence problems for PDEs: global existence, local existence, non-existence (35A01) Traveling wave solutions (35C07) PDEs in connection with optics and electromagnetic theory (35Q60) Free boundary problems for PDEs (35R35) Moving boundary problems for PDEs (35R37) Best approximation, Chebyshev systems (41A50) Fixed-point theorems (47H10) Spectral, collocation and related methods for boundary value problems involving PDEs (65N35) Motion of charged particles (78A35) Interval and finite arithmetic (65G30) Algorithms with automatic result verification (65G20) Electrochemistry (78A57)
- On the existence of solutions for a drift-diffusion system arising in corrosion modeling
- The Existence of Travelling Wave Solutions of a Generalized Phase-Field Model
- The existence of solutions to a corrosion model
- Mathematical and numerical study of a corrosion model
- Travelling waves in a reaction-diffusion model for electrodeposition
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- A Numerical Verification Method for Solutions of Boundary Value Problems with Local Uniqueness by Banach's Fixed-Point Theorem
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Approximation theory and approximation practice
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions
- Computer-Assisted Proofs in Analysis and Programming in Logic: A case Study
- Computer-assisted bifurcation diagram validation and applications in materials science
- Computer-assisted proofs in PDE: a survey
- Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system
- Global smooth solution curves using rigorous branch following
- Mathematical and numerical study of a corrosion model
- Numerical methods for the simulation of a corrosion model with moving oxide layer
- Numerical verification methods and computer-assisted proofs for partial differential equations
- Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem
- Rigorous numerics for nonlinear differential equations using Chebyshev series
- Rigorous numerics in dynamics
- Rigorous validation of stochastic transition paths
- Study of a pseudo-stationary state for a corrosion model: existence and numerical approximation
- Two novel methods and multi-mode periodic solutions for the Fermi-Pasta-Ulam model
- Uniqueness and bifurcation branches for planar steady Navier-Stokes equations under Navier boundary conditions
- Validated Continuation for Equilibria of PDEs
- Validated numerics. A short introduction to rigorous computations.
- Verification methods: rigorous results using floating-point arithmetic
This page was built for publication: Existence of traveling wave solutions for the diffusion Poisson coupled model: a computer-assisted proof
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5074385)
