No label defined (Q4517237)

The author considers the motion of a two-component nonhomogeneous mixture in a bounded domain \(\Omega\subset\mathbb{R}^d\), \(d = 2, 3\), with boundary \(\Gamma\in C^2\), where the diffusion mass transfer is taken into account. In the stationary case, the model is governed by the equations \[ \begin{aligned} &\rho(u\cdot\nabla) - \lambda(\nabla\rho\cdot\nabla)u - \lambda(u\cdot\nabla)\nabla \rho = \mu\Delta u + \rho f - \nabla p\quad \text{in } \Omega, \\ & \text{div }u = 0,\quad u\nabla\rho = \lambda\Delta u\quad\text{in } \Omega \end{aligned} \] under the boundary value conditions \[ u = 0,\quad \frac{\partial\rho}{\partial n} = 0\quad\text{on } \Gamma_0, \quad u = u_0,\quad \rho = \rho_0\quad \text{on } \Gamma_1, \] where \(\Gamma_0\) is an impenetrable part of the boundary \(\Gamma\) and \(\Gamma_1 = \Gamma\setminus\overline{\Gamma}_0\). It is assumed that \(\Gamma_0\) is open in \(\Gamma\), \(\operatorname{mes} (\overline{\Gamma}_0\cap\overline{\Gamma}_1) = 0\) for \(d=2\) and the intersection \(\overline{\Gamma}_0\cap\overline{\Gamma}_1\) is a Lipschitz continuous curve for \(d = 3\). The main result of the article reads as follows: Let \(\rho_0\in W_l^{1 - 1/l}(\Gamma)\) (\(2 < l < \infty\) for \(d = 2\), \(3 < l < 6\) for \(d = 3\)) be given, and let \(g\in \tilde{H}^{1/2}\), \(f\in L^{\nu}(\Omega)\) (\(\nu > 1\) for \(d > 2\), \(\nu > 6/5\) for \(d = 3\)). If \(2\mu > \lambda(M -m)\), where \(m = \inf_{\Gamma_1}\rho_0\) and \(M = \sup_{\Gamma_1}\rho_0\), then there exists a weak solution to the problem.