Variational inequality for the rotating Navier–Stokes equations with subdifferential boundary conditions

A steady viscous incompressible fluid through a rotating channel satisfies the rotating Navier–Stokes equations. Subdifferential boundary conditions are imposed. A variational inequality is derived for this system. Furthermore, under some assumptions, the weak solution of the variational inequality exists and is unique.