=================================================================================
In a simplified format for a perfect objective lens that does not have aberrations, the object wave o(r) at the exit face of an object is imaged by the objective lens into the image plane with two processes.
In the first process, the electron wave is diffracted into the back focal plane of the objective lens, mathematically described by a Fourier transformation,
 [3699a]
where,
o(r)  Also notated by ψ_{0}(r),
O(u)  The complex diffraction pattern, representing the object wave in Fourier space,
u  The spatial frequency.
Due to the limited entrance aperture of the objective lens, the diffraction pattern also must be multiplied with the aperture function, A(u),
H(u) = O(u)A(u)  [3699b]
In the second process, all waves originating from the points in the Fourier space interfere with each other and result in image waves in the image plane, mathematically given by an inverse Fourier transformation,
 [3699c]
 [3699d]
 [3699e]
Airy(r) = Γ^{1}{A(u)} is the Airy disk that gives the classical resolution limit indicated by Abbe's equation,
 [3699f]
where,
θ_{max}  The maximum diffraction
angle collected.
In addition, by considering the lens aberrations, the effect of the objective lens on the object wave function can be described by,
 [3699g]
where,
ψ_{o}(r)  The object wave function (in real space)
B(u)  exp (iχ(u)), given by,
 [3699h]
