Fourier Integral Operator
   HOME

TheInfoList



OR:

In
mathematical analysis Analysis is the branch of mathematics dealing with continuous functions, limit (mathematics), limits, and related theories, such as Derivative, differentiation, Integral, integration, measure (mathematics), measure, infinite sequences, series (m ...
, Fourier integral operators have become an important tool in the theory of
partial differential equations In mathematics, a partial differential equation (PDE) is an equation which imposes relations between the various partial derivatives of a multivariable function. The function is often thought of as an "unknown" to be solved for, similarly to ...
. The class of Fourier integral operators contains differential operators as well as classical
integral operator An integral operator is an operator that involves integration. Special instances are: * The operator of integration itself, denoted by the integral symbol * Integral linear operators, which are linear operators induced by bilinear forms invol ...
s as special cases. A Fourier integral operator T is given by: :(Tf)(x)=\int_ e^a(x,\xi)\hat(\xi) \, d\xi where \hat f denotes the Fourier transform of f, a(x,\xi) is a standard symbol which is compactly supported in x and \Phi is real valued and homogeneous of degree 1 in \xi. It is also necessary to require that \det \left(\frac\right)\neq 0 on the support of ''a.'' Under these conditions, if ''a'' is of order zero, it is possible to show that T defines a bounded operator from L^ to L^.


Examples

One motivation for the study of Fourier integral operators is the solution operator for the initial value problem for the wave operator. Indeed, consider the following problem: : \frac\frac(t,x) = \Delta u(t,x) \quad \mathrm \quad (t,x) \in \mathbb^+ \times \mathbb^n, and : u(0,x) = 0, \quad \frac(0,x) = f(x), \quad \mathrm \quad f \in \mathcal'(\mathbb^n). The solution to this problem is given by u(t,x) = \frac \int \frac \hat f (\xi) \, d \xi - \frac \int \frac \hat f (\xi) \, d \xi . These need to be interpreted as oscillatory integrals since they do not in general converge. This formally looks like a sum of two Fourier integral operators, however the coefficients in each of the integrals are not smooth at the origin, and so not standard symbols. If we cut out this singularity with a cutoff function, then the so obtained operators still provide solutions to the initial value problem modulo smooth functions. Thus, if we are only interested in the propagation of singularities of the initial data, it is sufficient to consider such operators. In fact, if we allow the sound speed c in the wave equation to vary with position we can still find a Fourier integral operator that provides a solution modulo smooth functions, and Fourier integral operators thus provide a useful tool for studying the propagation of singularities of solutions to variable speed wave equations, and more generally for other hyperbolic equations.


See also

*
Microlocal analysis In mathematical analysis, microlocal analysis comprises techniques developed from the 1950s onwards based on Fourier transforms related to the study of variable-coefficients-linear and nonlinear partial differential equations. This includes genera ...
*
Fourier transform A Fourier transform (FT) is a mathematical transform that decomposes functions into frequency components, which are represented by the output of the transform as a function of frequency. Most commonly functions of time or space are transformed, ...
*
Pseudodifferential operator In mathematical analysis a pseudo-differential operator is an extension of the concept of differential operator. Pseudo-differential operators are used extensively in the theory of partial differential equations and quantum field theory, e.g. in m ...
*
Oscillatory integral operator In mathematics, in the field of harmonic analysis, an oscillatory integral operator is an integral operator of the form :T_\lambda u(x)=\int_e^ a(x, y) u(y)\,dy, \qquad x\in\R^m, \quad y\in\R^n, where the function ''S''(''x'',''y'') is called the ...
*
Symplectic category In mathematics, Weinstein's symplectic category is (roughly) a category whose objects are symplectic manifolds and whose morphisms are canonical relations, inclusions of Lagrangian submanifolds ''L'' into M \times N^, where the superscript minus mea ...


Notes


References

* Elias Stein, ''Harmonic Analysis: Real-variable Methods, Orthogonality and Oscillatory Integrals''. Princeton University Press, 1993. * F. Treves, Introduction to Pseudo Differential and Fourier Integral Operators, (University Series in Mathematics), Plenum Publ. Co. 1981. * J.J. Duistermaat, Fourier Integral Operators, (Progress in Mathematics), Birkhäuser 1995.


External links

* {{springer, title=Fourier integral operator, id=p/f041060 Partial differential equations Microlocal analysis Fourier analysis Harmonic analysis