# Proiezione di Leray

La proiezione di Leray, che prende il nome da Jean Leray, è un operatore lineare usato nella teoria delle equazioni differenziali alle derivate parziali, in particolare in fluidodinamica. Informalmente, può essere visto come la proiezione sulla componente solenoidale del campo vettoriale. È usata per eliminare il termine di pressione e il termine solenoidale dalle equazioni di Stokes e di Navier-Stokes.

## Definizione
### Tramite teoria degli operatori pseudo-differenziali

La proiezione di Leray $\mathbb {P}$ di un campo vettoriale $\mathbf {u}$ (in qualsiasi dimensione $n\geq 2$) è definita come
    $\mathbb {P} (\mathbf {u} )=\mathbf {u} -\nabla \Delta ^{-1}(\nabla \cdot \mathbf {u} ).$
nel senso degli operatori pseudo-differenziali: il suo moltiplicatore di Fourier (a valori matriciali) $m(\xi )$ è dato da
    $m(\xi )_{kj}=\delta _{kj}-{\frac {\xi _{k}\xi _{j}}{\vert \xi \vert ^{2}}},\quad 1\leq k,j\leq n.$
Qui $\delta$ è il delta di Kronecker. Formalmente, significa che per ogni $\mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}$ si ha
    $\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$
dove ${\mathcal {S}}(\mathbb {R} ^{n})$ è lo spazio di Schwartz e le somme sono espresse in notazione di Einstein.

### Tramite decomposizione di Helmholz–Leray

Un campo vettoriale $\mathbf {u}$ può essere decomposto come
    $\mathbf {u} =\nabla q+\mathbf {v} ,\quad {\text{with}}\quad \nabla \cdot \mathbf {v} =0.$
A differenza della decomposizione di Helholtz, la decomposizione di Helmholtz-Leray di $\mathbf {u}$ è unica (a meno di una costante additiva per $q$). Quindi $\mathbb {P} (\mathbf {u} )$ può essere definita come
    $\mathbb {P} (\mathbf {u} )=\mathbf {v} .$

## Proprietà

La proiezione di Leray soddisfa le seguenti proprietà notevoli:
* È una proiezione: $\mathbb {P} [\mathbb {P} (\mathbf {u} )]=\mathbb {P} (\mathbf {u} )$ per ogni $\mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}$.
* È un operatore solenoidale: $\nabla \cdot [\mathbb {P} (\mathbf {u} )]=0$ per ogni $\mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}$.
* È l'identità per i campi solenoidali: $\mathbb {P} (\mathbf {u} )=\mathbf {u}$ per ogni $\mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}$ tale che $\nabla \cdot \mathbf {u} =0$.
* Si annulla sui campi vettoriali relativi a un potenziale scalare: $\mathbb {P} (\nabla \phi )=0$ per ogni $\phi \in {\mathcal {S}}(\mathbb {R} ^{n})$.

## Applicatione alle equazioni di Navier-Stokes

Le equazioni di Navier-Stokes per fluidi incomprimibili sono
    ${\frac {\partial \mathbf {u} }{\partial t}}-\nu \,\Delta \mathbf {u} +(\mathbf {u} \cdot \nabla )\mathbf {u} +\nabla p=\mathbf {f}$
    $\nabla \cdot \mathbf {u} =0$
dove $\mathbf {u}$ è la velocità del fluido, $p$ la pressione, $\nu >0$ la viscosità e $\mathbf {f}$ la forza di volume esterna.
Applicando la proiezione di Leray alla prima equazione e usandone le proprietà, si ottiene
    ${\frac {\partial \mathbf {u} }{\partial t}}+\nu \,\mathbb {S} (\mathbf {u} )+\mathbb {B} (\mathbf {u} ,\mathbf {u} )=\mathbb {P} (\mathbf {f} )$
dove
    $\mathbb {S} (\mathbf {u} )=-\mathbb {P} (\Delta \mathbf {u} )$
è l'operatore di Stokes e la forma bilineare $\mathbb {B}$ è definita come
    $\mathbb {B} (\mathbf {u} ,\mathbf {v} )=\mathbb {P} [(\mathbf {u} \cdot \nabla )\mathbf {v} ].$
Per semplicità si può assumere in generale che $\mathbf {f}$ sia solenoidale, quindi $\mathbb {P} (\mathbf {f} )=\mathbf {f}$; questo può essere sempre imposto, aggiungendo alla pressione il termine $\mathbf {f} -\mathbb {P} (\mathbf {f} )$.