To arrive at a PSF model of AFM-IR that can be algebraically handled, certain assumptions regarding the sample geometry and properties need to be made. To ensure the validity of these assumptions, we compare the PSF model to finite element simulations which we can validate against experimental AFM-IR data. Through this validation process, we observe a strong agreement between the PSF model of AFM-IR, finite element simulations, and experimental results.