No label defined (Q5699833)

For a Lebesgue integrable function \(f[a,b]\to C\), the author calls \(|\int f(x)|dx\leq\int|f(x)|dx\) the continuous triangle inequality and \(\cos \vartheta \cdot\int|f(x)|dx\leq|\int f(x)dx|\) (provided \(-\vartheta\leq \arg f(x)\leq \vartheta\), \(x\in[a,b]\) where \(0<\vartheta<\pi/2)\) the reverse of the continuous triangle inequality. He proves the following theorem and gives some consequences of it: If \(f:[a,b]\to H\) is a Bochner integrable function with values in a Hilbert space, \(\{e_1,\dots, e_n\}\) a family of orthonormal vectors in \(H\) and \(k_i\geq 0\) such that \(k_i\|f(t)\| \leq\text{Re} \langle f(t),e_i\rangle\) a.e. and for \(i=1,\dots,n\), then \[ \left (\sum^n_{i=1} k_i\right)^{1/2}\cdot \int^b_a\bigl\| f(t) \bigr\| dt\leq\left\|\int^b_a f(t)dt\right\|. \]