28 Il nous reste `a d´emontrer la formule pour 0

= a ∈ iR. On se ram`ene par un changement de variable `a d´emontrer

+∞ 0 eix2 dx = lim A→+∞
A 0 eix2 dx = π1/2 2 eiπ/4. Or pour > 0, on a
+∞ 0 e−(−i)x2 dx = π1/2 2 ( − i) −1/2 → →0+ π1/2 2 eiπ/4, et comme, pour tout A > 0, π1/2 2 eiπ/4 =
lim→0+
+∞ 0 e−(−i)x2 dx =
A 0 eix2 dx + lim→0+
+∞ A x−1xe−(−i)x2 dx et
+∞ A x−1xe−(−i)x2 dx = x−1e−(−i)x2 (− + i) −12−1+∞ A +
+∞ A x−2e−(−i)x2 (− + i) −12−1dx = −(2i − 2 ) −1A−1e−(−i)A2 + (− + i) −12−1
+∞ A x−2e−(−i)x2 dx, il vient π1/2 2 eiπ/4 =
A 0 eix2 dx − (2i) −1A−1 + (2i) −1
+∞ A x−2eix2 dx, et puisque
+∞ A x−2eix2 dx ≤
+∞ A x−2dx = A−1, on obtient π1/2 2 eiπ/4 = lim A→+∞
A 0 eix2 dx =
+∞ 0 eix2 dx, qed. On obtient donc les int´egrales de Fresnel (e2.17.4)
R cos(x2)dx = -π 2 = R sin(x2)dx, et de mani`ere g´en´erale la formule pour b ∈ R∗, (e2.17.5)
R eibx2 dx = π1/2|b| −1/2 ei π 4 sign b . Un autre calcul classique est celui de (e2.17.6)
+∞ 0 sin x x dx = π 2 . Cette int´egrale a d´ej`a ´et´e ´etudi´ee dans l’exercice 1.7. Donnons une
preuve courte de (e2.17.6). On int`egre la fonction enti`ere eiz/z sur le contour suivant