On asymptotics for the Airy process

The Airy process t-->A(t), introduced by Prahofer and Spohn, is the limiting stationary process for a polynuclear growth model. Adler and van Moerbeke found a PDE in the variables s(1), s(2), and t for the probability Pr(A(0)less than or equal tos(1), A(t)less than or equal tos(2)). Using this they were able, assuming the truth of a certain conjecture and appropriate uniformity, to obtain the first few terms of an asymptotic expansion for this probability as t-->infinity, with fixed s(1) and s(2). We shall show that the expansion can be obtained by using the Fredholm determinant representation for the probability. The main ingredients are formulas obtained by the author and C. A. Tracy in the derivation of the Painleve II representation for the distribution function F-2 plus a few others obtained in the same way.