Holomorphic Sobolev spaces associated to compact symmetric spaces

Using Gutzmer's formula, due to Lassalle, we characterise the images of Sobolev spaces under the Segal-Bargmann transform on compact Riemannian symmetric spaces. We also obtain necessary and sufficient conditions on a holomorphic function to be in the image of smooth functions and distributions under the Segal-Bargmann transform.