Airy$_\beta$ line ensemble and its Laplace transform

The Airy$_\beta$ line ensemble is a random collection of continuous curves, which should serve as a universal edge scaling limit in problems related to eigenvalues of random matrices and models of 2d statistical mechanics. This line ensemble unifies many existing universal objects including Tracy-Widom distributions, eigenvalues of the Stochastic Airy Operator, Airy$_2$ process from the KPZ theory. Here $\beta>0$ is a real parameter governing the strength of the repulsion between the curves. We introduce and characterize the Airy$_\beta$ line ensemble in terms of the Laplace transform, by producing integral formulas for its joint multi-time moments. We prove two asymptotic theorems for each $\beta>0$: the trajectories of the largest eigenvalues in the Dyson Brownian Motion converge to the Airy$_\beta$ line ensemble; the extreme particles in the G$\beta$E corners process converge to the same limit. The proofs are based on the convergence of random walk expansions for the multi-time moments of prelimit objects towards their Brownian counterparts. The expansions are produced through Dunkl differential-difference operators acting on multivariate Bessel generating functions.