# Well-posedness of the Poisson problem with mixed boundary conditions

let $\Omega \subset \mathbb R^n$ be a subdomain whit Lipschitz boundary, i.e. locally any part of the boundary looks like the graph of a Lipschitz continuous function, after some affine coordinate transformation.

Suppose we are given a "partition" $\Gamma_D$ and $\Gamma_N$ of the boundary, s.t. these sets are submanifolds of $\mathbb R^n$ with Lipschitz boundary by themselves, and their intersection has measure zero.

Let us be given $g \in L^2(\Gamma_D)$ and $h \in L^2(\Gamma_N)$ and some function $f \in L^2(\Omega)$. We want to solve Poisson's equation with mixed boundary conditions

$\operatorname{div}\operatorname{grad} u = f$ over $\Omega$

$u_{|\Gamma_D} = g$ over $\Gamma_D$

$\operatorname{grad} u_{|\Gamma_N} \cdot n = h$ over $\Gamma_N$

It is standard to prove well-posedness of these problems if either $\Gamma_D$ or $\Gamma_N$ are the empty set. I have not found a rigour proof of well-posedness for general mixed boundary conditions in the standard books like, say, Gilbarg-Trudinger. On the other hand, certain papers suggest the boundary parts are required to meet at an angle that is not 180° in the case of Lipschitz boundaries, so the boundary is necessarily non-smooth.

You'll need some additional global conditions regarding your domain and its boundary. For example, is the boundary connected? What about $\Gamma_N \cap \Gamma_D$? As to your angle condition - I would then start by looking at special solutions in corner domains, e.g. $u_\alpha(x,y) = \Re (x+iy)^{\alpha}$ in domains like $\Omega_\gamma = \{(x,y) | x \ge 0, \, 0 \le y \le \gamma x\}$ to understand in what sense one can expect maximal regularity to hold. For example, for which $\alpha, \gamma$ is $u_\alpha \in H^{3/2}_{loc}(\Omega_\gamma)$? –  Hans Engler Nov 26 '11 at 18:01