Wave optics and image formation in gravitational lensing

We discuss image formation in gravitational lensing systems using wave optics. Applying the Fresnel-Kirchhoff diffraction formula to waves scattered by a gravitational potential of a lens object, we demonstrate how images of source objects are obtained directly from wave functions without using a lens equation for gravitational lensing.