The product rule, the Laplace equation and give
First truncate the exterior fluid domain by a large circle . Let point outward from the body into the fluid. The outward normal of the exterior fluid domain at the body is . The planar divergence theorem, equivalently Green's theorem, therefore gives
Orient counterclockwise around the body. Then and
For the finite-energy exterior rigid-body flow intended here, the outer boundary term vanishes as . In particular, zero net volume flux and zero circulation eliminate the term in the exterior Laurent series of the complex velocity. Thus and, after choosing the additive potential constant, . The outer integral is then .
Multiplying by half the constant mass density gives the boundary integral for kinetic energy of planar potential flow:
The minus sign comes from the fluid's inner-boundary orientation, rather than a negative physical kinetic energy.
There is a necessary qualification to the printed hypotheses. Decaying velocity and zero circulation alone do not ensure a finite kinetic energy: gives , zero circulation, and logarithmically divergent exterior kinetic energy. It carries a nonzero volume flux from the body and is not the flow of an impermeable rigid body. The finite-energy condition for planar exterior potential flow makes explicit the source-free assumption needed to discard the outer boundary term.
On the translating circular cylinder , the preceding velocity potential and streamfunction give
Using the boundary integral for kinetic energy of planar potential flow,
Therefore
As a direct check, , and integration over gives the same result.
The fluid kinetic energy has the same dependence on body speed as the kinetic energy of an extra mass carried by the body. Thus is its added mass, here equal to the mass of displaced fluid per unit cylinder length. For a cylinder of physical mass per length , the combined kinetic energy is . Accelerating the body requires accelerating the surrounding fluid, producing the inertial reaction along the direction of motion. This is the added mass of a circular cylinder.