Fourier transforms of functions not in \$L^2.\$ - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T03:57:27Z http://mathoverflow.net/feeds/question/80881 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/80881/fourier-transforms-of-functions-not-in-l2 Fourier transforms of functions not in \$L^2.\$ Igor Rivin 2011-11-14T10:11:16Z 2012-04-23T13:57:13Z <p>This is probably something five-year-old physicists know, but here goes: Is there a standard methodology for computing Fourier transforms of things like \$\log |x|\$? Wolfram Alpha will happily give an answer (involving a delta function), but actually trying to do this yourself (by parts) gives horribly divergent-looking terms (the question which actually came up had \$x\$ be a vector in \$\mathbb{R}^3,\$ where the divergent terms are even more horrible than in the one-dimensional case (I am referring to the technique of just cutting off the function at some large \$R;\$ there are obviously other techniques, like weighting the integrand by an exponential weight (so you are computing a combination of Fourier and Laplace transforms), then computing the analytic continuation at \$0,\$ but all these should give the same answer,and there should be a not-totally-ad-hoc way of doing this, one should think...</p> http://mathoverflow.net/questions/80881/fourier-transforms-of-functions-not-in-l2/80896#80896 Answer by paul garrett for Fourier transforms of functions not in \$L^2.\$ paul garrett 2011-11-14T14:37:35Z 2012-04-23T13:57:13Z <p>The umbrella legitimization of many such Fourier transforms is as <em>tempered</em> _distributions_ (where the sense of "distribution" is not the probability sense, but in the sense of Laurent Schwartz). The various "regularization" tricks amount to approaching the given distribution in the "weak *-topology" on distributions, by more tractable functions. Fourier transform on tempered distributions is (provably) continuous, so we conclude that all these trick must yield the same outcome.</p> <p>[Edit in response to comment:] The "how to compute" (once we know that <em>any</em> device succeeds) is non-trivial, insofar as it is not clear a-priori how explicit an outcome could be expected. The first volume of Gelfand-Graev-et-alia's "Generalized Functions" does many illuminating examples, mostly computed via meromorphic continuation.</p> <p>The simplest family of examples is probably \$|x|^s\$. Here, the homogeneity and rotational symmetry, and the fact that Fourier transform respects these (in suitable senses), promise that the Fourier transform of \$|x|^s\$ on \$\mathbb R^n\$ is a constant multiple of \$|x|^{-n-s}\$, for \$-n&lt;\Re(s)&lt;0\$ to assure local integrability (of both). The constant multiple is determined (for example) by integrating against Gaussians.</p> <p>Then use the fact that the derivative of \$|x|^s\$ in \$s\$ multiplies it by \$\log|x|\$, and set \$s=0\$. This is the nice way logarithms can arise. The implicit claim that we can do complex analysis with distribution-valued functions was legitimized by Schwartz, and is pervasive in Gelfand-et-alia.</p> <p>Products of \$|x|^s\$ by harmonic polynomials can be treated almost identically, using the repn theory of the orthogonal group on harmonic polynomials.</p> <p>That is, very often, some sort of _unique_characterization_ of the tempered distribution, and of its image under Fourier Transform, reduce the computation to determination of the relevant constant!</p> <p>Edit: oops, as Bazin notes, the exponent is not \$n-s\$ but \$-n-s\$, and adjust the local integrability assertion. (Adjusted above.)</p> http://mathoverflow.net/questions/80881/fourier-transforms-of-functions-not-in-l2/82230#82230 Answer by Abdelmalek Abdesselam for Fourier transforms of functions not in \$L^2.\$ Abdelmalek Abdesselam 2011-11-29T23:03:20Z 2011-11-29T23:03:20Z <p>Only a small addendum to the excellent answer by Paul Garrett: A place where the Fourier transform is worked out explicitly (in 1d) is this <a href="http://arxiv.org/PS_cache/math/pdf/9809/9809119v2.pdf" rel="nofollow">preprint</a> by Burnol. See in particular Page 13.</p> http://mathoverflow.net/questions/80881/fourier-transforms-of-functions-not-in-l2/94921#94921 Answer by Liviu Nicolaescu for Fourier transforms of functions not in \$L^2.\$ Liviu Nicolaescu 2012-04-23T09:31:18Z 2012-04-23T09:31:18Z <p>To find the Fourier transform of this and many other functions I enthusiastically recommend volume 1 of the magnificent treatise <em>Generalized Functions</em>, by Gelfand and coauthors. </p> <p>This monograph contains so many mathematical gems and it pains me to notice that it is quasi - invisible to the Internet generation (By definition, you belong to the Internet generation, if you do no have a vivid memory of an era without E-mail.)</p>