Helmholtz minimum dissipation theorem explained

In fluid mechanics, Helmholtz minimum dissipation theorem (named after Hermann von Helmholtz who published it in 1868^{[1] [2]}) 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.^{[3] [4]} The theorem also has been studied by Diederik Korteweg in 1883^[5] and by Lord Rayleigh in 1913.^[6]

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

\nabla x \nabla x \boldsymbol{\omega} =0 , where \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 and E = (1)/(2) (\nabla u + (\nabla u ) ^{T)} be the velocity, pressure and strain rate tensor of the Stokes flow and u ', p' and E' = (1)/(2) (\nabla u ' + (\nabla u ') ^{T)} be the velocity, pressure and strain rate tensor of any other incompressible motion with u = u ' on the boundary. Let u _{i} and e _{ij} be the representation of velocity and strain tensor in index notation, where the index runs from one to three.

Consider the following integral,

\begin{align} \int (e _{ij} ' - e _{ij} )e _{ij} dV & = \int (\partial(u _{i'-u} _{i)})/(\partial x _{j}) e _{ij} dV \end{align}

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

\int (e _{ij} ' - e _{ij} )e _{ij} dV = \int (u _{i'-u} _{i)e} _{ij} n _{j dA} - (1)/(2) \int (u _{i'-u} _{i)} (\nabla ^{2} u _{i) dV.}

The first integral is zero because velocity at the boundaries of the two fields are equal. Now, for the second integral, since

u _{i} satisfies the Stokes flow equation, i.e., \mu\nabla ^{2} u _{i} = \nabla p , we can write\int (e _{ij} ' - e _{ij} )e _{ij} dV =- (1)/(2 \mu) \int (u _{i'-u} _{i)} (\partial p)/(\partial x _{i}) dV.

Again doing an Integration by parts gives

\int (e _{ij} ' - e _{ij} )e _{ij} dV =- (1)/(2 \mu) \int p(u _{i'-u} _{i)} n _{i} dA + (1)/(2 \mu) \int p (\partial(u _{i'-u} _{i)})/(\partial x _{i}) dV. The first integral is zero because velocities are equal and the second integral is zero because the flow in incompressible, i.e., \nabla ⋅ u = \nabla ⋅ u ' =0 . Therefore we have the identity which says,\int (e _{ij} ' - e _{ij} )e _{ij} dV = 0 .

The total rate of viscous dissipation energy over the whole volume of the field

u ' is given byD' = \int \Phi' dV = 2 \mu\int e _{ij} 'e _{ij} ' dV = 2 \mu\int [e _{ij} e _{ij} + e _{ij} 'e _{ij} ' - e _{ij} e _{ij} ] dV

and after a rearrangement using above identity, we get

D' = 2 \mu \int [e _{ij} e _{ij} + (e _{ij} ' - e _{ij} )(e _{ij} ' - e _{ij} )] dV

If

D is the total rate of viscous dissipation energy over the whole volume of the field u , then we haveD' = D + 2 \mu \int (e _{ij} ' - e _{ij} )(e _{ij} ' - e _{ij} ) dV .

The second integral is non-negative and zero only if

e _{ij} = e _{ij} ' , thus proving the theorem.

Poiseuille flow theorem

The Poiseuille flow theorem^[7] is a consequence of the Helmholtz theorem states that The steady laminar flow of an incompressible viscous fluid down a straight pipe of arbitrary cross-section is characterized by the property that its energy dissipation is least among all laminar (or spatially periodic) flows down the pipe which have the same total flux.

Notes and References

1. Helmholtz, H. (1868). Verh. naturhist.-med. Ver. Wiss. Abh, 1, 223.
2. von Helmholtz, H. (1868). Zur Theorie der stationären Ströme in reibenden Flüssigkeiten. Verh. Naturh.-Med. Ver. Heidelb, 11, 223.
3. Lamb, H. (1932). Hydrodynamics. Cambridge university press.
4. Batchelor, G. K. (2000). An introduction to fluid dynamics. Cambridge university press.
5. Korteweg, D. J. (1883). XVII. On a general theorem of the stability of the motion of a viscous fluid. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 16(98), 112-118.
6. Rayleigh, L. (1913). LXV. On the motion of a viscous fluid. The London, Edinburgh, and Dublin Philosophical Magazine and Journal of Science, 26(154), 776-786.
7. Serrin, J. (1959). Mathematical principles of classical fluid mechanics. In Fluid Dynamics I/Strömungsmechanik I (pp. 125-263). Springer, Berlin, Heidelberg.