The Geometry of Focal Sets
Abstract
The space ${\Bbb{L}}$ of oriented lines, or rays, in ${\Bbb{R}}^3$ is a 4-dimensional space with an abundance of natural geometric structure. In particular, it boasts a neutral Kähler metric which is closely related to the Euclidean metric on ${\Bbb{R}}^3$. In this paper we explore the relationship between the focal set of a line congruence (or 2-parameter family of oriented lines in ${\Bbb{R}}^3$) and the geometry induced on the associated surface in ${\Bbb{L}}$. The physical context of such sets is geometric optics in a homogeneous isotropic medium, and so, to illustrate the method, we compute the focal set of the $k^{th}$ reflection of a point source off the inside of a cylinder. The focal sets, which we explicitly parameterize, exhibit unexpected symmetries, and are found to fit well with observable phenomena.
- Publication:
-
arXiv Mathematics e-prints
- Pub Date:
- November 2004
- DOI:
- 10.48550/arXiv.math/0411189
- arXiv:
- arXiv:math/0411189
- Bibcode:
- 2004math.....11189G
- Keywords:
-
- Mathematics - Differential Geometry;
- Mathematical Physics;
- 53A25;
- 78A05;
- 53C80
- E-Print:
- AMSTEX, 21 pages, 10 figures, 1 colour plate, significant revision of earlier version