dirichlet BC on the right