I recently read the PDE book of L. Evans, and in its chapter 6 some kinds of regularities of second-order elliptic equations were discussed. My question is about its proof of interior smooth regularity (thm 3 in Ch. 6.3.1).

The theorem asserts that if a second-order elliptic PDE $Lu=f$ has smooth coefficients and admits an $H^1$ weak solution $u$ on a bounded domain $U\subseteq \mathbb R^n,$ then $u$ is smooth.

In the statement of the theorem, no condition is assumed about $\partial U,$ but in the book, the author would like to apply the general Sobolev inequality to assure $u\in C^\infty(U)$ if $u\in H^m_{\text{loc}}(U)$ for all $m\in\mathbb N,$ which can be obtained by the theorem 6 in its chapter 5.6.3, but with $\partial U$ is $C^1.$

My problem is whether the regular assumption on the boundary is necessary. However, without the condition $\partial U$ being $C^1,$ I only know some Sobolev inequality about $W^{k,p}_0(U).$ I am not sure if these are sufficient to derive the desired conclusion (since I don't know the behavior of $u$ near the boundary a priori). Perhaps there are alternatives to this problem, or the conclusion is just wrong without the boundary assumption?

Thanks in advance!