Regularity of the free boundary for a Bernoulli-type parabolic problem with variable coefficients (Q329799)

There is studied the problem \[ \mathcal{L}u - u_t =0 \;{\text{in}} \;\{u>0\}\cup\{u \leq 0\} =:\Omega^+(u^+)\cup \Omega^-(u^-) = \Omega, \eqno(1) \] \[ G(u_\nu^+,\,u_\nu^-)=1 \;{\text{along}} \;\partial\{u > 0\}, \eqno(2) \] where \(\mathcal{L} = \Sigma_{ij}a_{ij}(x,t)D_{ij}\) is an elliptic operator with \(a_{ij} \in C^{\,0,\,\alpha}(\Omega)\), \ \(\alpha \in (0,1]\), \ (2) are the conditions on a free boundary, which is defined as the set \(\{(x',x_n,t) | \, f(x',t) = x_n\}\), \( \nu = \frac{\nabla v}{|\nabla v|}\) is a unit gradient vector of a function \(v\), \ \(u^{\pm}_\nu \) means the derivative on the direction of a vector \(\nu \) of a function \(u^{\pm}\). For instance (2) may contain the condition \((u_\nu^+)^2 - (u_\nu^-)^2 = 2M\), \ \(M =\) const \(> 0.\) Under the assumptions that \(u\) is a viscosity solution of the problem (1) and a free boundary of it is a Lipschitz surface, the main statement of the work is that a normal vector to the free boundary satisfies uniform Hölder conditions with respect to \(x\) and \(t\) with indices \(\alpha\) and \(\beta\) respectively in every point \((x,t)\) in the space-time parabolic cylinder vicinity of this point \((x,t)\) and \(u^{\pm} \in C^1(\overline{\Omega^{\pm}(u^{\pm}}))\).