The intermediate Sobolev norms are defined
by interpolation
(see [1]}), and the first step in the proof
is to establish \(W^1(X)\)  estimates (so that interpolation
can follow). The works of
[2]} and the related [3]}
are essential in our use of
coordinates which are particularly
helpful in establishing estimates for the
intermediate norms.
