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.
|Number of pages||15|
|Journal||Japan Journal of Industrial and Applied Mathematics|
|Publication status||Published - Jan 1 2009|
All Science Journal Classification (ASJC) codes
- Applied Mathematics