20
$\begingroup$

Let $f$ be a real valued continuous function of many variables whose weak derivatives of first order are continuous. Is this function equals a.e. function of class $C^1$ ?

$\endgroup$
3
  • 1
    $\begingroup$ Weak derivatives as "distribution derivatives"? Then $f$ is $C^1$. $\endgroup$ Sep 18, 2013 at 18:06
  • 1
    $\begingroup$ Maybe any idea how to obtain it. $\endgroup$
    – user111
    Sep 18, 2013 at 18:52
  • $\begingroup$ Integrate the weak derivative and you get a continuous function which you can view as another distribution with the same distributional derivatives. Two distributions with the same distributional first derivative differ by a constant. $\endgroup$ Dec 2, 2013 at 3:19

1 Answer 1

25
+50
$\begingroup$

Let $\Omega$ be a domain on which $f$ is defined. Consider $f_\epsilon = f* \phi_\epsilon$, where $\phi_\epsilon $ is a standard mollifier. These are defined on a smaller domain $\Omega'\Subset \Omega$. By the basic properties of convolution,

  1. $f* \phi_\epsilon\to f$ uniformly as $\epsilon \to 0$.
  2. $\nabla (f*\phi_\epsilon) = (\nabla f)*\phi_\epsilon$.
  3. $(\nabla f)*\phi_\epsilon \to \nabla f$ uniformly as $\epsilon \to 0$.

The sequence $f_n=f*\phi_{1/n}$ is Cauchy in the norm of $C^1(\Omega')$. (Indeed, $f_n$ is convergent, hence Cauchy in the uniform norm; the same applies to each partial derivative of $f_n$.) Since $C^1(\Omega')$ is complete, the sequence converges to an element of $C^1(\Omega')$. This element is $f$, due to item 1.

By the way, you don't need "equals a.e.": if two continuous functions are equal a.e., they are equal on a dense subset, hence everywhere.


Remark. The statement remains true if we only assume $f$ to be locally integrable. In this case, item 1 is replaced with "$f* \phi_\epsilon\to f$ a.e. as $\epsilon \to 0$". Fix a point $x_0$ at which convergence takes place. Since $|f(x_0)|+\sup_{\Omega'} |\nabla f|$ is an equivalent norm on $C^1(\Omega)$, and the rest goes through as before. This time, the a.e. part in "equals a.e. to a $C^1$ function" is necessary.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .