We propose asymptotic wave-like approximations for the accurate modeling of dielectric lenses used in quasi-optical systems of millimeter, submillimeter, and infrared wave applications. For the comparison, we obtain an exact full-wave solution of two-dimensional focusing lens problem and use it as a benchmark for testing and validation of asymptotic models being proposed.