I have posted this to MSE, but it got no attention (https://math.stackexchange.com/questions/2619324/average-of-tracy-widom-distributions)
The Tracy-Widom distributions famously describe the statistics of the largest eigenvalue of gaussian random matrices. There are 3 of them, labeled by $\beta$ which is 1, 2 or 4 for real, complex or quaternion matrices, respectively.
If the matrices are distributed with density $$e^{-\frac{\beta}{2}{\rm Tr}H^2},$$ the average of the largest eigenvalue $\lambda$ is $\sqrt{2N}$ for all $\beta$ and the distribution around the average is Tracy-Widom $F_\beta$. That is, defining $$\lambda=\sqrt{2N}+\frac{x}{\sqrt{2}N^{1/6}}$$ then $x$ has dentsity $F_\beta(x)$.
What I don't understand is why the distribution $F_\beta(x)$ does not have zero average. As can be seen in page 8 of this nice review by Tracy and Widom themselves, https://arxiv.org/pdf/solv-int/9707001.pdf, the averages are approximately -1.20, -1.77 and -2.30 for $\beta=1,2,4$.
Shoudn't the variable $x$ have zero average by definition?