PC 1 - Devoir maison n6 - 9/1/2013

Pour tout nombre rel x tel que la srie

+

(x) =
n =1

(1)n +1 (resp. f (x) = nx

+ n =0

n 1

(1)n +1 converge, (resp. la srie nx

ln (1 + enx) converge), on note

n 0

ln (1 + enx)) la somme de cette srie.

On se propose dtudier quelques proprits des fonctions et f .

1 Quelques valeurs de la fonction

1.1 Calcul de (1)
1. Prciser, selon la valeur du nombre rel x, la limite de
/4

1 lorsque lentier n tend vers +. nx 2. Montrer que lensemble de dnition de la fonction est E = ]0, +[. (tan t)n dt.
0

3. Pout tout entier naturel n, on pose Jn = a. Prciser une primitive de la fonction t

tan t sur un intervalle adquat et calculer J1.

b. A laide du thorme de convergence domine, montrer que la suite (Jn) est convergente et prciser sa limite. c. Calculer Jn + Jn +2 pour tout entier naturel n.
n

d. En dduire, pour tout entier naturel n non nul, la relation

k =1

(1)k +1 = J1 + (1)n +1 J2 n +1. 2k

e. En dduire la valeur de (1).

1.2 Une valeur approche de (3)

n

Pour tout entier naturel n non nul, on pose Sn =

k =1

(1)k +1 . k3

1. Dcrire en franais un algorithme de calcul de Sn pour n entier naturel non nul donn. 2. En utilisant lalgorithme prcdent et la calculatrice, donner la valeur dcimale approche par dfaut de S30 la prcision 104. 3. Montrer que est aussi la valeur dcimale approche par dfaut de (3) la prcision 104.

1.3 Calcul de (2) et (4)

On considre la fonction g dnie sur R, valeurs relles, 2 -priodique et vriant : g (x) = x2 pour tout x ], ].

Pour tout entier naturel n, on pose n =

0

x2 cos (n x) dx.

1. Calculer n pour tout entier naturel n. 2. Expliciter les coecients de Fourier rels an( g ) et bn( g ) de la fonction g . On rappelle que pour tout entier naturel n : an( g ) = 1

g (x) cos (n x) dx

et

bn( g ) =

g (x) sin (n x) dx.

Section 2

3. Montrer que la srie de fonctions convergente sur R.

n 0

hn, o h0: x

a0( g ) et hn: x 2

an( g ) cos (n x) si n

1, est normalement

4. En dduire que sa somme S a les mmes coecients de Fourier que g . 5. Montrer aussi que g et S sont continues et que g est de classe C 1 par morceaux sur R. On admet alors que g = S . En dduire la valeur de (2). 6. On admet lgalit de Parseval : g
2 2=

|a0( g )|2 + 4

(|an( g )|2 + |bn( g )|2) o g2

n =1

2=

1 2

| g (x)|2 dx

1/2

1 , calculer sa somme. n4 n 1 1 7. Calculer, laide de la question prcdente, la somme de la srie : puis celle de (2 n)4 n 1 dduire (4). Aprs avoir justi la convergence de la srie

n 0

1 et en (2 n + 1)4

2 tude dune fonction

Pour tout entier naturel n et tout nombre rel x, on note un(x) = ln (1 + enx).
+

Pour tout nombre rel x tel que la srie

n 0

un(x) converge, on note f (x) =

n =0

un(x) la somme de cette srie. On

se propose dtudier quelques proprits de la fonction f en utilisant en particulier (2). 1. Montrer que la fonction f est dnie sur ]0, +[. On note dsormais E limage par f de lintervalle ]0, +[. 2. Montrer la srie
n 0

un converge normalement sur tout intervalle [a, +[ o a est un nombre rel strictement

positif. Montrer que la fonction f est continue sur ]0, +[. 3. Montrer que la fonction f est strictement monotone sur ]0, +[. 4. Justier larmation : E est un intervalle de R. 5. Montrer que la fonction f admet une limite nie (que lon prcisera) en +. 6. Pour tout nombre rel x strictement positif, on dsigne par x la fonction dnie sur R+ par : x(t) = ln (1 + etx)
+

a. Justier la convergence de lintgrale

0

x(t) dt.

b. tablir, pour tout nombre rel x strictement positif, la double ingalit :

+ +

x(t) dt
0

f (x)

ln 2 +
0

x(t) dt. (1)n 1

c. Pour tout entier n strictement positif, on dsigne par kn la fonction x Montrer que la srie de fonctions
n 1 1

yn1 . n kn converge simplement sur ]0, 1[ vers une fonction S1 que lon

prcisera et montrer quon peut intgrer S1 terme terme sur ]0, 1[. d. En dduire lexistence de lintgrale
0

ln (1 + y ) d y et exprimer sa valeur en fonction de (2). y

e. Montrer quil existe une constante (que lon prcisera) telle que, pour tout nombre rel x strictement positif, on ait la double ingalit : f (x) + . x x f. En dduire la limite de x f (x) lorsque x tend vers 0 et prciser lintervalle E .