Finding Ellipses
   HOME

TheInfoList



OR:

''Finding Ellipses: What Blaschke Products, Poncelet’s Theorem, and the Numerical Range Know about Each Other'' is a mathematics book on "some surprising connections among
complex analysis Complex analysis, traditionally known as the theory of functions of a complex variable, is the branch of mathematical analysis that investigates functions of complex numbers. It is helpful in many branches of mathematics, including algebraic ...
,
geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
, and
linear algebra Linear algebra is the branch of mathematics concerning linear equations such as :a_1x_1+\cdots +a_nx_n=b, linear maps such as :(x_1, \ldots, x_n) \mapsto a_1x_1+\cdots +a_nx_n, and their representations in vector spaces and through matrix (mathemat ...
", and on the connected ways that
ellipse In mathematics, an ellipse is a plane curve surrounding two focus (geometry), focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special ty ...
s can arise from other subjects of study in all three of these fields. It was written by Ulrich Daepp, Pamela Gorkin, Andrew Shaffer, and Karl Voss, and published in 2019 by the
American Mathematical Society The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, ...
and
Mathematical Association of America The Mathematical Association of America (MAA) is a professional society that focuses on mathematics accessible at the undergraduate level. Members include university A university () is an educational institution, institution of tertiary edu ...
as volume 34 of the
Carus Mathematical Monographs The ''Carus Mathematical Monographs'' is a monograph series published by the Mathematical Association of America.Drake, Miriam A. (2003). ''Encyclopedia of Library and Information Science: Lib-Pub.'' CRC Press, Books in this series are intended t ...
, a series of books aimed at presenting technical topics in mathematics to a wide audience.


Topics

''Finding Ellipses'' studies a connection between
Blaschke product In complex analysis, the Blaschke product is a bounded analytic function in the open unit disc constructed to have zeros at a (finite or infinite) sequence of prescribed complex numbers :a_0,\ a_1, \ldots inside the unit disc, with the property ...
s,
Poncelet's closure theorem In geometry, Poncelet's closure theorem, also known as Poncelet's porism, states that whenever a polygon is inscribed in one conic section and circumscribes another one, the polygon must be part of an infinite family of polygons that are all in ...
, and the
numerical range In the mathematics, mathematical field of linear algebra and convex analysis, the numerical range or field of values of a complex number, complex n \times n square matrix, matrix ''A'' is the set :W(A) = \left\ = \left\ where \mathbf^* denotes t ...
of
matrices Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the ...
. A Blaschke product is a
rational function In mathematics, a rational function is any function that can be defined by a rational fraction, which is an algebraic fraction such that both the numerator and the denominator are polynomials. The coefficients of the polynomials need not be ...
that maps the
unit disk In mathematics, the open unit disk (or disc) around ''P'' (where ''P'' is a given point in the plane), is the set of points whose distance from ''P'' is less than 1: :D_1(P) = \.\, The closed unit disk around ''P'' is the set of points whose d ...
in the
complex plane In mathematics, the complex plane is the plane (geometry), plane formed by the complex numbers, with a Cartesian coordinate system such that the horizontal -axis, called the real axis, is formed by the real numbers, and the vertical -axis, call ...
to itself, and maps some given points within the disk to the origin. In the main case considered by the book, there are three distinct given points 0, a, and b, and their Blaschke product has the formula B(z)= z\cdot\frac\cdot\frac. For this function, each point on the
unit circle In mathematics, a unit circle is a circle of unit radius—that is, a radius of 1. Frequently, especially in trigonometry, the unit circle is the circle of radius 1 centered at the origin (0, 0) in the Cartesian coordinate system in the Eucli ...
has three preimages, also on the unit circle. These triples of preimages form triangles inscribed in the unit circle, and (it turns out) they all circumscribe an
ellipse In mathematics, an ellipse is a plane curve surrounding two focus (geometry), focal points, such that for all points on the curve, the sum of the two distances to the focal points is a constant. It generalizes a circle, which is the special ty ...
with foci at a and b. Thus, they form an infinite system of polygons inscribed in and circumscribing two
conic A conic section, conic or a quadratic curve is a curve obtained from a cone's surface intersecting a plane. The three types of conic section are the hyperbola, the parabola, and the ellipse; the circle is a special case of the ellipse, thou ...
s, which is the kind of system that Poncelet's theorem describes. This theorem states that, whenever one polygon is inscribed in a conic and circumscribes another conic, it is part of an infinite family of polygons of the same type, one through each point of either conic. The family of triangles constructed from the Blaschke product is one of these infinite families of Poncelet's theorem. The third part of the connection surveyed by the book is the numerical range of a
matrix Matrix (: matrices or matrixes) or MATRIX may refer to: Science and mathematics * Matrix (mathematics), a rectangular array of numbers, symbols or expressions * Matrix (logic), part of a formula in prenex normal form * Matrix (biology), the m ...
, a region within which the
eigenvalue In linear algebra, an eigenvector ( ) or characteristic vector is a vector that has its direction unchanged (or reversed) by a given linear transformation. More precisely, an eigenvector \mathbf v of a linear transformation T is scaled by a ...
s of the matrix can be found. In the case of a 2\times 2 complex matrix, the numerical range is an ellipse, by a result commonly called the elliptical range theorem, with the eigenvalues as its foci. For a certain matrix whose coefficients are derived from the two given points, and having these points on its diagonal, this ellipse is the one circumscribed by the triangles of Poncelet's theorem. More, the numerical range of any matrix is the intersection of the numerical ranges of its unitary dilations, which in this case are 3\times 3
unitary matrices In linear algebra, an invertible complex square matrix is unitary if its matrix inverse equals its conjugate transpose , that is, if U^* U = UU^* = I, where is the identity matrix. In physics, especially in quantum mechanics, the conjugate ...
each having one of the triangles of Poncelet's theorem as its numerical range and the three vertices of the triangle as its eigenvalues. ''Finding Ellipses'' is arranged into three parts. The first part develops the mathematics of Blaschke products, Poncelet's closure theorem, and numerical ranges separately, before revealing the close connections between them. The second part of the book generalizes these ideas to higher-order Blaschke products, larger matrices, and Poncelet-like results for the corresponding numerical ranges, which generalize ellipses. These generalizations connect to more advanced topics in mathematics: " Lebesgue theory,
Hardy space In complex analysis, the Hardy spaces (or Hardy classes) H^p are spaces of holomorphic functions on the unit disk or upper half plane. They were introduced by Frigyes Riesz , who named them after G. H. Hardy, because of the paper . In real anal ...
s,
functional analysis Functional analysis is a branch of mathematical analysis, the core of which is formed by the study of vector spaces endowed with some kind of limit-related structure (for example, Inner product space#Definition, inner product, Norm (mathematics ...
,
operator theory In mathematics, operator theory is the study of linear operators on function spaces, beginning with differential operators and integral operators. The operators may be presented abstractly by their characteristics, such as bounded linear operato ...
and more". The third part consists of projects and exercises for students to develop this material beyond the exposition in the book. An online collection of web applets allow students to experiment with the constructions in the book.


Audience and reception

''Finding Ellipses'' is primarily aimed at advanced undergraduates in mathematics, although more as a jumping-off point for undergraduate research projects than as a textbook for courses. The first part of the book uses only standard undergraduate mathematics, but the second part is more demanding, and reviewer Bill Satzer writes that "even the best students might find themselves paging backward and forward in the book, feeling frustrated while trying to make connections". Despite that, Line Baribeau writes that it is "clear and engaging", and appealing in its use of modern topics. Yunus Zeytuncu is even more positive, calling it a "delight" that "realizes the dream" of bringing this combination of disciplines together into a neat package that is accessible to undergraduates.


References

{{reflist, refs= {{citation, title=Review of ''Finding Ellipses'', first=Line, last=Baribeau, mr=3932079 {{citation, title=Review of ''Finding Ellipses'', first=Bill, last=Satzer, date=April 2019, work=MAA Reviews, publisher=Mathematical Association of America, url=https://old.maa.org/press/maa-reviews/finding-ellipses-what-blaschke-products-poncelet-s-theorem-and-the-numerical-range-know-about-each {{citation , last = Zeytuncu , first = Yunus E. , date = October 2020 , department = Rezensionen , doi = 10.4171/em/421 , issue = 4 , journal =
Elemente der Mathematik ''Elemente der Mathematik'' is a peer-reviewed scientific journal covering mathematics. It is published by the European Mathematical Society Publishing House on behalf of the Swiss Mathematical Society. It was established in 1946 by Louis Loc ...
, language = en , pages = 181–182 , title = Review of ''Finding Ellipses'' , volume = 75
Mathematics books 2019 non-fiction books Publications of the American Mathematical Society Mathematical Association of America books