Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
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.
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 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 Lab 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 by the appropriate pullback operation; if 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 there is an operator of extension by zero where if and otherwise. The restriction is then defined by
Now the diagram in the idea section makes sense in the following way: for an open embedding , extends if .
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
“extension of a distribution” is also singular, but it refers a single .
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.
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 “(…)” )
You have some malformed code that starts
\left{SpaceOfSmoothFunctionsOfGivenVaishingOrderProjector
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.)
1 to 6 of 6