# 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 '13 at 7:41
Yeah, the coefficients are uniformly elliptic on $U$. –  user15464 Feb 2 '13 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. –  Jose27 Feb 2 '13 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)$? –  user15464 Feb 10 '13 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. –  Ray Yang Feb 10 '13 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 .... –  Ray Yang Feb 11 '13 at 19:27