Abstract
In the Kreiss matrix theorem the power boundedness ofN ×N matrices is related to a resolvent condition on these matrices. LeVeque and Trefethen proved that the ratio of the constants in these two conditions can be bounded by 2eN. They conjectured that this bound can be improved toeN.
In this note the conjecture is proved to be true. The proof relies on a lemma which provides an upper bound for the arc length of the image of the unit circle in the complex plane under a rational function. This lemma may be of independent interest.
Similar content being viewed by others
References
Kreiss, H.-O., Über die Stabilitätsdefinition für Differenzengleichungen die partielle Differentialgleichungen approximieren, BIT 2, 153–181 (1962).
LeVeque, R. J., L. N. Trefethen,On the resolvent condition in the Kreiss matrix theorem, BIT 24, 584–591 (1984).
Richtmyer, R. D., K. W. Morton,Difference Methods for Initial-value Problems, 2nd Ed., J. Wiley & Sons. New York, London, Sydney, 1967.
Smith, J. C.,An inequality for rational functions, The American Mathem. Monthly 92, 740–741 (1985).
Sod, G. A.,Numerical Methods in Fluid Dynamics, Cambridge University Press. Cambridge, 1985.
Tadmor, E.,The equivalence of L 2-stability, the resolvent condition, and strict H-stability. Linear Algebra Appl. 41, 151–159 (1981).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Spijker, M.N. On a conjecture by le Veque and Trefethen related to the kreiss matrix theorem. BIT 31, 551–555 (1991). https://doi.org/10.1007/BF01933268
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01933268