9
$\begingroup$

Let $B$ denote the unit ball in $\mathbb{R}^n$ and let $f\in C^1(B\setminus\{0\})\cap L^1(B)$. Denote with $\nabla_c f$ the classical gradient, which is defined in $B\setminus\{0\}$, and denote with $\nabla f$ the distributional gradient, which is a distribution on the whole ball $B$. Suppose that $\nabla_cf$ is a distribution on $B$ (that is, $\nabla_c f \in L^1(B)$), so that we can write $\nabla f = \nabla_c f + T,$ for a distribution $T$ on $B$.

Question. What can we say about $T$?

I guess that $T$ needs be a Dirac delta, because it needs be supported in $\{0\}$ and I don't see any reason why it could be of order greater than zero. Am I right?

  • 1
    I'm adding a comment to prevent some notational misunderstanding. By *order* of a distribution $T$ of compact support I mean the greatest integer $m$ such that $T$ is a continuous linear functional on the Fréchet space $C^m(B)$. That is, the greatest number of derivatives of the test functions the distribution interacts with. For example, a Dirac delta has order zero, because it does not interact with any derivatives.2012-12-25

1 Answers 1

6

If $n \geq 2$, then in fact you have $T = 0$. This follows from Fubini's theorem. Consider the two dimensional case. Denote by $\partial_c$ the classical derivatives operator and by $\partial_d$ the distributional derivatives, and let $\phi \in C^{\infty}_c(\Omega)$. Because $\frac{\partial_c f}{\partial x} \phi \in L^1(B)$ we have

$ \int_B \frac{\partial_c f}{\partial x} \phi dx dy = \int_{-1}^1 \int_{-1}^{1} \frac{\partial_c f}{\partial x}(x,y)\phi(x,y) dx dy = \int_{-1}^1 F(y) dy $ where $ F(y) = \int_{-1}^1 \frac{\partial_c f}{\partial x}(x,y)\phi(x,y) dx. $ Since for all $y \neq 0$, the function $x \mapsto \frac{\partial_c f}{\partial x}(x,y)$ is $C^1$, you can integrate by parts, to get $ F(y) = -\int_{-1}^1 f \frac{\partial_c \phi}{\partial x} dx. $ Applying Fubini again, we get $ \int_B \frac{\partial_c f}{\partial x} \phi dx dy = - \int_B f \frac{\partial_c \phi}{\partial x} dx dy$ which implies that $\frac{\partial_c f}{\partial x} = \frac{\partial_d f}{\partial x}$.

If $n = 1$, then the fundamental theorem of calculus together with the fact that $f \in L^1(B)$ implies that $f$ must have at most a jump discontinuity at $0$ and so you can indeed get only a constant multiple of a Dirac delta.

More generally, the Fubini argument applies to any $C^1$ function outside a singular set of "codimension" two or higher. For example, if $n = 3$ and $f \in C^1(B \setminus \{x = y = 0\})$, you can still run the argument. This is also why it fails for $n = 1$.

  • 2
    +1 and a remark: since the Fubini argument is "already done" in the ACL characterization of Sobolev functions, one can summarize things as: (1) $f$ is $C^1$ outside of a point => $f$ is ACL (unless we are in 1 dimension); (2) $f$ is ACL with integrable gradient => $f\in W^{1,1}$.2019-04-14