🔢 mathematics

Proofs for Andrews' Conjectures 5 and 6 on $v_1(q)$

Cet article établit de manière inconditionnelle les conjectures 5 et 6 d'Andrews concernant les coefficients de $v_1(q)$ en démontrant que la suite quadratique pertinente reste à une distance positive des entiers une infinité de fois, grâce à l'analyse des zéros simples du facteur trigonométrique dans l'asymptotique de Folsom, Males, Rolen et Storzer.

Auteurs originaux : Mohamed El Bachraoui

Publié 2026-04-10

📖 5 min de lecture🧠 Analyse approfondie

CC BY 4.0

Auteurs originaux : Mohamed El Bachraoui

Article original sous licence CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Ceci est une explication générée par l'IA de l'article ci-dessous. Elle n'a pas été rédigée ni approuvée par les auteurs. Pour une précision technique, consultez l'article original. Lire la clause de non-responsabilité complète

🎵 Le Rythme Caché des Nombres : Une Histoire de Signes et de Vallées

Imaginez que vous avez une machine magique qui produit une suite infinie de nombres. Ces nombres ne sont pas n'importe lesquels : ils viennent d'une formule très complexe inventée par le grand mathématicien Ramanujan, et étudiée plus tard par George Andrews.

Cette machine, appelons-la $V_1$ , génère une liste de nombres : $V_1(1), V_1(2), V_1(3), \dots$ qui deviennent de plus en plus énormes (en valeur absolue). Mais il y a un problème : ces nombres sautent d'un positif à un négatif de manière très erratique. C'est comme si vous marchiez sur un sol qui change de couleur (rouge pour positif, bleu pour négatif) sans aucune logique apparente.

George Andrews, un expert en mathématiques, avait émis une hypothèse (une "conjecture") il y a quelques décennies. Il pensait que malgré ce chaos apparent, il existait des endroits précis où la machine se comportait de manière très régulière.

L'objectif de ce papier (écrit par Mohamed El Bachraoui) est de prouver que deux de ces hypothèses sont vraies.

🕵️‍♂️ Les Deux Mystères Résolus

Andrews avait prédit deux choses étranges qui devaient se produire dans cette suite infinie :

Le Mystère des Trois Amis (Conjecture 5) : Il pensait qu'il existait des endroits où trois nombres consécutifs ( $V_1(n), V_1(n+1), V_1(n+2)$ ) portaient tous le même "chapeau" (tous positifs ou tous négatifs). C'est surprenant car d'habitude, ils changent tout le temps de chapeau.
Le Mystère de la Vallée (Conjecture 6) : Il pensait qu'à ces endroits précis, l'un de ces trois nombres était un "creux" local. Imaginez une chaîne de montagnes : si vous avez trois sommets, l'un d'eux est un petit creux entre deux pics plus hauts. Ici, cela signifie que la taille du nombre est plus petite que celle de ses voisins immédiats.

Jusqu'à présent, personne n'avait pu le prouver rigoureusement. Ce papier le fait enfin !

🛠️ Comment l'auteur a résolu l'énigme ?

Pour comprendre la preuve, utilisons une analogie avec la musique et les vagues.

1. La Carte au Trésor (L'Asymptotique)

Les mathématiciens savent déjà comment se comportent ces nombres quand ils deviennent très grands. Ils ont une "carte" (une formule approximative) qui dit : "Le comportement de ces nombres ressemble à une vague qui oscille, mais dont l'amplitude grandit de plus en plus."

Cette vague est dictée par une fonction trigonométrique (comme le sinus ou le cosinus). C'est comme une marée qui monte et descend.

Quand la marée est haute, le nombre est grand.
Quand la marée est basse (proche de zéro), le nombre est petit.

2. Le Problème des "Zéros"

Le secret réside dans les moments où cette vague traverse la ligne de l'eau (le zéro).

Si la vague traverse le zéro exactement au moment où on regarde un nombre entier, le signe change brusquement.
Mais si la vague passe très près du zéro sans l'atteindre exactement, on peut avoir une séquence de trois nombres qui restent du même côté de l'eau (tous positifs ou tous négatifs).

3. Le Défi : Éviter les Pièges

Le problème est que les mathématiques sont précises. Il faut prouver qu'il existe une infinité de moments où la vague passe "juste à côté" du zéro, sans jamais toucher exactement un nombre entier, et ce, à des endroits spécifiques.

L'auteur utilise une astuce géniale :

Il regarde une suite de nombres très particuliers (basée sur des carrés et des constantes irrationnelles).
Il prouve que cette suite "saute" toujours à une certaine distance des nombres entiers. C'est comme si vous lanciez des pierres dans un étang, mais que vous vous assuriez qu'elles tombent toujours entre deux nénuphars, jamais dessus.
Grâce à cela, il montre qu'il existe une infinité de "fenêtres" où la vague reste d'un seul côté.

🏔️ L'Analogie Finale : La Montagne et les Chameaux

Imaginez que la suite de nombres $V_1(n)$ est une chaîne de montagnes infinie.

La hauteur de la montagne représente la taille du nombre.
Le côté gauche ou droit de la montagne représente le signe (positif ou négatif).

D'habitude, la chaîne est très accidentée : vous grimpez, vous redescendez, vous changez de côté.

Ce papier prouve qu'il existe des zones de calme (les $N_n$ ) :

Le Trio : Dans ces zones, vous marchez sur un plateau pendant trois pas de suite sans changer de côté (tout est positif ou tout est négatif).
Le Creux : Au milieu de ces trois pas, il y a un petit creux. Vous avez un grand pic, puis un petit creux, puis un grand pic. C'est ce qu'on appelle un "minimum local".

L'auteur a non seulement prouvé que ces zones existent, mais il a aussi trouvé les premières coordonnées de ces zones (293, 410, 545, 702...) et a montré qu'elles se répètent à l'infini, en devenant de plus en plus espacées.

🎉 Conclusion

En résumé, ce papier est une victoire de la logique sur le chaos. Il prend une suite de nombres qui semblait erratique et démontre qu'elle cache une structure cachée très élégante : des moments de régularité où trois nombres s'alignent et forment un petit creux dans la montagne.

C'est comme si on découvrait que, malgré le bruit de la foule, il existe un rythme secret qui bat toujours au même endroit, et que ce rythme se répète pour toujours. Les conjectures d'Andrews sont maintenant des théorèmes prouvés !

1. Problématique et Contexte

L'article s'intéresse aux coefficients $V_1(n)$ de la série $q$ suivante, issue du carnet perdu de Ramanujan et étudiée par George Andrews :
$v_1(q) = \sum_{n \ge 0} \frac{q^{n(n+1)/2}}{(-q^2; q^2)_n} = \sum_{n \ge 0} V_1(n)q^n$

Bien que la croissance de $|V_1(n)|$ ne soit pas lisse, Andrews a conjecturé l'existence d'une régularité de signe remarquable. Les travaux récents de Folsom, Males, Rolen et Storzer ont prouvé la Conjecture 4 (sur la répartition des signes) et une version affinée de la Conjecture 3 (sur la croissance vers l'infini).

L'objectif principal de cet article est de prouver rigoureusement les Conjectures 5 et 6 d'Andrews :

Conjecture 5 : Il existe une infinité d'entiers $N_n$ tels que les trois coefficients consécutifs $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ aient le même signe. De plus, ces entiers croissent rapidement ( $N_n > 10n^2$ ).
Conjecture 6 : Pour ces mêmes séquences, l'un des trois coefficients en valeur absolue ( $|V_1(N_n)|, |V_1(N_n+1)|, |V_1(N_n+2)|$ ) constitue un minimum local de la suite $|V_1(j)|$ .

2. Méthodologie

La preuve repose sur une analyse asymptotique fine des coefficients $V_1(n)$ et sur des propriétés diophantiennes des zéros d'une fonction trigonométrique apparaissant dans l'approximation.

A. Utilisation de l'asymptotique existante

L'auteur s'appuie sur le théorème d'approximation asymptotique établi par Folsom et al. (Théorème 2), qui exprime $V_1(n)$ comme un terme principal oscillatoire multiplié par une croissance exponentielle, plus un terme d'erreur.
En séparant les cas pairs et impairs, les coefficients sont dominés par des termes impliquant :

$F_-(x) = \cos x - \sin x$ (pour $n$ pair)
$F_+(x) = \cos x + \sin x$ (pour $n$ impair)

Les zéros de ces fonctions, notés $r_m$ et $s_m$ , jouent un rôle central. L'argument clé consiste à étudier la position des entiers $n$ par rapport aux carrés de ces zéros, pondérés par une constante $\alpha = \pi^2 / (2|V|)$ , où $V$ est lié à la fonction dilogarithme de Bloch-Wigner.

B. Analyse Diophantienne (Théorème 3)

Le cœur de la preuve réside dans l'établissement du Théorème 3, qui garantit que les suites quadratiques définies par les zéros :
$P_-(m) = \alpha \left(m + \frac{1}{4}\right)^2 \quad \text{et} \quad P_+(m) = \alpha \left(m + \frac{3}{4}\right)^2$
restent à une distance positive des entiers ( $\mathbb{Z}$ ) pour une infinité de valeurs de $m$ .

L'auteur démontre d'abord que $\alpha$ n'est pas un entier (en estimant numériquement la constante $G = D(e^{i\pi/3})$ ).
Si $\alpha$ est irrationnel, le théorème d'équirépartition de Weyl assure que les suites sont équiréparties modulo 1, laissant des écarts positifs.
Si $\alpha$ est rationnel, l'auteur utilise la périodicité modulo 1 des suites polynomiales pour montrer qu'elles ne peuvent pas toucher tous les entiers, garantissant ainsi l'existence d'un $\delta > 0$ et d'ensembles infinis $M_-, M_+$ où la distance aux entiers est bornée inférieurement.

C. Construction des triplets (Théorèmes 4 et 5)

En exploitant la propriété de distance positive, l'auteur construit des entiers $N_m$ (pairs) et $M_m$ (impairs) situés juste avant ou après les valeurs critiques $P_\pm(m)$ .

Grâce à des lemmes auxiliaires, il est montré que pour ces entiers, les termes trigonométriques $F_\pm$ conservent un signe constant sur un intervalle de trois entiers consécutifs.
Une analyse comparative des termes principaux et des erreurs asymptotiques permet de conclure que le signe réel de $V_1(n)$ est déterminé par le terme principal, assurant ainsi que $V_1(N), V_1(N+1), V_1(N+2)$ ont le même signe.
L'analyse des magnitudes montre que les termes aux extrémités du triplet (pairs ou impairs selon le cas) sont asymptotiquement plus petits que le terme central, créant un minimum local pour la suite des valeurs absolues.

3. Résultats Principaux

Le Théorème 1 de l'article confirme les conjectures d'Andrews de manière inconditionnelle :

Existence d'une suite infinie : Il existe une suite d'entiers $(N_n)_{n \ge 5}$ telle que $N_5=293, N_6=410, N_7=545, N_8=702$ , et pour $n \ge 9$ , $N_n > 10n^2$ .
Régularité de signe : Pour tout $n \ge 5$ , les trois coefficients consécutifs $V_1(N_n), V_1(N_n+1), V_1(N_n+2)$ ont le même signe.
Minima locaux : Pour chaque $n$ , l'un de ces trois coefficients en valeur absolue est un minimum strict de la suite $|V_1(j)|$ .

L'article fournit également une vérification numérique directe pour les quatre premiers termes de la suite (293, 410, 545, 702) en calculant explicitement les coefficients correspondants.

4. Signification et Contribution

Résolution de conjectures ouvertes : Ce travail complète la série de preuves sur les propriétés des coefficients de $v_1(q)$ , passant de la densité et de la croissance à la structure fine des signes et des extrema locaux.
Méthodologie robuste : La preuve est entièrement inconditionnelle. Elle ne repose pas sur des hypothèses non prouvées concernant la nature de la constante $\alpha$ (elle traite séparément les cas rationnel et irrationnel).
Lien entre analyse et théorie des nombres : L'article illustre comment des propriétés diophantiennes (la distance des suites quadratiques aux entiers) peuvent contrôler le comportement oscillatoire de séries $q$ complexes, offrant un modèle pour l'étude d'autres séries de Ramanujan.
Précision asymptotique : La démonstration affine la compréhension de l'erreur dans les approximations asymptotiques, montrant comment les termes d'erreur deviennent négligeables par rapport aux variations du terme principal près des zéros trigonométriques.

En résumé, Mohamed El Bachraoui fournit une preuve rigoureuse et complète des conjectures 5 et 6 d'Andrews, établissant l'existence d'une structure périodique profonde dans les signes et les magnitudes des coefficients de la série $v_1(q)$ .