# Oscillatory integral operator

In mathematics, in the field of harmonic analysis, an oscillatory integral operator is an integral operator of the form

${\displaystyle T_{\lambda }u(x)=\int _{\mathbf {R} ^{n}}e^{i\lambda S(x,y)}a(x,y)u(y)\,dy,\qquad x\in \mathbf {R} ^{m},\quad y\in \mathbf {R} ^{n},}$

where the function S(x,y) is called the phase of the operator and the function a(x,y) is called the symbol of the operator. λ is a parameter. One often considers S(x,y) to be real-valued and smooth, and a(x,y) smooth and compactly supported. Usually one is interested in the behavior of Tλ for large values of λ.

Oscillatory integral operators often appear in many fields of mathematics (analysis, partial differential equations, integral geometry, number theory) and in physics. Properties of oscillatory integral operators have been studied by E. Stein[1] and his school.

## Hörmander's theorem

The following bound on the L2L2 action of oscillatory integral operators (or L2L2 operator norm) was obtained by Lars Hörmander in his paper on Fourier integral operators:[2]

Assume that x,yRn, n ≥ 1. Let S(x,y) be real-valued and smooth, and let a(x,y) be smooth and compactly supported. If ${\displaystyle {\mathop {\rm {det}}}_{j,k}{\frac {\partial ^{2}S}{\partial x_{j}\partial y_{k}}}(x,y)\neq 0}$ everywhere on the support of a(x,y), then there is a constant C such that Tλ, which is initially defined on smooth functions, extends to a continuous operator from L2(Rn) to L2(Rn), with the norm bounded by ${\displaystyle C\lambda ^{-n/2}\,}$, for any λ ≥ 1:

${\displaystyle ||T_{\lambda }||_{L^{2}(\mathbf {R} ^{n})\to L^{2}(\mathbf {R} ^{n})}\leq C\lambda ^{-n/2}.}$

## References

1. ^ Elias Stein, Harmonic Analysis: Real-variable Methods, Orthogonality and Oscillatory Integrals. Princeton University Press, 1993. ISBN 0-691-03216-5
2. ^ L. Hörmander Fourier integral operators, Acta Math. 127 (1971), 79–183. doi 10.1007/BF02392052, http://www.springerlink.com/content/t202410l4v37r13m/fulltext.pdf