1
$\begingroup$

Let $u \colon \{\mbox{Im } z>0\}\subset\mathbb{C}\to \mathbb{R}$ be a positive harmonic function in the upper half plane, i.e $$ \Delta u=0,\,\, \mbox{for}\,\mbox{ Im } z>0. $$ Consider now the following mixed Dirichlet-Neumann boundary condition on the boundary $\partial\{\mbox{Im } z>0\}=\{\mbox{Im }z=0\}$ $$ u=0,\,\mbox{for }\{(x,0): -1<x<1\}\\ \frac{\partial u}{\partial y}=0,\,\mbox{for }\{(x,0): x<-1 \vee x>1\} $$ where obviously $z=x+iy$. For example $u(z)=\mbox{Re}(\sqrt{(z-1)(z+1)})$ is a solution of the previous problem, but it's unique upo to a constant? The question is how can i prove that this problem has an unique solution?

It's possible to apply a reflection to the other half plane and then apply some Liouville type result since the function turn to be bounded from below, or a maximum principle?

$\endgroup$
  • $\begingroup$ It looks like you have $u(iy)=\Re(\sqrt{-y^{2}-1})=0$ for $y > 0$. If $u$ is harmonic and non-negative in the upper half-plane, then it cannot be $0$ for any $y > 0$ unless it is identically $0$. Something seems wrong. $\endgroup$ – DisintegratingByParts Jul 23 '15 at 18:49
0
$\begingroup$

Every non-negative harmonic function in the upper half plane can be represented as $$ h(x,y) = \frac{1}{\pi}\int_{-\infty}^{\infty}\frac{yd\rho(t)}{(t-x)^{2}+y^{2}}+Ay $$ where $A$, $D$ are positive constants and $\rho(t)$ is a non-decreasing function on $\mathbb{R}$ for which $$ \int_{-\infty}^{\infty}\frac{d\rho(t)}{1+t^{2}} < \infty. $$ The representation is unique if you add a normalization requirement to $\rho$ such that $\rho(t+0)=\rho(t)$. You can determine $\rho$ from limits of the function $h$ near the boundary. If $a$ and $b$ are points of continuity of $\rho$, then $$ \rho(b)-\rho(a) = \lim_{y\downarrow 0}\int_{a}^{b}h(x,y)dx $$ Jumps of $\rho$ are determined by $$ \frac{1}{\pi}\{\rho(t+0)-\rho(t-0)\} = \lim_{y\downarrow 0}yh(x,y) $$ And $\rho$ is differentiable at some $t$ iff the following exists $$ \rho'(t) = \lim_{y\downarrow 0}h(t,y) $$ This representation theorem gives you a unique characterization of a positive harmonic function on the upper half plane.

For uniqueness, you can also apply a version of Liouville's theorem if the function is continuous to the boundary. The details can be found in Axler's book on Harmonic Function Theory, which is a good reference to have.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.