Déduire de l’inégalité de Cauchy-Schwarz que pour toute fonction u u u primitive d’une fonction réglée dans [ a , b ] [a, b] [ a , b ] et toute fonction continue h > 0 h > 0 h > 0 dans [ a , b ] [a, b] [ a , b ] , on a
∣ u ( b ) 2 − u ( a ) 2 ∣ ≤ 2 ( ∫ a b u 2 ( t ) h ( t ) d t ) 1 / 2 ( ∫ a b u 2 ( t ) h ( t ) d t ) 1 / 2
|u(b)^2 - u(a)^2| \leq 2 \left( \int_a^b u^2(t)\,h(t)\,dt \right)^{1/2} \left( \int_a^b \frac{u^2(t)}{h(t)}\,dt \right)^{1/2}
∣ u ( b ) 2 − u ( a ) 2 ∣ ≤ 2 ( ∫ a b u 2 ( t ) h ( t ) d t ) 1/2 ( ∫ a b h ( t ) u 2 ( t ) d t ) 1/2 si les deux intégrales du second membre sont convergentes.
En prenant a = 0 , b = π / 2 , h ( t ) = 1 a = 0, b = \pi/2, h(t) = 1 a = 0 , b = π /2 , h ( t ) = 1 et
u ( t ) = c 1 cos t + c 2 cos 3 t + … + c n cos ( 2 n − 1 ) t ,
u(t) = c_1 \cos t + c_2 \cos 3t + \ldots + c_n \cos (2n-1)t,
u ( t ) = c 1 cos t + c 2 cos 3 t + … + c n cos ( 2 n − 1 ) t , où
c j ≥ 0 c_j \geq 0 c j ≥ 0 pour tout
j j j , en déduire l’inégalité de Carlson
∑ j c j ≤ π ( ∑ j c j 2 ) 1 / 4 ( ∑ j ( j − 1 2 ) 2 c j 2 ) 1 / 4 .
\sum_j c_j \leq \sqrt{\pi} \left( \sum_j c_j^2 \right)^{1/4} \left( \sum_j (j - \frac{1}{2})^2 c_j^2 \right)^{1/4}.
j ∑ c j ≤ π ( j ∑ c j 2 ) 1/4 ( j ∑ ( j − 2 1 ) 2 c j 2 ) 1/4 .