Dynamics of Fermat potentials in non-perturbative gravitational lensing

We present a framework, based on the null-surface formulation of general relativity, for discussing the dynamics of Fermat potentials for gravitational lensing in a generic situation without approximations of any kind. Additionally, we derive two lens equations: one for the case of thick compact lenses and the other one for lensing by gravitational waves. These equations in principle generalize the astrophysical scheme for lensing by removing the thin-lens approximation while retaining the weak fields.