- Théorème d'unicité de stokes
-
Théorème d'unicité de Stokes
Pour les articles homonymes, voir Stokes.Le théorème d'unicité de Stokes, dû à George Stokes, trouve des applications en mécanique des fluides.
Sommaire
Énoncé et démonstration
Ce théorème peut s'énoncer de la manière suivante : étant 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 :
Théorème d'unicité de Stokes — 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
) 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 :
On trouve alors
![\iiint_B \left[V^{*} \nabla^2 V^* + (\nabla V^*)^2\right]\,\mathrm d \tau = \iint_{\Sigma} V^* \left(\frac{\mathrm d V^*}{\mathrm d n}\right) \mathrm d \sigma](/pictures/frwiki/100/db33978712425f6904ae88b09cc61d93.png)
Désignons par CB le complémentaire du volume B intérieur à la surface Σ, autrement dit la région extérieure à Σ. V * étant la différence de deux fonctions harmoniques dans CB est elle-même une fonction harmonique dans CB :
dans CB. 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 = CB. En outre, par définition, V * = 0 sur Σ. Pour V * la première identité de Green prend donc la forme :
,ou encore
![\iiint_{\complement_B} \left[ \left( \frac{\partial V^*}{\partial x_1} \right) ^{2} + \left( \frac{\partial V^*}{\partial x_2} \right)^2 + \left( \frac{\partial V^*}{\partial x_3} \right)^2 \right] \mathrm{d} x_1 \mathrm{d} x_2 \mathrm{d} x_3 = 0](/pictures/frwiki/55/7dcca02bc79f09dd5b5cdd80a0fff2f9.png)
Cette relation implique nécessairement que
ou encore
V * (x1,x2,x3) = constante
Or, V * étant une fonction harmonique, on doit avoir
, ce qui entraîne 
dans CB et par conséquent 
dans CB. La solution à l'extérieur du domaine B est donc unique.Intérêt et désavantage
Ce théorème d'unicité du potentiel gravifique extérieur 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 = V0 sur l'équipotentielle donnée Σ et
, 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 = V0. 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.
Principe de Dirichlet
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.
Notes et références
- ↑ Une fonction harmonique V est une solution quelconque de l'équation de Laplace :
Bibliographie
- W.A. Heiskanen et H. Moritz, Physical Geodesy, W.H. Freeman and Company, San Francisco and London, 1967, xi+364 pages.
Portail de la géodésie et de la géophysique
Portail de la physique
Portail des mathématiques
Catégories : Géodésie | Physique mathématique | Mécanique | Théorème de physique | Théorème de mathématiques - ↑ Une fonction harmonique V est une solution quelconque de l'équation de Laplace :
Wikimedia Foundation. 2010.
