Extrinsic isoperimetry and compactification of minimal surfaces in Euclidean and Hyperbolic spaces

Vicent Gimeno and Vicente Palmer

arXiv: 1011.5380v2 · PDF · 14 April 2012
Categories: math.DG
Licence: CC BY 4.0 The site shows the text.

Abstract

We study the topology of (properly) immersed complete minimal surfaces P^2 in Hyperbolic and Euclidean spaces which have finite total extrinsic curvature, using some isoperimetric inequalities satisfied by the extrinsic balls in these surfaces, (see [Pa]). We present an alternative and partially unified proof of the Chern-Osserman inequality satisfied by these minimal surfaces, (in \erre^n and in \Han), based in the isoperimetric analysis above alluded. Finally, we show a Chern-Osserman type equality attained by complete minimal surfaces in the Hyperbolic space with finite total extrinsic curvature.

Items 13

Theorem

Theorem A

C636

Let P^2 be an complete minimal surface immersed in a simply connected real space form with constant sectional curvature b \leq 0, \mathbb{K}^{n}(b). Let us suppose that \int_P\Vert B^P \Vert^2 d\sigma<\infty. Then

P has finite topological type.
\operatorname{Sup}_{t>0}(\frac{\operatorname{Vol}(D_t)}{\operatorname{Vol}(B^{b,2}_t)})<\infty
-\chi(P)\leq \frac{\int_P \Vert B^P \Vert ^2}{4\pi}-\operatorname{Sup}_{t>0}\frac{\operatorname{Vol}(D_t)}{\operatorname{Vol}(B_t^{b,2})}

where \chi(P) is the Euler characteristic of P.

Theorem

Theorem B

H6QD

Let P^2 be a complete immersed minimal surface in \mathbb{H}^n(b). Let us suppose that \int_P \Vert B^P\Vert^2 d\sigma < \infty. Then

-\chi(P)=\frac{1}{4\pi}\int_P \Vert B^P \Vert ^ 2 d\sigma-\operatorname{Sup}_{t>0}\frac{\operatorname{Vol}(D_t)}{\operatorname{Vol}(B_t^{b,2})}-\frac{1}{2\pi}G_b(P)

where G_b(P) is a nonnegative and finite quantity which do not depends on the exhaustion by extrinsic balls \{D_t\}_{t>0} of P and is given by

\begin{aligned} G_b(P)&:= \lim_{t \to \infty}\left(h_b(t)\operatorname{Vol}(B^{b,2}_t)(\frac{(\operatorname{Vol}(D_t))}{\operatorname{Vol}(B^{b,2}_t)})' \right.\\&\left.+\int_{\partial D_t} \langle B^P(e,e),\frac{\operatorname{\nabla}^\perp r}{\Vert \operatorname{\nabla}^P r \Vert}\rangle d\sigma_t\right) \end{aligned}

Definition

Definition 2.1

V9IT

Given a connected and complete surface P^2 properly immersed in a manifold N^n with a pole o \in N, we denote the extrinsic metric balls of radius t >0 and center o \in N by D_t(o). They are defined as the intersection

D_t(o)=B^N_{t}(o) \cap P =\{x\in P \colon r(x)< t\},

where B^N_{t}(o) denotes the open geodesic ball of radius R centered at the pole o in N^{n}.

Remark

Remark a

0MLH

We want to point out that the extrinsic domains D_t(o) are precompact sets, (because we assume in the definition above that the submanifold P is properly immersed), with boundary \partial D_t(o) being a immersed curve in P. The generical smoothness of \partial D_{t}(o) follows from the following considerations: the distance function r is smooth in \mathbb{K}^{n}(b) \setminus \{o\} since \mathbb{K}^{n}(b) to possess a pole o\in \mathbb{K}^{n}(b), (b\leq 0). Hence the restriction r\vert_P is smooth in P and consequently the radii t that produce smooth boundaries \partial D_{t}(o) are dense in \mathbb{R} by Sard’s theorem and the Regular Level Set Theorem.

Remark

Remark b

C3H6

When the submanifold considered is totally geodesic, namely, when P is a Hyperbolic or an Euclidean subespace of the ambient real space form, the extrinsic balls become geodesic balls, and its boundary is the distance sphere. We recall here that the mean curvature of the geodesic sphere in the real space form \mathbb{K}^{n}(b), ’pointed inward’ is (see [Pa]):

h_b(t)=\left\{ \begin{array}{l} \sqrt{b}\cot\sqrt{b}t\,\,\text{ if }\,\,b>0\\ 1/t\,\,\text{ if }\,\, b=0\\ \sqrt{-b}\coth\sqrt{-b}t\,\, \text{ if }\,\, b<0 \end{array}\right.

Proposition

Proposition 2.2

8T0W

Given \partial D_t the smooth closed curves in P,

k_g^{\partial D_t}=\frac{h_b(t)}{\Vert \operatorname{\nabla}^Pr\Vert}+\langle B^P(e,e),\frac{\operatorname{\nabla}^{\bot}r}{\Vert \operatorname{\nabla}^Pr\Vert}\rangle

Used by Proof, Proof

Proof of Proposition 2.2

Let \{e, \nu\} \subset TP be an orthonormal frame along the curve \partial D_t, where e is the unit tangent vector to \partial D_t and \nu=\frac{\operatorname{\nabla}^P r}{\Vert \operatorname{\nabla}^P \Vert} is the unit normal to \partial D_t in P, pointed outward.

From the definition of geodesic curvature of the extrinsic boundaries \partial D_{t}, we have

k_{g}^{t}=-\langle\nabla_{e}^{P}e,\frac{\nabla^{P}r}{\Vert\nabla^{P}r\Vert}\rangle

Then, having on account the definition of Hessian

Hess^{P}r(e,e)=\langle \nabla^{P}\nabla^{P}r,e\rangle

and the fact that \nabla^{P}r and e are orthogonal,

k_{g}^{t}=\frac{1}{\Vert\nabla^{P}r\Vert}Hess^{P}r(e,e)

But, given X\in T_{q}P unitary, (see [HP] and [Pa3] for detailed computations):

\operatorname{Hess}^P(r)(X,X)\, = \, h_b(r)\left(\, 1- \langle\, X,\nabla^{\mathbb{K}^{n}(b)} r\,\rangle^{2} \, \right) + \langle \, \nabla^{\mathbb{K}^{n}(b)}r, \, B^P(X,X) \, \rangle \,

where B^P is the second fundamental form of P in N. Applying at this point equation (?):

k_{g}^{t}=\frac{1}{\Vert\nabla^{P}r\Vert}\{h_{b}(r)+\langle \nabla ^{\perp}r,B^{P}(e,e)\rangle\}

Theorem

Theorem 2.3

EAV3

(i) P is diffeomorphic to a compact surface P^* punctured at a finite number of points.

(ii) For all sufficiently large t>R_0>0, \chi(P)=\chi(D_t) and hence, given \{D_t\}_{t>0} an exhaustion of P by extrinsic balls,

\chi(P)= \lim_{t \to \infty} \chi(D_t)

Proof of Theorem 2.3

Let us consider \{D_t\}_{t>0} an exhaustion of P by extrinsic balls, centered at the pole o \in \mathbb{K}^{n}(b). We apply Lemma ? to the smooth curves \partial D_t: As

-\Vert B^P\Vert \leq \langle B^P(e,e),\operatorname{\nabla}^{\bot}r\rangle \leq \Vert B^P\Vert

we have, on the points of the curve q \in \partial D_t,

\begin{aligned} \Vert \operatorname{\nabla}^Pr\Vert(q) \cdot k_g^{\partial D_t}(q)&=h_b(r_o(q))+\langle B^P(e,e),\operatorname{\nabla}^{\bot}r\rangle(q)\,\\&\geq h_b(r_o(q))-\Vert B^P \Vert(q) \end{aligned}

Using now Proposition 2.2 in [A1], when P^2 is a cmi in \mathbb{R}^n or Lemma 3.1 in [O], when P^2 is a cmi in \mathbb{H}^n(b), we know that \Vert B^P \Vert(q) goes uniformly to 0 as t= r_o(q) \to \infty. Hence, for all the points q \in \partial D_t and for sufficiently large t,

\Vert \operatorname{\nabla}^Pr\Vert(q) \cdot k_g^{\partial D_t}(q)\ >0

Hence, \Vert \operatorname{\nabla}^Pr\Vert >0 in \partial D_t, for all sufficiently large t. Fixing a sufficienty large radius R_0, we can conclude that the extrinsic distance r_o has no critical points in P\setminus \operatorname{D}_{R_0}.

The above inequality implies that for this sufficienty large fixed radius R_0, there is a diffeomorphism

\Phi: P\setminus \operatorname{D}_{R_0} \to \partial D_{R_0} \times [0,\infty[

In particular, P has only finitely many ends, each of finite topological type.

To proof this we apply Theorem 3.1 in [Mi], concluding that, as the extrinsic annuli A_{R_0,R}(o)= D_R(o) \setminus D_{R_0}(o) contains no critical points of the extrinsic distance function r_o: P \longrightarrow \mathbb{R}^+ because inequality (Proof), then D_R(o) is diffeomorphic to D_{R_0}(o) for all R \geq R_0.

The above diffeomorfism implies that we can construct P from D_{R_0} (R_0 big enough) attaching annulis and that \chi(P\setminus D_{t})=0 when t\geq R_0. Then, for all t>R_0,

\chi(P)=\chi(D_{t}\cup (P\setminus D_{t}))=\chi(D_{t})

Uses Proposition 2.2

Lemma

Lemma 3.1

LGDK

Let P^2\subset \mathbb{K}^{n}(b) be a surface properly immersed in a real space form with curvature b\leq 0, let D_t be an extrinsic disc in P of radius t >0 and let \partial D_t the extrinsic circle. Then:

\int_{\partial D_t}\frac{||\nabla^\bot r||^2}{||\nabla^P r||}d\sigma_t\leq \int_{\partial D_t}\frac{1}{||\nabla^P r||}-h_b(t)\operatorname{Vol}(D_t)d\sigma_t

Used by Proof

Proof of Lemma 3.1

Tracing equality (?) we obtain the following expression for the Laplacian of the extrinsic distance in this context:

\Delta^{P}(r) \,= \, (m -\Vert \nabla^{P} r \Vert^{2})h_b(r) + m \langle \, \nabla^{N}r, \, H_{P} \, \rangle \quad ,

where H_{P} denotes the mean curvature vector of P in N and h_b(r) is the mean curvature of the geodesic r-spheres in \mathbb{K}^{n}(b). Applying divergence theorem we have

\begin{aligned} &\int_{\partial D_t}\frac{||\nabla^\bot r||^2}{||\nabla^P r||}d\sigma_t= \int_{\partial D_t}\frac{1}{||\nabla^P r||}d\sigma_t-\int_{\partial D_t}||\nabla^P r||d\sigma_t=\int_{\partial D_t}\frac{1}{||\nabla^P r||}d\sigma_t\\&-\int_{D_t}\Delta^P rd\sigma=\int_{\partial D_t}\frac{1}{||\nabla^P r||}d\sigma_t-\int_{D_t}(2-||\nabla^P r||^2)h_b(r)d\sigma\\&\leq \int_{\partial D_t}\frac{1}{||\nabla^P r||}d\sigma_t- \int_{D_t}h_b(r)d\sigma\leq \int_{\partial D_t}\frac{1}{||\nabla^P r||}d\sigma_t-h_b(t)\operatorname{Vol}(D_t) \end{aligned}

Uses Proof

Proposition

Proposition 3.2

QE88

Let P^2\subset \mathbb{K}^{n}(b) be a complete minimal surface properly immersed in a real space form with curvature b\leq 0, let D_t be an extrinsic disc in P of radius t >0 and let \partial D_t be its boundary. Then:

\begin{aligned} -2\pi\chi &(D_t) +(b+\frac{f_{b,\alpha}^2(t)h_b(t)}{2 })\operatorname{Vol}(D_t)\\&+(h_b(t)-\frac{f_{b,\alpha}^2(t)}{2})\int_{\partial D_t} \frac{1}{\Vert \nabla^P r\Vert} d\sigma_t\leq \frac{1}{2}R(t)+\frac{1}{2 f_{b,\alpha}^2(t)}R'(t) \end{aligned}

where R(t)=\int_{D_t}\Vert B^P\Vert^2 d\sigma, \Vert B^P\Vert is the norm of the second fundamental form of P in \mathbb{K}^{n}(b), \chi(D_t) is the Euler’s characterisc of D_t and, given \alpha \in ]0,2[ ,

f_{b,\alpha}^2(t)=\alpha h_b(t)

Proof of Proposition 3.2

Integrating along \partial D_t equation (?) and using Gauss-Bonnet theorem and co-area formula, (see [S]), we obtain

\begin{aligned} 2&\pi\chi (D_t) -\int_{D_t}K^P d\sigma=\\&h_b(t)\int_{\partial D_t}\frac{1}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t+ \int_{\partial D_t}\langle B^P(e,e),\frac{\operatorname{\nabla}^{\bot}r}{\Vert \operatorname{\nabla}^Pr\Vert}\rangle d\sigma_t\end{aligned}

where we denote as K^P the Gauss curvature of P.

But , on \partial D_t,

-\Vert B^P\Vert \frac{\Vert \operatorname{\nabla}^{\bot}r\Vert}{\Vert \operatorname{\nabla}^Pr\Vert} \leq \langle B^P(e,e),\frac{\operatorname{\nabla}^{\bot}r}{\Vert \operatorname{\nabla}^Pr\Vert}\rangle \leq \Vert B^P\Vert \frac{\Vert \operatorname{\nabla}^{\bot}r\Vert}{\Vert \operatorname{\nabla}^Pr\Vert}

so, as f_{b,\alpha}(t) \geq 0\,\forall t>0, having into account the inequality among the arithmetic and geometric mean and applying co-area formula:

\begin{aligned} 2&\pi\chi (D_t) -\int_{D_t}K^Pd\sigma=h_b(t)\int_{\partial D_t}\frac{1}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t\\&+\int_{\partial D_t}\langle B^P(e,e),\frac{\operatorname{\nabla}^{\bot}r}{\Vert \operatorname{\nabla}^Pr\Vert}\rangle d\sigma_t \, \geq\, h_b(t) \int_{\partial D_t}\frac{1}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t\\&-\frac{1}{2}\int_{\partial D_t}\frac{\Vert B^P\Vert ^2}{f_{b,\alpha}^2(r)\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t-\frac{1}{2} \int_{\partial D_t}\frac{f_{b,\alpha}^2(r)\Vert \operatorname{\nabla}^{\bot}r\Vert ^2}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t\\&\geq h_b(t) \int_{\partial D_t}\frac{1}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t-\frac{1}{2 f_{b,\alpha}^2(t)}R'(t)-\frac{f_{b,\alpha}^2(t)}{2}\int_{\partial D_t}\frac{\Vert \operatorname{\nabla}^{\bot}r\Vert ^2}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t \end{aligned}

Then, using inequality (3.1) of Lemma 3.1 in the last member of the inequalities (?) and applying Gauss equation for minimal surfaces in the real space forms \mathbb{K}^{n}(b), we have

\begin{aligned} 2\pi\chi &(D_t) -b\operatorname{Vol}(D_t)+\frac{1}{2}R(t) \geq (h_b(t)-\frac{f_{b,\alpha}^2(t)}{2}) \int_{\partial D_t}\frac{1}{\Vert \operatorname{\nabla}^Pr\Vert}d\sigma_t\\ &-\frac{1}{2 f_{b,\alpha}^2(t)}R'(t)+\frac{f_{b,\alpha}^2(t)h_b(t)}{2 }\operatorname{Vol}(D_t) \end{aligned}

and hence

\begin{aligned} -2\pi\chi& (D_t) +(b+\frac{f_{b,\alpha}^2(t)h_b(t)}{2 })\operatorname{Vol}(D_t)\\&+(h_b(t)-\frac{f_{b,\alpha}^2(t)}{2})\int_{\partial D_t} \frac{1}{\Vert \nabla^P r\Vert} \leq \frac{1}{2}R(t)+\frac{1}{2 f_{b,\alpha}^2(t)}R'(t) \end{aligned}

Uses Proposition 2.2, Lemma 3.1

Source and licence

The text on this page is from arXiv:1011.5380v2 by Vicent Gimeno and Vicente Palmer, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/1011/1011.5380.jsonl.