Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorTodd_Trimble
    • CommentTimeOct 16th 2009
    • (edited Oct 16th 2009)

    After sitting on this for days and hardly doing a thing, I added some applications to distribution and added a bit to the section on synthetic differential geometry. While I was dawdling, Andrew Stacey stepped in and added to some parts that needed expert attention -- thanks, Andrew.

    • CommentRowNumber2.
    • CommentAuthorAndrew Stacey
    • CommentTimeOct 16th 2009

    There you go - an example of the n-lab working as it should! Perhaps we should write this up and post it ... somewhere.

    • CommentRowNumber3.
    • CommentAuthorzskoda
    • CommentTimeOct 19th 2009
    See my query; if we care about geometry, not only real n-dim spaces, but manifolds, we should distinguish generalized functions and distributions or generalized densities.
    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJul 28th 2017
    • (edited Jul 28th 2017)

    I have started touching the entry distribution: added plenty of hyperlinks for keywords (some of them gray links to be created), and started to organize the material under “Traditional definition” into numbered definition/proposition/example environments.

    I took the liberty of switching notation from UU for the base space (open subset of Euclidean ssapce) to XX, since I think we really want to be speaking of distributions on smooth manifolds, the open subsets of Euclidean space just being particular examples. But I haven’t added anything regarding this generalization yet.

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeJul 28th 2017
    • (edited Jul 28th 2017)

    Is it wise that the entry distribution uses the notation 𝒟\mathcal{D} for the space of distributions, instead of the space of test funtions, as is common (originating with Schwartz, I suppose)? I like writing expicitly C c (X)C^\infty_c(X) for the test functions, not to hide behind notation what is easily made explicit, and on absolute grounds it would make sense to read 𝒟\mathcal{D} as short for “distributions”, but since this is in dangerous conflict with established convention, I’d rather we changed this.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeJul 28th 2017

    I guess you’re right, but what a pity. Actually, your comment here should probably be incorporated into the article.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 28th 2017

    Okay, I have added a remark, here. Then I changed the notation on the page from 𝒟\mathcal{D} to 𝒟\mathcal{D}'.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2017
    • (edited Aug 7th 2017)

    Following a suggestion that I made recently (here) I have removed from distribution the section “Multiplication of distributions”, which was introduced in rev 9 here.

    I have replaced it with a pointer to the entry product of distributions, which I started recently.

    The subsection which I removed started out with the words:

    Distributions fail to address some uses to which physicists would like to put them (as in path integrals), since there is no general way to multiply distributions in a way that extends multiplication of functions .

    Besides the fact that a pure math entry should say something about its topic before passing to discussion of physics, arguably the situation in physics is the opposite of what was suggested by these lines: It turns out that the theory of distributions supplemented by a proper analysis of their wave front sets serves to solve all the conceptual problems in perturbative quantum field theory: What are (or have been) widely-perceived as problems are not caused by an insufficient concept of distributions, but by simple technical errors in handling them. I have therefore written a paragraph on the actual situation in physics at “product of distributions” here. This also subsumes the pointer to Scharf’s textbook that appeared later in the section now removed.

    Next in the subsection which I removed there was a paragraph sketching why a global product of distributions cannot exist, subject to some natural conditions. I have copied that paragraph over to “product of distributions”, here, essentially unmodified. But eventually this ought to be expanded a little more, to do the subject justice.

    Finally there was a pointer to Colombeau algebras. This I turned into a stand-alone entry Colombeau algebra, see its own thread here.

    • CommentRowNumber9.
    • CommentAuthorMike Shulman
    • CommentTimeAug 7th 2017

    This is very interesting to hear! I look forward to seeing the definition when it makes it into the entry, and maybe hearing a little more about the physical applications if they can be explained to a mathematician.

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2017
    • (edited Aug 7th 2017)

    Thanks for the feedback. It is indeed very interesting. One of those “well known” facts that are not widely known.

    I went and added some more detail on the construction of the product of distributions with compatible wave front sets: here. Ultimately a full proof requires spelling out a few more lemmas than I have done so far, but of course it is all in Hörmander’s book.

    Apparently Hörmander had understood all this back in 1970 (here). Then Duistermaat-Hörmander wrote a famous (?) treatise using this theory, back in 1972 (here). In this book they use the theory to construct Feynman propagators for quantum fields on curved spacetime. One year later, in 1973, Epstein-Glaser show (here) that perturbative renormalization of quantum field theory is a well defined operation in terms of Hörmander’s microlocal analysis of distributions.

    There have been some improvements since 1973, especially some streamlining of the tedious proof of the main theorem of perturbative renormalization and more generalization to fields on curved spacetime. But the mathematical foundation of perturbative quantum field theory in microlocal analysis of distributions was fully established by 1973.

    Strangely, it is not widely known, even though Scharf wrote two crystal clear textbooks (Scharf 95, Scharf 01)

    hearing a little more about the physical applications if they can be explained to a mathematician.

    That’s what I am preparing to write, a detailed exposition of the construction of perturbative quantum field theory for mathematicians. As you will have seen, so far I have been compiling bird’s eye overviews at causal perturbation theory and at locally covariant perturbative quantum field theory. You see the product of distributions in action in the entry Wick algebra. I’d be grateful for feedback. If you let me know which parts are (particularly) unclear, I’ll try to expand/improve.

    • CommentRowNumber11.
    • CommentAuthorzskoda
    • CommentTimeAug 8th 2017
    • (edited Aug 8th 2017)

    ad Urs 5

    Most of the literature I read in my life used 𝒟\mathcal{D} for the space of test functions and 𝒟\mathcal{D}' for the space of distributions/generalized functions. What is your classical source of having it differently ?

    There may be another reason. On manifolds you distinguish the generalized functions and generalized distributions. So to get generalized functions you take the dual of test distributions (in the sense of 1-densities) and to get generalized distributions you take test functions. In R^n no difference. But the two have different functorial properties on manifolds as disussed in Guillemin, Sternberg, Geometric asymptotics.

    • CommentRowNumber12.
    • CommentAuthorUrs
    • CommentTimeAug 8th 2017

    Zoran, that’s just what I am saying in #5.

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeAug 8th 2017

    Sorry, I misunderstood.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeAug 8th 2017

    14 seems to be a spam.

    Urs, if you do not like 𝒟\mathcal{D}' you can proceed as you did with 𝒟=C 0 \mathcal{D} = C^\infty_0, namely people sometimes similarly write C 0 C^{-\infty}_0 for 𝒟\mathcal{D}'.

    • CommentRowNumber15.
    • CommentAuthorMike Shulman
    • CommentTimeAug 13th 2017

    At product of distributions the example for non-existence of a global product involves the Heaviside function. It would help me to see spelled out explicitly how this example fails the wave-front-sets condition.

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeAug 13th 2017
    • (edited Aug 13th 2017)

    Here is how the wave front condition is violated in this case:

    the wave front set of δ𝒟()\delta \in \mathcal{D}'(\mathbb{R}) is WF(δ)={(0,k)|k{0}}WF(\delta) = \{( 0,k ) | k \in \mathbb{R}\setminus \{0\} \} (this example), i.e. it is concentrated over the origin, where it consist of all non-vanishing covectors.

    So for a distribution uu to have a wave front set compatible with that of δ\delta that wave front set must completely vanish at the origin. But by the Paley-Wiener-Schwartz theorem this means that there exists some bump function bb with b(0)=1b(0) = 1 such that bub \cdot u is a smooth function. This excludes in particular the Heaviside distribution.

    • CommentRowNumber17.
    • CommentAuthorUrs
    • CommentTimeAug 13th 2017
    • (edited Aug 13th 2017)

    But i am guessing that what you’d rather like to see is more of a reason for why this wave front condition is the right one for the product of distributions to make sense.

    The idea is to define the product of distributions by first Fourier transforming locally (after multiplication with bump functions of small enough support), then forming convolution, then transforming back. In the process the convolution integral need not exist. The wave front condition is pretty directly a sufficient condition for this convolution integral to exist. Or rather, it is the necessary condition that this convolution integral exists for the two distributions and for all their derivatives, for this then ensures that on the resulting product the Leibniz rule works.

    So let uu and vv be two distributions on 1\mathbb{R}^1. Their product uvu \cdot v is supposed to be such that around every point xx \in \mathbb{R} there exists a neighbourhood U xU_x and a bump function bb with b| U x=1b|_{U_x} = 1 such that

    b 2uv^=bu^bv^ \widehat{b^2 u \cdot v} = \widehat{b u} \star \widehat{ b v }

    where ()^\widehat{(-)} denotes Fourier transform and \star denotes convolution. Hence

    b 2uv^(ξ)=bu^(k)bv^(ξk)dk. \widehat{b^2 u \cdot v}(\xi) = \int \widehat{b u}(k) \widehat{b v}(\xi - k) d k \,.

    Now the Paley-Wiener-Schwartz theorem says that for compactly supported distributions such as bub u and bvb v their Fourier transform grows at most exponentially, with power equal to the order of the distribution.

    Hence for the above convolution integral alone to have a chance to exist, it is sufficient that either of the two Fourier transforms decays at least with power N1-N-1 in either of the two directions, where NN is the order of the other distribution. However, for this still to work also for all derivatives of the distributions, given that under Fourier transform each derivative increases the order by one, we need that in both of the two directions k±k \to \pm \infty one of the two Fourier transform decays faster than any finite power. But this is the condition that ±k\pm k is not in the wave front set of one of the two distributions, hence is the compatibility conditions on wave front sets.

    That’s the idea. I don’t see what I just sketched stated as a theorem in Hörmander’s book, though. It must be implicit in his proof of theorem 8.2.4 (pullback of distributions) but it seems to require work to make this explicit. I see it stated without proof in various reviews (for instance in arXiv:1404.1778 item iv) on top of p. 12). It seems like a proof might be explicit in the book

    • Michael Oberguggenberger, Multiplication of Distributions and Applications to Partial Differential Equations, Longman 1992

    but I have not seen (enough of) that book yet.

    • CommentRowNumber18.
    • CommentAuthorjim_stasheff
    • CommentTimeAug 13th 2017
    Shouldn't there be a disambiguation up front cf.distribution as a subbundle of the tangent bundle
    I come to this lately
    • CommentRowNumber19.
    • CommentAuthorMike Shulman
    • CommentTimeAug 14th 2017

    Actually #17 is what I wanted. So the problem is not with the initial product H n(x)H^n(x), but that the product nH n1(x)δ(x)n H^{n-1}(x) \delta(x) in the “chain rule” is not valid. What is the wave front set of HH exactly?

    • CommentRowNumber20.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2017

    According to example 15 in arXiv:1404.1778 the wave front set of the Heaviside function HH is also {(0,k)|k0}\{ (0,k) \vert k \neq 0 \}. (Hm, but does the proof offered there really show this?) This would mean that also H nH^n is not admissible in itself.

    And that makes sense in view of the example considered, because the derivative is H=δH' = \delta, so if H n+1H^{n+1} were admissible, then H nδH^n \delta would be.

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2017
    • (edited Aug 14th 2017)

    Shouldn’t there be a disambiguation

    There was such, right after the table of contents. I have moved it to the top of the entry.

    • CommentRowNumber22.
    • CommentAuthorMike Shulman
    • CommentTimeAug 14th 2017

    Thanks. What’s an example of a distribution whose wave front set is nonempty but not all of k0k\neq 0?

    Also, it looks from a superficial glance at the definitions as though we could consider the wave front set to be a subset of the 1-dimensional projective space over the cotangent space. Is that right?

    • CommentRowNumber23.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 14th 2017

    Mike, what do you mean by

    1-dimensional projective space over the cotangent space.

    do you mean a 1\mathbb{P}^1-bundle over T *XT^*X?

    • CommentRowNumber24.
    • CommentAuthorMike Shulman
    • CommentTimeAug 14th 2017

    I meant apply the functor P 1:VectTopP^1 : Vect \to Top fiberwise to T *XT^*X.

    • CommentRowNumber25.
    • CommentAuthorDavidRoberts
    • CommentTimeAug 14th 2017

    But P^1 is not the functor, it is P, and the dimension comes from the dimension of the vector space, no? Note also, that the cone is not necessarily symmetric around the origin, which means that even taking the projective bundle of the cotangent bundle won’t work.

    • CommentRowNumber26.
    • CommentAuthorMike Shulman
    • CommentTimeAug 14th 2017

    Oh, sorry, yes, I meant PP. I was thinking of the fact that the points of projective space are 1-dimensional subspaces, but I forgot that when you consider higher dimensional subspaces, for some reason it’s called a “Grassmanian” instead of a projective space.

    I also missed that the “conic sets” are only stable under multiplication by positive scalars. But in that case it seems even easier: the wave front set should be a subspace of the unit sphere bundle of the cotangent bundle.

    • CommentRowNumber27.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2017

    Right, the wave front set is what they call “conal” or “conic”. I agree that thinking of it as a subspace of the unit co-sphere bundle would be more elegant.

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeAug 14th 2017
    • (edited Aug 15th 2017)

    What’s an example of a distribution whose wave front set is nonempty but not all of k0k\neq 0?

    The Heaviside distribution on higher dimensional space has wave fronts being orthogonal to the hyperplane at which the function jumps.

    More generally, the wave front set of a characteristic function of a subset U nU \subset \mathbb{R}^n with smooth boundary U n\partial U \subset \mathbb{R}^n (hence the distribution which integrates its argument over UU) is the conormal bundle of U n\partial U \subset \mathbb{R}^n. (See around figure 3 in arXiv:1404.1778. Apparently this is how wave front sets are used in computer image recognition.)

    Then the delta-distribution δ(xy)\delta(x-y) regarded as a generalized function of two arguments has wave front set of the form (x,(k,k))(x,(k,-k)) (see at Wick algebra here). More sophisticated such examples are listed at propagators - table.

    But how about an example on 1\mathbb{R}^1? I haven’t checked (am on vacation now…), but I suspect the reason that the Heaviside function on 1\mathbb{R}^1 has wave front at the origin pointing in both directions may be attributed to the graph of the Heaviside function having two kinks, one to the left and one to the right of zero. If that is right, then we should get a wave front set pointing in only one of the two directions by smoothing out one of these two kinks. So I am guessing that a distribution like ϕ 0 xϕ(x)dx\phi \mapsto \int_0^\infty \sqrt{x} \phi(x) \, dx should have wave front at the origin pointing only to the left.

    • CommentRowNumber29.
    • CommentAuthorMike Shulman
    • CommentTimeAug 15th 2017

    Re #28: great; I added some remarks about this to wave front set.

    • CommentRowNumber30.
    • CommentAuthorUrs
    • CommentTimeAug 31st 2017

    I thought the Idea-section at distribution was not particularly useful. I have now considerably expanded it, trying to make it be more of an actual introduction for those readers who don’t already know what a distribution is, and containing more of an overview of what the theory of distributions is used for.