Can anyone give me some hints as to how to prove that
$$g(x) = \begin{cases} \frac{x}{1-\alpha}, &0 \leq x \leq 1-\alpha\\ 1 , &1-\alpha \leq x \leq 1 \end{cases}$$
Is the distortion function corresponding to $\text{CVaR}_\alpha(X)$?
Here I define $$\text{CVaR}_\alpha(X) = \frac{1}{\alpha} \int_{0}^{\alpha} F_X^{-1}(u) du$$ For more details, see Expected shortfall - Wikipedia .Of course the inverse is supposed to be understood as the generalized inverse.
My problem is that a direct calculation does not seem to work for me. Maybe I am missing some trick.
Any help would be appreciated.