Leray projection

The Leray projection is a mathematical tool used to describe the motion of fluids like air or water. It takes a vector field—essentially a description of how something moves at each point in space—and extracts the part that represents incompressible (divergence-free) flow. This is especially useful in studying fluid dynamics, such as in the Navier–Stokes equations that describe how fluids move.

It is named after Jean Leray.

Definition

The basic idea of the Leray projection is that any vector-field in three-dimensions admits a decomposition into a curl-free part, and a divergence-free part. This is known as the Helmholtz decomposition. (More generally, the Hodge decomposition applies in higher dimensions: see for instance the Euler-Arnold equations.)

By Helmholtz–Leray decomposition

Source:^[1]

One can show that a given vector field ${\displaystyle \mathbf {u} }$ on ${\displaystyle \mathbb {R} ^{3}}$ can be decomposed as

${\displaystyle \mathbf {u} =\nabla q+\mathbf {v} ,\quad {\text{with}}\quad \nabla \cdot \mathbf {v} =0.}$

Different than the usual Helmholtz decomposition, the Helmholtz–Leray decomposition of ${\displaystyle \mathbf {u} }$ is unique (up to an additive constant for ${\displaystyle q}$ ). Then we can define ${\displaystyle \mathbb {P} (\mathbf {u} )}$ as

${\displaystyle \mathbb {P} (\mathbf {u} )=\mathbf {v} .}$

The Leray projector is defined similarly on function spaces other than the Schwartz space, and on different domains with different boundary conditions. The four properties listed below will continue to hold in those cases.

By pseudo-differential approach

Source:^[2]

For vector fields ${\displaystyle \mathbf {u} }$ (in any dimension ${\displaystyle n\geq 2}$), the Leray projection ${\displaystyle \mathbb {P} }$ is defined by

${\displaystyle \mathbb {P} (\mathbf {u} )=\mathbf {u} -\nabla \Delta ^{-1}(\nabla \cdot \mathbf {u} ).}$

This definition must be understood in the sense of pseudo-differential operators: its matrix valued Fourier multiplier ${\displaystyle m(\xi )}$ is given by

${\displaystyle m(\xi )_{kj}=\delta _{kj}-{\frac {\xi _{k}\xi _{j}}{\vert \xi \vert ^{2}}},\quad 1\leq k,j\leq n.}$

Here, ${\displaystyle \delta }$ is the Kronecker delta. Formally, it means that for all ${\displaystyle \mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}}$, one has

${\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}$

where ${\displaystyle {\mathcal {S}}(\mathbb {R} ^{n})}$ is the Schwartz space. We use here the Einstein notation for the summation.

Properties

The Leray projection has the following properties:

1. The Leray projection is a projection: ${\displaystyle \mathbb {P} [\mathbb {P} (\mathbf {u} )]=\mathbb {P} (\mathbf {u} )}$ for all ${\displaystyle \mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}}$.
2. The Leray projection is a divergence-free operator: ${\displaystyle \nabla \cdot [\mathbb {P} (\mathbf {u} )]=0}$ for all ${\displaystyle \mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}}$.
3. The Leray projection is simply the identity for the divergence-free vector fields: ${\displaystyle \mathbb {P} (\mathbf {u} )=\mathbf {u} }$ for all ${\displaystyle \mathbf {u} \in {\mathcal {S}}(\mathbb {R} ^{n})^{n}}$ such that ${\displaystyle \nabla \cdot \mathbf {u} =0}$.
4. The Leray projection vanishes for the vector fields coming from a potential: ${\displaystyle \mathbb {P} (\nabla \phi )=0}$ for all ${\displaystyle \phi \in {\mathcal {S}}(\mathbb {R} ^{n})}$.

Application to Navier–Stokes equations

The incompressible Navier–Stokes equations are the partial differential equations given by

${\displaystyle {\frac {\partial \mathbf {u} }{\partial t}}-\nu \,\Delta \mathbf {u} +(\mathbf {u} \cdot \nabla )\mathbf {u} +\nabla p=\mathbf {f} }$

${\displaystyle \nabla \cdot \mathbf {u} =0}$

where ${\displaystyle \mathbf {u} }$ is the velocity of the fluid, ${\displaystyle p}$ the pressure, ${\displaystyle \nu >0}$ the viscosity and ${\displaystyle \mathbf {f} }$ the external volumetric force.

By applying the Leray projection to the first equation, we may rewrite the Navier-Stokes equations as an abstract differential equation on an infinite dimensional phase space, such as ${\displaystyle C^{0}\left(0,T;L^{2}(\Omega )\right)}$, the space of continuous functions from ${\displaystyle [0,T]}$ to ${\displaystyle L^{2}(\Omega )}$ where ${\displaystyle T>0}$ and ${\displaystyle L^{2}(\Omega )}$ is the space of square-integrable functions on the physical domain ${\displaystyle \Omega }$:^[3]

${\displaystyle {\frac {\mathrm {d} \mathbf {u} }{\mathrm {d} t}}+\nu \,A\mathbf {u} +B(\mathbf {u} ,\mathbf {u} )=\mathbb {P} (\mathbf {f} )}$

where we have defined the Stokes operator ${\displaystyle A}$ and the bilinear form ${\displaystyle B}$ by^[1]

${\displaystyle A\mathbf {u} =-\mathbb {P} (\Delta \mathbf {u} )\qquad B(\mathbf {u} ,\mathbf {v} )=\mathbb {P} [(\mathbf {u} \cdot \nabla )\mathbf {v} ].}$

The pressure and the divergence free condition are "projected away". In general, we assume for simplicity that ${\displaystyle \mathbf {f} }$ is divergence free, so that ${\displaystyle {\mathbb {P} }({\mathbf {f} })={\mathbf {f} }}$; this can always be done, by adding the term ${\displaystyle \mathbf {f} -\mathbb {P} (\mathbf {f} )}$ to the pressure.