# Solution of the Kirchhoff–Plateau Problem

- 1.4k Downloads
- 2 Citations

## Abstract

The Kirchhoff–Plateau problem concerns the equilibrium shapes of a system in which a flexible filament in the form of a closed loop is spanned by a liquid film, with the filament being modeled as a Kirchhoff rod and the action of the spanning surface being solely due to surface tension. We establish the existence of an equilibrium shape that minimizes the total energy of the system under the physical constraint of noninterpenetration of matter, but allowing for points on the surface of the bounding loop to come into contact. In our treatment, the bounding loop retains a finite cross-sectional thickness and a nonvanishing volume, while the liquid film is represented by a set with finite two-dimensional Hausdorff measure. Moreover, the region where the liquid film touches the surface of the bounding loop is not prescribed a priori. Our mathematical results substantiate the physical relevance of the chosen model. Indeed, no matter how strong is the competition between surface tension and the elastic response of the filament, the system is always able to adjust to achieve a configuration that complies with the physical constraints encountered in experiments.

### Keywords

Minimal surface Kirchhoff rod Stable equilibria Liquid film Topological constraints Plateau problem### Mathematics Subject Classification

74G65 49Q05 74K10## 1 Introduction

Liquid films spanning rigid frames have been of longstanding interest to physicists and mathematicians, thanks to the sheer beauty of the countless observable shapes. After the experimental investigations of Plateau (1849), anticipated by Lagrange’s (1867) theoretical treatment of the minimal surface problem, the first satisfactory proofs of the existence of a surface of least area bounded by a fixed contour were provided only in the twentieth century by Garnier (1928), Radó (1930), and Douglas (1931). This formed a basis for a wealth of mathematical investigations regarding minimal surfaces, concerning various aspects and generalizations of the classical Plateau problem. The interested reader is referred to the treatises by Dierkes et al. (2010a, b) for a comprehensive review of the formative contributions.

An important generalization to the situation in which the boundary of the minimal surface is not fixed but is constrained to lie on a prescribed manifold was initially treated by Courant (1940) and Lewy (1951), whose work spurred a number of important mathematical contributions, as reviewed by Li (2015). An existence theorem for a complementary generalization, in which part of the boundary is fixed and the remaining part is an inextensible but flexible string, was later proved by Alt (1973). In the present article, we introduce a problem which combines those generalizations. We consider situations in which the boundary of the minimal surface lies on a deformable manifold, namely the surface of an elastic loop. The filament forming the loop is assumed to be thin enough to be modeled faithfully by a Kirchhoff rod, an unshearable inextensible rod which can sustain bending of its midline and twisting of its cross sections [see Antman (2005, Chapter VIII)]. This is a mathematically one-dimensional theory that describes a three-dimensional object, endowed with a nonvanishing volume, since the material cross sections have nonvanishing area. The Kirchhoff–Plateau problem concerns the equilibrium shapes of a system composed by a closed Kirchhoff rod spanned by an area-minimizing surface.

In recent years, some attention has been drawn to the Kirchhoff–Plateau problem following a paper by Giomi and Mahadevan (2012), and the stability properties of flat circular solutions have been investigated, under various conditions regarding the material properties of the rod, by Chen and Fried (2014), Biria and Fried (2014, 2015), Giusteri et al. (2016), and Hoang and Fried (2016). An existence result for a similar problem was given by Bernatzki and Ye (2001), but the elastic energy used therein fails to satisfy the basic physical requirement of invariance under superposed rigid transformations and thereby implicitly entails the appearance of unphysical forces. Moreover, a strong hypothesis is used to avoid the issue of self-contact.

Importantly, in all of these studies the boundary of the spanning surface is assumed to coincide with the rod midline and not to lie on the surface of the rod. This amounts to a slenderness assumption. Moreover, the surface is viewed as diffeomorphic to a disk, except by Bernatzki and Ye (2001), who employ the theory of currents. We relax both of these assumptions. Regarding the filament, we retain its three-dimensional nature for two physically well-justified reasons. First, there is a significant separation of scales between the typical thickness of the liquid film and the cross-sectional thickness of the filaments used in experimental investigations: a minimum of two orders of magnitude. Consequently, while the liquid film is still represented as two-dimensional, it seems appropriate to treat the bounding loop as a three-dimensional object. Second, the possibility of generating nontrivial shapes due to the interaction between the film and the bounding loop relies on the anisotropic material properties of the filament, which are often associated with how its cross sections are shaped.

Furthermore, the physical presence of the bounding loop requires a proper treatment of the constraint of noninterpenetration of matter, which is clearly at play in real experiments and even becomes essential, since the bounding loop can sustain large deflections but remains constrained when self-contact occurs. If, in particular, the relative strength of surface tension with respect to the elastic response of the filament becomes large, then the compliance of the mathematical solution with physical requirements can only be guaranteed by including the noninterpenetration constraint. To include all these properties in a variational framework, we base our treatment of rod elasticity on Schuricht’s (2002) elegant approach. We introduce a minor simplification in the presentation of the constraint of local noninterpenetration of matter, obtaining equivalent results specialized to the case of Kirchhoff rods.

In developing our variational approach, the most delicate point involves the treatment of the spanning surface. The physical phenomenon at play is the minimization of the liquid surface area due to the presence of a homogeneous surface tension. Various mathematical models have been proposed with different characteristics. Representing the surface via a mapping from a manifold into the ambient space, despite being the first successful approach, poses severe and completely unphysical limitations on the topology of the surface. To cope with this issue, the theories of integral currents and of varifolds were applied to the Plateau problem by Federer and Fleming (1960) and Almgren (1968), respectively. However, their approaches also fail either to cover all the physical soap film solutions to the Plateau problem or to furnish a sufficiently general existence result. An alternate route was initiated by Reifenberg (1960), who treated the surface as a point set that minimizes the two-dimensional Hausdorff measure. This purely spatial point of view, adopted also by De Pauw (2009) and David (2014), deals nicely with the topology of solutions, but makes it difficult to handle a generic boundary condition. A more complete treatment, which covers all the soap film solutions to the Plateau problem, has been developed by Harrison (2014) and Harrison and Pugh (2016a) using differential chains. In that setting, it is possible to consider generic bounding curves due to the presence of a well-defined boundary operator.

In relation to the problem at hand, the approach to the Plateau problem due to De Lellis et al. (2014) proves to be superior in many respects. First and foremost, De Lellis et al. (2014) treat the surface as the support of a Radon measure, adopting a spatial point of view, and thereby obtain the optimal soap film regularity defined by Almgren (1976) and Taylor (1976). Moreover, their definition of the spanning conditions, built on ideas of Harrison (2014) [further developed by Harrison and Pugh (2016a, b)], allows for an apt treatment of the free-boundary problem, whereas all prior approaches become rather difficult to use when the boundary of the spanning surface is not prescribed. Finally, their strategy has the physically relevant property of being insensitive to changes in the topology of the spanning surface, which can easily be observed during the relaxation to equilibrium of the system with an elastic bounding loop. Another interesting approach that allows for treatment of the free-boundary problem is provided in a recent paper by Fang (2016), but its generalization to the case of a deformable bounding loop seems to require a more sophisticated apparatus than that employed in our treatment.

We present the formulation of the Kirchhoff–Plateau problem in Sect. 2, where we introduce the energy functionals pertaining to the parts of our system and a suitable expression of the spanning condition. Of particular importance is also the introduction of various physical and topological constraints regarding the noninterpenetration of matter and the link and knot type of the bounding loop. Indeed, those natural requirements necessitate a variational approach to the problem, since they entail an inherent lack of smoothness, leaving open the question of the validity of the Euler–Lagrange equations at energy-minimizing configurations. Furthermore, they hinder the convexity properties of a seemingly innocuous functional. This becomes even more evident when the surface energy is added to the picture, so that the presence of multiple stable and unstable equilibria cannot in general be precluded.

We prove our main existence result in Sect. 3, subsequent to establishing some preliminary facts. The essential feature of our treatment is a dimensional reduction which is performed by expressing the total energy of the system (bounding loop plus spanning surface) as a functional of the geometric descriptors of the bounding loop only. This is done by introducing a strongly nonlocal term entailing the minimization of the surface energy for a fixed shape of the bounding loop. Clearly, this step is justified by the existence of a solution to the problem of finding an area-minimizing surface spanning a three-dimensional bounding loop. We prove this (Theorem 3.2) as a direct application of a result established by De Lellis et al. (2014, Theorem 4). Subsequently, it is necessary to adapt the arguments of De Lellis et al. (2014) to our situation, in which the set that is spanned by the surface changes along minimizing sequences for the Kirchhoff–Plateau energy. This is accomplished in Lemmas 3.4 and 3.5, and based on these results, we establish the lower semicontinuity property that is needed to establish, in Theorem 3.6, the existence of a solution to the Kirchhoff–Plateau problem.

## 2 Formulation of the Problem

We seek to study the existence of a stable configuration of a liquid film that spans a flexible loop. Such a configuration is in reality metastable, since the liquid film will eventually break after becoming sufficiently thin, but we confine our attention to what happens before any such catastrophic event.

The flexibility of the bounding loop represents a major difference between our problem and the Plateau problem, in which the liquid film spans a fixed boundary. It is therefore essential to model the elastic behavior of the loop in response to deformations, requiring a physical description much more sophisticated than that sufficient for a fixed boundary. In particular, we consider a loop formed by a slender filament with a nonvanishing cross-sectional thickness and subject to the physical constraint of noninterpenetration of matter. As discussed below, it is still reasonable to approximate the liquid film by a surface, since its thickness is typically much smaller than the cross-sectional thickness of the bounding loop, but an appropriate definition of how the surface *spans the bounding loop* is necessary.

We next introduce the precise mathematical definitions needed to formulate the Kirchhoff–Plateau problem in a way that takes into account the physical requirements mentioned above. In so doing, we follow a variational approach by defining the energy of the different components of our system.

### 2.1 Energy of the Bounding Loop

#### 2.1.1 Preliminary Considerations and Assumptions

The main assumption we impose on the bounding loop is that its length is much larger than the characteristic thickness of its cross sections, which allows us to employ the theory of rods in our description. Within that theory, as presented for example by Antman (2005), a rod is fully described by a curve in the three-dimensional Euclidean space, called the midline, a family of two-dimensional sets, describing the material cross section at each point of the midline, and a family of material frames, encoding how the cross sections are “appended” to the midline. Such a family of material frames corresponds also to a curve in the group of rotations of the three-dimensional space.

*s*is the arc-length parameter and

*L*is the total length of the midline. Indeed, once suitable conditions at \(s=0\) are assumed, the fields \(\varvec{x}\) and \(\varvec{d}\) are the unique solution of the system of ordinary differential equations

*s*in [0,

*L*], supplemented by the initial conditions

For the variational problem that we plan to investigate, it is convenient to assume that each of the densities \(\kappa _1\), \(\kappa _2\), and \(\omega \) belongs to the Lebesgue space \({L}^{p}({[0,L];{\mathbb {R}}})\) for some *p* in \((1,\infty )\). This, by a classical result of Carathéodory (see, for instance, Hartman 1982), ensures that (2.1)–(2.2) have a unique solution, with \(\varvec{x}\) in \({W}^{2,p}({[0,L];{\mathbb {R}}^3})\) and \(\varvec{d}\) in \({W}^{1,p}({[0,L];{\mathbb {R}}^3})\), where \({W}^{n,p}({[0,L];{\mathbb {R}}^d})\) denotes the Sobolev space of measurable functions from [0, *L*] to \({\mathbb {R}}^d\) with *n* distributional derivatives in \({L}^{p}({[0,L];{\mathbb {R}}^d})\). We further assume \(|\varvec{t}_0|=|\varvec{d}_0|=1\). On this basis, we can use the structure of (2.1)\(_{2,3}\) to prove that \(|\varvec{t}(s)|=|\varvec{d}(s)|=1\) for every *s* in [0, *L*].

*s*is given by a compact simply connected domain \(\mathcal {A}(s)\) of \({\mathbb {R}}^2\) such that the origin \(\varvec{0}_2\) of \({\mathbb {R}}^2\) belongs to \(\hbox {int}(\mathcal {A}(s))\). A rod of finite cross-sectional thickness can then be described as the image in the three-dimensional Euclidean space of the set

*R*be small compared to the length

*L*of the loop.

*shape*of the rod is encoded in the flexural and twist densities, namely in the component \(\mathsf {w}_1=(\kappa _1,\kappa _2,\omega )\) of \(\mathsf {w}\) belonging to \({L}^{p}({[0,L];{\mathbb {R}}^3})\), the clamping parameters \(\varvec{x}_0\), \(\varvec{t}_0\), and \(\varvec{d}_0\) determine how the rod is translated and rotated in the ambient space. We denote the midline, the director field, and the rod configuration computed from (2.1)–(2.2) and (2.3) for a given \(\mathsf {w}\) in

*V*as \(\varvec{x}[\mathsf {w}]\), \(\varvec{d}[\mathsf {w}]\), and \(\varvec{p}[\mathsf {w}]\), respectively, and the bounding loop occupies the subset \({\Lambda [\mathsf {w}]}:=\varvec{p}[\mathsf {w}](\Omega )\) of \({\mathbb {R}}^3\).

#### 2.1.2 Individual Contributions to the Energy of the Bounding Loop

We are now positioned to define the energy of the rod as a functional on *V*. We consider three contributions entering this functional in an additive way: (1) the stored elastic energy, related to shape modifications; (2) the noninterpenetration constraint; and (3) the potential energy of an external load, such as the weight of the rod.

*s*and \(\mathsf {w}_1\). We then introduce \(f:{\mathbb {R}}^3\times [0,L]\rightarrow {\mathbb {R}}\cup \{+\infty \}\) and define the shape energy of the bounding loop as

*s*in [0,

*L*], that \(f(\mathsf {a},\cdot )\) is measurable for any \(\mathsf {a}\) in \({\mathbb {R}}^3\), and that \(f(\mathsf {a},s)\) is uniformly bounded below by a constant. These assumptions guarantee that \(E_\mathrm {sh}\) is weakly lower semicontinuous on the reflexive Banach space

*V*—a key property in applying the direct method of the calculus of variations. To ensure the necessary coercivity, we also impose the natural growth condition

*N*of

*V*containing those elements \(\mathsf {w}\) such that

*s*in [0,

*L*]. We thus add to the energy of the loop the term

### 2.2 Energy of the Liquid Film

A fundamental tenet in physical chemistry is that the process of building an interface between two immiscible substances is accompanied by an energetic cost. Roughly speaking, each portion of each given substance prefers to be surrounded by the same substance and some interfacial energy is developed whenever this is not the case. For this reason, a droplet of water surrounded by air tends to assume a spherical shape: for a fixed droplet volume, it minimizes the area of the interface.

To produce a liquid film, it is necessary to counteract this tendency, since doing so entails stretching the droplet, necessarily increasing the area of the liquid/air interface. We operate in two ways. On the one hand, the solid bounding loop provides a third substance to which the liquid is attracted, since the energy density per unit area of the liquid/solid interface is lower than that associated with the liquid/air interface. On the other hand, it is possible to tamper a bit with the liquid to further reduce the energetic cost of the liquid/air interface.

The second objective is accomplished by adding a small amount of surfactant to the liquid. Since the energy density per unit area of the liquid/air interface is lower for a higher surfactant concentration, surfactant molecules migrate toward the interface, leaving water in the bulk. In the liquid film configuration this produces two leaflets of surfactant phase (that lower the interfacial energy) covering a thin water layer (that provides a significant cohesion to the structure). In this context, we can define the surface tension \(\sigma \) of the liquid as the energy density per unit area of the liquid/air interface. It is physically reasonable to assume that \(\sigma \) is a homogeneous positive quantity, representing the ratio between the total interfacial energy and the surface area of the interface.

*S*, but we keep track of the fact that it is built with two surfactant leaflets. We thus define the energy of the liquid film as

*d*-dimensional Hausdorff measure.

Second, it is important to justify the vanishing-thickness approximation, especially in view of the nonvanishing thickness that we attribute to the rod modeling the bounding loop. The typical thickness of a soap film is on the submicron scale, while a bounding loop made of a strand of human hair would have a cross section with characteristic thickness of some tens of microns: this indicates that in many practical examples of liquid films bounded by flexible loops the characteristic thickness of the loop is at least two orders of magnitude greater than the thickness of the film (see Fig. 2).

### 2.3 The Spanning Condition

We now provide a precise mathematical formulation of the conditions stipulating that the liquid film spans the bounding loop. In so doing, we borrow an elegant idea, that exploits notions of algebraic topology, introduced by Harrison (2014) [and further developed by Harrison and Pugh (2016a, b)]. For our application it is convenient to present that idea in the form provided by De Lellis et al. (2014), specialized to the particular setting in which the ambient space is three-dimensional.

### Definition 2.1

*H*be a closed set in \({\mathbb {R}}^3\) and consider the family

*H*) if \({\mathcal {C}}\) contains all the elements \(\hat{\gamma }\) of \({\mathcal {C}}_H\) belonging to the same homotopy class \([\gamma ]\) of any \(\gamma \) in \({\mathcal {C}}\). Such homotopy classes are elements of the first fundamental group \(\pi _1\) of \({\mathbb {R}}^3\setminus H\).

Given a subset \({\mathcal {C}}\) of \({\mathcal {C}}_H\) closed by homotopy, a relatively closed subset *K* of \({\mathbb {R}}^3\setminus H\) is a \({\mathcal {C}}\)-spanning set of *H* if \(K\cap \gamma \ne \emptyset \) for every \(\gamma \) in \({\mathcal {C}}\).

The previous definition offers several advantages in comparison with more classical definitions. Most importantly, the set that is spanned by the surface representing the liquid film need not be a one-dimensional structure, and it can be any closed set in the ambient space. This allows for the possibility that the surface spans the bounding loop \({\Lambda [\mathsf {w}]}\) of finite cross-sectional thickness. Another useful feature of this definition is that it allows for choice regarding the number of “holes to be covered” by the spanning set. Namely, when the set *H* has a somewhat complex topology, it is permissible to restrict attention to surfaces that span only significant subregions of *H*. To give a trivial example, illustrated in Fig. 3, where *H* is a loop subject to self-contact, it is possible to seek surfaces that span one, the other, or both holes. Notice that, as shown below, the noninterpenetration constraint still allows for points on the surface of the bounding loop to come into contact, since it entails only a superposition of points on the surface of the rod.

In particular, the subset \({\mathcal {D}}_{\Lambda [\mathsf {w}]}\) of \({\mathcal {C}}_{\Lambda [\mathsf {w}]}\) containing all \(\gamma \) that are not homotopic to a constant (\([\gamma ]\ne 1_{\pi _1}\)) is closed by homotopy. We will then seek a surface that is a \({\mathcal {D}}_{\Lambda [\mathsf {w}]}\)-spanning set of the bounding loop \({\Lambda [\mathsf {w}]}\). This is a maximal choice in the sense that we cannot include paths homotopic to a constant in the spanning condition. Indeed, since \({\Lambda [\mathsf {w}]}\) is a compact set, it is easy to see that any \(\{1_{\pi _1}\}\)-spanning set of \({\Lambda [\mathsf {w}]}\) required to intersect all constant paths would fill all of \({\mathbb {R}}^3\setminus {\Lambda [\mathsf {w}]}\). This would certainly not represent the behavior of a liquid film.

### 2.4 The Kirchhoff–Plateau Problem

*U*of

*V*that encodes the additional physical and topological constraints on the rod modeling the bounding loop. These constraints are: (1) the closure of the midline; (2) the global gluing conditions; (3) global noninterpenetration of matter; (4) the knot type of the midline.

When we combine the closure constraint with the definition of the Kirchhoff–Plateau functional \(E_\mathrm {KP}\), a strong competition between the action of the spanning film and the elastic response of the bounding loop can arise. In a typical situation, the curvature of the loop tends to be minimized, producing somewhat wider configurations which, in turn, require spanning films with larger surface areas. The equilibrium shape is strongly influenced by the relative strength of surface tension with respect to the properties of the filament, but the proper inclusion of the global noninterpenetration constraint guarantees the physical relevance of the solutions the existence of which we establish.

We will now present, following Schuricht (2002), the precise formulation of the aforementioned constraints and a lemma, proving that the set *U* is weakly closed in *V*, as this is the essential property needed to establish the tractability of those constraints within our variational approach.

Note that we do not require that \(\varvec{d}[\mathsf {w}](L)=\varvec{d}[\mathsf {w}](0)\), since the rod can be glued fixing an arbitrary angle between \(\varvec{d}[\mathsf {w}](L)\) and \(\varvec{d}[\mathsf {w}](0)\) (local gluing condition) while simultaneously respecting the clamping conditions. To prescribe how many times the ends of the rod are twisted before being glued together, we define the integer link type of the closed rod as the linking number of the closed midline \(\varvec{x}[\mathsf {w}]\) and the curve \(\varvec{x}[\mathsf {w}]+\epsilon \varvec{d}[\mathsf {w}]\). Although a sufficiently small \(\epsilon \) can always be chosen, the curve may need to be closed as indicated by Schuricht (2002, Sect. 4.1). The global gluing conditions are then fixed by prescribing the angle between \(\varvec{d}[\mathsf {w}](L)\) and \(\varvec{d}[\mathsf {w}](0)\) and the link type of the closed rod.

To encode the knot type of the midline, we invoke the notion of isotopy class for closed curves.

### Definition 2.2

*V*, for which the closure and clamping conditions (2.8)–(2.9) hold, has the knot type of \(\varvec{\ell }\) if

*U*of competitors for our minimization problem.

### Theorem 2.3

Let \(\mathsf {w}=((\kappa _1,\kappa _2,\omega ),\varvec{x}_0,\varvec{t}_0,\varvec{d}_0)\) in *V* be such that \(E_\mathrm {loop}(\mathsf {w})<+\infty \). Then the configuration map \(\varvec{p}[\mathsf {w}]\) is locally injective on \(\mathrm {int}(\Omega )\). Furthermore, this mapping is open on \(\mathrm {int}(\Omega )\). If, in addition, \(\mathsf {w}\) satisfies (2.10), then \(\varvec{p}[\mathsf {w}]\) is also globally injective on \(\mathrm {int}(\Omega )\).

### Proof

*V*be fixed and consider a point \((\bar{s},\bar{\zeta }_1,\bar{\zeta }_2)\) in \(\mathrm {int}(\Omega )\). Having defined

*s*in \((\bar{s}-\varepsilon ,\bar{s}+\varepsilon )\) and all corresponding \((s,\zeta _1,\zeta _2)\) in \({A}_{\varepsilon ,\delta }\).

*s*in (

*a*,

*b*). This means that \(\varvec{t}[\mathsf {w}](s)=\varvec{t}[\mathsf {w}](a)\) for every

*s*in (

*a*,

*b*); hence,

We have therefore established the local injectivity of \(\varvec{p}[\mathsf {w}]\) and moreover that, being continuous, \(\varvec{p}[\mathsf {w}]\) is an open mapping on \(\mathrm {int}(\Omega )\). Given the local injectivity, the global injectivity follows from condition (2.10), as proved by Schuricht (2002, Theorem 3.8). \(\square \)

### Lemma 2.4

*M*be given. Let also the clamping parameters \(\varvec{x}_0\), \(\varvec{t}_0\), and \(\varvec{d}_0\) belonging to \({\mathbb {R}}^3\) be given. Then the set

*V*.

### Proof

If \(U=\emptyset \) the assertion is true. If \(U\ne \emptyset \), then the proof is a mere restatement of those of Lemma 3.9, Lemma 4.5, and Lemma 4.6 of Schuricht (2002). \(\square \)

We stress that the global injectivity condition (2.10) is crucial in ensuring the closure proved in Lemma 2.4. Indeed, just as the physical noninterpenetration of matter makes it impossible to change the type of a knot without tearing the loop that forms it, global injectivity entails that the knot type is preserved when passing to the limit in a sequence within the constrained set *U*. In particular, the fact that constrained sets defined by different knot types are well separated in *V* stems from the nonvanishing thickness of the cross sections and condition (2.10) and would be inevitably lost in the vanishing-thickness limit, as illustrated in Fig. 4.

## 3 Existence of Global Minimizers

In this section, we prove the existence of a solution to the Kirchhoff–Plateau problem. Specifically, we establish the existence of a global minimizer in *V* for the total energy \(E_\mathrm {KP}\), under appropriate physical and topological conditions. As necessary steps toward this goal, we first prove the existence of an energy-minimizing configuration for the bounding loop in the absence of the liquid film and then we demonstrate the existence of an area-minimizing spanning surface for a rigid bounding loop. This constitutes a somewhat more physical version of the Plateau problem, since the bounding loop is treated as a three-dimensional object.

Those two results are quite straightforward, given the results of the previous section and the general theorem proved by De Lellis et al. (2014, Theorem 4). On the other hand, the proof of our main existence result requires establishing two lemmas in which the arguments of De Lellis et al. (2014) are adapted to our situation, wherein the set that is spanned by the surface changes along minimizing sequences for the Kirchhoff–Plateau energy. Based on these results, we are able to verify the lower semicontinuity property that is needed to establish the existence of a solution of the Kirchhoff–Plateau problem. Moreover, Lemma 3.4 provides an interesting extension of the main compactness result of De Lellis et al. (2014), which could be used also in other contexts when studying the convergence of minimal surfaces induced by the convergence of the structure spanned by the surfaces.

### Theorem 3.1

(Minimization of the loop energy) Let a continuous mapping \(\varvec{\ell }:[0,L]\rightarrow {\mathbb {R}}^3\) satisfying \(\varvec{\ell }(L)=\varvec{\ell }(0)\), the global gluing conditions, and the clamping parameters \(\varvec{x}_0\), \(\varvec{t}_0\), and \(\varvec{d}_0\) belonging to \({\mathbb {R}}^3\) be given. If there exists \(\tilde{\mathsf {w}}=(\tilde{\mathsf {w}}_1,\varvec{x}_0,\varvec{t}_0,\varvec{d}_0)\) in *V* such that \(E_\mathrm {loop}(\tilde{\mathsf {w}})<+\infty \) and that complies with all of constraints (2.8)–(2.11), then there exists a minimizer \(\mathsf {w}=(\mathsf {w}_1,\varvec{x}_0,\varvec{t}_0,\varvec{d}_0)\) belonging to *V* for the loop energy functional \(E_\mathrm {loop}\) and obeying the same constraints.

### Proof

Consider a minimizing sequence \(\{\mathsf {w}_k\}\) such that \(E_\mathrm {loop}(\mathsf {w}_k)<M\) for some *M* in \({\mathbb {R}}\), with \(\mathsf {w}_k\) belonging to the subset *U* of the reflexive Banach space *V* introduced in Lemma 2.4. The existence of a competitor \(\tilde{\mathsf {w}}\) guarantees that *U* is not empty. By the coercivity of \(E_\mathrm {loop}\), *U* is bounded in *V*. Hence, it is possible to extract a weakly converging subsequence \(\mathsf {w}_{k_i}\rightharpoonup \mathsf {w}\). Since, by Lemma 2.4, *U* is weakly closed, \(\mathsf {w}\) must belong to *U* and, by the weak lower semicontinuity of \(E_\mathrm {loop}\), we conclude that \(\liminf _i E_\mathrm {loop}(\mathsf {w}_{k_i})\ge E_\mathrm {loop}(\mathsf {w})\). Since \(\{\mathsf {w}_{k_i}\}\) is a minimizing sequence, this proves that the weak limit \(\mathsf {w}\) is indeed a global minimizer. \(\square \)

From now on, for any \(\mathsf {w}\) in *V*, we denote by \({\Lambda [\mathsf {w}]}\) the image of \(\Omega \) under the configuration map \(\varvec{p}[\mathsf {w}]\) and by \({\mathcal {S}}[{\mathsf {w}}]\) the set of all \({\mathcal {D}}_{{\Lambda [\mathsf {w}]}}\)-spanning sets of \(\Lambda [{\mathsf {w}}]\), with \({\mathcal {D}}_{\Lambda [\mathsf {w}]}\) defined as in Sect. 2.3. Moreover, for any \(\gamma :S^1 \rightarrow {\mathbb {R}}^3\) and for any \(r>0\) we denote by \(U_r(\gamma )\) the tubular neighborhood of radius *r* around \(\gamma \).

### Theorem 3.2

*V*. If

### Proof

The proof is a direct application of the general theorem by De Lellis et al. (2014, Theorem 4). The countably \(\mathcal {H}^2\)-rectifiability of \(M[\mathsf {w}]\) follows from the regularity of \((\mathbf M,0,\infty )\)-minimal sets established by Almgren (1976). \(\square \)

### Definition 3.3

*A*and

*B*be two closed nonempty subsets of a metric space \((M,d_M)\). The Hausdorff distance between

*A*and

*B*is defined as

*M*is the Hausdorff topology.

### Lemma 3.4

*k*in \({\mathbb {N}}\), we have countably \(\mathcal {H}^2\)-rectifiable sets \(S_k\) belonging to \({\mathcal {P}}(\Lambda _k)\), where \({\mathcal {P}}(\Lambda _k)\) is a good class in the sense of De Lellis et al. (2014, Definition 1), and such that

### Proof

The proof of this lemma requires minor modifications of the proof of Theorem 2 of De Lellis et al. (2014). It is sufficient to observe that the convergence of \(\{\Lambda _k\}\) ensures that, whenever \(\varvec{x}\in S_\infty \), we have \(d(\varvec{x},\Lambda _k)>0\) for large enough *k*. Then, all arguments in the proof of Theorem 2 of De Lellis et al. (2014) are recovered asymptotically. \(\square \)

### Lemma 3.5

*U*of

*V*introduced in Lemma 2.4, let \(S_k\) be an element of \({\mathcal {S}}[{\mathsf {w}}_k]\), and fix \(\gamma \) in \({\mathcal {D}}_{{\Lambda [\mathsf {w}]}}\). Then, for any \(\varepsilon >0\) such that \(U_{2\varepsilon }(\gamma )\) is contained in \({\mathbb {R}}^3\setminus {\Lambda [\mathsf {w}]}\), there exists \(M=M(\varepsilon )>0\) such that, for any

*k*large enough,

### Proof

Let us fix \(\varepsilon >0\) such that \(U_{2\varepsilon }(\gamma )\) is contained in \({\mathbb {R}}^3\setminus {\Lambda [\mathsf {w}]}\), denote by \(B_\varepsilon (\varvec{0}_2)\) the open disk of \({\mathbb {R}}^2\) with radius \(\varepsilon \) and centered at the origin of \({\mathbb {R}}^2\), and consider a diffeomorphism \(\Phi :S^1 \times B_\varepsilon (\varvec{0}_2) \rightarrow U_{\varepsilon }(\gamma )\) such that \(\Phi _{|_{S^1\times \{\varvec{0}_2\}}}=\gamma \). Let \(\varvec{y}\) belong to \(B_\varepsilon (\varvec{0}_2)\) and set \(\gamma _{\varvec{y}}:=\Phi _{|_{S^1\times \{\varvec{y}\}}}\). Then \(\gamma _{\varvec{y}}\) in \([\gamma ]\) represents an element of \(\pi _1({\mathbb {R}}^3 \setminus {\Lambda [\mathsf {w}]})\).

Let \(\varvec{x}_k\) and \(\varvec{x}\) denote the midlines corresponding, respectively, to \({\mathsf {w}}_k\) and \({\mathsf {w}}\). Since \(\{{\mathsf {w}}_k\}\) converges weakly to \({\mathsf {w}}\) in *U*, \(\{\varvec{x}_k\}\) converges to \(\varvec{x}\) strongly in \(W^{1,p}([0,L];{\mathbb {R}}^3)\). In particular, \(\{\varvec{x}_k\}\) converges to \(\varvec{x}\) uniformly on [0, *L*], which implies that, for *k* sufficiently large, \(\Lambda [{\mathsf {w}}_k]\) is contained in a neighborhood *W* of \(\Lambda [{\mathsf {w}}]\) with \(W\cap U_\varepsilon (\gamma )=\emptyset \). Hence, for such *k* and \(\varepsilon \) it follows that, for any \(\varvec{y}\) in \(B_\varepsilon (\varvec{0}_2)\), \(\gamma _{\varvec{y}}\) belongs to \({\mathbb {R}}^3\setminus \Lambda [{\mathsf {w}}_k]\), which yields \(S_k\cap \gamma _{\varvec{y}}\ne \emptyset \) because \(S_k\) is in \({\mathcal {S}}[{\mathsf {w}}_k]\).

### Theorem 3.6

(Main existence result) Let a continuous mapping \(\varvec{\ell }:[0,L]\rightarrow {\mathbb {R}}^3\) satisfying \(\varvec{\ell }(L)=\varvec{\ell }(0)\), the global gluing conditions, and the clamping parameters \(\varvec{x}_0\), \(\varvec{t}_0\), and \(\varvec{d}_0\) belonging to \({\mathbb {R}}^3\) be given. If there exists \(\tilde{\mathsf {w}}=(\tilde{\mathsf {w}}_1,\varvec{x}_0,\varvec{t}_0,\varvec{d}_0)\) in *V* such that \(E_\mathrm {KP}(\tilde{\mathsf {w}})<+\infty \) and which complies with the constraints (2.8)–(2.11), then there exists a solution \(\mathsf {w}=(\mathsf {w}_1,\varvec{x}_0,\varvec{t}_0,\varvec{d}_0)\) to the Kirchhoff–Plateau problem belonging to *V*, namely a minimizer of the total energy \(E_\mathrm {KP}\) satisfying (2.8)–(2.11). Furthermore, the spanning surface \(M[\mathsf {w}]\) associated with the energy-minimizing configuration by Theorem 3.2 is an \((\mathbf M,0,\infty )\)-minimal set in \({\mathbb {R}}^3\setminus {\Lambda [\mathsf {w}]}\) in the sense of Almgren (1976). In particular, \(M[\mathsf {w}]\) is countably \(\mathcal {H}^2\)-rectifiable.

### Proof

*M*in \({\mathbb {R}}\). In particular, we then have that \(E_\mathrm{loop}({\mathsf {w}}_k) < M\) and we can choose \({\mathsf {w}}_k\) in the subset

*U*of

*V*introduced in Lemma 2.4. As in the proof of Theorem 3.1, we can extract a weakly convergent subsequence \({\mathsf {w}}_{k_i} \rightharpoonup \overline{\mathsf {w}}\) with \(\overline{\mathsf {w}} \in U\). To complete the proof, it remains to establish that \(E_\mathrm{KP}\) is weakly lower semicontinuous on

*V*. Given the weak lower semicontinuity of \(E_\mathrm{loop}\), this is tantamount to proving that the functional

*U*. Let \(S_k\) belonging to \({\mathcal {S}}[{\mathsf {w}}_k]\) be given by Theorem 3.2 such that

*k*in \({\mathbb {N}}\), let Open image in new window . Then, up to the extraction of a subsequence, we have \(\mu _k \mathop {\rightharpoonup }\limits ^{*}\mu \) on \({\mathbb {R}}^3\) and we can set \(S_0:=\mathrm{spt}(\mu )\setminus \Lambda [{\mathsf {w}}]\). On applying Lemma 3.4 with \(\Lambda _k=\Lambda [\mathsf {w}_k]\), we deduce thatWe next show that \(S_0\) belongs to \({\mathcal {S}}[{\mathsf {w}}]\). Assume by contradiction that there exists \(\gamma \) in \({\mathcal {D}}_{\Lambda [{\mathsf {w}}]}\) with \(\gamma \cap S_0= \emptyset \) and pick \(\varepsilon \) as given by Lemma 3.5. We then find that \(\mu (U_{\varepsilon }(\gamma ))=0\) and, therefore, that

## 4 Concluding Remarks

We introduced a mathematical model for experiments in which a thin filament in the form of a closed loop is spanned by a liquid film. In a variational setting, the model is defined by the sum of the energies of the different components of this system. While the loop is modeled as a nonlinearly elastic rod which is inextensible and unshearable, namely a Kirchhoff rod, the elasticity of the liquid film is described by a homogeneous surface tension.

Following Schuricht (2002), we required that the loop satisfies the physical constraints of noninterpenetration of matter, fixed global gluing conditions, and fixed knot type. A crucial point in this treatment is that the cross-sectional thickness of the loop is nonzero, implying that it occupies a nonvanishing volume. This led us to consider a somewhat more physical version of the Plateau problem where the liquid film is represented by a surface with a boundary that is not prescribed, but is free to move along the lateral surface of the three-dimensional bounding loop. Our choice to retain a nonvanishing cross-sectional thickness of the loop, while attributing a vanishing thickness to the liquid film, is justified by the typically large separation between those two length scales.

By exploiting the framework recently proposed by De Lellis et al. (2014) for the Plateau problem, we established the existence of a global minimizer, namely a stable solution, for the coupled Kirchhoff–Plateau problem, in which the boundary of the liquid film lies on the lateral surface of the deformable bounding loop. This was achieved by means of a dimensional reduction, performed in expressing the total energy of the system as a functional of the geometric descriptors of the rod only. To this end, a strongly nonlocal term, entailing the minimization of the surface energy for a fixed shape of the loop, was introduced and the effectiveness of this strategy guaranteed by the auxiliary proof of existence of a surface realizing such a minimization. A key step toward the final result is the adaptation, presented in Lemma 3.4, of the main compactness argument of De Lellis et al. (2014) needed to deal with the deformability of the bounding loop.

Combining the approaches of Schuricht (2002), for the bounding loop, and of De Lellis et al. (2014), concerning the liquid film, we established the existence of a solution that complies with important physical constraints on the topology of the bounding loop and of the surface. Indeed, the latter enjoys the soap film regularity identified by Almgren (1976) and Taylor (1976). An important outcome of our analysis is that the existence of a physically relevant solution is obtained irrespective of the relative strength of surface tension compared to the elastic response of the filament from which the bounding loop is made, which instead influences the multiplicity and the qualitative properties of solutions, as discussed below.

Based on the framework introduced above, further investigations can be addressed in two main directions. First, it would be interesting to study the existence of unstable solutions for the Kirchhoff–Plateau problem. We expect that classical techniques used to establish similar results in the context of the Plateau problem will not be easily applicable here, while suitably adapted tools from nonsmooth critical point theory may prove to be required and effective. It would be also important to investigate the unstable solutions generated by bifurcation phenomena, which are expected to be a feature of our model. Indeed, the competition between the action of the spanning film and the elastic response of the filament can trigger the transition between different stability regimes, meanwhile affecting the multiplicity of solutions to the Kirchhoff–Plateau problem.

Secondly, studying a dissipative dynamics of the system considered above represents a challenging task both from the analytical point of view, again due to the lack of smoothness inherent to our setting, and from the mechanical point of view, since a physically consistent representation of the dissipative phenomena at play might not be straightforward. Nevertheless, a dynamical strategy of the proposed kind would likely provide an excellent basis for the implementation of numerical schemes aimed at finding local minima of the Kirchhoff–Plateau functional.

## Notes

### Acknowledgements

E. F. and G. G. G. gratefully acknowledge support from the Okinawa Institute of Science and Technology Graduate University with subsidy funding from the Cabinet Office, Government of Japan. L. L. is grateful for the kind hospitality of the Okinawa Institute of Science and Technology Graduate University during the inception of the present work. The authors thank Jenny Harrison and the anonymous reviewers for their insightful comments. The authors would also like to thank Stoffel Janssens and David Vazquez Cortes for their help with the preparation of Figure 2.

### References

- Almgren Jr., F.J.: Existence and regularity almost everywhere of solutions to elliptic variational problems among surfaces of varying topological type and singularity structure. Ann. Math.
**87**, 321–391 (1968)MathSciNetCrossRefMATHGoogle Scholar - Almgren Jr., F.J.: Existence and regularity almost everywhere of solutions to elliptic variational problems with constraints. Mem. Am. Math. Soc.
**4**(165), viii+199 (1976)MathSciNetMATHGoogle Scholar - Alt, H.W.: Die Existenz einer Minimalfläche mit freiem Rand vorgeschriebener Länge. Arch. Ration. Mech. Anal.
**51**, 304–320 (1973)CrossRefMATHGoogle Scholar - Antman, S.S.: Nonlinear Problems of Elasticity volume, 107 of Applied Mathematical Sciences, 2nd edn. Springer, New York (2005)Google Scholar
- Bernatzki, F., Ye, R.: Minimal surfaces with an elastic boundary. Ann. Global Anal. Geom.
**19**(1), 1–9 (2001)MathSciNetCrossRefMATHGoogle Scholar - Biria, A., Fried, E.: Buckling of a soap film spanning a flexible loop resistant to bending and twisting. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.
**470**, 20140368 (2014)MathSciNetCrossRefGoogle Scholar - Biria, A., Fried, E.: Theoretical and experimental study of the stability of a soap film spanning a flexible loop. Int. J. Eng. Sci.
**94**, 86–102 (2015)MathSciNetCrossRefGoogle Scholar - Chen, Y.-C., Fried, E.: Stability and bifurcation of a soap film spanning a flexible loop. J. Elast.
**116**(1), 75–100 (2014)MathSciNetCrossRefMATHGoogle Scholar - Courant, R.: The existence of minimal surfaces of given topological structure under prescribed boundary conditions. Acta Math.
**72**, 51–98 (1940)MathSciNetCrossRefMATHGoogle Scholar - David, G.: Should we solve Plateau’s problem again? In: Advances in Analysis: the Legacy of Elias M. Stein, volume 50 of Princeton Math. Ser., pp. 108–145. Princeton Univ. Press, Princeton (2014)Google Scholar
- De Lellis, C., Ghiraldin, F., Maggi, F.: A direct approach to Plateau’s problem. J. Eur. Math. Soc. (JEMS), (2014). arXiv:1408.4047
- De Pauw, T.: Size minimizing surfaces. Ann. Sci. Éc. Norm. Supér. (4)
**42**(1), 37–101 (2009)Google Scholar - Dierkes, U., Hildebrandt, S., Sauvigny, F.: Minimal Surfaces, volume 339 of Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg, second edition, (2010). With assistance and contributions by A. Küster and R. JakobGoogle Scholar
- Dierkes, U., Hildebrandt, S., Tromba, A.J.: Regularity of Minimal Surfaces, volume 340 of Grundlehren der Mathematischen Wissenschaften. Springer, Heidelberg, second edition, (2010). With assistance and contributions by A. KüsterGoogle Scholar
- Douglas, J.: Solution of the problem of Plateau. Trans. Am. Math. Soc.
**33**(1), 263–321 (1931)MathSciNetCrossRefMATHGoogle Scholar - Fang, Y.: Existence of minimizers for the Reifenberg Plateau problem. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5)
**16**(3), 817–844 (2016)MATHGoogle Scholar - Federer, H., Fleming, W.H.: Normal and integral currents. Ann. Math.
**72**, 458–520 (1960)MathSciNetCrossRefMATHGoogle Scholar - Garnier, R.: Le problème de Plateau. Ann. Sci. École Norm. Sup.
**3**(45), 53–144 (1928)CrossRefMATHGoogle Scholar - Giomi, L., Mahadevan, L.: Minimal surfaces bounded by elastic lines. Proc. R. Soc. Lond. Ser. A Math. Phys. Eng. Sci.
**468**(2143), 1851–1864 (2012)MathSciNetCrossRefGoogle Scholar - Giusteri, G.G., Franceschini, P., Fried, E.: Instability paths in the Kirchhoff–Plateau problem. J. Nonlinear Sci.
**26**(4), 1097–1132 (2016)MathSciNetCrossRefMATHGoogle Scholar - Harrison, J.: Soap film solutions to Plateau’s problem. J. Geom. Anal.
**24**(1), 271–297 (2014)MathSciNetCrossRefMATHGoogle Scholar - Harrison, J., Pugh, H.: Existence and soap film regularity of solutions to Plateau’s problem. Adv. Calc. Var.
**9**(4), 357–394 (2016)MathSciNetCrossRefMATHGoogle Scholar - Harrison, J., Pugh, H.: General methods of elliptic minimization (2016). arXiv:1603.04492
- Hartman, P.: Ordinary Differential Equations, 2nd edn. Birkhäuser, Boston (1982)MATHGoogle Scholar
- Hoang, T.M., Fried, E.: Influence of a spanning liquid film on the stability and buckling of a circular loop with intrinsic curvature or intrinsic twist density. Math. Mech. Solids, (2016). DOI: 10.1177/1081286516666135
- Lagrange, J.L.: Essai d’une nouvelle méthode pour déterminer les maxima et les minima des formules intégrales indéfinies. Misc. Philos.-Math. Soc. Priv. Taurinensis, 2:173–195, 1760–1762. Reprinted in Œuvres de Lagrange, Tome I (J.-A. Serret, Ed.), Gauthier-Villars, Paris, pp. 335–362 (1867)Google Scholar
- Lewy, H.: On minimal surfaces with partially free boundary. Commun. Pure Appl. Math.
**4**, 1–13 (1951)MathSciNetCrossRefGoogle Scholar - Li, M.M.-C.: A general existence theorem for embedded minimal surfaces with free boundary. Commun. Pure Appl. Math.
**68**(2), 286–331 (2015)MathSciNetCrossRefMATHGoogle Scholar - Plateau, J.A.F.: Recherches expérimentales et théorique sur les figures déquilibre dune masse liquide sans pesanteur. Mém. Acad. R. Sci., Lett. & B.-A.
**23**, 1–151 (1849)Google Scholar - Radó, T.: The problem of least area and the problem of Plateau. Math. Z.
**32**, 763–796 (1930)MathSciNetCrossRefMATHGoogle Scholar - Reifenberg, E.R.: Solution of the Plateau Problem for \(m\)-dimensional surfaces of varying topological type. Acta Math.
**104**, 1–92 (1960)MathSciNetCrossRefMATHGoogle Scholar - Schuricht, F.: Global injectivity and topological constraints for spatial nonlinearly elastic rods. J. Nonlinear Sci.
**12**(5), 423–444 (2002)MathSciNetCrossRefMATHGoogle Scholar - Taylor, J.E.: The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces. Ann. Math.
**103**(3), 489–539 (1976)MathSciNetCrossRefMATHGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.