Supongamos $f:\mathbb{R}\to\mathbb{R}$ es un suave, positivo, delimitada de la función en $\mathbb{R}$. La construcción de un valor real función continua $u$ $\overline{\mathbb{H}}$ que son armónicas en $\mathbb{H}$, de tal manera que $u|_{\mathbb{R}} = f$ $u(i) = 0$ donde$\mathbb{H}$$\{z : Im(z) > 0\}$ }
No sé cómo construir, y también me siento confundido: Supongamos $u$ existe, entonces consideramos que la función $u\circ h$ donde $h=\frac{i(w+1)}{1-w}$. Por lo $u\circ h$ se define en $D$ con valor positivo en $\partial D$, e $u\circ h(0)=u(i)=0$, luego por medio del valor de la propiedad, se deduce una contradicción.