Premium
A computer‐assisted instability proof for the Orr‐Sommerfeld equation with Blasius profile
Author(s) -
Lahmann J.R.,
Plum M.
Publication year - 2004
Publication title -
zamm ‐ journal of applied mathematics and mechanics / zeitschrift für angewandte mathematik und mechanik
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.449
H-Index - 51
eISSN - 1521-4001
pISSN - 0044-2267
DOI - 10.1002/zamm.200310093
Subject(s) - eigenvalues and eigenvectors , instability , perturbation (astronomy) , complex plane , computer assisted proof , plane (geometry) , mathematical analysis , hydrodynamic stability , mathematics , blasius boundary layer , flow (mathematics) , stratified flow , physics , mechanics , geometry , turbulence , boundary (topology) , quantum mechanics , reynolds number , boundary layer thickness , mathematical proof
The Orr‐Sommerfeld equation is one of the governing equations of hydrodynamic stability. Mathematically, it constitutes a non‐selfadjoint eigenvalue problem. Depending on its spectrum being contained in the right complex half‐plane or not, the underlying flow is stable or unstable under some given perturbation. Here, we focus on the Blasius profile modelling a flow along a wall. We present a computer‐assisted method for computing eigenvalue enclosures for such non‐selfadjoint problems. As a specific result, for a particular parameter constellation in the Orr‐Sommerfeld equation (often used as test example in the engineering literature), we enclose an eigenvalue in a circle which is completely contained in the left half‐plane. This constitutes the first rigorous proof of instability for the Orr‐Sommerfeld equation with Blasius profile.