The geometry of the free boundary (2305.02919v1)
Abstract: The non-transversal intersection of the free boundary with the fixed boundary is obtained for nonlinear uniformly elliptic operators when $\Omega = {\nabla u \neq 0} \cap {x_n>0}$ thereby solving a problem in elliptic theory that in the case of the Laplacian is completely understood but has remained arcane in the nonlinear setting in higher dimension. Also, a solution is given to a problem discussed in "Regularity of free boundaries in obstacle-type problems" \cite{MR2962060}. The free boundary is $C1$ in a neighborhood of the fixed if the solution is physical and if $n=2$ in the absolute general context. The regularity is even new for the Laplacian. The innovation is via geometric configurations on how free boundary points converge to the fixed boundary and investigating the spacing between free boundary points.
