Friday, 31 May 2019

real analysis - A continuously differentiable function is weakly differentiable

Define a continuously differentiable function to be a function f:RnR which has a continuous derivative. Define a weakly differentiable function to be a function f:RnR which is locally integrable and there exists n locally integrable functions g1,,gn which satisfy the integration by parts formula, Rpf(x)φxj(x)dx=Rpgj(x)φ(x)dx,

for all j{1,,n} and for any function φ that is any infinitely differentiable function with compact support.



I've come across the claim that "if a function f is continuously differentiable, then it is weakly differentiable." How can that be true? Continuously differentiable functions needn't be locally integrable it seems.

No comments:

Post a Comment

real analysis - How to find limhrightarrow0fracsin(ha)h

How to find limh0sin(ha)h without lhopital rule? I know when I use lhopital I easy get $$ \lim_{h\rightarrow 0}...