Regarding moving boundary

Various maps between mesh nodes, degrees of freedom and vertices have been explained to some extent in: How to apply a boundary condition to a range of DOFs? - #7 by dokken