Math 2.0

Harmonic analysis on Euclidean spaces Definition

Oscillatory integral

Builds on Smooth functionLebesgue integral

Definition

Let n≥1n \ge 1. Let ϕ ⁣:ℝn→ℝ\phi \colon \R^n \to \R be a smooth function, the phase. Let ψ ⁣:ℝn→ℂ\psi \colon \R^n \to \C be a smooth function with compact support, the amplitude. The oscillatory integral with phase ϕ\phi and amplitude ψ\psi is the function of the real parameter λ\lambda given by I(λ)=∫ℝneiλϕ(x)ψ(x) dx.I(\lambda) = \int_{\R^n} e^{i\lambda\phi(x)} \psi(x) \, dx. A point xx with ∇ϕ(x)=0\nabla\phi(x) = 0 is a critical point, or stationary point, of the phase.

Remarks

Example: n=1n = 1, ϕ(x)=x\phi(x) = x and ψ\psi smooth with compact support. Then I(λ)=∫eiλxψ(x) dxI(\lambda) = \int e^{i\lambda x}\psi(x) \, dx is the Fourier transform of ψ\psi at −λ/(2π)-\lambda/(2\pi), and repeated integration by parts gives ∣I(λ)∣≤CN∣λ∣−N\abs{I(\lambda)} \le C_N \abs{\lambda}^{-N} for every NN. More generally, if ∇ϕ≠0\nabla\phi \ne 0 on the support of ψ\psi, then I(λ)I(\lambda) decays faster than any power of λ\lambda.

Non-example: ϕ(x)=x\phi(x) = x and ψ≡1\psi \equiv 1 on ℝ\R. The amplitude does not have compact support, and ∫ℝeiλx dx\int_\R e^{i\lambda x} \, dx does not converge as a Lebesgue integral. Such integrals are still given a meaning as distributions, which is the setting of the more general oscillatory integrals of Hörmander.

If x0x_0 is the only critical point in the support of ψ\psi and the Hessian of ϕ\phi at x0x_0 is invertible, the method of stationary phase gives I(λ)=O(λ−n/2)I(\lambda) = O(\lambda^{-n/2}) as λ→∞\lambda \to \infty.

Reading path

To understand this page from the ground up, read these 3 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Lebesgue integral concept
  2. Smooth function concept
  3. Oscillatory integral definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Oscillatory_integral
About this page
Tag7ES4TCMRZC
URIm2://7ES4TCMRZC
Kinddefinition
WritingW0 stub
MSC42B20, 41A60
DefinesOscillatory integral
UsesSmooth function, Lebesgue integral

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.