A general class of free boundary problems for fully nonlinear parabolic equations (Q2353832): Difference between revisions

Let \(\Omega \subset \mathbb{R}^{n+1}\) be unknown open set, \ \(Q_r(X):=B_r(x) \times (t-r, t)\subset \mathbb{R}^{n}\times \mathbb{R}\) -- parabolic ball of radius \(r\) with a center at a point \(X = (x,t)\) and \(Q_r=Q_r(0)\). There is studied free boundary problem with \(u \in W^{2,n}_x \cap W^{1,n}_t \) satisfying \[ \mathcal{H}(u) = 1 \;\text{{a.e. \;in}} \;Q_1\cap \Omega, \;\;|\widetilde{D}{}^2 u| \leq K \;\text{{a.e. \;in}} \;Q_1 \setminus \Omega, \eqno(1) \] where \(\mathcal{H}(u) := F(D^2 u) - \partial_t u\) is a fully nonlinear parabolic operator, \ \(\widetilde{D}{}^2 u = (D^2_x, \, D_t u) \subset \mathbb{R}^{n+1}\), \ \(K > 0\). For the solution of the problem (1) \(\widetilde{D}{}^2 u = 0\) a.e. inside \(\{u=0\}\) and \(D^2_x u = 0\) a.e. inside \(\{\nabla_x u=0\}.\) Let \[ \delta_r(u,X^0):= \inf_{t\in [t_0-r^2,\, t_0+r^2 ]}\!\frac{MD\big(\Lambda \cap \big(B_r(x^0)\times \{t\}\big)\big)}{r}, \] where \(\Lambda:=Q_1\setminus \Omega, \;X^0=(x^0,t^0)\),\ \(MD(E)\) is the smallest distance between two parallel hyperplanes containing \(E\). The authors prove that if \(u \in W^{2,n}_x \cap W^{1,n}_t\) is a solution of the problem (1), {\parindent=6mm \begin{itemize} \item{ 1)} then \(|\widetilde{D}{}^2 u| \leq \widetilde{C}\) \ in \ \( Q_{1/2}\), where \(\widetilde{C}=\widetilde{C}(n,\,\lambda_0,\,\lambda_1,\, \parallel u \parallel_\infty) >0\), \ \(\lambda_0,\,\lambda_1\), \ (\(0 < \lambda_0 \leq \lambda_1 < \infty\)) are ellipticity constants;\item [2)] if also \(\Omega \supset \{ u \not= 0\}\) and there exists \(\varepsilon > \) such that \( \delta_r(u,z) > \varepsilon \;\forall r < 1/4, \;\forall z\in \partial\Omega\cap Q_r, \) then \(\partial\Omega \cap Q_{r_0}\) is a \(C^1\) -- graph in space-time, where \(r_0\) depends on \(\varepsilon\) and the data. \end{itemize}}