This action might not be possible to undo. Are you sure you want to continue?

1

Paley–Wiener theorem

In mathematics, a Paley–Wiener theorem is any theorem that relates decay properties of a function or distribution at infinity with analyticity of its Fourier transform. The theorem is named for Raymond Paley (1907–1933) and Norbert Wiener (1894–1964). The original theorems did not use the language of distributions, and instead applied to square-integrable functions. The first such theorem using distributions was due to Laurent Schwartz.

**Holomorphic Fourier transforms
**

The classical Paley–Wiener theorems make use of the holomorphic Fourier transform on classes of square-integrable functions supported on the real line. Formally, the idea is to take the integral defining the (inverse) Fourier transform

and allow ζ to be a complex number in the upper half-plane. One may then expect to differentiate under the integral in order to verify that the Cauchy–Riemann equations hold, and thus that f defines an analytic function. Of course, this integral may not be well-defined, even for F in L2(R), and so differentiation under the sign of the integral is out of the question. One must impose further restrictions on F in order that this integral be well-defined. The first such restriction is that F be supported on R+: that is, F ∈ L2(R+). The Paley–Wiener theorem now asserts the following:[1] The holomorphic Fourier transform of F, defined by

for ζ in the upper half-plane is a holomorphic function. Moreover, by Plancherel's theorem, one has

and by dominated convergence,

Conversely, if f is a holomorphic function in the upper half-plane satisfying

then there exists F in L2(R+) such that f is the holomorphic Fourier transform of F. In abstract terms, this version of the theorem explicitly describes the Hardy space H2(R). The theorem states that

This is a very useful result as it enables one pass to the Fourier transform of a function in the Hardy space and perform calculations in the easily understood space L2(R+) of square-integrable functions supported on the positive axis. By imposing the alternative restriction that F be compactly supported, one obtains another Paley–Wiener theorem.[2] Suppose that F is supported in [−A, A], so that F ∈ L2(−A,A). Then the holomorphic Fourier transform

is an entire function of exponential type A, meaning that there is a constant C such that

and moreover, f is square-integrable over horizontal lines:

PaleyWiener theorem Conversely, any entire function of exponential type A which is square-integrable over horizontal lines is the holomorphic Fourier transform of an L2 function supported in [−A, A].

2

**Schwartz's Paley–Wiener theorem
**

Schwartz's Paley–Wiener theorem asserts that the Fourier transform of a distribution of compact support on Rn is an entire function on Cn and gives estimates on its growth at infinity. It was proven by Laurent Schwartz (1952). The formulation presented here is from Hörmander (1976). Generally, the Fourier transform can be defined for any tempered distribution; moreover, any distribution of compact support v is a tempered distribution. If v is a distribution of compact support and f is an infinitely differentiable function, the expression

is well defined. In the above expression the variable x in vx is a dummy variable and indicates that the distribution is to be applied with the argument function considered as a function of x. It can be shown that the Fourier transform of v is a function (as opposed to a general tempered distribution) given at the value s by

and that this function can be extended to values of s in the complex space Cn. This extension of the Fourier transform to the complex domain is called the Fourier–Laplace transform. Schwartz's Theorem. An entire function F on Cn is the Fourier–Laplace transform of distribution v of compact support if and only if for all z ∈ Cn,

for some constants C, N, B. The distribution v in fact will be supported in the closed ball of center 0 and radius B. Additional growth conditions on the entire function F impose regularity properties on the distribution v. For instance:[3] Theorem. If for every positive N there is a constant CN such that for all z ∈ Cn, then v is infinitely differentiable, and conversely. Sharper results giving good control over the singular support of v have been formulated by Hörmander (1976). In particular,[4] let K be a convex compact set in Rn with supporting function H, defined by

Then the singular support of v is contained in K if and only if there is a constant N and sequence of constants Cm such that

for |Im(ζ)| ≤ mlog(|ζ|+1).

PaleyWiener theorem

3

Notes

[1] [2] [3] [4] Rudin 1973, Theorem 19.2; Strichartz 1994, Theorem 7.2.4; Yosida 1968, §VI.4 Rudin 1973, Theorem 19.3; Strichartz 1994, Theorem 7.2.1 Strichartz 1994, Theorem 7.2.2; Hörmander 1976, Theorem 7.3.1 Hörmander 1976, Theorem 7.3.8

References

• Hörmander, L. (1976), Linear Partial Differential Operators, Springer Verlag. • Rudin, Walter (1987), Real and complex analysis (3rd ed.), New York: McGraw-Hill, ISBN 978-0-07-054234-1, MR924157. • Schwartz, Laurent (1952), "Transformation de Laplace des distributions", Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] 1952: 196–206, MR0052555 • Strichartz, R. (1994), A Guide to Distribution Theory and Fourier Transforms, CRC Press, ISBN 0-8493-8273-4. • Yosida, K. (1968), Functional Analysis, Academic Press.

Article Sources and Contributors

4

**Article Sources and Contributors
**

Paley–Wiener theorem Source: http://en.wikipedia.org/w/index.php?oldid=530272503 Contributors: BeteNoir, Brad7777, CSTAR, Charles Matthews, Chtito, Deodar, Giftlite, Jugander, Linas, Lupin, Michael Hardy, Psychonaut, RDBury, Slawekb, Sławomir Biały, TedPavlic, Zvika, 10 anonymous edits

License

Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/

- Weber Test
- Tantra Sam Gra Ha
- The Hay Wain
- Achromatic Lens
- Cassini Oval
- Regiomontanus' Angle Maximization Problem
- Yttrium
- PURCHASE ONLYTableau économique
- PURCHASE ONLYVertumnus and Pomona
- PURCHASE ONLYSystema Naturae
- PURCHASE ONLYIl giorno
- PURCHASE ONLYMelencolia I
- Voltages
- PURCHASE ONLYBursa of Fabricius
- PURCHASE ONLYThe Four Evangelists
- PURCHASE ONLYRubaiyat of Omar Khayyam
- Enclosures
- PURCHASE ONLYVaccination
- Starters
- PURCHASE ONLYWitch of Agnesi
- CCRs
- PURCHASE ONLYL'Incoronazione Di Poppea
- OCPDs
- PURCHASE ONLYMr and Mrs Andrews
- Motors

Sign up to vote on this title

UsefulNot usefulPaley–Wiener theorem

Paley–Wiener theorem

- Bochner’s Theorem on the Fourier Transform on R
- Elias m. Stein - Localization and Summability of Multiple Fourier Series
- Convergence
- Notes
- CT Reconstruksi
- Duoandikoetxea - Fourier Analysis (2001)
- Fourier Expansions of Functions with Bounded Variation of Several Variables
- A Convolution and Product Theorem for the Fractional Fourier Transform, Zayed
- Contents
- IEEE_TPAMI_Jun1998 (Degraded Image Analysis)
- m485
- fourierII
- Fourier Transform
- Fourier Transform - Wikipedia, The Free Encyclopedia
- Fourier Transform
- chapter3.pdf
- 2Fourier Transform
- Adjoint Operators of Fourier-Finite Mellin Transform
- FourierNotes
- Tests+Solutions
- Fourier Transform Wiki
- Mathematica - Fourier Series.pdf
- harmonicnotes.pdf
- A Characterization of Hyperbolic Affine Ifs
- Chapter 6
- lesson plan.doc
- (February 19, 2005)
- Lecture notes on harmonic analysis
- a7MATH267 Sol
- Harmonic Analysis Notes
- Paley–Wiener theorem

Are you sure?

This action might not be possible to undo. Are you sure you want to continue?

We've moved you to where you read on your other device.

Get the full title to continue

Get the full title to continue reading from where you left off, or restart the preview.

scribd