Even for just a simple propulsive fan it'll be hard to find one formula incorporating the many practical input variables: blade radius, blade count, blade twist, rpm, airspeed, air density, rotor position in duct, duct narrowing, etc. I find only measurements and simulations of particular families of these, e.g.
Performance Investigation of Ducted Aerodynamic Propulsors, Bi et al, SMP 2009,
whose conclusion, supported by measurements shown in Fig. 16 (for the same thrust, a gap of 1% to 3% wastes about 10% more power than zero gap), dares to claim nothing more rigorous than:
Propulsor efficiency is insensitive to blade tip
clearance when the tip gap is between 1%R and
3%R. However, as the tip clearance approaches
zero, propulsor efficiency can be quite sensitive
to gap size.