Abstract
Intuitively, an envelope of a family of curves is a curve that is tangent to a member of the family at each point. More precisely, there are three different, but related, types of envelopes associated to most families of curves. In this paper, we illustrate how one can use these envelopes to approach problems appearing in fields like matrix theory and hyperbolic geometry. As a first example, we use envelopes to fill in the details of a proof by Donoghue of the elliptical range theorem; this use of envelopes provides insight into how certain numerical ranges arise from families of circles. More generally, envelopes can be used to compute boundaries of families of curves. To demonstrate how such arguments work, we first deduce a general relationship between the envelopes and boundaries of families of circles and then use this to compute the boundaries of several families of pseudohyperbolic disks.
Similar content being viewed by others
References
Budde, P.: Support sets and Gleason parts. Michigan Math. J. 37(3), 367–383 (1990)
Bruce, J.W., Giblin, P.J.: What is an envelope? Math. Gaz. 65(433), 186–192 (1981)
Capitanio, G.: On the envelope of 1-parameter families of curves tangent to a semicubic cusp. C. R. Math. Acad. Sci. Paris 335(3), 249–254 (2002)
Courant, R.: Differential and integral calculus. Vol. II.Translated from the German by E. J. McShane. Reprint of the 1936 original. Wiley Classics Library. A Wiley-Interscience Publication, Wiley, New York (1988)
Daepp, U., Gorkin, P., Shaffer, A., Voss, K.: Finding Ellipses: What Blaschke Products, Poncelet’s Theorem, and the Numerical Range Know About Each Other, vol. 34. AMS/MAAPRESS, The Carus Mathematical Monographs, Providence (2018)
Davis, C.: The Toeplitz-Hausdorff theorem explained. Canad. Math. Bull. 14, 245–246 (1971)
Donoghue Jr., W.F.: On the numerical range of a bounded operator. Michigan Math. J. 4, 261–263 (1957)
Garnett, J.B.: Bounded Analytic Functions. Revised First Edition. Graduate Texts in Mathematics, 236. Springer, New York (2007)
Gilbert, T.: Lost mail: the missing envelope in the problem of the minimal surface of revolution. Am. Math. Monthly 119(5), 359–372 (2012)
Girela, D., Peláez, J.A., Vukotić, D.: Integrability of the derivative of a Blaschke product. Proc. Edinb. Math. Soc. 50(3), 673–687 (2007)
Girela, D., Peláez, J.A., Vukotić, D.: Interpolating Blaschke products: Stolz and tangential approach regions. Constr. Approx. 27(2), 203–216 (2008)
Gustafson, K.E., Rao, D.K.M.: Numerical range. The field of values of linear operators and matrices. Universitext. Springer, New York (1997)
Horn, R.A., Johnson, C.R.: Topics in Matrix Analysis. Cambridge University Press, Cambridge (1991)
Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (1990)
Hoffman, K.: Banach Spaces of Analytic Functions. Prentice-Hall Series in Modern Analysis. Prentice-Hall Inc., Englewood Cliffs, N. J. (1962)
Halbeisen, L., Hungerbühler, N.: A simple proof of Poncelet’s theorem (on the occasion of its bicentennial). Am. Math. Monthly 122(6), 537–551 (2015)
Kahlig, P., Matkowski, J.: Envelopes of special class of one-parameter families of curves. Demonstr. Math. 29(4), 799–806 (1996)
Kalman, D.: Solving the ladder problem on the back of an envelope. Math. Mag. 80(3), 163–182 (2007)
Kippenhahn, R.: On the numerical range of a matrix. Translated from the German by Paul F. Zachlin and Michiel E. Hochstenbach. Linear Multilinear Algebra 56(1–2), 185–225 (2008)
Li, C.-K.: A simple proof of the elliptical range theorem. Proc. Am. Math. Soc. 124(7), 1985–1986 (1996)
Maclachlan, F.: Long-Run and Short-Run Cost Curves, Famous figures and diagrams in economics. In Blaug, M., Lloyd, P. eds., Cheltenham: Edward Elgar Publishing, (2010)
Matsko, V.J.: Generic ellipses as envelopes. Math. Mag. 86(5), 358–365 (2013)
Mortini, R., Rupp, R.: On a family of pseudohyperbolic disks. Elem. Math. 70(4), 153–160 (2015)
Murnaghan, F.D.: On the field of values of a square matrix. Proc. Natl. Acad. Sci. 18(3), 246–248 (1932)
Newman, D.J.: Interpolation in \(H^{\infty }\). Trans. Am. Math. Soc. 92, 501–507 (1959)
Noël, J.: Structures algébriques dans les anneaux fonctionnels, Thése de doctorat, LMAM, Université de Lorraine, Metz (2012). http://docnum.univ-lorraine.fr/public/DDOCT20120222NOEL.pdf
Pars, L.A.: A note on the envelope of a certain family of curves. J. Lond. Math. Soc. 22, 25–31 (1947)
Pottman, H., Peternell, M.: Envelopes–computational theory and applications, Proceedings of Spring Conference in Computer Graphics, pp. 3–23. Budmerice, Slovakia (2000)
Rutter, J.W.: Geometry of curves. Chapman & Hall/CRC Mathematics. Chapman & Hall/CRC, Boca Raton (2000)
Takahashi, M.: Envelopes of Legendre curves in the unit tangent bundle over the Euclidean plane. Results Math. 71(3–4), 1473–1489 (2017)
Tse, K.F.: Nontangential interpolating sequences and interpolation by normal functions. Proc. Am. Math. Soc. 29, 351–354 (1971)
Vinogradov, S.A., Havin, V.P.: Letter to the editors: “Free interpolation in \(H^\infty\) and in certain other classes of functions. I” [Zap. Naučn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 47 (1974), 15–54]. (Russian) Investigations on linear operators and the theory of functions, IX. Zap. Nauchn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI) 92, 317 (1979)
Weiss, M.L.: Some \(H^{\infty }\)-interpolating sequences and the behavior of certain of their Blaschke products. Trans. Am. Math. Soc. 209, 211–223 (1975)
Wortman, D.H.: Interpolating sequences on convex curves in the open unit disc. Proc. Am. Math. Soc. 48, 157–164 (1975)
Acknowledgements
The authors would like to thank the referee for a careful and detailed report that substantially improved many aspects of this paper. The authors would also like to thank U. Daepp for providing the illustration of Steiner’s theorem in Fig. 2, Elias Wegert for sharing the envelope algorithm, and Phuong Nguyen for her work on pseudohyperbolic disks and in particular, her contributions to this new proof of Theorem 1.
Funding
K. Bickel was supported in part by National Science Foundation DMS Grant #1448846, and P. Gorkin was supported in part by Simons Foundation Grant #243653.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no potential conflicts of interest.
Ethical approval
Ethics approval to participate are not applicable to this research.
Informed consent
Informed consent to participate are not applicable to this research.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Bickel, K., Gorkin, P. & Tran, T. Applications of envelopes. Complex Anal Synerg 6, 2 (2020). https://doi.org/10.1007/s40627-019-0039-z
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40627-019-0039-z