Annexe 3.
∫ ( ∇ϕ )
2
dV = 0 (Ann3.1-8)
Ω
Soit encore :
∀x ∈ Ω : ∇ ϕ ( x ) = 0 (Ann3.1-9)
Prenons maintenant un point y ∈ ∂Ω D , nous savons, d’après (Ann3.1-5) que :
ϕ (y) = 0 (Ann3.1-10)
L’intégration de (Ann3.1-9) sur un chemin quelconque entre y et x ∈ Ω donne :
x
∫ dl ⋅∇ϕ = 0
y
Soit :
[ϕ ]y = ϕ ( x ) − ϕ ( y ) = 0
x
Puisque x est quelconque dans Ω , il vient :
∀x ∈ Ω : ϕ ( x ) = 0 (Ann3.1-11)
La fonction ϕ est identiquement nulle sur Ω d’où l’unicité de la solution du problème
défini par (Ann3.1-1), (Ann3.1-2) et (Ann3.1-3), ce qui clôt la démonstration.
92
Annexe 3.2
Annexe 3.2
Solution de l’équation de Laplace en symétrie de
révolution
Soit l’équation de Laplace suivante à résoudre :
∇2 = 0 (Ann3.2-1)
où est la fonction scalaire que l’on cherche à déterminer.
En coordonnées sphériques, l’équation (Ann3.2-1) s’écrit :
1 ∂ 2∂ 1 ∂ ∂ 1 ∂2
r sin θ =0 (Ann3.2-1)
r 2 ∂r ∂r sin θ ∂θ ∂θ sin 2 θ ∂ 2
Si l’on observe la symétrie axiale, c’est-à-dire si :
∂
=0 (Ann3.2-3)
∂
alors l’équation (Ann3.2-2) devient :
∂ 2∂ 1 ∂ ∂
r sin θ =0 (Ann3.2-4)
∂r ∂r sin θ ∂θ ∂θ
On effectue maintenant la séparation des variables. Pour ce faire, on suppose que la
solution s’écrit sous la forme :
= R (r ) (θ ) (Ann3.2-5)
que l’on introduit dans (Ann3.2-4). Ceci implique les deux équations suivantes :
1 d 2 dR
r = l ( l 1) (Ann3.2-6)
R dr dr
1 d d
sin θ = −l ( l 1) (Ann3.2-7)
sin θ dθ dθ
où l est un paramètre entier indépendant de r et de θ .
La solution de l’équation (Ann3.2-6) prend la forme simple suivante :
Rl ( r ) = c1, l r −(l 1)
c2, l r l (Ann3.2-8)
Tandis que l’équation (Ann3.2-7) est résolue par développement en série infinie.
L’identification des coefficients des puissances croissantes de θ (plus précisément de
cos θ ) implique la forme suivante de la solution :
l ( x ) = Pl ( x ) (Ann3.2-9)
93
Annexe 3.2
où :
x = cos (θ ) (Ann3.2-10)
et Pl ( x ) est le polynôme de Legendre normalisé d’ordre l . Il est défini par :
y1 ( x ) si l pair
Pl ( x ) = c3, l (Ann3.2-11)
y2 ( x ) si l impair
où :
( l − 2n 2 ) ... ( l − 2 ) l (l 1)( l 3) ... ( l 2n − 1)
y1 ( x ) = 1 ( −1)
n
x 2 n (Ann3.2-12)
n =1 ( 2n ) !
( l − 2n 1) ... ( l − 3)( l − 1) ( l 2 )( l 4 ) ... ( l 2n )
y2 ( x ) = x ( −1)
n
x 2 n 1 (Ann3.2-13)
n =1 ( 2n 1)!
Les premiers polynômes de Legendre s’écrivent comme suit :
P0 ( x ) = 1
P1 ( x ) = x
P2 ( x ) = 1
2 ( 3x − 1) 2
P3 ( x ) = 1
2 ( 5 x − 3x )
3
P4 ( x ) = 18 ( 35x − 30 x 3)
4 2
P5 ( x ) = 18 ( 63x − 70 x 15x )
5 3
P6 ( x ) = 161 ( 231x − 315x 105x6 4 2
− 5)
La solution générale de l’équation de Laplace sera la somme de toutes ces fonctions
particulières, Rl ( r ) Pl ( cos θ ) , soit :
( r, θ ) =
l =0
(c 1, l r −( l 1)
)
c2, l r l Pl ( cos θ ) (Ann3.2-14)
Les coefficients qui interviennent dans (Ann3.2-8) et (Ann3.2-11) sont déduits des
conditions aux limites associées à l’équation différentielle (Ann3.2-1).
Dans le cas où est le potentiel électrique qu’on cherche à calculer, l’unique solution
qui garantit l’uniformité du champ à l’infini est celle qui comprend un terme en cos θ , soit
celle qui correspond à l = 1 :
1
( r, θ ) = c1,1 c2,1r cos θ (Ann3.2-15)
r2
94