On the number of solutions of a transcendental equation arising in the theory of gravitational lensing

The equation in the title describes the number of bright images of a point source under lensing by an elliptic object with isothermal density. We prove that this equation has at most 6 solutions. Any number of solutions from 1 to 6 can actually occur.Comment: 26 pages, 12 figure

Two-dimensional shapes and lemniscates

A shape in the plane is an equivalence class of sufficiently smooth Jordan curves, where two curves are equivalent if one can be obtained from the other by a translation and a scaling. The fingerprint of a shape is an equivalence of orientation preserving diffeomorphisms of the unit circle, where two diffeomorphisms are equivalent if they differ by right composition with an automorphism of the unit disk. The fingerprint is obtained by composing Riemann maps onto the interior and exterior of a representative of a shape in a suitable way. In this paper, we show that there is a one-to-one correspondence between shapes defined by polynomial lemniscates of degree n and nth roots of Blaschke products of degree n. The facts that lemniscates approximate all Jordan curves in the Hausdorff metric and roots of Blaschke products approximate all orientation preserving diffeomorphisms of the circle in the C^1-norm suggest that lemniscates and roots of Blaschke products are natural objects to study in the theory of shapes and their fingerprints

A free boundary problem associated with the isoperimetric inequality

This paper proves a 30 year old conjecture that disks and annuli are the only domains where analytic content - the uniform distance from $\bar{z}$ to analytic functions - achieves its lower bound. This problem is closely related to several well-known free boundary problems, in particular, Serrin's problem about laminar flow of incompressible viscous fluid for multiply-connected domains, and Garabedian's problem on the shape of electrified droplets. Some further ramifications and open questions, including extensions to higher dimensions, are also discussed

Laplacian Growth, Elliptic Growth, and Singularities of the Schwarz Potential

The Schwarz function has played an elegant role in understanding and in generating new examples of exact solutions to the Laplacian growth (or "Hele- Shaw") problem in the plane. The guiding principle in this connection is the fact that "non-physical" singularities in the "oil domain" of the Schwarz function are stationary, and the "physical" singularities obey simple dynamics. We give an elementary proof that the same holds in any number of dimensions for the Schwarz potential, introduced by D. Khavinson and H. S. Shapiro [17] (1989). A generalization is also given for the so-called "elliptic growth" problem by defining a generalized Schwarz potential. New exact solutions are constructed, and we solve inverse problems of describing the driving singularities of a given flow. We demonstrate, by example, how \mathbb{C}^n - techniques can be used to locate the singularity set of the Schwarz potential. One of our methods is to prolong available local extension theorems by constructing "globalizing families". We make three conjectures in potential theory relating to our investigation

A note on isoparametric polynomials

We show that any homogeneous polynomial solution of |\nabla F(x)|^2=m^2|x|^(2m-2), m>1, is either a radially symmetric polynomial F(x)=\pm |x|^m (for even m's) or it is a composition of a Chebychev polynomial and a Cartan-M\"unzner polynomial.Comment: 6 page

Algebras generated by two bounded holomorphic functions

We study the closure in the Hardy space or the disk algebra of algebras generated by two bounded functions, of which one is a finite Blaschke product. We give necessary and sufficient conditions for density or finite codimension of such algebras. The conditions are expressed in terms of the inner part of a function which is explicitly derived from each pair of generators. Our results are based on identifying z-invariant subspaces included in the closure of the algebra. Versions of these results for the case of the disk algebra are given.Comment: 22 pages ; a number of minor mistakes have been corrected, and some points clarified. Conditionally accepted by Journal d'Analyse Mathematiqu