  We prove a martingale analog of van Schaftingen's theorem and give sharp
estimates on the lower Hausdorff dimension of measures in martingale shift
invariant spaces. We also provide martingale analogs of trace theorems for
Sobolev functions.
