Small moving rigid body into a viscous incompressible fluid (Q509959)

A rigid disk with radius \(\epsilon\) is moving in a 2D incompressible Navier-Stokes fluid. The limit process \(\epsilon \rightarrow 0\) is studied, when the disk tends to a massless particle. The initial velocity \(u^{\epsilon}_0\) is giving a weak solution \(u^{\epsilon}\). If an extension of \(u^{\epsilon}_0\) is weakly convergent to \(u_0\) in \(L^2(\mathbb R^2)\), then the authors show that \(u^{\epsilon}\) is weakly convergent (in some Lebesgue space) to the weak solution \(u\) of the Navier-Stokes system in \(\mathbb R^2\) corresponding to the initial condition \(u_0\). Some estimates of the Stokes semigroup and a fixed point argument are used to get a priori estimates of the disk velocity. A cutoff procedure is used to obtain the convergence result, based on a specific set of test functions verifying the free-divergence condition; the Bogovskii operator is also used. The 3D case is considered in the last part, related with the evolution of several solids with different shapes and non-zero limit masses.