Sign up ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

When the weak derivative just is the strong (or classical) derivative? For instance, can we prove that weak derivate $Du\in C^\alpha$(or $C^0$) implies $u\in C^{1,\alpha}$(or $C^1$).

share|cite|improve this question
Consider the characteristic function $\chi_{\mathbb{Q}}$ of $\mathbb{Q}$, the set of rational numbers. It is easy to check that the null function is the weak derivative of $\chi_{\mathbb{Q}}$, but $\chi_{\mathbb{Q}}$ is not even continuous. – Siminore Nov 25 '12 at 8:55
@ Siminore : Does the null function you said mean the constant function with value zero? – Darry Nov 25 '12 at 11:10
Can weak derivative $Du\in C^\alpha$ imply $u\in C^{1,\alpha}$? $\alpha\in(0,1)$. – Darry Nov 25 '12 at 11:17
@Siminore: As distributions the zero function and the characteristic function of $\mathbb{Q}$ are the same. The question, suitably interpreted is whether the fact that the weak derivative is represented by a $\mathcal{C}^\alpha$ function implies that the original distribution is represented by a $\mathcal{C}^{1+\alpha}$ function, or equivalently has a $\mathcal{C}^{1+\alpha}$ version. – Lukas Geyer Nov 26 '12 at 2:13
When it comes to equivalence classes up to set of zero measure, you cannot hope to prove esily pointwise results. There is a nice paragraph about weak and pointwise derivatives in these notes:… – Siminore Nov 26 '12 at 12:08

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.