A div-curl inequality for orthonormal functions

We prove a bound on the sum of the product of curl-free and divergence-free vector fields. Under appropriate orthonormality conditions our bound scales sublinearly in the number of terms, similar in spirit to Lieb–Thirring inequalities.