Front d’onde à l’infini pour l’équation de Schrödinger
We define the wave front set of a distribution vector of a unitary representation in terms of pseudo-differential-like operators [M2] for any real Lie group G. This refines the notion of wave front set of a representation introduced by R. Howe [Hw]. We give as an application a necessary condition so that a distribution vector remains a distribution vector for the restriction of the representation to a closed subgroup H, and we give a propagation of singularities theorem for distribution vectors.
En adaptant les méthodes algébriques et géométriques qu’utilisent M. Sato, T. Kawai et M. Kashiwara pour obtenir le faisceau des microfonctions, nous construisons de manière fonctorielle, donc intrinsèque, un faisceau sur la sphère cotangente à un espace vectoriel réel de dimension finie . Les sections de ce faisceau jouent vis-à-vis des fonctions analytiques sur un rôle analogue à celui des microfonctions vis-à-vis des hyperfonctions. Nous en déduisons une notions de front d’onde à l’infini...