Distributions more complicated than the Dirac δ and derivatives - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T14:06:18Z http://mathoverflow.net/feeds/question/25535 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/25535/distributions-more-complicated-than-the-dirac-and-derivatives Distributions more complicated than the Dirac δ and derivatives Akela 2010-05-21T22:41:50Z 2012-04-19T18:07:34Z <p>The responses to <a href="http://mathoverflow.net/questions/17732/" rel="nofollow">another question</a> clarifies that the best known examples of distributions that are not measures, are the derivatives of the delta and such. What I want to know is: Is that the only way a distribution is not a measure?</p> <blockquote> <p>Are there distributions that are not measures, their derivatives, and their derivatives, and so on?</p> </blockquote> http://mathoverflow.net/questions/25535/distributions-more-complicated-than-the-dirac-and-derivatives/25536#25536 Answer by S. Carnahan for Distributions more complicated than the Dirac δ and derivatives S. Carnahan 2010-05-21T22:48:59Z 2010-05-22T04:57:54Z <p>You can take distributional derivatives of the devil's staircase. See <a href="http://en.wikipedia.org/wiki/Distribution_%28mathematics%29#Distributions_as_derivatives_of_continuous_functions" rel="nofollow">Wikipedia</a> for an explanation.</p> <p><b>Edit:</b> Sorry I was so curt. The answer to your revised question is no. The Wikipedia link above gives references to the fact that all distributions on the real line (and finite dimensional Euclidean spaces) are distributional derivatives of continuous functions, and continuous functions can be lifted canonically to measures.</p> <p>As Rekalo mentioned, there is a notion of hyperfunction due to Sato that arises from studying boundary values of holomorphic functions, and hyperfunctions form a strictly larger space than distributions (in particular, essential singularities are allowed). I've heard of other spaces of generalized functions such as modules over sheaves of pseudodifferential operators, but I don't know how they relate to each other, or how one proves theorems with them.</p> http://mathoverflow.net/questions/25535/distributions-more-complicated-than-the-dirac-and-derivatives/25540#25540 Answer by Andy Putman for Distributions more complicated than the Dirac δ and derivatives Andy Putman 2010-05-21T23:33:37Z 2010-05-21T23:33:37Z <p>There is a structure theorem for distributions that shows that they are all (possibly infinite, but locally finite) sums of derivatives. </p> <p>Here's a proper statement. Let $T$ be a distribution on $\mathbb{R}^n$. Then there exists continuous functions $f_{\alpha}$ such that $T = \sum_{\alpha} (\frac{\partial}{\partial x})^{\alpha} f_{\alpha}$, where for each bounded open set $\Omega$, all but a finite number of the distributions $(\frac{\partial}{\partial x})^{\alpha} f_{\alpha}$ vanish identically on $\Omega$. Here $\alpha$ is a multiindex.</p> <p>I recommend perusing the beautiful little book "A Guide to Distribution Theory and Fourier Transforms" by Strichartz. The above theorem is discussed in section 6.2.</p> http://mathoverflow.net/questions/25535/distributions-more-complicated-than-the-dirac-and-derivatives/25545#25545 Answer by Andrey Rekalo for Distributions more complicated than the Dirac δ and derivatives Andrey Rekalo 2010-05-22T01:04:20Z 2010-05-22T03:55:13Z <p>One can construct various "exotic" classes of distributions by playing with spaces of test functions. For example, if we choose a suitable space of real analytic functions, the dual space will include "distributions" which are not finite sums of derivatives of measures.</p> <p>Let $$T(x)=\sum\limits_{k=0}^{\infty}c_k \delta^{(k)}(x),\quad c_k\in \mathbb C, \quad \limsup\limits_{k\to\infty}\left(k!|c_k|\right)^{1/k}=0.\qquad\qquad(*)$$ $T(.)$ is not a distribution in the classical sense. Its support is localized at $x=0$ but $T(.)$ cannot be written as a <em>finite</em> linear combination of $\delta^{(k)}(x)$. Yet $(*)$ defines a continuous linear functional on a subspace of the space of entire analytic functions on $\mathbb C$. This is a simple example of a <a href="http://en.wikipedia.org/wiki/Hyperfunction" rel="nofollow"><em>hyperfunction</em></a> (a.k.a. analytic functional).</p> <p>The analogue of the structure theorem for hyperfunctions basically says that every hyperfunction can be written as a convolution $T*\mu$, where $T$ is of the form $(*)$ and $\mu$ is a Borel measure on $\mathbb R$.</p> http://mathoverflow.net/questions/25535/distributions-more-complicated-than-the-dirac-and-derivatives/94552#94552 Answer by Bazin for Distributions more complicated than the Dirac δ and derivatives Bazin 2012-04-19T18:07:34Z 2012-04-19T18:07:34Z <p>Maybe a simple example to demonstrate that, although a distribution is of finite order on each compact, it could be of infinite order, i.e. not of finite order. Consider simply the following distribution on the real line $$\langle T,\phi\rangle=\sum_{k\in \mathbb N}\phi^{(k)}(k).$$ Bazin.</p>