For the boundar conditions, please consider
and/or
as well as https://jsdokken.com/dolfinx-tutorial/chapter3/component_bc.html and https://docs.fenicsproject.org/dolfinx/v0.8.0/python/demos/demo_stokes.html#non-blocked-direct-solver