On the density of the maximum of smooth Gaussian processes
We obtain an integral formula for the density of the maximum of smooth Gaussian processes. This expression induces explicit nonasymptotic lower and upper bounds which are in general asymptotic to the density. Moreover, these bounds allow us to derive simple asymptotic formulas for the density with rate of approximation as well as accurate asymptotic bounds. In particular, in the case of stationary processes, the latter upper bound improves the well-known bound based on Rice's formula. In the case of processes with variance admitting a finite number of maxima, we refine recent results obtained by Konstant and Piterbarg in a broader context, producing the rate of approximation for suitable variants of their asymptotic formulas. Our constructive approach relies on a geometric representation of Gaussian processes involving a unit speed parameterized curve embedded in the unit sphere.
Permanent link to this document: http://projecteuclid.org/euclid.aop/1065725176
Mathematical Reviews number (MathSciNet): MR1411489
Digital Object Identifier: doi:10.1214/aop/1065725176
Zentralblatt MATH identifier: 0863.60037