HAL Id: jpa-00212410
https://hal.archives-ouvertes.fr/jpa-00212410
Submitted on 1 Jan 1990
HAL is a multi-disciplinary open access
archive for the deposit and dissemination of
sci-entific research documents, whether they are
pub-lished or not. The documents may come from
teaching and research institutions in France or
abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est
destinée au dépôt et à la diffusion de documents
scientifiques de niveau recherche, publiés ou non,
émanant des établissements d’enseignement et de
recherche français ou étrangers, des laboratoires
publics ou privés.
Exact construction of periodic minimal surfaces : the
I-WP surface and its isometries
S. Lidin, S.T. Hyde, B.W. Ninham
To cite this version:
801
LE
JOURNAL
DE
PHYSIQUE
Exact construction of
periodic
minimal surfaces : the I-WP
surface and its isometries
S. Lidin
(1),
S. T.Hyde
(2)
and B. W. Ninham(2)
(1)
Department
ofInorganic Chemistry
2, Chemical Centre, LundUniversity,
Box 124, S-22100Lund, Sweden
(2)
Department
ofApplied
Mathematics, Research School ofPhysical
Sciences, Australian NationalUniversity,
Box 4, Canberra, Australia(Reçu
le 3 août 1989,accepté
sousforme
définitive
le 8janvier
1990)
Résumé. 2014 On
analyse
en détail lagéométrie
de la surface minimale infinie etpériodique
I-WP,découverte par Alan Schoen dans les années 60. En utilisant les
équations
de Weierstrass locales pour la surface, on obtient uneparamétrisation
exacte à l’aided’intégrales
hyperelliptiques
modifiées. A l’aide de méthodes
d’intégrations
numériques rapides,
le rapport surface/volume decette surface est calculé ; il diffère de la valeur
conjecturée
par Anderson. Deplus,
on trouve quela famille de surfaces minimales
isométriques
reliées à la surface I-WPpossède
une nouvelle suite de structuresqui
reproduisent
la surface I-WP elle-même.Abstract. 2014 We have
analysed
in detail the geometry of the I-WP infiniteperiodic
minimalsurface, discovered
by
Alan Schoen in the 1960’s. An exactparametrisation
has beenfound,
using
the local Weierstrass
equations
for the surface,involving
modifiedhyperelliptic integrals.
We have usedrapidly converging integration
techniques
to calculate the surface to volume ratio of this surface, and found that it differs from the valueconjectured
by
Anderson. Further, thefamily
of isometric minimal surfaces related to the I-WP surface has been found to exhibit a novel sequence of structures ; viz.repeated
formation of the I-WP surface itself.J.
Phys.
France 51(1990)
801-813 1er MAI 1990,Classification
Physics
Abstracts 02.40 - 61.30 - 68.00Introduction.
Until
recently
infiniteperiodic
minimal surfaces(IPMS)
provided
aquiet
backwater forstudy
thatbelonged exclusively
to pure mathematicians. This is nolonger
so. It is now clear that adeeper understanding
of minimal surfaces is central to progress in microstructural sciences where theubiquity
of bicontinuous media is nowfirmly
established.Minimal surfaces and related surfaces of constant mean curvature occur in abundance in condensed matter.
Examples
within the solid state are the multitudinousshapes
taken upby
silicates,
proteins
and enzymes, and those surfaces formedby
condensedphases
ofsynthetic
macromolecules like blockcopolymers.
Within theliquid
state, minimal surfaces occur andrecur in cell
membranes,
e.g. thechloroplasts
ofplant
cells,
and in the bluephases
ofthermotropic liquid crystals.
Thephase diagrams
formedspontaneously by
surfactant-water,
and surfactant-water-oil mixtures are rich in cubicphases
thatprovide
a continuum ofstructures as model
systems.
Awareness of the
diversity
ofphysical
realisations of bicontinuous structures is new. It isnot so
surprising
then that there is a dearth of fundamentalgeometric
studies of allowed bicontinuous structures. An infinite number of IPMS are known to exist[1].
Yet to dateonly
aboutthirty
such structures have been elucidated[2-14].
Further,
nothing
is known of bicontinous structures of lowsymmetry
and little of surfaces ofhigh topology. Among
theglobal
properties
of these surfaces necessary to ourunderstanding
of thephysics
of bicontinuous media are : surface to volumeratios,
isometric transformations(which
alter theglobal
geometry
of these surfaces withoutaffecting
the localgeometry)
and Gaussiancurvature variations over the surface.
The field is open and awaits
exploration.
We cannot even write downequations
for the cartesian coordinates ofhigh topology
IPMS. Inshort,
advances in the broad domain of natural sciencesunderpinned
and characterisedby
bicontinuous microstructures will continueto be held back until our
knowledge
of minimal surfacegeometry
improves.
This paper is one
attempt
topush
ourunderstanding
of these surfaces a little further. We do soby focussing
attention on asingle
IPMS,
the I-WP surface. It hasrecently
been observed in a condensedphase
of star blockco-polymers
[15],
and isconjectured
as the structure of a cubicphase
of aternary
surfactant mixture[22].
In contrast to the « classical »periodic
minimal surfaces ofSchwarz,
the I-WP surface contains nostraight
lines,
whichimplies
that thelabyrinths
on either side of the surface aregeometrically
different. The surface definesbody-centred
cubiclabyrinths :
the tunnels on one side radiate from the cube centre towards theeight
vertices,
while the tunnels on the other side are connected at each cubeface,
forming
crosses on each face(Fig. 1).
This surface has genus 4(and
is very different to thosepreviously studied).
Apart
fromeludicating
the structure of a newsurface,
ourstudy
has moregeneral
interest for two reasons :First,
it demonstrates theutility
of aspecific
constructionFig.
1. -algorithm
for minimal surfaces which admits calculation of the intrinsicgeometric
parameters
of the surface - the metric and Gaussian curvature -
as well as the cartesian coordinates of the surfaces and the surface to volume ratio. This
algorithm
hadpreviously
been establishedonly
for lowtopology
IPMS(genus three) [6, 7].
Second,
the isometricfamily
of minimal surfaces related to the I-WP surface exhibits hitherto unknown reflexiveproperties :
the isometricbending
of this surface results in the same surfacerepeatedly.
The outline of this paper is as follows : in the
following
sections we outline thebackground
mathematics. Next weapply
our mathematical formalism to the I-WP surface underinvestigation,
in order to derive the surface to volume ratio. We thenanalyse
associate surfaces to the I-WP surface.Theory :
characterisation of minimal surfaces.Minimal surfaces are surfaces with
vanishing
mean curvature.They
areconsequently equally
concave and convex at allpoints
on thesurface,
i.e. saddleshaped.
It can be shown[16]
that such a surface isba local criticalpoint
of the area functional withrespect
to someboundary,
hence theetymology
of the term « minimal surface ». A minimal surface element can beanalytically
continuedbeyond
itsboundary
toyield
an infinitesurface ;
such a continuation isparticularly
simple
when theboundary
consists ofstraight
lines andplane
lines of curvature.These curves constitute two fold axes of rotation and mirror
planes
[2].
In order togenerate
open infinite
periodic
minimal surfaces we must choose theboundary
judiciously
toyield
a$tructure
which is free of self-intersection and does notdensely
fill space.The Cartesian coordinates of a minimal surface can be determined
by
the local Weierstrassequations [17]
Here w is a
complex
valuedvariable,
R (w )
isanalytic
except
at isolatedpoints
and themapping
from the minimal surface to thew-plane
is acomposite
mapconsisting
of a Gauss(normal)
map from the minimal surface to the unitsphere
followedby stereographic
projection
onto the«plane.
This isclearly
a localrepresentation,
since itrequires
unique
normal vectors and many differentpoints
on the minimal surfaces may have the same normalvector. Ifi the case of an IPMS every normal direction on a surface re-occurs an infinite number of times - at least
once every unit cell.
The
general problem
ofderiving
new IPMS is to find the functionR(w)
thatyields
aspecific
minimal surface.It has been shown
by
Bonnet[18]
that ifR(w )
isreplaced by
ei 6
R (w ),
the surfacesgenerated by
different values of 0 are all isometric. This means that the Gaussian curvature isindependent
of 0,
and that two surfaces related in this way can be transformed into each otherby
asimple bending
transformation. Two surfaces related to each otherthrough
the isometricproperty
of the Bonnet Transformation are said to be associated. If theangle
of association(0 )
is amultiple
ofTT /2
(which
corresponds
tomultiplying
theintegrals
inEq.
(1)
by
theFrom the work of Schwarz
[2]
one of us hasconjectured
thatR (w )
could bedetermined
from the flatpoints
of anIPMS,
where the flatpoints
of a surface arepoints
withvanishing
Gaussian curvature[19]. (The
flatpoints
arelocally
isometric to aplane.)
The
conjectured
algorithm
is :where
wi
are theimages
in thecomplex plane
of then flatpoints
of the surface. Thedegree,
bi,
of the Gauss map at the flatpoint j
isequal
to the ratio between theangle
of intersection between any twogeodesics
through
the flatpoint
and the Gauss mapimage
of the sameangle.
(The
degree
is onegreater
than the branchpoint
order.)
Theproduct
inequation
(2)
is taken over theprimitive
unit cell of thesurface ;
viz. the smallestportion
of the IPMS which forms the full IPMS under translation alone. Thecomplex
constantK == r . ei6
represents
a combination of asimple scaling
and a Bonnet transformation.The choice of the
exponents - llbj
guarantees
that the Gauss map is conformal at everypoint.
Note that this does notrequire
the numerator of theexponent
inequation (2)
to be1,
anyinteger
Ni
such thatNi bj
andNj, bBi
coprime
is sufficient.In two earlier papers we have demonstrated the
utility
of thealgorithm
[6, 7].
Some constraints on theuniversality
of thisalgorithm
which had not beenrecognised
previously
deserve note.Firstly,
the Gaussian curvature,K,
can beexpressed
in the Weierstrassparametrization
asNow if a
point
on the IPMScorresponding
to the northpole
on the Gauss map is aregular,
non flatpoint, K
will have afinite,
non zero,negative
value( K ).
This situation canalways
be achievedby
a suitable orientation of the surface since flatpoints
are isolated. This means that :(where
c is nonpositive
realnumbers)
So,
the sum over theexponents
inequation (2)
is :where
Ni
are the numerators of theexponent.
A second constraint is that the Riemann surface must be a
regular covering
of the Gausssphere.
In otherwords,
the unit cell must not containpoints
with identical normal vectors and different Gaussian curvatures. If these constraints are met, the Riemann surface of the functionR (úJ )
willcorrespond
to theprimitive
unit cell of the IPMS.topology.
Therelationship
between thebj’s
and the genus per unit cell of the IPMS isgiven
as[19] :
where X
is the Euler characteristic of a unit cell of the surface.If we consider the
simplest
caseonly,
where all flatpoints
are of the sametype
(all
Ni
areequal
and allbi
areequal)
weget
thefollowing possible
combinations of flatpoint
order and surfacetopology
which are consistent withequations
(4)
and(5) :
Table 1.
and so on
Thus,
thisalgorithm
admits directcomputation
of the IPMStopology,
which is a crucial« index » of the surface.
Further,
we can calculate the surface to volume ratio and associate surfaces from thealgorithm.
The normalized surface to volumeratio,
A/V2J3
is anotherimportant
index of the surface. Thisquantity
can be determined to anarbitrary degree
of accuracyusing
ourparametrisation.
To
compute
thisentity
weemploy a
resultby Smyth
[20].
A minimal
surface, S,
withboundary
on asimplex,
Mobeys
thefollowing
rule :Where r is the inradius
(1)
ofM,
and P and A are theperimeter
and area of Srespectively.
Ingeneral,
theboundary
of S in ourparametrisation
consists of a set ofplane
lines ofcurvature.
Instead of
calculating
theperimeter
of Sdirectly,
we calculate that of theadjoint
surface element S *.Since S and S * are
isometric,
corresponding
curves haveequal length,
and so theperimeters
of S and S * areequal.
Note however that thequadrirectangular
tetrahedra that bound S and S * are of different size. Thus the inradius must becomputed
from theoriginal
cell(bounding S).
(1)
The inradius is defined to be the radius of asphere
which touches each face of thebounding
The 1-WP surface.
With this
background
established weproceed
toinvestigate
asingle
IPMS,
known as the I-WP surface. This IPMS was first describedby
Schoen[5]
who derived it as theadjoint
surface of a selfintersecting
IPMSgiven by
Stessmann[4].
It has been described since thenby
vonSchnering
andNesper
[9]
in connection with the structure ofBaCu02
andby
Karcher,
who has derived aglobal parametrization
of the surface[13].
The I-WP surface can begenerated
by
thepropagation (using
mirrorreflections)
of an element inscribed in aquadrirectangular
tetrahedron.(Fig. 2a),
which is an almostasymmetric
unit for the space group of the I-WP surface - Im3m.Fig.
2. -a)
Fundamental element of the I-WPperiodic
minimal surface, confined within aquadrirec-tangular
tetrahedron. The faces of this(kaleidoscopic)
cell are mirrorplanes
for the minimal surface. Successive reflections in these faces and all new faces result in thecomplete
I-WP minimal surface,which separates two distinct
labyrinths.
b)
Fundamental element of theadjoint
minimal surface to the I-WP surface, first realisedby
Stessman[4].
This unit is boundedby
fourstraight edges
of thequadrirectangular
tetrahedron. Thecomplete
(self-intersecting)
surface is formedby
rotation of 180°about each
straight
edge.
c)
Coordinate axes for allgeometric
calculations.This surface element contains a two fold axis of rotation
perpendicular
to thesurface,
but nostraight
lines in the surface. This element will now be referred to as the[undamehfal
element. Theprimitive
unit cell iscomposed
of 24equivalent
elements. Note that it takes 48 fundamental elements to build thebody
centered cubic. unit cell of the I-WP surface.tetrahedron is
TT /4
-an
eighth
of thecomplete
flatpoint
-so the
primitive
unit cell contains 24. 2/8 = 6flatpoints,
allequivalent
due to thesymmetry
of the surface.We now
proceed
toexplore
the Gauss map in order to determine whether thealgorithm
describedby
equation
(2)
can be valid and if so, to determine the functionR (w ).
The shaded
region
infigure
3 is the Gauss map of the fundamental element. As is evident from thefigure,
theimages
of the dihedralangles
at theflatpoints
are both 3TT /4,
so thedegree
of the Gauss map at the flatpoint
is 3.Fig.
3. -Gauss map of the surface elements
depicted
infigures
la, lb(surface
normalsmapped
ontothe unit
sphere).
A
mapping
of the wholeprimitive
unit cell onto thesphere,
results in the six flatpoints
being
distributed on the vertices of aregular
octahedron,
so that thesphere
is covered three times.Applying
equations (3)
and(4)
we find thatNi
= 2 and that the genus of the I-WP surface is4.
(This
is anexample
of the second case in Tab.I.)
In order to
perform stereographic
projection,
the Gauss map is rotatedby
7r/4
around the y axis thusremoving
the flatpoint
from the northpole.
Theimage
subsequently
produced by
projection
onto theurplane
isgiven
infigure
4.With the flat
point images
at ± i and ±à
± 1 we then haveThis function indeed
yields
the I-WP surface which followsusing
equation
(1)
so thealgorithm
holds for this case.We now deduce some
geometric properties
of the I-WP surface from the Weierstrassequations.
Wefirstly proceed
to calculate the normalised surface to volume ratio. For reasons outlinedabove,
we calculate the surface area of the surface elementadjoint
to the I-WP element. Theadjoint
element,
S *belongs
to the Stessmann surface - a surfacecontaining
self-intersections
(Fig. 2b).
The
side f
of the cube in which thequadrirectangular
tetrahedron(M)
bounding
S is inscribed can be determined from the coordinates of thepoints
marked(2)
and(4)
ofFig.
4. -The Gauss map of a fundamental element of the I-WP surface
projected
onto thecomplex
plane
(after
rotation of the element shown inFig.
2),
in order to remove the branchpoint
atinfinity.
The
perimeter
of S * is determinedby
the coordinates of thepoint
marked(2)
infigure
2b,
which isBy
applying
elementary
linearalgebra
to thegeometry
depicted
infigure
2a we findThe inradius of M is determined in terms of
f
by
considering
aprojection
of M onto its basalFig.
5.- Projection
of aquadrirectangular
tetrahedron onto its basalplane.
It is evident that the centre of the
insphere
must lie on the two fold axis of the tetrahedron. Thisgives
usThe
perimeter
of S * isgiven by
Applying equation (6)
we haveThe area of one
(bcc)
unit cell of surface iswhile the volume is
The normalised surface to volume ratio then follows as
This
yields
the normalized surface to volume ratio asThis value does not
significantly
differ from 2f
and this leads us toconjecture
that it is indeedanalytically
equal
to that value. Thecomputation
refutes theconjecture
madeby
Anderson[22]
for the surface to volume ratio. This result issignificant,
since it means thatnormalised
surface to volume ratiois,
ingeneral,
not obtained fromcomplete elliptic
integrals.
Infact,
this is notsurprising, given
that the Weierstrassequations
for anarbitrary
IPMS are notreadily
reduced toelliptic
integrals
(whereas
those for theP-,
F- andgyroid
surfacesare).
Associate surfaces to the I-WP.
Schoen discovered the I-WP surface
by
Bonnettransforming
the selfintersecting
IPMS first realisedby
Stessman. Schoen also showed that there exists acountably
infinite number ofperiodic
associates in everyfamily
of surfaces relatedby
the Bonnet transformation[5].
Aninteresting
question
is if any of these surfaces are free of selfintersection,
yielding
new open IPMS.In
general,
the issue is difficult to resolve.However,
thisquestion
can beinvestigated
for the I-WPfamily by monitoring
thepositions
of the fourfold axes in aprojection
of the surfaceduring
the transformation.A necessary condition for an associate minimal surface to the I-WP surface to be
periodic
is that the two fourfold axes must coincide(Fig. 6) ;
i.e. the x- and z-coordinates must be the same for both axes.It is well known that the coordinates of an associate minimal
surface, S’,
can beexpressed
in terms of twoadjoint
surfaces,
S,
S*,
in the sameBonnet-family by
If S denotes the I-WP surface and S * the Stessmann
surface, then,
using
equation
(17)
when the two fourfold axes coincide.
Now
equation (18)
isalways
satisfied for thepoints
chosen,
butequation
(19)
isonly
valid for certain discrete values of theangle
ofassociation,
8.We have
with
I1-
I4
defined as aboveAccording
to theprevious conjecture
theangle
of association isexactly
TT /6,
and indeed that appears to be correct, to seven decimalplaces.
Solving equation (1)
for thisangle
ofassociation,
wegenerate
a newperiodic
minimal surface. It turns out that this associate surface is non selfintersecting.
Surprisingly
this new surface is identical with the I-WP surface itself.Thus,
thefamily
of associate surfaces to the I-WP surface has aperiod
of7r/3
in contrast to the usualsituation,
where a transformationWierstrass
parametrisation
it isapparent
that thealgorithm
cannot beuniversally
valid. Inparticular,
we are restricted to surfaces whose Gauss mapsyield
aregular covering
of thesphere.
In itspresent
form thealgorithm
cannot deal with IPMScontaining points
that share the same normal vectors but whose localgeometry
(curvature, metric)
differs.(This
occurs,for
example,
in the Neoviussurface.)
Work isunderway
to resolve thisproblem.
We have demonstrated here the
possibility
ofcomputing
the surface to volume ratio from the local Weierstrassgenerating
functions for the IPMS. It is clear that thisglobal
ratio is notsimply
related tocomplete elliptic integrals,
a result that refutes theconjecture
of Anderson.Perhaps
the mostsurprising
result of ouranalysis
lies in theself-similarity
ofperiodic
associate minimal surfaces to the I-WP surface. In this case, the Bonnet transformation -which links new surfaces of identical localgeometry
-yields
the I-WP surfacerepeatedly,
rather than another IPMSglobally
distinct from the I-WP surfaces. Thisphenomenon implies
aunique stability
property
of the I-WP surface incomparison
to all the IPMS studied so far. Local isometric distortions of I-WP surface result in the surface «folding
back » into itselfrepeatedly
rather thantransforming
to newglobal
geometry.
Thisproperty
may indicate aphysical preference
for interfacessubject
to natural fluctuations toadopt
the I-WPgeometry.
It isimportant
at thisstage
not be become fixated on asingle
IPMS.Accordingly,
this paper aims to demonstrate theutility
of ourgenerating algorithm
for minimalsurfaces,
as much asrevealing
thesurprising
behaviour of the I-WP associatefamily
of IPMS.Many,
many moreexist,
and thisproof
of moregeneral validity
of thealgorithm
is critical.References
[1]
PITTS J. P., RUBINSTEIN J. R.,Application
of minimax to minimal surfaces and thetopology
of3-manifolds,
Proceedings
of the Centre for MathematicalAnalysis,
Australian NationalUniversity,
Canberra(1986).
[2]
SCHWARZ H. A., Gesammelte MathematischeAbhandlungen (Springer)
1890.[3]
NEOVIUS E. R.,Bestimming
ZweierSpeciellen
Periodische Minimalflächen(J.
C. Frenckel &Sohn)
Helsinki,
1883.[4]
STESSMAN B., Periodische Minimalflächen, Math. Zeit. 38(1934)
417-442.[5]
SCHOEN A. H., Infiniteperiodic
minimal surfaces without self-intersections, NASA Techn.Rep.
D-5541
(1970).
[6]
LIDIN S., HYDE S. T., A constructionalgorithm
for minimal surfaces, J.Phys.
France 48(1987)
15-20.[7]
LIDIN S.,Ring-like
minimal surfaces, J.Phys.
France 49(1988)
421-427.[8]
ANDERSSON S., HYDE S. T., LARSSON K., LIDIN S., Minimal surfaces and structures: frominorganic
and metalcrystals
to cell membranes andbiopolymers,
Chem. Rev. 88(1988)
221-242.[9]
V. SCHNERING H. G., NESPER R., How Natureadapts
chemical structures to curved surfaces,Angew.
Chem. Int. Ed.Engl.
26(1987)
1059-1080.[10]
FISCHER W., KOCH E., On3-periodic
minimalsurfaces,
Z.Kristallogr.
179(1987)
31-52.[11]
KOCH E., FISCHER W., On3-periodic
minimal surfaces with non-cubic symmetry, Z.Kristallogr.
183(1988)
129-152.[12]
KOCH E., FISCHER W., ActaCryst.,
in press.[13]
KARCHER H., Minimal surfaces, theMorgan Principle
and the Riemannmapping theorem,
manuscript (Bonn
andI.H.E.S.)
1987.[14]
SADOC J. F., CHARVOLIN J., Infiniteperiodic
minimal surfaces and theircrystallography
in the[15]
ANDERSON D. M., STRÖM P.,Polymerisation
oflyotropic
liquid
crystals,
inPolymer
AssociationStructures, ACS