Version interactive avec LaTeX compilé
CCINP Mathématiques 2 PC 2012
Notez ce sujet en cliquant sur l'étoile
0.0(0 votes)
Intégrales à paramètresSuites et séries de fonctionsFonctions (limites, continuité, dérivabilité, intégration)Calcul différentiel et fonctions à plusieurs variablesSéries entières (et Fourier)
EPREUVE SPECIFIQUE - FILIERE PC
MATHEMATIQUES 2
Durée : 4 heures
N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut lui sembler être une erreur d'énoncé, il le signalera sur sa copie et devra poursuivre sa composition en expliquant les raisons des initiatives qu'il a été amené à prendre.
Les calculatrices sont interdites
Les trois parties sont, dans une large mesure, indépendantes.
On s'intéresse ici aux propriétés de la fonction polylogarithme, définie comme série entière et à son prolongement grâce à une représentation intégrale. On établit aussi quelques formules générales et on complète l'étude par celle d'un cas particulier.
On s'intéresse ici aux propriétés de la fonction polylogarithme, définie comme série entière et à son prolongement grâce à une représentation intégrale. On établit aussi quelques formules générales et on complète l'étude par celle d'un cas particulier.
Partie I : le polylogarithme
Dans toute cette partie,
est un réel fixé.
I - 1.1.
Déterminer le rayon de convergence de la série entière
définie par :
I-1.2.
Justifier que l'application
est de classe
sur
.
I - 1.3.
Montrer que :
I-2.1.
Pour tout
, établir une relation entre
et
.
Exprimer sous forme de l'intégrale entre 0 et
d'une certaine fonction.
Exprimer
I-2.2.
Pour
, préciser les valeurs de
lorsque
et
.
I-3.
Dans cette question, on suppose que
.
Montrer que tend vers
quand
tend vers 1 par valeurs strictement inférieures. Pour cela, on pourra chercher à minorer
pour
.
Montrer que
Partie II : prolongement pour
Dans toute cette partie,
est un réel strictement supérieur à 1 .
II - 1.1.
Montrer que la fonction
définie en I -1.1 est continue sur
.
II - 1.2.
Déterminer
et préciser si la fonction
est dérivable en 1 .
II - 2.1.
Montrer que l'application
est intégrable sur
.
II - 2.2.
Pour tout réel
, justifier l'existence de
.
II - 2.3.
Montrer que l'application
ainsi définie est continue sur l'intervalle ]
].
II - 2.4.
Dans cette question, on suppose que
.
Montrer que la fonction est de classe
sur l'intervalle ]
].
Montrer que la fonction
II - 2.5.
On revient au cas général où
.
Montrer que la fonction est de classe
sur tout segment
avec
, puis sur l'intervalle
.
Montrer que la fonction
II - 3.1.
Prouver l'existence de
et justifier que
.
II - 3.2.
Montrer que pour tout
et pour tout
, on a :
II - 3.3.
En déduire que pour tout
, en utilisant
défini dans I - 1.1 et
défini dans II - 2.2, on a la relation :
On précisera avec soin le théorème d'intégration terme à terme utilisé.
II - 4.1.
Pour tout
, on prolonge la définition de
en posant :
Montrer que l'application
ainsi définie est continue sur
] et de classe
sur
.
II-4.2.
Montrer que pour tout réel
, on a :
II - 4.3.
Justifier que l'on peut prolonger la fonction
sur
par la définition :
Montrer alors que pour tout
, tel que
, on a encore la relation :
Partie III : le cas
On s'intéresse ici, pour tout
, à :
.
III - 1.1.
Soit
-périodique et impaire, telle que :
Calculer les coefficients de Fourier «
» pour
.
III - 1.2.
Grâce à l'égalité de Parseval que l'on précisera, appliquée à
, en déduire la valeur de
. Calculer aussi
.
III - 2.1.
Montrer que la fonction
définie par :
est de classe
sur
.
III - 2.2.
Montrer que la fonction
est constante sur
et vaut
.
III - 2.3.
En déduire la valeur de
.
III - 2.4.
Prouver aussi que :
III - 3.
Grâce à II - 3, calculer
.
III - 4.
Désormais, on s'intéresse au prolongement de
considéré en II - 4 , vérifiant en particulier la relation vue en II-4.2 dont on partira pour traiter les questions suivantes, c'est-à-dire :
III - 4.1.
Montrer alors que pour tout
, on a aussi les égalités :
On pourra effectuer un changement de variable et une intégration par parties.
III-4.2.
Pour tout
, calculer
.
III - 4.3.
Justifier l'existence de l'intégrale
.
III - 4.4.
Préciser
et
. En déduire un équivalent simple de
quand
tend vers
, cet équivalent dépendant de
.
