An explicit Koppelman formula for $dd^c$ and Green currents on $\mathcal P^n$

We compute a quite explicit Koppelman formula for $dd^c$ on projective space, and obtain Green currents for positive closed currents.