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

Yoshitaka Watanabe; Michael Plum; Mitsuhiro T. Nakao

doi:10.1002/zamm.200700158

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

Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao

Research output: Contribution to journal › Article

13 Citations (Scopus)

Abstract

This paper presents a computer-assisted proof of solutions of the Orr-Sommerfeld equation describing hydrodynamic stability of Poiseuille flow. A numerical verification method for computing eigenpair enclosures for this non-selfadjoint eigenvalue problem is described. Some verification results confirm the effectiveness of the method. This constitutes the first strict mathematical instability proof for the Poiseuille flow.

Original language	English
Pages (from-to)	5-18
Number of pages	14
Journal	ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik
Volume	89
Issue number	1
DOIs	https://doi.org/10.1002/zamm.200700158
Publication status	Published - 2008 Jan
Externally published	Yes

Fingerprint

Keywords

Computer-assisted proof
Non-selfadjoint eigenvalue problem
Orr-sommerfeld equation
Poiseuille flow

ASJC Scopus subject areas

Applied Mathematics
Computational Mechanics

Cite this

Watanabe, Y., Plum, M., & Nakao, M. T. (2008). A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow. ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik, 89(1), 5-18. https://doi.org/10.1002/zamm.200700158

@article{cc2a49daab9d4df09673d5978598d73b,

title = "A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow",

abstract = "This paper presents a computer-assisted proof of solutions of the Orr-Sommerfeld equation describing hydrodynamic stability of Poiseuille flow. A numerical verification method for computing eigenpair enclosures for this non-selfadjoint eigenvalue problem is described. Some verification results confirm the effectiveness of the method. This constitutes the first strict mathematical instability proof for the Poiseuille flow.",

keywords = "Computer-assisted proof, Non-selfadjoint eigenvalue problem, Orr-sommerfeld equation, Poiseuille flow",

author = "Yoshitaka Watanabe and Michael Plum and Nakao, {Mitsuhiro T.}",

year = "2008",

month = jan

doi = "10.1002/zamm.200700158",

language = "English",

volume = "89",

pages = "5--18",

journal = "ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik",

issn = "0044-2267",

publisher = "Wiley-VCH Verlag",

number = "1",

}

TY - JOUR

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

AU - Watanabe, Yoshitaka

AU - Plum, Michael

AU - Nakao, Mitsuhiro T.

PY - 2008/1

Y1 - 2008/1

N2 - This paper presents a computer-assisted proof of solutions of the Orr-Sommerfeld equation describing hydrodynamic stability of Poiseuille flow. A numerical verification method for computing eigenpair enclosures for this non-selfadjoint eigenvalue problem is described. Some verification results confirm the effectiveness of the method. This constitutes the first strict mathematical instability proof for the Poiseuille flow.

AB - This paper presents a computer-assisted proof of solutions of the Orr-Sommerfeld equation describing hydrodynamic stability of Poiseuille flow. A numerical verification method for computing eigenpair enclosures for this non-selfadjoint eigenvalue problem is described. Some verification results confirm the effectiveness of the method. This constitutes the first strict mathematical instability proof for the Poiseuille flow.

KW - Computer-assisted proof

KW - Non-selfadjoint eigenvalue problem

KW - Orr-sommerfeld equation

KW - Poiseuille flow

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

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

U2 - 10.1002/zamm.200700158

DO - 10.1002/zamm.200700158

M3 - Article

AN - SCOPUS:59349088491

VL - 89

SP - 5

EP - 18

JO - ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik

JF - ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik

SN - 0044-2267

IS - 1

ER -

Access to Document

10.1002/zamm.200700158