(Motivational Discussion on singularities) We denote
|
|
|
and write the 3-current as
|
|
|
which defines a generalised function satisfying the measures identities:
|
|
|
where the notation is the shorthand for the complex measure , and similarly for the LHS. Now , so
|
|
|
The distributional equation (4.6) is written in components as
|
|
|
Multiplying these equations by and summing up, we obtain
| (4.7) |
|
|
|
or equivalently the measure equality
|
|
|
where is the natural area form on .
A natural guess for is then
| (4.8) |
|
|
|
or equivalently
|
|
|
where summation convention is used.
The singularity around to leading order looks like (cf. Section 4.4 below)
|
|
|
which is compatible with the singularity in the distributional equation (4.6).