“…Not only are Hopkins's kernels semi-positive definite operators in a Hilbert space, but such linear combinations as representations of vector forms of the Hopkins equation are as well. The extension of the Hopkins equation to the vector case is usually done in the frequency domain (e.g., [7], [3], [6], [1] where p 's are functions defined in the frequency domain, (x, y, z) in the sub-indexes mean the x, y, z components of an electric field in the exit pupil, and (X, Y) mean the x, y components of an electric field in the entrance pupil. Here, we neglected the z-component of a field in the entrance pupil because of the reduction factor four of a projection system commonly used nowadays.…”