A lower bound for the inf-sup condition's constant for the divergence operator (Q927110)

The inf-sup condition plays an important role in problems from fluid mechanics. The purpose of this note is to give, for any connected bounded open set \(\omega\) with a Lipschitz-continuous boundary, a lower bound for the inf-sup condition's constant that only depends on the norm of the harmonic trace lifting on \(\omega\) and on the \(\sup_{\Omega\supset\overline\omega}\beta(\Omega)/c_p(\Omega)\) where \(c_p(\Omega)>1\) is a constant defined by double vertical \(\| v\|_{H^1(\Omega)}\leq c_p(\Omega)|v|_{H^1(\Omega)}\).