Abstract
\(\xi \)-submanifold in the Euclidean space \({{\mathbb {R}}}^{m+p}\) is a natural extension of the concept of self-shrinker to the mean curvature flow in \({{\mathbb {R}}}^{m+p}\). It is also a generalization of the \(\lambda \)-hypersurface defined by Q.-M. Cheng et al to arbitrary codimensions. In this paper, some characterizations for \(\xi \)-submanifolds are established. First, it is shown that a submanifold in \({{\mathbb {R}}}^{m+p}\) is a \(\xi \)-submanifold if and only if its modified mean curvature is parallel when viewed as a submanifold in the Gaussian space \(\big ({{\mathbb {R}}}^{m+p},e^{-\frac{1}{m}|x|^2}\left\langle \cdot ,\cdot \right\rangle \big )\); then, two generalized weighted volume functionals \(V_\xi \) and \({{\bar{V}}}_\xi \) are defined and it is proved that \(\xi \)-submanifolds can be characterized as the critical points of these two functionals; also, the corresponding second variation formulas are computed. Finally, we introduce the VP-variations and the corresponding W-stability for \(\xi \)-submanifolds which are then systematically studied. As the main result, it is proved that m-planes are the only complete, W-stable and properly immersed \(\xi \)-submanifolds with flat normal bundle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Let \(x: M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be an m-dimensional submanifold in the \((m+p)\)-dimensional Euclidean space \({{\mathbb {R}}}^{m+p}\) with the second fundamental form h. Then, x is called a self-shrinker to the mean curvature flow if its mean curvature vector field \(H:={\mathrm{tr\,}}h\) satisfies
where \(x^\bot \) is the orthogonal projection of the position vector x to the normal space \(T^\bot M^m\) of x.
It is well known that the self-shrinker plays an important role in the study of the mean curvature flow. In fact, self-shrinkers correspond to self-shrinking solutions to the mean curvature flow and describe all possible Type I singularities of the flow. Up to now, there have been a plenty of research papers on self-shrinkers and on the asymptotic behavior of the flow. For details of this see, for example, [1,2,3,4,5,6, 8, 12,13,14,15,16,17, 19,20,24, 28] and references therein. In particular, the following result is well known (see Corollary 3.2 in Sect. 3):
An immersion\(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\)is a self-shrinker if and only if it is minimal when viewed as a submanifold of the Gaussian space\(({{\mathbb {R}}}^{m+p},e^{-\frac{|x|^2}{m}}\left\langle \cdot ,\cdot \right\rangle )\).
In March, 2014, Cheng and Wei formally introduced ([9], finally revised in May, 2015) the definition of \(\lambda \)-hypersurface of weighted volume-preserving mean curvature flow in Euclidean space, giving a natural generalization of self-shrinkers in the hypersurface case. According to [9], a hypersurface \(x: M^{m}\rightarrow {{\mathbb {R}}}^{m+1}\) is called a \(\lambda \)-hypersurface if its (scalar-valued) mean curvature H satisfies
for some constant \(\lambda \), where N is the unit normal vector of x. They also found some variational characterizations for those new kind of hypersurfaces, proving that a hypersurfacexis a\(\lambda \)-hypersurface if and only if it is the critical point of the weighted area functional\({{\mathcal {A}}}\)preserving the weighted volume functional\({{\mathcal {V}}}\) where for any \(x_0\in {{\mathbb {R}}}^{m+1}\) and \(t_0\in {{\mathbb {R}}}\),
Meanwhile, some rigidity or classification results for \(\lambda \)-hypersurfaces are obtained, for example, in [7, 10] and [18]; for the rigidity theorems for space-like \(\lambda \)-hypersurfaces, see [26].
We should remark that this kind of hypersurfaces was also studied in [27] (arXiv preprint: Jul. 2013; formally published in 2015) where the authors considered the stable, two-sided, smooth, properly immersed solutions to the Gaussian Isoperimetric Problem, namely they studied hypersurfaces \(\Sigma \subset {{\mathbb {R}}}^{m+1}\) that are second order stable critical points of minimizing the weighted area functional \({{\mathcal {A}}}_\mu (\Sigma )=\int _\Sigma e^{-|x|^2/4}d{{\mathcal {A}}_\mu }\) for compact (uniformly) normal variations that, in a sense, “preserve the weighted volume\({{\mathcal {V}}}_\mu (\Sigma )=\int _\Sigma e^{-|x|^2/4}d{{\mathcal {V}}_\mu }\)”. It turned out that the \(\lambda \)-hypersurface equation (1.2) is exactly the Euler-Lagrange equation of the variation problem in [27] of which a main result can be restated as
Hyperplanes are the only two-sided, complete and properly immersed\(\lambda \)-hypersurfaces in the Euclidean space that are stable under the compact normal variations “preserving the weighted volume”.
In 2015, the first author and his co-author made in [25] a natural generalization of both self-shrinkers and \(\lambda \)-hypersurfaces by introducing the concept of \(\xi \)-submanifolds and, as the main result, a rigidity theorem for Lagrangian \(\xi \)-submanifolds in \({{\mathbb {C}}}^2\) is proved, which is motivated by a result of [23] for Lagrangian self-shrinkers in \({{\mathbb {C}}}^2\). By definition, an immersed submanifold \(x: M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called a \(\xi \)-submanifold if there is a parallel normal vector field \(\xi \) such that the mean curvature vector field H satisfies
We believe that if self-shrinkers and \(\lambda \)-hypersurfaces are taken to be parallel to minimal submanifolds and constant mean curvature hypersurfaces, respectively, then \(\xi \)-submanifolds are expected to be parallel to submanifolds of parallel mean curvature vector. So there should be many properties of \(\xi \)-submanifolds that are parallel to those of submanifolds with parallel mean curvature vectors.
In this paper, we aim at giving more characterizations of the \(\xi \)-submanifolds, including ones by variation method, the latter being more important since a differential equation usually needs a variational method to solve. For example, self-shrinker equation (1.1) has been exploited a lot by making use of variation formulas. As the main part of this paper, we shall systematically study the relevant stability problems for \(\xi \)-submanifolds, paying a particular attention on the VP-variations and the relevant W-stability.
Now, beside the various characterizations of the \(\xi \)-submanifolds and some instability results, the main theorem of this paper can be stated as
Theorem 1.1
(Theorem 7.3). Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a complete and properly immersed \(\xi \)-submanifold with flat normal bundle. Then, x is W-stable if and only if \(x(M^m)\) is an m-plane.
Clearly, Theorem 1.1 generalizes the main theorem for hypersurfaces in [27] which has been stated earlier.
The following uniqueness conclusion for self-shrinkers is direct from Theorem 1.1:
Corollary 1.2
Any complete, W-stable and properly immersed self-shrinker in \({{\mathbb {R}}}^{m+p}\) with flat normal bundle must be an m-plane passing the origin.
The organization of the present paper is as follows:
In Sect. 2, we present the necessary preliminary material, including some typical examples;
In Sect. 3, we prove a theorem (Theorem 3.1) which generalizes (to \(\xi \)-submanifolds) a well-known result that self-shrinkers are equivalent to minimal submanifolds in the Gaussian space;
In Sect. 4, we introduce, for a given manifold \(M^m\) of dimension m, two families of weighted volume functionals \(V_\xi \) and \({{\bar{V}}}_\xi \) in (4.1) parametrized by \({{\mathbb {R}}}^{m+p}\)-valued functions \(\xi :M^m\rightarrow {{\mathbb {R}}}^{m+p}\). Then we compute the first variation formulas (Theorem 4.1) which give that \(\xi \)-submanifolds are exactly the critical points of \(V_\xi \) and \({{\bar{V}}}_\xi \) with \(\xi \) suitably chosen (Corollary 4.2). We also compute the second variation formula of both functionals for \(\xi \)-submanifolds (Theorem 4.3), in such a situation \(V_\xi \) and \({{\bar{V}}}_\xi \) being essential the same.
In Sects. 5 and 6, we study the stability problem of \(\xi \)-submanifolds. After checking that, with respect to the functional \(V_\xi \) or \({{\bar{V}}}_\xi \), many \(\xi \)-submanifolds including all the typical examples are not stable in the usual sense (Sect. 5), we define in Sect. 6 a special kind of variation for submanifolds of higher codimension, called “VP-variation,” which is a natural generalization of “volume-preserving variation” for hypersurfaces. Accordingly, we introduce “the\(W_\xi \)-stability” with respect to \(V_\xi \) or \({{\bar{V}}}_\xi \) for higher codimensional submanifolds and then show that, among the typical examples given in Sect. 2, only the m-planes are \(W_\xi \)-stable (Theorem 6.1 and Theorem 6.2). In particular, we give an index estimate for the standard sphere (Theorem 6.2).
Finally, in the last section (Sect. 7), we consider the VP-variation of the standard weighted volume functional \(V_w\equiv V_0\) which corresponds to a special case, i.e., \(\xi =0\), of the functional \(V_\xi \) or \({{\bar{V}}}_\xi \) defined in Sect. 4, and study the W-stability (i.e., \(W_0\)-stability, see Definition 7.1) for \(\xi \)-submanifolds. As the result, we first characterize \(\xi \)-submanifolds as critical points of \(V_w\) under VP-variations (Corollary 7.2, corresponding to the conventional extremal points with conditions) and then prove our main Theorem (Theorem 1.1).
Remark 1.1
Our discussion of variation problem for \(\xi \)-submanifolds naturally gives a new motivation of variational characterization of the submanifolds with parallel mean curvature vectors in the Euclidean space \({{\mathbb {R}}}^{m+p}\) (see Remark 4.3 at the end of Sect. 4).
Remark 1.2
Related to the present paper, it seems natural and interesting to characterize \(\xi \)-submanifolds in terms of their Gauss map, just like in the study of submanifolds in \({{\mathbb {R}}}^{m+p}\) with parallel mean curvature vectors. We shall deal this kind of problems later in the sequel.
2 \(\xi \)-submanifolds–definition and typical examples
Let \({{\mathbb {R}}}^{m+p}\) be the \((m+p)\)-dimensional Euclidean space with the standard metric \(\left\langle \cdot ,\cdot \right\rangle \) and the standard connection D. Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be an immersion with the induced metric g, the second fundamental form h and the mean curvature vector \(H:={\mathrm{tr\,}}_g h\). Denote by TM the tangent space of M with the Levi-Civita connection \(\nabla \), and define \(T^\bot M:=(x_*(TM))^\bot \) to be the normal space of x in \({{\mathbb {R}}}^{m+p}\) with the normal connection \(D^\bot \).
Definition 2.1
(\(\xi \)-submanifolds, [25]). The immersed submanifold \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called a \(\xi \)-submanifold if the normal vector field
is parallel in \(T^\bot M\), namely \(D^\bot \xi \equiv 0\).
So, self-shrinkers of the mean curvature flow are a special kind of \(\xi \)-submanifolds with \(\xi =0\).
The following are some typical examples of \(\xi \)-submanifolds:
Example 2.1
(The \(\xi \)-curves).
Let \(x:(a,b)\rightarrow {{\mathbb {R}}}^{1+p}\) be a unit-speed smooth curve (that is, with an arc-length parameter s). Denote by \(\{T,e_\alpha :\ 2\le \alpha \le 1+p\}\) the Frenet frame with \(T:=\dot{x}\equiv \frac{\partial x}{\partial s}\) being the unit tangent vector, and \(\kappa _i\) the i-th curvature, \(i=1,\ldots , p\). Then, we have the following Frenet formula:
In particular, if there exists some i such that \(\kappa _i\equiv 0\), then it must hold that \(\kappa _j\equiv 0\) for all \(j>i\). Sometimes we call \(\kappa :=\kappa _1\) and \(\tau :=\kappa _2\) the curvature and the (first) torsion of x. Now the definition Eq. (2.1) becomes \(\left( \frac{\mathrm{d} }{\mathrm{d} s}(\dot{T}+x-\left\langle x,T\right\rangle T)\right) ^\bot \equiv 0\) which, by (2.2), is equivalent to
It follows that
xis a\(\xi \)-curve if and only if it is a plane curve with the curvature\(\kappa \)satisfying
In particular,
xis a self-shrinker if and only if it is a plane curve with the curvature\(\kappa \)satisfying
where \(\kappa _r\) is the relative curvature and \(N:=\pm e_2\) is the unit normal of x pointing the left of T. Note that curves in the plane satisfying (2.5) are classified by U. Abresch and J. Langer in [1] which are now known as Abresch–Langer curves (see [23]).
Example 2.2
(The m-planes not necessarily passing through the origin).
An m-plane \(x:P^m\rightarrow {{\mathbb {R}}}^{m+p}\) (\(p\ge 0\)) is by definition the inclusion map of a m-dimensional connected, complete and totally geodesic submanifold of \({{\mathbb {R}}}^{m+p}\). In other words, those \(P^m\)s are subplanes of dimension m in \({{\mathbb {R}}}^{m+p}\) that are not necessarily passing through the origin. Let \(p_0\) be the orthogonal projection of the origin 0 onto \(P^m\) and \(\xi \) be the position vector of \(p_0\) which is constant and is thus parallel along \(P^m\). Clearly \(P^m\) is a \(\xi \)-submanifold because \(H\equiv 0\) and the tangential part \(x^\top \) of x is precisely \(x-\xi \).
Example 2.3
(The standard spheres centered at the origin).
For a given point \(x_0\in {{\mathbb {R}}}^{m+1}\) and a positive number r. Define
the standard m-sphere in \({{\mathbb {R}}}^{m+1}\) with radius r and center \(x_0\). In particular, we denote \(S^m(r):=S^m(r,0)\). It is easily found that \(S^m(r,x_0)\) is a \(\xi \)-submanifold if and only if \(x_0=0\).
In fact, since \(x-x_0\) is a normal vector field of length r, the normal part \(x^\bot \) of x is
Note that \(H=-\frac{m}{r^2}(x-x_0)\) is parallel. It follows that \(H+x^\bot \) is parallel if and only if \(x^\bot \) is. This is clearly equivalent to that \(\left\langle x,dx\right\rangle \equiv 0\) which is true if and only if \(x_0=0\).
Example 2.4
(Submanifolds in a sphere with parallel mean curvature vector).
Let \(x:M^m\rightarrow S^{m+p}(a)\subset {{\mathbb {R}}}^{m+p+1}\) be a submanifold in the standard sphere \(S^{m+p}(a)\) of radius a, which is of parallel mean curvature vector H. Then, as a submanifold of \({{\mathbb {R}}}^{m+p+1}\), x is a \(\xi \)-submanifold.
In fact, as the submanifold of \({{\mathbb {R}}}^{m+p+1}\), the mean curvature vector of x is \({{\bar{H}}}=\triangle x=H-\frac{m}{a^2}x\). Thus, \(\xi :={{\bar{H}}}+x^\bot =H+(1-\frac{m}{a^2})x\) which is clearly parallel. In particular, \(x(M^m)\subset {{\mathbb {R}}}^{m+p+1}\) is a self-shrinker if and only if \(x(M^m)\subset S^{m+p}(a)\) is a minimal submanifold.
Example 2.5
(The product of \(\xi \)-submanifolds).
Let \(x_a:M^{m_a}\rightarrow {{\mathbb {R}}}^{m_a+p_a}\), \(a=1,2\), be two immersed submanifolds. Denote \(m=m_1+m_2\), \(p=p_1+p_2\) and \(M^m=M^{m_1}\times M^{m_2}\). Then, it is not hard to show that \(x:=x_1\times x_2:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is a \(\xi \)-submanifold if and only if both \(x_1\) and \(x_2\) are \(\xi \)-submanifolds.
In particular, for any given positive numbers \(r_1,\ldots ,r_k\) (\(k\ge 0\)), positive integers \(m_1,\ldots , m_k,n_1,\ldots ,n_l\) (\(l\ge 0\), \(k+l>0\)) and \(n\ge n_1+\cdots +n_l\), the embedding
are all \(\xi \)-submanifolds.
Remark 2.1
Apart from these typical examples of \(\xi \)-submanifolds given above, there should certainly be other nonstandard examples. In particular, we have the so-called \(\lambda \)-torus constructed by Q.-M. Cheng and G. X. Wei in [11], which is among a general class of rotational \(\lambda \)-hypersurfaces. Precisely, we have
Theorem 2.1
([11]). For any \(m\ge 2\) and \(\lambda >0\), there exists an embedded rotational \(\lambda \)-hypersurface \(x: M^m\rightarrow {{\mathbb {R}}}^{m+1}\), which has the topology of the torus \({{\mathbb {S}}}^1\times {{\mathbb {S}}}^{m-1}\).
It would be interesting if one can construct similar \(\xi \)-submanifolds with certain symmetry.
3 As submanifolds of the Gaussian space
As mentioned in the introduction, m-dimensional self-shrinkers of the mean curvature flow in the Euclidean space \({{\mathbb {R}}}^{m+p}\equiv ({{\mathbb {R}}}^{m+p},\left\langle \cdot ,\cdot \right\rangle )\) is equivalent to being minimal submanifolds when viewed as submanifolds in the Gaussian metric space \(({{\mathbb {R}}}^{m+p}, {{\bar{g}}})\) where \({{\bar{g}}}:= e^{-\frac{|x|^2}{m}}\left\langle \cdot ,\cdot \right\rangle \). In this section, we generalize this to \(\xi \)-submanifolds to obtain our first characterization. In fact, we will prove a theorem which says that \(\xi \)-submanifolds are essentially equivalent to being submanifolds of parallel mean curvature in \(({{\mathbb {R}}}^{m+p}, {{\bar{g}}})\).
For an immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\), we use \((\overline{\cdots })\) to denote geometric quantities when x is taken as an immersion into \(({{\mathbb {R}}}^{m+p}, {{\bar{g}}})\) that correspond those quantities \((\cdots )\) when x is taken as an immersion into \(({{\mathbb {R}}}^{m+p}, \left\langle \cdot ,\cdot \right\rangle )\). So, for example, we have the induced metric \({{\bar{g}}}\), the second fundamental form \({{\bar{h}}}\) and the mean curvature \({{\bar{H}}}\), etc. To make things more clear, we would like to introduce a “modified mean curvature” for the immersion x, which is defined as \(\tilde{H}=e^{-\frac{|x|^2}{2m}}{{\bar{H}}}\). Then, we have
Theorem 3.1
(The first characterization). An immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is a \(\xi \)-submanifold if and only if its modified mean curvature \(\tilde{H}\) is parallel.
Proof
Denote by \({{\bar{D}}}\) the Levi-Civita connections of \(({{\mathbb {R}}}^{m+p}, {{\bar{g}}})\). For any given frame field \(\{e_A;\ A=1,2\cdots ,m+p\}\), the corresponding connection coefficients of the standard connection D and \({{\bar{D}}}\) are, respectively, denoted by \(\Gamma ^C_{AB}\) and \({{\bar{\Gamma }}}^C_{AB}\) with \(A,B,C,\ldots =1,2,\ldots m+p\). Then by the Koszul formula, we find
or equivalently,
Now given an immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\), the induced metric on \(M^m\) by x of the ambient metric \({{\bar{g}}}\) will still be denoted by \({{\bar{g}}}\). Choose a frame field \(\{e_i,e_\alpha \}\) along x such that \(e_i\), \(i=1,2,\ldots ,m\), are tangent to \(M^m\) and \(e_\alpha \), \(\alpha =m+1,\ldots ,m+p\) are normal to \(x_*(TM^m)\) satisfying \(\left\langle e_\alpha ,e_\beta \right\rangle \equiv g(e_\alpha ,e_\beta )=\delta _{\alpha \beta }\). Then by the Gauss formula and (3.1) or (3.2), we find the relation between the second fundamental forms \({{\bar{h}}}\) and h is as follows:
where \(h_{ij}=h(e_i,e_j)=\left( D_{e_j}e_i\right) ^\bot \). It follows that the mean curvature vectors satisfy
Now we compute the covariant derivative of the modified mean curvature \(\tilde{H}\equiv e^{-\frac{|x|^2}{2m}}{{\bar{H}}}\) with respect to the normal connection \({{\bar{D}}}^\bot \). First we note that, since \({{\bar{g}}}\) is conformal to \(\left\langle \cdot ,\cdot \right\rangle \) on \({{\mathbb {R}}}^{m+p}\), \(\{e_\alpha \}\) which satisfies \(\left\langle e_\alpha ,e_\beta \right\rangle =\delta _{\alpha \beta }\) remains a normal frame field of x considered as the immersion into \(({{\mathbb {R}}}^{m+p},{{\bar{g}}})\), not orthonormal anymore. Thus, we can write
where \(H=\sum H^\alpha e_\alpha \). Note that by (3.1),
It follows that, for each \(\alpha =m+1,\ldots ,m+p\),
where \({{\bar{D}}}^\bot \), \(D^\bot \) denote the induced normal connections accordingly. Thus, Theorem 3.1 is proved. \(\square \)
The following conclusion is direct by (3.4):
Corollary 3.2
An immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is a self-shrinker if and only if it is minimal when viewed as a submanifold of the Gaussian space \(({{\mathbb {R}}}^{m+p},{{\bar{g}}})\).
4 Variational characterizations
In this section, we first define two functionals and derive the corresponding first and second variation formulas, aiming to establish variational characterizations of the \(\xi \)-submanifolds.
For a given manifold \(M\equiv M^m\) of dimension m, define
and let \(\xi :M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a vector-valued function on the manifold \(M^m\). Then, we can naturally introduce, as follows, two kinds of interesting functionals \(V_\xi \) and \({{\bar{V}}}_\xi \) on \({\mathcal {M}}\) which are parametrized by \(\xi \):
where for any \(p\in M^m\), \(f_x(p):=\frac{1}{2}|x(p)-\xi (p)|^2\), \({{\bar{f}}}_x(p)=f_x(p)-\frac{1}{2}|\xi (p)|^2\) and \(\mathrm{d}V_x\) is the volume element of the induced metric \(g_x\) of x.
Remark 4.1
(1) These two functionals \(V_\xi \) and \({{\bar{V}}}_\xi \) are both of weighted volumes in a sense since, for example, the weighted volume element \(e^{-\frac{1}{2}|x-\xi |^2} \mathrm{d}V_x\) corresponding to the first one can be viewed as induced from an unnormalized “general Gaussian measure” on the ambient Euclidean space \({{\mathbb {R}}}^{m+p}\) with “mean” \(\xi \). Note that when \(\xi \) is constant as in the case of m-planes, \(\left( \frac{1}{\sqrt{2\pi }}\right) ^{m+p}e^{-f_x}\mathrm{d}V_{{{\mathbb {R}}}^{m+p}}\) is nothing but the usual generalized Gaussian measure with the mean \(\xi \) (and the variance\(\sigma ^2\equiv 1\))Footnote 1; meanwhile, the functional \({{\bar{V}}}_\xi \) is clearly a new weighted volume obtained from \(V_\xi \) by just adding a new weight \(e^{\frac{1}{2}|\xi |^2}\). Also, the weight function \(e^{-f_x}\) or \(e^{-{{\bar{f}}}_x}\) naturally has a close relation with the definition of the Hermitian Polynomials (see, for example, [14] and [15]). These polynomials will also be used later in our stability discussion in Sect. 5.
(2) All of the typical \(\xi \)-submanifolds (that is, m-planes \(P^m\), standard m-spheres \(S^m(r)\)) and their products (2.6) have finite values for both the functionals \(V_\xi \) and \({{\bar{V}}}_\xi \), where \(\xi \) is chosen to be \(H+x^\bot \).
Now let \(x\in {{\mathcal {M}}}\) be fixed with the induced Riemannian metric \(g:=x^*\left\langle \cdot ,\cdot \right\rangle \) and suppose that \(F:M\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) is a variation of x with \(\eta :=F_*(\frac{\partial }{\partial t})|_{t=0}\) being the corresponding variation vector field. For \(p\in M\), \(t\in (-\varepsilon ,\varepsilon )\), denote
where \((u^i)\) is a local coordinates on M. We always assume that, for each \(t\in (-\varepsilon ,\varepsilon )\), \(x_t:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is an immersion, that is, \(x_t\in {{\mathcal {M}}}\), \(t\in (-\varepsilon ,\varepsilon )\).
Definition 4.1
(Compact variation). A variation \(F:M\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) is called compactly supported, or simply compact, if there exists a relatively compact open domain B such that, for each \(t\in (-\varepsilon ,\varepsilon )\), the support set \(\overline{\{p\in M^m;\ \frac{\partial F}{\partial t}(p)\ne 0\}}\) of the vector field \(\frac{\partial F}{\partial t}\) is contained in B.
Denote \(f_t=f_{x_t}\), \({{\bar{f}}}_t={{\bar{f}}}_{x_t}\) and
Theorem 4.1
(The first variation formula). Let F be a compact variation of x. Then,
where \(H_t\) is the mean curvature vector of the immersion \(x_t\), \(\nabla ^t\) is the gradient operator of the induced metric \(g_{x_t}\) and \(\mathrm{d}V_t=\mathrm{d}V_{x_t}\).
In particular, if F is a normal variation of x, that is, \(\eta \in \Gamma _0(T^\bot (M))\), then
Proof
From now on, we shall always write f for \(f_x\) or \(f_t\) in the computation. It is well known that
Furthermore
Thus by using the divergence theorem, we find
which gives (4.2). The other formula (4.3) is derived in the same way. \(\square \)
Corollary 4.2
(Variational characterizations). An immersion \(x\in {{\mathcal {M}}}\) is a \(\xi \)-submanifold if and only if there exists a parallel normal vector field \(\xi \in \Gamma (T^\bot M)\) such that x is the critical point of both the functionals \(V_\xi \), \({{\bar{V}}}_\xi \) for all the compact normal variations of x.
To find the second variational formulas, we suppose that x is a \(\xi \)-submanifold, that is, \(H+x^\bot =\xi \), where \(\xi \) is a parallel normal vector of x. In particular, \(|\xi |^2\) is a constant. Note that in this case, the two functionals \(V_\xi \) and \({{\bar{V}}}_\xi \) are essentially the same. So in what follows we only need to consider \(V_\xi \).
Suppose that F is a compact normal variation of x. Then from (4.2), we have
Since
we have
On the other hand,
and by the flatness of \({{\mathbb {R}}}^{m+p}\),
where \(A_\eta \) is the Weingarten operator of x with respect to the variation vector \(\eta \). Moreover,
It then follows that
Hence,
where \(h_{ij}=h(\frac{\partial }{\partial u^i},\frac{\partial }{\partial u^j})\). Furthermore,
Therefore,
Meanwhile,
since \(\xi \) is parallel along x.
By summing up, we have proved the following second variation formulas for \(\xi \)-submanifolds:
Theorem 4.3
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a \(\xi \)-submanifold. Then for any compact normal variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\), we have
In order to simplify the second variation formulas, we introduce the following definition:
Definition 4.2
(SN-variation). A variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) of an immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called specially normal (or simply SN) if it is normal and \(\frac{\partial ^2F}{\partial t^2}|_{t=0}=0\).
Remark 4.2
The introduction of the SN-variation is based on the observation that the Hessian \(\mathrm{Hess}(f)\) at a given point p of a smooth function f on a Riemannian manifold \(\tilde{N}\), \(p\in \tilde{N}\), is determined only by those local values of f along the simplest curves \(\tilde{\gamma }\) passing through the point p. For example, if we choose \(\tilde{\gamma }\) to be geodesic ones, then the second derivatives can be computed as
implying that f is (semi-)convex at p if and only if \(\left. \frac{d^2}{dt^2}\right| _{t=0}(f(\tilde{\gamma }))\ge 0\) for all of these geodesics \(\tilde{\gamma }\).
Clearly, for any \(\eta \in \Gamma (T^\bot M)\), SN-variations with variation vector field \(\eta \) always exist in our present case. For example, we can choose
where \(\psi \) is any smooth function satisfying \(\psi (0)=\psi ''(0)=0\), \(\psi '(0)=1\).
Corollary 4.4
(The simplified second variation formulas). Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a \(\xi \)-submanifold. Then for any compact SN-variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) it holds that
Remark 4.3
From the above discussion, one may naturally think of the variational characterization of the usual submanifolds with parallel mean curvature vector in the Euclidean space. In fact, our computations and argument in this section essentially apply to this situation. For example, a suitable functional \(\tilde{V}_\xi \) may be defined by
and the first variation formula of \(\tilde{V}_\xi \) is given in the following
Proposition 4.5
Let \(x\in {{\mathcal {M}}}\) be fixed and \(\xi :M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a smooth map. Suppose that F is a compact variation of x. Then
In particular, if F is a normal variation of x, then
Corollary 4.6
An immersion \(x\in {{\mathcal {M}}}\) has a parallel mean curvature vector if and only if there exists a parallel normal vector field \(\xi \in \Gamma (T^\bot M)\) such that x is the critical point of the functional \(\tilde{V}_\xi \) for all the compact normal variations of x.
Accordingly, the second variation formula for a submanifold \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) with parallel mean curvature vector \(H\equiv \xi \) may be described as
Theorem 4.7
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be an immersed submanifold with parallel mean curvature H. Then for any compact normal variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) we have
5 The instabilities of the typical examples
The most natural stability definition to the functional \(V_\xi \) is as follows:
Definition 5.1
A \(\xi \)-submanifold \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called stable if \(V_\xi (x)<+\infty \) and for every compact SN-variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) of x it holds that \(V_\xi ''(0)\ge 0\) or, equivalently, \({{\bar{V}}}_\xi ''(0)\ge 0\).
In this section, we shall show that, as \(\xi \)-submanifolds, all the typical examples given in Sect. 2 are not stable in the sense of Definition 5.1.
Write the second fundamental form h of x locally as \(h=h_{ij}\omega ^i\omega ^j=h^\alpha _{ij}e_\alpha \) with respect to an orthonormal tangent frame field \(\{e_i;\ 1\le i\le m\}\) with dual \(\{\omega ^i\}\) and an orthonormal normal frame field \(\{e_\alpha ;\ m+1\le \alpha \le m+p\}\), and denote
where \(\triangle ^\bot _{M^m}\), \(\triangle _{M^m}\) are Laplacians on \(T^\bot M^m\), \(TM^m\), respectively, and sometimes we shall omit the subscript “\(_{M^m}\)” if no confusion is made. It follows that
and that, for any parallel normal vector field N,
Lemma 5.1
Proof
We compute directly
\(\square \)
Lemma 5.2
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a \(\xi \)-submanifold. Then for any \(\eta _1,\eta _2\in \Gamma (T^\bot M^m)\) one of which is compactly supported, it holds that
Similarly, for any \(\phi _1, \phi _2\in C^\infty (M^m)\) one of which is compactly supported, it holds that
Proof
To prove the two formulas, it suffices to use the Divergence Theorem and the following equalities:
\(\square \)
Lemma 5.3
For any \(\phi \in C^\infty _0(M^m)\) and \(\eta \in \Gamma (T^\bot M^m)\), it holds that
Proof
\(\square \)
Proposition 5.4
As \(\xi \)-submanifolds, all m-planes in \({{\mathbb {R}}}^{m+p}\) are not stable.
Proof
For an m-plane \(x:P^m\subset {{\mathbb {R}}}^{m+p}\), let o be the orthogonal projection on \(P^m\) of the origin O. Then \(\xi ={\mathop {Oo}\limits ^{{\rightarrow }}}\). Denote by \(B_R(o)\subset P\) the closed ball of radius \(R>0\) centered at the fixed point o:
Let N be a unit constant vector in \({{\mathbb {R}}}^m\) orthogonal to \(P^m\) and \(\phi _R\) be a cut-off function on \(P^m\) satisfying
Define \(\eta _R=\phi _RN\). Then \(\eta _R\) is compactly supported and can be chosen to be a variation vector field for some SN-variation. By (5.9) and (5.3),
when \(R\,\rightarrow +\infty \) since \(\int _{P^m} e^{-f}\mathrm{d}V<+\infty \). Thus for large R, we have \(Q(\eta _R,\eta _R)<0\). \(\square \)
Proposition 5.5
As \(\xi \)-submanifolds, the standard m-spheres \(S^m(r)\) are all non-stable.
Proof
For the standard sphere \(S^m(r)\subset {{\mathbb {R}}}^{m+1}\subset {{\mathbb {R}}}^{m+p}\), we have \(h=-\frac{1}{r^2}g\,x\), \(x^\bot =x\) and \(\xi =\left( -\frac{m}{r^2}+1\right) x\). Choose the variation vector field \(\eta =x\) so that \({{\mathcal {L}}}\eta =0\). It follows that
\(\square \)
From Proposition 5.4 and Proposition 5.5, we easily find
Corollary 5.6
The product \(\xi \)-submanifolds \(S^{m_1}(r_1)\times \cdots \times S^{m_k}(r_k)\times P^{n_1}\times \cdots \times P^{n_l}\) are not stable.
A more general conclusion than Proposition 5.5 is the following
Proposition 5.7
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a compact \(\xi \)-submanifold. If x has a non-trivial parallel normal vector field, then x is not stable. In particular, all compact \(\lambda \)-hypersurfaces and compact \(\xi \)-submanifold with \(\xi \ne 0\) are not stable.
Proof
Let \(\eta \ne 0\) be a parallel normal vector field. Then \(\eta \) can be chosen to be the variation vector field of some SN-variation F of x. Since \(\triangle ^\bot \eta =D^\bot _{x^\top +A_\xi (x^\top )}\eta =0\), it then follows from (4.13) that
\(\square \)
Corollary 5.8
Any compact and simply connected \(\xi \)-submanifold with flat normal bundle is not stable.
To end this section, we would like to remark that, by using suitably chosen cut-off functions, say, the cut-off functions \(\phi _R\) introduced in Sect. 7 for large enough numbers \(R>0\), we can extend the above instability conclusions to more general complete case. For example, the following conclusion is also true:
Theorem 5.9
Any complete and properly immersed \(\xi \)-submanifold with a non-trivial parallel normal vector field \(\eta \) is not stable.
Proof
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a complete and properly immersed \(\xi \)-submanifold and N be a non-trivial parallel normal vector field of x. Without loss of generality, we assume that \(\int _Me^{-f}\mathrm{d}V<\infty \) and \(|N|^2=1\). For a Large \(R>0\), define \(\eta _R:=\phi _RN\). Choose an SN-variation of x with \(\eta _R\) being its variation vector field. Then, by (5.2), (5.3) and Lemma 5.3, we have
since \(\lim _{R\rightarrow +\infty }\int _{M\backslash B_R(o)} e^{-f}\mathrm{d}V=0\). So that there is an R large enough such that we have \(Q(\eta _R,\eta _R)<0\). \(\square \)
Corollary 5.10
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a complete and properly immersed \(\xi \)-submanifold. Then, x is not stable if any of the following three holds:
-
(1)
the codimension \(p=1\);
-
(2)
\(p\ge 2\) and \(\xi \ne 0\);
-
(3)
\(M^m\) is simply connected and the normal bundle of x is flat.
Remark 5.1
Up to now, it is still unclear for the existence of stable \(\xi \)-submanifolds in the sense of Definition 5.1 . Other stability problems have been previously discussed for both self-shrinker hypersurfaces and \(\lambda \)-hypersurfaces. For example, Colding and Minicozzi introduced a notion of \({{\mathcal {F}}}\)-functional and proved that self-shrinkers are exactly critical points of the \({{\mathcal {F}}}\)-functional ([13]). They also proved that the standard sphere and hyperplane are the only two complete \({{\mathcal {F}}}\)-stable hypersurface self-shrinkers of polynomial volume growth. Furthermore, in [9], Cheng and Wei extended the above \({{\mathcal {F}}}\)-functional to \(\lambda \)-hypersurfaces and studied the corresponding \({{\mathcal {F}}}\)-stability. In particular, they proved that the standard sphere \({{\mathbb {S}}}^m(r)\) of radius r is \({{\mathcal {F}}}\)-unstable as a \(\lambda \)-hypersurface if and only if \(\sqrt{m}< r\le \sqrt{m+1}\).
6 The \(W_\xi \)-stability of \(\xi \)-submanifolds
By the discussion of last section, it turns out that the concept of stability given in Definition 5.1 is over-strong in a sense. So it is natural and interesting to find a suitably weaker stability definition for \(\xi \)-submanifolds. Motivated by the “weighted-volume-preserving” variations of hypersurfaces (see [27]), we can introduce the \(W_\xi \)-stability in the following way.
Note that, by [27], a compact variation F of a hypersurface \(x:M^m\rightarrow {{\mathbb {R}}}^{m+1}\) is called “weighted-volume-preserving” if \(\int _M\left\langle \left. \frac{\partial }{\partial F}\right| _{t=0},n\right\rangle e^{-\frac{1}{2}|x|^2}=0\) where n is the unit normal vector field. Since a normal vector field \(N=\lambda n\) is parallel if and only if \(\lambda ={\mathrm{const}}\), it follows that F is “weighted-volume-preserving” if and only if \(\int _M\left\langle \left. \frac{\partial }{\partial F}\right| _{t=0},N\right\rangle e^{-\frac{1}{2}|x|^2}\mathrm{d}V=0\) for all parallel normal vector field N. This recommends us to make the following generalization:
Definition 6.1
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be an immersion. A compact SN-variation \(F:M^m\times (-\varepsilon ,\varepsilon )\rightarrow {{\mathbb {R}}}^{m+p}\) of x is called VP (“weighted-volume-preserving”) if the corresponding variation vector \(\eta \equiv \left. \frac{\partial F}{\partial t}\right| _{t=0}\) satisfies
Remark 6.1
It is clear that, in the special case of codimension 1, VP-variations defined here are nothing but the “weighted-volume-preserving” ones that were considered in [27].
Definition 6.2
A \(\xi \)-submanifold \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called \(W_\xi \)-stable if \(V_\xi (x)<+\infty \) and for every VP-variation it holds that \(V_\xi ''(0)\ge 0\).
Then, we have
Theorem 6.1
Any of the m-planes is \(W_\xi \)-stable.
Proof
For an m-plane \(x:P^m\subset {{\mathbb {R}}}^{m+p}\), let \(\eta \) be an arbitrary normal vector field on \(P^m\) with compact support. Then, we have \(A_\eta \equiv 0\), \(x-\xi =x^\top \) and
Clearly, there are constant normal basis \(e_\alpha \), \(\alpha =m+1,\ldots ,m+p\). So \(\eta \) can be expressed by \(\eta =\sum \eta ^\alpha e_\alpha \) with \(\eta ^\alpha \in C^\infty _0(P^m)\). Consequently,
where \(\tilde{L}=\triangle _{P^m}-\nabla _{x^\top }+1\). Now we make the following
Claim:The eigenvalues of the operator\(-\tilde{L}\)are\(\lambda _n=n-1\)with\(n=0,1,\ldots \).
To prove this claim, we need to make use of the multivariable Hermitian polynomials\({{\mathcal {H}}}_{n_1\cdots n_m}\) on \({{\mathbb {R}}}^m\), labelled with \(0\le n_1,\ldots , n_m<+\infty \), which are defined by the expansion (see [14] and [15] for the detail)
or equivalently
It is clear that
where, for each \(i=1,\ldots ,m\), \({{\mathcal {H}}}_{n_i}(u^i)\) is the Hermitian Polynomial of one variable \(u^i\) defined by
By (6.5), we easily find that
implying that
Consequently, by (6.4), we have
It is known that all these multivariable Hermitian polynomials are weighted square integrable with the weight \(e^{-\frac{|u|^2}{2}}\), that is
Consequently, integers \(\sum _{i=1}^m n_i\), for all \(n_1,\ldots ,n_m\ge 0\), are eigenvalues of the operator \(-\triangle _{{{\mathbb {R}}}^m}+\nabla _{u} \) acting on \(L^2_w({{\mathbb {R}}}^m)\). By making a change of coordinates on \({{\mathbb {R}}}^{m+p}\) we can assume \(x^i-\xi ^i=u^i\), \(i=1,2,\ldots , m\), for \(x\in P^m\). Thus, (6.8) shows that \(-\tilde{L}+1\) has \(n=0,1,\ldots \) as its eigenvalues, or equivalently, \(n-1=-1,0,1,\ldots \) are eigenvalues of \(-\tilde{L}\) where constants are those eigenfunctions corresponding to \(-1\).
To complete the claim, we also have to show that \(\{{{\mathcal {H}}}_{n_1\cdots n_m};\ n_1,\ldots ,n_m\ge 0\}\) is a complete basis for the space of smooth and weighted square integrable functions on \({{\mathbb {R}}}^m\). For doing this, we let E be the orthogonal complement in \(L^2_w({{\mathbb {R}}}^m)\) of the closure of the linear span of all \({{\mathcal {H}}}_{n_1\ldots n_m}\), that is,
For any \(\varphi \in E\), we have
It then easily follows from (6.3) that \({{\mathcal {F}}}(\varphi e^{-f})=0\) where \({{\mathcal {F}}}\) is the usual multivariable Fourier transformation. Since \({{\mathcal {F}}}\) is injective, we obtain that \(\varphi e^{-f}=0\) implying \(\varphi \equiv 0\). This shows that \(E=0\) and thus
Now suppose \(\eta =\sum \eta ^\alpha e_\alpha \) is a compact normal vector field that can be taken as a VP-variation vector field. Then for each \(\alpha \), we have
Since \(\tilde{L}\) is self-adjoint with respect to the weighted measure \(e^{-f}\mathrm{d}V\), we know that it is diagonalizable, that is, any compactly supported smooth function can be decomposed into a sum of some eigenfunctions of \(\tilde{L}\). In particular, we can write for each \(\alpha =m+1,\ldots ,m+p\),
where \(\eta ^\alpha _k\in S^{\infty ,2}_{w}(P^m)\) satisfying \(\tilde{L}(\eta ^\alpha _k)=-\lambda _k\eta ^\alpha _k\), \(k\ge 0\). Furthermore, the self-adjointness of \(\tilde{L}\) also implies that, for each pair of \(k\ne l\), \(\eta ^\alpha _k\) and \(\eta ^\alpha _l\) are orthogonal, that is
Since \(\eta \) is a VP-variation vector field, we have by (6.10) and (6.1) that \(\int _{P^m}\eta ^\alpha e^{-f}\mathrm{d}V=0\) for all \(\alpha =m+1,\ldots ,m+p\). It then follows from (6.11) that \(\eta ^\alpha _0=0\), \(\alpha =m+1,\ldots ,m+p\). Therefore,
Consequently, we have
implying that
\(\square \)
Theorem 6.2
As a \(\xi \)-submanifold, the index \({\mathrm{ind}}(S^m(r))\) of the standard m-sphere \(S^m(r)\) with respect to VP-variations is no less than \(m+1\). Furthermore, \({\mathrm{ind}}(S^m(r))=m+1\) if and only if \(r^2\le m\). In particular, all of these spheres are not \(W_\xi \)-stable.
Proof
For the standard sphere \(S^m(r)\subset {{\mathbb {R}}}^{m+1}\subset {{\mathbb {R}}}^{m+p}\), we have \(x^\top =0\), \(h=-\frac{1}{r^2}gx\) and hence \(\xi =\left( -\frac{m}{r^2}+1\right) x\). It follows that \(x-\xi =\frac{m}{r^2}x\) and
In particular, \(L(x)=\frac{1}{r^2}(m+r^2)x\) and, for any parallel normal vector field N orthogonal to x, \(L(N)=N\). Let \(e_{m+2},\ldots ,e_{m+p}\) be an orthonormal constant basis of the subspace \(({\mathrm{Span\,}}\{TS^m(r),x\})^\bot \subset {{\mathbb {R}}}^{m+p}\). Then, \(e_{m+1}:\equiv \frac{1}{r} x,e_{m+2},\ldots ,e_{m+p}\) is an orthonormal normal frame field of \(S^m(r)\) and
Now for any \(\eta \in \Gamma (T^\bot S^m(r))\) we can write
where \(\tilde{L}=\triangle _{S^m(r)}+1\). Furthermore, let \(\lambda _k\), \(k\ge 0\) be the eigenvalues of \(\tilde{L}\) and write \(\eta ^\alpha =\sum _{k\ge 0}\eta ^\alpha _k\) for some eigenfunctions \(\eta ^\alpha _k\) satisfying \(\tilde{L}(\eta ^\alpha _k)=-\lambda _k\eta ^\alpha _k\), \(k\ge 0\).
It is well known that the eigenvalues of \(-\triangle _{S^m(r)}\) is \(\frac{k(m+k-1)}{r^2}\), \(k\ge 0\), so that
with constants being the eigenfunctions corresponding to \(k=0\). But by (6.1), \(\int _{S^m(r)}\eta ^\alpha e^{-f}\mathrm{d}V_{S^m(r)}=0\) which implies that \(\eta ^\alpha _0=0\). Therefore,
Define
Then \(\dim \tilde{V}_{\lambda _1}=\dim V_{\lambda _1}\) and the left side is well known to be \(m+1\). It is not hard to see from (6.13) that Q is negative definite on \(\tilde{V}_{\lambda _1}\), and thus, \({\mathrm{ind}}(S^m(r))\ge m+1\) with the equality holding if and only if \(\frac{m}{r^2}-1\ge 0\), that is, \(r^2\le m\). \(\square \)
7 The uniqueness problem for complete W-stable \(\xi \)-submanifolds
It is interesting to know whether or not m-planes are the only \(W_\xi \)-stable \(\xi \)-submanifolds. We shall start to deal with this problem in this section. To make things more clear, we would better use the standard weighted volume functional \(V_w\) for immersed submanifolds, which is a special case of either \(V_\xi \) or \({{\bar{V}}}_\xi \) with \(\xi \equiv 0\):
Then, the same argument as in the proof of Theorem 4.1, Theorem 4.3 and Corollary 4.4 easily lead to the following
Proposition 7.1
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a \(\xi \)-submanifold. Then for any VP-variation of x, we have
By making applications of (7.1) and (7.2), we can generalize the conventional extreme value problem with conditions to our situation. For example, we have by Definition 6.1 and (7.1):
Corollary 7.2
(see [27] for the hypersurface case). An immersion \(x\in {{\mathcal {M}}}\) is a \(\xi \)-submanifold if and only if it is a critical point of \(V_w\) under the VP-variations (the “critical point with condition”).
Now we introduce the concept of W-stability for \(\xi \)-submanifolds, which can be viewed as the “conditional” critical points of \(V_w\).
Definition 7.1
A \(\xi \)-submanifold \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is called W-stable if it has a finite standard weighted volume \(V_w(x)\) and \(V_w''(0)\ge 0\) for all VP-variations of x.
In other words, the W-stability is exactly the \(W_0\)-stability, a typical one to the \(W_\xi \)-stability: just put \(\xi =0\) in the functional \(V_\xi \). In this sense our main theorem can be stated as follows:
Theorem 7.3
Let \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) be a complete and properly immersed \(\xi \)-submanifold with flat normal bundle. Then, x is W-stable if and only if \(x(M^m)\) is an m-plane.
To prove this theorem, we shall extend the main idea in [27], originally applied for the hypersurface case, to our higher codimension case here by solving some certain technical problems. Clearly, we only need to prove the necessity part of Theorem 7.3. For this, we can first make use of the universal covering if necessary to assume that \(M^m\) is simply connected. Then that x has a flat normal bundle implies the existence of a parallel orthonormal normal frame \(\{e_\alpha ;\ m+1\le \alpha \le m+p\}\). Furthermore, from (5.1) or (7.2) we have
Lemma 7.4
Let x be a \(\xi \)-submanifold. Then for any constant vector \(v\in {{\mathbb {R}}}^{m+p}\) and any parallel normal vector field N, we have
where \(v^\top \) and \(v^\bot \) are the orthogonal projections of the vector v on \(TM^m\) and \(T^\bot M^m\), respectively.
Proof
By using Weingarten formula and the equality that \(D^\bot (H+x^\bot )\equiv 0\), we find
The second equality follows directly from (5.3), (5.4) and the first equality in (7.4).\(\square \)
Lemma 7.5
For any \(\eta =e_\alpha +v^\bot \), \(v\in {{\mathbb {R}}}^{m+p}\), it holds that
where and hereafter we denote \(f=\frac{1}{2}|x|^2\).
Proof
It follows from (5.9) that
On the other hand, by (5.1) and (5.5)
implying that
Inserting this into (7.6) we complete the proof. \(\square \)
Define
Then W is the space of parallel normal fields of x and \(p\le \dim V^\bot \le m+p\).
Lemma 7.6
Denote
Then \(W\cap V^\bot =V^\bot _0\).
Proof
For any \(\eta \in W\cap V^\bot \), we have \(\eta =v^\bot =c^\alpha e_\alpha \) for some \(v\in {{\mathbb {R}}}^{m+p}\) and \(c^\alpha \in {{\mathbb {R}}}\). Then it follows from (5.3) and (5.4) that
implying that \(c^\alpha h^\alpha _{ij}h_{ij}=0\). Multiplying this with \(v^\bot =c^\alpha e_\alpha \) it follows that
Thus \(\left\langle h,v^\bot \right\rangle =0\) or equivalently \(A_{v^\bot }=0\) which with the fact that \(v^\bot \) is parallel in the normal bundle shows that \(v^\bot \) must be a constant vector.
The inverse part is trivial. \(\square \)
Define
on which there is a standard \(L^2_w\) inner product \((\cdot ,\cdot )\) by
giving the corresponding \(L^2_w\)-norm \(\Vert \cdot \Vert _{2,w}\). The \(L^2_w\) inner product \((\cdot ,\cdot )\) and \(L^2_w\)-norm \(\Vert \cdot \Vert _{2,w}\) for all weighted square integrable tangent vector fields and functions on \(M^m\) are defined in the same way. In particular, for a constant c, we have \(\Vert c\Vert ^2_{2,w}=c^2\int _Me^{-f}\mathrm{d}V\).
Let \(V^\bot _1\) be the orthogonal complement of \(V^\bot _0\) in \(V^\bot \) with respect to the \(L^2_w\) inner product, and define \(\tilde{V}=W\oplus V^\bot _1\) as subspaces of \(\Gamma ^{\infty ,2}_w(T^\bot M^m)\). So for any \(\eta \in \tilde{V}\) we can write \(\eta =w+v^\bot \) for a unique \(w\in W\) and some \(v\in {{\mathbb {R}}}^{m+p}\) such that \(\eta =w+v^\bot \) where v may not be unique. Since \(\dim W=p\) and \(\dim V^\bot _1\le \dim V^\bot \le m+p\), we have \(\dim \tilde{V}<+\infty \). Fix a basis \(\{w_a+v^\bot _a;\ 1\le a\le \dim \tilde{V}\}\) for \(\tilde{V}\) such that \(\Vert w_a\Vert ^2_{2,w}+\Vert v_a\Vert ^2_{2,w}=1\) for \(1\le a\le \dim \tilde{V}\). Define
Then the finiteness of \(\dim \tilde{V}\) implies that \({{\mathbb {S}}}\) is compact. Note that for any \(\eta \in {{\mathbb {S}}}\), \(\eta \) can not be zero.
Now we consider the compact case and prove the following
Proposition 7.7
Any compact \(\xi \)-submanifold with parallel normal bundle can not be W-stable.
Proof
It suffices to show that both of the following two are true:
-
(1)
Q is negative definite on \(\tilde{V}\) and, consequently, is negative definite on \(V^\bot _1\);
-
(2)
\(\dim V^\bot _1>0\).
In fact, the conclusion (1) follows directly from Lemma 7.5 by choosing \(\phi \equiv 1\); while conclusion (2) follows from the fact that the converse of (2) would imply that \(M^m={{\mathbb {R}}}^m\), by the argument at the end of this paper, which contradicts the compactness assumption. \(\square \)
Next we consider the non-compact case and thus assume that \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) is a complete and non-compact \(\xi \)-submanifold.
Let o be a fixed point of M and \({{\bar{o}}}=x(o)\). For any \(R>0\), we define \({{\bar{B}}}_R({{\bar{o}}})=\{x\in {{\mathbb {R}}}^{m+p};\ |x-{{\bar{o}}}|\le R\}\) and introduce a cut-off function \({{\bar{\phi }}}_R\) as follows (cf. [27]):
For the given immersion \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\), let \(\phi _R={{\bar{\phi }}}_R\circ x\in C^\infty (M^m)\) and \(B_R(o)=x^{-1}({{\bar{B}}}_R({{\bar{o}}}))\). Then, \(B_R(o)\) is compact since x is properly immersed. In particular, \(\phi _R\) is compactly supported. Furthermore, it is easily seen that \(|\nabla \phi _R|\le |D{{\bar{\phi }}}_R|\le \frac{1}{R}\).
Lemma 7.8
There is a large \(R_0>0\) such that
Proof
If the lemma is not true, then one can find a sequence \(\{\eta _j\}\subset {{\mathbb {S}}}\) such that
By the compactness of \({\mathbb {S}}\), there exists a subsequence \(\{\eta _{j_k}\}\) which is convergent to some \(\eta _0\in {{\mathbb {S}}}\). For any \(R>0\), there exists some \(K>0\) such that \(j_k>R\) for all \(k>K\). It follows that
which implies that
Thus we have \(\eta _0=0\) contradicting to the fact that \(\eta _0\in {{\mathbb {S}}}\). \(\square \)
For each \(R>0\), define
Clearly,
Moreover, \(m_R\) is increasing with respect to R which together with Lemma 7.8 gives that
Lemma 7.9
There exists a large \(R_0\), such that
Furthermore, Q is negative definite on \(\phi _R\tilde{V} \supset \phi _RV^\bot _1\).
Proof
First, we prove \(\dim \phi _R\tilde{V}=\dim \tilde{V}\) for all \(R\ge R_0\) if \(R_0\) is large enough. For a given \(R>0\), consider the surjective linear map
We claim that, when \(R_0\) is large enough, the kernel \(\ker \Phi _{R_0}\) of \(\Phi _{R_0}\) must be trivial. In fact, if it is not the case, there should be a nonzero sequence \(\{\eta _j\in \tilde{V}\}\) such that \(\phi _j\eta _j=0\). By writing \(\eta _j=\sum _a\eta ^a_j(w_a+v^\bot _a)\), we can define \(\tilde{\eta }_j=\frac{\eta _j}{\sqrt{\sum _a (\eta ^a_j)^2}}\). Then \(\phi _j\tilde{\eta }_j=0\), and \(\{\tilde{\eta }_j\}\) is contained in \({\mathbb {S}}\). Then the compactness of \({\mathbb {S}}\) assures that, by passing to a subsequence if possible, we can assume that \(\tilde{\eta }_j\rightarrow \tilde{\eta }_0\in {{\mathbb {S}}}\). Consequently, we have \(\tilde{\eta }_0=\lim _{j\rightarrow +\infty }\phi _j\tilde{\eta }_j=0\) which is not possible. So there must be a large \(R_0>0\) such that \(\ker \Phi _{R_0}=0\) and the claim is proved.
For any \(R\ge R_0\), it is easily seen that \(\ker \Phi _R\subset \ker \Phi _{R_0}\) which implies that \(\ker \Phi _R=0\) and \(\phi _R\tilde{V}\cong \tilde{V}\). In particular, \(\dim \phi _R\tilde{V}=\dim \tilde{V}\).
That \(\dim \phi _RV^\bot _1=\dim V^\bot _1\) follows in the same way.
Next we are to find a larger \(R\ge R_0\) such that Q is negative definite on \(\phi _R\tilde{V}\). For this, we first note that \(|\nabla \phi _R|\) supports in \(B_{2R}(o)\backslash B_R(o)\) and \(|\nabla \phi _R|\le \frac{1}{R}\), and then use Lemma 7.5 to conclude that, for all \(\eta \in {{\mathbb {S}}}\)
Therefore, by (7.10)–(7.12) and Lemma 7.8, there must be an \(R_0\) large enough such that \(Q(\phi _R\eta ,\phi _R\eta )<0\) for all \(\eta \in {{\mathbb {S}}}\), \(R\ge R_0\). Then the conclusion that Q is negative definite on \(\phi _R\tilde{V}\) follows directly from the bilinearity of Q. \(\square \)
Lemma 7.10
Under the complete and non-compact assumption, we have
Proof
Let \(W^\bot \) be the orthogonal complement of W in the space \(\Gamma ^{\infty ,2}_w(T^\bot M^m)\) of \(L^2_w\)-smooth normal sections. For any given \(R>0\), define a subspace
of \(W^\bot \) and a linear map \(\Psi _R:\phi _RV^\bot _1\rightarrow W^\bot (\phi _R\tilde{V})\) by
Claim: There must be a large \(R>0\) such that \(\ker \Psi _R=0\).
In fact, if this is not true, then we can find a sequence \(\{v^\bot _j\}\subset V^\bot _1\) with \(\phi _jv^\bot _j\ne 0\) and \(\Psi _j(\phi _jv^\bot _j)=0\) for each \(j=1,2,\ldots \). It follows that \(v^\bot _j\ne 0\), \(j=1,2,\ldots \). Define
Then \(\Psi _j(\phi _j\tilde{v}^\bot _j)=0\), \(j=1,2,\ldots \). Without loss of generality, we can assume that \(\tilde{v}^\bot _j\rightarrow \tilde{v}^\bot _0\). Then \(\tilde{v}^\bot _0\in V^\bot _1\) and \(\Vert \tilde{v}^\bot _0\Vert _{2,w}=1\).
On the other hand, from \(\Psi _j(\phi _j\tilde{v}^\bot _j)=0\) (\(j=1,2,\ldots )\) it follows that
implying that
But it is clear that \(\phi _j\tilde{v}^\bot _j\rightarrow \tilde{v}^\bot _0\) when \(j\rightarrow +\infty \) since
Let \(j\rightarrow +\infty \) in (7.15) then we obtain
because \(\tilde{v}^\bot _0\in V^\bot _1\) is orthogonal to W, contradicting to the fact that \(\Vert \tilde{v}^\bot _0\Vert _{2,w}=1\). So the claim is proved.
Thus by (7.13), when R is large enough it holds that
where \({{\mathrm{ind}}}_W(Q)\) denotes the W-stability index of Q. By the W-stability of x we have \({{\mathrm{ind}}}_W(Q)=0\), implying that \(\dim V^\bot _1=0\) and thus \(V^\bot _1=0\), which is equivalent to \(V^\bot =V^\bot _0\). \(\square \)
Proof of Theorem 7.3
Using Proposition 7.7, we conclude that \(x:M^m\rightarrow {{\mathbb {R}}}^{m+p}\) must be non-compact. Then by Lemma 7.10, we have a direct decomposition
where \(V^\top \) now consists of all constant vectors in \({{\mathbb {R}}}^{m+p}\) that are tangent to \(x_*TM^m\) at each point of \(M^m\), while \(V^\bot \) consists of all constant vectors in \({{\mathbb {R}}}^{m+p}\) that are normal to \(x_*TM^m\) at each point of \(M^m\). It then follows that \(\dim V^\top \le m\) and \(\dim V^\bot \le p\). Consequently,
which implies that \(\dim V^\top =m\) and \(\dim V^\bot =p\). This is true only if \(x(M^m)\equiv P^m\).
Theorem 7.3 is proved. \(\square \)
Notes
See the explanation in Wikipedia, the free encyclopedia under the title “Gaussian measure”.
References
Abresch, U., Langer, J.: The normalized curve shortening flow and homothetic solutions. J. Differ. Geom. 23, 175–196 (1986)
Anciaux, H.: Construction of Lagrangian self-similar solutions to the mean curvature flow in \({\mathbb{C}}^{n}\). Geom. Dedicata 120, 37–48 (2006)
Brendle, S.: Embedded self-similar shrinkers of genus \(0\). Ann. Math. 183, 715–728 (2016); Preprint: arXiv:1411.4640v3 [math. DG], 26 Oct. 2015
Cao, H.-D., Li, H.Z.: A gap theorem for self-shrinkers of the mean curvature flow in arbitrary codimension. Calc. Var. Part. Differ. Equ. 46, 879–889 (2013)
Castro, I., Lerma, A.M.: Hamiltonian stationary self-similar solutions for Lagrangian mean curvature flow in the complex Euclidean plane. Proc. Am. Math. Soc. 138, 1821–1832 (2010)
Castro, I., Lerma, A.M.: The Clifford torus as a self-shrinker for the Lagrangian mean curvature flow. Int. Math. Res. Not. 6, 1515–1527 (2014)
Cheng, Q.-M., Ogata, S., Wei, G.X.: Rigidity theorems of \(\lambda \)-hypersurfaces. Commun. Anal. Geom. (2015). https://doi.org/10.4310/CAG.2016.v24.n1.a2; Preprint: arXiv:1403.4123v3 [math. DG], 17, Sept., 2014
Cheng, Q.-M., Peng, Y.J.: Complete self-shrinkers of the mean curvature flow. Calc. Var. 52(3), 497–506 (2015); Preprint arXiv:1202.1053v3 [math.DG], 8 Feb(2012)
Cheng, Q.-M., Wei, G.X.: Complete \(\lambda \)-hypersurfaces of weighted volume-preserving mean curvature flow. Calc. Var. Partial Differential Equations 57(2), 21 (2018). arXiv:1403.3177v4 [math. DG], 13 May, 2015.
Cheng Q.-M., Wei, G.X.: The Gauss image of \(\lambda \)-hypersurfaces and a Bernstein type problem. arXiv:1410.5302v1 [math.DG], 20 Oct (2014)
Cheng Q.-M., Wei, G.X.: Compact embedded \(\lambda \)-torus in Euclidean spaces. arXiv:1512.04752 [math.DG], 20 Oct (2015)
Cheng, X., Zhou, D.T.: Volume estimate about shrinkers. Proc. Am. Math. Soc. 141, 687–696(2013); Preprint arXiv:1106.4950v2 [math.DG], 8 Aug (2012)
Colding, T.H., Minicozzi II, W.P.: Generic mean curvature flow I Generic singularities. Ann. Math. 175, 755–833 (2012)
Dattoli, G., Torre, A., Lorenzutta, S., Maino, G., Chiccoli, C.: Multivariable Hermite polynomials and phase-space dynamics. Nasa Technical Reports Server (NTRS). http://ntrs.nasa.gov/archive/nasa/casi.ntrs.nasa.gov/19950007516.pdf
Dattoli, G., Chiccoli, C., Lorenzutta, S., Maino, G., Torre, A.: Theory of generalized Hermite polynomials. Comput. Math. Appl. 28(4), 71–83 (1994)
Ding, Q., Xin, Y.L.: Volume growth, eigenvalue and compactness for self-shrinkers. Asian J. Math. 17(3), 443–456 (2013); Preprint arXiv:1101.1411v2 [math.DG], 18 Oct (2013)
Ding, Q., Xin, Y.L.: The rigitity theorems of self-shrinkers. Trans. Am. Math. Soc. 366, 5067–5085 (2014)
Guang, Q.: Gap and rigidity theorems of \(\lambda \)-hypersurfaces. arXiv:1405.4871v1 [math. DG], 19 May (2014)
Huisken, G.: Asymptotic behavior for singularities of the mean curvature flow. J. Differ. Geom. 31, 285–299 (1990)
Joyce, D., Lee, Y.I., Tsui, M.P.: Self-similar solution and translating solitons for Lagrangian mean curvature flow. J. Differ. Geom. 84, 127–161 (2010)
Kapouleas, N., Kleene, S.J., M\(\phi \)ller, N.M.: Mean curvature self-shrinkers of high genus: non-compact examples. arXiv:1106.5454v3 [math. DG], 18 Nov. 2014
Le, N.Q., Sesum, N.: Blow-up rate of the mean curvature flow during the mean curvature flow and a gap theorem for self-shrinkers. Commun. Anal. Geom. 19, 633–659 (2011)
Li, H.Z., Wang, X.F.: New characterizations of the Clifford torus as a Lagrangian self-shrinkers. J. Geom. Anal. 27, 1393–1412 (2017); arXiv:1505.05593v1 [math.DG], 21 May 2015
Li, H.Z., Wei, Y.: Classification and rigidity of self-shrinkers in the mean curvature flow. J. Math. Soc. Japan 66, 709-734 (2014); Preprint: arXiv:1201.4623v1 [math. DG], 23 Jan. 2012
Li, X.X., Chang, X.F.: A rigidity theorem of \(\xi \)-submanifolds in \({{{\mathbb{C}}}}^2\). Geom. Dedicata 185, 155-169 (2016), https://doi.org/10.1007/s10711-016-0173-1; Preprint: arXiv:1511.02568v1 [math. DG], 9 Nov. 2015
Li, X.X., Chang, X.F.: Rigidity theorems on the space-like \(\lambda \)-hypersurfaces in the Lorentzian space \({{{\mathbb{R}}}}^{n+1}_1\). J. of Math. (P.R.C.) 38(2), 253-268 (2018); Preprint: arXiv:1511.02984v1 [math. DG], 10 Nov. 2015
McGonagle, M., Ross, J.: The hyperplane is the only stable, smooth solution to the isoperimetric Problem in Gaussian space, Geom. Dedicata, 178, 277-296 (2015), https://doi.org/10.1007/s10711-015-0057-9; Preprint: arXiv:1307.7088v2 [math. DG], 8 Dec. 2014
Smoczyk, K.: Self-shrinkers of the mean curvature flow in arbitrary codimension. Int. Math. Res. Not. 48, 2983–3004 (2005)
Acknowledgements
This research is supported by National Natural Science Foundation of China (Nos. 11671121, 11871197 and 11971153). X. Li thanks Professor D. T. Zhou for kindly introducing to him reference [27]. Both the authors highly appreciate the important remarks and valuable suggestions by the referee.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Li, X., Li, Z. Variational characterizations of \(\xi \)-submanifolds in the Eulicdean space \({{\mathbb {R}}}^{m+p}\). Annali di Matematica 199, 1491–1518 (2020). https://doi.org/10.1007/s10231-019-00928-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10231-019-00928-8