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 6th 2017
    • (edited Aug 6th 2017)

    have created extension of distributions with the statement of the characterization of the space of point-extensions of distributions of finite degree of divergence: here

    This space is what gets identified as the space of renormalization freedom (counter-terms) in the formalization of perturbative renormalization of QFT in the approach of “causal perturbation theory”. Accordingly, the references for the theorem, as far as I am aware, are from the mathematical physics literature, going back to Epstein-Glaser 73. But the statement as such stands independently of its application to QFT, is fairly elementary and clearly of interest in itself. If anyone knows reference in the pure mathematics literature (earlier or independent or with more general statements that easily reduce to this one), please let me know.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeAug 10th 2017

    I do not get it. What is the definition ? The idea section is an ill-defined requirement, I do not see how it gives a definition. The two of the 3 references given do not give a general definition but some proposal for a realization of an extension in some situation.

    I gave an ad hoc definition (and added some lines in the idea section) for the special case when XX^X\hookrightarrow\hat{X} is an open embedding, using the standard definition of the restriction of distributions in that case. I also added the redirect restriction of distributions and restriction of a distribution. According to the general conventions of the nnLab this entry should be called extension of a distribution rather than plural in second half extension of distributions. This is what I added:

    Regarding that we the distributions are not the maps from the underlying space we need to replace pre-composition XX˜X\to\tilde{X} by the appropriate pullback operation; if XX˜X\to\tilde{X} is an open embedding this will be the operation of restriction of distributions dual to the operation of extension by zero of test functions.

    For an inclusion of two open sets on a manifold UVU\subset V there is an operator of extension by zero E VU:C 0 (U)C 0 (V)E_{V U}: C^\infty_0(U)\to C^\infty_0(V) where E VU(f)(x)=f(x)E_{V U}(f)(x) = f(x) if xUx\in U and E UV(f)(x)=0E_{U V}(f)(x) = 0 otherwise. The restriction ρ UV:𝒟(V)𝒟(U)\rho_{U V} : \mathcal{D}'(V)\to \mathcal{D}'(U) is then defined by

    ρ UV(ϕ),f=ϕ,E VUf,fC 0 (U),ϕ𝒟(V). \langle \rho_{U V}(\phi), f\rangle = \langle \phi, E_{V U} f\rangle, \,\,\,\,\,\,\,f\in C^\infty_0(U),\,\phi\in \mathcal{D}'(V).

    Now the diagram in the idea section makes sense in the following way: for an open embedding XX^X\hookrightarrow\hat{X}, u^𝒟(X^)\hat{u}\in\mathcal{D}'(\hat{X}) extends u𝒟(X)u\in \mathcal{D}'(X) if ρ XX^(u^)=u\rho_{X \hat{X}}(\hat{u}) = u.

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

    As you say, what you made explicit is the standard definition of restriction of distributions, a special case of the pullback of distributions along a submersion here.

    Regarding the naming convention:

    • “extension of distributions” is singular, it refers to a single function ()^:𝒟(X)𝒟(Y)\widehat{(-)} :\mathcal{D}'(X) \to \mathcal{D}'(Y)

    • “extension of a distribution” is also singular, but it refers a single uu^u \mapsto \widehat u.

    I think the former pattern should be preferred, though sometimes I do use the second.

    The plural would be “extensions of distributions” and “extensions of a distribution”, respectively.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 25th 2018

    I have spelled out the core of the proof of the characterization of the space of extensions of distributions to a point: here

    (still need to fill in proof of the scaling degree of the regular parts of the extensions where it says “(…)” )

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeJan 26th 2018

    You have some malformed code that starts

    \left{SpaceOfSmoothFunctionsOfGivenVaishingOrderProjector

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeJan 26th 2018

    Woops. Thanks, fixed now.

    (This came from adding this remark as a quick afterthought. Should have checked that the cross-pointer to the equation number works.)