H2 solutions for the stream function and vorticity formulation of the Navier-Stokes equations

We show that the two dimensional Navier-Stokes equations in the stream function and vorticity form with nonhomogeneous boundary conditions have a unique solution with a stream function having two space derivatives.