3
$\begingroup$

The question refers to the following paper by Jean Bourgain: http://arxiv.org/abs/math-ph/0011053

Specifically, I can't derive the following inequality in (1.20):

\begin{equation} \left|\sum_{|k|\geq1}\varphi(k)\left[\frac{1}{R}\sum_{1\leq r\leq R}e^{2\pi i r k\omega}\right]e^{2\pi i k \theta}\right|\leq C\sum_{1\leq|k|\leq K}\frac1{|k|}\frac1{R\|k\omega\|+1}+\left|\sum_{|k|>K}\varphi(k)\left[\frac{1}{R}\sum_{1\leq r\leq R}e^{2\pi i r k\omega}\right]e^{2\pi i k \theta}\right| \end{equation}

where $\varphi(k)=\mathcal O\left(\frac1{|k|}\right)$, $R<K$, $\omega\in\mathbb T$, $k\in\mathbb Z$ and $\|\cdot\|$ denotes the distance to the nearest integer.

What is certainly true is $\sum_{1\leq r\leq R}e^{2\pi i r k\omega}=\frac{\sin(\pi R k\omega)}{\sin(\pi k\omega)}e^{i\pi (R+1)k\omega}$ hence $\left|\sum_{1\leq r\leq R}e^{2\pi i r k\omega}\right|\leq\frac1{2\|k\omega\|}\leq\frac1{\|k\omega\|}$.

Either it's trivial and I don't see it or...well...

Thanks for your help!

Improve this question
$\endgroup$
4
  • 1
    $\begingroup$ The exponential sum is at most the minimum of $\| k\omega\|^{-1}$ and $R$. Plugging this in, the $1/R\| k\omega\| +1$ factor can be thought of as a (constant multiple) of the maximum of $1$ and $1/R\| k\omega\|$, which is what gets from this exponential bound sum. $\endgroup$
    – Thomas Bloom
    Commented Aug 22, 2013 at 10:51
  • $\begingroup$ sorry, I don't get it...consider the following: \begin{align} \left|\sum_{1\leq r\leq R}e^{2\pi i r k\omega}\right|&\leq\min(R,\|k\omega\|^{-1})\\ &=\frac1{\max\left(R^{-1},\|k\omega\|\right)} \\ &\geq\frac1{R^{-1}+\|k\omega\|} \end{align} where it was used that $R$ and $\|k\omega\|$ are positive... $\endgroup$
    – Eduard Tetzlaff
    Commented Aug 22, 2013 at 16:08
  • 3
    $\begingroup$ for positive $a,b$, $\max(a,b)\geq (a+b)/2$. Now reread Thomas' answer, or your reply. 2 is absorbed in C. $\endgroup$
    – ofer zeitouni
    Commented Aug 24, 2013 at 21:36
  • $\begingroup$ yeah I also found that answer on friday...just didn't write it! Thanks anyway! $\endgroup$
    – Eduard Tetzlaff
    Commented Aug 26, 2013 at 13:15

0

Reset to default

You must log in to answer this question.