A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
From MaRDI portal
Publication:3605039
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
Cites work
- scientific article; zbMATH DE number 3116443 (Why is no real title available?)
- scientific article; zbMATH DE number 3520921 (Why is no real title available?)
- scientific article; zbMATH DE number 714516 (Why is no real title available?)
- A computer-assisted instability proof for the Orr-Sommerfeld equation with Blasius profile
- Introduction to Hydrodynamic Stability
- Stability and transition in shear flows
Cited in
(23)- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Finite element solution of the Orr–Sommerfeld equation using high precision Hermite elements: plane Poiseuille flow
- 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
- Orbital stability investigations for travelling waves in a nonlinearly supported beam
- Toward computational Morse-Floer homology: forcing results for connecting orbits by computing relative indices of critical points
- Another computer-assisted proof of unimodality of solutions for Proudman–Johnson equation
- scientific article; zbMATH DE number 834497 (Why is no real title available?)
- 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
- A numerical verification method for two-coupled elliptic partial differential equations
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces
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)
