Holomorphic Extension of Eigenfunctions

Let X be a Riemannian symmetric space of non-compact type. We prove a theorem of holomorphic extension for eigenfunctions of the Laplace-Beltrami operator on X, by techniques from the theory of partial differential equations.