Expansion of currents
Let us define and linear functionals of :

Then:

(12)

where deriving Eq. (12) we used:

(see Eq. (3))