Unique solvability of the water waves problem in Sobolev spaces

Studying the problem of unsteady waves on the surface of an infinitely deep heavy incompressible ideal fluid, we derive equations for the height of the free surface as well as the vertical and horizontal components of velocity on the free surface. We prove that the initial-boundary value water waves problem is short-time solvable in Sobolev spaces.