Yes, your boundary condition is and corresponding weak are correct, regarding the imposition of the symmetry boundary condition. See also my answer to How to impose symmetry conditions on domain centreline, Stokes equations? - #4 by plugged
1 Like