 Wirtinger inequality

ID: wirtinger-inequality

Codex  0 Created 2026-09-24 Updated 2026-09-24

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)

 New to topics? Read the docs here!