Théorème d'unicité de Stokes

Un article de Wikipédia, l'encyclopédie libre.

Vous avez de nouveaux messages (diff^?).

Sommaire

1 Énoncé et démonstration du théorème d'unicité de Stokes
2 Intérêt et désavantage du théorème de Stokes
3 Principe de Dirichlet
4 Bibliographie

[modifier] Énoncé et démonstration du théorème d'unicité de Stokes

George Stokes (1819–1903)

Ce théorème peut s'énoncer de la manière suivante : Etant donnée une surface équipotentielle Σ qui renferme en son intérieur toute la matière, le potentiel extérieur à Σ n'est pas modifié lorsqu'on modifie la répartition des masses de telle façon que Σ reste la même surface équipotentielle. En termes plus mathématiques, ce théorème peut aussi s'énoncer comme suit : Une fonction V harmonique^[1] à l'extérieur d'une équipotentielle Σ est déterminée de façon unique par ses valeurs sur Σ.

La démonstration de cette proposition est aisée. En effet, soit un champ de densité qui donne lieu à un potentiel V, et soit Σ une surface fermée régulière (de normale extérieure unitaire n) qui renferme toutes les masses. En élargissant éventuellement le domaine B intérieur à cette surface, on admettra que V est constant sur Σ. Supposons maintenant qu'il existe une distribution de matière différente qui génère un autre potentiel, désigné par V', mais qui prend sur Σ les mêmes valeurs que V. Soit V^* = V'–V. Alors, d'après notre hypothèse : V^* = 0 sur Σ. Posons u = v= V^* dans la première identité de Green, qui peut s'écrire

∭_B u ∇²v dτ + ∭_B ∇u ⋅ ∇v dτ = ∬_Σ u (dv/dn) dσ.

On trouve alors

∭_B [V^* ∇²V^* + (∇V^*)²] dτ = ∬_Σ V^* (dV^*/dn) dσ.

Désignons par ∁_B le complément du volume B intérieur à la surface Σ, autrement dit la région extérieure à Σ. V^* étant la différence de deux fonctions harmoniques dans ∁_B est elle-même une fonction harmonique dans ∁_B : ∇²V^* = 0 dans ∁_B. Par conséquent, les conditions de régularité sont satisfaites par V^*, et on peut appliquer l'identité précédente à la région B extérieure à Σ, c'est-à-dire à B=∁_B. En outre, par définition, V^* = 0 sur Σ. Pour V^* la première identité dentité de Green prend donc la forme :

∭_{∁_B} (∇V^*)² dτ,

ou encore

∭_{∁_B} [(∂V^*/∂x₁)² + (∂V^*/∂x₂)² + (∂V^*/∂x₃)²] dx₁ dx₂ dx₃ = 0.

Cette relation implique nécessairement que

∂V^*/∂x₁ = ∂V^*/∂x₂ = ∂V^*/∂x₃ = 0

ou encore

V^*(x₁,x₂,x₃) = const.

Or, V^* étant une fonction harmonique, on doit avoir V^*(∞) = 0, ce qui entraîne V^*(x₁,x₂,x₃) ≡ 0 dans ∁_B et par conséquent V' ≡ V dans ∁_B. La solution à l'extérieur du domaine B est donc unique.

[modifier] Intérêt et désavantage du théorème de Stokes

Ce théorème d'unicité du potentiel gravifique extérieur dû à George Stokes (1819–1903) est très important. Il implique à la fois un avantage et un inconvénient. En effet, une fois qu'on a trouvé une solution V de l'équation de Laplace satisfaisant les conditions aux limites, à savoir V = V_o sur l'équipotentielle donnée Σ et V(∞) = 0, il n'y a plus besoin de chercher plus loin pour trouver une solution plus générale : la solution trouvée constitue la solution unique correspondant à l'équipotentielle Σ : V = V_o. Cela constitue indéniablement un avantage. Selon le cas, l'équipotentielle envisagée peut être le géoïde, un ellipsoîde normal, une figure d'équilibre hydrostatique, ou toute autre surface de référence équipotentielle produisant un champ gravifique dans l'espace extérieur. Par contre, la connaissance du champ extérieur ne permet pas de déduire de manière unique la distribution des masses qui produit l'équipotentielle et le champ extérieur associé. Cela est incontestablement un inconvénient. Il existe en général une infinité de distributions massiques qui donnent lieu au même potentiel extérieur. Cela signifie que le problème inverse de la théorie du potentiel n'a pas de solution unique. En adoptant le point de vue d'un géophysicien s'occupant de la structure interne de la Terre ou des planètes, le théorème d'unicité de Stokes est appelé, de façon plus appropriée, le théorème de non-unicité de Stokes. La méthode gravimétrique est donc, par essence, d'un intérêt limité pour inférer la loi de densité interne d'un corps cosmique. Néanmoins, combinée à des informations complémentaires obtenues par des méthodes qui ne font pas appel à la géodésie, la gravimétrie s'avère très utile pour déterminer des différences de densité variables avec la profondeur, la latitude et la longitude.

[modifier] Principe de Dirichlet

Johann Peter Gustav Lejeune Dirichlet (1805–1859)

D'un point de vue plus mathématique, signalons encore que le théorème de Stokes montre qu'il ne peut y avoir qu'une seule fonction harmonique V qui prend des valeurs données sur une surface-frontière Σ. Il n'établit pas l'existence d'une telle fonction harmonique. L'assertion que pour des valeurs-limites arbitrairement prescrites il existe toujours une fonction harmonique V qui prend sur Σ les valeurs-limites données s'appelle le principe de Dirichlet.

Nous sommes en présence de deux cas distincts : V est harmonique à l'extérieur de Σ et V est harmonique à l'intérieur de Σ. Le principe de Dirichlet a été prouvé dans des situations très générales par des travaux de nombreux mathématiciens, parmi lesquels il convient de mentionner Henri Poincaré et David Hilbert ; la démonstration en est fort difficile. Le problème qui consiste à calculer la fonction harmonique (à l'intérieur ou à l'extérieur de Σ) à partir de ses valeurs-limites sur Σ est le problème de Dirichlet, ou encore le premier problème aux valeurs-limites de la théorie du potentiel. Ce problème se pose notamment en géodésie.