A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow

Yoshitaka Watanabe; Kaori Nagatou; Michael Plum; Mitsuhiro T. Nakao

doi:10.1587/nolta.2.123

Special Section on Recent Progress in Verified Numerical Computations

A computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow

Yoshitaka Watanabe, Kaori Nagatou, Michael Plum, Mitsuhiro T. Nakao

著者情報

キーワード: Orr-Sommerfeld equation, stability proof, eigenvalue excluding method

ジャーナルフリー

2011 年 2 巻 1 号 p. 123-127

DOI https://doi.org/10.1587/nolta.2.123

詳細

抄録

This short note describes a computer-assisted stability proof for the Orr-Sommerfeld problem with Poiseuille flow. It is an application of a numerical verification technique for second-order elliptic boundary value problems introduced by a part of the authors.

責任著者(Corresponding author)

訂正情報

J-STAGEへの登録はこちら（無料）