A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

DOI10.1002/ZAMM.200700158zbMATH Open1156.76025OpenAlexW2114790555MaRDI QIDQ3605039FDOQ3605039

Authors: Yoshitaka Watanabe, Michael Plum, Mitsuhiro T. Nakao 

Publication date: 19 February 2009

Published in: ZAMM (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2324/8826

Recommendations

• A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
• scientific article; zbMATH DE number 1293695
• Eigenvalue enclosures and exclosures for non-self-adjoint problems in hydrodynamics
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• scientific article; zbMATH DE number 834497

zbMATH Keywords

fixed-point equationverification algorithmnon-selfadjoint eigenvalue problem

Mathematics Subject Classification ID

PDEs in connection with fluid mechanics (35Q35) Parallel shear flows in hydrodynamic stability (76E05) Basic methods in fluid mechanics (76M99)

Cites Work

• Introduction to Hydrodynamic Stability
• Title not available (Why is that?)
• Title not available (Why is that?)
• Stability and transition in shear flows
• Title not available (Why is that?)
• A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile

Cited In (23)

• Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
• Finite element approximation of invariant manifolds by the parameterization method
• On very accurate enclosure of the optimal constant in the a priori error estimates for \(H_0^2\)-projection
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces
• A computer assisted study of uniqueness of ground state solutions
• Numerical verification method for infinite dimensional eigenvalue problems
• Norm bound computation for inverses of linear operators in Hilbert spaces
• Fast interval matrix multiplication
• A posteriori error bounds for two point boundary value problems: a Green's function approach
• Computer-assisted proofs for semilinear elliptic boundary value problems
• A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid
• A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
• Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
• Orbital stability investigations for travelling waves in a nonlinearly supported beam
• Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation
• Title not available (Why is that?)
• A rigorous integrator and global existence for higher-dimensional semilinear parabolic PDEs via semigroup theory
• A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
• A functional analytic approach to validated numerics for eigenvalues of delay equations
• Numerical verification for solutions to partial differential equations
• Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
• A numerical verification method for two-coupled elliptic partial differential equations
• Finite element solution of the Orr–Sommerfeld equation using high precision Hermite elements: plane Poiseuille flow

This page was built for publication: A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow

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