Let $X_1,X_2, \dots,X_n$ be a sample from a population with distribution function $F(x-\theta)$, where $F$ is symmetric around $0$. The $\alpha$ trimmed mean $T_n(\alpha)=\dfrac{1}{n-2\lfloor n\alpha \rfloor }\displaystyle\sum_{i=\lfloor n \alpha \rfloor+1}^{n-\lfloor n \alpha\rfloor}X_{(i)}$ is asymptotically normally distributed, i.e. $$\sqrt n(T_n (\alpha) -\theta) \sim \mathcal N(0, \sigma^2(\alpha,F))$$ where $$\sigma^2(\alpha,F)=\dfrac{2\displaystyle\int_0^{F^{-1}(1-\alpha)}t^2~dF(t)+2\alpha(F^{-1}(1-\alpha))^2}{(1-2\alpha)^2}$$ Propose a method of choosing $\alpha$ from the data.compare the difference between your proposed adaptive choice of $\alpha$ and its theoretical counterpart. Investigate your proposed methodology when $F$ is standard Cauchy. i.e. $f(x)=\dfrac{1}{\pi(1+x^2)},x\in \mathbb{R}.$(Density function).
From this paper and this I understand that how I can find the value of $\alpha$. But then how I can investigate it for Cauchy Distribution. Please help. Thanks in advance.
EDIT: According to whuber's comment here I need to show $\sigma^2(\alpha,F)=\frac{1}{2\alpha-1}+\frac{2(\pi \alpha+1)\cot(\pi\alpha)}{\pi(2\alpha-1)^2}$. I understand that here I need to use standard cauchy. I want to know how to find value of $F^{-1}(1-\alpha)$ and $\int_0^{F^{-1}(1-\alpha)}t^2~dF(t)$. Thanks in advance.