Large deviations of infinite intersections of events in Gaussian processes

Consider events of the form {Zs ≥ ζ (s),s ∈ S}, where Z is a continuous Gaussian process with stationary increments, ζ is a function that belongs to the reproducing kernel Hilbert space R of process Z, and S ⊂ R is compact. The main problem considered in this paper is identifying the function β∗ ∈ R satisfying β∗(s) ≥ ζ (s) on S and having minimal R-norm. The smoothness (mean square differentiability) of Z turns out to have a crucial impact on the structure of the solution. As examples, we obtain the explicit solutions when ζ (s) = s for s ∈ [0, 1] and Z is either a fractional Brownian motion or an integrated Ornstein–Uhlenbeck process