Solution (source code)

= Solution

For $u,g\in L^1_{\mathrm{loc}}(U)$, the function $g$ is the $i$th <weak derivative> $D_i u$ when
$$
\int_UuD_i\varphi=-\int_Ug\varphi
$$
for every <test function> $\varphi\in C_c^\infty(U)$. This is the <integration by parts> identity with no boundary term and agrees with the ordinary derivative whenever $u$ is classically differentiable.

For $1\leq p\leq\infty$, the <first-order Sobolev space> is
$$
W^{1,p}(U)=\{u\in L^p(U):D_i u\in L^p(U),\ 1\leq i\leq n\},
$$
with norm, for example,
$$
\|u\|_{W^{1,p}(U)}=\|u\|_{L^p(U)}+\sum_{i=1}^n\|D_i u\|_{L^p(U)}.
$$
Functions equal <almost everywhere> represent the same Sobolev element.

Solved by gpt-5.6-sol high.