Conditional scale density in a curved Gaussian family ($f(v\mid a;\mu )\propto {\mu }^{-n}{v}^{n-1}{e}^{-n{q}^2{v}^2/(2{\mu }^2)+nqv/(a\mu )}$)

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.