Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur

----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

Chapitre IV
I : La Fonction d’erreur

pour | | → (∞
IV. 1 ) Définition
IV. 2 ) Développement asymptotique de
IV. 3 ) Les intégrales de Fresnel

0
IV. 4 ) La valeur principale d’une intégrale et la transformée de Fourier d’une fonction nulle
pour
7 ⁄ 8
, :; 0<
IV. 5 ) Transformées de Laplace et de Fourier de la fonction 6
0 , :; 0

IV. 1 ) Définition
0:
2
On appelle fonction d’erreur, la primitive ⁄ , nulle pour

2
1⁄2
" .
!
(IV. 1)

est une fonction holomorphe dans tout le plan complexe, impaire et développable en
série entière ; son développement s’obtient facilement à partir de celui de :
*
2
$ 1 % %& ⁄ 2' ( 1 '! .
(IV. 2)
⁄
%+!

√, (détermination normale).
Il peut être intéressant d’utiliser une autre forme de , obtenue en faisant dans (IV.1) le
changement de variable

, ( ⁄2
En coupant le plan le long du demi-axe
demi réel négatif, on a :
( ⁄2 .
0 , on peut écrire :
et

1
Si donc
-
", 0
! ,
⁄ ⁄
(IV. 3)

1 1
On a évidemment :
(∞ / 0! 1 .
⁄ 2
(IV. 4)
⁄

1 3 -
En posant , (IV.3) peut s’écrire :
1 ⁄
2 ",
! ,
⁄ ⁄ (IV. 5)

La courbe représentative de , pour réel, est représentée sur la figure (IV.1).

Figure IV.1 : Courbe représentative de la fonction d’erreur.

-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
34
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

Une des principales utilisations de la fonction d’erreur se rencontre en statistique, pour des variables
aléatoires gaussiennes. étant une telle variable, la probabilité pour que soit comprise entre ! et

2 7
est :
=
= ! ⁄ >
7 ⁄ D
" ,
7E
√2> ? :
1
soit, en posant
F / 0 / 0 .
0S
!
2 √2 > √2 >
= !

IV. 2 ) Développement asymptotique de pour | | → (∞

3 - * &* -
Comme :
", G H ", ,
! , ⁄
! 3 , ⁄

1 &* -
1 ⁄
2 (∞ ", .
⁄
3 , ⁄

1 &* -
et
1 1 ⁄
2 ", .
⁄
3 , ⁄

En intégrant @ ( 1 fois par parties, on obtient :

1 3
1 &* -
1 1 ⁄
2 I ",K
⁄ ⁄ 2 3 , J⁄
1 3
1 3 1 . 3 &* -
I ( ",
",K
⁄ ⁄ 2 J⁄ 2 3 , M⁄

3
1 1 .3 1 . 3 … 2@ 1
I1 ( ⋯( 1 A
K
⁄ 2 2 2 A
1 . 3 … 2@ ( 1 &* -
( 1 A&
⁄ 2A&
", .
3 , A&J⁄
R

0
Figure IV.2 : Contour d’intégration.

0:
A
2' !
On en déduit que, pour

1 P$ 1 %
Q( ,
⁄ '! 2 % A
%+!

2@ ( 1
avec
&* 3
A 1 A&
⁄ 2A @! A&
" .

Pour grand : A ≅ C1
C ⁄ A&
2.
-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
35
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

On peut donc écrire formellement :

*
1 2' ! 1
1 $ 1 %
0
⁄ '! 2 %
(IV. 6)
%+!

nous au premier terme de (IV.6) et posons :

Bornons-nous b[
, où |T
T| U ⁄2 :
1 :1 b[
2
1 ≅ ⁄ b[
W→*
1 : cos 2T ` sin 2T
⁄ b[
.

Si |T| U ⁄4 , W XYZ [
→ 0 quand → ∞ et 1 b[
2 → 1.
Si ⁄4 U |T| U ⁄2 , W XYZ [
→ (∞ quand → ∞ et c 1 b[
2c → (∞.
Le comportement de sur une circonférence de rayon infini s’en déduit, compte de la
partie de [figure (IV.3)].

Figure IV.3 : Comportement de (IV.3) sur une circonférence de rayon infini.

IV. 3 ) Les intégrales de Fresnel

Ces intégrales, qui se rencontrent en optique, sont définies par (IV.7) :
7 7
\ cos G H" ; a sin G H" .
! 2 ! 2
(IV. 7)

Ces fonctions sont directement rattachées à la fonction d’erreur ; en effet :

7
\ `a b 3 ⁄
" ,
!
soit en posant ` ⁄2 ,
2 ⁄ 7 b ⁄
1 ` ⁄
⁄

\ `a / 0 " I// 0 K
` 2` ⁄ 2
(IV. 8)
!

1 ` ` ⁄
I// 0 K
2 2

\ (∞ a (∞ 1⁄2 .
Notons, d’après(IV.4), que :

-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
36
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

1 ` ⁄
De (IV.8) il résulte que :

\ i I/ 0 Kj ,
2` ⁄ 2
⁄
a kl 6 Fm n Soo ,
b
b ⁄

d’où, compte tenu de (IV.6), les développements asymptotiques de \ et a lorsque →∞

1
\ g cos G H(p sin G H,
2 2 2
(IV. 9)
1
a p cos G H g sin G H,
2 2 2 (IV. 10)

*
1 4: ( 2 ! 1
avec :

g ≅ $ 1 q
,
2: ( 1 ! 2 q& (IV. 11)
q+!
*
1 4: ! 1
p ≅ $ 1 q
.
2: ! 2 q (IV. 12)
q+!
En se limitant aux premiers termes :

1 1
\ ( sin G H,
2 2
1 1
a cos G H.
2 2

Figure IV.4 : Courbes \ et a .

Les courbes représentatives de \ et a sont reportées sur la figure (IV.4).

La courbe d’équations paramétriques :

\ h , R a h

est appelée spirale de courbe de Cornu [figure (IV.5)]. h représente l’abscisse curviligne d’un point
de la courbe. Comptée à partir de l’origine. Quand h tends vers (∞,, le point r de coordonnées
1\ h , a h 2 décrit une spirale de point asymptotique R 1⁄2 ou R 1⁄2, selon
l’orientation adoptée sur la courbe.
cou
-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
37
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

Figure IV.5 : Spirale de Cornu.

nulle pour s 0
IV. 4 ) La valeur principale d’une intégrale et la transformée de Fourier d’une fonction

IV.4. 1 ) La valeur principale d’une intégrale

Il arrive de rencontrer dans les applications des intégrales définies t7 " qui divergent.
7

7
L’intégrale
" , € Š 0,
7
et l’intégrale t7 h`@ " en sont des exemples. Il eut cependant être utile, dans certaines
7

8 v 7 &W
problèmes, d’étudier la limite suivante :
u`l G ( H " ,; u`l " .
v→! W→&*
vw! 7 8&v W

plus simplement partie principale =. =. de l’intégrale.

Lorsque cette limite existe, on convient de la nommer valeur principale au sens de Cauchy, ou

Exemple :
1 ) Calculer =. =. t " , • é u .
&* x yz{
* 7
"
&* ƒbA „7
2 ) Déduire la valeur de l’intégrale t * 7
3 ) Calculer l’intégrale | } "
&* …†ƒ ‡7
t* 7
Solution
étant régulière à l’intérieur du domaine délimité par le contour ∁ indiqué sur la figure
x yz~
1 ) La fonction
" est nulle :
x yz~
(IV.6), l’intégrale t∁
v &W
( ( (
∁ ˆ W ‰ &v
v &W b„
G ( ( ( H " 0
ˆ W ‰ &v

-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
38
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

Figure IV.6 : Contour ∁ .

Supposons α 0,, la contribution de l’arc Γ à l’intégrale est évanouissante lorsque R → (∞. (Si α 0,
on choisit le contour symétrique par rapport à l’axe C ). On en déduit que
&* b„7 b„
=. =. " lim " ;
* v→! ‰

1 •
Comme
b„
" G ( `• …H " ` (C ” .
‰ ‰ 2

&* b„7
=. =. " ` • 0 .
*
(IV. 13)

Si α est réel négatif, on se ramène au cas précédent en prenant le complexe conjugué des deux

&* b„7
membres de (IV.13). Au total :

=. =. " ` h` @ • .
*
(IV. 14)

" h` @ • ;
&* ZŒ• „7
2 ) En égalant les parties imaginaires des deux membres, on trouve : t * 7
le symbole =. =. n’est pas nécessaire car sin • ⁄ est finie à l’origine.
" .
&* ZΥ 7
En particulier : t * 7
3 ) la fonction | } " est dérivable pour tout } car ’‡ m 7 n
&* XYZ ‡7 ’ XYZ ‡7 ZŒ• ‡7
t* 7 7
est une fonction continue par rapport aux variables } et et l’intégrale
"| } &*
sin }
|“ } " h` @ }
"} *
converge uniformément pour tout }. Comme 0 0,| } } h` @ } |}| ;
" .
&* XYZ 7
en particulier : t* 7

tends vers 0 quand → Ž∞

∞,
Lemme. Si est une fonction dérivable, sauf en des points isolés ne comprenant pas l’origine et qui

&* &*
u`l " =. =. " ` 0 .
v→!
* ( `” *
(IV. 15)
vw!

-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
39
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur

0
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

0 . Désignons par —
IV.4. 2 ) la transformée de Fourier d’une fonction nulle pour
0 et
∗
0.
Soit une fonction nulle pour la fonction égale à si

— — ∗ , la transformée de Fourier ™› ' de —

à si
Comme est réelle.

&*
On a :
2 ⁄
˜. ™. 2 ⁄
™ ' b%7
"
!
&*
— b%7
"
!
* &*
2 ⁄
™∗ ' ∗ b%7
" — b%7
"
! !
!
— b%7
"
*

&*
d’où :
2 ⁄
š™ ' ( ™ ∗ ' œ — b%7
" 2 ⁄
™› ' .
*
(IV. 16)

Décomposons ™ ' en parties réelle et imaginaire : ™ ' ™ ' `™ ' ;

2™ ' ™› ' .
il résulte de (IV.16) que
(IV. 17)

On constate ainsi que lorsque la partie réelle de ™ ' est connue, (IV.17) détermine ™› ' ; —
s’en déduisent et la partie imaginaire ™ ' de ™ ' se trouve déterminée.
et

™ ' doit donc s’exprimer linéairement en fonction de ™ ' .

L’usage de la fonction — 0 et à ∗
0 permet de montrer, d’une
manière analogue, que ™ ' s’exprime linéairement en fonction de ™ ' .
égale à si si

On se propose d’établir la correspondance entre ™ ' et ™ ' .

&*
On a :
2 ⁄
™ ' lim b%&v 7
" ” 0 ,
v→! !

&*
Or :
2 ⁄
™ '“ b% • 7
"' “ ,
*

&* &*
donc
2 ™ ' lim ™ ' “ "' “ žb1% % • 2&vŸ7
Ÿ
"
v→! * *
™ '“ &*
*
™ '(&*
"' “
lim
lim ` " ,
* ` ' ' (” ( `”
v→! “ v→! *
'“ ',, et d’après le lemme précédent :
&*
™ '(
2 ™ ' ` =. =. " ( ™ '
*
&*
™ '“
` =. =. "' “ ( ™ '
* ' “ '

&*
™ '“
Il en résulte que :
™ ' ` =. =. "' “
* '“ '
-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
40
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

soit, en égalant les parties réelles et imaginaires des deux membres :

1 ™ '“ &*
™ ' =. =. "' “ ;
* ' ' “

1 &*
™ '“
(IV. 18)
™ ' =. =. "' “ .
* ' ' “

Dans ce cas ™› ' estt une fonction réelle et paire. ™ ' est paire et ™ ' est impaire.
Ces relations ont été obtenues pour la première fois, par H. Kramers et R. Kronig (1927).

1 &*
™ '“ ( ™ '“
On déduit que :
™ ' =. =. "' “
2 * ' ' “

1 &*
™ '“ &*
™ '“
=. =. G "' (“
"' “ H ,
2 * ' ' “
* ' ( ' “

2' &*
™ '“
et
™ ' =. =. "' “ .
' '“
(IV. 19)
!

1 &*
™ '“ ™ '“
D’une manière analogue, on obtient :
™ ' =. =. "' “
2 * ' ' “

1 &*
™ '“ &*
™ '“
=. =. G "' “
"' “ H
2 * ' ' “
* ' ( ' “

1 &*
1 1
=. =. / 0 ™ ' “ "' “
2 * ' ' “ ' ( ' “

2 &*
'“
™ ' =. =. ™ ' “ "' “ .
' ' “
(IV. 20)
!

Si est une fonction réelle présentant un pic de Dirac à l’origine, on peut écrire :
( g¡ , où g est réel ;
g
' ™ ' ( ,
2 ⁄
g
' ™ ' ( ™ ' ( ∞ ; ' ™ '
2 ⁄

2 &*
'“
' ∞ =. =. ' “ "' “ ; (IV. 21)
! ' '“
2' &*
'“ ∞
' =. =. "' “ . (IV. 22)
! ' '“

(IV.22) peut être simplifiée ; en effet :

&*
"' “ 1 1&*
1
=. =.
= =. =. / ( 0 "' “
! ' '“ ! 2' ' ' “ ' ( ' “
1 &* 1
=. =. "' “ 0
2' * ' ' “

2' &*
'“
et
' =. =. "' “ .
' '“
(IV. 23)
!
-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
41
 Fonctions Spéciales à l’usage des étudiants en physique - chapitre IV : La Fonction d’erreur

7 ⁄ 8
, :; 0<
----------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------------------------------------------------------------
-------------------------------------------------------------------------------------------------------------------

6
0 , :; 0
IV. 5 ) Transformées de Laplace et de Fourier de la fonction

Désignons par ¦ > la transformée de Laplace de la fonction 6

7 ⁄ 8
, :; 0< .
0 , :; 0
&*
On a :
¦ > D7 7 ⁄ 8
" ,
!
&* 7
¦ > 8 D ⁄ m &8Dn
8 " ,
!
m ( >n
>
7
√ 8
Soit, en posant : ,
&*
¦ > √2 8 D ⁄
" ,
8D ⁄√

§ ⁄2 8 D ⁄
ž1 1 >⁄√22Ÿ
√ .
7 ⁄ 8
, :; 0< s’obtient en posant >
La transformée de Fourier ™ ' de 6 `' :
0 , :; 0
2 ⁄
™ ' ⁄2 ⁄ 8 % ⁄
ž1 11` '⁄
⁄√22Ÿ .
Il apparaît ainsi la fonction d’erreur d’un argument imaginaire pur.
D’après (IV.1)
2` 7
` ⁄
" . é u
!

En séparant les parties réelles et imaginaire de ™ ' ™ ' `™ '

' ,
on obtient :
ª ™ '
8 % ⁄
2
8%⁄√
<
© ™ '
(IV. 24)
8 % ⁄
¨ ⁄
"
!

Notons pour terminer que ™ ' et ™ ' sont reliés par les relations de Kramers-Kronig.
Kramers

-----------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------------------------------------------------------------------------------------------------
------------------------------------------------------------------------------------
Prof. E.-K. Hachem
42