Etude de la fonction de Riemann

1) Dnition Pour x rel donn, la srie de terme gnral 1 , n 1, converge si et seulement si x > 1. nx

La fonction zeta de Riemann est la fonction dnie sur ]1, +[ par : + 1 (x > 1), (x) = . nx
n=1

Remarque. Pour z complexe et n naturel non nul donns, terme gnral

1 1 1 = Re(z) iIm(z) ln n = Re(z) . Par suite, la srie de nz n e n

1 converge absolument si et seulement si Re(z) > 1. nz

+

2) La fonction f : x f(x) =

n=1

(1)n1 nx

Pour x rel et n entier naturel non nul donns, posons un (x) =

Si x 0, la suite (un (x))n1 diverge grossirement. Si x > 0, la suite ((1)n1 un (x))n1 est de signe constant et tend vers 0 en dcroissant. La srie de terme gnral un (x) converge donc en vertu du critre spcial aux sries alternes. La srie de terme gnral (1)n1 , n 1, converge si et seulement si x > 0. nx

(1)n1 . nx ne tend pas vers 0 quand n tend vers + et la srie de terme gnral un (x)

3) Une relation entre et f. Soit x un rel strictement suprieur 1. (x) et f(x) existent et
+

(x) f(x) =
n=1

1 (1)n1 = nx

p=1

1 (1)2p1 2 = = x (2p)x 2

p=1

1 = 21x (x). px

Donc, f(x) = (1 21x )(x) ou encore (x > 1), (x) = 1 f(x). 1 21x

4) Continuit de sur ]1, +[. Soit a un rel strictement suprieur 1 donn. 1 1 1 1 Pour n 1 donn, la fonction x x est continue sur [a, +[. De plus , pour tout rel x de [a, +[, x = x a n n n n avec galit pour x = a ou encore sup 1 , x [a, +[ nx = 1 . na

1 Puisque la srie numrique de terme gnral a converge (srie de Riemann dexposant a > 1), la srie de fonctions de n 1 terme gnral x x , n 1, est normalement convergente et donc uniformment convergente sur [a, +[. La somme n est donc continue sur [a, +[ en tant que limite uniforme sur [a, +[ dune suite de fonctions continues sur [a, +[. Ceci tant vrai pour tout rel a de ]1, +[, on a montr que la fonction est continue sur ]1, +[. http ://www.maths-france.fr 1
c Jean-Louis Rouget, 2008. Tous droits rservs.

5) Continuit de f sur ]0, +[. Lgalit du 3) et la continuit de sur ]1, +[ montre dj que f est continue sur ]1, +[. Montrons que f est continue sur ]0, +[. Soit a un rel strictement positif donn. Pour x rel suprieur ou gal a et n entier naturel non nul donns, posons
n

Rn (x) = f(x)
p=1

(1)p = px

p=n+1

(1)p . px

On rappelle que la srie de terme gnral

(1)p est alterne et d ?aprs une majoration classique du reste d ?ordre n px d ?une srie alterne ( savoir que la valeur absolue du reste est majore par la valeur absolue de son premier terme) on a |Rn (x)| 1 1 (1)n1 = . x x (n + 1) (n + 1) (n + 1)a

Donc, la fonction Rn est borne sur [a, +[ et pour tout naturel non nul n, sup{|Rn (x)|, x [a, +[} Comme a > 0, on a donc x 1 . (n + 1)a

n +

lim sup{|Rn (x)|, x [a, +[}0. On a ainsi montr que la srie de fonctions de terme gnral

(1)n1 , n 1, est uniformment convergente sur [a, +[. Comme chacune de ces fonctions est continue sur nx [a, +[, la somme f est continue sur [a, +[. Ceci tant vrai pour tout rel a de ]0, +[, on a montr que f est continue sur ]0, +[. 6) Sens de variation de la fonction . 1 est dcroissante sur ]1, +[. Donc, la fonction est dcroissante sur ]1, +[ en tant que nx somme de fonctions dcroissantes sur ]1 + [. Chacune des fonctions x La fonction est dcroissante sur ]1, +[. 7) Convexit de la fonction . 1 1 est convexe sur ]1, +[ (en eet, pour n entier naturel non nul donn, la fonction x x x n n ( ln n)2 1 0). Donc est convexe sur ]1, +[ en tant que somme = est deux fois drivable sur ]1, +[ et de plus nx nx de fonctions convexes sur ]1, +[. Chacune des fonctions x est convexe sur ]1, +[. Remarque. On sait quune fonction convexe sur un intervalle ouvert est continue sur cet intervalle et on retrouve la continuit de sans recours une convergence uniforme. 8) Etude de la fonction au voisinage de +. a) Limite de (x) quand x tend vers +. Daprs 4), la srie de fonctions de somme converge uniformment vers 1 sur [2, +[. De plus, chacune des fonctions x x admet une limite relle quand x tend vers + savoir n
x +

lim

1 = nx

1 si n = 1 . 0 si n 2

Le thorme dinterversion des limites permet alors darmer que la fonction a une limite relle quand x tend vers + et que
+ x +

lim (x) =
n=1

x +

lim

http ://www.maths-france.fr

1 = 1 + 0 + 0 + . . . = 1. nx c Jean-Louis Rouget, 2008. Tous droits rservs. 2

x +

lim (x) = 1.
+ x

b) Un quivalent de (x) 1 quand x tend vers +. Pour x ]1, +[, 2x ((x) 1) =

n=2

2 n

. Maintenant, pour

x [2, +[ et n 2 0< 2 n
x

2 n

4 , n2
x

Comme la srie de terme gnral

4 2 converge , n 1, converge, la srie de fonctions de terme gnral x n2 n x 2 a une limite relle quand x tend vers normalement et donc uniformment sur [2, +[. Puisque chaque fontion x n +, le thorme dinterversion des limites permet darmer que
+ x +

lim 2x ((x) 1) =
n=2

x +

lim

2 n

= 1 + 0 + 0 + . . . = 1.

On a montr que quand x tend vers +, (x) 1 2x ou encore que (x)

x +

1 + 2x + o(2x ).

9) Etude au voisinage de 1. a) Limite de quand x tend vers 1 par valeurs suprieures. Daprs 6), la fonction est dcroissante sur ]1, +[. Par suite, quand x tend vers 1 par valeurs suprieures, admet une limite lment de ] , +]. Dterminons alors . Soit N un entier naturel non nul donn. Pour tout rel x ]1, +[, on a
+

(x) =
n=1 N

1 nx

n=1

1 . nx

Mais alors, quand x tend vers 1, on obtient dduit que

n=1

1 , cette ingalit tant vraie pour tout naturel non nul N. On en n

On a montr que

N +

lim

n=1

1 = +. n

x 1 x>1

lim (x) = +.

b) Equivalent de quand x tend vers 1. Premire solution (comparaison avec une intgrale). Soit x ]1, +[. La fonction t
n+1

sante sur ]1, +[. Donc

1 est continue et dcroistx

n 1,
n

1 1 1 dt x et n 2, x x t n n

n n1

1 dt. tx

En sommant ces ingalits, on obtient

+

n=1

1 nx

n+1

n=1 n

1 dt = tx

+ 1

1 tx+1 dt = x t x + 1

=
1

1 , x1

et http ://www.maths-france.fr 3
c Jean-Louis Rouget, 2008. Tous droits rservs.

n=1

1 1+ nx

n=2 n1

1 dt = 1 + tx

+ 1

1 1 dt = + 1, tx x1

Ainsi, x > 1, 1 1 (x) + 1. x1 x1

Le thorme des gendarmes montre alors que (x 1)(x) tend vers 1 quand x tend vers 1 et donc que (x) 1 . x1 f(x) . D ?aprs 5), f est 1 21x

x 1,x>1

Deuxime solution (utilisation de la fonction f). On a vu au 3) que pour x > 1, (x) = continue sur ]0, +[ et donc en 1. Par suite,
+ x 1 x>1

lim f(x) = f(1) =

n=1

(1)n1 = ln 2. n

Dautre part, quand x tend vers 1, 1 21x = 1 e(1x)Ln2 ? (1 x) ln 2 = (x 1) ln 2, et donc (x) et on retrouve (x) 1 . x1
x 1,x>1

ln 2 . ln 2(x 1)

x 1,x>1

10) Drives successives. Soit a un rel strictement plus grand que 1 donn. 1 Chaque fonction fn : x x , n 1, est de classe C sur [a, +[ et pour x a, n 1 et k 1 n fn (x) = De plus, pour tout x [a, +[, tout k 1 et tout n 1, |fn (x)| Montrons que la srie numrique de terme gnral
(k) (k)

( ln n)k . nx

(ln n)k . na

(ln n)k converge. Quand n tend vers + na 0,

(ln n)k (ln n)k n(1+a)/2 = (a1)/2 na n et donc, quand n tend vers +, gnral (ln n)k converge. na (ln n)k =o na 1 n(a+1)/2 avec

n +

a+1 1+1 > = 1. Ainsi, la srie numrique de terme 2 2

On en dduit que, pour k 1, la srie de fonctions de terme gnral fn converge normalement et donc unifomment sur [a, +[. En rsum, la srie de fonctions de terme gnral fn converge simplement vers sur [a, +[, chaque fn , n 1, est de classe C sur [a, +[ (k) pour tout naturel non nul k, la srie de fonctions de terme gnral fn converge uniformment sur [a, +[. http ://www.maths-france.fr 4
c Jean-Louis Rouget, 2008. Tous droits rservs.

(k)

Daprs une gnralisation du thorme de drivation terme terme, la fonction est de classe C sur [a, +[ et les drives successives sobtiennent par drivation terme terme. Ceci tant vrai pour tout a lment de ]1, +[, on a montr que
+

la fonction est de classe C sur ]1, +[ et x ]1, +[, k N , (k) (x) = Remarques.

(1)k
n=1

lnk n . nx

1) La fonction est de classe C1 sur ]1, +[ et pour tout rel x de ]1, +[, ?(x) =
n=2

ln nnx < 0 et on retrouve le

fait que est dcroissante sur ]1, +[.

+

2) La fonction est de classe C2 sur ]1, +[ et pour tout rel x de ]1, +[, ? (x) =
n=2

ln2 nnx > 0 et on retrouve le

fait que est convexe sur ]1, +[. 11) Graphe .

2 /6 y = (x)

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.