Construction of Equilibria With Symmetry for Anisotropic Energy Functionals

Bennett Palmer

doi:10.55060/s.atmps.231115.002

Previous Article In Volume

Next Article In Volume

Construction of Equilibria With Symmetry for Anisotropic Energy Functionals

Downloads:

466

Full-Text Views:

32

Citations (Scopus):

0

Citations (Crossref):

0

Download PDF

Cite This Article

Authors

Bennett Palmer¹^{, *}

¹

Idaho State University, Pocatello, United States

^*

Corresponding author. Email: bennettpalmer@isu.edu

Corresponding Author

Bennett Palmer

Article History

Received 6 February 2023
Revised 31 July 2023
Accepted 23 October 2023
Available Online 29 November 2023

DOI: https://doi.org/10.55060/s.atmps.231115.002
Keywords: Anisotropics
Mean curvature
Axially symmetric
Wulff shape
Crystallography
Abstract: In this article we discuss the construction of equilibrium surfaces with symmetry for anisotropic energy functionals.
Copyright: © 2023 The Authors. Published by Athena International Publishing B.V.
Open Access: This is an open access article distributed under the CC BY-NC 4.0 license (https://creativecommons.org/licenses/by-nc/4.0/).

1. INTRODUCTION

Anyone who has cut meat or sawed wood is aware that it is easier to cut or saw in some directions than in others. If we consider meat or wood as an idealized horizontal three-dimensional slab, then we observe that the amount of energy required to create a unit area of surface, depends entirely on the direction of the piece of surface.

The same phenomena is encountered when cutting through any crystalline solid, or more generally, through any material in an ordered phase. Since intermolecular bonds are stronger in certain directions than in others, more work must be done to cut along these directions and thus to create a unit area of surface along them. To account for this Josiah Gibbs introduced a notion of anisotropic surface energy by defining a density γν which is the unit energy per unit area of a surface element having unit normal ν. The total energy of the surface is then given by summing this over the surface:

F=∫ΣγνdΣ(1)

The deviation of γ from being a constant is a measure of the anisotropy of the surface.

According to the principles of thermodynamics, the tendency of a surface to minimize its surface energy is the most important factor in determining the surface geometry. Of course, this minimization must take into account any constraints which are imposed, for example boundary conditions, volume constraints. This tendency of the surface to minimize energy yields a differential equation, known as the Euler-Lagrange equation, which gives a necessary condition which any equilibrium surface must satisfy. The first one to apply the calculus of variations in relation to anisotropic surface energy was Pierre Curie [1].

At small scales, the shape of biological organisms is driven by their surface energy and not their bulk energy. In his epic work “On Growth and Form” [2], D'Arcy Thompson makes the case that biological organisms are, first and foremost, physical entities and therefore their morphology is, at least, partially driven by the laws of physics. He also makes the claim that the anisotropic nature of the constituent materials of these organisms is responsible for the deviation of their shapes from being spherical in shape.

Although he does not explicitly use an energy of the form in Eq. (1), he employs the anisotropic Young-Laplace equation:

TR+ T'R'= constant(2)

to characterize their equilibrium shapes in the absence of external forces. Eq. (1) is exactly the so-called Euler-Lagrange equation which characterizes the equilibrium states of Eq. (2) with a volume constraint. Here R, R’ are the radii of curvature of the surface of the organism, T, T’ are orthogonally directed stresses. (This expression may not be adequate to describe the general situation since it presupposes that the direction of the stresses in the material coincide with the principal directions of the surface.)

Remarkably, the type of energy defined in Eq. (1) possesses a canonical equilibrium known as the Wulff shape. We can consider the density γ as a function defined on the unit two-dimensional sphere S² in three-dimensional space. As each point ν ∈ S², we consider the half-space {X ∈ R³ | X · ν ≤ γ(ν)}. The intersection of all such half-spaces defines a convex body whose boundary W is called the Wulff shape, i.e.:

W=∂∩v∈S2X·ν≤γν(3)

A series of results, collectively known collectively as Wulff’s Theorem, state that the surface W is the unique absolute minimizer of the free energy (Eq. (3)) among all closed surfaces enclosing the same volume as W [3,4] (for other values of the volume, the minimizer is the appropriate rescaling of W). Some biographical information on Georg Wulff can be found in [5]. In the special case γ ≡ 1, Wulff’s Theorem is just the classical three-dimensional isoperimetric inequality which states that the round sphere is the unique minimizer of surface area for a given volume. The Ukrainian crystallographer Wulff first stated this result in the case where W and all competing surfaces are “crystals”, i.e. surfaces that are piecewise linear. Over the years, Wulff’s result has been generalized to the point where it is now known to hold (in any dimension) when W is an arbitrary convex surface and the comparison surfaces need only be surfaces in some measure theoretic sense.

Besides the result that the Wulff shape W is the unique minimizer, there are results characterizing W as the unique stable closed equilibrium surface, the unique embedded closed equilibrium and the unique genus zero, closed equilibrium for the surface energy (Eq. (3)).

2. DELAUNAY SURFACES

The axially symmetric constant mean curvature surfaces were found by Charles Delaunay [6]. Delaunay found that if a conic section is rolled without slipping along a line, the trace of a focus will yield the generating curve of a CMC surface and that all axially symmetric CMC surfaces arise in this way. The correspondence is as follows: circle ←→ cylinder, ellipse ←→ unduloid, hyperbola ←→ nodoid, parabola ←→ catenoid. The sphere can be obtained as a limiting case of unduloids. The integration of the equation for the rolling curve is reminiscent of another important appearance of the conic sections; Kepler’s integration of the equations of motion of an object subjected to a central force field. It is likely that Delaunay, who was an astronomer by profession and who had written his dissertation on variational calculus, was influenced by Kepler’s calculations.

Now consider an axially symmetric anisotropic surface energy functional F. This is equivalent to the Wulff shape W being axially symmetric and we let (u(v),v) denote the generating curve of W . Let µ₁, (respectively µ₂) denote the principal curvature of W along a meridian, (respectively a parallel), with respect to the inward pointing surface normal of W. Likewise, we let κ_i denote the corresponding principal curvatures of an axially symmetric surface Σ, with respect to the outward pointing surface normal. In this case, the equilibrium equation reduces to:

κ1μ1+ κ2μ2≡2Λ0 = constant

which is a special case of Eq. (2).

The axially symmetric surfaces with constant anisotropic mean curvature will be called anisotropic Delaunay surfaces [7]. These can be found as follows. Let (r,z) denote the generating curve of such a surface Σ. To each point on Σ, there is a unique point on W where the normals to Σ and W agree.

Then at these points, u and r are related by the quadratic equation (see Fig. 1):

2ruμ2+Λr2=c(4)

where c is a real constant and Λ is the anisotropic mean curvature. Once r=ru,Λ,c is determined from Eq. (4), the vertical coordinate can be determined by:

z=∫v0vru(u(v^))dv^

To generate a wide variety of examples, we employ the Gielis formula [8]:

r=rθ,m,n1,n2,n3,a,b=1/acosmθ4n2+1/bsinmθ4n3−n1(5)

This formula is an excellent source of curves with prescribed symmetries yielding a curve in polar form. Its utility in modeling natural shapes in a wide variety of circumstances is reviewed in [9]. We refer to the polar graphs given by Eq. (5) as Gielis curves. Given two convex Gielis curves, uσ,vσ,αt,βt we form a “product” Wulff shape parameterized by:

χσ,t=uσαt,βt,vσ 0≤σ≤σ¯,0≤t≤t¯(6)

For this type of Wulff shape, the analogues of the constant anisotropic surfaces found above can be found by replacing the cross-sectional circles by the (α, β) curve as in Fig. 2 and Fig. 3 (see [10]).

There is at least one earlier appearance of a type of anisotropic Delaunay surface in the literature. Bernal and Fankuchen observed that equilibrium droplets of a type of nematic liquid crystal which was extracted from tobacco plant virus, take a form which they refer to as a tactoid, which resembles an American football. They state that the surface of these shapes satisfies Eq. (2).

3. HELICOIDAL SURFACES

Oscar Perdomo [11] gave a remarkable generalization of the rolling construction which produces constant mean curvature surfaces which are invariant under a helicoidal motion. Such surfaces are known as CMC twizzlers.

The immersion is represented as the orbit of a planar generating curve xs,ys under the helicoidal motion, so that one has:

Xs,ϑ=xs+iyse−iωϑ,ϑ+c(7)

where the angle ω is a constant which determines the pitch of the twizzler. To find the generating curve, Perdomo introduces a curve called the treadmill sled. The generating curve is the trace of a point which is rigidly attached to the treadmill sled which rolls without slipping on a treadmill. The coordinates ξ1,ξ2 of the treadmill sled are determined from the conservation law:

Λη12+η22+2η21+ω2η12+A≡0(8)

where A is a real constant. The generating curve is related to the treadmill sled by:

x+iy=−η1+iη2exp−i∫ dη2η1(9)

where η2=η2η1 has been determined from Eq. (8).

Perdomo’s construction generalizes to the anisotropic cases provided that the Wulff shape W is smooth and axially symmetric [12] (see Fig. 4, Fig. 5 and Fig. 6). The only modification in the construction is that Eq. (8) is changed to:

Λη12+η22+2η2μ2ωη1/1+ω2η121+ω2η12+A≡0(10)

It is worth noting that if a helicoidal or axially symmetric surface is represented in non-parametric form z=zr+λθ, then both Eq. (4) and Eq. (10) can be expressed as the single equation:

2rzrν3μ2ν3+Λr2=constant(11)

4. ROTATING ANISOTROPIC DROPS

We will consider the equilibrium shape of a non-liquid drop rotating with a constant angular velocity Ω about a vertical axis. The surface of the drop, which we denote by Σ, is represented as a smooth surface. The bulk of the drop is assumed to be occupied by an incompressible liquid of a constant mass density ρ1 while the drop is surrounded by a fluid of constant mass density ρ2. The drop’s free surface energy is assumed to be given by an anisotropic surface energy F. The rotation contributes a second energy term of the form −Ω2ΔI, where ΔI is difference of moments of inertia about the vertical axis:

ΔI:=(ρ1-ρ2)∫UR2dv

where R:=x2+y2. The last term represents twice the rotational kinetic energy of the drop.

The total energy is thus of the form:

E:=F−Ω22ΔI+Λ0V(12)

where V denotes the volume of the drop and Λ0 is a Lagrange multiplier. Let Δρ:=ρ1−ρ2, then by introducing a constant a:=ΔρΩ2, we can write the functional in the form:

Ea,Λ0=F-a2∫UR2dV+Λ0V

where U is the three-dimensional region occupied by the bulk of the drop. The Euler-Lagrange equation satisfied at points on the surface of the drop is:

Λ=Λ0−aR22(13)

In the special case γ=γν3 if the surface is given as an axially symmetric graph x3=Zr then:

Λ=−1rrν3μ2Zrr

where μ2=γ−ν3γ′ν3−1 is the principal curvature of W along a meridian. Using this, we obtain the first integral:

2rν3μ2Zr+Λ0r2−αr44=C(14)

where C is a constant of integration. If u,v denote the radial and vertical coordinates of W at a point where the normals to Σ and W agree, then this equation can be expressed as:

2ur+Λ0r2−αr44= constant(15)

To see this, we note that the principal curvatures of W with respect to the inward pointing normal are given by μi,i=1,2 where 1/μ2=γ−ν3γ′ν3,γ1=1−ν32γ″ν3+1/μ2. Then u=1−ν32/μ2,v=ν3/μ2+γ′ν3 parameterizes the generating curve of W. Using ν3=1+Zr2−1/2, it follows that u:=Zrν3/μ2.

For closed genus zero surfaces we can let r approach 0 and we obtain that C=0 and Eq. (15) reduces to a cubic which we write as:

ar34−Λ0r−2u=0(16)

The discriminant is ϑν3=aΛ03−27a2/4uν32. We first assume 0<a=ΔρΩ2. Then Λ0≤0 implies that the discriminant is always negative and the cubic has a unique real root. The surface can be found explicitly by setting k:=−16Λ0/3a using:

r=ksinh13arcSinh32uak3

Surfaces of this type are shown in Fig. 7 and Fig. 8.

ar34−Λ0r−2u=0(17)

We will describe a construction of the part of the generating curve C which lies in the first quadrant. If W is invariant by a reflection through the plane x3=0, then C will also be invariant under a horizontal reflection. If 0<Λ0<3aumax2/41/3 the discriminant has a sign change when:

u0=2aΛ03a3/2

In this case, C will be obtained by piecing together three curves. Let:

k:=16Λ03a

For umax≥u≥u0 , the cubic has a unique real root:

r1=kcosh13arcCosh32uak3

For u0≥u≥−u0:

r2=kcos13arccos32uak3

For 0≥u≥−u0:

r3=kcos13arcCos32uak3−2π3

In all three cases, the vertical coordinate of the generating curve r,Z is obtained from:

Zi(v)=∫v0v∂u(ri)(u(v^))dv^+Ci,i=1,2,3

for appropriate constants Ci which must be chosen so that the three curves fit together as in Fig. 9.

REFERENCES

[1]

P. Curie. Sur la Formation des Cristaux et sur les Constantes Capillaires de Leurs Differentes Faces. Bulletin de la Société Française de Minéralogie et de Cristallographie, 1885, 8(6): 145–150. (in French)

[2]

D.W. Thompson. On Growth and Form, new edition. Cambridge: Cambridge University Press, 1942.

[3]

J.E. Brothers, F. Morgan. The Isoperimetric Theorem for General Integrands. Michigan Mathematical Journal, 1994, 41(3): 419–431. https://doi.org/10.1307/mmj/1029005070

[4]

S. Chandrasekhar. Surface Tension of Liquid Crystals. Molecular Crystals, 1966, 2(1–2): 71–80. https://doi.org/10.1080/15421406608083061

[5]

The Elusive Wulff. SciHistory: Historical Investigations of a Curious Engineer. Published online: 20 June 2013. https://historyofsci.blogspot.com/2013/06/the-elusive-wulff.html

[6]

C. Delaunay. Sur la Surface de Révolution Dont la Courbure Moyenne Est Constante. Journal de Mathématiques Pures et Appliquées, 1841, 6: 309–314. (in French) http://www.numdam.org/item/JMPA_1841_1_6__309_0/

[7]

M. Koiso, B. Palmer. Geometry and Stability of Surfaces With Constant Anisotropic Mean Curvature. Indiana University Mathematics Journal, 2005, 54(6): 1817–1852. https://doi.org/10.1512/iumj.2005.54.2613

[8]

J. Gielis. A Generic Geometric Transformation That Unifies a Wide Range of Natural and Abstract Shapes. American Journal of Botany, 2003, 90(3): 333–338. https://doi.org/10.3732/ajb.90.3.333

[9]

J. Gielis, D. Caratelli, Y. Fougerolle, P.E. Ricci, I. Tavkelidze, T. Gerats. Universal Natural Shapes: From Unifying Shape Description to Simple Methods for Shape Analysis and Boundary Value Problems. PLOS ONE, 2012, 7(9): e29324. https://doi.org/10.1371/journal.pone.0029324

[10]

M. Koiso, B. Palmer. Equilibria for Anisotropic Surface Energies and the Gielis Formula. Forma, 2008, 23(1): 1–8.

[11]

O.M. Perdomo. A Dynamical Interpretation of the Profile Curve of CMC Twizzler Surfaces. Pacific Journal of Mathematics, 2012, 258(2): 459–485. https://doi.org/10.2140/pjm.2012.258.459

[12]

C. Kuhns, B. Palmer. Helicoidal Surfaces With Constant Anisotropic Mean Curvature. Journal of Mathematical Physics, 2011, 52(7): 073506. https://doi.org/10.1063/1.3603816

Previous Article In Volume

Next Article In Volume

Cite This Article

ris

TY  - CONF
AU  - Bennett Palmer
PY  - 2023
DA  - 2023/11/29
TI  - Construction of Equilibria With Symmetry for Anisotropic Energy Functionals
BT  - Proceedings of the 1st International Symposium on Square Bamboos and the Geometree (ISSBG 2022)
PB  - Athena Publishing
SP  - 21
EP  - 29
SN  - 2949-9429
UR  - https://doi.org/10.55060/s.atmps.231115.002
DO  - https://doi.org/10.55060/s.atmps.231115.002
ID  - Palmer2023
ER  -

download

copy