David Jesus,Edgard A. Pimentel,David Stolnicki
Abstract:We examine boundary regularity for a fully nonlinear free transmission problem. We argue using approximation methods, comparing the operators driving the problem with a limiting profile. Working natural conditions on the data of the problem, we produce regularity estimates in Sobolev and $C^{1,{\rm Log-Lip}}$-spaces. Our findings extend recent developments in the literature to the free boundary setting.
What problem does this paper attempt to address?
This paper aims to solve the boundary regularity problem in a fully nonlinear free - transport problem. Specifically, the paper examines the following fully nonlinear free - transport problem:
\[
\begin{cases}
F_1(D^2u, Du, x) = f & \text{in } \Omega \cap \{u > 0\} \\
F_2(D^2u, Du, x) = f & \text{in } \Omega \cap \{u < 0\}
\end{cases}
\]
where \( F_1 \) and \( F_2 \) are operators defined on \( S(d) \times \mathbb{R}^d \times \Omega \), satisfying certain structural conditions, \( f \in L^p(\Omega) \), and \( u \) satisfies the Dirichlet boundary condition \( u = g \) on \( \partial \Omega \). The main objective of the paper is to study the regularity of the solution \( u \) near the boundary \( \partial \Omega \), especially at the intersection of \( \partial \Omega \) and the free boundary \( \Gamma(u) \).
The main contributions of the paper include:
1. **\(C^{1,\log - \text{Lip}}\) Boundary Regularity Estimates**: Prove the boundary regularity estimates of the solution \( u \) in the \( C^{1,\log - \text{Lip}}\) space.
2. **Sobolev Boundary Regularity Estimates**: Under more stringent conditions, prove the boundary regularity estimates of the solution \( u \) in the \( W^{2,p}\) space.
These results extend the regularity theory of free - boundary problems in the existing literature and provide new methods and techniques for dealing with such problems.