Strassen type limit points for moving averages of a wiener process

Let {W(s); 8 ≥ 0} be a standard Wiener process, and let β_N = (2a_N (log (N/a_N) + log log N)^-1/2, 0 < α_N ≤ N < ∞, where α_N↑ and α_N/N is a non-increasing function of N, and define γ_N(t) = β_NW(n_N + ta_N) ? W(n_N)), 0 ≥ t ≥ 1, with n_N = N – a_N. Let K = {x ? C0,1]: x is absolutely continuous, x(0) = 0 and }. We prove that, with probability one, the sequence of functions {γ_N(t), t ? 0,1]} is relatively compact in C0,1] with respect to the sup norm ||·||, and its set of limit points is K. With a_N = N, our result reduces to Strassen's well-known theorem. Our method of proof follows Strassen's original, direct approach. The latter, however, contains an oversight which, in turn, renders his proof invalid. Strassen's theorem is true, of course, and his proof can also be rectified. We do this in a somewhat more general context than that of his original theorem. Applications to partial sums of independent identically distributed random variables are also considered.