# Regularity up to the boundary

Let $L$ be a second order linear elliptic differential operator on an open bounded subset $U\subset \mathbb R^n$, with smooth uniformly bounded coefficients. Suppose the boundary of $U$ is $C^\infty$. Suppose $f\in C_c^\infty(U)$ ($f$ is smooth and has compact support in $U$). Must there exist a solution $u$ to the PDE $Lu = f$, $u|_{\partial U} = 0$ such that $u$ extends to be $C^\infty$ on the closure $\bar U$?

• I guess the ellipticity assumption is uniform too?
– user53153
Feb 2, 2013 at 7:41
• Yeah, the coefficients are uniformly elliptic on $U$. Feb 2, 2013 at 13:35
• How about $L=-\Delta+\lambda I$ (meaning $Lu=-\Delta u +\lambda u$, for $\lambda \in \mathbb{R}$) and $f=0$. The only $\lambda$ for which there is a solution are the Laplacian's eigenvalues, which form a countable set. On the other hand if a solution exists then it's a weak solution so regularity gives the $C^\infty$ extension up to the boundary. Feb 2, 2013 at 18:10

Applying it once will give you $C^{2,\alpha}$ estimates. Then you subsequently apply the theory to the first derivatives, recognizing that differentiating the equation gives you 2nd order elliptic operator in the first derivative, and so on for higher order terms.
• Can we necessarily find a solution in $C_c^\infty(U)$? Feb 10, 2013 at 23:08
• The solution will probably not be compactly supported in $U$, but will take on 0 along $\partial U$. In fact, it's probably not possible for $u$ to be compactly supported inside $U$, due to the unique continuation properties of solutions to elliptic PDEs. Feb 10, 2013 at 23:18
• I take that last sentence back. It's possible for $u$ to be compactly supported, but it would not be the general case - the unique continuation theorems I was thinking of do not apply when there is a source term. In general, think of what happens if $f$ is your favorite bump function, and if the domain $U$ is really large - then as you get far away from the support of $f$, you would expect $u$ to resemble an appropriate multiple of the fundamental solution .... Feb 11, 2013 at 19:27