Produit modulaire
dans Arithmétique
J'ai certains arguments pour penser qu'il existe $a$ tel que le produit suivant soit modulaire :
$$q \prod_{n \geq 0}(1+q^n)^a (1-q^{2n+1})^a$$
Est-il possible de le vérifier? Et aussi, je trouve la modularité, pour une constante $K_n$, de l'expression :
$$K_n+ \sum_{n\geq 0}n^{2k+1} \frac{q^n}{(1+q^n)}- \sum_{n\geq 0}(n+1/2)^{2k+1} \frac{q^{n+1/2}}{(1+ q^{n+1/2})}+\sum_{n\geq0}(n+1/2)^{2k+1} \frac{q^{n+1/2}}{(1-q^{n+1/2})}$$
Un peu comme les séries d'Eisenstein sous forme $q$-séries...
$$q \prod_{n \geq 0}(1+q^n)^a (1-q^{2n+1})^a$$
Est-il possible de le vérifier? Et aussi, je trouve la modularité, pour une constante $K_n$, de l'expression :
$$K_n+ \sum_{n\geq 0}n^{2k+1} \frac{q^n}{(1+q^n)}- \sum_{n\geq 0}(n+1/2)^{2k+1} \frac{q^{n+1/2}}{(1+ q^{n+1/2})}+\sum_{n\geq0}(n+1/2)^{2k+1} \frac{q^{n+1/2}}{(1-q^{n+1/2})}$$
Un peu comme les séries d'Eisenstein sous forme $q$-séries...
Réponses
-
J'ai un argument pour penser le contraire.
-
Mon argument est de prendre la dérivée logarithmique du produit et ensuite la transformée de Mellin, et pour la série, de faire une sommation de Poisson...
-
Je plaisantais!
Je ne connais rien à ces histoires. C'était juste pour que tu commences par donner tes arguments à qui peut les comprendre.
Paul -
$1+q^n = \frac{1-q^{2n}}{1-q^n}$ et $1-q^{2n-1} = \frac{(1-q^{2n-1})(1-q^{2n})}{1-q^{2n}}$ donc $
\prod_{n=1}^\infty (1+q^n)(1-q^{2n-1}) =1$.
Et ton produit c'est $\frac{q}{(1-q)^a}$.
Sinon $\eta(q) = q^{1/24}\prod_{n=1}^\infty (1-q^n)$ est modulaire donc $\frac{\eta(q^2)}{\eta(q)}=q^{1/24}\prod_{n=1}^\infty (1+q^n)$ est modulaire ainsi que
$\frac{\eta(q)}{\eta(q^2)} = q^{-1/24}\prod_{n=1}^\infty (1-q^{2n-1}) = \frac{q^{1/24}\prod_{n=1}^\infty (1-q^n)}{q^{2/24}\prod_{n=1}^\infty (1-q^{2n})}$
Quand tu regardes la série de Dirichlet supposée d'une forme modulaire, fais gaffe à qu'elle soit entière, par exemple $f(z) = \sum_{n=1}^\infty \mu \ast \chi_5\ast\chi_5(n) q^n$ n'est pas modulaire (bien que $\frac{L(s,\chi_5)^2}{\zeta(s)}$ a une équation fonctionnelle similaire à $\zeta(s)$) à cause des pôles de $1/\zeta(s)$ (ce qui donne quelque chose du genre $z^{1/2} f(-1/z) = f(z)-\sum_\rho z^\rho\frac{L((s,\chi_5)^2 }{\rho \zeta'(\rho)}$)
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 69 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres