----
- $\Omega$ is an open subset of $\mathbb{R}^{n}$.
- $f \in L^{1}_{\text{loc}}(\Omega)$ is [[locally integrable function|locally integrable]].
- $\alpha=(\alpha_{1},\dots,\alpha_{n})$ is a multi-index.
> [!definition] Definition. ([[weak derivative]])
> A function $g \in L^{1}_{\text{Loc}}(\Omega)$ is said to be a **weak $\alpha$-derivative** of $f$ if $\int _{\Omega} f\partial_{}^{\alpha} \varphi \, dx= (-1)^{|\alpha|} \int _{\Omega} g \varphi \, dx \text{ for all } \varphi \in C_{c}^{\infty}(\Omega). $
In this case we say **$g=\partial_{}^{\alpha} f$ in the weak sense**. Sometimes we'll just write $g=\partial_{}^{\alpha}f$ and 'in the weak sense' will have to be ascertained from context. The functions $\varphi \in C_{c}^{\infty}(\Omega)$ are called **[[bump function|test functions]]**.
^definition
> [!specialization]
> Since the classical $\alpha$-[[derivative]] $g$ of $f$, should it exist, course satisfies the required integration by parts formula, we see that weak differentiation is indeed a generalization.
^specialization
> [!basicproperties]
> - It follows from the [[fundamental lemma of the calculus of variations]] that weak derivatives are unique[^1] when they exist.
> - Sequential property of weak derivatives (Remark 2.2.3 in notes)
^properties
[^1]: Unique as elements of the [[quotient module|quotient]] $L^{1}_{\text{loc}}$, that is — unique up to a set of [[Lebesgue measure]] zero. Indeed, if $g,h$ both make the IBP identity hold, then $\int _{\Omega} g \varphi =\int _{\Omega} \, h \varphi$ for all test functions $\varphi$ hence $\int _{\Omega} (g-h) \varphi \, =0$ for all test functions $\varphi$ and the [[fundamental lemma of the calculus of variations|FLOTCOV]] says $g-h=0$ up to a null set.
> [!intuition]
>
>
>
> First let $f \in C^{1}_{c}(\Omega)$. Recall the [[integration by parts]] formula $(i \in [n])$ $\int _{\Omega} f \partial_{i} g =- \int_{\Omega} g \partial_{i} f \, \text{ for all } g \in C^{1}_{c}(\Omega) .$
> If we relax to allow $f \in L^{1}_{\text{loc}}$, then the LHS still makes sense but the RHS need not; $\partial_{i}f$ might not be defined. If $h \in L^{1}_{\text{loc}}$ is such that $\int _{\Omega}f \partial_{i}g \, = - \int _{\Omega} g h \text{ for all } g \in C ^{1}_{c}(\Omega),$ then $h$ 'behaves like it were the derivative of $f