Le projecteur de Leray, nommé d'après Jean Leray, est un opérateur linéaire utilisé dans la théorie des équations aux dérivées partielles, plus spécialement en dynamique des fluides. De manière informelle, il peut être vu comme la projection sur les champs de vecteurs à divergence nulle. Il est utilisé en particulier pour éliminer à la fois la pression et le terme d'incompressibilité dans les équations de Stokes et les équations de Navier-Stokes.
Pour les champs de vecteurs
(en dimension quelconque
), le projecteur de Leray
est défini par
![{\displaystyle \mathbb {P} (\mathbf {u} )=\mathbf {u} -\nabla \Delta ^{-1}(\nabla \cdot \mathbf {u} ).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ad3fb4881b686bbef0b233cd514222858434cf19)
Cette définition est à comprendre au sens des opérateurs pseudo-différentiels : son multiplicateur de Fourier à valeurs matricielles
est donné par
![{\displaystyle m(\xi )_{kj}=\delta _{kj}-{\frac {\xi _{k}\xi _{j}}{\vert \xi \vert ^{2}}},\quad 1\leq k,j\leq n.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/acb4957d9ad8b646f7c398b5a7a36cf628df1cc4)
Ici,
est le symbole de Kronecker. Formellement, cela signifie que pour tout
, on a
![{\displaystyle \mathbb {P} (\mathbf {u} )_{k}(x)={\frac {1}{(2\pi )^{n/2}}}\int _{\mathbb {R} ^{n}}\left(\delta _{kj}-{\frac {\xi _{k}\xi _{j}}{\vert \xi \vert ^{2}}}\right){\widehat {\mathbf {u} }}_{j}(\xi )\,e^{i\xi \cdot x}\,\mathrm {d} \xi ,\quad 1\leq k\leq n}](https://wikimedia.org/api/rest_v1/media/math/render/svg/bb872c91257edbef52f5ad9afda0639789c95e52)
où
est l'espace de Schwartz. On utilise ici la convention de sommation d'Einstein.
Il est possible de montrer qu'un champ de vecteurs
donné se décompose sous la forme
![{\displaystyle \mathbf {u} =\nabla q+\mathbf {v} ,\quad {\text{avec}}\quad \nabla \cdot \mathbf {v} =0.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/e5c91a2a6ee186e2dcb80d6032d56a5488d7c33b)
Au contraire de la décomposition de Helmholtz, la décomposition de
Helmholtz-Leray de
est unique (à une constante additive
près pour
). Nous pouvons alors définir
par
![{\displaystyle \mathbb {P} (\mathbf {u} )=\mathbf {v} .}](https://wikimedia.org/api/rest_v1/media/math/render/svg/329a6009c804a631bb72ddba0b6424c48f189353)
Le projecteur de Leray a les propriétés remarquables suivantes :
- Le projecteur de Leray est un projecteur :
pour tout
.
- Le projecteur de Leray est un opérateur à divergence nulle :
pour tout
.
- Le projecteur de Leray est simplement l'identité pour les champs de vecteurs à divergence nulle :
pour tout
tel que
.
- Le projecteur de Leray s'annule sur tous les champs de vecteurs qui dérivent d'un potentiel :
pour tout
.
Les équations de Navier-Stokes (incompressibles) sont
![{\displaystyle {\frac {\partial \mathbf {u} }{\partial t}}-\nu \,\Delta \mathbf {u} +(\mathbf {u} \cdot \nabla )\mathbf {u} +\nabla p=\mathbf {f} }](https://wikimedia.org/api/rest_v1/media/math/render/svg/8d44928c8df818f9279c4ef4638c8d8723b9408d)
![{\displaystyle \nabla \cdot \mathbf {u} =0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8f70c85ec868f8dd21cf2662ebfa2ec2552df8be)
où
est la vélocité du fluide,
la pression divisée par la masse volumique (constante),
la viscosité et
la force externe volumique.
En appliquant le projecteur de Leray à la première équation, on obtient en utilisant les propriétés ci-dessus :
![{\displaystyle {\frac {\partial \mathbf {u} }{\partial t}}+\nu \,\mathbb {S} (\mathbf {u} )+\mathbb {B} (\mathbf {u} ,\mathbf {u} )=\mathbb {P} (\mathbf {f} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/78a2aec95799b04f26972ef3ef18b0318379e7c4)
où
![{\displaystyle \mathbb {S} (\mathbf {u} )=-\mathbb {P} (\Delta \mathbf {u} )}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a3bdb8f98f64f3cb2a831e9a1f4e452bdefb9c27)
est l'opérateur de Stokes (en) et la forme bilinéaire
est définie par
![{\displaystyle \mathbb {B} (\mathbf {u} ,\mathbf {v} )=\mathbb {P} [(\mathbf {u} \cdot \nabla )\mathbf {v} ].}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a341af62d38fd810958b5359fdbd5e0c5da7d6e)
En général, on suppose pour simplifier que
est à divergence nulle, de telle sorte que
; cela peut toujours être vérifié, avec le terme
ajouté à la pression.