[proofplan]
Test the weak equation with $v=u$. Ellipticity controls the gradient, Poincare controls the $L^2$ part, and the dual norm of $f$ controls the right-hand side.
[/proofplan]
custom_env
admin
[step:Test with the solution]
Taking $v=u$ in the weak formulation gives
\begin{align*}
\int_U \sum_{i,j=1}^n A_{ij}\partial_{x_j}u\,\partial_{x_i}u\,d\mathcal L^n=f(u).
\end{align*}
Uniform ellipticity gives
\begin{align*}
\theta\|\nabla u\|_{L^2(U)}^2
\le f(u).
\end{align*}
By the definition of the $H^{-1}$ norm,
\begin{align*}
f(u)\le \|f\|_{H^{-1}(U)}\|u\|_{H_0^1(U)}.
\end{align*}
[/step]
custom_env
admin
[step:Convert gradient control to the full norm]
Poincare's inequality on the bounded domain $U$ gives a constant $C_U$ such that
\begin{align*}
\|u\|_{H_0^1(U)}\le C_U'\|\nabla u\|_{L^2(U)}
\end{align*}
for some $C_U'>0$ depending only on $U$. Hence
\begin{align*}
\frac{\theta}{(C_U')^2}\|u\|_{H_0^1(U)}^2
\le \theta\|\nabla u\|_{L^2(U)}^2
\le \|f\|_{H^{-1}(U)}\|u\|_{H_0^1(U)}.
\end{align*}
If $u=0$ the estimate holds. Otherwise divide by $\|u\|_{H_0^1(U)}$ to obtain
\begin{align*}
\|u\|_{H_0^1(U)}\le \frac{(C_U')^2}{\theta}\|f\|_{H^{-1}(U)}.
\end{align*}
This gives the required estimate.
[/step]