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 . A vector normal to this one can be easily determined from the statement
where both vectors clearly have the same normalization. The second normal will thus be taken to be
Since the derivative of a vector with constant square is always normal to the vector,
this second normal can also be found from the derivative of the unit tangent vector,
but this involves a bit of extra work to achieve the same result. 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. The parametrization of the surface of the tube is thus
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. Note that the length of the cylinder is 2πR , where R is the major radius of the torus.
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. Keeping notation as compact as possible, the Cartesian coordinates are
with the intermediate variables
In order to evaluate both measures of the tube, the three variables
These differentials must be squared and summed to form the interval. Begin with the last terms of the first two differentials:
This combines easily with the square of the third differential to give
Next consider possible cross terms in the interval. First there is
so that the interval is diagonal in the three variables of parametrization.
All that remains is to square and sum the differentials in the variable a. With an overall factor of omitted, the first terms are simple:
The remaining terms take a bit more work. The cross terms give
while the final terms are
The interval thus turns out to be surprisingly simple:
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 rather simple
because the integration over the angular variable removes the most complicated part of the integral. The volume is then one more radial integration:
The quantity in brackets is equal to two for either or .
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 — Updated 2022.05.14 analyticphysics.com