Last week I was intrigued by this post:
I asked, on Facebook, whether filling it with paint would essentially be painting it on the inside and I had a suspicion that my good friend Art Guetter (Professor of Mathematics at my institution) would help me learn something. I was right, and he’s been kind enough to type up his thoughts for this post. Here he shows that it’s pretty tough to use a finite amount of paint to paint anything infinitely long.
Guest post from Art Guetter
Gabriel’s horn is a solid created by rotating the graph of , defined on the interval , around the -axis. Two “paradoxes” arise. In the first, the horn has a finite volume, despite being created by rotating a region with infinite area around an axis. The second is that the horn has finite volume but infinite surface area, leading to the apparent paradox that the horn could be filled with a finite volume of paint, yet the paint would not be sufficient to coat (that is, paint) the surface. The resolution of this “painter’s paradox” is that the thickness of the paint would need to decrease to 0 in the limit as tends to infinity. The assumption being made here is that painting requires a uniform thickness of paint. Note that I can paint the entire plane if I am allowed to decrease the thickness of paint as I move far from the origin.
So could I paint an infinite solid of revolution (to a uniform depth ) if the surface area were finite? As a first example, replace from Gabriel’s horn with a piecewise constant function when for , and the constants to be determined later. The surface will consist of an infinite collection of right circular cylinders, and each cylinder will have surface area . If the are chosen so that the sum , can I paint the surface with a finite amount of paint? The answer appears to be “yes”, but this involves the assumption that I roll each cylinder open, so that the amount of paint used is simply the surface area multiplied by the thickness of the paint, say . (Each cylinder can be rolled open without issue because they have thickness 0.)
What about painting if the cylinders aren’t rolled out? I will assume that painting to a thickness means that the depth of paint at any point is measured along the normal, in the outward direction. The amount of paint needed to paint one of the cylinders is then given by , where is the surface area of the cylinder and is the mean curvature of the cylinder. Summing this over will lead to an infinite volume of paint, no matter how fast the tend to 0.
A more general theorem has that the volume of a surface that has been thickened by an amount in the direction of the normal to the surface (assuming that is small enough that there is no self-intersection) is given by
where is the total surface area, is the surface element, is the mean curvature of the surface, and is the Gaussian curvature. (These are constant for the cylinder, with values and .) The amount of paint needed to paint a surface to uniform thickness depends on the curvature of the surface.
For a surface created by revolving the curve around the -axis, the values of and depend only on and are given by (in general and then for )