Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

On the Laplace equation with a supercritical nonlinear Robin boundary condition in the half-space

We study the Laplace equation in the half-space ${\mathbb{R}_{+}^{n}}$ with a nonlinear supercritical Robin boundary condition ${\frac{\partial u}{\partial\eta }+\lambda u=u\left\vert u\right\vert^{\rho-1}+f(x)}$ on ${\partial \mathbb{R}_{+}^{n}=\mathbb{R}^{n-1}}$ , where n ≥ 3 and λ ≥ 0. Existence of solutions ${u \in E_{pq}= \mathcal{D}^{1, p}(\mathbb{R}_{+}^{n}) \cap L^{q}(\mathbb{R}_{+}^{n})}$ is obtained by means of a fixed point argument for a small data $f \in {L^{d}(\mathbb{R}^{n-1})}$ . The indexes p, q are chosen for the norm ${\Vert\cdot\Vert_{E_{pq}}}$ to be invariant by scaling of the boundary problem. The solution u is positive whether f(x) > 0 a.e. ${x\in\mathbb{R}^{n-1}}$ . When f is radially symmetric, u is invariant under rotations around the axis {x _n  = 0}. Moreover, in a certain L ^q -norm, we show that solutions depend continuously on the parameter λ ≥ 0.