Poncelet-Darboux, Kippenhahn, and Szegő: interactions between projective geometry, matrices and orthogonal polynomials

Plane and space curves (14H50) Real algebraic sets (14P05) Blaschke products (30J10) Orthogonal functions and polynomials, general theory of nontrigonometric harmonic analysis (42C05) Questions of classical algebraic geometry (51N35)

Abstract: We study algebraic curves that are envelopes of families of polygons supported on the unit circle T. We address, in particular, a characterization of such curves of minimal class and show that all realizations of these curves are essentially equivalent and can be described in terms of orthogonal polynomials on the unit circle (OPUC), also known as SzegH{o} polynomials. Our results have connections to classical results from algebraic and projective geometry, such as theorems of Poncelet, Darboux, and Kippenhahn; numerical ranges of a class of matrices; and Blaschke products and disk functions. This paper contains new results, some old results presented from a different perspective or with a different proof, and a formal foundation for our analysis. We give a rigorous definition of the Poncelet property, of curves tangent to a family of polygons, and of polygons associated with Poncelet curves. As a result, we are able to clarify some misconceptions that appear in the literature and present counterexamples to some existing assertions along with necessary modifications to their hypotheses to validate them. For instance, we show that curves inscribed in some families of polygons supported on T are not necessarily convex, can have cusps, and can even intersect the unit circle. Two ideas play a unifying role in this work. The first is the utility of OPUC and the second is the advantage of working with tangent coordinates. This latter idea has been previously exploited in the works of B. Mirman, whose contribution we have tried to put in perspective.

Review text

The authors study algebraic curves that are envelopes of families of polygons supported on the unit circle \(\mathbb{T}\) and look for a characterization of such curves of minimal class. All realizations of these curves are shown to be essentially equivalent. They can be described in terms of Szegö polynomials, i.e. orthogonal polynomials on the unit circle. The results of the paper are related to theorems of Poncelet, Darboux, and Kippenhahn, to Blaschke products and disk functions etc. The authors give a rigorous definition of the Poncelet property, of curves tangent to a family of polygons, and of polygons associated with Poncelet curves. This is illustrated by detailed figures. Some misconceptions that appear in the literature are clarified and counterexamples to some existing assertions are presented. Example: curves inscribed in some families of polygons supported on \(\mathbb{T}\) are not necessarily convex, can have cusps and can even intersect the unit circle. The authors show the usefulness of Szegö polynomials and of tangent coordinates; the latter idea has been previously exploited by B. Mirman.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: Poncelet-Darboux, Kippenhahn, and Szegő: interactions between projective geometry, matrices and orthogonal polynomials

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