Verification methods for nonlinear equations with saddle point functions

Xiaojun Chen; Kouji Hashimoto

doi:10.1016/S0377-0427(03)00570-3

Verification methods for nonlinear equations with saddle point functions

Research output: Journal article publication › Journal article › Academic research › peer-review

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	https://doi.org/10.1016/S0377-0427(03)00570-3
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

More information

10.1016/S0377-0427(03)00570-3

Cite this

@article{6e2e3bbd0798476998e00ba6616cced3,

title = "Verification methods for nonlinear equations with saddle point functions",

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.",

keywords = "Nonlinear equation, Saddle point matrix, Verification method",

author = "Xiaojun Chen and Kouji Hashimoto",

year = "2003",

month = oct,

day = "1",

doi = "10.1016/S0377-0427(03)00570-3",

language = "English",

volume = "159",

pages = "13--24",

journal = "Journal of Computational and Applied Mathematics",

issn = "0377-0427",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Verification methods for nonlinear equations with saddle point functions

AU - Chen, Xiaojun

AU - Hashimoto, Kouji

PY - 2003/10/1

Y1 - 2003/10/1

N2 - 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.

AB - 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.

KW - Nonlinear equation

KW - Saddle point matrix

KW - Verification method

UR - http://www.scopus.com/inward/record.url?scp=0141670398&partnerID=8YFLogxK

U2 - 10.1016/S0377-0427(03)00570-3

DO - 10.1016/S0377-0427(03)00570-3

M3 - Journal article

VL - 159

SP - 13

EP - 24

JO - Journal of Computational and Applied Mathematics

JF - Journal of Computational and Applied Mathematics

SN - 0377-0427

IS - 1

ER -