On equality of the $L^\infty$ norm of the gradient under the Hausdorff and Lebesgue measure
On equality of the $L^\infty$ norm of the gradient under the Hausdorff and Lebesgue measure
Let $\Omega$ be an open subset of $\mathbb R^n$, and let $f: \Omega \to \mathbb R$ be differentiable $\mathcal H^k$-almost everywhere, for some nonnegative integer $k < n$, where $\mathcal H^k$ denotes the $k$=dimensional Hausdorff measure. We show that $\|\nabla f\|_{L^\infty (\mathcal H^k)} = \|\nabla f\|_{L^\infty(\mathcal H^n)}.$ We deduce that convergence in the Sobolev space $W^{1, \infty}$ preserves everywhere differentiability. As a further corollary, we deduce that the class $C^1 (\Omega)$ of continuously differentiable functions is closed in $W^{1, \infty}(\Omega)$.
Ze-An Ng
数学
Ze-An Ng.On equality of the $L^\infty$ norm of the gradient under the Hausdorff and Lebesgue measure[EB/OL].(2025-05-12)[2025-06-05].https://arxiv.org/abs/2505.08010.点此复制
评论