Abstract
This paper presents a fast verification algorithm for nonlinear equations with saddle point functions. This algorithm is based on a block decomposition of the Krawczyk-type interval operator, which can be applied to convex programming problems and nonlinear Navier-Stokes equations. We show the efficiency of this algorithm by comparing it with the Krawczyk method and the interval Newton-like method for the discretized stationary Navier-Stokes equations.
Original language | English |
---|---|
Pages (from-to) | 13-24 |
Number of pages | 12 |
Journal | Journal of Computational and Applied Mathematics |
Volume | 159 |
Issue number | 1 |
DOIs | |
Publication status | Published - 1 Oct 2003 |
Externally published | Yes |
Keywords
- Nonlinear equation
- Saddle point matrix
- Verification method
ASJC Scopus subject areas
- Computational Mathematics
- Applied Mathematics