Hyperbolic geometrical optics: Hyperbolic glass

We study the geometrical optics generated by a refractive index of the form n(x,y)=1/y (y>0), where y is the coordinate of the vertical axis in an orthogonal reference frame in [openface R]2. We thus obtain what we call "hyperbolic geometrical optics" since the ray trajectories are geodesics in the Poincaré-Lobachevsky half-plane [openface H]2. Then we prove that the constant phase surface are horocycles and obtain the horocyclic waves, which are closely related to the classical Poisson kernel and are the analogs of the Euclidean plane waves. By studying the transport equation in the Beltrami pseudosphere, we prove (i) the conservation of the flow in the entire strip 0