Vous êtes sur la page 1sur 40

Integrales elliptiques

Krell Stella, Minjeaud Sebastian, Dunand Clement


19 juillet 2005

Pour determiner le champ magnetique cree par un arc danneau circu-


laire de faible section traverse par un courant, on utilise generalement la for-
mule de Biot et Savart. Le champ magnetique obtenu sexprime en fonction
de differentes integrales elliptiques pour lesquelles il nexiste pas de formule
exacte.
Le but de ce projet est la realisation dun programme performant permettant
de calculer une approximation de ces integrales elliptiques.


Projet informatique realise sous la tutuelle de Monsieur Patrice Boissoles
Table des mati`
eres
1 Motivation : un probl` eme de physique 1
1.1 Presentation du probl`eme . . . . . . . . . . . . . . . . . . . . 1
1.2 Champ cree par une portion de spire circulaire . . . . . . . . . 1

2 Int
egrales elliptiques canoniques 3
2.1 Definitions et notations . . . . . . . . . . . . . . . . . . . . . . 3
2.1.1 Integrale elliptique du premier type . . . . . . . . . . . 3
2.1.2 Integrale elliptique du deuxi`eme type . . . . . . . . . . 4
2.1.3 Integrale elliptique du troisi`eme type . . . . . . . . . . 4
2.1.4 Integrales elliptiques compl`etes . . . . . . . . . . . . . 5
2.2 Proprietes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
2.2.1 Integrales elliptiques des premier et deuxi`eme types . . 5
2.2.2 La fonction Zeta de Jacobi . . . . . . . . . . . . . . . . 7

3 M ethodes classiques 7
3.1 Methode des rectangles . . . . . . . . . . . . . . . . . . . . . . 7
3.2 Methode des trap`ezes . . . . . . . . . . . . . . . . . . . . . . . 7
3.3 Methode de Simpson . . . . . . . . . . . . . . . . . . . . . . . 8

4 M ethode de calcul performante des int egrales compl` etes 8


4.1 Calcul de lintegrale compl`ete de premier type K(k) . . . . . . 8
4.1.1 Forme homog`ene de lintegrale elliptique de premier type 8
4.1.2 Introduction de la moyenne Arithmetico-Geometrique . 11
4.1.3 Calcul de K(k) . . . . . . . . . . . . . . . . . . . . . . 14
4.2 Proprietes intermediaires . . . . . . . . . . . . . . . . . . . . . 15

4.2.1 Equations differentielles liant les integrales compl`etes
de premier et deuxi`eme type . . . . . . . . . . . . . . . 15
4.2.2 Proprietes . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.3 Calcul de lintegrale compl`ete de deuxi`eme type E(k) . . . . . 20

5 M ethode de calcul performante des int egrales incompl` etes 23


5.1 Relation entre F (n+1 , kn+1 ) et F (n , kn ) . . . . . . . . . . . . 24
5.1.1 Expression de F (n+1 , kn+1 ) . . . . . . . . . . . . . . . 24
5.1.2 Expression de F (n , kn ) . . . . . . . . . . . . . . . . . 25

5.1.3 Egalit
e . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.2 Transformation de Landen descendante et retour aux nota-
tions initiales . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
5.3 Algorithme de la moyenne arithmetico-geometrique . . . . . . 28

6 Applications 29
6.1 Calcul du champ magnetique . . . . . . . . . . . . . . . . . . 29
6.1.1 Notations . . . . . . . . . . . . . . . . . . . . . . . . . 29
6.1.2 Apparition des integrales elliptiques . . . . . . . . . . . 30
6.1.3 Calculs . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
6.2 Calcul de la periode doscillation dun pendule . . . . . . . . . 35

3
1 Motivation : un probl`
eme de physique
1.1 Pr
esentation du probl`
eme
Letude des champs magnetiques trouve ses applications dans de nom-
breux domaines scientifiques, notamment limagerie medicale, la telephonie
mobile, la radiodiffusion, etc. Dans le domaine de limagerie `a resonance
magnetique (IRM) par exemple, limage obtenue est d ue au champ magnetique
cree par une antenne lorsquelle est parcourue par une intensite donnee.

Lantenne etudiee est de forme cy-


lindrique : elle se compose de deux
bases circulaires reliees par des fils
qui constituent des generatrices
z de ce cylindre. Letude du champ
magnetique quelle gen`ere passe
y
par le calcul du champ cree par
x une spire circulaire. Hors de son
axe, lexpression obtenue fait in-
tervenir des integrales dites ellip-

tiques, dont on ne peut calculer
analytiquement la valeur exacte.
Fig. 1 Antenne

1.2 Champ cr
e
e par une portion de spire circulaire
On souhaite calculer le champ cree par une portion l de spire circulaire.
Pour cela, on la param`etre dans le rep`ere despace par ses coordonnees cy-
lindriques. Elle se situe `a une altitude Z0 , est centree sur laxe z et a pour
rayon . Langle polaire 0 variera de 1 `a 2 . Cela se traduit en terme de
coordonnees cartesiennes par :

x0 = cos 0
y0 = sin 0

z 0 = Z0
En choisissant (~i, ~j, ~k) pour rep`ere cartesien, le deplacement elementaire en
un point (x0 , y0 , z0 ), soit en cylindriques (, 0 , z0 ), de larc secrit :

dl0 = ( sin 0~i + cos 0~j)d0

1
On peut alors calculer le potentiel vecteur puis le champ crees dans tout
lespace par cet arc de spire. Si ~r = x~i + y~j + z~k et
~ = x0~i + y0~j + z0~k, on
applique la loi de Biot et Savart :
Z

~ y, z) = 0
A(x,
J dl0
4 l ~
|~r |

o`
u J designe lintensite parcourant la spire et 0 la permeabilite magnetique
du vide.
Puis on ecrit :
B~ = ~
rotA
p
Finalement, en notant D = (x x0 )2 + (y y0 )2 + (z z0 )2 , on obtient :
Z 2

(z z0 ) cos 0

Bx = d0

1 D3

Z 2
J h i
~ 0 ~ ~ ~ (z z0 ) sin 0
B(x, y, z) = Bx i + By j + Bz k avec By = d0
4
1 D3

Z 2

[ r cos( 0 )]


Bz = d0
1 D3

En utilisant ~r = (r, , z) dans lexpression de D, on obtient :


p
D = (z z0 )2 + r2 + 2 2r cos( 0 ).

On effectue le changement de variable : 0 = 2 . On adopte en outre


les notations suivantes :
( 2
R = (r + )2 + (z z0 )2
4r
k2 =
R2
Lexpression de D devient :

D2 = (r + )2 + (z z0 )2 2r(1 + cos(2 ))
D2 = R2 (1 k 2 sin2 )

2
+ i
Apr`es changement de variable, en notant i = pour i = 1, 2, les
2
~ deviennent :
coordonnees du champ B
Z 2

2(z z0 ) cos( 2 + )

Bx = d

1 R3 (1 k 2 sin2 )3/2

Z 2
2(z z0 ) sin( 2 + )
By = d

1 R3 (1 k 2 sin2 )3/2

Z 2

2(r + 2r sin2 )


Bz = d
1 R3 (1 k 2 sin2 )3/2

Les trois composantes du champ magnetique cree par lantenne sexpriment


sous forme dintegrales. Ces integrales sont appelees integrales elliptiques.
Elles sont toutes exprimables en fonctions des formes canoniques presentees
ci-apr`es.

2 Int
egrales elliptiques canoniques
2.1 D
efinitions et notations
2.1.1 Int
egrale elliptique du premier type
Lintegrale elliptique du premier type depend de deux param`etres : lam-
plitude et un angle .
Z
d
F (, ) = p
0 1 sin2 sin2

Lorsque 0, 2 , on peut effectuer le changement de variable simple sui-
vant :

t = sin
dt cos d

1 t2 d,

Z sin
dt
F (, ) = p 2
0 (1 sin t2 )(1 t2 )

3
On utilise alors plutt le param`etre m = sin2 , (0 6 m 6 1), en notant :
Z sin
dt
F (, m) = p
0 (1 m t2 )(1 t2 )

2.1.2 Int
egrale elliptique du deuxi`
eme type
Lintegrale elliptique du deuxi`eme type est definie avec les deux memes
param`etres : lamplitude et un angle .
Z p
E(, ) = 1 sin2 sin2 d
0


On peut effectuer le meme changement de variable simple lorsque 0 6 6 2
:

t = sin
dt cos d

1 t2 d,

on utilise encore le param`etre m = sin2 (0 6 m 6 1). Ce qui donne :


Z sin r
1 m t2
E(, m) = dt
0 1 t2

2.1.3 Int
egrale elliptique du troisi`
eme type
On peut meme definir une troisi`eme integrale elliptique.
Z
d
(, , n) = p pour n > 0.
2 2 2
0 (1 n sin ) 1 sin sin

On peut effectuer le meme changement de variable simple et obtenir donc :


Z sin
dt
(, m, n) = p
0 (1 n t ) (1 t2 )(1 m t2 )
2

Mais cette integrale nintervient pas dans le calcul du champ magnetique.


On va donc la laisser de cote.

4
2.1.4 Int
egrales elliptiques compl` etes

Lorsque lamplitude vaut , on note les integrales compl`etes :
2

K() = F ,
2
Z
2 d
= p
0 1 sin2 sin2

et E() = E ,
2
Z p
2
= 1 sin2 sin2 d
0

On utilisera aussi le param`etre k = sin . On notera dans ce cas pour 0 <


k<1:
Z p
2
E(k) = 1 k 2 sin2 d
0
Z
2 d
K(k) = p
0 1 k 2 sin2

2.2 Propri
et
es
2.2.1 Int
egrales elliptiques des premier et deuxi` eme types
h i
Pour tout angle , on peut se restreindre `a lintervalle 0, pour grace
2
aux proprietes immediates suivantes :
On
peut se ram`ener grace aux proprietes ci-dessous `a un calcul avec

2 , 2 , en utilisant les formules :
s Z, F (s + , ) = 2sK() + F (, )
s Z, E(s + , ) = 2sE() + E(, )
En effet,
Z s+
d
s Z, F (s + , ) = p
0 1 sin2 sin2
Z s Z s+
d d
= p + p
0 1 sin2 sin2 s 1 sin2 sin2

5
Le second terme est en fait F (, ) par le changement de variable : s.
Z s Z Z 2 Z s
et [ ]d = [ ]d + [ ]d + + [ ]d
0 0 (s1)
" Z #
2
= s 2 [ ]d
0

Donc : F (s + , ) = 2sK() + F (, )
On a de meme : E(s + , ) = 2sE() + E(, )
h i
On se ram`ene ensuite `a 0, , puisque si lamplitude est negative, on a
2
alors par le changement de variable : :
Z
d
F (, ) = p
0 1 sin2 sin2
= F (, )
Z p
E(, ) = 1 sin2 sin2 d
0
= E(, )
Cas particuliers :
Z
d
F (, 0) = p
0 1 sin2 (0) sin2
Z
= d
0
=
Z
d
F , =
2 0 cos


= ln tan +
4 2
Z q
E(, 0) = 1 sin2 (0) sin2 d
0
=
Z
E , = cos d
2 0
= sin

6
2.2.2 La fonction Zeta de Jacobi
La fonction Zeta de Jacobi permet de relier E(, ) et F (, ) pour une
amplitude quelconque `a laide des integrales compl`etes K() et E() :

E()F (, )
Z(, ) = E(, )
K()

Il faut donc introduire des methodes numeriques pour calculer lintegrale


elliptique de premier type.

3 M
ethodes classiques
3.1 M
ethode des rectangles
On subdivise lintervalle [0, ] grace `a n + 1 points equidistants. Le pas

de la subdivision est note : h = .
n
Les points de la subdivision sont notes : ti = ih , (0 6 i 6 n).
Sur le i-`eme intervalle de la subdivision on approche la fonction `a integrer
par sa valeur en ti . On trouve alors :
n
X 1
F (, ) ' h p
i=1 1 sin2 sin2 ti

3.2 M
ethode des trap`
ezes
On utilise une subdivision et des notations identiques `a celles de la methode
des rectangles.
Sur le i-`eme intervalle on approche maintenant la fonction `a integrer par une
droite passant par ses valeurs en ti et ti+1 . On a la formule :
n
!
hX 1 1
F (, ) ' p +p
2 i=1 1 sin2 sin2 ti 1 sin2 sin2 ti1
! n1
h 1 1 X 1
F (, ) ' p +p +h p
2 2 2
1 sin sin t0 2 2
1 sin sin tn i=1 1 sin2 sin2 ti

7
3.3 M
ethode de Simpson
La fonction est maintenant approchee par une parabole passant par ses
ti + ti+1
valeurs en ti , et ti+1 . On obtient la formule :
2
n1
hX 1 4 1
F (, ) ' p +q +p
6 i=0 1 sin sin ti
2 2
1 sin2 sin2 ti +t2i+1 1 sin sin2 ti+1
2

Ces methodes sont polynomiales dordre 1, 2 et 4 donc nous allons presenter


une methode plus performante.

4 Methode de calcul performante des int


egrales
compl`
etes
On utilise dans cette partie la notation, pour 0 < k < 1 :
Z
p
2
E(k) = 1 k 2 sin2 d
0
Z
2 d
K(k) = p
0 1 k 2 sin2

On notera k 0 = 1 k2

4.1 Calcul de lint


egrale compl`
ete de premier type K(k)
4.1.1 Forme homog`
ene de lint
egrale elliptique de premier type
On introduit une forme generalisee de lintegrale elliptique compl`ete de
premier type definie pour a, b > 0 :
Z
2 2 d
T (a, b) =
0 a2 cos2 + b2 sin2
Z
2 2 d
=
0 cos a + b2 tan2
2

8
On effectue alors un changement de variable en posant :
t = b tan
b p
dt 1 + tan2 d
cos s
2
b t
1+ d
cos b
d 2
b + t2
cos
Cest-`a-dire :
d dt

cos b2 + t2
On obtient :
Z +
2 dt
T (a, b) = p
0 (a2 + t2 )(b2 + t2 )
On pose maintenant :

1 ab
u = t
2 t

1 ab
du 1 + 2 dt
2 t
Comme
2u ab
= 1 2
t t
ab u
1+ 2 = 2 1 ,
t t
on obtient :
du
dt
1 ut
De plus, on remarque que :
t4 2abt2 + a2 b2
u2 =
4t2
4u2 t2 = t 2abt2 + a2 b2
4

9
Donc :

(a2 + t2 )(b2 + t2 ) = t4 + a2 b2 + (a2 + b2 )t2


= 4u2 t2 + 2abt2 + (a2 + b2 )t2
= t2 (4u2 + (a + b)2 )

Ainsi, on obtient :
dt du
p p
(a2 + t2 )(b2 + t2 ) (t u) 4u2 + (a + b)2

Mais :

t2 2ut ab = 0

t = u u2 + ab

t u = u2 + ab
1 ab
or t u = +t
2 t
> 0

Finalement on arrive `a :
Z
2 du
T (a, b) = p
(4u2 + (a + b)2 )(u2 + ab)
Z
2 du
= rh
0 2 i
u2 + a+b
2
(u2 + ab)

1
= T (a + b), ab
2

Nous venons de demontrer :



1
T (a, b) = T (a + b), ab
2

Ce qui nous am`ene `a introduire la moyenne arithmetico-geometrique.

10
4.1.2 Introduction de la moyenne Arithm
etico-G
eom
etrique
Legalite :

1
T (a, b) = T (a + b), ab
2

nous am`ene `a definir les suites (an )nN et (bn )nN par :

a0 > 0
an+1 = 12 (an + bn )

b0 >
0
bn+1 = a n bn
bn+1 est bien definie pour tout n N car n N, an , bn > 0.

On veut montrer que ces deux suites sont adjacentes.


Pour cela on sinteresse dabord `a leur difference :
1 p
an bn = (an1 + bn1 ) an1 bn1
2 p
an1 2 an1 bn1 + bn1
=
p2
( an1 bn1 )2
=
2
Ce qui nous am`ene `a :

a n bn > 0 (1)
an > bn (2)
p
an > bn (3)

En utilisant (3) et la definition de recurrence de la suite (bn )n>0 on a :


p
bn+1 = a n bn
> bn

La suite (bn )n>0 est croissante.

11
En utilisant (2) et la definition de recurrence de la suite (an )n>0 on ob-
tient :
1
an+1 = (an + bn )
2
1
6 (an + an )
2
= an

La suite (an )n>0 est decroissante.

De plus, n > 1, an > b0 et bn 6 a0 , donc les suites (an )nN et (bn )nN ,
monotones et bornees, convergent. On va montrer quelles ont meme limite.
On revient `a la difference des deux suites. En utilisant (3) on a :

an 2 an bn + bn
an+1 bn+1 =
2
an bn
6
2
an1 bn1
6
4
..
.
a0 b0
6
2n+1
0
n

Ce qui prouve quelles ont meme limite notee M (a, b).


De plus, la convergence est exponentielle.

Revenons `a lintegrale compl`ete generalisee.


On a n > 1, T (an , bn ) = T (an1 , bn1 ) = = T (a0 , b0 ).
Les theor`emes dinterversion limite/integrale montrent que :

T (a0 , b0 ) = T (M (a0 , b0 ), M (a0 , b0 ))

12
Or :
Z
2 dt
T (M (a0 , b0 ), M (a0 , b0 )) =
0 M 2 (a0 , b0 )
+ t2

2 t
= arctan
M (a0 , b0 ) M (a0 , b0 ) 0
2 h i
= 0
M (a0 , b0 ) 2
1
=
M (a0 , b0 )
1
On a donc a, b > 0, T (a, b) =
M (a, b)
Revenons maintenant `a la forme canonique introduite en 4.1 :
Z
2 2 d
T (a, b) =
0 a2 cos2 + b2 sin2
Z
2 2 d
= q 2
a 0
cos2 + ab sin2
Z
2 2 d
= q
a 0 2
1 1 ab 2 sin2

En posant k 0 = ab , on a :

2
T (1, k 0 ) = K(k)

1
=
M (1, k 0 )
Cest-`a-dire :

K(k) =
2M (1, k 0 )

0
Si on pose a0 = 1 et b0 = k , la suite converge exponentielle-
2an nN
ment vers K(k).

13
4.1.3 Calcul de K(k)
La limite des suites (an )n>0 et (bn )n>0 est inchangee si on prend pour
termes initiaux a1 et b1 .

1
M (a, b) = M (a + b), ab
2

1
M (1, b) = M (1 + b), b
2
!
1+b 2 b
= M 1,
2 1+b

On va donc sinteresser `a la suite particuliere (n N) :



0 6 k0 6 1
2 kn
kn+1 =
1 + kn
On va etudier la valeur de M (1, k0 ).

1 + k0
M (1, k0 ) = M (1, k1 )
2
1 + k0 1 + k1
= M (1, k2 )
2 2
N
Y 1
1 + kn
= M (1, kN )
n=1
2

Comme k0 6 1,une etude de suite montre que kn 1 et lencadrement de


M (1, kN ) :

kN 6 M (1, kN ) 6 1
M (1, kN ) 1
N

Donc on arrive au resultat :



Y 1 + kn
M (1, k0 ) =
n=1
2

14
Rem : Cette etude montre que le produit ci-dessus converge.
Do`
u:
Y 2
K(k) =
2 n=1 1 + kn0

2 kn
o`
u kn+1 = .
1 + kn

4.2 Propri
et
es interm
ediaires
4.2.1
Equations diff
erentielles liant les int
egrales compl`
etes de
premier et deuxi`eme type
Les theor`emes de derivabilite sous le signe de lintegrale montre que :
Z p
dE 2 ( 1 k 2 sin2 )
= d
dk 0 k
Z
1 2 k 2 sin2
= p d
k 0 1 k 2 sin2
Z Z
1 2 1 k 2 sin2 1 2 1
= p d p d
k 0 2
1 k 2 sin k 0 1 k 2 sin2
On obtient une premi`ere equation differentielle :
dE 1
= [E(k) K(k)]
dk k
De plus, en utilisant le developpement en serie enti`ere suivant, valable
pour |x| < 1 :

( 1) 2 ( 1)( 2) 3
(1 + x) = 1 + x + x + x +
2 3!
X
( 1)( 2) ( (n 1)) n
= 1+ x
n=1
n!

15
On obtient :
p X 1
( 21 )( 23 ) ( 2n3 )
2 2
1 k sin = 1 + 2 2
(k 2 sin2 )n
n=1
n!

X (1)n1 (2n 3)!!
= 1+ (k 2 sin2 )n
n=1
2n n!

X (2n 3)!!
= 1 k 2n sin2n
n=1
(2n)!
o`
u (2n 3)!! = 1 3 5 (2n 3).

On integre, et on intervertit integrale et signe somme grace `a la conver-


gence uniforme :
Z p Z
2 X (2n 3)!! 2n 2
2 2
1 k sin d = k sin2n d
0 2 n=1
(2n)! 0

On retrouve les integrales de Wallis :


Z
2
I2n = sin2n d
0
(2n 1)!!
=
2n n! 2

Z " #

2 p X
(2n 3)!! (2n 1)!!
1 k 2 sin2 d = 1 n n! n n!
k 2n
0 2 n=1
2 2
" 2 #
X (2n 1)!! k 2n
E(k) = 1
2 n=1
2n n! 2n 1
De meme :

X ( 1 )( 3 ) ( 2n1 )(1)n
K(k) = 2 2 2
k 2n I2n
n=0
n!
X
(2n 1)!! (2n 1)!! 2n
= n n! n n!
k
n=0
2 2 2
" 2 #
X (2n 1)!!
= 1+ n n!
k 2n
2 n=1
2

16
On prouve, `a laide de ces developpements en serie enti`ere, legalite sui-
vante :
dK E(k) (1 k 2 )K(k)
=
dk k(1 k 2 )
2
(2n 1)!!
En effet, si on note un = , (n > 1), on a alors :
2n n!

2 dK X 2n X
k(1 k ) = un 2nk un 2nk 2n+2
dk 2 n=1 2 n=1
"
#
X un X X
2 2n 2n 2 2n+2
et E(k) (1 k )K(k) = k un k + k + un k
2 n=1
2n 1 n=1 n=1

Montrer legalite revient `a montrer :


(
2u1 = 2u1 + 1
un+1
un+1 2(n + 1) un 2n = un+1 + un , n>1
2(n + 1) 1
1
Or on a bien u1 = et la deuxi`eme egalite est equivalente `a :
4

1
un+1 (2n + 2) + + 1 = un (2n + 1)
2n + 1
un+1 [(2n + 3)(2n + 1) + 1] = un (2n + 1)2
2
(2n + 1)!!
or un+1 [(2n + 3)(2n + 1) + 1] = (4n2 + 8n + 4)
2n+1 (n + 1)!
2
(2n + 1)!!
= n+1
(n + 1)2 4
2 (n + 1)!
2
(2n + 1)!!
=
2n n!
= un (2n + 1)2

On vient de prouver la recurrence de la suite (un )n>0 et donc aussi :

dK E(k) (1 k 2 )K(k)
=
dk k(1 k 2 )

17
E et K sont relies par les equations differentielles :
dE 1
= [E(k) K(k)]
dk k
dK E(k) (1 k 2 )K(k)
=
dk k(1 k 2 )

4.2.2 Propri
et
es
On introduit ici la notation g pour une fonction qui est dej`a apparue
precedemment :

2 k
g(k) =
1+k
On demontre quelques proprietes qui serviront dans la suite :

1 k0
g 1 (k) =
1 + k0
2
1 + g 1 (k) =
1 + k0
s
p 4k
1 g(k)2 = 1
(1 + k)2
= g 1 (k 0 )
p
g 1 (k 0 ) = 1 g 2 (k)

De meme : p
g(k 0 ) = 1 g 1 (k)2
La propriete etablie sur lintegrale elliptique compl`ete de premier type

1+k
T (1, k) = T , k
2

18
nous permet decrire :
2 p
0 2
K(k ) = K 1 g (k)
1+k
2
= K g 1 (k 0 )
1+k
2
K(k) = 0
K g 1 (k)
1+k
2 1 k0
= K
1 + k0 1 + k0
2
K (g(k)) = K(k)
1 + g 1 (k 0 )
= (1 + k)K(k)
!
1 2 k
K(k) = K
1+k 1+k

On differentie la derni`ere egalite :


1 1 dK
K = 2
K (g(k)) + g(k)
(g(k))
(1 + k) 1+k dk
1 1
K(k) = K(k) + K (g(k))
g(k)
1+k 1+k

(1 + k)K(k) K (g(k))
+ K(k) = g(k)
Or nous avons etabli :

kk 02 K(k) = E(k) k 02 K(k)

et g(k) 1 g 2 (k) K (g(k)) = E (g(k)) 1 g 2 (k) K (g(k))
| {z }
2
2 k(1 k)
=
(1 + k)3
2k(1 k) 1k (1 k)2
K (g(k)) = E (g(k)) K (g(k))
1+k k(1 + k)2 (1 + k)2
| {z }
= g(k)

2k(1 k) h
i
2k(1 k)
(1 + k)K(k) + K(k) = 2k(1 k)K(k) + K(k)
1+k 1+k
(1 k)2
= E (g(k)) K (g(k))
(1 + k)2

19
En utilisant lexpression de la derivee de K(k) :

2 2k(1 k) (1 k)2
E(k) k 02 K(k) + K(k) = E (g(k)) K (g(k))
1+k 1+k (1 + k)2
1+k (1 k)2
E(k) + k(1 k) k 02 K(k) = E (g(k)) K(k)
2 2


1+k 2k(1 k) + 2k 02 (1 k)2
E(k) = E (g(k)) + K(k)
2 2
1+k k 02
= E (g(k)) + K(k)
2 2
En substituant g 1 (k) `a k, on obtient :
1 + g 1 (k) g 2 (k 0 ) 1
E g 1 (k) = E(k) + K g (k)
2 2
1 2k 0 1 + k 0
= E(k) + K(k)
1 + k0 (1 + k 0 )2 2

E(k) = (1 + k 0 )E g 1 (k) k 0 K(k)

4.3 Calcul de lint


egrale compl`
ete de deuxi`
eme type
E(k)
Introduisons les formes homog`enes de lintegrale elliptique :
Z
2 d
I(a, b) =
0
sa2 cos2 + b2sin2
2
1 b
= K 1
a a

= T (a, b)
2
Z p
2
J(a, b) = a2 cos2 + b2 sin2 d
0
s
2
b
= aE 1
a

20
On a montre que si on introduit les suites, n > 0 avec a0 > 0, b0 > 0

an + bn

an+1 =

p2
bn+1 = a n bn



an bn
c =
n+1
2
alors I(an , bn ) = I(a0 , b0 ), n N.
Montrons que
n N,2J(an+1 , bn+1 ) J(an , bn ) = an bn I(an , bn )
cn
Pour cela, on pose kn = , n > 0, alors
an
p
kn0 = 1 kn2
s
c2
= 1 n2
an
s
a2 b2
= 1 n 2 n
an
bn
=
an

2J(an+1 , bn+1 ) = 2an+1 E(kn+1 )


J(an , bn ) = an E(kn )
Or :
an bn 1 kn0
kn+1 = =
an + bn 1 + kn0
Dapr`es la propriete de E(k), on obtient :
E(kn ) = (1 + kn0 )E(kn+1 ) kn0 K(kn )

1 2 an + bn bn
J(an , bn ) = J(an+1 , bn+1 ) K (kn )
an an 2an+1 an
| {z }
=1
2J(an+1 , bn+1 ) J(an , bn ) = an bn I(an , bn )
= an bn I(a0 , b0 )

21
On remarque que :

4a2n+1 2a2n 2an bn = (an + bn )2 2a2n 2an bn


= b2n a2n
= c2n , n > 1

On en deduit donc :

2n+1 [J(an+1 , bn+1 ) a2n+1 I(a0 , b0 )] 2n J(an , bn ) a2n I(a0 , b0 )

= 2n 2J(an+1 , bn+1 ) J(an , bn ) + (a2n 2a2n+1 )I(a0 , b0 )

= 2n an bn I(a0 , b0 ) + (a2n 2a2n+1 )I(a0 , b0 )
= 2n1 c2n I(a0 , b0 )

On somme :

X
2n1 c2n I(a0 , b0 ) = 2J(a1 , b1 ) + 2a21 I(a0 , b0 )
n=1
(a0 + b0 )2
= J(a0 , b0 ) a0 b0 I(a0 , b0 ) + I(a0 , b0 )
2
a2 + b20
= J(a0 , b0 ) + I(a0 , b0 ) 0
" 2 #
2 2 X
a0 + b0
J(a0 , b0 ) = I(a0 , b0 ) 2n1 c2n
2 n=1

En posant, a0 = 1, b0 = k 0 et c0 = k, on a :
"
#
1 + k 02 X n1 2
E(k) = K(k) 2 cn
2 n=1
"
#
1+k 02 X
K(k) E(k) = 1 + 2n1 c2n K(k)
2 n=1

K(k) E(k) k 2 X n1 2
= + 2 cn
K(k) 2 n=1

1X n 2
= 2 cn
2 n=0

22
avec :

K(k) =
2M (1, k 0 )
On a vu au paragraphe 4.1.2, en notant A = a0 b0 , n > 1,
A
cn 6
2n
A2
2n c2n 6
2n

X
X 1
2n c2n 6 A 2

n=N +1 n=N +1
2n
A2
=
2N
n
!
1X k 2
On a ainsi trouver deux suites et 2 ck qui approche
2an nN 2 k=0
nN
K(k) E(k)
respectivement K(k) et . On a donc un moyen de calcul rapide
K(k)
des integrales compl`etes.
Nous allons generaliser ce procede pour le calcul des integrales compl`etes.

5 Methode de calcul performante des int


egrales
incompl`
etes
Le principe est de construire deux suites (n )nN et (kn )nN permettant
de relier simplement F (n+1 , kn+1 ) et F (n , kn ). On choisit la suite des kn de
mani`ere `a ce quelle tende vers 0 pour pouvoir exploiter la relation F (, 0) =
vue en 2.2.1.
Introduisons les suites definies de la mani`ere suivante :
1 kn0
kn+1 =
1 + kn0

et tan(n+1 n ) = kn0 tan n

23
5.1 Relation entre F (n+1 , kn+1 ) et F (n , kn )
5.1.1 Expression de F (n+1 , kn+1 )

Z n+1
d
F (n+1 , kn+1 ) = q
0 2
1 kn+1 sin2
Z n+1
d
= s
0 (1 kn0 )2
1 sin2
(1 + kn0 )2
Z n+1
d
= (1 + kn0 ) p
0 (1 + kn0 )2 (1 kn0 )2 sin2
On sinteresse tout dabord `a linterieur de la racine carree :
0
(1 + kn0 )2 (1 kn0 )2 sin2 = (1 sin2 )(1 + kn2 ) + 2kn0 (cos2 + sin2 ) + 2kn0 sin2
0
= (1 + kn2 ) cos2 + 4kn0 sin2
| {z } |{z}
2 b
a+b = 4
=
a a

On revient donc `a lintegrale :


Z n+1
0 d
F (n+1 , kn+1 ) = (1 + kn ) r
(a + b)2
0 b
2
cos2 + 4 sin2
a a
Z n+1
d
= (1 + kn0 )a p
0 (a + b) cos2 + 4ab sin2
2
Z n+1
0 a d
= (1 + kn ) s
2 0 a+b
2
cos2 + ab sin2
2
Z n+1
0 a d
= (1 + kn ) p 2
2 0 a1 cos2 + b21 sin2
On fait le changement de variable :
a1
u=
tan

24
Z +
a du
F (n+1 , kn+1 ) = (1 + kn0 ) a1
p
2 (a21 + u2 )(b21 + u2 )
tan n+1

5.1.2 Expression de F (n , kn )

Z n
d
F (n , kn ) = p
0 1 kn2 sin2
Z n
d
= p
1 (1 kn0 )2 sin2
0
Z n
d
=
0 b2
cos2 + 2 sin2
a
Z n
d
= a
0 a cos + b2 sin2
2 2

On fait le changement de variable :


t = b tan
Z b tan n
dt
F (n , kn ) = a p
0 (a2 + t2 )(b2 + t2 )
On fait le changement de variable :

1 ab
u= t
2 t

Z 1 b tan n a
a 2 tan n v du
F (n , kn ) = !
2 u 2
u a + b
t + u2 u2 + ab
2
Z
a + v du
= 1 a !
2 b tan n uu

a + b
2

2 tan n t + u2 u2 + ab
2

25
5.1.3
Egalit
e
Or

tan(n+1 n ) = kn0 tan n


(1 + kn0 ) tan n
tan n+1 =
1 kn0 tan2 n
(a + b) tan n
=
a b tan2 n
1 a b tan2 n
=
tan n+1 (a + b) tan n
a+b a
= b tan n
tan n+1 tan n
Ce qui demontre legalite :
Z + Z +
d v du
a1 p = 1 a !
(a21 + u2 )(b21 + u2 ) b tan n u 2
tan n+1 2 tan n u a + b
t + u2 u2 + ab
2
Z +
a d
F (n+1 , kn+1 ) = (1 + kn0 )
a1
p
2 (a21 + u2 )(b21 + u2 )
tan n+1
Z
a + v du
F (n , kn ) = 1 a !
2 b tan n u u

a + b
2

2 tan n t + u2 u2 + ab
2
Donc F (n+1 , kn+1 ) = (1 + kn0 )F (n , kn )

5.2 Transformation de Landen descendante et retour


aux notations initiales
On definit les suites (n )nN et (n )nN par les relations suivantes :

0 =
n+1 6 n

(1 + sin n+1 )(1 + cos n ) = 2

26

0 =
n+1 > n

tan(n+1 n ) = cos n tan n
1 kn0
On verifie, en posant kn0 = cos n , la relation de recurrence kn+1 = .
1 + kn0
On a alors dapr`es la partie precedente :

F (, ) = (1 + cos )1 F (1 , 1 )
1
= (1 + sin 1 )F (1 , 1 )
2
..
.
n
Y
n
= 2 (1 + sin s )F (s , s )
s=1

Y
= (1 + sin s )
s=1
1
o`
u = lim F (n , n )
n 2n
n
= lim n
n 2

et

1 Y
K() = (1 + sin s )
2 s=1

Y 2
=
2 s=0 1 + cos s

Donc
2
F (, ) =
K().

Ceci nous donne donc un moyen de calcul de lintegrale elliptique de premier
type.

27
5.3 Algorithme de la moyenne arithm
etico-g
eom
etrique
On va construire les suites definies par la moyenne arithmetico-geometrique
(an )n>0 , (bn )n>0 et (cn )n>0 avec :
a0 = 1
b0 = cos
c0 = sin
1
an+1 = (an + bn )
2
p
bn+1 = a n bn
1
cn+1 = (an bn )
2
Grace `a la transformation de Landen, on va calculer les integrales elliptiques
en construisant la suite (n )n>0 definie par :
0 =
bn
tan(n+1 n ) = tan n , n+1 > n
an
` partir dun certain rang, N assez grand, aN et bN sont tr`es proches
A
donc cN est presque nul.

Ce qui nous permet dapprocher :



K() '
2aN

1 2 2 2 2 N 2

E() ' K() 1 c + 2c1 + 2 c2 + + 2 cN
2 0
N
F (, ) ' N
2 aN
Z(, ) ' c1 sin 1 + c2 sin 2 + + cN sin N
E()
E(, ) ' Z(, ) + F (, )
K()
Les methodes classiques : la methode des rectangles, la methode des
trap`ezes et la methode de Simpson sont respectivement dordre 1, 2 et 4,
alors que la methode de la moyenne arithmetico-geometrique converge expo-
nentiellement.

28
6 Applications
6.1 Calcul du champ magn
etique
6.1.1 Notations
Les notations utilisees par la suite sont les suivantes :

designe le rayon des anneaux


terminaux
L est la longueur des branches
z de lantenne
L Les axes sont choisis de facon `a ce
y
que le centre de lantenne ait pour
x coordonnees (x, y, z) = (0, 0, 0) et
que lanneau terminal du haut ait
une cote positive.

Fig. 2 Notations
On oriente le rep`ere de facon `a ce quil y ait deux branches sur laxe des x.
La premi`ere branche est celle situee sur le demi-axe x > 0. On note j langle
entre laxe des x et la j-i`eme branche de lantenne. Compte tenu du choix
de la premi`ere branche, 1 = 0 et, les autres branches etant equireparties,
langle j est donne par :

2(j 1)
1 6 j 6 N, j =
N
Le vecteur (I1 , . . . , IN ) des courants dans lanneau terminal du haut est :

1 6 j 6 N, Ij = I0 exp(ij )

M (r, , z) est la position du


point o`
u lon calcule le champ.
L
La position initiale est M , , .
2

29
6.1.2 Apparition des int
egrales elliptiques
On revient aux coordonnees du champ B ~ determinees dans la premi`ere
partie : Z 2

2(z z0 ) cos( 2 + )

Bx = d

1 R3 (1 k 2 sin2 )3/2

Z 2
2(z z0 ) sin( 2 + )
By = d

1 R3 (1 k 2 sin2 )3/2

Z 2

2(r + 2r sin2 )


Bz = d
1 R3 (1 k 2 sin2 )3/2
On va commencer par exprimer Bx en fonction des integrales elliptiques
canoniques :
Z
2(z z0 ) 2 cos(2 )
Bx = 2 d
R3 2
1 (1 k sin )
3/2

Z 2 Z 2
2(z z0 ) sin(2) sin cos(2) cos
Bx = d + d
R3 1 (1 k 2 sin2 )3/2 1 (1 k 2 sin2 )3/2
Z 2 Z 2
2(z z0 ) 2 sin cos 1 2 sin2
Bx = sin 2 d + cos d
R 3 2
1 (1 k sin )
3/2 (1 k 2 sin2 )3/2
| {z } | 1 {z }
= A(k,1 ,2 ) = B(k,1 ,2 )

Des manipulations similaires sur By donnent :


Z 2 Z 2
2(z z0 ) 2 sin cos 1 2 sin2
By = cos 2 d + sin d
R 3 2
1 (1 k sin )
3/2 (1 k 2 sin2 )3/2
| {z } | 1 {z }
= A(k,1 ,2 ) = B(k,1 ,2 )

Do`
u la necessite de calculer A et B :
Z 2
2 sin
A(k, 1 , 2 ) = 2 2 3/2
d(sin )
1 (1 k sin )
2
2 1
A(k, 1 , 2 ) = 2
k 1 k 2 sin2 1

30
B ne peut pas etre calculee de mani`ere exacte. Son expression va faire inter-
venir des integrales elliptiques. Ici on notera :
Z 2
E(k, 1 , 2 ) = (1 k 2 sin2 )1/2 d
1
Z 2
et F (k, 1 , 2 ) = (1 k 2 sin2 )1/2 d
1

On peut naturellement exprimer simplement ces deux integrales en fonction


des formes canoniques definies precedemment :
E(k, 1 , 2 ) = E(2 , k 2 )E(1 , k 2 ) et F (k, 1 , 2 ) = F (2 , k 2 )F (1 , k 2 )
Calcul de B :
Z 2
1 2 sin2
B(k, 1 , 2 ) = d
1 (1 k 2 sin2 )3/2
Z 2
1 k 2 2k 2 sin2
B(k, 1 , 2 ) = 2 d
k 1 (1 k 2 sin2 )3/2
Z 2
1 (2 2k 2 sin2 ) + (k 2 2)
B(k, 1 , 2 ) = 2 d
k 1 (1 k 2 sin2 )3/2
Z 2 Z 2
1 d 2 d
B(k, 1 , 2 ) = 2 2 2 + (k 2)
k 2
1 (1 k sin )
1/2
1 (1 k 2 sin2 )3/2
| {z } | {z }
= F (k,1 ,2 ) = C(k,1 ,2 )

On va voir que E apparat quant `a lui dans le calcul de C. En effet, pour


exprimer C, commencons par effectuer la derivee suivante :
d 2
k sin cos (1 k 2 sin2 )1/2
d

= k 2 (cos2 sin2 )(1 k 2 sin2 )1/2 + k 2 sin cos k 2 sin cos (1 k 2 sin2 )3/2
k 2 (1 2 sin2 ) k 4 sin2 cos2
= +
(1 k 2 sin2 )1/2 (1 k 2 sin2 )3/2

k 2 (1 2sin2 )(1 k 2 sin2 ) + k 2 sin2 cos2
=
(1 k 2 sin2 )3/2

31
Et :

k 2 (1 2sin2 )(1 k 2 sin2 ) + k 2 sin2 cos2

= k 2 (1 2 sin2 ) k 2 sin2 (1 2 sin2 ) + k 2 sin2 (1 sin2 )

= k 2 (1 2 sin2 ) + k 2 sin4
= 1 2k 2 sin2 + k 4 sin4 + k 2 1
= (1 k 2 sin2 )2 + k 2 1

Donc :
d 2 (1 k 2 sin2 )2 + k 2 1
k sin cos (1 k 2 sin2 )1/2 =
d (1 k 2 sin2 )3/2

Soit :
d 2
k sin cos (1 k 2 sin2 )1/2 = (1 k 2 sin2 )1/2 + (k 2 1)(1 k 2 sin2 )3/2
d
Ceci nous am`ene donc `a :
d k2 sin cos d 1
2 = 2 2 2 (1 k 2 sin2 )1/2 d
2
(1 k sin )3/2 k 1 (1 k sin )
2 1/2 k 1

En integrant les deux membres de 1 `a 2 , on a lexpression de C :


Z 2 2 Z 2
d k2 sin cos d 1
= 2 (1k 2 sin2 )1/2 d
1 (1 k 2 sin2 )1/2 k 1 (1 k 2 sin2 )3/2 1 k 2 1 1
2
k2 sin cos d 1
Soit : C(k, 1 , 2 ) = 2 2 2 E(k, 1 , 2 )
k 1 (1 k sin )
2 1/2
1 k 1
Donc Bx et By peuvent sexprimer en fonction de E et F qui sont les mod`eles
dintegrales elliptiques respectivement des premier et deuxi`eme types. Il en
est de meme pour Bz :
Z 2
2(r + 2r sin2 )
Bz = d
1 R3 (1 k 2 sin2 )3/2
Z 2 Z 2
1 22 2r(1 2 sin2 )
Bz = d + d
R3 1 (1 k 2 sin2 )3/2 1 R3 (1 k 2 sin2 )3/2

32
Do`
u:
2r
Bz = 22 C(k, 1 , 2 ) B(k, 1 , 2 )
R3 k 2
2r 2
Bz = 22 C(k, 1 , 2 ) 3 2
(k 2)C(k, 1 , 2 ) + 2F (k, 1 , 2 )
R k

2 [k 2 (r + 2 ) 2r] 4r
Bz = 3 2
C(k, 1 , 2 ) 3 2 F (k, 1 , 2 )
R k R k

Finalement, on obtient un champ magnetique dont les coordonnees peuvent


sexprimer en fonction des integrales elliptiques de premi`ere et deuxi`eme
esp`eces :

2(z z0 ) cos 2

Bx = sin A(k, 1 , 2 ) + 2F (k, 1 , 2 ) + (k 2)C(k, 1 , 2 )

R3 k2

2(z z0 ) sin
By = cos A(k, 1 , 2 ) + 2F (k, 1 , 2 ) + (k 2 2)C(k, 1 , 2

R 3 k 2

2 [k 2 (r + 2 ) 2r] 4r
Bz = C(k, 1 , 2 ) 3 2 F (k, 1 , 2 )
3
R k 2 R k

6.1.3 Calculs
Le champ magnetique cree par le j-i`eme arc de cercle de lanneau terminal
du haut est donc :
~j (x) = 0 Ij B j
Bah


4 x

0 Ij j
B~ah
j
(y) = B


4 y


B~j (z) = 0 Ij B j
ah
4 z
u Bxj , Bxj , et Bxj designe les composantes du champ, exprimees precedemment,
o`
calculees avec 1 = j et 2 = j+1 .
Le champ magnetique cree par le j-i`eme arc de cercle de lanneau terminal

33
L L
du bas est obtenu en remplacant Ij par Ij et par , soit :
2 2
0 Ij j

j
Bab (x) = Bx

4


j 0 Ij j
Bab (y) = By

4



B j (z) = 0 Ij B j
ab z
4
Le champ magnetique cree par la j-i`eme branche est donne par la formule
suivante :

j 0 Ij i (r sin + sin j ) exp(ij )Bb x

Bb (x) = 2i exp sin

4 N N (r cos cos j )2 + (r sin sin j )2



j 0 Ij i (r cos + cos j ) exp(ij )Bb y

B (y) = 2i exp sin

b
4 N N (r cos cos j )2 + (r sin sin j )2

j
Bb (z) = 0

L
z 2
Bb x = q 2
(r cos cos j )2 + (r sin sin j )2 + z L2
L
z+ 2
q 2
(r cos cos j )2 + (r sin sin j )2 + z + L2
L
z 2
Bb y = q 2
(r cos cos j )2 + (r sin sin j )2 + z L2
L
z+ 2
q 2
(r cos cos j )2 + (r sin sin j )2 + z + L2

Le champ magnetique total cree par lantenne cage doiseau est donc
donne par la formule suivante :
N
X

j

j


B(x, y, z) = Bah + Bab + Bbj
j=1

34
6.2 Calcul de la p
eriode doscillation dun pendule
Les integrales elliptiques ont dautres applications. Considerons par exemple
un probl`eme physique tr`es simple : celui du pendule oscillant. Si lon ne sup-
pose pas que les oscillations restent au voisinage de la position dequilibre
(approximation dite des petits angles), le calcul de la periode doscillation
conduit `a une integrale elliptique.

Soit un pendule constitue dune masse ponctuelle m fixee `a lextremite


dune tige rigide de masse nulle et de longueur R. Lacceleration de pesanteur
est notee g. Initialement, la tige forme avec la position dequilibre un angle
et le pendule est lache sans vitesse initiale.
On travaille dans le rep`ere de Frenet (u

T , uN ) et on rep`
ere la position du
pendule par langle quil forme avec la position dequilibre.
La vitesse de la masse ponctuelle est tangentielle :
d
~v =
v
T = R u

T = v uT
dt
Son acceleration secrit donc :
d~v dv d
u
u
T
~a = = T + v
dt dt dt}
| {z
=aN
u
N

Do`
u lacceleration tangentielle qui sera la seule utile ici :


d d
aT = R u
T
dt dt

Le pendule est soumis `a laction de la pesanteur : P~ = m~g , o`


u ~g est le vecteur
de lacceleration de pesanteur, de norme g. La composante tangentielle du

35
poids est :
P~ .
u
T = mg sin

En outre, il subit egalement la tension de la tige, dont la composante ortho-


radiale est nulle. Finalement, la projection sur la direction u
T de la relation
fondamentale de la dynamique secrit :

maT = mg sin
d2
mR 2 = mg sin
dt
Do`
u lequation differentielle :

d2 g
sin = 0
dt2 |{z}
R
=02

d
En multipliant les deux membres par puis en integrant par rapport au
dt
temps, on obtient :
2
d d 2 d
0 sin = 0
dt2 dt dt
2
1 d
02 cos = k
2 dt

Si langle maximal doscillation du pendule du pendule est , alors en = ,


d
on a = 0, ce qui conduit `a k = 02 cos . Do`
u, en considerant la racine
dt
positive de la vitesse :
d p
= 0 2(cos cos )
dt
d
soit : p = 0 dt
2(cos cos )

Le temps necessaire pour que passe de 0 `a est le quart de la periode


totale. Do`
u: Z
T d
0 =
4 0 cos cos

36

2
On utilise cos = 1 2 sin et cos = 1 2 sin2 . En posant p =
2 2
sin , on a :
2 s Z
R d
T =2 q
g 0 p2 sin2 2


On effectue le changement de variable : sin = p sin . Alors quand =
2

, = . En outre :
2

d
cos p cos()d
2 2 p
2p 1 sin2
d q d
2
1 sin 2
q
2 p2 sin2 2
d p d
1 p2 sin2

Alors on trouve lexpression de T :


s Z
R /2 d
T =4 p
g 0 1 p2 sin2

Elle fait effectivement intervenir une integrale elliptique de premi`ere esp`ece :


s
R
T =4 F ( , p2 )
g 2

Nos programmes de calcul de cette integrale permettent de donner une valeur



numerique approchee du resultat avec un angle initial de et R = 0, 5 m :
4
la methode des rectangles pour une subdivision en 10 sous-intervalles
donne T ' 1, 4699 s ;
avec la meme subdivision, la methode des trap`ezes donne T ' 1, 4752 s ;
la methode arithmetico-geometrique donne le meme resultat en 4 iterations
de la boucle seulement.

37