critère de Li
dans Arithmétique
Bonjour,
le contexte est le critère de positivité de Li.
Comment converge la somme
$\lambda_n=\sum_{\rho} [1- (1- \frac{1} {\rho})^n]$ ?
commutativement ? associativement ? par paquets ? absolument ?
merci pour vos explications
le contexte est le critère de positivité de Li.
Comment converge la somme
$\lambda_n=\sum_{\rho} [1- (1- \frac{1} {\rho})^n]$ ?
commutativement ? associativement ? par paquets ? absolument ?
merci pour vos explications
Réponses
-
on met ensemble les contributions de $\rho$ et de $1-\rho$. Alors la somme est absolument convergente.
-
re,
merci pour la réponse.
A partir du moment où les zéros ne sont pas encore sur la droite critique
ils vont par paires mais aussi par quadruplet formant un rectangle
de centre d'affixe 1/2
$\rho, 1-\rho,\overline{\rho},1-\overline{\rho}$
donc , si je comprend bien, on associe la contribution de $\rho$ et $1-\rho$
la somme est ensuite commutativement convergente -
up....
ils vont bien par quadruplets dans la somme, c'est ça ? -
ils vont bien par quadruplets dans la somme, c'est ça ?
si $\rho$ est sur la droite critique il n'y a pas de différence entre $\overline\rho$ et $1-\rho$. On a:
$$\lambda_n = \sum_{\rho} \left(\frac n\rho - \frac{n(n-1)}{2\rho^2} + \cdots + (-1)^{n-1}\frac1{\rho^n}\right)$$
et ce sont des séries absolument convergentes sauf la première $\sum\frac1\rho$. On la réécrit sous l'une des deux formes
$$\sum_{\Im\rho>0} \left(\frac1\rho+ \frac1{\overline\rho}\right)\qquad \sum_{\Im\rho>0} \left(\frac1\rho+\frac1{1-\rho}\right)$$
Dans les deux cas cela donne des séries absolument convergentes. Je préfère un peu celle avec $1-\rho$ car
$\frac1\rho+\frac1{1-\rho} = \frac1{\rho(1-\rho)}$ est plus sympathique que $\frac{2\Re(\rho)}{|\rho|^2}$. Il est vrai cependant que la deuxième forme est réelle positive. -
comment sait on que la série $\frac{1}{\rho^2}$ est convergente ?
-
ce n'est pas trivial bien sûr mais est obtenu dès que l'on développe un peu la théorie de la fonction zêta. Par exemple lorsque l'on applique la théorie de Hadamard sur les fonctions entières d'ordre fini, on commence par montrer des majorations sur zeta d'où la propriété sur les zéros découle via les théorèmes généraux de Hadamard. Ou alors on peut carrément dire que l'on sait qu'il y a environ cTlogT zéros jusqu'à la hauteur T, disons au plus K TlogT pour K une certaine constante et T plus grand que 10. On prend alors T = 2^n et on estime la somme des inverses des carrés entre 2^n et 2^{n+1}. Cela donne une série convergente.
-
comment est défini $\lambda_n$ pour les $\rho$ supposés non situés sur la droite critique ? en associant $\rho$ et $1-\rho$ ou $\rho$ et $\overline{\rho}$ .il me semble que cela ne donne pas la même valeur
-
re
toute somme infinie est définie comme une limite de somme finie; bien sûr ici on prend pour sommes partielles celles prises avec les $\rho$ dans les rectangles $0\leq\Re\rho\leq1$, $|\Im\rho|\leq T$, pour des $T$ de plus en plus grands. Dans une somme finie je peux regrouper les termes comme je veux, donc mettre ensemble $\frac1\rho$ et $\frac1{\overline\rho}$ ou $\frac1\rho$ et $\frac1{1-\rho}$. La seule chose c'est qu'une fois cela fait, on s'aperçoit que l'on a deux séries absolument convergentes. Si l'hypothèse de Riemann est fausse il y a des $\rho$ avec $1-\rho\neq\overline\rho$ et donc on a alors deux séries apparemment (un tout petit peu, car après tout on avait juste 4 termes qu'on a regroupés en 2+2 de deux manières différentes) différentes, mais leurs sommes sont identiques car leurs sommes partielles sont identiques. Évidemment je peux obtenir des sommes partielles différentes en sommant plus finement, c'est-à-dire en numérotant les racines de partie imaginaire positive de manière à respecter la croissance de la partie imaginaire, et alors j'aurais certaines sommes partielles différentes.
Bref, le mot «série» n'est pas strictement limité à ce qu'on peut en dire dans tel ou tel manuel: car une «série» c'est une suite, mais où chaque terme de la suite est vu comme étant obtenu du précédent en lui ajoutant quelque chose (une série c'est une suite dans laquelle l'addition joue un rôle de définition), ce quelque chose peut lui-même être une somme, il n'a pas à être réduit à un seul élément.
En théorie des nombres, lorsque l'on somme sur les zéros, on n'a pas besoin d'imaginer avoir numéroté les zéros. C'est même absurde car au final ces sommes apparaissent dans des calculs de résidus, c'est dans l'ensemble des pôles dans un certain domaine qui doit être énuméré et il n'y a pas vraiment de manière absolument canonique de le faire (il y a bien sûr des manières de le faire, mais c'est un choix). De plus on n'a pas toujours intérêt à prendre des contours qui ne diffèrent des précédents qu'en englobant seulement 1 nouveau pôle.
Ce qui est triste de nos jours c'est que les séries, que l'on devrait enseigner au plus tard en seconde, sont à peine connues des étudiants qui entrent en master (qui d'ailleurs ne connaissent pas non plus l'orthographe et la syntaxe de la langue française) (oui, je ne suis pas un grand optimiste sur l'avenir de ce pays dans disons 30 ans) -
n'étant pas inscrit je ne peux améliorer ni l'orthographe ni la syntaxe de mes messages mais à la fin (au moins) du précédent j'aurais dû écrire « qui ne connaissent pas non plus l'orthographe ni la syntaxe »
-
bonsoir
allons Sylvain! nous en sommes encore à la période des voeux et des bonnes résolutions
alors la farine c'est pour plus tard...
Gottfried est pessimiste sur les qualités syntaxiques et orthographiques de nos élèves
mais toi tu donnes plutôt le bon exemple!
cordialement -
Gottfried a écrit:Ce qui est triste de nos jours c'est que les séries, que l'on devrait enseigner au plus tard en seconde,
Tu devrais aller voir le monde, Gottfried.
Cordialement.
NB : Si tu t'inscrivais (ça ne coûte rien, et évite que quelqu'un d'autre dise des âneries sous ton pseudo) tu pourrais rectifier ce genre d'affirmation non réfléchie. -
Peut-être voulait-il dire "en seconde année d'université" ?
N.B. Au cas où tu n'aurais pas remarqué, Gottfried ([size=x-small]Leibniz?[/size]) s'est inscrit depuis. -
Ah,
j'aurais dû le voir !!
Mais je survole généralement ses messages, pas par désintérêt, mais pour niveau mathématique insuffisant (je n'ai vu les séries qu'en fin de première, et tout seul, sans bien comprendre).
Cordialement.
NB : Je barre.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 164.7K Toutes les catégories
- 46 Collège/Lycée
- 22.1K Algèbre
- 37.4K Analyse
- 6.3K Arithmétique
- 57 Catégories et structures
- 1.1K Combinatoire et Graphes
- 13 Sciences des données
- 5.1K Concours et Examens
- 19 CultureMath
- 50 Enseignement à distance
- 2.9K Fondements et Logique
- 10.6K Géométrie
- 80 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 75 Informatique théorique
- 3.9K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 334 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10.1K Probabilités, théorie de la mesure
- 791 Shtam
- 4.2K Statistiques
- 3.8K Topologie
- 1.4K Vie du Forum et de ses membres