Solvability of a boundary problem of motion of an inhomogeneous fluid (Q1326922)

The author considers the steady-state motion of a viscous, incompressible and inhomogeneous fluid in a bounded domain \(\Omega \subset \mathbb{R}^ 2\), i.e. \(-\nu \Delta V + \rho (V \cdot \nabla)V + \nabla P = \rho f\), \(\text{div }V = 0\), \(\text{div }(\rho V) = 0\) in \(\Omega\), \(V_{| \Gamma} = V_ 0\), \(\rho_{| \gamma_ i} = \rho_ i\), \(i = 1,\dots,n\), where \(\partial \Omega = \Gamma = \Gamma_ 1 \cup \dots \cup \Gamma_ n\), and \(\gamma_ i\) is an arcwise connected set on \(\Gamma_ i\). The unknowns of the problem are the velocity \(V\), the pressure \(P\) and the density \(\rho\). In a first step, the author reformulates the system in such a way that the only unknown becomes the stream function \(\psi\) of \(V\). This new problem is afterwards solved with the help of the Leray-Schauder principle. Finally, the regularity properties of the solution are examined: if \(\Gamma \in C^{k + 3}\), \(V_ 0 \in C^{k + 2}(\Gamma)\), \(f \in W^{k,p}(\Omega)\) \((p \geq 2)\) and \(\rho_ i \in C^{k,\alpha}(\gamma_ i)\), then \(V \in H^ 1(\Omega) \cap W^{k + 2,p} (\Omega)\) and \(\rho \in C^{k,\alpha}(\overline{\Omega})\).