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

ZAMM Zeitschrift fur Angewandte Mathematik und Mechanik

Volumn 84, Issue 3, 2004, Pages 188-204

  Lahmann, Jan Rainer ^a   Plum, Michael ^b  

^a IBM   (Germany)

^b UNIVERSITY OF KARLSRUHE   (Germany)

Author keywords

Blasius profile; Computer assisted proof; Instability proof; Orr Sommerfeld equation

Indexed keywords

EID: 1542406165     PISSN: 00442267     EISSN: None     Source Type: Journal    
DOI: 10.1002/zamm.200310093     Document Type: Article

References (32)

1. E. Brändas and E. Engdahl, Resonance regions determined by a projection-operator formulation, Phys. Rev. A 37(11), 4145-4152 (1988).
2. H. Behnke, Inclusion of eigenvalues of general eigenvalue problems for matrices, in: Scientific Computation with Automatic Result Verification, edited by U. Kulisch and H. J. Stetter, Computing 6(Suppl.), 69-78 (1987).
3. H. Behnke and F. Goerisch, Inclusions for eigenvalues of selfadjoint problems, in: Topics in Validated Computations, edited by J. Herzberger (Elsevier (North-Holland), Amsterdam, 1994), pp. 277-322
4. J. Berkowitz, On the discreteness of spectra of singular Sturm-Liouville problems, Commun. Pure Appl. Math. 12, 523-542 (1959).
5. F. Brunk, Existenz und Einschließung bei Systemen von Zweipunkt-Randwertaufgaben, Doctoral Dissertation, TU Clausthal (1997).
6. E. B. Davies, A hierarchical method for obtaining eigenvalue enclosures, Math. Comput. 69, 1435-1455 (2000).
7. A. Davey, A difficult numerical calculation concerning the stability of the Blasius boundary layer, in: Stability in the Mechanics of Continua, 2nd Symposium, Nümbrecht, Germany, edited by F. H. Schröder (Springer, Berlin, 1982).
8. J. D. P. Donnelly, Bounds for the eigenvalues of non-selfadjoint differential operators, J. List. Math. Appl. 13, 249-261 (1974).
9. P. G. Drazin and W. H. Reid, Hydrodynamic Stability (Cambridge University Press, Cambridge, 1982).
10. D. E. Edmunds and W. D. Evans, Spectral Theory and Differential Operators (Oxford University Press, Oxford, 1987).
11. T. M. Fischer, A spectral Galerkin approximation of the Orr-Sommerfeld eigenvalue problem in a semi-infinite domain, Numer. Math. 66, 159-179 (1993).
12. L. Greenberg and M. Marietta, Numerical solution of non-self-adjoint Sturm-Liouville problems and related systems, SIAM J. Numer. Anal. 38, 1800-1845 (2001).
13. C. E. Grosch and S. A. Orszag, Numerical solution of problems in unbounded regions: coordinate transforms, J. Comput. Phys. 25, 273-295 (1977).
14. I. H. Herron, The Orr-Sommerfeld equation on infinite intervals, SIAM Rev. 29, 597-620 (1987).
15. R. Jordinson, The flat plate boundary layer. Part 1. Numerical integration of the Orr-Sommerfeld equation, J. Fluid Mech. 43, 801-811 (1970).
16. R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch, C-XSC - A C++ Class Library for Extended Scientific Computing (Springer, Heidelberg, 1993).
17. P. P. Klein, Eigenwerteinschließung bei nichtselbstadjungierten Eigenwertaufgaben, Z. Angew. Math. Mech. 70, T560-T562 (1990).
18. P. P. Klein, Including eigenvalues of the plane Orr-Sommerfeld problem, J. Appl. Math. 38(6), 452-458 (1993).
19. J.-R. Lahmann, Eine Methode zur Einschließung von Eigenpaaren nichtselbstadjungierter Eigenwertprobleme und ihre Anwendung auf die Orr-Sommerfeld-Gleichung, Doctoral Dissertation, University of Karlsruhe (1999).
20. J.-R. Lahmann and M. Plum, On the spectrum of the Orr-Sommerfeld equation on the semiaxis, Math. Nachr. 216, 145-153 (2000).
21. N. J. Lehmann, Optimale Eigenwerteinschließungen, Numer. Math. 5, 246-272 (1963).
22. K. Nagatou, A numerical method to verify the elliptic eigenvalue problems including a uniqueness property, Computing 63, 109-130 (1999).
23. M. T. Nakao, N. Yamamoto, and K. Nagatou, Numerical verifications for eigenvalues of second-order elliptic operators, Jpn. J. Ind. Appl. Math. 16(3), 307-320 (1999).
24. J. E. Osborn, A method for approximating the eigenvalues of non-self-adjoint ordinary differential operators, Mem. Acad. Sci. Torino, Cl. Sci. Fis., Mat. Nat., IV. Ser. 14, 56 (1971).
25. M. Plum, Guaranteed numerical bounds for eigenvalues, in: Spectral Theory and Computational Methods of Sturm-Liouville Problems, edited by D. Hinton and P. W. Schaefer (Marcel Dekker, New York, 1997), pp. 313-332.
26. K. Rektorys, Variational Methods in Mathematics, Science and Engineering. Second Edition (D. Reidel Publ. Co., Dordrecht, 1980).
27. H. Schlichting, Grenzschicht-Theorie, 9. Aufl. (Springer, Berlin, 1997).
28. J. Schröder, Fehlerabschätzungen zur Störungsrechnung für lineare Eigenwertprobleme bei gewöhnlichen Differentialgleichungen, Z. Angew. Math. Mech. 34(4/5), 140-149 (1954).
29. H. K. H. Siedentop, On the localization of resonances, Int. J. Quantum Chem. 31, 795-821 (1987).
30. W. Walter, Differential and Integral Inequalities (Springer, Berlin, 1970).
31. S. Wolfram, Das Mathematica-Buch. Mathematica Version 3 (Addison-Wesley-Longman, Bonn, 1997).
32. S. Zimmermann and U. Mertins, Variational bounds to eigenvalues of self-adjoint eigenvalue problems with arbitrary spectrum, Z. Anal. Anwendungen 14, 327-345 (1995).