2
$\begingroup$

While i am revising for exam : I am facing some problems to understand things clearly . Here are my doubts :

a) If $u$ solves $\Delta u =0 , x\in \Omega; u=g , x\in \partial \Omega$ for non constant boundary data $g$ with $g\ge0$ and $g(x_0)\> 0$ for some $x_0 \in \partial \Omega $ then why is it true that $u(x)>0$ for all $x\in \Omega$ ?

b) It's about Harnack inequality . Let $V$ be open and connected and $V\subset\subset \Omega$ ie $V$ is compactly contained in $\Omega$ then there existz a constant $C<\infty$ such that $sup_V u \le C inf_V u$ . My question is why only upto $V$ and not upto $\bar V $ ie why not upto closure ?

  • 0
    @anon : i tried looking for other possibilites but couldn't find the appropriate header.2012-07-11

1 Answers 1

2

a) You are missing an important assumption that $g$ is continuous. Under this assumption $g(y)$ agrees with the limit of $u(x)$ as $x\to y\in\partial\Omega$. By the maximum principle $u\ge 0$ in $\Omega$, and the stronger form of the same principle says that either $u\equiv 0$ or $u>0$ everywhere. The first case is impossible, for then we would have $g(x_0)=\lim_{x\to x_0}u(x)=0 $.

b) You have my permission to replace $V$ with $\overline{V}$ in Harnack's inequality. It does not matter.