Regularity of the free boundary for a parabolic cooperative system (Q2135746): Difference between revisions

Let \(B_r(x)\) be the open ball in \(\mathbb{R}^n\), \(n \ge 2\), with center \(x\) and radius \(r\), \(Q_1 = B_1(0)\times(-1,\,1)\). Let \(\mathbf{u} = (u^1,\dots, u^m)\), \(m \ge 2\), \(\mathbf{u}: Q_1 \rightarrow \mathbb{R}^m\). There is studied the problem for the parabolic system of the equations \[ \Delta \mathbf{u} - \partial_t \mathbf{u} = |\mathbf{u}|^{q-1}\mathbf{u} \chi_{\{|\mathbf{u}| > 0\}}, \ 0\le q <1, \eqno(1) \] with the free boundary \(\partial\{|\mathbf{u}| > 0\}\), where \(\chi_{\Omega}\) is the characteristic function of \(\Omega\). Let \(Q_r^-(x,\,t) = B_r\times (t-r^2,\,t)\); \ \(\Gamma(\mathbf{u}) = \partial\{|\mathbf{u}| > 0\}\); \ \(\Gamma^\kappa(\mathbf{u}) = \{(x_0,\, t_0) \in \Gamma(\mathbf{u}): \partial^{\,i}_t\partial^{\,\mu}_x \mathbf{u}(x_0,\,t_0) = 0 \ \ \forall \ 2i + |\mu| < \kappa\}, \ \kappa = \frac{2}{1-q}, \ \alpha = (\kappa(\kappa - 1))^{-\kappa/2}.\) The authors prove that if \(\mathbf{u}\) is the solution to the equations (1) and \((0,\,0) \in \Gamma^\kappa(\mathbf{u})\), then there exists a constant \(C\) such that \[ \sup_{Q_r^-} |\mathbf{u}| \le C r^\kappa \ \ \forall \, r \in (0,\,1/2); \] the free boundary is \(C^{\,1,\,\alpha} \) and \(C^{\,0,\, 1/2}\) in the space and time directions respectively in the neighbourhood of the regular (well behaved) points of the free boundary.