Equivalence of weak formulations of the steady water waves equations

We prove the equivalence of three weak formulations of the steady water waves equations, namely the velocity formulation, the stream function formulation, and the Dubreil-Jacotin formulation, under weak Holder regularity assumptions on their solutions.