Math 2.0

Harmonic analysis on Euclidean spaces Fourier transform Proposition

Differentiation and multiplication under the Fourier transform

Builds on Fourier transformLp spaceDominated convergence theorem

Statement

Let n≥1n \ge 1, let f∈L1(ℝn)f \in L^1(\R^n), and let f^(ξ)=∫ℝnf(x)e−2πix⋅ξ dx\hat f(\xi) = \int_{\R^n} f(x) e^{-2\pi i x \cdot \xi}\, dx be its Fourier transform. Fix an index j∈{1,…,n}j \in \set{1, \dots, n}.

  1. If the function x↦xjf(x)x \mapsto x_j f(x) lies in L1(ℝn)L^1(\R^n), then f^\hat f has a continuous partial derivative in ξj\xi_j, and ∂ξjf^(ξ)\partial_{\xi_j} \hat f(\xi) is the Fourier transform of −2πixjf(x)-2\pi i x_j f(x).
  2. If ff is continuously differentiable and ∂jf\partial_j f lies in L1(ℝn)L^1(\R^n), then the Fourier transform of ∂jf\partial_j f is ξ↦2πiξjf^(ξ)\xi \mapsto 2\pi i \xi_j \hat f(\xi).

Remarks

For part 1, differentiate under the integral sign. The difference quotients of e−2πix⋅ξe^{-2\pi i x \cdot \xi} in ξj\xi_j are bounded by 2π∣xj∣2\pi \abs{x_j}, so dominated convergence applies with dominating function 2π∣xjf(x)∣2\pi \abs{x_j f(x)}. For part 2, integrate by parts in xjx_j. On almost every line parallel to the jj-th axis, ff and ∂jf\partial_j f are integrable, so ff has limits at both ends, and these limits are 00; the boundary terms vanish.

Example: for f(x)=e−πx2f(x) = e^{-\pi x^2} on ℝ\R, part 2 gives f′^(ξ)=2πiξe−πξ2\widehat{f'}(\xi) = 2\pi i \xi e^{-\pi \xi^2}, and part 1 gives ddξe−πξ2=−2πξe−πξ2\frac{d}{d\xi} e^{-\pi \xi^2} = -2\pi \xi e^{-\pi \xi^2}; both agree with f′=−2πxff' = -2\pi x f.

Iterating, if ff lies in the Schwartz space then ∂αf^(ξ)=(2πiξ)αf^(ξ)\widehat{\partial^\alpha f}(\xi) = (2\pi i \xi)^\alpha \hat f(\xi) and ∂αf^\partial^\alpha \hat f is the transform of (−2πix)αf(-2\pi i x)^\alpha f for every multi-index α\alpha. The integrability hypotheses cannot be dropped: if xjfx_j f is not integrable, f^\hat f need not be differentiable, as for f(x)=1/(1+x2)f(x) = 1/(1 + x^2) on ℝ\R, whose transform πe−2π∣ξ∣\pi e^{-2\pi \abs{\xi}} has a corner at 00.

Going deeper

For a student

These rules turn a linear differential operator with constant coefficients P(∂)P(\partial) into multiplication by the polynomial P(2πiξ)P(2\pi i \xi). This is how the transform solves the heat, wave and Schrödinger equations on ℝn\R^n. They also give the duality between smoothness and decay: the more derivatives ff has in L1L^1, the faster f^\hat f decays, and the faster ff decays, the smoother f^\hat f is. This duality is the reason the Schwartz space is mapped onto itself.

Reading path

To understand this page from the ground up, read these 15 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. Almost everywhere concept
  2. Fourier transform concept
  3. Integrable function concept
  4. Integral of a non-negative function concept
  5. Lebesgue integral concept
  6. Lp space concept
  7. Measurable function concept
  8. Sequence definition
  9. Monotone convergence theorem statement
  10. Real sequence definition
  11. Bounded sequence definition
  12. Limit inferior definition
  13. Fatou's lemma statement
  14. Dominated convergence theorem statement
  15. Differentiation and multiplication under the Fourier transform statement

Where this leads

6 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Fourier_transform
About this page
TagHHNR31W3WD
URIm2://HHNR31W3WD
Kindstatement, proposition
WritingW0 stub
MSC42B10, 42A38
StatusThis copy of the site has no build data. Run m2 status HHNR31W3WD.
AboutFourier transform
UsesFourier transform, Lp space, Dominated convergence theorem

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

Used by