Whitney’s jets for Sobolev functions

We present two fundamental facts from the jet theory for Sobolev spaces W ^{m, p} . One of these facts is that the formal differentiation of the k-jets theory is compatible with the pointwise definition of Sobolev (m − 1)-jet spaces on regular subsets of the Euclidean spaces ℝⁿ. The second result describes the Sobolev imbedding operator of Sobolev jet spaces increasing the order of integrability of Sobolev functions up to the critical Sobolev exponent. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 59, No. 3, pp. 345–358, March, 2007.