See for instance: Boundary conditions on edges or nodes - #6 by dokken on how to apply BCs to a function, which in turn can be visualized in Paraview
See for instance: Boundary conditions on edges or nodes - #6 by dokken on how to apply BCs to a function, which in turn can be visualized in Paraview