b7be20927c2740aa.tex
1: \begin{proof}
2:   Let $w \in C_0^{\infty}(B_r \setminus \{0\})$. As before we compute
3:     \[
4:      \int_{B_r^+(x_0)}|\nabla w|^2 x_n^a  
5:        -2\int_0^1 \int_0^{\alpha} \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}}w^2 \ d \H^{n-1} \ d\tau \ d\alpha \\
6:     \]
7:    Since for $s<1/2$, $|\nabla u|\to \infty$ as we approach the set $\{u=0\}$, for $t$ small enough $|\nabla u + \tau tw|\neq 0$. We now show how
8:    to rigorously apply the co-area formula. On $|u|>\delta$, the solution $u$ is Lipschitz.  Then  
9:     \[
10:      \begin{aligned}
11:       \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}}w^2  d\H^{n-1}
12:        &= \lim_{\delta \to 0} \frac{1}{\epsilon}\int_{B_{r}'(x_0)\cap \{|u+\tau tw|<\epsilon\}\cap \{|u|>\delta\}}w^2  d\H^{n-1}\\
13:        &= \lim_{\delta \to 0} \frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2\chi_{|u|>\delta}}{|\nabla u + \tau tw|}  d\H^{n-2} \right) \ d\theta \\
14:        &=  \frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2}{|\nabla u + \tau tw|}  d\H^{n-2} \right) d\theta.
15:      \end{aligned}
16:     \]
17:    Then 
18:     \[
19:      \lim_{\epsilon \to 0}\frac{1}{\epsilon}\int_0^{\epsilon}\left(\int_{\{u+\tau tw=\theta\}}\frac{w^2}{|\nabla u + \tau tw|}  d\H^{n-2} \right) d\theta
20:      = \int_{\{u+ \tau tw=0\}} \frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2}. 
21:     \]
22:    So as before we obtain that 
23:     \[
24:      A_0^t = \int_{B_r^+}|\nabla w|^2 x_n^a-4\int_0^1 \int_0^{\omega} \int_{B_{r}'(x_0)\cap \{u+\tau tw=0\}} \frac{w^2}{|\nabla u + \tau tw|} d\H^{n-2} d\tau d\omega. 
25:     \]
26:    For fixed $w$, as $t\to 0$, $|\nabla u + \tau tw|\to \infty$, so that for fixed $w$,
27:     \[
28:      A_0^t >0 
29:     \]
30:    for any $t\leq t_0$ with $t_0$ depending on $w$. 
31:   \end{proof}
32: