A Space-Time Adaptive Algorithm to Illustrate the Lack of Collision of a Rigid Disk Falling in an Incompressible Fluid

A space-time adaptive algorithm to solve the motion of a rigid disk in an incompressible Newtonian fluid is presented, which allows collision or quasi-collision processes to be computed with high accuracy. In particular, we recover the theoretical result proven in [M. Hillairet, Lack of collision between solid bodies in a 2D incompressible viscous flow, Comm. Partial Differential Equations 32 (2007), no. 7-9, 1345-1371], that the disk will never touch the boundary of the domain in finite time. Anisotropic, continuous piecewise linear finite elements are used for the space discretization, the Euler scheme for the time discretization. The adaptive criteria are based on a posteriori error estimates for simpler problems.