In fluid dynamics and invariant theory, a Reynolds operator is a mathematical operator given by averaging something over a group action, satisfying a set of properties called Reynolds rules. In fluid dynamics, Reynolds operators are often encountered in models of turbulent flows, particularly the Reynolds-averaged Navier–Stokes equations, where the average is typically taken over the fluid flow under the group of time translations. In invariant theory, the average is often taken over a compact group or reductive algebraic group acting on a commutative algebra, such as a ring of polynomials. Reynolds operators were introduced into fluid dynamics by Osbourne Reynolds (1895) and named by J. Kampé de Fériet (1934, 1935, 1949).
Definition Reynolds operators are used in fluid dynamics, functional analysis, and invariant theory, and the notation and definitions in these areas differ slightly. A Reynolds operator acting on ϕ {\displaystyle \phi } is sometimes denoted by R ( ϕ ) , P ( ϕ ) , ρ ( ϕ ) , ⟨ ϕ ⟩ {\displaystyle R(\phi ),P(\phi ),\rho (\phi ),\langle \phi \rangle } or ϕ ¯ {\displaystyle {\overline {\phi }}} . Reynolds operators are usually linear operators acting on some algebra of functions, satisfying the identity
R ( R ( ϕ ) ψ ) = R ( ϕ ) R ( ψ ) for all ϕ , ψ {\displaystyle R(R(\phi )\psi )=R(\phi )R(\psi )\quad {\text{ for all }}\phi ,\psi }
and sometimes some other conditions, such as commuting with various group actions.
Invariant theory In invariant theory a Reynolds operator R is usually a linear operator satisfying
R ( R ( ϕ ) ψ ) = R ( ϕ ) R ( ψ ) for all ϕ , ψ {\displaystyle R(R(\phi )\psi )=R(\phi )R(\psi )\quad {\text{ for all }}\phi ,\psi }
and
R ( 1 ) = 1 {\displaystyle R(1)=1}
Together these conditions imply that R is idempotent: R2 = R. The Reynolds operator will also usually commute with some group action, and project onto the invariant elements of this group action. For a finite group G this looks like averaging over the representations ρ ( g ) {\displaystyle \rho (g)} of each of the group elements:
R G = 1 | G | ∑ g ∈ G ρ ( g ) {\displaystyle R_{G}={\frac {1}{\vert G\vert }}\sum _{g\in G}\rho (g)}
Functional analysis In functional analysis a Reynolds operator is a linear operator R acting on some algebra of functions φ, satisfying the Reynolds identity
R ( ϕ ψ ) = R ( ϕ ) R ( ψ ) + R ( ( ϕ − R ( ϕ ) ) ( ψ − R ( ψ ) ) ) for all ϕ , ψ {\textstyle R(\phi \psi )=R(\phi )R(\psi )+R\left(\left(\phi -R(\phi )\right)\left(\psi -R(\psi )\right)\right)\quad {\text{ for all }}\phi ,\psi }
The operator R is called an averaging operator if it is linear and satisfies
R ( R ( ϕ ) ψ ) = R ( ϕ ) R ( ψ ) for all ϕ , ψ {\displaystyle R(R(\phi )\psi )=R(\phi )R(\psi )\quad {\text{ for all }}\phi ,\psi }
If R(R(φ)) = R(φ) for all φ then R is an averaging operator if and only if it is a Reynolds operator. Sometimes the R(R(φ)) = R(φ) condition is added to the definition of Reynolds operators.
Fluid dynamics Let ϕ {\displaystyle \phi } and ψ {\displaystyle \psi } be two random variables, and a {\displaystyle a} be an arbitrary constant. Then the properties satisfied by Reynolds operators, for an operator ⟨ ⟩ , {\displaystyle \langle \rangle ,} include linearity and the averaging property:
⟨ ϕ + ψ ⟩ = ⟨ ϕ ⟩ + ⟨ ψ ⟩ , {\displaystyle \langle \phi +\psi \rangle =\langle \phi \rangle +\langle \psi \rangle ,\,}
⟨ a ϕ ⟩ = a ⟨ ϕ ⟩ , {\displaystyle \langle a\phi \rangle =a\langle \phi \rangle ,\,}
… excerpt ends here. Continue reading the full article.
