exo7 6686

On considère la série entière L(z)=∑n≥1znn2L(z)=\sum_{n\ge 1}{z^n\over n^2} Soit f(z)=−Log(1−z)zf(z)={-\mathrm{Log}{(1-z)}\over z} où Log\mathrm{Log} désigne la détermination principale du logarithme complexe.

1

On note U=C∖[1,+∞[U={\Cc}\setminus [1,+\infty\mathclose[. Montrer que ff est définie dans UU.

2

Vérifier que si D={z∈C∣ ∣z∣<1}D=\{ z\in {\Cc}\vert\ \vert z\vert<1\}, on a L′(z)=f(z)L'(z)=f(z).

3

En déduire qu’il existe une primitive de ff, définie dans UU tout entier, dont la restriction à DD est égale à LL. On note cette primitive LL par abus de langage.

4

Soit x∈Rx\in {\Rr}, x>1x>1. Calculer lim⁡y→0L(x+iy)−L(x−iy)\lim_{y\to 0}L(x+iy)-L(x-iy) comme fonction de xx.

Exercice DDSi

Signaler une erreur

  1. Problème
  2. Précisions
  3. Envoi
Quel est le problème ?