1. Introduction
In industry, Mylar® is a trademark for ultra-thin foil sheets made from polyester which great tensile strength makes them extremely inelastic—when folded, they remain stable without being able to shrink or stretch significantly under the bending forces.
In geometry, Mylar is a term first introduced by Paulsen [
1] in 1994 for surfaces of revolution called
Mylar balloons, whose shape almost perfectly approaches the shape of a special type of inflatable membranes—objects, physically constructed from two identical circular discs of Mylar foil, stitched along their boundaries and inflated to full capacity.
The interest in the subject has been inspired by the scientific balloons used by NASA and other space agencies to carry out various research in the upper stratosphere [
2,
3] including both terrestrial and extraterrestrial balloon development activities [
4].
Due to the non-elasticity of the Mylar® foil, the resulting shape of the Mylar balloon is somewhat surprisingly not spherical as one might expect based on the well-known fact that the sphere possesses the maximal volume for a given surface area. Besides, the surface area of the Mylar discs is not preserved which is clearly evidenced by the wrinkled areas apparently observed for the commercially produced Mylar® balloons.
In mathematical formulation, Mylar balloons as pictured above are most adequately described as a variational problem under a constraint (Paulsen’s formulation): Find a surface of revolution enclosing maximum volume for a given directrix arclength.
Let
be the radius of two initially flat discs, i.e., of the “deflated” Mylar balloon. Without loss of generality, we can assume that the
-axis is an axis of revolution and the curve,
,
, lying in the first quadrant of the
-plane, is the upper half of the generating curve of the “inflated” Mylar balloon with
equatorial radius r (namely,
, cf.
Figure 1). It is intuitively clear that
meets the
and
axes at right angles. By symmetry considerations it follows that the lower part of the generating curve is obtained by reflection with respect to the
-axis. Then, we can state the problem in rigorous settings:
Find that maximizes the volumesubject to the arclength constraint , i.e.,
and satisfying the transversality conditionswhere .
The Japanese engineer Kawaguchi [
6] in 1977 came up with a Mylar balloon-shaped surfaces from a different perspective. Looking for a shallowest surface of revolution which has no circumferential stress he found that this is achieved exactly when the meridional
and parallel
principal curvatures obey everywhere on the surface the so-called
Weingarten condition
Some years later in 2003, Mladenov and Oprea [
7] proved that this linear type relationship between curvatures specifies the Mylar balloon uniquely.
In a broader sense the Mylar balloon can be considered as a particular case (
) of a class of surfaces satisfying the linear Weingarten relation
for which besides variational characterization have been found explicit parameterizations and some interesting results about their global geometry [
8].
Later on, these considerations have been explored in concrete settings [
9,
10] and further extended in [
11] to the class of surfaces obeying to the relation
Except in architectural geometry, where the Mylar balloon appears as a curved support structure, e.g., the above mentioned
Kawaguchi’s dome, natural shapes with constant ratio of principal curvatures,
, occur also in many practical realizations of free-form shapes, say, inflatable
pouch anchors [
12],
underwater bags for compressed air energy storage [
13], and
super pressure balloons for scientific observations in the stratosphere [
14], etc. Pressure-driven shapes of this kind are obtained by maximizing the volume of the internal space formed within flexible but (almost) inextensible soft membranes, i.e., by increasing the volume of three-dimensional bodies (which can be any kind of pouches, bags, packages, balloons, etc.) via a submetric transformation, meaning without increasing the distance between any pair of points on their surfaces [
15].
At this moment it is interesting also to point out other purely mechanical applications of the Mylar balloons in the description of the structured (with internal degrees of freedom) infinitesimal test bodies moving on different curved two-dimensional surfaces embedded into the three-dimensional Euclidean space described in [
16,
17]. In the general case, we have some differential two-dimensional manifold
endowed with the affine connection
and the metric tensor
g that can be either interrelated or defined independently. Then the internally-structured infinitesimal test bodies moving on such a differential manifold
S can be characterized by their positions
(this is just a remnant of the centre of mass’ positions of the extended bodies in the flat theory) as well as by their internal configurations (i.e., the internal variables attached at
) injected into the tangent space
, which is called microphysical space and can be identified with the set of linear frames (order bases)
. Therefore, the configuration space
Q of the structured infinitesimal test bodies moving on
S is given by the union of the manifolds of linear frames
in the tangent spaces
for all
, i.e.,
. This means that any system of local coordinates
on the manifold
S induces local coordinates
on the manifold of all linear frames
and
on the manifold of all linear coframes
.
In the case of a Riemannian manifold
, we have that the affine connection
is related to the metric tensor
g and becomes the Levi-Civita (Christoffel) affine connection
therefore, the corresponding curvature tensor
generally do not vanish (i.e., the surface
S is curved). In this situation we obtain that the geometry in the non-trivial manner influences both the translational motion
and the internal configuration
of the structured infinitesimal test bodies moving on such a curved surface
S (for more details see, e.g., [
16,
17]).
The rest of the paper is organized as follows. In
Section 2, the basic geometrical characteristics of the Mylar balloon (such as the profile curve, height, arclength, surface area, volume, etc.) are represented by a variety of closed-form expressions using elliptic integrals [
18] and the fundamental mathematical constants such as the number
and the lemniscate constant
. It is also shown there that the Mylar balloon’s geometry can be characterize via certain integral quantities,
geometrical moments,
and
, specified by the number (their order)
.
In
Section 3, the geometrical moments,
, are interpreted as
Mylar balloon’s cousins, i.e., as an enumerable set of surfaces,
, closely associated with Mylar balloons (see.
Figure 2). The Mylar balloon,
, belongs to this family for
, namely,
. All Mylar balloon’s cousins are parameterized via the Euler’s beta or gamma functions. In
Section 3.1, the first and second fundamental forms along with the principal curvatures of
are explicitly calculated.
Section 3.2 and
Section 3.3 are devoted to the evaluation in terms of beta and gamma functions of the basic geometrical characteristics of the Mylar balloon’s cousins and the Mylar balloon, respectively.
In
Section 4, certain recursive relations are explored to represent four non-intersecting residue classes for the thickness
, the meridional section area
and the volume
of the Mylar balloon’s cousins. The main new results of the present research can be found in
Section 3 and
Section 4.
Finally,
Section 5 concludes the paper with some general remarks regarding deviation of these new surfaces from the
ideal shape, i.e., the sphere, and introduces one of the relevant characteristics for such comparison—the
aspect ratio . It turns out that the balloon with golden ratio proportion is in some sense
central for this family of surfaces. On the other hand this characteristic opens the possibility for all
spheroids, i.e., axially symmetric oblate shapes which aspect ratio
is in the interval
, to be parameterized analytically using the formulas derived in
Section 3.
2. Mylar Balloon’s Geometrical Characteristics
Any Mylar balloon
can be defined as a surface of revolution which is obtained when we maximize the volume of the cavity confined between two equal circular discs made of the Mylar foil and glued together at their boundaries (neither stretching nor shrinking of the Mylar foil is allowed) for a given (fixed) arclength
a (where
a is the radius of the “deflated” Mylar balloon, i.e., of the Mylar discs) of its directrix (generating curve),
,
(where
r is the radius of the “inflated" Mylar balloon, and, obviously
) which, when rotated about the
-axis produces the two mirror-symmetric parts (with respect to the
-plane) of the balloon, i.e., its top or bottom half depending on the sign taken, plus or minus, of the
z-coordinate, respectively (see, e.g., [
1,
19,
20]).
It can be shown that the constraint equation for the generating curve of the Mylar balloon, lying in the first quadrant of the
-plane, can be written as
Equivalently, by introducing the dimensionless parameter , it can be given
Definition 1. The Mylar balloon is a surface of revolution parameterized aswith a generating curvewhereand equatorial radius r. By alternating the plus and minus signs in (10) and (11) the two symmetrically lying parts of to the -plane and to the -axis are obtained. The basic geometrical characteristics of the Mylar balloon (see
Figure 1), such as the profile arclength, surface area, volume, etc., can be obtained as a direct consequence of the formulas above.
Let us start with the
perimeter (arclength)
of the profile curve (complete meridional section, see
Figure 1) of the Mylar balloon, which according to (
12) can be calculated as
where
N and
E denote the North Pole and the Equator of the Mylar balloon respectively (see
Figure 1), and
, etc. As a result we obtain
where
is the
equatorial diameter of the balloon and
is the
lemniscate constant
defined as
where
is complete elliptic integral with modulus
.
With the help of substitution
, the complete elliptic integral in (
16) with imaginary modulus
is transformed to a complete elliptic integral with real modulus
. Therefore, the defining formula for the lemniscate constant
takes the form
There is an obvious analogy between the above obtained formula,
, and the familiar expression,
, for the circumference of the circle, with
replaced by
for the Mylar balloon. Hence, the notation
(
pomega), which historically is a
cursive variant of
, is being used. Its name “pomega” recalls both the relationship of
to the letter
and the
’s similarity to a variant of the lowercase omega
with a macron (long mark) placed over it (cf. [
21]).
Moreover, it should be noted the remarkable fact that the perimeter of the profile curve of the Mylar balloon is given by exactly the same formula, , as is the perimeter of the lemniscate of Bernoulli (hence the name “lemniscate constant”) with d interpreted as the diameter of the curve, being the maximum distance between any two points on it.
As it follows from
and the arclength constraint condition
(cf. (
2)) the ratio of the inflated radius
r to the deflated one
a is given by the relation
As the next geometrical characteristic of the Mylar balloon we can calculate its
surface area,
, by integrating over all the conical bands with infinitesimal width
and length
, where
x is the distance from the
z-axis (axis of rotation, cf. (
9)–(
12)) to the arclength element
, i.e.,
which is immediately integrated to obtain
It is clearly seen, the surface area of the (inflated) Mylar balloon differs from the original area
of the two sewn together circular Mylar discs, showing an
effective (integral) shrinking (hence visible crimping or wrinkling) of the inflated balloon’s surface relative to the deflated one, i.e.,
which is accounting for more than about
loss of the original (deflated) surface area.
We can also introduce a local measure of the above-described integral shrinking that is defined as the ratio of the surface area of a small patch on the deflated Mylar balloon to the surface area of the corresponding patch on the inflated Mylar balloon. This local measure is called
crimping factor and is defined through the relation (see, e.g., [
1])
It can be shown that the crimping factor
is minimal at the poles, where
(see
Figure 1 right), i.e.,
and maximal at the Equator, for
(again see
Figure 1 right), i.e.,
Another geometrical characteristic of the Mylar balloon is the
polar diameter (thickness, height)
calculated by taking twice the distance from the center of the balloon to one of its poles, i.e.,
which can be rewritten as
Then, by the substitution,
, the expression for
takes the form
which, on using the Legendre’s relation [
22] for the complete elliptic integrals of the first
and the second kind
, i.e.,
and, by virtue of the definition of the lemniscate constant in (
17), is transformed to a compact form
Note that
and
are the two extreme (maximal and minimal respectively) distances between any two points on the Mylar balloon. Their ratio is given by the relation
As it can be easily deduced from (
21), the effective (integral) shrinking equals the ratio of the deflated radius
a to the thickness
, which in connection with the above ratio can be expressed as
Proceeding on, we can calculate the
meridional section area,
, of the Mylar balloon as
which is readily integrated to obtain the formula
We can also calculate the Mylar balloon’s
volume by using the shell method, i.e.,
where we have used the representation of the profile curve in (
12). Changing the order of integration in (
33) from
to
, the volume takes the form
which using integration by parts can be rewritten as
Next, taking into account definition (
16) for the lemniscate constant
, and interpreting the last integral as
using (
34), we obtain the final formula for the volume as
We summarize the results obtained above in
Theorem 1. The most important Mylar balloon’s geometrical characteristics are given by the expressionswhere r is the equatorial radius of the (inflated) Mylar balloon. Moreover, the integral expressions (
12), (
13), (
19), (
22), (
25), (
31) and (
34) clearly indicate that the Mylar balloon can be actually characterized by a set of dimensionless quantities,
geometrical moments, defined as (cf. [
23])
which allow us to state
Theorem 2. Relying on geometrical moments the Mylar balloon’s geometrical characteristics are given by the formulaswhere are the first five geometrical moments associated with the Mylar balloon. Furthermore, the profile curve
and the crimping factor
(cf. (
12) and (
22)) can be also given in alternative forms using geometrical moments, i.e.,
In the next section the geometrical moments of the Mylar balloon, , are interpreted as surfaces. They constitute an enumerable set of surfaces of revolutions, , clearly associated with Mylar balloons, which means that we are going to introduce a family of Mylar balloon’s cousins.
3. Mylar Balloon’s Cousins
In the next definition we introduce a special kind of balloons—Mylar balloon’s cousins, an enumerable set of surfaces of revolution associated with Mylar balloons.
Definition 2. The Mylar balloon’s cousins are surfaces of revolutionwith generating curves of the formwhereHere the parameter specifies the equatorial radius of the balloons and the two symmetrically lying parts of to the -plane and that ones of to the -axis are generated by alternating the plus and minus signs in (40) and (41). Note that the Mylar balloon,
, belongs to the above defined family,
, and each one of the balloons,
,
, is a special generalization of the Mylar balloon (compare the parameterizations of
and
in (
12) and (
42)). Substituting
, the integral in (
42) can be rewritten as
therefore, the profile curves
of the Mylar balloon’s cousins (see
Figure 2) can be expressed as
where the definitions of the incomplete beta function
and the beta function
have been used (cf., e.g., [
22,
24,
25]), i.e.,
Figure 2.
Profile curves (complete cross-sections) of Mylar balloon’s cousins, , with equatorial radius , for and 9, viewed from the outside in.
Figure 2.
Profile curves (complete cross-sections) of Mylar balloon’s cousins, , with equatorial radius , for and 9, viewed from the outside in.
In addition to the several balloon profiles given in
Figure 2 and the Mylar balloon for
in
Figure 1, other two 3D graphics (with and without a cut) of one of the Mylar balloon’s cousins,
, can be seen in
Figure 3.
The plots are produced with the help of the computer algebra system
Mathematica® [
5], using the new parameterization (
44).
3.1. First and Second Fundamental Forms and Principal Curvatures
A surface in
parameterized as
is determined almost uniquely by its first
I and second
fundamental forms (see, e.g., [
26])
where the coefficients are defined by the formulas
and
is the unit vector which is normal to the surface
Here we have used the notation
,
, etc.
If
is a surface of revolution, i.e.,
then the meridional,
, and the parallel,
, principal curvatures can be found by the classical formulas
where
, etc.
Applying the above formulas, the coefficients of the first
and second
fundamental forms of
are calculated as
The corresponding principal curvatures of
, i.e.,
and
, calculated via (
49), are obtained as
For the special case of the Mylar balloon, i.e., for
, we obtain that
which confirms the well-known fact that the Mylar balloon is a
linear Weingarten surface, i.e., its principal curvatures
and
satisfy the relation
Using (
51) it can be easily verified that the Mylar balloon’s cousins
and
are Weingarten surfaces as well, which means that their principal curvatures obey functional relations, the so-called
Weingarten relations. For
this is the seventh-order equation
and for
we have the twelfth-order polynomial equation
where the second indices in
,
, have been suppressed.
Unfortunately, it was not possible for us to derive the most general equation representing the Weingarten relation for an arbitrary index n.
However, an interesting conclusions about the ratio
of the two principal curvatures for any member in the family
can be easily derived. Relying again on the equations in (
51) it is straightforward to see that this is the fractional function
From the above expression it is immediately seen that at the poles (where
) the numerical value of this fractional function
coincides with the genuine number
n of the surface to which it refers to, i.e.,
, and then varying smoothly along the meridians it reaches at the equator (where
) the same integer value for all surfaces in the family, i.e.,
. In particular, this means that for
we have a monotonically increasing function when
, i.e.,
whereas for
the fractional function
first decreases to the minimal value
at
and then increases to the maximal value 2. In the case of the Mylar balloon (i.e., when
) the ratio between the meridional and parallel curvatures is constant (see (
54)), i.e.,
. Let us also note that, as it is shown in [
7], this fact specifies the shape of the rotational surface uniquely (cf. (
53) and (
54)). Graphical representations of the two functions
and
are given in
Figure 4, right.
3.2. Geometrical Characteristics of the Mylar Balloon’s Cousins
Applying standard methods as in
Section 2, we can calculate the basic geometrical characteristics of the Mylar balloon’s cousins
such as the perimeter
of the profile curves of the balloons, their surface areas
, etc.
Starting with the perimeter
of the profile curves (i.e., the complete meridional sections, see
Figure 1 and
Figure 2) and using the integral representation in (
42) we arrive at
and then, on passing to
, we obtain
where
Similarly, we can calculate the surface area of the Mylar Balloon’s cousins
, i.e.,
which finally can be expressed as
Note that for the case of the Mylar balloon,
, the factor-function
, which is present in Equations (
60) and (
62) as a multiplier, is identically equal to one:
.
For the next three geometrical characteristics, i.e., the thickness
, the meridional section area
, and the volume
, we obtain explicit representations using the beta function defined by (
46) or the gamma function which defining formula is given as [
24,
25]
The thickness (i.e., the polar diameter)
of the balloons equals to the distance between the two poles
N and
S (see
Figure 1), i.e.,
which in terms of beta or gamma function can be written as
where we used a formula connecting gamma and beta functions (cf., e.g., [
22,
25]), i.e.,
Similarly, the meridional sections area,
, can be calculated as
or, via the beta or gamma functions, as
For calculation of the volume,
, we proceed as in
Section 2 using the shell method, i.e.,
where after replacing
with the integral expression in (
42) and changing the order of integration we arrive at
which by virtue of the definitions of the beta function and its connection with the gamma function (see (
46), (
63) and (
66)) can be written as
The results of this section are summarized in the next two theorems.
Theorem 3. The perimeter of the profile curves (meridional sections) and the surface area of the Mylar balloon’s cousins are given by the integral formulaswhere is the equatorial radius of the balloons, the factor-function is defined in (61) and . Theorem 4. The thickness , the meridional section area , and the volume of the Mylar balloon’s cousins are given by the formulas, using beta functionsor gamma functionswhere r is the equatorial radius of the balloons and , except for in the second row valid for . 3.3. Geometrical Characteristics of the Mylar Balloon via Beta and Gamma Functions
Taking the above-obtained formulas for
(or equivalently, using the relations (
38) and (
39)) the basic geometrical characteristics of the Mylar balloon obtained in
Section 2 can be expressed in terms of the Euler’s beta or gamma functions (see, e.g., [
22,
25]).
Substituting
into (
44) the parameterization of the profile curve
of the Mylar balloon (see
Figure 1) takes the form
where
is the incomplete beta function of the real variable
, and
is the beta function (see Formulas (
45) and (
46)).
The crimping factor,
, which integral formula is given in (
22), can be also represented via the beta function, i.e.,
The arclength
, the surface area
, and the polar diameter
are straightforwardly calculated through the beta or gamma functions, i.e.,
The meridional section area
and the volume
are expressed in a similar manner, i.e.,
Let us note that for the derivation of the final expressions in (
65), (
68) and (
71) as well as in (
77)–(
81) we have used the relations
4. Recursive Evaluation of , , and
Relying on the fundamental identity for the beta function
and the explicit representations for
,
and
, given by (
65), (
68) and (
71), we obtain the recursive relationships
where
Hence, using the explicit representations of the geometrical characteristics of the first four Mylar balloon’s cousins, i.e.,
and the expressions (
84) we can obtain all the geometrical characteristics
,
and
for
, e.g., the next two for
are given as
where for the derivation of the expressions in (
85)–(
87) we have used a representation of the lemniscate constant via the beta or gamma functions (cf. the representations of
in (
16) and (
17)), i.e.,
Next, applying formulas (
84) iteratively for
,
, i.e., for each one of the four residue classes
it can be readily obtained that
in which the shortcut notation
stands for the quadruple factorial, i.e., a product of positive integers defined by the formula
It can be easily seen that when
n is an even number, i.e., when
with
, then
, where
stands for the double factorial, i.e., a product of positive integers defined by the formula
The above formulas specify four non-intersecting residue classes of geometrical characteristics of the Mylar balloon’s cousins, i.e.,
,
and
, which in a more detailed form can be given as
where the numerical multipliers in the curly brackets (i.e., the first elements in each one of the classes, see
Table 1) are applied in the order of their occurrence (i.e., the number
is for
,
is for
, and so on), in correspondence with the complete set of residues modulo 4, i.e., for
. The elements of each one of the classes,
,
, and
, with
, are obtained for
n running through the values of
, i.e., for
,
It turns out to be convenient to introduce the dimensionless geometrical characteristics
and
via the identities
Then for each one of the residue classes,
, we obtain explicit formulas for the thickness
the meridional section area
and the volume
where
. As it can be easily deduced from the various representations given above the three geometric characteristics
,
and
monotonically decrease tending to zero as
n goes to infinity. A graphical representation of their values for
is depicted in
Figure 4, left.
Let us also note that according to the above Formulas (
91)–(
107) the geometrical characteristics of the Mylar balloon’s cousins, i.e.,
,
and
, are expressed through the first elements in each of the four residue classes to which they belong, i.e., by the values of
,
, or
, for
(see
Table 1).
5. Concluding Remarks
In the presented article we have shown how the geometry of the Mylar balloon
and its cousins
can be described with the help of the Euler’s beta or gamma functions. The fundamental geometrical characteristics of these surfaces (such as the arclengths
of the profile curves, surface areas
, volumes
, etc.) have been studied in detail in
Section 3.2. For the special case of the Mylar balloon, i.e., for
, these characteristics are represented in
Section 3.3.
Formulas expressing the geometrical characteristics via the fundamental mathematical constants (such as
and the lemniscate constant
) have been obtained in
Section 2 and
Section 3. A parameterization of the Mylar balloon’s cousins via the Euler’s beta functions is given in
Section 3. The first and second fundamental forms as well as the principal curvatures of
are derived in
Section 3.1, whereas
Section 4 reveals the existence of residue classes modulo four for the thickness
, the meridional section areas
, and the volumes
of the Mylar balloon’s cousins.
The Mylar balloon’s cousins
are essentially not spherical, as the above discussion makes clear, nor are their cross-sections circular. The most common factor that can be used for evaluating their deviation from the “ideal shape” of a sphere, respectively of a circle, is the
aspect ratio—a dimensionless quantity
defined as the ratio of the polar and equatorial diameters of
, being the shortest and longest distances between any two of their points, or in the most simple terms, the ratio of thickness and width (cf. also Formula (
74))
From the properties of the gamma function it is clear that
As
and
are the extremal points of the family, it is interesting to know which is the central (middle) one? In order to answer this question it is enough to solve the equation
which in explicit form amounts to
Strange or not, it turns out that its solution
is quite close to the value of the
golden ratio , which is known to be the most aesthetically pleasing proportion in nature (see, e.g., [
27]), and
.
Additionally, we should mention also that we can use the dimensionless quantity
, introduced in (
95), to measure the aspect ratio for each one of the Mylar balloon’s cousins by taking simply the halves of the expressions in (
96)–(
99), i.e.,
where
and
.
As far as the Mylar balloon is concerned concretely, i.e., for
, the aspect ratio is easily calculated as (compare with the numerical values in [
7,
19,
20,
28])
Last but not least, the new surfaces described here deserve further and deeper investigation. Especially interesting in this context there will be the analysis of the geodesics on those surfaces or more general mechanical properties of their classical and quantum systems defined on them in the spirit of [
17,
29].