Ingham Inequality
Let (tj)j∈ℤ a increasing sequence of positive real numbers such that
tj+1-tj≥γ>1,j∈ℤ. |
Then for all n∈ℕ and for all complex sequences (cj)nj=-n, we have
mn∑j=-n|cj|2≤∫π-π|n∑j=-n√12πcjeitjx|2𝑑x, |
where
m=2π(1-1γ2). |
Title | Ingham Inequality |
---|---|
Canonical name | InghamInequality |
Date of creation | 2013-03-22 15:54:58 |
Last modified on | 2013-03-22 15:54:58 |
Owner | ncrom (8997) |
Last modified by | ncrom (8997) |
Numerical id | 8 |
Author | ncrom (8997) |
Entry type | Theorem |
Classification | msc 42B05 |