Une inégalité à montrer
Bonjour, j'aimerais comprendre l'inégalité suivante $$ \sum_{\substack{k, \ell \geqslant 1 \\(k \ell, q)=1}} \frac{1}{\sqrt{k \ell}} f\left(\frac{\pi k \ell}{q}\right) \ll \sqrt{q} \log q , $$ avec l'information que $f(x) \ll 1 /(x+1)^2$, valable pour $x \geqslant 0$.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Pour répondre à la question posée, la somme est certainement égale à
$$\sum_{\substack{n \geqslant 1 \\ (n,q)=1}} \frac{1}{\sqrt n} f \left( \frac{\pi n}{q} \right) \sum_{d \mid n} 1 = \sum_{\substack{n \geqslant 1 \\ (n,q)=1}} \frac{\tau(n)}{\sqrt n} f \left( \frac{\pi n}{q} \right).$$
On la découpe en deux :
$$\sum_{\substack{n \geqslant 1 \\ (n,q)=1}} \frac{\tau(n)}{\sqrt n} f \left( \frac{\pi n}{q} \right) = \bigg( \sum_{\substack{n \leqslant q \\ (n,q)=1}} + \sum_{\substack{n > q \\ (n,q)=1}} \bigg) \frac{\tau(n)}{\sqrt n} f \left( \frac{\pi n}{q} \right).$$
Dans la $1$ère somme, on utilise $f(\pi n/q) \ll 1$, alors que dans la seconde, on majore $f(\pi n /q) \ll (q/n)^2$, ce qui donne
$$\sum_{\substack{n \geqslant 1 \\ (n,q)=1}} \frac{\tau(n)}{\sqrt n} f \left( \frac{\pi n}{q} \right) \ll \sum_{n \leqslant q} \frac{\tau(n)}{\sqrt n} + q^2 \sum_{n > q} \frac{\tau(n)}{n^{5/2}} \ll q^{1/2} \log q $$
où l'on a fait une sommation partielle à la fin.
\begin{align*}
q^2 \sum_{n > q} \frac{\tau(n)}{n^{5/2}} &= q^2 \left( - \frac{1}{q^{5/2}} \sum_{n \leqslant q} \tau(n) + \frac{5}{2} \int_q^\infty \frac{1}{t^{7/2}} \left( \sum_{n \leqslant t} \tau(n) \right) \textrm{d}t \right) \\
& \ll q^2 \left( q^{-3/2} \log q + \int_q^\infty \frac{\log t}{t^{5/2}} \textrm{d}t \right) \ll q^{2-3/2} \log q \ll q^{1/2} \log q
\end{align*}
où l'on a utilisé la majoration classique $\sum_{n \leqslant t} \tau(n) \ll t \log t$.