A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile

DOI10.1002/ZAMM.200310093zbMATH Open1042.65061OpenAlexW2032048774MaRDI QIDQ4458767FDOQ4458767

Authors: Jan-Rainer Lahmann, Michael Plum 

Publication date: 15 March 2004

Published in: ZAMM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/zamm.200310093

Recommendations

• A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
• Dynamic Analysis of a Nonlinear Discrete‐Continuous Torsional System by Means of Wave Method
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• The Orr–Sommerfeld Equation on Infinite Intervals

zbMATH Keywords

Orr-Sommerfeld equationcomputer-assisted proofinstabilityinterval arithmeticcomplex eigenvalueBlasius profile

Mathematics Subject Classification ID

Boundary value problems on infinite intervals for ordinary differential equations (34B40) Error bounds for numerical methods for ordinary differential equations (65L70) Numerical approximation of eigenvalues and of other parts of the spectrum of ordinary differential operators (34L16) Numerical solution of eigenvalue problems involving ordinary differential equations (65L15) Interval and finite arithmetic (65G30)

Cited In (9)

• A method of detection of instability and for determination of unstable eigenvalues in the Orr-Sommerfeld problem.
• The application of bees algorithm in finding the neutral stability curve for plane Poiseuille flow
• A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
• Numerical verification method for infinite dimensional eigenvalue problems
• Norm bound computation for inverses of linear operators in Hilbert spaces
• Computer-assisted proofs for semilinear elliptic boundary value problems
• Dynamic Analysis of a Nonlinear Discrete‐Continuous Torsional System by Means of Wave Method
• Orbital stability investigations for travelling waves in a nonlinearly supported beam
• Note on the two-point boundary value numerical solution of the Orr- Sommerfeld stability equation

This page was built for publication: A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4458767)