If a torus is cut across its tube and straightened out, it clearly becomes a cylinder. It is also a fact that the surface area and enclosed volume of the two objects are equal. Since the two objects differ in intrinsic geometry, it is not immediately clear why these measures are the same. An analytic transformation between the two would establish the equivalences, along with whether equality holds for all intermediate states.
One convenient way to produce such a transformation is with involutes of a circle. A parametrization that maps points on the right-hand side of a circle to a horizontal line is
along with its mirror reflection for points on the left-hand side:
Here is visualization of several involutes in blue for a unit circle:
The involutes all begin on the circle for and reach the line for . One can now construct a curved line that interpolates between the two endpoints of circle and line:
The initial curved line begins at the top of the circle for , reaching the bottom for and returning to the top at . This line thus has the parametrization
on the domains and . For the corresponding line in three dimensions, simply add a constant coordinate,
or more explicitly
In order to exude a three-dimensional tube along this curved line, one needs two normals to the line. One of these can be taken proportional to , but the other must be calculated from the parametrization. For a fixed value of u, the derivative of this parametrization with respect to the other parameter is
and the unit tangent vector along the line is
with the abbreviation . Since the derivative of vector with constant square is always normal to the vector,
the second normal is found from the derivative of the unit tangent vector, which when normalized is
This last calculation is considerably facilitated by the introduced abbreviation. As a check, the unit binormal is easily evaluated,
consistent with a statement above. The exuded tube can now be give parametrically by multiplying the two unit normals with circular functions and a second radial scale and adding them to the parametrization of the curved line. For later consistency the opposite of the normals will be used, so that the parametrization of the surface of the tube will be taken as
Reverting to the initial notation for brevity, and noting that , the explicit parametrization is
This can be easily visualized:
As a test of the parametrization, when then and the parametrization becomes
which is that of a torus with the first two coordinates exchanged. When then and the parametrization becomes
which is a circle displaced down the y-axis and moved linearly along the x-axis, i.e. a cylinder displaced downwards.
With the parametrization in hand, one can now evaluate the surface area and enclosed volume of the tube as an analytic function of the morphing parameter u. The concept of volume element indicates that surface area and volume can be calculated in the same manner, as an integral over the square root of the determinant of the appropriate two- or three-dimensional metric. For this purpose one must switch back to the explicit variables
In order to evaluate both measures of the tube, the three variables
For either or one has , so that the complication in the metric goes away for the two end cases. In the former case the metric reverts as expected to that for a torus, and likewise in the latter to that for a cylinder.
Since the coefficient of the radial parameter is one in the metric, the transition from surface area to volume is trivial. The surface area itself is surprisingly simple
because the integration over the angular variable removes the most complicated part of the integral. The volume is then one more radial integration:
Curiously while the surface area and enclosed volume are equal for the torus and cylinder as stated at the outset, this is not true of intermediate states. Here is the function in square brackets that represents the deviation from the two end cases:
Not a dramatic deviation, but one all the same. Perhaps an interesting question would be if there exists a transformation that keeps these two measures constant for all values of the interpolating parameter.
Uploaded 2020.07.17 analyticphysics.com