An extension of Hlawka's inequality (Q4943138)

The authors prove the following theorem which is a for reaching generalization of Hlawka's inequality. Let \(H\) be a Hilbert space, \((\Omega ,\mu)\) a finite measure space and \(f\) a Bochner integrable \(H\)-valued function on \((\Omega , \mu)\). Suppose that \[ \int_{\Omega }\left\|f(t)\right\|d\mu (t)\geq \left\|f(\omega)\right\|+\left\|f(\omega)- \int_{\Omega }f(t) d\mu (t)\right\|\quad (\text{a.e. }\omega \in \Omega _{f}). \] Then \[ (\mu (\Omega)-2)\left\|\int_{\Omega } f(\omega) d\mu \right\|+\int_{\Omega }\left\|f(\omega)\right\|d\mu \geq \int_{\Omega }\left\|f(\omega)- \int_{\Omega }f d\mu \right\|d\mu . \]