Zeros of Airy function and relaxation process

One-dimensional system of Brownian motions called Dyson's model is the particle system with long-range repulsive forces acting between any pair of particles, where the strength of force is β/2 times the inverse of particle distance. When β=2, it is realized as the Brownian motions in one dimension conditioned never to collide with each other. For any initial configuration, it is proved that Dyson's model with β=2 and N particles, X(t) = (X₁(t),...,X_N(t)), t ∈ [0, ∞), 2 ≤ N < ∞ is determinantal in the sense that any multitime correlation function is given by a determinant with a continuous kernel. The Airy function is Ai(z)a n entire function with zeros all located on the negative part of the real axis ℝ. We consider Dyson's model with β=2 starting from the first N zeros of Ai(z), 0 > a₁ > ... > a_N, N ≥ 2. In order to properly control the effect of such initial confinement of particles in the negative region of ℝ, we put the drift term to each Brownian motion, which increases in time as a parabolic function: Y_j(t) = X_j(t)+t²/4+{d₁+∑^N_{l= 1}(1/a_l)}t, 1 ≤ j ≤ N, where d₁ = Ai′(0)/Ai(0). We show that, as the N→∞ limit of Y(t) = (y₁(t),...,Y_N(t)), t ∈[0, ∞), we obtain an infinite particle system, which is the relaxation process from the configuration, in which every zero of Ai(z) on the negative ℝ is occupied by one particle, to the stationary state _Ai. The stationary state _Ai is the determinantal point process with the Airy kernel, which is spatially inhomogeneous on ℝ and in which the Tracy-Widom distribution describes the rightmost particle position.