In fluid mechanics, Helmholtz minimum dissipation theorem (named after Hermann von Helmholtz who published it in 1868) states that the steady Stokes flow motion of an incompressible fluid has the smallest rate of dissipation than any other incompressible motion with the same velocity on the boundary. The theorem also has been studied by Diederik Korteweg in 1883 and by Lord Rayleigh in 1913. This theorem is, in fact, true for any fluid motion where the nonlinear term of the incompressible Navier-Stokes equations can be neglected or equivalently when ∇ × ∇ × ω = 0 {\displaystyle \nabla \times \nabla \times {\boldsymbol {\omega }}=0} , where ω {\displaystyle {\boldsymbol {\omega }}} is the vorticity vector. For example, the theorem also applies to unidirectional flows such as Couette flow and Hagen–Poiseuille flow, where nonlinear terms disappear automatically.
Mathematical proof Let u , p {\displaystyle \mathbf {u} ,\ p} and E = 1 2 ( ∇ u + ( ∇ u ) T ) {\displaystyle E={\frac {1}{2}}(\nabla \mathbf {u} +(\nabla \mathbf {u} )^{T})} be the velocity, pressure and strain rate tensor of the Stokes flow and u ′ , p ′ {\displaystyle \mathbf {u} ',\ p'} and E ′ = 1 2 ( ∇ u ′ + ( ∇ u ′ ) T ) {\displaystyle E'={\frac {1}{2}}(\nabla \mathbf {u} '+(\nabla \mathbf {u} ')^{T})} be the velocity, pressure and strain rate tensor of any other incompressible motion with u = u ′ {\displaystyle \mathbf {u} =\mathbf {u} '} on the boundary. Let u i {\displaystyle u_{i}} and e i j {\displaystyle e_{ij}} be the representation of velocity and strain tensor in index notation, where the index runs from one to three. Let Ω ⊂ R 3 {\displaystyle \Omega \subset \mathbb {R} ^{3}} be a bounded domain with boundary Γ {\displaystyle \Gamma } of class C 1 {\displaystyle C^{1}} . Consider the following integral,
∫ Ω ( e i j ′ − e i j ) e i j d V = ∫ Ω ∂ ( u i ′ − u i ) ∂ x j e i j d V {\displaystyle {\begin{aligned}\int _{\Omega }(e_{ij}'-e_{ij})e_{ij}\ dV&=\int _{\Omega }{\frac {\partial (u_{i}'-u_{i})}{\partial x_{j}}}e_{ij}\ dV\end{aligned}}}
where in the above integral, only symmetrical part of the deformation tensor remains, because the contraction of symmetrical and antisymmetrical tensor is identically zero. Integration by parts gives
… excerpt ends here. Continue reading the full article.
