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

DOI10.1002/zamm.200310093zbMath1042.65061MaRDI QIDQ4458767

Michael Plum, Jan-Rainer Lahmann

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

instability; interval arithmetic; Orr-Sommerfeld equation; computer-assisted proof; complex eigenvalue; Blasius profile

Mathematics Subject Classification ID

65G30: Interval and finite arithmetic

65L70: Error bounds for numerical methods for ordinary differential equations

34L16: Numerical approximation of eigenvalues and of other parts of the spectrum of ordinary differential operators

34B40: Boundary value problems on infinite intervals for ordinary differential equations

65L15: Numerical solution of eigenvalue problems involving ordinary differential equations