1
$\begingroup$

Let $X := \mathbb R^d$, $\lambda^d$ be the $d$-dimensional Lebesgue measure on $X$, and $f:X \to \mathbb R$ convex. Then there is a Borel set $N \subset X$ such that $\lambda^d (N) = 0$ and $f$ is differentiable on $A := X \setminus N$. Clearly, $A$ is Borel measurable. It follows that the gradient $\nabla f: A \to X$ of $f$ is well-defined.

  • If $f$ is differentiable on $X$, then $A = X$ and $f \in \mathcal C^1 (X)$.

  • Clearly, the Borel $\sigma$-algebra $\mathcal B(A)$ is a subset of the Borel $\sigma$-algebra $\mathcal B(X)$, i.e., $\mathcal B(A) \subset \mathcal B(X)$.

My question: Is the map $\nabla f$ measurable?

$\endgroup$
2
  • 1
    $\begingroup$ $\frac{\partial f}{\partial x_i}$ is the pointwise limit of the sequence of measurable functions $n(f(x+ \frac{1}{n} e_i) - f(x))$, hence measurable $\endgroup$
    – orangeskid
    Jul 1, 2022 at 12:52
  • 1
    $\begingroup$ Thank you so much @orangeskid. I have just formalized your ideas in this thread. $\endgroup$
    – Akira
    Jul 1, 2022 at 20:02

1 Answer 1

5
$\begingroup$

Yes, since a convex function $f:\mathbb{R}^d\rightarrow\mathbb{R}$ is locally Lipschitz (see e.g. Theorem 6.3.1, pp. 236-239 of the book by L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, CRC Press, 1992).

Recall that, as you wrote it yourself in the particular case of convex functions and more generally by Rademacher's theorem, if $g:\mathbb{R}^d\rightarrow\mathbb{R}$ is locally Lipschitz then $g$ is differentiable $\lambda^d$-almost everywhere. Moreover, in that case the distributional partial derivatives of $g$ are in $L^\infty_{loc}(\mathbb{R}^d,\lambda^d)$ and can be identified $\lambda^d$-almost everywhere (say, on a Borel subset $A\subset\mathbb{R}^d$ with $\lambda^d(\mathbb{R}^d\smallsetminus A)=0$ as you defined it) with the classical partial derivatives of $g$ (for the details of all statements above for locally Lipschitz functions, see e.g. Theorem 5 in subsection 4.2.3, pp. 131-132 and Theorems 6.2.1, 6.2.2, pp. 235 of Evans-Gariepy), hence these partial derivatives are in $L^\infty_{loc}(A,\lambda^d)$ and therefore are (Borel) measurable.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.