|
|
| (One intermediate revision by one other user not shown) |
| Line 1: |
Line 1: |
| In [[mathematics]], a '''Paley–Wiener theorem''' is any theorem that relates decay properties of a function or [[distribution (mathematics)|distribution]] at infinity with [[analytic function|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 [[generalized function|distributions]], and instead applied to [[Lp space|square-integrable functions]]. The first such theorem using distributions was due to [[Laurent Schwartz]].
| | Hi, everybody! My name is Marisa. <br>It is a little about myself: I live in United States, my city of San Luis Obispo. <br>It's called often Northern or cultural capital of CA. I've married 3 years ago.<br>I have two children - a son (Belen) and the daughter (Lonna). We all like Mineral collecting.<br><br>Stop by my web page :: [http://www.party24-7.com/board_Qyic63/669489 coupon 4inkjets Discount printer Supplies coupon code] |
| | |
| ==Holomorphic Fourier transforms==
| |
| The classical Paley–Wiener theorems make use of the holomorphic Fourier transform on classes of [[square-integrable function]]s supported on the real line. Formally, the idea is to take the integral defining the (inverse) Fourier transform
| |
| | |
| :<math>f(\zeta) = \int_{-\infty}^\infty F(x)e^{i x \zeta}\,dx</math>
| |
| | |
| 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 ''L''<sup>2</sup>('''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'''<sub>+</sub>: that is, ''F'' ∈ ''L''<sup>2</sup>('''R'''<sub>+</sub>). The Paley–Wiener theorem now asserts the following:<ref>{{harvnb|Rudin|1973|loc=Theorem 19.2}}; {{harvnb|Strichartz|1994|loc=Theorem 7.2.4}}; {{harvnb|Yosida|1968|loc=§VI.4}}</ref> The holomorphic Fourier transform of ''F'', defined by
| |
| | |
| :<math>f(\zeta) = \int_0^\infty F(x) e^{i x\zeta}\, dx</math>
| |
| | |
| for ζ in the [[upper half-plane]] is a holomorphic function. Moreover, by [[Plancherel's theorem]], one has
| |
| | |
| :<math>\int_{-\infty}^\infty \left |f(\xi+i\eta) \right|^2\, d\xi \le \int_0^\infty |F(x)|^2\, dx</math>
| |
| | |
| and by [[dominated convergence]],
| |
| | |
| :<math>\lim_{\eta\to 0^+}\int_{-\infty}^\infty \left|f(\xi+i\eta)-f(\xi) \right|^2\,d\xi = 0.</math>
| |
| | |
| Conversely, if ''f'' is a holomorphic function in the upper half-plane satisfying
| |
| | |
| :<math>\sup_{\eta>0} \int_{-\infty}^\infty \left |f(\xi+i\eta) \right|^2\,d\xi = C < \infty</math> | |
| | |
| then there exists ''F'' in ''L''<sup>2</sup>('''R'''<sub>+</sub>) such that ''f'' is the holomorphic Fourier transform of ''F''.
| |
| | |
| In abstract terms, this version of the theorem explicitly describes the [[Hardy space]] [[H square|''H''<sup>2</sup>('''R''')]]. The theorem states that
| |
| | |
| :<math> \mathcal{F}H^2(\mathbf{R})=L^2(\mathbf{R_+}).</math>
| |
| | |
| 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 ''L''<sup>2</sup>('''R'''<sub>+</sub>) of square-integrable functions supported on the positive axis.
| |
| | |
| By imposing the alternative restriction that ''F'' be [[compact support|compactly supported]], one obtains another Paley–Wiener theorem.<ref>{{harvnb|Rudin|1973|loc=Theorem 19.3}}; {{harvnb|Strichartz|1994|loc=Theorem 7.2.1}}</ref> Suppose that ''F'' is supported in [−''A'', ''A''], so that ''F'' ∈ ''L''<sup>2</sup>(−''A'',''A''). Then the holomorphic Fourier transform
| |
| | |
| :<math>f(\zeta) = \int_{-A}^A F(x)e^{i x\zeta}\,dx</math>
| |
| | |
| is an [[entire function]] of [[exponential type]] ''A'', meaning that there is a constant ''C'' such that
| |
| | |
| :<math>|f(\zeta)|\le Ce^{A|\zeta|},</math>
| |
| | |
| and moreover, ''f'' is square-integrable over horizontal lines: | |
| | |
| :<math>\int_{-\infty}^{\infty} |f(\xi+i\eta)|^2\,d\xi < \infty.</math>
| |
| | |
| Conversely, any entire function of exponential type ''A'' which is square-integrable over horizontal lines is the holomorphic Fourier transform of an ''L''<sup>2</sup> function supported in [−''A'', ''A''].
| |
| | |
| ==Schwartz's Paley–Wiener theorem==
| |
| Schwartz's Paley–Wiener theorem asserts that the Fourier transform of a [[distribution (mathematics)|distribution]] of [[compact support]] on '''R'''<sup>''n''</sup> is an [[entire function]] on '''C'''<sup>''n''</sup> and gives estimates on its growth at infinity. It was proven by [[Laurent Schwartz]] ([[#CITEREFSchwartz1952|1952]]). The formulation presented here is from {{harvtxt|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
| |
| | |
| :<math> v(f) = v_x(f(x)) </math> | |
| | |
| is well defined. In the above expression the variable ''x'' in ''v<sub>x</sub>'' 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
| |
| | |
| :<math> \hat{v}(s) = (2 \pi)^{-\frac{n}{2}} v_x\left(e^{-i \langle x, s\rangle}\right)</math> | |
| | |
| and that this function can be extended to values of ''s'' in the complex space '''C'''<sup>''n''</sup>. This extension of the Fourier transform to the complex domain is called the [[Fourier–Laplace transform]].
| |
| | |
| <blockquote>'''Schwartz's Theorem.''' An entire function ''F'' on '''C'''<sup>''n''</sup> is the Fourier–Laplace transform of distribution ''v'' of compact support if and only if for all ''z'' ∈ '''C'''<sup>''n''</sup>,
| |
| | |
| :<math> |F(z)| \leq C (1 + |z|)^N e^{B|\text{Im}(z)|} </math> | |
| | |
| for some constants ''C'', ''N'', ''B''. The distribution ''v'' in fact will be supported in the closed ball of center 0 and radius ''B''.</blockquote>
| |
| | |
| Additional growth conditions on the entire function ''F'' impose regularity properties on the distribution ''v''. For instance:<ref>{{harvnb|Strichartz|1994|loc=Theorem 7.2.2}}; {{harvnb|Hörmander|1976|loc=Theorem 7.3.1}}</ref>
| |
| | |
| <blockquote>'''Theorem.''' If for every positive ''N'' there is a constant ''C<sub>N</sub>'' such that for all ''z'' ∈ '''C'''<sup>''n''</sup>,
| |
| | |
| :<math> |F(z)| \leq C_N (1 + |z|)^{-N} e^{B|\text{Im}(z)|} </math>
| |
| | |
| then ''v'' is infinitely differentiable, and conversely.</blockquote>
| |
| | |
| Sharper results giving good control over the [[singular support]] of ''v'' have been formulated by {{harvtxt|Hörmander|1976}}. In particular,<ref>{{harvnb|Hörmander|1976|loc=Theorem 7.3.8}}</ref> let ''K'' be a convex compact set in '''R'''<sup>''n''</sup> with supporting function ''H'', defined by
| |
| | |
| :<math>H(x) = \sup_{y\in K} \langle x,y\rangle.</math>
| |
| | |
| Then the singular support of ''v'' is contained in ''K'' if and only if there is a constant ''N'' and sequence of constants ''C<sub>m</sub>'' such that
| |
| | |
| :<math>|\hat{v}(\zeta)| \le C_m(1+|\zeta|)^Ne^{H(\text{Im}(\zeta))}</math>
| |
| | |
| for |Im(ζ)| ≤ ''m''log(|ζ|+1).
| |
| | |
| ==Notes==
| |
| {{Reflist}}
| |
| | |
| ==References==
| |
| * {{citation|first=L.|last=Hörmander|authorlink=Lars Hörmander|title=Linear Partial Differential Operators|publisher=Springer Verlag|year=1976}}.
| |
| *{{Citation | last1=Rudin | first1=Walter | author1-link=Walter Rudin | title=Real and complex analysis | publisher=[[McGraw-Hill]] | location=New York | edition=3rd | isbn=978-0-07-054234-1 | id={{MathSciNet | id = 924157}} | year=1987}}.
| |
| * {{Citation | last1=Schwartz | first1=Laurent | authorlink=Laurent Schwartz | title=Transformation de Laplace des distributions | id={{MathSciNet | id = 0052555}} | year=1952 | journal=Comm. Sém. Math. Univ. Lund [Medd. Lunds Univ. Mat. Sem.] | volume=1952 | pages=196–206}}
| |
| * {{citation|first=R.|last=Strichartz|year=1994|title=A Guide to Distribution Theory and Fourier Transforms|publisher=CRC Press|isbn=0-8493-8273-4}}.
| |
| * {{citation|first=K.|last=Yosida|authorlink=Kōsaku Yosida|title=Functional Analysis|publisher=Academic Press|year=1968}}.
| |
| | |
| {{DEFAULTSORT:Paley-Wiener theorem}}
| |
| [[Category:Theorems in Fourier analysis]]
| |
| [[Category:Generalized functions]]
| |
| [[Category:Theorems in complex analysis]]
| |
| [[Category:Hardy spaces]]
| |
Hi, everybody! My name is Marisa.
It is a little about myself: I live in United States, my city of San Luis Obispo.
It's called often Northern or cultural capital of CA. I've married 3 years ago.
I have two children - a son (Belen) and the daughter (Lonna). We all like Mineral collecting.
Stop by my web page :: coupon 4inkjets Discount printer Supplies coupon code