Mathematical theory of irrotational translation waves