4.4.4 Kelvin's Minimum Energy Theorem: 4.5 Flow Past An Obstacle
4.4.4 Kelvin's Minimum Energy Theorem: 4.5 Flow Past An Obstacle
Proof. Let u′ be another incompressible but non vorticity-free flow such that u · n = u′ · n
on S and ∇ · u′ = 0 in V but with ∇ × u′ 6= 0.
The fluid flow u is potential, so let u = ∇φ such that
Z Z Z
2 2
ρ |u| dV = ρ|∇φ| dV = ρ |∇φ|2 dV,
V VZ V
So,
Z Z
′ 2
ρ |u|2 − 2ρu · u′ + ρ |u′ |2 dV,
ρ (u − u ) dV =
V ZV
ρ |u′ |2 − ρ |u|2 dV
= (from (4.8)).
V
Therefore, since (u − u′ )2 ≥ 0,
Z Z Z Z
ρ |u′ |2 dV = ρ |u|2 dV + ρ (u − u′ )2 dV ≥ ρ |u|2 dV.
V V V V