# Lagrangian Distributions and Fourier Integral Operators

## Summary

In Section 18.2 we introduced the space of conormal distributions associated with a submanifold *Y* of a manifold *X*. This is a natural extension of the classical notion of multiple layer on *Y*. All such distributions have their wave front sets in the normal bundle of *Y* which is a conic Lagrangian manifold. In Section 25.1 we generalize the notion of conormal distribution by defining the space of Lagrangian distributions associated with an arbitrary conic Lagrangian *Λ ⊂ T**(*X*)\0. This is the space of distributions *u* such that there is a fixed bound for the order of *P*_{1}, ... *P*_{ N }*u* for any sequence of first order pseudo-differential operators *P*_{1},...,*P*_{N} with principal symbols vanishing on *Λ*. This implies that *WF*(*u*) ⊂ *Λ*. Symbols can be defined for Lagrangian distributions in much the same way as for conormal distributions. The only essential difference is that the symbols obtained are half densities on the Lagrangian tensored with the Maslov bundle of Section 21.6.

In Section 25.2 we introduce the notion of Fourier integral operator; this is the class of operators having Lagrangian distribution kernels. As in the discussion of wave front sets in Section 8.2 (see also Section 21.2) it is preferable to associate a Fourier integral operator with the canonical relation ⊂(*T**(*X*)\0)×(*T**(*Y*)\0) obtained by twisting the Lagrangian with reflection in the zero section of *T**(*Y*). We prove that the adjoint of a Fourier integral operator associated with the canonical relation *C* is associated with the inverse of *C*, and that the composition of operators associated with *C*_{1} and *C*_{2} is associated with the composition *C*_{1} ο *C*_{2} when the compositions are defined. Precise results on continuity in the *H*_{(s)} spaces are proved in Section 25.3 when the canonical relation is the graph of a canonical transformation. We also study in some detail the case where the canonical relation projects into *T**(*X*) and *T**(*Y*) with only fold type of singularities.

*C*∞ functions vanishing on a Lagrangian ⊂

*T**(

*X*)\0 form an ideal with dim

*X*generators which is closed under Poisson brackets. We define general Lagrangian ideals by taking complex valued functions instead. With suitable local coordinates in

*X*they always have a local system of generators of the form

*H*≦0. This condition is crucial in the analysis and turns out to have an invariant meaning. Distributions associated with positive Lagrangian ideals are studied in Section 25.4. The corresponding Fourier integral operators are discussed in Section 25.5. The results are completely parallel to those of Sections 25.1, 25.2 and 25.3 apart from the fact that for the sake of brevity we do not extend the notion of principal symbol.

## Preview

Unable to display preview. Download preview PDF.

## Notes

- [3]Lax, P.D.: Asymptotic solutions of oscillatory initial value problems. Duke Math. J. 24, 627–646 (1957).MathSciNetMATHGoogle Scholar
- [1]Ludwig, D.: Exact and asymptotic solutions of the Cauchy problem. Comm. Pure Appl. Math. 13, 473–508 (1960).Google Scholar
- [22]Hörmander, L.: The spectral function of an elliptic operator. Acta Math. 121, 193–218 (1968).MathSciNetCrossRefGoogle Scholar
- [26]Hörmander, L.: Fourier integral operators I. Acta Math. 127, 79–183 (1971).MathSciNetCrossRefGoogle Scholar
- [26a]Hörmander, L.: Uniqueness theorems and wave front sets for solutions of linear differential equations with analytic coefficients. Comm. Pure Appl. Math. 24, 671–704 (1971).MATHGoogle Scholar
- [1]Maslov, V.P.: Theory of perturbations and asymptotic methods. Moskov. Gos. Univ., Moscow 1965 ( Russian).Google Scholar
- [1]Melrose, R.B.: Transformation of boundary problems. Acta Math. 147, 149–236 (1981).MathSciNetCrossRefGoogle Scholar
- [1]Duistermaat, J.J. and L. Hörmander: Fourier integral operators II. Acta Math. 128, 183–269 (1972).MathSciNetCrossRefGoogle Scholar
- [3]Taylor, M.:. Diffraction effects in the scattering of waves. In Sing. in Bound. Value Problems, 271–316. Reidel Publ. Co., Dordrecht 1981.Google Scholar
- [1]Melin, A. and J. Sjöstrand: Fourier integral operators with complex-valued phase functions. Springer Lecture Notes in Math. 459, 120–223 (1974).MathSciNetCrossRefGoogle Scholar
- [2]Melin, A. and J. Sjöstrand: Fourier integral operators with complex phase functions and parametrix for an interior boundary value problem. Comm. Partial Differential Equations 1: 4, 313400 (1976).MathSciNetMATHGoogle Scholar
- [43]Hörmander, L.: L2 estimates for Fourier integral operators with complex phase. Ark. Mat. 21, 297–313 (1983).CrossRefGoogle Scholar