1
E.P.I.T.A. 2006
Epreuve de mathématiques 2 (option : 2 heures)
Dans ce problème, on se propose de calculer les intégrales de Fresnel (1788-1827) :
C=‡ cosHt2 L d t S=‡ sinHt2 L d t.
+¶ +¶
;
0 0
Par commodité, on considérera aussi l'intégrale E = C + i S définie par :
E = C+iS =‡ expHi t2 L d t.
+¶
è!!!
On rappelle enfin la valeur de l'intégrale suivante : Ÿ-¶ expH-t2 L d t =
0
+¶
p.
1°) Existence de l'intégrale de Fresnel
a) On considère l'application continue définie de !* dans " par :
expHi x2 L - 1
f HxL = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅÅÅÅÅÅ .
x2
Etablir que f se prolonge par continuité en 0 par une valeur qu'on précisera.
+¶ expHi t 2 L - 1
b) Justifier l'existence de l'intégrale suivante :
I =‡ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅ d t.
0 t2
x expHi t 2 L - 1 1 - expHi x2 L
c) A l'aide d'une intégration par parties, déterminer un nombre complexe l tel qu'on ait :
" x > 0, ‡ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ‡ expHi t L d t .
x
2
2
Å ÅÅÅÅÅÅÅ
Å Å d t = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ ÅÅÅÅÅÅÅ
Å ÅÅÅ + l
0 t x 0
d) En déduire l'existence de l'intégrale E, donc des intégrales C et S.
2°) Calcul de l'intégrale de Fresnel à l'aide d'une fonction auxiliaire
ƒƒ expH-x2 Ht 2 - iLL ƒƒ
ƒ ƒ
a) Etablir l'inégalité suivante pour tout x e ! et tout t e ! :
†ƒ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅ §ƒ § ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
è!!!!!!!!!!! ÅÅÅÅÅÅÅÅ! Å .
ƒƒ ƒƒ
1
2
t -i t4 + 1
+¶ expH- x2 Ht 2 - iLL
En déduire que la fonction suivante est définie sur l'ensemble ! :
FHxL = ‡ ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
ÅÅÅÅÅÅÅÅÅÅÅÅÅ d t.
-¶ t2 - i
b) Etablir que F est continue sur ! (on citera avec précision le théorème utilisé).
è!!!
c) Etablir l'inégalité suivante pour tout x > 0, et en déduire les limites de F en ±¶ :
†FHxL§ § ‡ expH-x2 t2 L d t = ÅÅÅÅÅÅÅÅÅÅÅÅ .
+¶ p
d) On considère un segment @a, bD inclus dans ]0, +¶[ (0 < a < b < +¶).
-¶ x
Etablir que F est de classe C 1 sur @a, bD (on citera avec précision le théorème utilisé).
En déduire que F est de classe C 1 sur !* et préciser une expression de F £ HxL.
2
e) En déduire une expression de F £ HxL sans symbole Ÿ , puis prouver que :
è!!! x
" x > 0, FH0L - FHxL = 2 p ‡ expHi t2 L d t.
0
Déterminer alors la valeur des trois intégrales de Fresnel E, C, S en admettant que FH0L,
H1 + iL p
qui est l'intégrale d'une fonction rationnelle facile à calculer, est égale à :
FH0L = ‡ è!!!ÅÅÅÅÅÅÅ .
+¶ 1
ÅÅÅÅÅÅÅÅ
2
Å ÅÅÅÅ ÅÅÅ d t = ÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅÅ
-¶ t - i 2
è!!!
On considère dans le plan les trois points O, A, B d'affixes 0, R 2 , H1 + iL R où R > 0,
3°) Calcul de l'intégrale de Fresnel à l'aide d'une intégrale curviligne
wHx, yL = exp@-Hx + i yL2 D dx + i exp@-Hx + i yL2 D dy.
et la forme différentielle w = P d x + Q dy définie sur le plan par :
a) Etablir que la forme différentielle w est exacte.
b) En déduire la valeur de l'intégrale curviligne de w sur l'arc fermé formé du segment OA,
de l'arc AB du cercle de centre O et de rayon OA, et du segment BO.
- l'intégrale curviligne I1 HRL de w sur le segment OA.
c) Exprimer sous forme d'intégrales (qu'on ne cherchera pas à calculer) :
è!!!
- l'intégrale curviligne I2 HRL de w sur l'arc AB du cercle de centre O et de rayon OA.
On pourra paramétrer ce segment OA par t ö t où t varie de 0 à R 2 .
è!!!
On pourra paramétrer cet arc AB par t ö R 2 HcosHtL + i sinHtLL où t varie de 0 à ÅÅÅÅp
- l'intégrale curviligne I3 HRL de w sur le segment BO.
.
4
On pourra paramétrer ce segment BO par t ö H1 + iL t où t varie de R à 0.
- la limite de l'intégrale I1 HRL.
d) Déterminer lorsque R vers +¶ :
- la limite de l'intégrale I2 HRL (on rappelle que cosHtL ¥ 1 - 2 t ê p pour 0 § t § p ê 2).
- la limite de l'intégrale I3 HRL, qu'on exprimera à l'aide de E (conjuguée de l'intégrale E).
êêê
e) En déduire à nouveau la valeur des intégrales de Fresnel E, C et S.
***
