Abstract:In this paper, we prove that flat free boundaries of solutions to inhomogeneous one-phase Stefan problem are $C^{1,\alpha}$.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the regularity of the free boundary under the smoothness condition in the non - homogeneous one - phase Stefan problem. Specifically, the authors study the free - boundary problem of the non - negative viscosity solution \(u: \Omega\times[0, T]\mapsto\mathbb{R}\), which is described by the following system of equations:
\[
\begin{cases}
\partial_t u-\Delta u = f & \text{in } \Omega_+(u):=(\Omega\times[0, T])\cap\{u > 0\},\\
\partial_t u = |\nabla u|^2 & \text{in } F(u):=(\Omega\times[0, T])\cap\partial\{u > 0\}
\end{cases}
\]
where \(\Omega\subset\mathbb{R}^n\), \(T > 0\), \(f:\Omega\times[0, T]\mapsto\mathbb{R}\), \(f\in C(\Omega\times[0, T])\cap L^\infty(\Omega\times[0, T])\) and \(f\geq0\).
The Stefan problem has attracted much attention because of its importance in modeling physical phenomena, especially in the process of ice melting or freezing. The main contribution of this paper is to prove that under non - homogeneous conditions, the smooth free boundary is \(C^{1,\alpha}\) - regular. This result is obtained by introducing new methods and techniques to deal with the free - boundary problem, especially in the presence of the non - homogeneous term \(f\). These techniques include the use of hodograph transformation and the theory of viscosity solutions.
The key to the paper lies in how to deal with the condition \(\partial_t u = |\nabla u|^2\) on the free boundary, which describes the application of the law of conservation of energy on the free boundary. In addition, the authors also discuss the rescaling methods at different scales (such as hyperbolic rescaling and parabolic rescaling), and the influence of these methods on the regularity of the free boundary.
In conclusion, this paper aims to solve the regularity problem of the free boundary in the non - homogeneous one - phase Stefan problem by introducing new mathematical tools and techniques.