Maximum of a Gaussian Process with Nonconstant Variance: A Sharp Bound for the Distribution Tail

摘要

Let X(t), O < or = t < or = 1, be a real separable Gaussian process with mean O and continuous covariance function, and put sigma -sq(t) = EX -sq(t). Under the well known conditions of Fernique and Dudley, the sample functions are continuous and there are explicit asymptotic upper bounds for the probability P(max sub (0,1) X(t) > or = u) for u approaches infinity. Suppose that there is a point tau, O < or = tau < or = 1, such that sigma-sq(t) has a unique maximum value at t = tau, and put sigma = sigma(tau). The main result is a sharpening of the standard asymptotic upper bounds for P(max sub (0,1) X(t) > or = u) to take into account the existence of the unique maximum of sigma(t). Indeed, when the order of the standard bound exceeds that of the obvious lower bound P(X(tau) > or = u), the upper asymptotic bound is shown to be reducible by the factor integral from 0 to 1 of exp(- u -sq g(t))dt, with g(t) = (1/sigma)(1/sigma -bar(t) - 1/sigma), where sigma -bar(t) is an arbitrary majorant of sigma(t) satisfying certain general conditions. For a large class of processes the asymptotic order of the bound obtained in this way cannot be further reduced. The results are illustrated by applications to the ordinary Brownian motion and the Brownian bridge. Reprints. (JHD)