On the relaxation of Gauss's capillarity theory under spanning conditions

We study a variational model for soap films in which the films are represented by sets with fixed small volume rather than surfaces. In this problem, a minimizing sequence of completely"wet"films, or sets of finite perimeter spanning a wire frame, may converge to a film containing both wet regions of positive volume and collapsed (dry) surfaces. When collapsing occurs, these limiting objects lie outside the original minimization class and instead are admissible for a relaxed problem. Here we show that the relaxation and the original formulation are equivalent by approximating the collapsed films in the relaxed class by wet films in the original class.


Introduction
We analyze a model for soap films based on the classical Gauss free energy functional from capillarity theory [14,Ch. 1.4].In this model, which was proposed by King-Maggi-Stuvard in [20], one minimizes the surface tension energy among sets with small volume v that satisfy a spanning condition with respect to a wire frame W ⊂ R n+1 , the complement of which is the container accessible to the soap.Informally, the problem is In this paper we use the notion of "spanning" from [26], which generalizes the idea of Harrison-Pugh [15]; see Section 2 for a complete discussion.The addition of the volume constraint adds a length scale to the minimal surface model, which is recovered in the vanishing volume limit.The soap film capillarity model is thus well-suited for describing some features of real films that cannot be captured by minimal surfaces.Such features include the thickened tubes of liquid "wetting" a line of Y -point singularities, which play an important role in behaviors such as drainage and are known in the physical literature as Plateau borders; see e.g.[22,23] and the books [32] and [6,Ch. 2].
An important aspect of the model is the phenomenon of collapsing, which occurs in regions where it is energetically convenient for the (multiplicity one) boundaries of a minimizing sequence {E j } j to collapse onto a multiplicity two surface; see Figure 1.1 below.Collapsing presents mathematical challenges stemming from the fact that the limit of a minimizing sequence for (1.1), or generalized minimizer, may not belong to the original class, but rather to a relaxed class also including collapsed competitors.This complicates the study of properties such as regularity and the wetting of singularities, since the convergence of the minimizing sequence to the generalized minimizer only enables one to test the minimality amongst objects which also arise as limits of sets of finite perimeter and not against the entire relaxed class.
Our main goal is to show that (1.1) and its relaxation to collapsed films are in fact equivalent minimization problems.Concise statements of the main results in this article are as follows: (i) every collapsed competitor in the relaxed class can be approximated by a sequence of noncollapsed competitors with the same volume (Theorem 2.3); (ii) generalized minimizers arising as limits in (1.1) minimize the relaxed energy functional among the entire relaxed class (Theorem 2.4).The strengthened minimality of (ii) simplifies the mathematical investigation of collapsing and wetting phenomena in the soap film capillarity model.The paper is organized as follows.Section 2 contains the necessary background and precise statements of our results.After collecting some preliminaries in Section 3, we then prove Theorems 2.3-2.4 in Section 4.

Statements
2.1.Spanning and the Plateau problem.In order to formulate any Plateau-type problem, one must make mathematically rigorous the notion that a soap film "spans a given wire frame."The approach taken here is based on a generalization by F. Maggi, D. Restrepo, and the author [26] of the idea of Harrison-Pugh [15].Among the various versions of Plateau's problem, a key feature of the Harrison-Pugh version is that it leads to minimizers that exhibit the physical singularities predicted by Plateau and validated mathematically in [31].We mention that [15] has spurred much recent progress on the Plateau problem.More generally, Harrison-Pugh [17] proved an existence result in arbitrary dimension/co-dimension for the anisotropic Plateau problem in a large class of ambient spaces and encompassing several different spanning conditions inside a general axiomatic framework.We refer the reader also to [8,9,16,7,17,11,12,10] and the references therein for additional works in this vein.
Let n ≥ 0, fix closed W ⊂ R n+1 (the wire frame), and set Ω = R n+1 \ W. Following the presentation of the Harrison-Pugh spanning condition from [8], we define a spanning class C to be a non-empty family of smooth embeddings of S 1 into Ω which is closed by homotopy in Ω. (2.1) Compactness and lower-semicontinuity for minimizing sequences yield the existence of a minimizer [15,8].In these arguments, the asymptotic minimality of the sequence is utilized to make energy comparisons that yield a limiting surface satisfying Definition 2.1.In scenarios such as the proof of the approximation item (i) from the introduction or the Allen-Cahn setting of [25], it is useful to have a definition of spanning compatible with energy-bounded but non-minimizing sequences.Such a framework was developed in [26], which we now recall.
If C is a spanning class for a closed set W, we define the tubular spanning class T (C) associated to C to be the family of triples (γ, Φ, T ) such that γ ∈ C, T = Φ(S 1 × B n 1 ), and Φ : When (γ, Φ, T ) ∈ T (C), the slice of T defined by s ∈ S 1 is We will need the measure theoretic notion of connectedness from [4,5].For a Borel set G, we let G (t) , t ∈ [0, 1], be the points of Lebesgue density t and ∂ e G = (G (1) ∪ G (0) ) c .For Borel sets S, G, Here | • | is the Lebesgue measure L n+1 and A and such that Associated to this concept is the Plateau problem with measure-theoretic spanning  [20,19,21].Building upon [27], in which soap films were studied as regions of small volume, for a compact set W ⊂ R n+1 , in [20] King-Maggi-Stuvard formulated the problem: where As explained in the introduction, one cannot expect a minimizing sequence in (2.2) to converge to an admissible competitor for (2.2), so they also consider the relaxed class with the corresponding energy see below for an explanation of the subscript "bd".The main results of [20] are two-fold.
• Existence: There exist generalized minimizers, that is, there exists (K, Here P (E; Ω), |E|, and ∂ * E denote the relative perimeter of E in Ω and the Lebesgue measure and reduced boundary of E, respectively.The subscripts "bd" and "bk" stand for boundary and bulk to emphasize the particular spanning set.The relaxed class is and the corresponding energies and variational problems are Each problem (2.4) and (2.5) has some advantages: for example the lower-dimensional spanning set Ω ∩ ∂ * E in (2.4) is closer mathematically to the spanning surfaces in the Plateau problem ℓ, while the bulk spanning problem (2.5) arises in an asymptotic limit of Allen-Cahn problems [25] with spanning constraint.In any case, we suspect that (generalized) minimizers for both problems coincide, at least for small volumes.For the bulk problem Ψ bk (v), in [26], F. Maggi, D. Restrepo, and the author proved: • Existence: There exists (K, E) ∈ K ⊂ K B such that (K, E) is minimal for Ψ bk (v).
• Regularity: There exists Σ of Hausdorff dimension at most n − 7 such that (Ω ∩ ∂ * E) \ Σ is smooth with constant mean curvature and K \(∂E ∪Σ) is smooth with zero mean curvature.Also, Γ = (Ω ∩ ∂E) \ (∂ * E ∪ Σ) is locally H n−1 -rectifiable, and, for any x ∈ Γ, there is r > 0 such that K ∩ B r (x) is a union of two C 1,1 hypersurfaces touching tangentially at x. • Convergence to the Plateau problem: Ψ bk (v) → 2 ℓ with the corresponding subsequential convergence of minimizers in the sense of Radon measures.Note that any admissible E for ψ bd (v) or ψ bk (v) corresponds to a pair (∂ * E ∩ Ω, E) ∈ K B which is admissible for Ψ bd (v) or Ψ bk (v), respectively.Therefore Ψ bd (v) ≤ ψ bd (v), and similarly Ψ bk (v) ≤ ψ bk (v), but equality is unclear.This leads to the following question: Are the soap film capillarity model and its relaxation equivalent minimization problems, i.e. does Ψ bd (v) = ψ bd (v) and Ψ bk (v) = ψ bk (v)?
2.4.Main results.In our main results, we answer this question.We obtain the equivalence as a corollary of an approximation theorem which we state first.
Theorem 2.3 (Approximation of Collapsed Competitors).Let W ⊂ R n+1 be closed and C be a spanning class for W such that ℓ < ∞.If (K, E) ∈ K B , H n (K) < ∞, and δ > 0, then there exists a set ) A consequence is that collapsed and non-collapsed formulations of the soap film capillarity problem are equivalent, and that limits of minimizing sequences for ψ bd (v) or ψ bk (v) are, up to resolving possible volume loss at infinity, minimizers for Ψ bd (v) or Ψ bk (v), respectively.
Theorem 2.4 (Equivalence of collapsed and non-collapsed problems).
. Furthermore, if in addition W is compact and {E j } j is a minimizing sequence of finite perimeter sets for ψ bd (v) or ψ bk (v), then up to a subsequence, there exists and there exists B r (x) Remark 2.5 (Loss of volume at infinity).The presence of the ball B r (x) accounts for possible volume loss at infinity for a minimizing sequence.In the bulk problem Ψ bk (v), this cannot happen for a minimizing sequence [26, Appendix B], and we expect the same to hold for Ψ bd (v).
One benefit of the complete variational theory for ψ bd (v) and ψ bk (v) provided by Theorem 2.4 is in the study wetting and collapsing, which are expected whenever the minimizer for Plateau's problem ℓ admits a minimizer with Plateau-type singularities (as recently shown to be optimal in a capillarity model for planar soap bubbles [29,Theorem 1.6]; see also [18,3,2]).In particular, Theorem 2.4 shows that the limiting pair (K, E) for a minimizing sequence {E j } j of ψ bd (v) or ψ bk (v) is a proper minimizer in the relaxed problem Ψ bd (v) or Ψ bk (v), respectively.As a consequence, the regularity statements proved for the bulk problem Ψ bk (v) in [26] automatically hold for (K, E) when {E j } j are admissible for ψ bk (v).In the boundary spanning problem, Theorem 2.3 provides an alternative to the approximation arguments used in [19,21] to study the Lagrange multipliers and singular sets of generalized minimizers in the presence of collapsing.

2.5.
Acknowledgments.The author is grateful to Francesco Maggi and Daniel Restrepo for many fruitful discussions on these problems and to the editor and anonymous referees for their careful reading and comments.

Notation. As mentioned in the introduction, we will use the notation
where ω k is the k-dimensional volume of the unit ball in R k .A Borel set S ⊂ R n+1 is locally H k -rectifiable if it can be covered up to an H k -null set by a countable union of Lipschitz images of maps from R k to R n+1 .Lastly, for a locally H k -finite set S, we use the notation R(S) to denote the (locally) H k -rectifiable part of S, where, following [30, 13.1], any locally H k -finite set S can be uniquely partitioned up to H k -null sets into a locally H k -rectifiable portion R(S) and a purely H k -unrectifiable portion P(S).The definition and properties of P(S) will not be relevant here.

Preliminaries.
In this section we quote several results from [26].First we have a fact showing that the rectifiable part of a H n -finite C-spanning set is itself C-spanning and the compactness theorem mentioned in the introduction.
Moreover, the sets T 1 and and T 2 appearing in Definition 2.2 are sets of finite perimeter.
Theorem 3.2.[26, Theorem 1.4] Let W be a closed set in R n+1 , C be a spanning class for W, and {(K j , E j )} j be a sequence in K B such that sup j H n (K j ) < ∞, and let a Borel set E and Radon measures µ bk and µ bd in Ω be such that E j → E locally in L 1 (Ω) and as j → ∞.Then the sets are such that (K bk , E), (K bd , E) ∈ K B and ) In addition to Theorem 3.2, we will also use some further tools originating from its proof, for which we will need some terminology.
(3.9) ⊂ K, then the set S = K ∪ E (1) is C-spanning W if and only if, for every (γ, Φ, T ) ∈ T (C) and H 1 -a.e.s ∈ S 1 , denoting by {U i } the essential partition of T induced by Remark 3.5.We point out that for any (K, E) ∈ K B and (γ, Φ, T ) ∈ T (C) and s ∈ S 1 , where were homotopic to a point, then the only C-spanning set is Ω, which has infinite H n -measure.

Proofs of the Approximation and Minimality Theorems
4.1.Proof of Theorem 2.3.The proof in the boundary spanning case proceeds in several steps and is based on an iteration procedure.The most delicate part of the iteration is ensuring that the reduced boundary of our approximating set will be C-spanning.Each stage involves "replacing" a portion of the H n -rectifiable set R(K) \ ∂ * E with a small set of finite perimeter D i .By choosing each D i carefully to satisfy certain properties, we will be able to ensure that Together, these two properties will allow us to conclude that Ω ∩ ∂ * (E∆(∪ i D i )) is C-spanning, and from here we fix the volumes to obtain E ′ .The bulk spanning case is significantly simpler, since we only have to ensure that (E ′ ) (1) Proof of Theorem 2.3 for Ψ bd .An outline is as follows.After making a preliminary reduction of the problem, we prove two necessary facts about measure-theoretic spanning.After that, in step two, we record a basic property of locally H n -rectifiable sets.Then, we devise a technical tool for the iteration in step three.We perform the iteration in step four, and use Theorem 3.2 in steps five and six to take a limit and arrive at our approximating set E ′ .
Step zero: Before making the approximation, we simplify the problem.We claim that to prove the theorem, it is enough to choose δ j → 0 and produce a sequence of sets {E j } with C-spanning reduced boundaries such that To see why this is sufficient, by the L 1 -convergence to E and the volume-fixing variations lemma [24, Section 29.6], there exists C 0 > 0, C 1 > 0 such that for all large j, we may obtain G j = g j (E j ) for some diffeomorphism g j which is identity away from finitely many balls, and with Given some δ > 0, by choosing j large enough so that max{C 0 , C 1 }δ j < δ, G j satisfies the conclusions of Theorem 2.3.In particular, the C-spanning requirement is fulfilled since ∂ * E j is C-spanning and the diffeomorphisms g j preserve the property of being C-spanning (as can be seen from Definition 2.2 and the fact that, if B is Borel, g j (B (t) ) = (g j (B)) (t) if t = 0, 1 and g j (∂ e B) = ∂ e (g j (B))).Therefore, for the rest of the proof, we consider fixed small δ := δ j and construct E j with C-spanning reduced boundary such that (4.1) holds.
Step one: Here we prove two claims.The second will ensure that our approximating sets are C-spanning.
Claim one: To prove the claim, suppose for contradiction that B + r (x) and B − r (x) both were subsets of a single open, connected component A of (D ∩ T ) \ T [s 0 ].We are going to use this to construct a curve in C homotopic to a point, which will be a contradiction.Since open connected sets in Euclidean space are path connected, for some x + ∈ B + r (x) and x − ∈ B − r (x), we can find a smooth curve γ 1 ⊂ (D ∩ T ) \ T [s 0 ] with endpoints x + and x − .By Sard's theorem [8, Proof of Lemma 10, Step 2], γ 1 can be deformed so that it meets ∂B r (x) transversally at a finite set of points, in which case We may further arrange γ 3 so that the concatenation γ * of γ 2 and γ 3 is smooth.Letting p S 1 denote the canonical projection map from S 1 × B n 1 to S 1 , we find from (4.2) and γ 2 ∩ T [s 0 ] = ∅ that the S 1 -valued curve p S 1 (Φ −1 (γ * )) has Brouwer degree either +1 or −1 [28, pg. 27].If its degree is −1, let us set γ * * (s) = γ * (s) (where the bar denotes complex conjugation) so that γ * * has the same image as γ * and the degree of p S 1 (Φ −1 (γ * * )) = +1.If the degree is +1, simply set γ * * = γ * .Now the S 1 -valued curves p S 1 (Φ −1 (γ * * )) and p S 1 (Φ −1 (γ)) both have winding number 1 and are therefore homotopic to one another.Since B n 1 is convex and Φ is a diffeomorphism, then γ is homotopic to γ * * .But this is impossible, since γ * * ⊂ D ⊂ B s (y) ⊂ Ω, implying the contractibility of D in Ω, and, by ℓ < ∞, C does not contain any curves homotopic in Ω to a point (see Remark (3.6)).This gives the desired contradiction and thus concludes the proof of claim one.
In words, it is a Lebesgue partition of T induced by ∂ * D ∩ T [s 0 ], and so therefore Theorem 3.3(a) implies that was arbitrary, this finishes the claim.
Step two: Here we show that if R ⊂ Ω is a locally H n -rectifiable set with finite H n -measure, then up to an H n -null set, it can be decomposed into a countable union of pairwise disjoint compact Lipschitz graphs, each of which is contained in some ball disjoint from W.More precisely, we can write where H n (A 0 ) = 0, and, for each m ≥ 1, there exist v m ∈ S 1 , Lipschitz function and, for some To see this, recall that any locally H n -rectifiable set can be covered by a family of Lipschitz graphs [1, Proposition 2.76] and can therefore be decomposed up to an H n -null set B 0 into a countable union of pairwise disjoint Lipschitz graphs f m (B m ), where each B m is a Borel subset of some ndimensional plane.Since each such B m is H n -equivalent to a countable union of disjoint compact sets, which we make take to be small enough so that their images under f m are each contained in some ball disjoint from W, the desired decomposition follows.In the next step, we will use the notation ∂ v ⊥ m to denote the natural notion of boundary for subsets of v ⊥ m that arises by identifying v ⊥ m with R n .Let also denote by p v ⊥ m the projection onto v ⊥ m .
Step three: In this step we prove the following claim, which is the main technical tool for the iteration.
Claim: If F ⊂ Ω is relatively closed, E ⊂ Ω is a set of locally finite perimeter in Ω, R ⊂ Ω \ F is a locally H n -rectifiable set with finite H n -measure, {v m }, {f m }, {A m }, and {B tm (x m )} are vectors, functions, compact sets, and balls corresponding to the decomposition of R from step two, and β ∈ (0, 1), then there exists M ∈ N and open sets of finite perimeter D 1 , . . ., D M with the following properties: Since there are many requirements, to aid the reader we will make our construction in an order that mirrors the order of (4.6)-(4.14),refining as we go so as to satisfy each successive requirement.First, let us choose M ∈ N large enough so that With M chosen as such, any open sets D m satisfying f m (A m ) ⊂ D m will therefore give which is (4.6).Next, using the fact that f m (A m ) are pairwise disjoint compact sets each of which is at positive distance from F (by virtue of R ⊂ Ω\F and the relative closedness of F ) and each other, we choose may choose open sets ) Let us set (T m ) t = {x ∈ T m : dist(x, ∂ v ⊥ m T m ) > t}.Now, for each m ∈ {1, . . ., M }, by (4.16)-(4.17),there exists τ m,0 > 0 such that for any τ m,i < τ m,0 , i = 1, 2, and the cylindrical type sets over the graphs f m ((T m ) τ m,1 ) defined by that is, (4.7)-(4.9)with C m τ m,1 ,τ m,2 = D m .Postponing our choice of τ m,i until later on (we will need this choice for (4.13)), note that each ∂C m τ m,1 ,τ m,2 is Lipschitz since it is the image through the Lipschitz map x , which is (4.10).Furthermore, it is clear that we may decrease the τ m,0 's if necessary to ensure (4.11).For (4.12), we first notice that Together with the fact that C m τ m,1 ,τ m,2 is at positive distance from F (by (4.19)), (4.21) guarantees that we can decrease τ m,0 if necessary to ensure that for any τ m,1 , τ m,2 < τ m,0 , which is (4.12) with C m τ m,1 ,τ m,2 = D m .To recap, every choice of τ m,1 , τ m,2 < τ m,0 and corresponding C m τ m,1 ,τ m,2 = D m gives sets that satisfy (4.6)-(4.12),and so we must choose the small parameters so as to satisfy (4.13)- (4.14).By the smoothness of ∂ v ⊥ m T m , we may decrease each τ m,0 so that for τ < τ m,0 , ∂ v ⊥ m (T m ) τ is smooth.Now, aiming towards (4.13), we recall that since H n (∂ * E) < ∞, for any uncountable family of pairwise disjoint sets, ∂ * E can have H n -positive overlap with at mostly countably many.Therefore, there is an at most countable set T 1 ⊂ (0, min m τ m,0 ) such that Let use choose τ 1 / ∈ T 1 and set τ m,1 = τ 1 for 1 ≤ m ≤ M .Then by (4.23), the lateral boundaries of our sets C m τ m,1 ,τ m,2 will have trivial H n -overlap with ∂ * E. To now choose τ m,2 , we compute Next, by the exact same countability argument as leading to (4.23), there is an at most countable set We choose τ 2 with ±τ 2 / ∈ T 2 and small enough so that and set D m = C m τ 1 ,τ 2 .By (4.24) and the choice of τ 2 , we have , which is (4.14).Lastly, by the definitions of D m and T 1 and T 2 , we have Step four : For the rest of the proof, we fix δ j and attempt to verify the reduction of the theorem laid out in step zero with this δ j .Here we will iteratively apply the previous step's claim to R(K)\∂ * E.
To begin with, we apply the claim with With the initial step complete, now we iteratively apply the claim for k = 1, 2, 3, . . ., with, at the k-th stage, , and β = min{2 −k−3 , δ j /2 k+2 }.We obtain a sequence of families of sets We remark that a consequence of (4.32) and the fact that each D k has Lipschitz boundary is Now by repetitively using (4.31) and finally (4.26), we obtain We also claim that for each k ≥ 0, the H n -rectifiable sets and are also C-spanning.For the H n -equivalence, we first observe that since D k ′ are each at mutual positive distance from each other for 0 ≤ k ′ ≤ k and have Lipschitz boundaries, Therefore, by the "non-overlapping" (4.29) and (4.36) of each ∂D k ′ with ∂ * E, we have As a consequence, the formula for the reduced boundary of the symmetric difference of two sets [24,Exercise 16.5] gives To prove that S k is C-spanning, let us fix (γ, Φ, T ) ∈ T (C).We first recall that R(K) is C-spanning by Proposition 3.1.Therefore, by Theorem 3.4, there exists J ⊂ S 1 of full H 1 -measure such that if s ∈ J, then, letting {U i } i denote the essential partition of T induced by R(K) ∪ T [s], Again by Theorem 3.4, to show that S k is C-spanning, it is enough to show that for s ∈ J, letting {V i } i denote the essential partition of T induced by R(S k ) ∪ T [s], Towards demonstrating (4.47), we first claim that the fact that this is a Lebesgue partition of T follows.Let us enumerate its (nontrivial) sets as W i .To see that P k is induced by S k ∪ T [s], we begin by appealing to [24,Ch. 16] and the fact that where the last inclusion follows by the definition of S k .On the other hand, if Therefore, since P k is induced by S k ∪ T [s], we may employ Theorem 3.3(a) to conclude that Finally we check (4.47) in three cases.By (4.46), it is enough to verify among those x ∈ T [s] such that x ∈ ∂ * U i for some i.In the first case, suppose that x ∈ T [s] is such that dist(x, F k ) > 0 and x ∈ ∂ * U i for some i.Then x ∈ ∂ * (U i \ F k ), and thus H n -a.e.such point belongs to S k ∪ T [s] as desired by (4.50).The second two cases both involve x ∈ T [s] such that dist(x, F k ) = 0. Suppose that x ∈ ∂F k .We recall from Remark 3.5, which applies to the pair (S k , E∆F k ) by (4.44), that 43), we find that H na.e.x ∈ T [s] ∩ ∂F k belongs to some ∂ * V i as desired.Lastly, let us consider those x ∈ int F k ∩ T [s]; it is for these x that we will use the result of step one.By the definition of F k , every such x must belong to D k ′ m for some k ′ ≤ k and m ≤ M k ′ .So we consider those x belonging to some fixed D k ′ m .According to (4.33) Then since D k ′ m has Lipschitz boundary, we are precisely in the position of being able to apply claim two from step one to deduce that H n -a.e.
is in force, and we conclude that H n -a.e.
This finishes the third case and therefore the proof of (4.47).
Step five: As a preliminary computation before taking the limit in k in the next step, we set Let us begin by observing that by (4.34) (the volume estimate on D k ), we have which is (4.51), and also where in the last containment we used the fact, recorded above (4.31),that D k has Lipschitz boundary.To prove the reverse inclusion, we claim that it is enough to prove that = Ω ∩ ∂ e F by a theorem of Federer (see e.g.[1, Theorem 3.61]), we would thus have Combining this inclusion with (4.55) would complete the proof of (4.52).Now suppose x ∈ ∂ * D k .By (4.32), there exists r x > 0 such that B rx (x) ∩ D k ′ = ∅ for k ′ < k.Then by this avoidance and (4.35) applied for those D k ′ with k ′ > k, we may estimate for r < r x Taking r → 0 and using the fact that x ∈ ∂ * D k gives (4.56).Before moving on to the final step, we record for later use that by (4.52) and (4.36),

.58)
Step six: Our goal now is to apply the compactness Theorem 3.
→ E∆F by (4.53).Therefore, Theorem 3.2 applies and says that the pair (S, E∆F ) belongs to K B and S is C-spanning, where where µ is the weak star limit of Next, by (4.39), H n (R(K) \ (∂ * E ∪ F k )) → 0, which implies then that µ is in fact the weak star limit of the measures . Therefore, for any B r (x) ⊂⊂ Ω with µ(∂B r (x)) = 0, (4.42)-(4.43)and (4.38) give But by (4.57)-(4.58)and (4.52), we also have We now have a set of finite perimeter E∆F =: E j with C-spanning reduced boundary, and we must check (4.1).For the volume estimate, we utilize (4.51) to compute For the perimeter estimate, by (4.58) and (4.52), (4.37), and the fact that the D k are pairwise disjoint, which is the desired perimeter bound in (4.1).□ Proof of Theorem 2.3 for Ψ bk .The proof can be accomplished by a simplification of the arguments in the boundary spanning case.First, as in step zero previously, it is enough to choose δ j → 0 and produce a sequence of sets {E j } with E (1) j ∪ (Ω ∩ ∂ * E j ) C-spanning such that |E j ∆E| ≤ δ j and P (E j ; Ω) ≤ F bk (K, E) + δ j .follow.To see that E (1)  j ∪ (Ω ∩ ∂ * E j ) is C-spanning, we first note that, since supersets of C-spanning sets are C-spanning and property of being C-spanning is stable under H n -null perturbations, it is enough to show that E (1) ∪ (Ω ∩ ∂ * E) ∪ (R(K) ∩ E (0) ) H n ⊂ E (1)  j ∪ (Ω ∩ ∂ * E j ) , (4.61) where the former set is C-spanning by Theorem 3.4.Since E j is a superset of E, we have: first, that E (1) ⊂ E (1)  j ; and second, that the Lebesgue density of E j at any x ∈ Ω ∩ ∂ * E is at least 1/2.Therefore, by Federer's theorem, E (1) ∪ (Ω ∩ ∂ * E) H n ⊂ E (1)  j ∪ (Ω ∩ ∂ * E j ).The inclusion R(K) ∩ E (0) H n ⊂ E (1)  j ∪ (Ω ∩ ∂ * E j ) follows directly from the inclusions R(K) ∩ E (0) H n ⊂ ∪ m f m (A m ) and f m (A m ) ⊂ D (1)  m ⊂ E (1) j .□ and (K ∪ ∂B r (x), E ∪ B r (x)) is minimal for Ψ bd (v) or Ψ bk (v).The statement for the bulk problem ψ bk (v) can be deduced as follows.By Ψ bk (v) = ψ bk (v) and the fact that E j are admissible for Ψ bk (v), {E j } j is a minimizing sequence for Ψ bk (v), and so [26,Theorem 6.2], which extracts such a ball and pair (K, E) ∈ K B out of an arbitrary minimizing sequence for Ψ bk (v) such as {E j } j , yields the desired result.For ψ bd (v), we can follow the same strategy.Let us sketch the argument, which, given the compactness in Theorem 3.2, consists of standard arguments to deal with volume loss at infinity.By Theorem 3.2 and compactness for sets of finite perimeter, up to a subsequence, we obtain a limiting pair (K, E) which is admissible for Ψ bd (|E|) (where v = 0 is 2ℓ B ) such that K is C-spanning and

3 CFigure 1 . 1 .
Figure 1.1.On the left is a non-collapsed set E ′ approximating the collapsed minimizer on the right.K \ ∂ * E is the three black segments.

Definition 2 . 1 (
Homotopic spanning for closed sets).A relatively closed subset S of Ω is Cspanning W if S ∩ γ ̸ = ∅ for all γ ∈ C. The corresponding formulation of the Plateau problem is ℓ := inf{H n (S) : S ⊂ Ω is relatively closed and C-spanning W}.
x), and there exists an open set D and ball B s (y) with B r (x) ⊂ D ⊂ B s (y) ⊂ Ω, then B + r (x) and B − r (x) are subsets of two distinct open, connected components A + and A − of (D ∩ T ) \ T [s 0 ].The argument relies on the same construction [26, Proof of Theorem A.1] that is behind the equivalence of Definition A and Definition B among closed sets.Crucial to the argument is the inclusion D ⊂ B s (y), which ensures that D is contractible in Ω.
Claim two: If (γ, Φ, T ) ∈ T (C) and D is an open bounded set of finite perimeter with D ⊂ B s (y) ⊂ Ω for some ball B s (y), then for H n -a.e.x ∈ T [s 0 ] ∩ D, there exists an element V i of the essential partition of T induced by ∂ * D ∪ T [s 0 ] such that x ∈ ∂ * V i .To see why this second claim follows from the first, fix any B r (x) ⊂ D∩T centered at x ∈ T [s 0 ]∩D small enough so that T [s 0 ] divides B r (x) into two open connected components, B + r (x) and B − r (x) with common boundary T [s 0 ] ∩ B r (x).By claim one, B + r (x) and B − r (x) are subsets of distinct connected components A + and A − of (D ∩ T ) \ T [s 0 ].Moreover, A + and A − are sets of finite perimeter by[13, 4.5.11]since∂ e A ± ⊂ T [s 0 ] ∪ ∂ e D ∪ ∂T .Then setting B = (D ∩ T ) \ (A + ∪ A − ) and C = T \ D (note that C ̸ = ∅since if it were we would have T ⊂ B s (y) so that γ is homotopic to a point), we find that {A + , A − , B, C} is a non-trivial Lebesgue partition of T into sets of finite perimeter such that, by standard facts about unions/intersections of sets of finite perimeter[24,  Ch. 16], and β = min{1/8, δ j /4}, yielding M 0 ∈ N and open sets of finite perimeter D 0 1 , . . ., D 0 M .If we set D 0 = ∪ M m=1 D 0 m , then by (4.7), ∂D 0 is the disjoint union of ∂D 0 m , and is therefore Lipschitz with P (D 0 ) = M 0 m=1 P (D 0 m ).By (4.6)-(4.14),our sets D 0 m and D 0 satisfy: .54) which combined with the L 1 convergence of F k to F implies that F is a set of finite perimeter in Ω.It remains to determine ∂ * F ∩ Ω.Now since F = ∪ k D k and those sets are open, we have

Fix
δ j , and let A 0 ∪ ∪ m f m (A m ) be the decomposition of R(K) ∩ E (0) into an H n -null set and countably many compact Lipschitz graphs as in step two of the boundary case.Arguing as in step three, specifically the inequalities (4.11) and (4.14), we may choose open setsD m containing f m (A m ) such that |D m | ≤ 2 −m δ j , P (D m ) ≤ 2H n (f m (A m )) + 2 −m δ j .We then set E j = E ∪ ∪ m D m , so that the estimates |E j ∆E| ≤ m |D m | ≤ δ j , P (E j ; Ω) ≤ P (E; Ω) + m P (D m ; Ω) ≤ P (E; Ω) + δ j

4. 2 .
Proof of Theorem 2.4.We can now show the equivalence of the collapsed and non-collapsed minimization problems.Proof of Theorem 2.4.For the equalities Ψ bd (v) = ψ bd (v) and Ψ bk (v) = ψ bk (v), first recall that Ψ bd (v) ≤ ψ bd (v) and Ψ bk (v) ≤ ψ bk (v), as noted in Section 2.3.The reverse inequalities are direct consequences of Theorem 2.3, since any minimizing sequence for either relaxed problem (2.7)/(2.8)can be approximated by a minimizing sequence for the corresponding soap film capillarity problem (2.4)/(2.5).It remains to show that, when W is compact, given a minimizing sequence {E j } j for ψ bd (v) or ψ bk (v), up to a subsequence we can extract (K, E) ∈ K B and ballB r (x) ⊂ (K ∪ E ∪ W) c of volume v − |E| such that E j → E in locally in L 1 , H n (Ω ∩ ∂ * E j ) * ⇀ H n (Ω ∩ ∂ * E) + 2H n (K \ ∂ * E) or H n (Ω ∩ ∂ * E j ) * ⇀ H n (Ω ∩ ∂ * E) + 2H n (K ∩ E (0) ) , compact, the Euclidean isoperimetric inequality and (4.62) imply that the escaping mass contributes at least as much energy as a ball (see [26, Proof of Theorem 6.2, step three]), that is Ψ bd (v) ≥ F bd (K, E) + P (B r (x)) whenever |B r (x)| = v − |E|.However, by a construction consisting of adding balls of volume v − |E| to any admissible (K ′ , E ′ ) for Ψ bd (|E|) (see [26, Proof of Theorem 6.2, step two]), we also have the reverse inequality Ψ bd (v) ≤ Ψ bd (|E|) + P (B r (x)) ≤ F bd (K, E) + P (B r (x)) 20, Theorem 1.4].• Convergence to the Plateau problem: ψ(v) → 2 ℓ with the corresponding subsequential convergence of minimizers in the sense of Radon measures [20, Theorem 1.9].Formulation and previous results from [26].Following [26, Section 1.4], we use Definition 2.2 to expand the soap film capillarity model to finite perimeter sets.We are actually able to treat two versions of the problem which differ in the choice of spanning set: {U * j } j∈J is a Lebesgue partition of U induced by S * , and {U i } i is an essential partition of U induced by S, then Theorem 3.4.[26, Theorem 3.1, Remark 3.2] If W ⊂ R n+1 is a closed set in R n+1 , C is a spanning class for W, K is a Borel set locally H n -finite in Ω, E has locally finite perimeter in Ω, and Ω ∩ ∂ * E j∈J ∂ * U * j H n ⊂ i∈I ∂ * U i ;(3.10) (b): if S and S * are H n -finite sets in U(1), and either S * = R(S) or S * is H n -equivalent to S, then S and S * induce L n+1 -equivalent essential partitions of U .
and claim that it is a set of finite perimeter with .53) By (4.37) and the fact that the sets cl D k are mutually pairwise disjoint, we have 2 to the pairs (S k , E∆F k ) and then verify (4.1).Now each (S k , E∆F k ) belongs to K B by (4.44) and we have sup jH n (S k ) ≤ P (E; Ω) + sup k