upper mirror boundary condition