The
Stieltjes transform is given by : s(z)=\frac{\sigma^2 (1-\lambda)-z - \sqrt{(z- \sigma^2(\lambda + 1))^2-4\lambda \sigma^4}}{2\lambda z \sigma^2} for complex numbers of positive imaginary part, where the
complex square root is also taken to have positive imaginary part. It satisfies the quadratic equation : \lambda \sigma^2 z s(z)^2+\left(z-\sigma^2(1-\lambda)\right) s(z)+1=0. The Stieltjes transform can be repackaged in the form of the R-transform, which is given by : R(z)=\frac{\sigma^2}{1-\sigma^2 \lambda z} The S-transform is given by : S(z)=\frac{1}{\sigma^2 (1 + \lambda z)}. For the case of \sigma=1, the \eta-transform is given by \mathbb{E}\frac{1}{1+\gamma X} where X satisfies the Marchenko-Pastur law. : \eta(\gamma)= 1 - \frac{\mathcal{F}(\gamma,\lambda)}{4\gamma\lambda} where \mathcal{F}(x,z)=\left(\sqrt{x(1+\sqrt{z})^2+1}-\sqrt{x(1-\sqrt{z})^2+1}\right)^2 For exact analysis of high dimensional regression in the proportional asymptotic regime, a convenient form is often T(u):=\eta\left(\tfrac1u\right) which simplifies to : T(u)= \frac{-1+\lambda-u+\sqrt{(1+u-\lambda)^2+4u\lambda}}{2\lambda} The following functions B(u):=\mathbb{E}\left(\frac{u}{X+u}\right)^2 and V(u):=\frac{X}{(X+u)^2}, where X satisfies the Marchenko-Pastur law, show up in the limiting Bias and Variance respectively, of ridge regression and other regularized linear regression problems. One can show that B(u)=T(u)-u\cdot T'(u) and V(u)= T'(u). ==Application to correlation matrices==