Local -regularity at the boundary of two dimensional sliding almost minimal sets in

By Yangqin Fang

Abstract

In this paper, we will give a -regularity result on the boundary for two dimensional sliding almost minimal sets in . This effect may apply to the regularity of the soap films at the boundary, and may also lead to the existence of a solution to the Plateau problem with sliding boundary conditions proposed by Guy David in the case that the boundary is a 2-dimensional smooth submanifold.

1. Introduction

Jean Taylor, in Reference 13, proved a celebrated regularity result of Almgren almost minimal sets, that gives a complete classification of the local structure of 2-dimensional (almost) minimal sets, that is, every -dimensional almost minimal set , in an open set with gauge function , is local equivalent to a -dimensional minimal cone. This result may apply to many actual surfaces, soap films are considered as typical examples. In Reference 5, Guy David gave a new proof of this result and generalized it to any codimension. Even with this very nice regularity property, we still do not know the behavior of almost minimal sets at the boundary , since it could be more and more complicated when points tend to the boundary, that is, the behaves of soap films at the boundary is not clear.

In Reference 7, Guy David proposed to consider the Plateau Problem with sliding boundary conditions, since it is very natural to the soap films, here we mean that the soap films can be consider as sliding almost minimal sets. We see that, away from the boundary, sliding almost minimal sets are almost minimal, Jean TaylorтАЩs regularity also applies, so that we already know the behavior of sliding almost minimal sets except at the boundary. Indeed, the feature that allow surfaces moving along the boundary could make the local structure more simple. Motivated by these, the regularity at the boundary would be well worth our considering. In fact, we are looking for a result similar to Jean TalyorтАЩs, for which together with Jean TaylorтАЩs theorem will imply the local Lipschitz retract property of sliding (almost) minimal sets, and the existence of minimizers for the sliding Plateau Problem will easily follows. Certainly we will get the whole story about the regularity of the soap films.

In Reference 13, Jean Taylor gave a full list of a two dimensional minimal cones in , that is, planes, cones of type , and cones of type . One of the advantages for the sliding boundary conditions is that we perceived the chance to determine the possibility of minimal cones in the upper half space of , where minimal cone is a cone which is minimal under the sliding deformations. Indeed, there are seven kinds of cones which are minimal, they are , cones of type , cones of type , cones of type , cones of type and cones where are cones of type or , see Section 3 in Reference 9 for the precise definition of cones of type , , and . Let us refer to Remark 3.11 in Reference 9 for the claim there are at most seven, Theorem 3.10 in Reference 9 proved some cones are minimal, and the rest is proved by Cavallotto Reference 2. We ascertain that there are only three kinds of cones which are minimal and contains the boundary , they are and where is cone of type or , see Theorem 3.10 in Reference 9 for the statement.

Another advantages of the sliding almost minimal sets is that they are not far from usual almost minimal sets, away from the boundary, they are almost minimal, we have also the monotonicity of density property, and at the boundary we can establish a similar monotonicity of density property without too much effort, see Theorem 2.3 for precise statement. But in fact, the monotonicity of density property is not enough, we have estimated the decay of the almost density, and that is also possible with sliding on the boundary, see Corollary 3.16.

In Reference 9, we proved a H├╢lder regularity of two dimensional sliding almost minimal set at the boundary. That is, suppose that is a closed domain with boundary a manifold of dimension 2, is a 2 dimensional sliding almost minimal set with sliding boundary , and that . Then , at the boundary, is locally biH├╢lder equivalent to a sliding minimal cone in the upper half space . In this paper, we will generalized the biH├╢lder equivalence to a equivalence when the gauge function satisfies that and is a 2 dimensional manifold. Let us refer to Theorem 1.2 for details. Where the sliding minimal cones always contain the boundary , namely only there kinds of cones can appear: and , where are cones of type or .

Let us introduce some notation and definitions before state our main theorem. A gauge function is a nondecreasing function with . Let be a closed domain of , be a closed subset in , be a given set. Let be an open set. A family of mappings , from into , is called a sliding deformation of in , while is called a competitor of in , if following properties hold:

тАв

for , for , ,

тАв

for , ,

тАв

the mapping is continuous,

тАв

is Lipschitz and .

Definition 1.1.

Let be two closed sets, . We say that an nonempty set is locally sliding almost minimal at with sliding boundary and with gauge function , called locally sliding almost at for short, if is locally finite, and for any sliding deformation of in , we have that

We say that is sliding almost minimal with sliding boundary and gauge function , denote by the collection of all such sets, if is locally sliding almost minimal at all points .

For any , we let be the translation defined by , and let be the mapping defined by for any . For any and , a blow-up limit of at is any closed set in that can be obtained as the Hausdorff limit of a sequence with . A set in is called a cone centered at the origin if for any for any ; in general, we call a cone centered at if is a cone centered at . We denote by the tangent cone of at , see Section 2.1 in Reference 1. We see that if there is unique blow-up limit of at , then it coincide with the tangent cone . Our main theorem is the following.

Theorem 1.2.

Let be a closed set such that the boundary is a -dimensional manifold of class for some and is a half space for any . Let be a closed set such that and is a sliding almost minimal set with sliding boundary and with gauge function satisfying that

Then for any , there is unique blow-up limit of at ; moreover, there exist a radius , a sliding minimal cone in with sliding boundary , and a mapping of class , which is a diffeomorphism between its domain and image, such that , , for , and

The theorem above, together with the Jean TaylorтАЩs theorem, will imply that any sliding almost minimal set as in the theorem is local Lipschitz neighborhood retract. This effect may gives the existence of a solution to the Plateau problem with sliding boundary conditions in a special case, see Theorem 8.1.

2. Lower bound of the decay for the density

In this section, we will consider a simple case that is a half space and is its boundary; without loss of generality, we assume that is the upper half space, and change the notation to be for convenience, i.e.

It is well known that for any 2-rectifiable set , there exists an approximate tangent plane of at for -a.e. . We will denote by the angle between the segment and the plane , by the angle between the segment and the plane , for .

For any gauge function in this paper, we always assume that there is a number such that

and put

For any mapping , we denote by the dimensional approximate Jacobian of at , if is approximate differentiable at , see Section 3.2.1 in Reference 10

In this section, we will compare a set to the cone over , then establish a monotonicity of density formula for any -rectifiable set which is locally sliding almost minimal at , see Theorem 2.3.

Lemma 2.1.

Let be any -rectifiable set. Then, by putting , we have that is differentiable almost every , and for such ,

Proof.

Considering the function defined by , we have that, for any and ,

thus

Employing Theorem 3.2.22 in Reference 10, we have that, for any ,

we get so that, for almost every ,

тЦа
Lemma 2.2.

Let be a -rectifiable locally sliding almost minimal at .

тАв

If , then for -a.e. ,

тАв

If , then inequality Equation 2.3 holds for -a.e. .

Proof.

If , then , and nothing need to do. We assume so that .

Let be any Lipschitz function, we let be defined by

Then, for any and any , by putting , we have that

If the tangent plane of at exists, we take such that , is perpendicular to , and that is perpendicular to , let be a vector in which is perpendicular to and , then

and

thus

We consider the function defined by . Then, by Equation 2.2, we have that

For any , we consider the function defined by

Then we have that

Applying Theorem 3.2.22 in Reference 10, by putting , we get that

thus

Since the function is a measurable function, we have that, for almost every ,

thus for such ,

тЦа

For any set , we set

and denote by if the limit exist, we may drop the script if there is no danger of confusion.

Theorem 2.3.

Let be a -rectifiable locally sliding almost minimal at .

тАв

If , then is nondecreasing as .

тАв

If , then is nondecreasing as .

Proof.

From Lemma 2.2 and Lemma 2.1, by putting , we get that, if ,

for almost every ; if , then Equation 2.4 holds for almost every .

We put , then , we get that is nondecreasing.

тЦа
Remark 2.4.

Let be a 2-rectifiable locally sliding almost minimal at some point . Then by Theorem 2.3, we get that exists.

3. Estimation of upper bound

In the previous section, we get a monotonicity of density formula, that is is nondecreasing, thus we get the estimation when small. But in fact we need a good estimation for , so we have to get some estimation for upper bound. The main purpose of this section is get the control of by a convex combination of and , where is the cone over , see Theorem 3.15 and Corollary 3.16.

Let be a collection of cones. We say that a set is locally -equivalent (resp. -equivalent) to a cone in at for some nonnegative integer and some number , if there exist and such that for any there is , a cone and a mapping , which is a homeomorphism of class (resp. ) between and its image with , satisfying that

and

Similarly, if is a closed set with the boundary is a 2-dimensional manifold, a set is called locally -equivalent to a sliding minimal cone in at , if there exist and such that for any there is and a mapping , which is a diffeomorphism of class between its domain and image with satisfying that and Equation 3.1 and Equation 3.2.

Suppose that is closed set with the boundary is a -dimensional manifold. Suppose that is sliding almost minimal with sliding boundary and gauge function . Then, by putting , we see that is almost minimal in , applying Jean TaylorтАЩs theorem, is locally -equivalent to a minimal cone at each point for some in case for some , , and . We see from Reference 9, Theorem 6.1 that, at , is locally -equivalent to a sliding minimal cone in in case the gauge function satisfying Equation 2.1.

3.1. Approximation of by rectifiable curves

For any sets , any and any , we denote by the normalized local Hausdorff distance defined by

It is quite easy to see that for ,

тАв

if is a cone centered at ;

тАв

, if and are cones centered at ;

тАв

, if and are cones centered at , , and .

A cone in is called of type if it is the union of three half planes with common boundary line and that make angles along the boundary line. A cone is called of type is if it is a half plane perpendicular to ; a cone is called of type is if , where is a cone of type perpendicular to ; for convenient, we will also use the notation , to denote the collection of all of cones of type , and to denote the collection of all of cones of type .

For any set with , and any , we set

If is 2-rectifiable and , then is 1-rectifiable and for -a.e. , we denote by the collection of such ; we now consider the function which is defined by , it is quite easy to see that is nondecreasing, thus is differentiable for -a.e.; we will denote by the set such that , is differentiable at , and for any continuous nonnegative function

and

It is not hard to see that , see for example Lemma 4.12 in Reference 5.

Lemma 3.1.

Let be a connected set. If , then is path connected.

For a proof, see for example Lemma 3.12 in Reference 8, so we omit it here.

Lemma 3.2.

Let be a locally connected and simply connected compact metric space. Let and be two connected subsets of . If is a closed subset of such that and are contained in two different connected components of , then there exists a connected closed set such that and still lie in two different connected components of .

Proof.

See for example 52.III.1 on page 335 in Reference 12, so we omit the proof here.

тЦа

For any , we put .

Lemma 3.3.

Let be a -rectifiable set with . Suppose that , and that is locally -equivalent to a sliding minimal cone of type at . Then for any there exist such that, for any and , we can find , and two simple curves satisfying that

(1)

and ;

(2)

joins and , ;

(3)

and are disjoint except for point .

Proof.

Since is locally -equivalent to a sliding minimal cone of type at , for any , there exist , sliding minimal cone of type , and a mapping which is a homeomorphism between and with and such that Equation 3.1 and Equation 3.2 hold. We new take . Then for any ,

Without loss of generality, we assume that . Applying Lemma 3.2 with , , and , we get that there is a connected closed set such that and lie in two different connected components of , thus is connected. We put and . Then , ; otherwise and are contained in a same connected component of . We take , and let . Then .

Since is connected and , by Lemma 3.1, is path connected. But is a homeomorphism, we get that is path connected. Let be a simple curve which joins and . We see that , because and for sliding minimal cone of type . We take .

тЦа
Lemma 3.4.

Let be a -rectifiable set with . Suppose that , and that is locally -equivalent to a sliding minimal cone of type at . Then for any there exist such that, for any and , we can find , and three simple curves satisfying that

(1)

, and there exists through 0 such that for ;

(2)

join and ;

(3)

and are disjoint except for point .

Proof.

Since is locally -equivalent to a sliding minimal cone of type at , for any , there exist , , sliding minimal cone of type , and a mapping which is a homeomorphism between and with and such that Equation 3.1 and Equation 3.2 hold. We now take . Then for any ,

Applying Lemma 3.2 with , , and , we get that there is a connected closed set such that and lie in two different connected components of , thus is connected. We let , , be the three component of . Then , ; otherwise and are contained in a same connected component of . We take , and let . Then .

Using the same arguments as in the proof of Lemma 3.3, we get that is path connected. We see that is of type , denote by the spine of , that is, the half line through 0 and perpendicular to . We find a point and curves satisfying the conditions.

тЦа

3.2. Approximation of rectifiable curves in by Lipschitz graph

We denote by the unit sphere in . We say that a simple rectifiable curve is a Lipschitz graph with constant at most , if it can be parametrized, after a rotation, by

where is Lipschitz with .

Lemma 3.5.

Let be a number, and a simple rectifiable curve given by

where is a Lipschitz function with , is a continuous function with and . Then there is a small number such that whenever , we have that

Moreover, there is an such that Equation 3.5 holds whenever .

Proof.

We let , , and let be a point in such that

We let , , be two curves such that , , , and , let , and put . By setting , and the arcs , and respectively, i.e., is the arc of the great circle on the unity sphere which joint the points and . Then we have that

We see that is a simple Lipschitz curve joining and , and let giving by

be its parametrization by length. We assume that , then on , or on , thus .

We let the number to be the small number in Lemma 7.8 in Reference 5. If , then we have that

thus

We get so that

If , then .

тЦа
Lemma 3.6.

Let and be two points in satisfying

Let be a simple rectifiable curve in which joins and , and satisfies

where is as in Lemma 3.5. Then there is a constant such that, for any , we can find a simple curve in which is a Lipschitz graph with constant at most joining and , and satisfies that

Moreover, if we denote by the geodesic joining and , then we can assume that

The proof will be the same as in Reference 5, p.875-p.878, so we omit it.

3.3. Comparison surfaces

Let be a Lipschitz curve in . We assume for simplicity that its extremities and lie in the horizontal plane. Let us assume that and for some . We also assume that is a Lipschitz graph with constant at most , i.e. there is a Lipschitz function with and , such that is parametrized by

where .

We set

and consider the function defined by

For any function , we denote by the graphs of over .

Lemma 3.7.

There is a universal constant such that we can find a Lipschitz function on satisfying that

and

The proof is the same as Lemma 8.8 in Reference 5, we omit it here.

3.4. Retractions

In this subsection, we assume that is a -rectifiable set satisfying that

(a)

, ,

(b)

is locally sliding almost minimal at ,

(c)

is locally -equivalent to a sliding minimal cone of type or .

For any , we let if is locally -equivalent to a sliding minimal cone of type , and let , if is locally -equivalent to a sliding minimal cone of type . Recall that is denoted by the collection of radii such that . For any , we will discuss two situations: first, if is a sliding minimal cone of type , we put , where and are considered as in Lemma 3.3. Second, if is a sliding minimal cone of type , we put , where , and are consider as in Lemma 3.4. We see that .

We take as in Lemma 3.3 or Lemma 3.4. For any , we let be the curve joining and which is considered as in Lemma 3.3 or Lemma 3.4, put . Then by Lemma 3.6, there is a curve on joining and which is a Lipschitz graph with constant at most . Let be the arc on joining and , let and be the cone over and respectively. By Lemma 3.7, we can find Lipschitz graph corresponding to such that Equation 3.7 and Equation 3.8 hold, that is,

We put

From Equation 3.9, we see that

By Lemma 3.5 and Lemma 3.6, we have that

and

For any , we put , and denote by the set , where is the small number considered as in Lemma 3.5, is defined in Equation 3.3 and Equation 3.4. Then Equation 3.12 implies that

Lemma 3.8.

If , then for any , there is a sliding minimal cone such that

Moreover, we have that

Proof.

There exists sliding minimal cone such that , thus for any , there is satisfying that . We get so that

Since for any , we have that

Thus

and

тЦа
Lemma 3.9.

Let be positive numbers. Let be three unit vectors.

тАв

If for , then for any with and , we have that

тАв

If and , then for any with , , we have that

Proof.

We write , , . Since , we have that , thus

we get so that

and then

thus

We get also, from Equation 3.15, that

thus

We can certainly assume , otherwise the inequality Equation 3.14 will be trivial true. Since , we have that , and

we have so that

and

Thus

where . Hence

тЦа
Lemma 3.10.

For any , we let be as in Equation 3.10. Then there is a universal constant and a Lipschitz mapping with , such that for , and that for .

Proof.

We see from Equation 3.9 that

and

For any , we denote by the line which goes through and , and denote . Let be fixed. We put

and

Then we see that , and that both of them are cones,

Since is a Lipschitz graph with constant at most such that Equation 3.6 hold, we have that

when small enough.

We will construct a Lipschitz retraction such that for , for , and . We now distinguish two cases, depending on cardinality of .

Case 1.

. We assume that . Then , and

Since , we have that for any .

We now let and be two unit vectors in such that and . Then

We let and be the two connected components of such that . We put . We claim that

whenever , , .

Without loss of generality, we assume , because for another case we will use the same treatment. We see that

Figure 1.

The angle between and is small.

Graphic without alt text
(1)

In case , without loss of generality, we assume that . We let and be such that

We put

then we get that . Moreover, we have that is perpendicular to and parallel to . Thus , and

Applying Lemma 3.9, we get that

thus

(2)

In case , . We let and be such that

Then by Lemma 3.9, we have that

Since , we have that

and

we get so that

Since is perpendicular to and , and

by Equation 3.14 in Lemma 3.9, we get that

Thus inequality Equation 3.17 implies that

and we finished the proof of the claim Equation 3.16.

We now define as follows: for any , we let be the unique point in such that parallels ; and for any , we let . Since parallels , we see that . We will check that

Indeed, for any , we put

then

and

thus

Case 2.

. We assume that , then

We put

and let , and be the three connected components of such that . By putting , we claim that

whenever , , .

Indeed, we only need to check the case , and the other two cases will be the same. Since , we have that for . In case or . Let us assume that . Let and be such that

We put

then we get that is perpendicular to and parallel to . Since , we have that , and

We apply Lemma 3.9 to get that and

thus

If , , we let and be such that

and

then is perpendicular to and , and we get that , since . We see that and

thus

By Lemma 3.9, we get that

and applying Lemma 3.9 again with , we have that

We get, from Equation 3.19, that

and we proved our claim Equation 3.18.

For any , we now let be the unique point in such that parallels ; and for , we let . Then . We will check that

Indeed, for any , we put

then

and

thus

By the definition of and , we have that

Similar as above, we will get that, for any with , if then

if then

where is the vector in Equation 2 with .

We now consider the mapping defined by

By the same reason as above, we get that

We define a mapping as follows: we see that is the graph over , thus for any , there is only one point in the intersection of and the line which is perpendicular to and through , we let to be the unique intersection point. That is, is the unique point in such that is perpendicular to . We will show that is Lipschitz and . Indeed, we assume that is the graph of founction on , then by Lemma 3.7 we have that . For any points , we let , , be the points in such that is perpendicular to , then

thus

Let be the mapping defined by

Then is our desire mapping.тЦа

Lemma 3.11.

For any , we let be as in Equation 3.10, and let be given by . Then we have that

where is a universal constant.

Proof.

For any , we consider the function defined by

and the mapping defined by

where is the Lipschitz mapping considered in Lemma 3.10. We see that . For any , we put

Then is a sliding deformation, and we get that

Since for , we get that

We set . By Theorem 3.2.22 in Reference 10, we get that

For any and , by setting , we have that

For any , we let be such that

then we have that , and that

thus

Since for any , we have that

then we get that

We now get, from Equation 3.21, that

plug that into Equation 3.20 to get that

we let , then we get that, for such ,

thus

тЦа

3.5. The comparison statement

For any , if , we denote by the unique geodesic on which join and . We will denote by the open ball sometimes for short.

Lemma 3.12.

Let be a given. Then there is a constant such that the following hold. Let and be such that , and . Let be the cone over . Then there is a Lipschitz mapping with , when , and when , such that

Proof.

We let a unit vector in which is perpendicular to , and let be a unit vector in which is perpendicular to , such that is parallel to , and take

, and , where , , will be chosen later. We let be a function of class such that , for , for , and . We let be a non increasing function of class such that , for , for , and . We let be a function defined by

We now consider the mapping defined by

We see that , and are mutually disjoint, and that

We have that

By setting for convenient, if and , we have that

If is perpendicular to , then ; if is parallel to and , then . We denote by for . Then

But

and

by putting

and

and denote by the cone over , , we have that

and

If , , we have that

Similarly, we have that, for ,

We see that when , and in case , thus

Hence, for or , we have that

Thus

If we take and , , then

Since for , and , we get that

Since for , where , we have that

If , then , and we have that

We get so that in any case

Since

we get that

тЦа
Lemma 3.13.

Let be a given. Then there is a constant such that the following hold. Let and be such that , , and . Let be the cone over . Then there is a Lipschitz mapping with , when , and when , such that

Proof.

We let , and be unit vectors in such that

For , we put

We take and , where , , will be chosen later. We let be the same as in Equation 3.22, and consider the mapping defined by

We see that , , and are mutually disjoint, and that

By putting for , we have that

and

where . By putting

and denote by the cone over , , we have that

We have that, for ,

Since when , and in case , we have that

Thus, for or ,

Hence

If we take and , , then

Since , for , and , , , we get that . By putting , it is evident that

We put , and we claim that

Indeed, for any with , we have that

and

Hence, for any , we have that

we now take , then

the claim Equation 3.23 follows.

Since for any , and

we have that, for ,

Note that

and

we get so that

Since for , and for , we have that

and

We get so that

Since for , where , we have that , thus

Thus

тЦа

Let be a -rectifiable set satisfying (a), (b) and (c). We will denote by the set , where we take constant to be the maximum value of the constants in Lemma 3.6 and Lemma 3.11.

Lemma 3.14.

For any , we have that

Proof.

Let , , , , and be the same as in the proof of Lemma 3.11. We see that

and that , where is a cone defined in Equation 3.10. We see that if , then satisfies the conditions in Lemma 3.12; if , then satisfies the conditions in Lemma 3.13. Thus we can find a Lipschitz mapping with , when , and when , such that

Let be the mapping defined by , then

But we see that , , and

we get so that

and

Since is the cone over , and is the cone over , by Equation 3.11, we get that

and then

By Equation 3.13 and Lemma 3.8, we have that

thus for any ,

Since , we have that

and we get so that

By Lemma 3.6, we have that

thus

Since and , by setting and , we have that

We obtain, from Equation 3.24, Equation 3.25 and Equation 3.26, that

Since , we have that , thus

тЦа
Theorem 3.15.

There exist and such that, for any ,

Proof.

Recall that and

We put , and take such that

We see that as , there exist such that, for any ,

If and , then , then by Lemma 3.14, we have that

We only need to consider the case , and , thus

By the construction of , we see that is local Lipschitz neighborhood retract, let be a neighborhood of and be a retraction such that . We put , , and let be a function given by

We see, from Lemma 3.8, that there exist sliding minimal cone such that , then for any ,

We consider the mapping defined by

then and for .

Since and is a neighborhood of , we can find such that, for any , . Then we get that for any ;

and . We now consider the mapping defined by

and the mapping defined by

We have that is Lipschitz, and ,

Let be the same as in Lemma 3.12 and Lemma 3.13, and let . Then we have that

We take and , then by Equation 3.27 and Equation 3.28, we have that

We obtain from Equation 3.29 and Equation 3.30 that

тЦа

For convenient, we put , and for . Since and is a nondecreasing function, we have that, for any and ,

thus

Corollary 3.16.

If the gauge function satisfy

then for any , there is a constant such that

Proof.

For any , we put . Then is differentiable for -a.e. . By Theorem 3.15 and Lemma 2.1, we have that for any ,

thus

and

Recall that . We get so that, from Equation 3.31, for any ,

Since , we have that

If , then

if , then

thus, for any ,

if , then

Hence Equation 3.32 follows from Equation 3.34, Equation 3.35, Equation 3.36 and Theorem 2.3. Indeed, there is a constant such that

and there is a constant such that

тЦа
Remark 3.17.

If the gauge function satisfy that

for some , then Equation 3.33 implies that there exist and constant such that

4. Approximation of by cones at the boundary

In the previous section, we get a power decay of the almost density, and in this section we will use that to get the uniqueness of blow-up limit of at , and also the estimation for small, where is the unique blow-up limit, see Theorem 4.14.

We also assume that is a -rectifiable set satisfying (a), (b) and (c). We let if is locally -equivalent to a sliding minimal cone of type ; and let if is locally -equivalent to a sliding minimal cone of type .

For any , we put

and for , we put

We see from Theorem 2.3 that is nondecreasing, and , thus .

We denote by and , respectively, the cone and the set which are defined in Equation 3.10, and by the set . Let be the mapping defined by . For any , we put . Let , and be the constants in Theorem 3.15.

Lemma 4.1.

For any with , we have that

and

Proof.

We see that for -a.e. , the tangent plane exists, we will denote by , the angle between the line and the plane . For any , we put , then is a nondecreasing function. By Lemma 2.2, we have that

for -a.e. . Considering the mapping given by , we have, by Equation 2.2, that for -a.e. ,

Apply Theorem 3.2.22 in Reference 10, we get that

thus Equation 4.1 holds.

By a simple computation, we get that

then applying Theorem 3.2.22 in Reference 10, we will get that Equation 4.2 hold.

тЦа

For any , if , by Cauchy-Schwarz inequality, we get from above Lemma that

Lemma 4.2.

For any , if , then

Proof.

By lemma 2.1, we get that

By Theorem 3.15, we get that

thus

By Theorem 2.3, we see that is nondecreasing, thus and . Hence

Since

we have that

by Lemma 3.5, we get that for any ,

тЦа
Lemma 4.3.

For any , if is a plane such that and for any , then there is a compact path connected set

such that

Proof.

We let be the same as in Equation 3.1. Since , we get that

We put

We take , , such that and are contained in two different connected components of . By Lemma 3.2, there is a connected closed subset of such that and are still contained in two different connected components of . Then for ; otherwise, if , then and are in the same connected component of , thus and are in the same connected component of , absurd!

Since , we get that is path connected. We take and , and let be a path such that and . We take and . Then is our desire set.

тЦа
Lemma 4.4.

Let and be given. Suppose that a -rectifiable set satisfying

Then we have, by putting , that

Proof.

For any , we have that and , thus . Since , we get that the mapping given by

is well defined and Lipschitz. Moreover, we have that

Hence

тЦа

For any , we put . For any , we put

Lemma 4.5.

If satisfy that , then we have that

Proof.

By Lemma 3.8, we have that, for any , if , then

We get so that

Since

we have that

we get so that

Applying Lemma 4.4, we will get the result.

тЦа
Lemma 4.6.

Let be given. Let be an arc of a great circle such that and

Then

Proof.

We let be the plane such that , let and be two vectors such that is perpendicular to . Then can be parametrized as given by

where . We write with and perpendicular to . Since for any , by Theorem 3.2.22 in Reference 10, we have that

and that

тЦа
Lemma 4.7.

Let and be the same as in Lemma 4.3. If , , then we have that

Proof.

For , if , we will denote by the plane which is through and and perpendicular to . By Lemma 4.2, we have that

Since , , we take , then

thus

For any , we let be the arc in which join and , We see that , and . Suppose , then

тЦа
Remark 4.8.

It is easy to see that, for any cones and ,

Since and , we see that for any , we get so that

For any , if , then by ChebyshevтАЩs inequality, we get that,

thus when .

Lemma 4.9.

Let be a positive number such that and . For any , if , then there is a constant such that

Proof.

For any , we take . Then there exists such that

We let , then for any , we have that

where .

For any with , we assume that , then

For any , we put

then when . If , then

We let be a sequence such that

and

For any , if for some , we have that

тЦа
Definition 4.10.

Let be an open set, be a set of Hausdorff dimension . is called Ahlfors-regular in if there is a and such that, for any , if and , we have that

Lemma 4.11.

Let be the same as in Lemma 4.9. If is Ahlfors-regular, and satisfies , then there is a constant such that

Proof.

Let be the same as in Equation 4.3. For any with , and , we have that

We put

For any with , we have that

We put

and

Then

where .

We see that, for any ,

If with

for some , then , thus

But on the other hand, by Ahlfors-regular property of , we have that

We get so that

Therefore, for ,

тЦа

For any , we take and such that

We put . Then for any , we have that

If the gauge function satisfy that

then converges to a cone , and

Remark 4.12.

If , , for some , and , then Equation 4.4 holds.

Indeed,

and then Remark 3.17 implies that

thus Equation 4.4 holds.

Lemma 4.13.

If Equation 4.4 holds, then is a minimal cone.

Proof.

By Lemma 3.8, for any , there exist sliding minimal cone such that . But as , we get that

Since is sliding minimal for any , we get that is also sliding minimal.

тЦа

For any with , we assume , by Lemma 4.7, we have that

Theorem 4.14.

If Equation 4.4 holds, and is Ahlfors-regular, then has unique blow-up limit at , and there is a constant such that

where satisfying that and . In particular,

тАв

if for some , and , then

тАв

if for some , and , , then

where

Proof.

From Equation 4.5 and Lemma 4.9, we get that, for any where such that ,

Similarly to the proof of Lemma 4.9, we still consider

we have that whenever . We let be a sequence such that

and

For any , we assume that , .

From Equation 4.5 and Lemma 4.11, we have that, for any where such that ,

Similarly to the proof of Equation 4.7, we can get that

We get, from Equation 4.7 and Equation 4.8, that Equation 4.6 holds.

If for some and and , then

and by Remark 3.17 we have that

where

is bounded, thus

Hence we get that

If for some and , then

We see, from the proof of Corollary 3.16, that

thus

Then

where

тЦа

5. Parameterization of well approximate sets

Recall that a cone in is called of type if it is a plane; a cone is called of type if it is the union of three half planes with common boundary line and that make angles along the boundary line; a cone of type if it is the cone over the union of the edges of a regular tetrahedron.

Theorem 5.1.

Let be a set with . Suppose that there exist , , and such that, for any and , we can find cone through such that

where is a minimal cone in of type or when and , and otherwise, is a sliding minimal cone of type or in with sliding boundary centered at some point in . Then there exist a radius , a sliding minimal cone centered at and a mapping , which is a -diffeomorphism between its domain and image, such that , , and

Proof.

Let be given by . By setting , we have that, for any and , there exist minimal cone in centered at of type or such that and

By Theorem 4.1 in Reference 9, there exist , , a cone centered at of type or , and a mapping such that

Using the same argument as in Section 10 in Reference 3, we get that is of class .

тЦа

6. Approximation of by cones away from the boundary

In this section, we let be a closed set. Let be a sliding almost minimal set, . Then is almost minimal with gauge function for any . We put

We see from Theorem 2.3 that and is nondecreasing for .

Theorem 6.1.

If for some , then has unique blow-up limit at . Moreover there is a constant and a radius such that

In particular, if the gauge function satisfies that

then there exists such that, for any ,

Proof.

By Theorem 16.1 in Reference 4, we get that is a locally -equivalent to a two dimensional minimal cone for some . Let be the radius defines as in Equation 3.2. We take . By Theorem 11.4 in Reference 5, there is a constant and cone for each such that

We put , and . Then

For any , we have that

Let be the limit of . Then we have that

For any , we assume that , then

Hence

and is the only blow up limit of at , which is a minimal cone.

By Theorem 4.5 in Reference 5, we have that

where we take the constant in Theorem 4.5 in Reference 5. For our convenient, we denote and , then we have and

thus

and

We take . Then for any , we have that

We get so that

combine this with Equation 6.1, we get the conclusion.

тЦа

7. Parameterization of sliding almost minimal sets

Let , and be nonnegative integers, . By a -dimensional submanifold of class of we mean a subset of satisfying that for each there exist s neighborhood of in , a mapping which is a diffeomorphism of class between its domain and image, and a dimensional vector subspace of such that

In Section 4, we get the estimation for and , where is a half space, is locally sliding almost minimal at , and depends on . In Section 6, we get the estimation for and .

In this section, we assume that is a closed set whose boundary is a 2-dimensional submanifold of class for some , and suppose that has tangent cone a half space at any point in . We will show that is locally diffeomorphic to a half space at any point , see Lemma 7.1, and after the diffeomorphism , become a locally sliding almost set at , see Lemma 7.2, so we can apply the results in Section 4 to see that the estimation for and is still valid, see Theorem 7.4. But the problem is that depends on . In fact, we need a uniform control of radius to apply the ReifenbergтАЩs parameterization theorem, Theorem 5.1, to get our main result Theorem 1.2, and that will be done in Lemma 7.9 and Lemma 7.10.

Let be a closed set such that and , . We always assume that the gauge function satisfies that

and

for some , where is the same constant as in Theorem 3.15. It is easy to see that if for some , and , then Equation 7.1 and Equation 7.2 hold. For our convenient, we still put , and put

We see, from Proposition 4.1 in Reference 6, that is Ahlfors-regular in , i.e. there exist and such that for any , if and , we have that

We see from Theorem 3.10 in Reference 9 that there only there kinds of possibility for the blow-up limits of at , they are the plane , cones of type union , and cones of type union . By Proposition 29.53 in Reference 6, we get so that

If , then there is a neighborhood of in such that , see Lemma 5.2 in Reference 9. In the next content of this section, we put ourself in the case or .

By Theorem 4.14 and Theorem 1.15 in Reference 5, we see that, for any , there is unique blow-up limit of at , which coincide with the tangent cone .

Lemma 7.1.

For any , there exist and a mapping , which is a diffeomorphism of class from to , such that

and that is a rotation satisfying that

Proof.

By definition, there exist open sets and a diffeomorphism of class such that , and

where is a plane through . Indeed, we have that

and

We will denote by the linear mapping given by , and assume that is a ball. Let be a rotation such that and . Then we get that is also mapping which is a diffeomorphism between and ,

and

We now take and to get the result.

тЦа

Let be an open set. For any mapping of class , we will denote by the constant . Then we have that

and thus

For any , we set , and

Then

thus for , and we have that

Lemma 7.2.

For any , is local almost minimal in at with gauge function satisfying that

Proof.

For any open set , , and , we let be the collection of generalized sliding Almgren quasiminimal sets which is defined in Definition 2.3 in Reference 6. We see that

and

By Proposition 2.8 in Reference 6, we have that

By Proposition 4.1 in Reference 6, we get that is Ahlfors-regular in . Indeed, we can get a little more, that is, for any with and , we have that

Let be any sliding deformation of in . Then

is a sliding deformation of in . Hence we get that

For any -rectifiable set , by Theorem 3.2.22 in Reference 10, we have that

and

By Equation 7.5, we get that

Thus, by taking , we have that , and

by taking , we have that

Combine these two equations with Equation 7.7 and Equation 7.6, we get that

тЦа
Lemma 7.3.

Let be a -rectifiable set, , a cone centered at , a diffeomorphism of class . Then there exist such that, for any and with ,

Proof.

Since is of class , by Equation 7.3, we have that

by putting , we get that

For any and , we have that

thus

hence

For any , , and

We get from Equation 7.8 and Equation 7.9 that

тЦа
Theorem 7.4.

Let , , and be the same as in the beginning of this section. Then there is a unique blow-up limit of at ; moreover, if the gauge function satisfy that

then there exists such that, for any ,

where is a constant satisfying that

and .

Proof.

We take such that and , let , be the same as in Lemma 7.1. Let be such that and . Then , see Equation 7.4 and Equation 7.5. By Lemma 7.2, we have that is local almost minimal at 0 with gauge function satisfying that

where is a constant.

We put , . From Equation 3.33 and Equation 3.37, we get that

where is the constant in Equation 3.37.

We get from Equation 7.11 that

by setting , we have that

where

Hence

where , thus

We now apply Theorem 4.14, there is a unique blow-up limit of at , thus there is a unique blow-up limit of at .

For any , we put

and

where . From Equation 7.7 and , we see that

since , we get so that

and

Since , , , and , we get that

and

If satisfy Equation 7.10, we take such that

then

and

where and are constant satisfying that

and

We get so that Equation 7.13 can be rewrite as

By Theorem 4.14, we have that

where

Applying Lemma 7.3 with , by setting , we get that for any ,

тЦа
Lemma 7.5.

For any small enough, there exists such that the following hold: is an sliding almost minimal set in with sliding boundary and gauge function , , is a mapping as in Lemma 7.1 and is the constant as in Equation 7.5, if satisfy that , and , then for any , we can find sliding minimal cone in with sliding boundary such that

and for any ball ,

Moreover, if , then .

Proof.

It is a consequence of Proposition 30.19 in Reference 6.

тЦа
Corollary 7.6.

Let , , , and be the same as in Theorem 7.4. Suppose that the gauge function satisfying

Then there exists and constant for such that, whenever

satisfying

we have that, for ,

Proof.

By Theorem 7.4, there exist such that

where is chosen to be as in Theorem 7.4.

By Lemma 7.5, there exists such that if , then Equation 7.12 holds, and we get the result.

тЦа
Lemma 7.7.

Let and be the same as in Theorem 7.4. We have that

Proof.

We will put for convenient. We first show that . Indeed, for any , . It follows from the fact that for -a.e. , that .

Let be any sliding deformation in some ball . Since and , we have that

Thus .

тЦа
Lemma 7.8.

Let , and be the same as in Theorem 7.4. For any small enough, there exists a such that for any and , there exists with such that

Proof.

If , then there is an open ball such that , and we have nothing to prove.

We assume that or . We put . Then and or , and by Lemma 7.7, we have that . By Lemma 7.5, for any , there exists such that, for any , we can find sliding minimal cone centered at of type or satisfying that

Let be the mapping defined in Lemma 7.1, and let be the same as in Equation 7.4. We put , . By Lemma 7.3, for any , there exist sliding minimal cone in such that

Thus there exists such that for any , we can find sliding minimal cone of type or such that

Using the same argument as in the proof Lemma 5.4 in Reference 9, we get that there exists such that for any with , we can find such that

where we denote by the orthogonal projection from to . Thus

and we get that

We take . Then, for any and ,

We assume to be small enough such that , then

тЦа
Lemma 7.9.

Let , and be the same as in Theorem 7.4. Suppose that . Then, by putting , there exist a radius , a number and a constant such that, for any and , we can find cone such that

where , , and in case .

Proof.

We see that , and . By Corollary 7.6, there exist and such that whenever satisfying

we have that, for ,

where . We take such that

If , we take , then apply Lemma 7.5 with to get that

thus

and

We get that for . Thus

By Lemma 7.8, we assume that for any , there exists such that

If , we take , then apply Lemma 7.5 with to get that

thus

and

By Theorem 6.1, there is a constent such that

Hence we get from Equation 7.14 and Equation 7.15 that

where

We take . For any , if , then we get from Equation 7.16 that

if , then by Equation 7.16, we have that

From Equation 7.17 and Equation 7.18, we get so that, for any there is a constant such that for any and , we can find cone such that

where , , and in case .

тЦа
Lemma 7.10.

Let , and be the same as in Theorem 7.4. Suppose that . Then, by putting , there exist a radius , a number and a constant such that, for any and , we can find a cone such that

where , , and in case .

Proof.

By Corollary 7.6, there exist and such that whenever satisfying

we have that, for ,

where . We take such that

If , we take , then apply Lemma 7.5 with to get that

thus

and

We get that for . Thus

By Lemma 7.8, we assume that for any , there exists such that

If , then or . We put . If , we take , then apply Lemma 7.5 with to get that

thus

and

By Theorem 6.1, we have that

We put . If and , we take such that and , then apply Lemma 7.24 in Reference 4 with to get that

thus

and

By Theorem 6.1, we have that

If and , we take , then apply Lemma 7.5 with to get that

thus

and

By Theorem 6.1, we have that

We get, from Equation 7.19, Equation 7.21, Equation 7.22 and Equation 7.23, so that

where

Claim.

is a curve which is perpendicular to . Indeed, by biH├╢lder regularity at the boundary, we see that is a curve, and by J. TaylorтАЩs regularity theorem Reference 13, we get that is of class .

By the claim, we can assume that, there is a constant such that

We fix such that . By Equation 7.24, we have that, for any , and any ,

If , then

if , then

Thus we get that, for any , there is a constant such that for any and we can find cone satisfying that

If and , then for any , from Equation 7.24 and Equation 7.25, we get that

and

for any , we have that

Thus we get that, for any , there is a constant such that for any with , and we can find cone satisfying that

If , and , then

From Equation 7.24, we get that, for any ,

For any , we take , then we see that . If , we let be the point chose in Equation 7.20, then we have that and

thus

From Equation 7.24, we get that

If , we have that

If , and , then from Equation 7.24, we have that for any ,

For any , we take such that . We put . We see that . If , then . From Equation 7.24, we get that

If , we have that . Since , we see from Equation 7.25 that

and . We get from Equation 7.24 that

We get, from Equation 7.28, Equation 7.29, Equation 7.30, Equation 7.31,Equation 7.32 and Equation 7.33, that for any , there is a constant such that for any with and , we can find cone such that

Hence we get, from Equation 7.26, Equation 7.27 and Equation 7.34, there is a constant and such that for any and , we can find cone such that

where for some , and in case

тЦа
Corollary 7.11.

Let , and be the same as in Theorem 7.4. Let and . Then there exist a radius , a number and a constant such that, for any and , we can find cone such that

where , , and in case .

Proof.

It is follow from Lemma 7.9 and Lemma 7.10.

тЦа
Lemma 7.12.

Let , and be the same as in Corollary 7.11. Let be the mapping defined in Lemma 7.1. Let be such that , where is the ball considered as in Corollary 7.11. By putting , , we have that there exist , , and constant such that for any and , we can find cone through such that

where is a minimal cone of type or in case and ; and in case or , is a sliding minimal cone in with sliding boundary , if , we can be written as , is a sliding minimal cone of type or .

Proof.

For any and , we let be the same cone considered as in Corollary 7.11. We put for convenient. For any , and , we put , then

Since

we have that, for any ,

Hence, from Equation 7.35 and Equation 7.36, we have that

For any , we see that , and we have that

Thus there exist such that, for any with ,

We take small enough, for example , then for any , we have that and

From Equation 7.37 and Equation 7.38, we get so that

and

Hence

where satisfy that .

We take such that, for any and , can be expressed as with . Since in case , by putting , we have that, for any and , there exist cone in with sliding boundary , such that

For such cone , we have that , , , and in case . may not pass through , but the cone pass through , and

тЦа
Proof of Theorem 1.2.

Let be the same as in Lemma 7.12, and let . Then by Lemma 7.12, we have that for any and , there exist cone such that

where is a minimal cone in of type or in case and ; and is a sliding minimal cone in with sliding boundary of type or in other case. We apply Theorem 5.1 to get that there exist , a sliding minimal cone centered at 0, and a mapping , which is a -diffeomorphism such that , , and

We take , then we get that

тЦа

8. Existence of the plateau problem with sliding boundary conditions

The Plateau Problem with sliding boundary conditions arise in Reference 7, proposed by Guy David. That is, given an initial set , and boundary , to find the minimizers among all competitors. The author of the paper Reference 7 also gives the sketch to the existence in Section 6, and later on in Reference 6, he pave the way. We will give an existence result in case the boundary is nice enough.

Let be a closed domain such that the boundary is a -dimensional manifold of class for some . Let be a closed set with . We denote by the collection of all competitors of .

Theorem 8.1.

If there is a bounded minimizing sequence of competitors, then there exists such that

Proof.

We put

If , we have nothing to do. We now assume that .

Let be a sequence of competitors bounded by such that

Apply Lemme 5.2.6 in Reference 11, we can fined a sequence of open sets and a sequence of competitors of bounded by such that

тАв

, ;

тАв

for constant ;

тАв

.

We assume that converge locally to in , pass to subsequence if necessary, then by Corollary 21.15 in Reference 6, we get that is sliding minimal.

Since , by Lemma 3.3 in Reference 4, we have that

thus

By Theorem 1.2 and Theorem 1.15 in Reference 5, we get that is local Lipschitz neighborhood retract. We denote by a Lipschitz neighborhood retraction of , since converges to , we get that for large enough. Thus are minimizers.

тЦа

Acknowledgments

The author acknowledges the perfect working conditions while working at both the Universit├й Paris-Sud XI in Orsay and the Max Planck Institute for Gravitational Physics (Albert Einstein Institute) in Potsdam-Golm. The author would like to thank Guy David for his assistance and guidance, and Ulrich Menne for his constant support. The author also thanks the anonymous referee who provided useful and detailed comments on an earlier version of the manuscript.

Mathematical Fragments

Theorem 1.2.

Let be a closed set such that the boundary is a -dimensional manifold of class for some and is a half space for any . Let be a closed set such that and is a sliding almost minimal set with sliding boundary and with gauge function satisfying that

Then for any , there is unique blow-up limit of at ; moreover, there exist a radius , a sliding minimal cone in with sliding boundary , and a mapping of class , which is a diffeomorphism between its domain and image, such that , , for , and

Equation (2.1)
Lemma 2.1.

Let be any -rectifiable set. Then, by putting , we have that is differentiable almost every , and for such ,

Equation (2.2)
Lemma 2.2.

Let be a -rectifiable locally sliding almost minimal at .

тАв

If , then for -a.e. ,

тАв

If , then inequality 2.3 holds for -a.e. .

Theorem 2.3.

Let be a -rectifiable locally sliding almost minimal at .

тАв

If , then is nondecreasing as .

тАв

If , then is nondecreasing as .

Equation (2.4)
Equation (3.1)
Equation (3.2)
Equation (3.3)
Equation (3.4)
Lemma 3.1.

Let be a connected set. If , then is path connected.

Lemma 3.2.

Let be a locally connected and simply connected compact metric space. Let and be two connected subsets of . If is a closed subset of such that and are contained in two different connected components of , then there exists a connected closed set such that and still lie in two different connected components of .

Lemma 3.3.

Let be a -rectifiable set with . Suppose that , and that is locally -equivalent to a sliding minimal cone of type at . Then for any there exist such that, for any and , we can find , and two simple curves satisfying that

(1)

and ;

(2)

joins and , ;

(3)

and are disjoint except for point .

Lemma 3.4.

Let be a -rectifiable set with . Suppose that , and that is locally -equivalent to a sliding minimal cone of type at . Then for any there exist such that, for any and , we can find , and three simple curves satisfying that

(1)

, and there exists through 0 such that for ;

(2)

join and ;

(3)

and are disjoint except for point .

Lemma 3.5.

Let be a number, and a simple rectifiable curve given by

where is a Lipschitz function with , is a continuous function with and . Then there is a small number such that whenever , we have that

Moreover, there is an such that 3.5 holds whenever .

Lemma 3.6.

Let and be two points in satisfying

Let be a simple rectifiable curve in which joins and , and satisfies

where is as in Lemma 3.5. Then there is a constant such that, for any , we can find a simple curve in which is a Lipschitz graph with constant at most joining and , and satisfies that

Moreover, if we denote by the geodesic joining and , then we can assume that

Lemma 3.7.

There is a universal constant such that we can find a Lipschitz function on satisfying that

and

Equation (3.9)
Equation (3.10)
Equation (3.11)
Equation (3.12)
Equation (3.13)
Lemma 3.8.

If , then for any , there is a sliding minimal cone such that

Moreover, we have that

Lemma 3.9.

Let be positive numbers. Let be three unit vectors.

тАв

If for , then for any with and , we have that

тАв

If and , then for any with , , we have that

Equation (3.15)
Lemma 3.10.

For any , we let be as in Equation 3.10. Then there is a universal constant and a Lipschitz mapping with , such that for , and that for .

Case 1.

. We assume that . Then , and

Since , we have that for any .

We now let and be two unit vectors in such that and . Then

We let and be the two connected components of such that . We put . We claim that

whenever , , .

Without loss of generality, we assume , because for another case we will use the same treatment. We see that

Figure 1.

The angle between and is small.

Graphic without alt text
(1)

In case , without loss of generality, we assume that . We let and be such that

We put

then we get that . Moreover, we have that is perpendicular to and parallel to . Thus , and

Applying Lemma 3.9, we get that

thus

(2)

In case , . We let and be such that

Then by Lemma 3.9, we have that

Since , we have that

and

we get so that

Since is perpendicular to and , and

by Equation 3.14 in Lemma 3.9, we get that

Thus inequality 3.17 implies that

and we finished the proof of the claim 3.16.

We now define as follows: for any , we let be the unique point in such that parallels ; and for any , we let . Since parallels , we see that . We will check that

Indeed, for any , we put

then

and

thus

Case 2.

. We assume that , then

We put

and let , and be the three connected components of such that . By putting , we claim that

whenever , , .

Indeed, we only need to check the case , and the other two cases will be the same. Since , we have that for . In case or . Let us assume that . Let and be such that

We put

then we get that is perpendicular to and parallel to . Since , we have that , and

We apply Lemma 3.9 to get that and

thus

If , , we let and be such that

and

then is perpendicular to and , and we get that , since . We see that and

thus

By Lemma 3.9, we get that

and applying Lemma 3.9 again with , we have that

We get, from 3.19, that

and we proved our claim 3.18.

For any , we now let be the unique point in such that parallels ; and for , we let . Then . We will check that

Indeed, for any , we put

then

and

thus

By the definition of and , we have that

Similar as above, we will get that, for any with , if then

if then

where is the vector in 2 with .

We now consider the mapping defined by

By the same reason as above, we get that

We define a mapping as follows: we see that is the graph over , thus for any , there is only one point in the intersection of and the line which is perpendicular to and through , we let to be the unique intersection point. That is, is the unique point in such that is perpendicular to . We will show that is Lipschitz and . Indeed, we assume that is the graph of founction on , then by Lemma 3.7 we have that . For any points , we let , , be the points in such that is perpendicular to , then

thus

Let be the mapping defined by

Then is our desire mapping.тЦа

Lemma 3.11.

For any , we let be as in Equation 3.10, and let be given by . Then we have that

where is a universal constant.

Equation (3.20)
Equation (3.21)
Lemma 3.12.

Let be a given. Then there is a constant such that the following hold. Let and be such that , and . Let be the cone over . Then there is a Lipschitz mapping with , when , and when , such that

Equation (3.22)
Lemma 3.13.

Let be a given. Then there is a constant such that the following hold. Let and be such that , , and . Let be the cone over . Then there is a Lipschitz mapping with , when , and when , such that

Equation (3.23)
Lemma 3.14.

For any , we have that

Equation (3.24)
Equation (3.25)
Equation (3.26)
Theorem 3.15.

There exist and such that, for any ,

Equation (3.27)
Equation (3.28)
Equation (3.29)
Equation (3.30)
Equation (3.31)
Corollary 3.16.

If the gauge function satisfy

then for any , there is a constant such that

Equation (3.33)
Equation (3.34)
Equation (3.35)
Equation (3.36)
Equation (3.37)
Remark 3.17.

If the gauge function satisfy that

for some , then Equation 3.33 implies that there exist and constant such that

Lemma 4.1.

For any with , we have that

and

Lemma 4.2.

For any , if , then

Lemma 4.3.

For any , if is a plane such that and for any , then there is a compact path connected set

such that

Lemma 4.4.

Let and be given. Suppose that a -rectifiable set satisfying

Then we have, by putting , that

Lemma 4.7.

Let and be the same as in Lemma 4.3. If , , then we have that

Lemma 4.9.

Let be a positive number such that and . For any , if , then there is a constant such that

Equation (4.3)
Lemma 4.11.

Let be the same as in Lemma 4.9. If is Ahlfors-regular, and satisfies , then there is a constant such that

Equation (4.4)
Equation (4.5)
Theorem 4.14.

If Equation 4.4 holds, and is Ahlfors-regular, then has unique blow-up limit at , and there is a constant such that

where satisfying that and . In particular,

тАв

if for some , and , then

тАв

if for some , and , , then

where

Equation (4.7)
Equation (4.8)
Theorem 5.1.

Let be a set with . Suppose that there exist , , and such that, for any and , we can find cone through such that

where is a minimal cone in of type or when and , and otherwise, is a sliding minimal cone of type or in with sliding boundary centered at some point in . Then there exist a radius , a sliding minimal cone centered at and a mapping , which is a -diffeomorphism between its domain and image, such that , , and

Theorem 6.1.

If for some , then has unique blow-up limit at . Moreover there is a constant and a radius such that

In particular, if the gauge function satisfies that

then there exists such that, for any ,

Equation (6.1)
Equation (7.1)
Equation (7.2)
Lemma 7.1.

For any , there exist and a mapping , which is a diffeomorphism of class from to , such that

and that is a rotation satisfying that

Equation (7.3)
Equation (7.4)
Equation (7.5)
Lemma 7.2.

For any , is local almost minimal in at with gauge function satisfying that

Equation (7.6)
Equation (7.7)
Lemma 7.3.

Let be a -rectifiable set, , a cone centered at , a diffeomorphism of class . Then there exist such that, for any and with ,

Equation (7.8)
Equation (7.9)
Theorem 7.4.

Let , , and be the same as in the beginning of this section. Then there is a unique blow-up limit of at ; moreover, if the gauge function satisfy that

then there exists such that, for any ,

where is a constant satisfying that

and .

Equation (7.11)
Equation (7.12)
Equation (7.13)
Lemma 7.5.

For any small enough, there exists such that the following hold: is an sliding almost minimal set in with sliding boundary and gauge function , , is a mapping as in Lemma 7.1 and is the constant as in Equation 7.5, if satisfy that , and , then for any , we can find sliding minimal cone in with sliding boundary such that

and for any ball ,

Moreover, if , then .

Corollary 7.6.

Let , , , and be the same as in Theorem 7.4. Suppose that the gauge function satisfying

Then there exists and constant for such that, whenever

satisfying

we have that, for ,

Lemma 7.7.

Let and be the same as in Theorem 7.4. We have that

Lemma 7.8.

Let , and be the same as in Theorem 7.4. For any small enough, there exists a such that for any and , there exists with such that

Lemma 7.9.

Let , and be the same as in Theorem 7.4. Suppose that . Then, by putting , there exist a radius , a number and a constant such that, for any and , we can find cone such that

where , , and in case .

Equation (7.14)
Equation (7.15)
Equation (7.16)
Equation (7.17)
Equation (7.18)
Lemma 7.10.

Let , and be the same as in Theorem 7.4. Suppose that . Then, by putting , there exist a radius , a number and a constant such that, for any and , we can find a cone such that

where , , and in case .

Equation (7.19)
Equation (7.20)
Equation (7.21)
Equation (7.22)
Equation (7.23)
Equation (7.24)
Equation (7.25)
Equation (7.26)
Equation (7.27)
Equation (7.28)
Equation (7.29)
Equation (7.30)
Equation (7.31)
Equation (7.32)
Equation (7.33)
Equation (7.34)
Corollary 7.11.

Let , and be the same as in Theorem 7.4. Let and . Then there exist a radius , a number and a constant such that, for any and , we can find cone such that

where , , and in case .

Lemma 7.12.

Let , and be the same as in Corollary 7.11. Let be the mapping defined in Lemma 7.1. Let be such that , where is the ball considered as in Corollary 7.11. By putting , , we have that there exist , , and constant such that for any and , we can find cone through such that

where is a minimal cone of type or in case and ; and in case or , is a sliding minimal cone in with sliding boundary , if , we can be written as , is a sliding minimal cone of type or .

Equation (7.35)
Equation (7.36)
Equation (7.37)
Equation (7.38)
Theorem 8.1.

If there is a bounded minimizing sequence of competitors, then there exists such that

References

Reference [1]
William K. Allard, On the first variation of a varifold, Ann. of Math. (2) 95 (1972), 417тАУ491, DOI 10.2307/1970868. MR307015,
Show rawAMSref \bib{Allard:1972}{article}{ author={Allard, William K.}, title={On the first variation of a varifold}, journal={Ann. of Math. (2)}, volume={95}, date={1972}, pages={417--491}, issn={0003-486X}, review={\MR {307015}}, doi={10.2307/1970868}, }
Reference [2]
Edoardo Cavallotto, Existence and regularity results for minimal surfaces; Plateau Problem, Ph.D. Thesis, 2018.,
Show rawAMSref \bib{Cavallotto}{thesis}{ author={Cavallotto, Edoardo}, title={Existence and regularity results for minimal surfaces; {Plateau Problem}}, type={Ph.D. Thesis}, date={2018}, }
Reference [3]
Guy David, Thierry De Pauw, and Tatiana Toro, A generalization of ReifenbergтАЩs theorem in , Geom. Funct. Anal. 18 (2008), no. 4, 1168тАУ1235, DOI 10.1007/s00039-008-0681-8. MR2465688,
Show rawAMSref \bib{DDT:2008}{article}{ author={David, Guy}, author={De Pauw, Thierry}, author={Toro, Tatiana}, title={A generalization of Reifenberg's theorem in $\mathbb {R}^3$}, journal={Geom. Funct. Anal.}, volume={18}, date={2008}, number={4}, pages={1168--1235}, issn={1016-443X}, review={\MR {2465688}}, doi={10.1007/s00039-008-0681-8}, }
Reference [4]
Guy David, H├╢lder regularity of two-dimensional almost-minimal sets in (English, with English and French summaries), Ann. Fac. Sci. Toulouse Math. (6) 18 (2009), no. 1, 65тАУ246. MR2518104,
Show rawAMSref \bib{David:2009}{article}{ author={David, Guy}, title={H\"{o}lder regularity of two-dimensional almost-minimal sets in $\mathbb {R}^n$}, language={English, with English and French summaries}, journal={Ann. Fac. Sci. Toulouse Math. (6)}, volume={18}, date={2009}, number={1}, pages={65--246}, issn={0240-2963}, review={\MR {2518104}}, }
Reference [5]
Guy David, -regularity for two-dimensional almost-minimal sets in , J. Geom. Anal. 20 (2010), no. 4, 837тАУ954, DOI 10.1007/s12220-010-9138-z. MR2683770,
Show rawAMSref \bib{David:2008}{article}{ author={David, Guy}, title={$C^{1+\alpha }$-regularity for two-dimensional almost-minimal sets in $\mathbb {R}^n$}, journal={J. Geom. Anal.}, volume={20}, date={2010}, number={4}, pages={837--954}, issn={1050-6926}, review={\MR {2683770}}, doi={10.1007/s12220-010-9138-z}, }
Reference [6]
Guy David, Local regularity properties of almost- and quasiminimal sets with a sliding boundary condition (English, with English and French summaries), Ast├йrisque 411 (2019), ix+377, DOI 10.24033/ast. MR3975493,
Show rawAMSref \bib{David:2014}{article}{ author={David, Guy}, title={Local regularity properties of almost- and quasiminimal sets with a sliding boundary condition}, language={English, with English and French summaries}, journal={Ast\'{e}risque}, number={411}, date={2019}, pages={ix+377}, issn={0303-1179}, isbn={978-2-85629-906-7}, review={\MR {3975493}}, doi={10.24033/ast}, }
Reference [7]
Guy David, Should we solve PlateauтАЩs problem again?, Advances in analysis: the legacy of Elias M. Stein, Princeton Math. Ser., vol. 50, Princeton Univ. Press, Princeton, NJ, 2014, pp. 108тАУ145. MR3329849,
Show rawAMSref \bib{David:2014p}{article}{ author={David, Guy}, title={Should we solve Plateau's problem again?}, conference={ title={Advances in analysis: the legacy of Elias M. Stein}, }, book={ series={Princeton Math. Ser.}, volume={50}, publisher={Princeton Univ. Press, Princeton, NJ}, }, date={2014}, pages={108--145}, review={\MR {3329849}}, }
Reference [8]
K. J. Falconer, The geometry of fractal sets, Cambridge Tracts in Mathematics, vol. 85, Cambridge University Press, Cambridge, 1986. MR867284,
Show rawAMSref \bib{Falconer:1986}{book}{ author={Falconer, K. J.}, title={The geometry of fractal sets}, series={Cambridge Tracts in Mathematics}, volume={85}, publisher={Cambridge University Press, Cambridge}, date={1986}, pages={xiv+162}, isbn={0-521-25694-1}, isbn={0-521-33705-4}, review={\MR {867284}}, }
Reference [9]
Yangqin Fang, H├╢lder regularity at the boundary of two-dimensional sliding almost minimal sets, Adv. Calc. Var. 11 (2018), no. 1, 29тАУ63, DOI 10.1515/acv-2015-0030. MR3739262,
Show rawAMSref \bib{Fang:2015}{article}{ author={Fang, Yangqin}, title={H\"{o}lder regularity at the boundary of two-dimensional sliding almost minimal sets}, journal={Adv. Calc. Var.}, volume={11}, date={2018}, number={1}, pages={29--63}, issn={1864-8258}, review={\MR {3739262}}, doi={10.1515/acv-2015-0030}, }
Reference [10]
Herbert Federer, Geometric measure theory, Die Grundlehren der mathematischen Wissenschaften, Band 153, Springer-Verlag New York Inc., New York, 1969. MR0257325,
Show rawAMSref \bib{Federer:1969}{book}{ author={Federer, Herbert}, title={Geometric measure theory}, series={Die Grundlehren der mathematischen Wissenschaften, Band 153}, publisher={Springer-Verlag New York Inc., New York}, date={1969}, pages={xiv+676}, review={\MR {0257325}}, }
Reference [11]
V. Feuvrier, Un r├йsultat dтАЩexistence pour les ensembles minimaux par optimisation sur des grilles poly├йdrales, Ph.D. Thesis, 2008.,
Show rawAMSref \bib{Feuvrier:2008}{thesis}{ author={Feuvrier, V.}, title={Un r\'esultat d'existence pour les ensembles minimaux par optimisation sur des grilles poly\'edrales}, type={Ph.D. Thesis}, date={2008}, }
Reference [12]
C. Kuratowski, Topologie, Vol. 2, ├Йditions Jacques Gabay, Sceaux, 1992.,
Show rawAMSref \bib{Kuratowski:1992}{book}{ author={Kuratowski, C.}, title={Topologie}, publisher={\'Editions Jacques Gabay}, address={Sceaux}, date={1992}, volume={2}, }
Reference [13]
Jean E. Taylor, The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces, Ann. of Math. (2) 103 (1976), no. 3, 489тАУ539, DOI 10.2307/1970949. MR428181,
Show rawAMSref \bib{Taylor:1976}{article}{ author={Taylor, Jean E.}, title={The structure of singularities in soap-bubble-like and soap-film-like minimal surfaces}, journal={Ann. of Math. (2)}, volume={103}, date={1976}, number={3}, pages={489--539}, issn={0003-486X}, review={\MR {428181}}, doi={10.2307/1970949}, }

Article Information

MSC 2020
Primary: 49K99 (None of the above, but in this section), 49Q20 (Variational problems in a geometric measure-theoretic setting), 49J99 (None of the above, but in this section)
Keywords
  • Almost minimal sets
  • sliding boundary conditions
  • regularity
  • blow-up limit
  • PlateauтАЩs problem
  • Hausdorff measure
  • normalized Hausdorff distance
Author Information
Yangqin Fang
School of Mathematics and Statistics, Huazhong University of Science and Technology, 430074, Wuhan, PeopleтАЩs Republic of China
yangqinfang@hust.edu.cn
MathSciNet
Additional Notes

The author was supported in part by the National Natural Science Foundation of China under Grant 11801198, in part by the Fundamental Research Funds for the Central Universities under Grant 2018KFYYXJJ039, in part by the National Natural Science Foundation of China under Grant 11871090.

Journal Information
Transactions of the American Mathematical Society, Series B, Volume 8, Issue 5, ISSN 2330-0000, published by the American Mathematical Society, Providence, Rhode Island.
Publication History
This article was received on , revised on , , , and published on .
Copyright Information
Copyright 2021 by the author under Creative Commons Attribution-Noncommercial 3.0 License (CC BY NC 3.0)
Article References
  • Permalink
  • Permalink (PDF)
  • DOI 10.1090/btran/40
  • MathSciNet Review: 4220652
  • Show rawAMSref \bib{4220652}{article}{ author={Fang, Yangqin}, title={Local $C^{1,\beta}$-regularity at the boundary of two dimensional sliding almost minimal sets in $\mathbb{R}^{3}$}, journal={Trans. Amer. Math. Soc. Ser. B}, volume={8}, number={5}, date={2021}, pages={130-189}, issn={2330-0000}, review={4220652}, doi={10.1090/btran/40}, }

Settings

Change font size
Resize article panel
Enable equation enrichment

Note. To explore an equation, focus it (e.g., by clicking on it) and use the arrow keys to navigate its structure. Screenreader users should be advised that enabling speech synthesis will lead to duplicate aural rendering.

For more information please visit the AMS MathViewer documentation.