Blasius force theorem ($X-iY=(i\rho /2){\oint }_C(W^{\prime }{)}^{2}dz$)

For a steady two-dimensional incompressible flow and irrotational flow around an impermeable body, the displayed contour formula gives the force on the body per unit span. Here $W^{\prime }=u-iv$ is the complex velocity, $\rho$ is the constant mass density, and $C$ runs counterclockwise around the body, excluding other fluid singularities. To verify the sign, Bernoulli's principle gives $p=p_0-\rho |q{|}^2/2$. On a counterclockwise boundary, the complex pressure force is $d(X-iY)=-ipd\bar{z}$. Tangency gives $qdz=\bar{q}d\bar{z}$, and therefore $|q{|}^{2}d\bar{z}=q^{2}dz$. Integrating removes the constant $p_0$ term and gives the formula. The theorem is named after Heinrich Blasius.

In a planar potential flow, superpose a positive-$x$ uniform flow of speed $U$ and a line source of strength $Q=2\pi m$ at the real point $b>1$. Introduce an impermeable unit circular cylinder with zero circulation. The Milne-Thomson circle theorem gives the complex potential of a two-dimensional potential flowThe displayed horizontal force per unit length acts on the cylinder, and $F_y=0$ by reflection symmetry. To prove it, let $q=w^{\prime }$ be the complex velocity. At infinity, $q=U+m/z+O(z^{-2})$, so the sum of all finite residues of $q^2$ is $2Um$. At the external pole $b$, write $q=m/(z-b)+H(z)$; thenThe residue theorem and the counterclockwise Blasius force theorem give $F_x-i{F}_y=2\pi \rho m[H(b)-U]$, proving the formula. With $m>0$ and $U>0$, its sign changes at $b=(m+\sqrt{m^2+4U^2})/(2U)$.