Put . The product rule applied to gives
Since , substituting this vector into the divergence elastic term proves the requested form of the local density. For the radial amplitude and tangential director, the polar coordinates identities are
Hence the tangential integer nematic defect core has
The director-curvature term survives when the amplitude is constant. Replacing the divergence norm by a full tensor-gradient norm would not give this expression; it is the PDF's divergence convention that is being evaluated.