Pulse Focusing with High-NA Lens

While for most other types of sources it is often accurate enough to labour under the stationary approximation, ultrashort pulses require a somewhat more nuanced approach, where the correlation between the different spectral modes is taken into account. We investigate here the effects of subjecting one such pulse to propagation through a lens with high numerical aperture, in terms of its spatial, as well as of its temporal, profile.