Wirtinger inequality

For

f (0) = f (T) = 0

\int_{0}^{T} ∣ f^{'} ∣^{2} d t \geq \frac{π ^{2}}{T ^{2}} \int_{0}^{T} ∣ f ∣^{2} d t,

with equality for a multiple of

sin (π t / T)

 Ancestors (6)