Let M be a smooth manifold and denote C∞0(M) the space of smooth functions with compact support. In Mathematics a distribution is defined to be a continuous linear functional ϕ:C∞0(M)→R. The space of distributions is usually denoted D′(M).
So a distribution is a map that takes a function and outputs a number in a linear and continuous way. The Delta distribution centered at x∈M is for example
δx[f]=f(x).
Another way to create distributions is to pick f∈C∞0(M) and define
f⋄[g]=∫Mfg.
That much is fine. The problem is the following: in Physics one often forgets all this and treats distributions as functions. So a Physicst will almost never bother writing ϕ[f] or just ϕ. They write ϕ(x) which is not really correct, since ϕ isn't a function on M at all.
The issue though is that there is a terminology around which makes me quite confused. One often talks about "smeared" fields written as
φ[f]=∫Mφ(x)f(x)
and talks about the field in "unsmeared form" writting it just φ(x). This confuses further, because it is known that it is not true that given φ there is f such that φ=f⋄.
This terminology may be found for example in Fewster's notes on QFT on curved spacetime, but I've seem it elsewhere.
This seems to imply that when one picks ϕ∈C∞0(M) it is unsmeared and when one picks ϕ⋄∈D′(M) and apply it to a function it is smeared (but notice that ϕ⋄[f] is a real number, not even a field anymore after applying to f).
So what really is this smeared and unsmeared terminology about and how does this makes contact with distribution theory from mathematics?
No comments:
Post a Comment