Weakly differentiable functions