Abstract
A numerical verification method of steady state solutions for a system of reaction-diffusion equations is described. Using a decoupling technique, the system is reduced to a single nonlinear equation and a computer-assisted method for second-order elliptic boundary value problems based on the infinite dimensional fixed-point theorem can be applied. Some numerical examples confirm the effectiveness of the method.
Original language | English |
---|---|
Pages (from-to) | 233-247 |
Number of pages | 15 |
Journal | Japan Journal of Industrial and Applied Mathematics |
Volume | 26 |
Issue number | 2-3 |
DOIs | |
Publication status | Published - Oct 2009 |
All Science Journal Classification (ASJC) codes
- Engineering(all)
- Applied Mathematics