Diophantine approximation with mixed powers of Piatetski-Shapiro primes

Cet article démontre que pour tout réel $\eta$ et des constantes $\lambda_i$ satisfaisant certaines conditions, il existe une infinité de triplets de nombres premiers de Piatetski-Shapiro $p_i = [n_i^{1/\gamma}]$ vérifiant une inégalité de Diophante avec des puissances mixtes, où l'erreur est bornée par une fonction du maximum de ces termes.

L'essentiel

Imaginez que vous êtes un architecte qui doit construire une tour parfaite. Vous avez des briques spéciales, appelées nombres premiers (des nombres comme 2, 3, 5, 7, 11... qui ne peuvent être divisés que par 1 et eux-mêmes). Votre défi est de trouver trois de ces briques, disons $p_1$, $p_2$ et $p_3$, et de les assembler selon une recette mathématique précise pour qu'elles s'ajustent presque parfaitement à une cible donnée.

La "recette" dans ce papier est un peu étrange : vous devez calculer une somme qui ressemble à $p_1 + p_2 + p_3^2$ (trois fois la première brique, plus la deuxième, plus le carré de la troisième), le tout multiplié par certains coefficients, et voir si ce résultat est très proche d'un nombre cible (appelé $\eta$).

Le problème, c'est que vous ne pouvez pas utiliser n'importe quelles briques. Vous devez utiliser un type très spécifique de brique, inventé par un mathématicien nommé Piatetski-Shapiro.

1. Les briques spéciales : Les nombres de Piatetski-Shapiro

Imaginez que vous avez une machine à fabriquer des nombres. Vous lui donnez un nombre entier $n$, vous le prenez à la puissance $1/\gamma$(où$\gamma$ est un nombre très proche de 1, mais un tout petit peu plus petit), et vous arrondissez le résultat à l'entier inférieur (c'est ce qu'on appelle la fonction "partie entière").

Si le résultat de cette machine est un nombre premier, alors c'est une brique de Piatetski-Shapiro.

• L'analogie : C'est comme si vous cherchiez des coquillages parfaits sur une plage, mais vous ne pouvez ramasser que ceux qui ont une forme très spécifique déterminée par la marée (la valeur $\gamma$).

2. Le défi du papier

L'auteur, S. I. Dimitrov, se pose la question suivante :

"Si je prends n'importe quelle recette (avec des coefficients $\lambda$) et n'importe quelle cible ($\eta$), est-ce que je peux toujours trouver une infinité de ces briques spéciales pour que ma construction soit presque parfaite ?"

"Presque parfaite" signifie que l'erreur entre votre résultat et la cible doit être extrêmement petite. Plus l'erreur est petite, plus le mathématicien est impressionné.

3. La solution trouvée

Dans ce papier, Dimitrov dit : "Oui, c'est possible !"

Il prouve que tant que vous choisissez votre paramètre de machine ($\gamma$) dans une certaine fourchette très précise (entre 63/64 et 1), vous pouvez trouver une infinité de triplets de ces nombres premiers spéciaux qui satisfont l'équation avec une erreur minuscule.

Comment a-t-il fait ? (L'histoire de la chasse aux erreurs)

Pour prouver cela, il utilise une méthode mathématique sophistiquée qui ressemble à une chasse aux trésors avec un détecteur de métaux très sensible.

1. Le Grand Filtre (La Transformée de Fourier) : Il ne regarde pas les nombres un par un. Il utilise un outil mathématique (la transformée de Fourier) qui agit comme un filtre à café géant. Ce filtre sépare les "bonnes" combinaisons de nombres (celles qui sont proches de la cible) des "mauvaises".
2. La Zone de Sécurité (Le petit intervalle) : Il concentre son attention sur une zone très étroite autour de zéro (appelée $\Delta$). C'est là que se cachent les solutions parfaites. Il montre que dans cette zone, il y a énormément de solutions potentielles.
3. Le Bruit de fond (Les zones lointaines) : Il doit aussi s'assurer que le "bruit" (les combinaisons qui ne fonctionnent pas) n'est pas si fort qu'il cache les solutions. Il prouve mathématiquement que le bruit est assez faible pour ne pas perturber la chasse.
4. Le Calcul Final : En comparant la quantité de solutions trouvées dans la "Zone de Sécurité" avec le "Bruit de fond", il démontre que le nombre de solutions est si grand qu'il tend vers l'infini.

En résumé

Imaginez que vous lancez des fléchettes dans le noir.

• Les nombres premiers sont vos fléchettes.
• Les nombres de Piatetski-Shapiro sont des fléchettes qui ont été modifiées par un vent spécial.
• L'équation est la cible.
• Ce papier prouve que même avec ce vent spécial et une cible difficile, vous pouvez lancer une infinité de fléchettes et toucher le centre de la cible avec une précision incroyable.

C'est une avancée importante car elle montre que même avec des contraintes très strictes sur la forme des nombres premiers utilisés, la nature des nombres reste suffisamment "chaotique" et riche pour permettre de résoudre ces énigmes complexes.

Résumé technique

Voici un résumé technique détaillé de l'article « Diophantine approximation with mixed powers of Piatetski-Shapiro primes » de S. I. Dimitrov, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie analytique des nombres, plus spécifiquement dans l'étude des inégalités diophantiennes impliquant des nombres premiers. Le problème central consiste à déterminer si, pour des coefficients réels donnés $\lambda_1, \lambda_2, \lambda_3$ et un terme constant $\eta$, l'inégalité suivante admet une infinité de solutions en nombres premiers :

$$|\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^2 + \eta| < \varepsilon$$

où $\varepsilon$ est une fonction décroissante des premiers $p_i$.

Évolution du problème :

• Des résultats classiques (Baker, 1967) ont établi l'existence de solutions pour des combinaisons linéaires de premiers avec une erreur $\varepsilon$ logarithmique.
• Des améliorations successives (Matomäki, etc.) ont réduit l'erreur à une puissance négative des premiers.
• Une question spécifique a été traitée par Gambini, Languasco et Zaccagnini (2018) pour des combinaisons mixtes ($p_1, p_2, p_3^2$) avec des premiers standards.
• L'innovation de cet article : Il étend ce problème aux nombres premiers de Piatetski-Shapiro. Un nombre premier de type $\gamma$ est un nombre premier de la forme $p = [n^{1/\gamma}]$, où $[ \cdot ]$ désigne la partie entière et $0 < \gamma < 1$. L'auteur cherche à résoudre l'inégalité diophantienne mixte en restreignant les solutions aux triples de nombres premiers de Piatetski-Shapiro.

2. Méthodologie

L'auteur utilise la méthode du cercle de Hardy-Littlewood, adaptée aux nombres premiers de Piatetski-Shapiro. La preuve repose sur l'analyse de la somme pondérée suivante :

$$\Gamma(X) = \sum_{\substack{\lambda_0 X < p_1, p_2, p_3^2 \le X \\ p_i = [n_i^{1/\gamma}]}} \theta(\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^2 + \eta) \prod_{i=1}^3 p_i^{1-\gamma} \log p_i$$

où $\theta$ est une fonction de lissage (bump function) à support compact, choisie pour détecter les solutions de l'inégalité.

Étapes clés de la démonstration :

1. Transformation de Fourier : La fonction $\theta$ est exprimée via sa transformée de Fourier inverse, convertissant la somme discrète $\Gamma(X)$ en une intégrale sur la variable $t$ :
   $$\Gamma(X) = \int_{-\infty}^{\infty} \Theta(t) S_1(\lambda_1 t) S_1(\lambda_2 t) S_2(\lambda_3 t) e(\eta t) \, dt$$
   où $S_k(t)$ sont des sommes exponentielles pondérées par des nombres premiers de Piatetski-Shapiro.

2. Décomposition de l'intégrale : L'intégrale est divisée en trois régions (le cercle majeur et deux cercles mineurs) :

   • $\Gamma_1(X)$ (Cercle Majeur) : $|t| < \Delta$. C'est ici que la contribution principale provient. L'auteur utilise des formules asymptotiques pour approximer les sommes exponentielles $S_k(t)$ par des intégrales continues $I_k(t)$.
   • $\Gamma_2(X)$ (Cercle Mineur Intermédiaire) : $\Delta \le |t| \le H$. Cette région est contrôlée en utilisant des bornes supérieures pour les sommes exponentielles, notamment via des lemmes de type "minoration de la somme" et des inégalités de Cauchy-Schwarz.
   • $\Gamma_3(X)$ (Cercle Mineur Extérieur) : $|t| > H$. Cette partie est négligeable grâce à la décroissance rapide de la transformée de Fourier $\Theta(t)$ et au choix d'un paramètre $k$ élevé.

3. Estimations Asymptotiques :

   • L'auteur établit des relations entre les sommes sur les premiers de Piatetski-Shapiro ($S_k$) et les sommes sur les entiers ou les premiers standards ($\Sigma_k, U_k$), en utilisant des développements de Taylor et des formules de sommation d'Euler.
   • Des lemmes techniques (Lemmes 1 à 9) fournissent des bornes précises pour les intégrales de carrés et de puissances supérieures des sommes exponentielles.

4. Condition de Non-Négativité : Pour prouver l'existence d'une infinité de solutions, il suffit de montrer que $\Gamma(X) \to \infty$ lorsque $X \to \infty$. Cela nécessite que la contribution du cercle majeur ($\Gamma_1$) domine les contributions des cercles mineurs ($\Gamma_2, \Gamma_3$).

3. Contributions Clés et Résultats

Théorème Principal (Théorème 1) :
Soient $\lambda_1, \lambda_2, \lambda_3$ des nombres réels non nuls, pas tous de même signe, tels que $\lambda_1/\lambda_2$ soit irrationnel, et $\eta \in \mathbb{R}$. Pour tout $\theta > 0$ et pour tout $\gamma$ fixé dans l'intervalle :
$$\frac{63}{64} < \gamma < 1$$
il existe une infinité de triples ordonnés de nombres premiers de Piatetski-Shapiro $p_1, p_2, p_3$ de type $\gamma$ (c'est-à-dire $p_i = [n_i^{1/\gamma}]$) satisfaisant :

$$|\lambda_1 p_1 + \lambda_2 p_2 + \lambda_3 p_3^2 + \eta| < \left( \max\{p_1, p_2, p_3^2\} \right)^{\frac{63-64\gamma}{52} + \theta}$$

Points techniques notables :

• Intervalle de $\gamma$ : L'auteur parvient à travailler avec $\gamma > 63/64$. C'est une amélioration significative par rapport à des travaux antérieurs sur les premiers de Piatetski-Shapiro (qui nécessitaient souvent $\gamma$ plus proche de 1, comme $37/38$ou$205/243$ pour d'autres problèmes).
• Exposant d'erreur : L'exposant d'erreur $\frac{63-64\gamma}{52} + \theta$ est optimisé pour ce contexte mixte. Plus $\gamma$ est proche de 1, plus l'erreur est petite (tendant vers 0).
• Combinaison Mixte : Le traitement de la puissance mixte ($p_3^2$) combinée à la structure de Piatetski-Shapiro nécessite une analyse fine des sommes exponentielles $S_2(t)$, distincte de celle de $S_1(t)$.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Extension des résultats de Piatetski-Shapiro : Il démontre que les techniques développées pour les équations diophantiennes linéaires peuvent être adaptées avec succès aux équations non linéaires (mixtes) dans le cadre des nombres premiers de Piatetski-Shapiro.
2. Optimisation des bornes : En abaissant la borne inférieure de $\gamma$ à $63/64$, l'article élargit considérablement la classe de nombres premiers de Piatetski-Shapiro pour lesquels ces approximations sont valables. Cela rapproche les résultats de la conjecture générale selon laquelle ces propriétés devraient tenir pour tout$\gamma > 1/2$ (bien que la borne actuelle soit encore loin de cette limite théorique).
3. Fondement pour de futures recherches : La méthode employée, combinant la transformation de Fourier, les estimations de sommes exponentielles et l'analyse de cercles majeurs/minores, fournit un modèle robuste pour traiter d'autres problèmes d'approximation diophantienne impliquant des sous-ensembles denses de nombres premiers ou des structures arithmétiques complexes.

En résumé, l'article de Dimitrov constitue une avancée majeure dans la théorie des nombres analytique, prouvant que la densité des nombres premiers de Piatetski-Shapiro est suffisante pour résoudre des inégalités diophantiennes non linéaires avec une précision élevée, sous des conditions de $\gamma$ moins restrictives que précédemment.