Holomorphic extension of eigenfunctions (Q734962)

If \(X\) is a Riemannian symmetric space of non-compact type \(X= G/K\), where \(G\) is a connected semisimple Lie group and \(K\) a maximal compact subgroup, the authors give a simple proof for the holomorphic extension of joint eigenfunctions for the full set of invariant differential operators on \(X\) to the complex crown of \(X\). For the proof, they use a theorem asserting the existence of a holomorphic extension to solutions which are holomorphic on one side of a non-characteristic surface. A further generalization for functions on \(G\) which are eigenfunctions for the Casimir operator and right \(K\)-finite is also presented.