In a planar potential flow, superpose a positive- uniform flow of speed and a line source of strength at the real point . Introduce an impermeable unit circular cylinder with zero circulation. The Milne-Thomson circle theorem gives the complex potential of a two-dimensional potential flow
The displayed horizontal force per unit length acts on the cylinder, and by reflection symmetry. To prove it, let be the complex velocity. At infinity, , so the sum of all finite residues of is . At the external pole , write ; then
The residue theorem and the counterclockwise Blasius force theorem give , proving the formula. With and , its sign changes at .
Let denote the force per unit length exerted by the fluid on the cylinder, and let be the constant mass density. For a counterclockwise contour around the unit circle, the Blasius force theorem gives
An efficient use of the residue theorem finds the sum of the enclosed residues by subtracting the external pole at from the sum of all finite residues. At large ,
The sum of all finite residues of is therefore . At , write , with a holomorphic function near . Then
Thus
Using and gives
The vanishing vertical force also follows from reflection symmetry about the real axis. This force on a unit cylinder due to a uniform flow and an external source uses the counterclockwise orientation in the Blasius force theorem to fix the sign of the horizontal force.
For , the Blasius force theorem states that the force per unit length exerted by a steady incompressible flow and irrotational flow on an impermeable body is
where runs counterclockwise around the body and excludes external flow singularities. The sign corresponds to the force on the body.
Let and . The complex velocity may be written
Only the image point lies inside the circular contour. The term has zero residue; is regular there. In the cross term, the linear term of the Taylor expansion of supplies
The orientation factors have canceled. The residue theorem now gives
Since , : the obstacle is pulled toward the doublet, independently of . This is a force per unit length perpendicular to the plane of flow.