Harmonic analysis on Euclidean spaces Fourier transform Proposition
Differentiation and multiplication under the Fourier transform
Builds on Fourier transformLp spaceDominated convergence theorem
Statement
Let , let , and let be its Fourier transform. Fix an index .
Remarks
For part 1, differentiate under the integral sign. The difference quotients of in are bounded by , so dominated convergence applies with dominating function . For part 2, integrate by parts in . On almost every line parallel to the -th axis, and are integrable, so has limits at both ends, and these limits are ; the boundary terms vanish.
Example: for on , part 2 gives , and part 1 gives ; both agree with .
Iterating, if lies in the Schwartz space then and is the transform of for every multi-index . The integrability hypotheses cannot be dropped: if is not integrable, need not be differentiable, as for on , whose transform has a corner at .
Going deeper
For a student
These rules turn a linear differential operator with constant coefficients into multiplication by the polynomial . This is how the transform solves the heat, wave and Schrödinger equations on . They also give the duality between smoothness and decay: the more derivatives has in , the faster decays, and the faster decays, the smoother 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
- no evidence level
- Almost everywhere concept
- Fourier transform concept
- Integrable function concept
- Integral of a non-negative function concept
- Lebesgue integral concept
- Lp space concept
- Measurable function concept
- Sequence definition
- Monotone convergence theorem statement
- Real sequence definition
- Bounded sequence definition
- Limit inferior definition
- Fatou's lemma statement
- Dominated convergence theorem statement
- Differentiation and multiplication under the Fourier transform statement
Where this leads
6 pages build on this one.
Further reading
About this page
| Tag | HHNR31W3WD |
|---|---|
| URI | m2://HHNR31W3WD |
| Kind | statement, proposition |
| Writing | W0 stub |
| MSC | 42B10, 42A38 |
| Status | This copy of the site has no build data. Run m2 status HHNR31W3WD. |
| About | Fourier transform |
| Uses | Fourier 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.