Derivative of a locally integrable distribution

Question

Let $f\in L^1_{loc}(\Omega)$ of some open subset of $\Omega \subset \mathbb{R}^n$. It is easy to prove that if $f$ is $|\alpha|$ times continuously differentiable, $\partial^\alpha f$ is also in $L^1_{loc}(\Omega)$ and defines a distribution which coincides with $\partial^\alpha T_f$. But if $f$ is only assumed to be locally integrable, are its weak derivatives also locally integrable ?

Answer 1

Usually the fact that assumes $f \in L^{1}_{loc}(\Omega)$ and $|\alpha|$-continuous differentiable is because it justifies the definition of distributional derivative, as a generalization of integration by parts, that is if $u \in \mathcal{D}'(\Omega)$ then $\langle D^\alpha u , \varphi \rangle := (-1)^{|\alpha|} \langle u, D^\alpha \varphi \rangle$ and it occurs that the distributional derivative is still a distribution, basically the operator $D^\alpha : \mathcal{D}'(\Omega) \longrightarrow \mathcal{D}'(\Omega)$ is "closed", where $D^\alpha$ is distributional derivative.

Formally the linear operator $D^\alpha : L^{1}_{loc} ( \Omega) \longrightarrow \mathcal{D}'(\Omega)$ is restriction of the operator $D^\alpha : \mathcal{D}'(\Omega) \longrightarrow \mathcal{D}'(\Omega)$ and in this case we place$D^\alpha f = D^\alpha u_f$ to indicate the weak derivative (also distributional derivative) of a function $f \in L^{1}_{loc}(\Omega)$ and therefore it is characterized by the identity $$ \displaystyle \langle \varphi, D^\alpha f \rangle = (-1)^{|\alpha|} \int_{\Omega} f D^\alpha \varphi dx $$ for all $\varphi \in \mathcal{D}(\Omega)$. This means precisely that $f \in L^1_{loc}(\Omega)$ admits weak derivative $D^\alpha u_f=D^\alpha f$ if there is a function $u_g=g \in L^{1}_{loc}(\Omega)$ such that $\langle \varphi, D^\alpha f \rangle = \langle \varphi, g \rangle$, that is if $$ \displaystyle (-1)^{|\alpha|} \int_{\Omega} f D^\alpha \varphi dx = \int_{\Omega} g \varphi dx \tag{$\star$} $$ for all $\varphi \in \mathcal{D}(\Omega)$. In other words for a function $f$ locally integrable that admits weak derivatives, then by definition also its weak derivatives is locally integrable.