 Coercivity from a drift with nonpositive weak divergence

On a bounded open set, suppose $b\in L^{\infty }$ has weak divergence in $L_{\mathrm{loc}}^1$ with $\mathrm{div}b\le 0$. For $\phi \in C_0^{\infty }$, testing the divergence identity with ${\phi }^2/2$ gives $\int (b\cdot \nabla \phi )\phi =-\frac{1}{2}\int (\mathrm{div}b){\phi }^2\ge 0$. The left side is continuous in the zero-boundary Sobolev space $H_0^1$, by the Poincaré inequality and boundedness of $b$. Density therefore extends its nonnegativity to every $u\in H_0^1$. One need not assume that $(\mathrm{div}b)u^2$ is integrable. It follows that $a(u,v)=\int \nabla u\cdot \nabla v+\int (b\cdot \nabla u)v$ is a coercive bilinear form in the gradient norm, giving unique weak Dirichlet solvability by the Lax-Milgram theorem.