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

Author information

Keywords: Orr-Sommerfeld equation, stability proof, eigenvalue excluding method

JOURNAL FREE ACCESS

2011 Volume 2 Issue 1 Pages 123-127

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

Details

Abstract

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

Correction information

Register with J-STAGE for free!