Théorème d'unicité de Stokes

Le théorème d'unicité de Stokes, dû à George Stokes, trouve des applications en mécanique des fluides.

Énoncé et démonstration

modifier
 
George Stokes (18191903)

Ce théorème peut s'énoncer de la manière suivante : étant donné 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   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  , et soit   une surface fermée régulière (de normale extérieure unitaire  ) qui renferme toutes les masses. En élargissant éventuellement le domaine   intérieur à cette surface, on admettra que   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  , mais qui prend sur   les mêmes valeurs que  . Soit   =  . Alors, d'après notre hypothèse :   sur  . Posons   dans la première identité de Green, qui peut s'écrire :

 

On trouve alors

 

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

 ,

ou encore

 

Cette relation implique nécessairement que

 

ou encore

 


Or,   étant une fonction harmonique, on doit avoir  , ce qui entraîne   dans   et par conséquent   dans  . La solution à l'extérieur du domaine   est donc unique.

Intérêt et désavantage

modifier

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   de l'équation de Laplace satisfaisant les conditions aux limites, à savoir   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   :  . 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

modifier
 
Johann Peter Gustav Lejeune Dirichlet (18051859)

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   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   qui prend sur   les valeurs-limites données s'appelle le principe de Dirichlet.

Nous sommes en présence de deux cas distincts :   est harmonique à l'extérieur de   et   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

modifier
  1. Une fonction harmonique   est une solution quelconque de l'équation de Laplace :  

Voir aussi

modifier

Bibliographie

modifier
  • W.A. Heiskanen et H. Moritz, Physical Geodesy, W.H. Freeman and Company, San Francisco and London, 1967, xi+364 pages.

Articles connexes

modifier