Extension of differential operators to Sobolev spaces in global non-linear analysis