Oscillatory integral

Oscillatory integral

In mathematical analysis an oscillatory integral is a type of distribution. Oscillatory integrals make rigorous many arguments that, on a naive level, appear to use divergent integrals. It is possible to represent approximate solution operators for many differential equations as oscillatory integrals.

Contents

Definition

An oscillatory integral f(x) is written formally as

 f(x) = \int e^{i \phi(x,\xi)}\, a(x,\xi) \, \mathrm{d} \xi

where ϕ(x,ξ) and a(x,ξ) are functions defined on  \mathbb{R}_x^n \times \mathrm{R}^N_\xi with the following properties.

1) The function φ is real valued, positive homogeneous of degree 1, and infinitely differentiable away from {ξ = 0}. Also, we assume that φ does not have any critical points on the support of a. Such a function, φ is usually called a phase function. In some contexts more general functions are considered, and still referred to as phase functions.
2) The function a belongs to one of the symbol classes  S^m_{1,0}(\mathbb{R}_x^n \times \mathrm{R}^N_\xi) for some  m \in \mathbb{R}. Intuitively, these symbol classes generalize the notion of positively homogeneous functions of degree m. As with the phase function φ, in some cases the function a is taken to be in more general, or just different, classes.

When m < − n + 1 the formal integral defining f(x) converges for all x and there is no need for any further discussion of the definition of f(x). However, when  m \geq - n+1 the oscillatory integral is still defined as a distribution on  \mathbb{R}^n even though the integral may not converge. In this case the distribution f(x) is defined by using the fact that  a(x,\xi) \in S^m_{1,0}(\mathbb{R}_x^n \times \mathrm{R}^N_\xi) may be approximated by functions that have exponential decay in ξ. One possible way to do this is by setting

 f(x) = \lim \limits_{\epsilon \rightarrow 0^+} \int e^{i \phi(x,\xi)}\, a(x,\xi) e^{-\epsilon |\xi|^2/2} \, \mathrm{d} \xi

where the limit is taken in the sense of tempered distributions. Using integration by parts it is possible to show that this limit is well defined, and that there exists a differential operator L such that the resulting distribution f(x) acting on any ψ in the Schwarz space is given by

 \langle f, \psi \rangle = \int e^{i \phi(x,\xi)} L \left ( a(x,\xi) \, \psi(x) \right ) \, \mathrm{d} x \, \mathrm{d} \xi

where this integral converges absolutely. The operator L is not uniquely defined, but can be chosen in such a way that depends only on the phase function φ, the order m of the symbol a, and N. In fact, given any integer M it is possible to find an operator L so that the integrand above is bounded by C(1 + | ξ | ) M for | ξ | sufficiently large. This is the main purpose of the definition of the symbol classes.

Examples

Many familiar distributions can be written as oscillatory integrals.

1) The Fourier inversion theorem implies that the delta function, δ(x) is equal to
 \frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} e^{i x \cdot \xi} \, \mathrm{d} \xi.
If we apply the first method of defining this oscillatory integral from above, as well as the Fourier transform of the Gaussian, we obtain a well known sequence of functions which approximate the delta function:
 \delta(x) = \lim_{\varepsilon \rightarrow 0^+}\frac{1}{(2 \pi)^n} \int_{\mathbb{R}^n} e^{i x\cdot \xi} e^{-\varepsilon |\xi|^2/2} \mathrm{d} \xi = \lim_{\varepsilon \rightarrow 0^+} \frac{1}{(\sqrt{2 \pi \varepsilon})^n} e^{-|\xi|^2/(2 \varepsilon)}.
An operator L in this case is given for example by
 L = \frac{(1 - \Delta_x)^k}{(1 + |\xi|^2)^k}
where Δx is the Laplacian with respect to the x variables, and k is any integer greater than (n − 1) / 2. Indeed, with this L we have
 \langle \delta, \psi \rangle = \psi(0) = \frac{1}{(2 \pi)^n}\int_{\mathbb{R}^n} e^{i x \cdot \xi} L(\psi)(x,\xi)\, \mathrm{d} \xi \, \mathrm{d} x,
and this integral converges absolutely.
2) The Schwartz kernel of any differential operator can be written as an oscillatory integral. Indeed if
 L = \sum \limits_{|\alpha| \leq m} p_\alpha(x) D^\alpha
where  D^\alpha = \partial^\alpha_{x}/i^{|\alpha|} , then the kernel of L is given by
 \frac{1}{(2\pi)^n}\int_{\mathbb{R}^n} e^{i \xi \cdot (x - y)} \sum \limits_{|\alpha| \leq m} p_\alpha(x) \, \xi^\alpha \, \mathrm{d} \xi.

Relation to Lagrangian distributions

Any Lagrangian distribution can be represented locally by oscillatory integrals (see Hörmander (1983)). Conversely any oscillatory integral is a Lagrangian distribution. This gives a precise description of the types of distributions which may be represented as oscillatory integrals.

See also

  • Riemann–Lebesgue lemma

References

  • Hörmander, Lars (1983), The Analysis of Linear Partial Differential Operators IV, Springer-Verlag, ISBN 0-387-13829-3 
  • Hörmander, Lars (1971), "Fourier integral operators I", Acta Math. 127: 79–183 

Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Oscillatory integral operator — In mathematics, in the field of harmonic analysis, an oscillatory integral operator is an integral operator of the form where the function is called the phase of the operator and the function is called the symbol of the operator. is a parameter.… …   Wikipedia

  • Oscillatory — means having periodic vibrations and may refer to:*Exhibiting the behavior of oscillation *Oscillatory Universe *Oscillatory integral …   Wikipedia

  • Path integral formulation — This article is about a formulation of quantum mechanics. For integrals along a path, also known as line or contour integrals, see line integral. The path integral formulation of quantum mechanics is a description of quantum theory which… …   Wikipedia

  • Oszillierendes Integral — Ein oszillierendes Integral ist ein Objekt aus dem mathematischen Teilgebiet der Funktionalanalysis beziehungsweise aus der mikrolokalen Analysis. Es ist ein verallgemeinerter Integralbegriff, welcher insbesondere im Bereich der… …   Deutsch Wikipedia

  • List of Fourier analysis topics — This is an alphabetical list of Fourier analysis topics. See also the list of Fourier related transforms, and the list of harmonic analysis topics. Almost periodic function ATS theorem Autocorrelation Autocovariance Banach algebra Bessel function …   Wikipedia

  • 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… …   Wikipedia

  • Dirac delta function — Schematic representation of the Dirac delta function by a line surmounted by an arrow. The height of the arrow is usually used to specify the value of any multiplicative constant, which will give the area under the function. The other convention… …   Wikipedia

  • Feynman diagram — The Wick s expansion of the integrand gives (among others) the following termNarpsi(x)gamma^mupsi(x)arpsi(x )gamma^ upsi(x )underline{A mu(x)A u(x )};,whereunderline{A mu(x)A u(x )}=int{d^4pover(2pi)^4}{ig {mu u}over k^2+i0}e^{ k(x x )}is the… …   Wikipedia

  • Numerical sign problem — The numerical sign problem refers to the difficulty of numerically evaluating the integral of a highly oscillatory function of a large number of variables. Numerical methods fail because of the near cancellation of the positive and negative… …   Wikipedia

  • Clenshaw–Curtis quadrature — and Fejér quadrature are methods for numerical integration, or quadrature , that are based on an expansion of the integrand in terms of Chebyshev polynomials. Equivalently, they employ a change of variables x = cos θ and use a discrete… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”