Convergence of frozen Gaussian approximation for high‐frequency wave propagation

The frozen Gaussian approximation provides a highly efficient computational method for high‐frequency wave propagation. The derivation of the method is based on asymptotic analysis. In this paper, for general linear strictly hyperbolic systems, we establish the rigorous convergence result for frozen Gaussian approximation. As a byproduct, higher‐order frozen Gaussian approximation is developed. © 2011 Wiley Periodicals, Inc.