On the initial value problem for the heat convection equation of Boussinesq approximation in a time-dependent domain (Q1824102)

Let K be a compact subset of \({\mathbb{R}}^ m\) \((m=2\) or 3) with smooth boundary \(\partial K\), let \(T>0\); for each \(t\in [0,T]\) let \(\Gamma\) (t) be a simple closed surface in \({\mathbb{R}}^ 3\) (or curve in \({\mathbb{R}}^ 2)\) such that K is contained in the interior of the region surrounded by \(\Gamma\) (t), and let \(\Omega\) (t) be a bounded subset of \({\mathbb{R}}^ m\) whose boundary \(\partial \Omega (t)\) consists of two components: \(\partial \Omega (t)=\partial K\cup \Gamma (t).\) Finally put \({\hat \Omega}=\cup_{0\leq t\leq T}\Omega (t)\times \{t\}\). The author considers the initial-value problem \[ u_ t+(u\cdot \nabla)u=-\rho^{-1} \nabla p+\{1-\alpha (\theta -T_ 0)\}g+\nu \Delta u\quad in\quad {\hat \Omega}, \] \[ div u=0\quad in\quad {\hat \Omega},\quad \theta_ t+(u\cdot \nabla)\theta =\kappa \Delta \theta \quad in\quad {\hat \Omega}, \] \[ u|_{\partial \Omega (t)}=0,\quad \theta |_{\partial K}=T_ 0>0,\quad \theta |_{\Gamma (t)}=0\quad for\quad all\quad t\in [0,T], \] \[ u|_{t=0}=a,\quad \theta |_{t=0}=h\quad in\quad \Omega (0), \] where u is the velocity field, p is the pressure and \(\theta\) is the temperature; \(\nu\), \(\kappa\), \(\alpha\) and \(\rho\) are positive constants, and g(x) is the gravitational vector. It is assumed that there is an open ball \(B_ 1\) such that \(\overline{\Omega (t)}\subset B_ 1\) for all \(t\in [0,T]\); that \(\Gamma\) (t) and \(\partial K\) are of class \(C^ 3\), and that \(\Gamma\) (t)\(\times \{t\}\) \((0<t<T)\) changes smoothly (say of class \(C^ 4)\) with respect to t; and that g is a bounded and continuous vector-valued function on \({\mathbb{R}}^ m\setminus int K\). Under these assumptions, two theorems are announced: Theorem 1. If \(a\in H_{\alpha}(\Omega (0))\) and \(h\in L^ 2(\Omega (0))\), then there is a weak solution of the problem, for any \(T>0.\) Theorem 2. If \(a\in H^ 1_{\sigma}(\Omega (0))\), \(h\in W^ 1_ 2(\Omega (0))\), \(h|_{\partial K}=T_ 0\) and \(h|_{\Gamma (0)}=0\), then there is a positive number \(\tau_ 0\), depending on a, h and \(T_ 0\), such that the initial-value problem has a unique strong solution on \([0,\tau_ 0]\).