Équation de Laplace

En analyse vectorielle, l'équation de Laplace est une équation aux dérivées partielles du second ordre, dont le nom est un hommage au physicien mathématicien Pierre-Simon de Laplace.

Introduite pour les besoins de la mécanique newtonienne, l'équation de Laplace apparait dans de nombreuses autres branches de la physique théorique : astronomie, électrostatique, mécanique des fluides, propagation de la chaleur, diffusion, mouvement brownien, mécanique quantique.

Les fonctions solutions de l'équation de Laplace sont appelées les fonctions harmoniques.

Sommaire

1 Équation de Laplace à trois dimensions
2 Équation de Laplace à deux dimensions
- 2.1 Rappels sur les fonctions holomorphes
- 2.2 Résultats sur l'équation de Laplace et les fonctions holomorphes
3 Équation de Poisson
4 Notes et référence
5 Articles connexes

Équation de Laplace à trois dimensions

En coordonnées cartésiennes dans un espace euclidien de dimension 3, le problème consiste à trouver toutes les fonctions à trois variables réelles $ψ(x, y, z)$ qui vérifient l'équation aux dérivées partielles^[1] du second ordre :

$\frac{\partial^2 \psi}{\partial x^2} \ + \ \frac{\partial^2 \psi}{\partial y^2} \ + \ \frac{\partial^2 \psi}{\partial z^2} \ = \ 0$

Pour simplifier l'écriture, on introduit un opérateur différentiel noté $Δ$ et appelé opérateur de Laplace, ou simplement laplacien, tel que l'équation aux dérivées partielles précédente s'écrive de façon compacte :

$\Delta \psi \ = \ 0$

Équation de Laplace à deux dimensions

En coordonnées cartésiennes dans un espace euclidien de dimension 2, le problème consiste à trouver toutes les fonctions à deux variables réelles $V (x, y)$ qui vérifient :

$\frac{\partial^2 V}{\partial x^2} \ + \ \frac{\partial^2 V}{\partial y^2} \ = \ 0$

On montre que toute fonction holomorphe donne des solutions de l'équation de Laplace à deux dimensions par leur partie réelle et par leur partie imaginaire ; de plus, ces solutions sont orthogonales en tout point.

Rappels sur les fonctions holomorphes

Toute fonction polynomiale à coefficients complexes est holomorphe sur $\mathbb C$ ; aussi le sont les fonctions trigonométriques et la fonction exponentielle. (Les fonctions trigonométriques sont en fait relativement proches de la fonction exponentielle puisqu'elles peuvent être définies à partir de celle-ci en utilisant les formules d'Euler).

La fonction logarithme est holomorphe sur l'ensemble des nombres complexes privé de la demi-droite des réels négatifs (on parle de "coupure").

La fonction racine carrée peut être définie par $\sqrt{z} = e^{{1 \over 2} \ln{z}}$ et est ainsi holomorphe partout où la fonction logarithme l'est.

Les fonctions trigonométriques réciproques ont de la même manière des coupures et sont holomorphes partout sauf aux coupures.

La fonction inverse $z\mapsto 1/z$ est holomorphe sur $\mathbb C^*$ .

Résultats sur l'équation de Laplace et les fonctions holomorphes

Premier théorème

Théorème — Toute fonction holomorphe est harmonique.

Démonstration

Pour toute fonction $F$ sur $\C$ de classe C² on a, d'après le théorème de Schwarz :

$\frac{\partial^2F}{\partial x\partial y}=\frac{\partial^2F}{\partial y\partial x}$ ,

dont on déduit :

$\Delta F=4\partial(\overline\partial F)$ ,

où les deux opérateurs différentiels $\partial$ et $\overline\partial$ sont définis par^[2] :

$\partial=\frac12\left(\frac\partial{\partial x}-i\frac\partial{\partial y}\right),\qquad\overline\partial=\frac12\left(\frac\partial{\partial x}+i\frac\partial{\partial y}\right)$ .

Si $F$ est holomorphe, elle vérifie de plus l'équation de Cauchy-Riemann :

$\overline\partial F=0$ ,

si bien que^[2] :

$\Delta F=4\partial(\overline\partial F)=4\partial0=0$ .

Remarque: (cas particulier de la décomposition d'un laplacien vectoriel). Si la décomposition d'une fonction complexe $F$ en partie réelle et partie imaginaire s'écrit

$F~=~V~+~i~\Phi$

alors celle de son laplacien s'écrit :

$\Delta F~=~\Delta V~+~i~\Delta\Phi$ ,

donc $F$ est harmonique si et seulement si $V$ et $Φ$ le sont. Par conséquent, la partie réelle et la partie imaginaire d'une fonction holomorphe sont harmoniques.

Second théorème

Théorème — Les lignes de niveau de la partie réelle et de la partie imaginaire d'une fonction holomorphe sont orthogonales.

Démonstration

Avec les mêmes notations que précédemment, les équations de Cauchy-Riemann s'écrivent aussi :

$\frac{\partial V}{\partial x} \ = \ \frac{\partial \Phi}{\partial y} \qquad \mathrm{et} \qquad \frac{\partial V}{\partial y} \ = \ - \ \frac{\partial\Phi}{\partial x}$

(ce qui s'interprète en termes de transformation conforme). On en déduit immédiatement :

$\frac{\partial V}{\partial x} \cdot \frac{\partial \Phi}{\partial x} \ + \ \frac{\partial V}{\partial y} \cdot \frac{\partial \Phi}{\partial y} \ = \ 0$ .

On reconnait là le produit scalaire des deux vecteurs :

$\overrightarrow\operatorname{grad} \ (V) \cdot\overrightarrow\operatorname{grad} \ (\Phi) \ = \ 0$

On en déduit que les courbes à « $V (x, y) =$ constante » et « $Φ(x, y) =$ constante » sont perpendiculaires. Autrement dit : les lignes de champ de $V$ sont les équipotentielles de $Φ$ (et inversement).

Équation de Poisson

Si le membre de droite est une fonction donnée $f (x, y, z)$ , on obtient l'équation de Poisson :

$\Delta \varphi = f$

Notes et référence

↑ Comme pour toute équation aux dérivées partielles, il faut en général spécifier des conditions aux limites pour que le problème soit mathématiquement « bien posé ». Il se peut cependant que le problème soit mal posé, bien que des conditions aient été fixées (par exemple, des conditions aux limites de Neumann sur l'entièreté du bord du domaine). Aucune condition initiale n'est nécessaire, en revanche.
↑ ^{a et b} Walter Rudin, Analyse réelle et complexe [détail des éditions]

Articles connexes

v · Analyse vectorielle
Objets d'étude	Champ de vecteurs • Champ scalaire • Équation aux dérivées partielles (de Laplace et de Poisson)
Opérateurs	Nabla • Gradient • Rotationnel • Divergence • Laplacien scalaire • Bilaplacien • Laplacien vectoriel • D'alembertien
Théorèmes	de Green • de Stokes • de Helmholtz • de flux-divergence • du gradient • du rotationnel

Catégories :

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Équation de Laplace de Wikipédia en français (auteurs)

Игры ⚽ Нужна курсовая?

Regardez d'autres dictionnaires:

Equation de Laplace — Équation de Laplace Articles d analyse vectorielle Objet … Wikipédia en Français
Équation de laplace — Articles d analyse vectorielle Objet … Wikipédia en Français
Equation de Poisson — Équation de Poisson Pour les articles homonymes, voir Poisson (homonymie). Articles d analyse vectorielle … Wikipédia en Français
Équation de poisson — Pour les articles homonymes, voir Poisson (homonymie). Articles d analyse vectorielle … Wikipédia en Français
Equation aux derivees partielles — Équation aux dérivées partielles En mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles ou équation différentielle partielle (EDP) est une équation dont les solutions sont les fonctions inconnues vérifiant … Wikipédia en Français
Équation différentielle partielle — Équation aux dérivées partielles En mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles ou équation différentielle partielle (EDP) est une équation dont les solutions sont les fonctions inconnues vérifiant … Wikipédia en Français
Équation de Poisson — Pour les articles homonymes, voir Poisson (homonymie). En analyse vectorielle, l équation de Poisson (ainsi nommée en l honneur du mathématicien et physicien français Siméon Denis Poisson) est l équation aux dérivées partielles du second ordre… … Wikipédia en Français
Équation aux dérivées partielles — En mathématiques, plus précisément en calcul différentiel, une équation aux dérivées partielles (EDP) est une équation dont les solutions sont les fonctions inconnues vérifiant certaines conditions concernant leurs dérivées partielles. Une EDP a… … Wikipédia en Français
Laplace — Cette page d’homonymie répertorie les différents sujets et articles partageant un même nom. Sommaire 1 Patronyme 2 Toponyme 3 Science … Wikipédia en Français
Equation differentielle — Équation différentielle En mathématiques, une équation différentielle est une relation entre une ou plusieurs fonctions inconnues et leurs dérivées. L ordre d une équation différentielle correspond au degré maximal de différenciation auquel une… … Wikipédia en Français

Dictionnaires et Encyclopédies sur 'Academic'

Équation de Laplace

Sommaire

Équation de Laplace à trois dimensions