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

DOI10.1002/ZAMM.200310093MaRDI QIDQ4458767zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

Blasius profilecomplex eigenvaluecomputer-assisted proofinstabilityinterval arithmeticOrr-Sommerfeld equation

Mathematics Subject Classification ID

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

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

Cited in

(9)

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

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)