Bourbaki

Exercise 4, § 1

Functions of a Real Variable, III, 116

From the Cauchy-Schwarz inequality deduce that for every function uu which is a primitive of a regulated function on [a,b][a, b], and every continuous function h>0h > 0 on [a,b][a, b], one has

∣u(b)2−u(a)2∣≤2(∫abu′2(t)h(t)dt)1/2(∫abu2(t)h(t)dt)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}
if the two integrals on the right-hand side converge.

By taking a=0, b=π/2, h(t)=1a = 0,\ b = \pi/2,\ h(t) = 1 and

u(t)=c1cos⁡t+c2cos⁡3t+⋯+cncos⁡(2n−1)t, u(t) = c_1 \cos t + c_2 \cos 3t + \cdots + c_n \cos(2n-1)t,
where cj≥0c_j \geq 0 for every jj, deduce the Carlson inequality
∑jcj≤π(∑jcj2)1/4(∑j(j−12)2cj2)1/4. \sum_j c_j \leq \sqrt{\pi} \left( \sum_j c_j^2 \right)^{1/4} \left( \sum_j \left( j - \frac{1}{2} \right)^2 c_j^2 \right)^{1/4}.

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.