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!



Interior smooth regularity
I assume that you require $f\in C^\infty(U)$. You do not need regularity of the boundary of $U\subset \mathbb{R}^N$. The condition $u\in H^m\_{loc}(U)$ is equivalent with $\widetilde{\phi u}\in H^m(\mathbb{R}^N)$, for any $\phi\in C^\infty\_0(U)$. Here $\widetilde{g}$ denotes the extension of the function $g:U\to\mathbb{R}$ by zero outside $U$. Apply the Sobolev embedding theorems to $\widetilde{\phi u}$. 


I strongly recommend opening Brezis' book on functional anaylsis and pde's. 


