Mean Velocities in a Stokes Wave

We prove that in a periodic travelling wave propagating at the surface of an inviscid homogenous fluid in irrotational flow over a flat bed, the horizontal mean velocity exceeds the depth-averaged velocity in the frame of reference in which the wave is stationary. The long-standing conjectural nature of this fundamental issue was due to its undecidability within the framework of linear wave theory.