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