### Abstract

A numerical verification method of the solution for the stationary Navier-Stokes equations is described. This method is based on the infinite dimensional fixed point theorem using the Newton-like operator. We present a verification algorithm which generates automatically on a computer a set including the exact solution. Some numerical examples are also discussed.

Original language | English |
---|---|

Pages (from-to) | 347-357 |

Number of pages | 11 |

Journal | Reliable Computing |

Volume | 5 |

Issue number | 3 |

Publication status | Published - 1999 Aug |

Externally published | Yes |

### Fingerprint

### ASJC Scopus subject areas

- Software
- Safety, Risk, Reliability and Quality

### Cite this

*Reliable Computing*,

*5*(3), 347-357.

**A Numerical Verification Method of Solutions for the Navier-Stokes Equations.** / Watanabe, Yoshitaka; Yamamoto, Nobito; Nakao, Mitsuhiro T.

Research output: Contribution to journal › Article

*Reliable Computing*, vol. 5, no. 3, pp. 347-357.

}

TY - JOUR

T1 - A Numerical Verification Method of Solutions for the Navier-Stokes Equations

AU - Watanabe, Yoshitaka

AU - Yamamoto, Nobito

AU - Nakao, Mitsuhiro T.

PY - 1999/8

Y1 - 1999/8

N2 - A numerical verification method of the solution for the stationary Navier-Stokes equations is described. This method is based on the infinite dimensional fixed point theorem using the Newton-like operator. We present a verification algorithm which generates automatically on a computer a set including the exact solution. Some numerical examples are also discussed.

AB - A numerical verification method of the solution for the stationary Navier-Stokes equations is described. This method is based on the infinite dimensional fixed point theorem using the Newton-like operator. We present a verification algorithm which generates automatically on a computer a set including the exact solution. Some numerical examples are also discussed.

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

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

M3 - Article

VL - 5

SP - 347

EP - 357

JO - Reliable Computing

JF - Reliable Computing

SN - 1385-3139

IS - 3

ER -