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

Discussion Tag Cloud

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.
    • CommentAuthorUrs
    • CommentTimeAug 2nd 2017

    I gave product of distributions its own entry. For the moment it just points to the definition in Hörmander’s book.

    This should eventually supercede the section “Multiplication of distributions” at distributions, which I find suboptimal: that section starts very vaguely referring to physics as if the issue only appears there, and it keeps being very vague, with its three sub-subsections being little more than a pointer to one reference by Colombeau.

    I suggest to

    1. remove that whole subsection at distribution and leave just a pointer to product of distributions

    2. move the mentioning of Colombeau’s reference to product of distributions and say how it relates to Hörmander’s definition

    3. remove all vague mentioning of application in physics and instead add a pointer to Wick algebra and microcausal functional, which I will create shortly.

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

    Since nobody objected to the suggestion #1, I went ahead and implemented it. Details on what I did are here.

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

    I have spelled out the definition of the product of distributions with compatible wave front sets (from Hörmander 90) and the proof that this is well defined: here.

    That proof however relies on a little hierarchy of lemmas. I have added statement (not the proof yet, but pointers to Hörmander’s proofs) of the next lower lemmas at tensor product of distributions and at pullback of distributions.