3
$\begingroup$

Let $U$ be an open connected subset of $\mathbb{C}$ and let $u:U\rightarrow \mathbb{R}$ be harmonic and bounded on $U$.

Let $f:\partial_\infty U \rightarrow \mathbb{R}$ be a continuous function, and suppose $u$ extends continuously to $f$ on a dense subset of $\partial_\infty U$.

By $\partial_\infty U$ I mean the boundary of $U$ in $\mathbb{C}\cup\{\infty\}$. By "$u$ extends continuously to $f$ on $D$" I mean that for each $a \in D$, $\lim_{z\rightarrow a} u(z)$ exists and is equal to $f(a)$.

Does it follow that $u$ extends continuously to $f$ on all of $\partial_\infty U$?

$\endgroup$
3
  • 9
    $\begingroup$ Take a dense open set of small measure on the circle, take $u$ to be the Poisson extension of its characteristic function, and take $f=1$. $\endgroup$
    – fedja
    Commented May 24, 2011 at 23:09
  • $\begingroup$ Thank you. I only knew of the Poisson extension for continuous functions, but it seems that it works for $L^p$ more generally. Is there a standard reference for the Poisson extension for $L^p$ functions? $\endgroup$ Commented May 27, 2011 at 2:07
  • $\begingroup$ @Linda A standard reference is Gilbarg's and Trudinger's "Elliptic Partial Differential Equations of Second Order." You want to look at the strong solution chapter. $\endgroup$ Commented May 27, 2011 at 16:55

0

You must log in to answer this question.

Browse other questions tagged .