Exact mirror equation via Berry's caustic touching theorem: plane and spherical mirrors.

In this work, we assume that in free space we have an observer, a smooth mirror, and an object placed at arbitrary positions. The aim is to obtain, within the geometrical optics approximation, an exact set of equations that gives the image position of the object registered by the observer. The general results are applied to plane and spherical mirrors, as an application of the caustic touching theorem introduced by Berry; the regions where the observer can receive zero, one, two, three, and one circle of reflected light rays are determined. Furthermore, we show that under the restricted paraxial approximation, that is, when sin⁡ψ≈ψ and cos⁡ψ≈1, the exact set of equations provides the well-known mirror equation.

Refracting and reflecting interfaces transforming a given wavefront into another one.

The aim of this work is threefold. First, following Luneburg and using our own notation, we review the Cartesian ovals. Second, we obtain analytical expressions for the reflecting and refracting surfaces that transform a prescribed smooth two-dimensional wavefront into a spherical one. These results are applied to show that the reflecting surface that connects a plane wavefront to a spherical one is a parabolical surface, and we design a lens, with two freeform surfaces, that transforms a spherical wavefront into another spherical one. These examples show that our equations provide the well-known solution for these problems, which is given by the Cartesian ovals method. Third, we present a procedure to obtain exact expressions for the refracting and reflecting surfaces that connect two given arbitrary wavefronts; that is, by assuming that the optical path length between two points on the prescribed wavefronts is given by the designer the refracting and reflecting surfaces we are looking for are determined by a set of two algebraic equations, which in the general case have to be solved in a numerical way. These general results are applied to compute the analytical expressions for the reflecting and refracting surfaces that transform a parabolical initial wavefront into a plane one.

Classical characterization of quantum waves: comparison between the caustic and the zeros of the Madelung-Bohm potential.

From a geometric perspective, the caustic is the most classical description of a wave function since its evolution is governed by the Hamilton-Jacobi equation. On the other hand, according to the Madelung-de Broglie-Bohm equations, the most classical description of a solution to the Schrödinger equation is given by the zeros of the Madelung-Bohm potential. In this work, we compare these descriptions, and, by analyzing how the rays are organized over the caustic, we find that the wave functions with fold caustic are the most classical beams because the zeros of the Madelung-Bohm potential coincide with the caustic. For another type of beam, the Madelung-Bohm potential is in general distinct to zero over the caustic. We have verified these results for the one-dimensional Airy and Pearcey beams, which, according to the catastrophe theory, have stable caustics. Similarly, we introduce the optical Madelung-Bohm potential, and we show that if the optical beam has a caustic of the fold type, then its zeros coincide with the caustic. We have verified this fact for the Bessel beams of nonzero order. Finally, we remark that for certain cases, the zeros of the Madelung-Bohm potential are linked with the superoscillation phenomenon.

Paraxial optical fields whose intensity pattern skeletons are stable caustics.

We construct exact solutions to the paraxial wave equation in free space characterized by stable caustics. First, we show that any solution of the paraxial wave equation can be written as the superposition of plane waves determined by both the Hamilton-Jacobi and Laplace equations in free space. Then using the five elementary stable catastrophes, we construct solutions of the Hamilton-Jacobi and Laplace equations, and the corresponding exact solutions of the paraxial wave equation. Therefore, the evolution of the intensity patterns is governed by the paraxial wave equation and that of the corresponding caustic by the Hamilton-Jacobi equation.