Huygens principle and complex trajectories or Balian and Bloch twenty years after (Q1337590)

One sketches, for the Schrödinger equation in three dimensional space with an analytic potential, how the time independent Green's function could possibly be reconstructed exactly from the dynamics of complex classical trajectories. To start with this program one proves in the complex domain a microlocal convergence theorem for the ``multiple scattering expansions'' of Balian and Bloch. The real version of this theorem is easily interpreted in terms of Huygens principle, and turns out to be equivalent to a theorem of Hadamard.