1: \begin{definition}[Stieltjes transform]\label{def:ST}

2: Let $F$ be a real measurable function over $\RR$ with support $\supp(F)$. For $z\in\CC\setminus\supp(F)$, the Stieltjes transform $m_{F}(z)$ of $F$ is defined as

3: $$ m_{F}(z) =  \int_{-\infty}^\infty\frac1{\lambda-z}dF(\lambda) .$$

4: Denote by $\Sc$ the class of functions $f$ analytic over $\CC\setminus\RR_+$, such that, for $z\in\CC_+$, $f\in\CC_+$, $zf\in\CC_+$ and $\lim_{y\to\infty}-{\bf i}yf({\bf i}y)<\infty$. Such functions are known to be Stieltjes transforms of finite measures supported by $\RR_+$ \cite[Theorem 2.2]{couilletRMT}.

5: \end{definition}\