One-phase parabolic free boundary problem in a convex ring (Q736259)

Let \(\Omega_i\subset\mathbb R^n\times [0,\infty]\), \(i=0,1\), \(\Omega_0\subset \Omega_1\), \(\Omega_i^T:=\Omega_i\cap\{t\leq T\}\), \(i=0,1\), \(\Omega_1(t_0):=\Omega_1\cap\{t=t_0\}\), \(\Gamma_i\) be a lateral boundary of \(\Omega_i\), \(i=0,1\). The domain \(\Omega_0\) expands in time and \(K_0:=\Omega_0\cap \{t=0\}\) is not empty set. It is required to find a domain \(\Omega_1\) and a function \(u(x,t)\) defined in a ring domain as a solution of the problem \(u_t=\Delta u\) in (1) \(\Omega_1 \setminus {\overline \Omega}_0\), (2) \(u=1\) on \(\Gamma_0\), (3) \(u=0\) and \(|\nabla u|=1\) on \(\Gamma_1\), (4) \(u|_{t=0}=u_0(x)\) in \(K_1 \setminus {\overline K}_0\), where \(K_1:= \text{supp}_{x\in \mathbb R^n\setminus K_0} u_0(x)\cup K_0\) is a compact, convex set. The authors establish that there exists \(T_0>0\), such that the problem (1)--(4) has a unique solution \(u \in C^{2,1}_{x t}(\Omega_1^T \setminus {\overline \Omega}_0^T)\cap C (\overline \Omega_1^T\setminus \Omega_0^T)\), a free boundary possesses Lipschitz regularity in \(t\in [0,T]\) and a domain \(\Omega_1(t)\) is a convex and expands in time for \(t\in [0,T]\).