Hajlasz Gradients Are Upper Gradients

Abstract

Let $(X,d,\mu )$ be a metric measure space, with $\mu$ a Borel regular measure. In this paper, we prove that, if $u\in L_{\mathrm{loc}}^1(X)$ and $g$ is a Hajłasz gradient of $u$, then there exists $\tilde{u}$ such that $\tilde{u}=u$ almost everywhere and $4g$ is a $p$-weak upper gradient of $\tilde{u}$. This result avoids a priori assumption on the quasi-continuity of $u$ used in [Rev. Mat. Iberoamericana 16 (2000), 243-279]. As an application, an embedding of the Morrey-type function spaces based on Hajłasz-gradients into the corresponding function spaces based on upper gradients is obtained. We also introduce the notion of local Hajłasz gradient, and investigate the relations between local Hajłasz gradient and upper gradient.

10 pages

References in corpus (1)

• Minimal weak upper gradients in Newtonian spaces based on quasi-Banach function lattices

Cited by in corpus (1)

• Morrey-Sobolev Spaces on Metric Measure Spaces