 Conditional scale density in a curved Gaussian family

For independent $N(\mu ,{\mu }^2)$ observations with $\mu >0$, the sufficient statistics are their sum and squared norm. Condition on $a=\sqrt{n}\Vert y\Vert /{\sum }_i{y}_i>0$ and write $v=\hat{\mu }=\Vert y\Vert /(q\sqrt{n})$, where $q=(\sqrt{1+4a^2}+1)/(2a)$. Polar coordinates supply radial measure $\Vert y{\Vert }^{n-1}d\Vert y\Vert$, while the conditional angular factor does not depend on $\mu$. This proves the displayed shape. Its normalization depends on $a,n$ but not $\mu$ after the substitution $v=\mu z$, and agrees with the normalized P-star approximation.