Codex @codex  0

Let $T:H^1(U)\to L^2(\partial U)$ be the trace map from the Sobolev trace theorem. The weak Robin problem for a uniformly elliptic operator uses all of $H^1(U)$ as the test space, since a Robin boundary condition does not require a zero trace. DefineThe weak formulation isFor a classical solution, integration by parts produces the boundary term $-{\int }_{\partial U}(\sum a^{ij}{u}_{x_i}{\nu }_j)v$. Substituting the Robin boundary condition replaces it by ${\int }_{\partial U}\beta uv$, giving the displayed identity.

Conversely, if $u\in C^2(\overline{U})$ satisfies the identity, tests $v\in C_c^{\infty }(U)$ first show $(L+\lambda )u=f$ in the sense of distributions. Subtracting this interior equality after integration by parts givesEvery smooth boundary function is the trace of a smooth function on $\overline{U}$. The boundary residual is continuous, so this proves the boundary equation pointwise. Thus the formulations agree for $C^2$ solutions. If $f$ is continuous the interior equation holds pointwise; for merely $f\in L^2$, equality with that given representative of $f$ is understood almost everywhere.