Geometric Inequalities of Warped Product Submanifolds and Their Applications

Abstract

In the present paper, we prove that if Laplacian for the warping function of complete warped product submanifold ${\mathbb{M}}^m={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q$ in a unit sphere ${\mathbb{S}}^{m+k}$ satisfies some extrinsic inequalities depending on the dimensions of the base ${\mathbb{B}}^p$ and fiber ${\mathbb{F}}^q$ such that the base ${\mathbb{B}}^p$ is minimal, then ${\mathbb{M}}^m$ must be diffeomorphic to a unit sphere ${\mathbb{S}}^m$. Moreover, we give some geometrical classification in terms of Euler–Lagrange equation and Hamiltonian of the warped function. We also discuss some related results.

1. Introduction and Main Results

We will use the following acronyms throughout the paper: ‘WP’ for Warped product, ‘WF’ for warping function, ‘RM’ for Riemannian manifold, and ’SFF’ for second fundamental form. The idea of the warped product was initiated by Bishop and O’Neil [1] when they gave an example of complete Riemannian manifold with negative curvature. If $(\mathbb{B},g_{\mathbb{B}})$ and $(\mathbb{F},g_{\mathbb{F}})$ are two Riemannian manifolds (RMs), and h is a positive differentiable function defined on the base manifold $\mathbb{B}$, then we define the metric $g={\pi }^{*}{g}_{\mathbb{B}}+h^2{\sigma }^{*}{g}_{\mathbb{F}}$ on the product manifold $\mathbb{B}\times \mathbb{F}$, where $\pi$ and $\sigma$ are the projection maps on B and F, respectively. Under such stipulations, the product manifold is referred to as warped product (WP) of $\mathbb{B}$ and $\mathbb{F}$, and written as $\mathbb{M}=\mathbb{B}{\times }_h\mathbb{F}$. Here, h is referred to as warping function (WF).

We observe that $\mathbb{M}$ is a Riemannian product, or trivial warped product, when h is constant. Notice that there has been a great interest in the study of warped products over the recent years. For example, S. Nolker [2] derived the decompositions of the standard spaces of an isometric immersion of warped products and D.K. Kim and Y.H. Kim in [3] proved that if the scalar is non-constant then there is no non-trivial compact Einstein warped product. Recently, an interesting fundamental result proved by Djaczer in [4] showed that an isometric immersion of warped products into space forms must be product of isometric immersions under extrinsic conditions. Moreover, by using DDVV conjecture, Roth [5] obtained an inequality for submanifold of WP $I{\times }_h{\mathbb{M}}^m\left(c\right)$ where I is an interval and ${\mathbb{M}}^m\left(c\right)$ is a real space form and also provided some rigidity results based on submanifolds of $\mathbb{R}{\times }_{e^{\lambda t}}{\mathbb{H}}^m\left(c\right)$, where $\lambda$ is a real constant. Salavessa in [6] obtained that the Heinz mean curvature ${m\parallel \mathbb{H}\parallel }^2\le \frac{A_{\mathsf{\Psi }}(\partial \mathcal{D})}{V_{\mathsf{\Psi }}\left(\mathcal{D}\right)}$ holds in WP spaces of type $M{\times }_{e^{\mathsf{\Psi }}}N$ in case that a graph of submanifold $(x,h(x\left)\right)$ of Riemannian WP $M{\times }_{e^{\mathsf{\Psi }}}N$ is immersed with parallel mean curvature, where $A_{\mathsf{\Psi }}(\partial \mathcal{D})$ and $V_{\mathsf{\Psi }}\left(\mathcal{D}\right)$ are Ψ–weighted area and volume, respectively.

On the other hand, the investigation of the relations between curvature invariants and topology is an important problem in Riemannian geometry as well as in global differential geometry. For instance, a beautiful and classical theorem established by Myers [7] states that “if $\mathbb{M}$ is a complete Riemannian manifold with Ricci curvature $Ric\left(\mathbb{M}\right)>1$, then the diameter $d\left(\mathbb{M}\right)$ of $\mathbb{M}$ is not greater than $\pi$, and, therefore, $\mathbb{M}$ is compact and its fundamental group ${\pi }_1(\left(\mathbb{M}\right)$ is finite”. Due to the distinctive work of Rauch [8], Berger [9] proved the rigidity theorem for a simply connected and complete manifold $\mathbb{M}$ of even dimension and the sectional curvature satisfying $\frac{1}{4}\le K_{\mathbb{M}}\le 1$. Furthermore, Grove and Shiohama in [10] has generalized the sphere theorem. There are lots of interesting and well-known results regarding the topology of complete manifolds of positive Ricci curvature. The curvature and topology of manifolds play a substantial role in global differential geometry. Later on, a splitting theorem, resulting from the work of Cheeger and Gromoll in [11], states that “if $\mathbb{M}$ is a complete non-compact manifold of non-negative Ricci curvature and if $\mathbb{M}$ contains a straight line, then M is isometric to the Riemannian product $\mathbb{M}\times \mathbb{R}$”. In the sequel, Schoen and Yau [12] proved that a complete non-compact $\mathbb{M}$ of dimension 3 and positive Ricci curvature is diffeomorphic to ${\mathbb{R}}^3$. Using the first eigenvalue of the Laplacian operator, the result stating that “if $\mathbb{M}$ is complete such that if $Ric\left(\mathbb{M}\right)>1$ and if $d\left(\mathbb{M}\right)=\pi$, then $\mathbb{M}$ is isometric to the standard unit sphere” has been proven by Cheng in [13].

The non-existence of a compact stable minimal submanifold or stable currents is sharply associated with the topology and geometric function theory on Riemannian structure of the whole manifold. Recently, it has been shown in [14] that if the sectional curvature of a compact oriented minimal submanifold $\mathbb{M}$ of dimension m in the unit sphere ${\mathbb{S}}^{m+k}$ with codimension p satisfies some pinching condition $K_{\mathbb{M}}\ge \frac{p.sign(p-1)}{2(p+1)}$, then $\mathbb{M}$ is either a totally geodesic sphere, one of the Clifford minimal hypersurface ${\mathbb{S}}^k\left(\frac{k}{m}\right)\times {\mathbb{S}}^{m-k}\left(\frac{m-k}{m}\right)$ in ${\mathbb{S}}^{m+1}$ for $k=1,\dots ,m-1$, or the Veronese surface in ${\mathbb{S}}^4$. Later on, some new results for the non-existence of the stable currents, vanishing homology groups, topological and differential theorems are well known (see [15,16,17,18,19,20,21,22,23] and references therein). Therefore, it was an objective for mathematicians to understand geometric function theory and topological invariant of Riemannian submanifolds as well as in Riemannian space forms. Surely, this is a fruitful problem in Riemannian geometry. Using the result of Lawson and Simon [24] and following Leung [20] homotopic sphere theorem for compact oriented submanifolds in a sphere, also motivated by the idea of complete Riemannian manifold and without assumption that ${\mathbb{M}}^m$ is simply connected, Xu and Zao (Theorem 1.2 in [21]) concluded the following result:

Theorem 1.

[21] Let ${\mathbb{M}}^m$ be an oriented complete submanifold of dimension m in the unit sphere ${\mathbb{S}}^{m+k}$ satisfying the following inequality

$$\begin{array}{c}\hfill {\parallel \mathbf{B}(\mathbb{X},\mathbb{X})\parallel }^2<\frac{1}{3},\forall \mathbb{X}\in \mathsf{\Gamma }\left(TM\right),\end{array}$$

(1)

where $\mathbb{X}$ is a unit vector at any point of ${\mathbb{M}}^m$ and $\mathbf{B}$ is SFF, the second fundamental form. Then ${\mathbb{M}}^m$ is diffeomorphic to the sphere ${\mathbb{S}}^m$.

This is one of the motivations to study—the differential and topological manifolds, and their direct relations with warped product submanifolds theory. In this way, a natural question arises: Is it possible to extend Theorem 1 to the warped product submanifolds to the cases with base manifold is minimal in a sphere? What is the best pinching constant for the differentiable rigidity sphere theorem of complete minimal warped product submanifold in a unite sphere under pinching conditions using the Laplace operator for the warping function?

The main goal of this note is to extend the rigidity Theorem 1 to a complete warped product submanifolds and find the solution for our proposed problem where motivation comes from the Nash embedding theorem [25] which states that “every Riemannian manifold has an isometric immersion into Euclidean space of sufficient high codimension”. To prove our findings we shall use the technique of Chen [26] for an isometric minimal immersion from warped products to the ambient manifold, where he proved the following relation as:

$$\begin{array}{c}\hfill \sum _{\alpha =1}^p\sum _{\beta =1}^{q}K(e_{\alpha }\wedge e_{\beta })=\frac{q\Delta h}{h}.\end{array}$$

(2)

Therefore, using Theorem 1 and formula (2), we announce our main finding of this study as follows:

Theorem 2.

Let $\ell :{\mathbb{M}}^{p+q}={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q⟶{\mathbb{S}}^{p+q+k}$ be an isometric immersion from a WP submanifold ${\mathbb{M}}^{p+q}$ of dimension $(p+q)$ into a unit sphere ${\mathbb{S}}^{p+q+k}$ of dimension $(p+q+k)$ such that the base manifold ${\mathbb{B}}^p$ is minimal. Assume that ${\mathbb{M}}^{p+q}$ is an oriented complete WP submanifold satisfying the following inequality

$$\begin{array}{c}\hfill \frac{\Delta h}{h}>\left(\frac{2(3pq-1)}{3q}\right),\end{array}$$

(3)

where $\Delta h$ is the Laplace operator for the warping function h defined on base manifold ${\mathbb{B}}^p$. Then ${\mathbb{M}}^{p+q}$ is diffeomorphic to a sphere ${\mathbb{S}}^{p+q}$.

In particular, if we follows the statement of Theorem D in [21], then we give another topological sphere theorem which is a consequence of Theorem 2, i.e.,

Theorem 3.

Let $\ell :{\mathbb{M}}^{p+q}={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q⟶{\mathbb{S}}^{p+q+k}$ be an isometric immersion from an $(p+q)$-dimensional oriented complete WP submanifold ${\mathbb{M}}^{p+q}$ into a $(p+q+k)$-dimensional unit sphere ${\mathbb{S}}^{p+q+k}$ such that the base manifold ${\mathbb{B}}^p$ is minimal. If the following inequality holds

$$\frac{\Delta h}{h}>\left(\frac{2(3pq-1)}{3q}\right),$$

where $\Delta f$ is the Laplace of f defined on base manifold ${\mathbb{B}}^p$, then ${\mathbb{M}}^{p+q}$ is homeomorphic to the sphere ${\mathbb{S}}^{p+q}$.

Hence, we noticed that Theorems 2 and 3 are differentiable sphere theorems for complete warped product submanifolds without assumption that ${\mathbb{M}}^n$ is simply connected.

2. Preliminaries and Notations

Let ${\mathbb{S}}^{m+k}$ denote the sphere with constant sectional curvature $c=1>0$ and dimension $(m+k)$. We use the fact that ${\mathbb{S}}^{m+k}$ admits a canonical isometric embedding in ${\mathbb{R}}^{m+k+1}$ as

$${\mathbb{S}}^{m+k}=\{\mathbb{X}\in {\mathbb{R}}^{m+k+1}{:\left|\right|\mathbb{X}\left|\right|}^2=1\}.$$

Thus, the Riemannian curvature tensor $\tilde{R}$ of a sphere ${\mathbb{S}}^{m+k}$ fulfils

$$\begin{array}{c}\hfill \tilde{R}(Z_1,Z_2,Z_3,Z_4)=g(Z_1,Z_4)g(Z_2,Z_3)-g(Z_2,Z_4)g(Z_1,Z_4),\end{array}$$

(4)

∀$Z_1,Z_2,Z_3,Z_4\in \mathsf{\Gamma }\left(T\tilde{M}\right)$, where $T\tilde{M}$ is a tangent bundle of ${\mathbb{S}}^{m+k}$. Hence, ${\mathbb{S}}^{m+k}$ is a manifold with constant sectional curvature 1 and codimension k.

Let ${\nabla }^{\perp }$ and ∇ be the induced connections on normal bundle $T^{\perp }\mathbb{M}$ and the tangent bundle $T\mathbb{M}$ of $\mathbb{M}$, respectively, where $\mathbb{M}$ is a m-dimensional RM in a Riemannian ${\tilde{M}}^n$ of dimension n with induced metric g. The Weingarten and Gauss formulae are defined as

$${\tilde{\nabla }}_{Z_1}\xi =-A_{\xi }{Z}_1+{\nabla }_{Z_1}^{\perp }\xi ,$$

and

$${\tilde{\nabla }}_{Z_1}{Z}_2={\nabla }_{Z_1}{Z}_2+\mathbf{B}(Z_1,Z_2),$$

∀$Z_1,Z_2\in \mathsf{\Gamma }\left(T\mathbb{M}\right)$ and $\xi \in \mathsf{\Gamma }\left(T^{\perp }\mathbb{M}\right)$, where $A_{\xi }$ and $\mathbf{B}$ are, respectively, shape operator (corresponding to $\xi$) and the second fundamental form as ${\mathbb{M}}^m$ immersed into $\tilde{M}$, and they verify the relation

$$g(\mathbf{B}(Z_1,Z_2),\xi )=g(A_{\xi }{Z}_1,Z_2).$$

If the curvature tensors of ${\tilde{M}}^n$ and ${\mathbb{M}}^m$ are denoted by $\tilde{R}$ and R, then the Gauss equation is given by

$$\begin{array}{c}\hfill R(Z_1,Z_2,Z_3,Z_4)=\tilde{R}(Z_1,Z_2,Z_3,Z_4)+g\left(\mathbf{B}(Z_1,Z_4),\mathbf{B}(Z_2,Z_3)\right)-g\left(\mathbf{B}(Z_1,Z_3),\mathbf{B}(Z_2,Z_4)\right),\end{array}$$

(5)

∀$Z_1,Z_2,Z_3,Z_4\in \mathsf{\Gamma }(T\tilde{M})$.

Let $\{e_1,\cdots e_m\}$ be an orthonormal basis of $T_x\mathbb{M}$ and $e_s=(e_{m+1},\cdots e_{m+k})$ belongs to an orthonormal basis of $T^{\perp }\mathbb{M}$, then the squared norm of $\mathbf{B}$ is

$${\mathbf{B}}_{\alpha \beta }^s=g(\mathbf{B}(e_{\alpha },e_{\beta }),e_s),$$

(6)

and

$$\left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2=\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{\left({\mathbf{B}}_{\alpha \beta }^s\right)}^2.$$

(7)

The squared norm of the mean curvature vector $\mathbb{H}$ of a Riemannian submanifold ${\mathbb{M}}^m$ is defined by

$$\begin{array}{c}\hfill {\left|\right|\mathbb{H}\left|\right|}^2=\frac{1}{m^2}\sum _{s=m+1}^{m+k}{\left(\sum _{\alpha =1}^m{\mathbf{B}}_{\alpha \alpha }^s\right)}^2.\end{array}$$

(8)

A submanifold ${\mathbb{M}}^m$ of a RM, ${\tilde{M}}^{m+k}$, is referred to as totally geodesic and totally umbilical if

$$\mathbf{B}(Z_1,Z_2)=0\mathrm{and}\mathbf{B}(Z_1,Z_2)=g(Z_1,Z_2)\mathbb{H},$$

∀$Z_1,Z_2\in \mathsf{\Gamma }\left(T\mathbb{M}\right)$, respectively, where $\mathbb{H}$ is the mean curvature vector of ${\mathbb{M}}^m$. Moreover, if $\mathbb{H}=0$, then ${\mathbb{M}}^m$ is minimal in ${\tilde{M}}^{m+k}$.

Now, we give a definition of the scalar curvature of Riemannian submanifold ${\mathbb{M}}^m$, which is denoted by $\tau \left(T_x{\mathbb{M}}^m\right)$, at some x in ${\mathbb{M}}^m$, as

$$\begin{array}{c}\hfill \tau \left(T_x{M}^m\right)=\sum _{1\le \alpha <\beta \le m}{K}_{\alpha \beta },\end{array}$$

(9)

where $K_{\alpha \beta }=K\left(e_{\alpha }\wedge e_{\beta }\right)$. The first equality (9) is equal to the following equation:

$$2\tau \left(T_x{M}^m\right)=\sum _{1\le \alpha <\beta \le m}{K}_{\alpha \beta },1\le \alpha ,\beta \le m.$$

The above equation will be considerably used in subsequent proofs throughout the paper. In similar way, the scalar curvature $\tau \left(L_x\right)$ of an L–plane is defined as

$$\tau \left(L_x\right)=\sum _{1\le \alpha <\beta \le m}{K}_{\alpha \beta }.$$

If the plane section spanned by $e_{\alpha }$ and $e_{\beta }$ at x, then the sectional curvatures of the submanifold ${\mathbb{M}}^m$ and Riemannian manifold ${\tilde{M}}^{m+k}$ are denoted by $K_{\alpha \beta }$ and ${\tilde{K}}_{\alpha \beta }$, respectively. Thus, ${\tilde{K}}_{\alpha \beta }$ and $K_{\alpha \beta }$ are considered to be the extrinsic and intrinsic sectional curvature of the span $\{e_{\alpha },e_{\beta }\}$ at x. Using Gauss Equation (5), and using (9), we conclude that

$$\begin{array}{c}\hfill \sum _{1\le \alpha <\beta \le m+k}{K}_{\alpha \beta }=\sum _{1\le \alpha <\beta \le m+k}{\tilde{K}}_{\alpha \beta }+\sum _{r=m+1}^{n+k}\left({\mathbf{B}}_{\alpha \alpha }^r{\mathbf{B}}_{\beta \beta }^r-{({\mathbf{B}}_{\alpha \beta }^r)}^2\right).\end{array}$$

(10)

Now, we provide the proofs of the main findings of the study.

3. Proof of Main Findings

3.1. Proof of Theorem 2

Assume that ${\mathbb{M}}^m={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q\to {\mathbb{S}}^{m+k}$ is a warped product in which the base ${\mathbb{B}}^p$ is minimal. Let $\{e_1\dots e_p,e_{p+1}\dots e_m\}$ be a local orthonormal frame fields of ${\mathbb{M}}^m$ such that $\{e_1\dots e_p\}$ are tangents to ${\mathbb{B}}^p$ and $\{e_{p+1}\dots e_m\}$ are tangents to ${\mathbb{F}}^q$. First, we define the two unit vectors $\mathbb{X}$ and $\mathbb{Y}$ to estimate the upper bound of the terms $\left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2$. We can define these two unit vectors as follows:

$$\begin{array}{c}\hfill \mathbb{X}=\frac{1}{\sqrt{2}}\left(e_{\alpha }+e_{\beta }\right),and\mathbb{Y}=\frac{1}{\sqrt{2}}\left(e_{\alpha }-e_{\beta }\right),1\le \alpha \le p\&1\le \beta \le q.\end{array}$$

Eliminating $e_{\alpha }$ and $e_{\beta }$ from the above equation, one obtains:

$$\begin{array}{c}\hfill e_{\alpha }=\frac{1}{\sqrt{2}}\left(\mathbb{X}+\mathbb{Y}\right),and{e}_{\beta }=\frac{1}{\sqrt{2}}\left(\mathbb{X}-\mathbb{Y}\right),1\le \alpha \le p\&1\le \beta \le q.\end{array}$$

Then we derive

$$\begin{array}{cc}\hfill \left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2=& \parallel \mathbf{B}(\frac{\mathbb{X}+\mathbb{Y}}{\sqrt{2}},\frac{\mathbb{X}-\mathbb{Y}}{\sqrt{2}}){\parallel }^2\hfill \\ \hfill =& \frac{1}{4}{\parallel \mathbf{B}(\mathbb{X},\mathbb{X})-\mathbf{B}(\mathbb{Y},\mathbb{Y})\parallel }^2\hfill \\ \hfill =& \frac{1}{4}\left\{{\parallel \mathbf{B}(\mathbb{X},\mathbb{X})\parallel }^2+{\parallel \mathbf{B}(\mathbb{Y},\mathbb{Y})\parallel }^2-2g\left(\mathbf{B}(\mathbb{X},\mathbb{X}),\mathbf{B}(\mathbb{Y},\mathbb{Y})\right)\right\}.\hfill \end{array}$$

Using the Cauchy–Schwartz inequality for orthonormal vector fields, we conclude that

$$\begin{array}{c}\hfill \parallel \mathbf{B}(e_{\alpha },e_{\beta }){\parallel }^2\le \frac{1}{4}\left\{{\parallel \mathbf{B}(\mathbb{X},\mathbb{X})\parallel }^2+{\parallel \mathbf{B}(\mathbb{Y},\mathbb{Y})\parallel }^2+2\left|\right|\mathbf{B}(\mathbb{X},\mathbb{X})\parallel \parallel \mathbf{B}(\mathbb{Y},\mathbb{Y})\parallel \right\}.\end{array}$$

In virtue of (1), the above equation implies that

$$\begin{array}{c}\hfill \left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2<\frac{1}{4}\left(\frac{1}{3}+\frac{2}{3}+\frac{1}{3}\right)=\frac{1}{3}.\end{array}$$

(11)

Next, from curvature tensor Equation (4) of the sphere ${\mathbb{S}}^{m+k}$ and the Gauss Equation (5), we find that

$$\begin{array}{c}\hfill m^2{\left|\right|\mathbb{H}\left|\right|}^2+m(m-1)={\left|\right|\mathbf{B}\left|\right|}^2+\sum _{1\le A<B\le m}K(e_A\wedge e_B).\end{array}$$

The above equation can be written for warped product manifold ${\mathbb{M}}^n$ and from the viewpoint of (8) and (6) as:

$$\begin{array}{cc}\hfill \sum _{s=m+1}^{m+k}{\left(\sum _{A=1}^m{\mathbf{B}}_{AA}^s\right)}^2+m(m-1)=& \sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2+\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2\hfill \\ \hfill & +2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\sum _{\alpha =1}^p\sum _{\beta =1}^{q}K(e_{\alpha }\wedge e_{\beta })\hfill \\ \hfill & +\sum _{1\le i<j\le p}K(e_i\wedge e_j)+\sum _{1\le a<b\le q}K(e_a\wedge e_b).\hfill \end{array}$$

Using (10) and (2) in the above equation, we derive

$$\begin{array}{cc}\hfill \sum _{s=m+1}^{m+k}{\left(\sum _{A=1}^m{\mathbf{B}}_{AA}^s\right)}^2+m(m-1)& =\sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2+\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2\hfill \\ \hfill & +2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\frac{q\Delta f}{f}\hfill \\ \hfill & +\sum _{1\le i<j\le p}\tilde{K}(e_i\wedge e_j)+\sum _{1\le a<b\le q}\tilde{K}(e_a\wedge e_b)\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\sum _{1\le i<j\le p}\left({\mathbf{B}}_{ii}^s{\mathbf{B}}_{jj}^s-{({\mathbf{B}}_{ij}^s)}^2\right)\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\sum _{1\le a<b\le q}\left({\mathbf{B}}_{aa}^s{\mathbf{B}}_{bb}^s-{({\mathbf{B}}_{ab}^s)}^2\right).\hfill \end{array}$$

Thus, from (4) and some rearrangements in the last equation, one obtains:

$$\begin{array}{cc}\hfill \sum _{s=m+1}^{m+k}{\left(\sum _{A=1}^m{\mathbf{B}}_{AA}^s\right)}^2& =\sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2+\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2-2pq\hfill \\ \hfill & +2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\frac{q\Delta h}{h}-\sum _{s=m+1}^{m+k}\sum _{1\le i<j\le p}{({\mathbf{B}}_{ij}^s)}^2\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\sum _{1\le i<j\le p}{\mathbf{B}}_{ii}^s{\mathbf{B}}_{jj}^s+\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{11}^s)}^2+\cdots +{({\mathbf{B}}_{pp}^s)}^2\right)\hfill \\ \hfill & -\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{11}^s)}^2+\cdots +{({\mathbf{B}}_{pp}^s)}^2\right)+\sum _{s=m+1}^{m+k}\sum _{1\le a<b\le q}{\mathbf{B}}_{aa}^s{h}_{bb}^s\hfill \\ \hfill & -\sum _{s=m+1}^{m+k}\sum _{1\le a<b\le q}{({\mathbf{B}}_{ab}^s)}^2+\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{p+1p+1}^s)}^2+\cdots +{({\mathbf{B}}_{mm}^s)}^2\right)\hfill \\ \hfill & -\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{p+1p+1}^s)}^2+\cdots +{({\mathbf{B}}_{mm}^s)}^2\right).\hfill \end{array}$$

This can take the form

$$\begin{array}{cc}\hfill \sum _{s=m+1}^{m+k}{\left(\sum _{A=1}^m{\mathbf{B}}_{AA}^s\right)}^2& =\sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2+\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2-2pq\hfill \\ \hfill & +2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\frac{q\Delta h}{h}\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\left\{\sum _{1\le i<j\le p}{\mathbf{B}}_{ii}^s{\mathbf{B}}_{jj}^s+{({\mathbf{B}}_{11}^s)}^2+\cdots +{({\mathbf{B}}_{pp}^s)}^2\right\}\hfill \\ \hfill & -\sum _{s=m+1}^{m+k}\left\{\sum _{1\le i<j\le p}{({\mathbf{B}}_{ij}^s)}^2+{({\mathbf{B}}_{11}^s)}^2+\cdots +{({\mathbf{B}}_{pp}^s)}^2\right\}\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\left\{\sum _{1\le a<b\le q}{\mathbf{B}}_{aa}^s{\mathbf{B}}_{bb}^s+{({\mathbf{B}}_{p+1p+1}^s)}^2+\cdots +{({\mathbf{B}}_{mm}^s)}^2\right\}\hfill \\ \hfill & -\sum _{s=m+1}^{m+k}\left\{\sum _{1\le a<b\le q}{({\mathbf{B}}_{ab}^s)}^2+{({\mathbf{B}}_{p+1p+1}^s)}^2+\cdots +{({\mathbf{B}}_{mm}^s)}^2\right\}\hfill \end{array}$$

Using the binomial theorem and the fact that the base manifold ${\mathbb{B}}^p$ is minimal, then it not hard to check that

$$\begin{array}{cc}\hfill \sum _{s=m+1}^{m+k}{\left(\sum _{A=p+1}^m{\mathbf{B}}_{AA}^s\right)}^2& =\sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2+\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2-2pq\hfill \\ \hfill & +2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\frac{q\Delta h}{h}\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{11}^s)}^2+\cdots +{({\mathbf{B}}_{pp}^s)}^2\right)-\sum _{s=m+1}^{m+k}\sum _{i,j=1}^p{({\mathbf{B}}_{ij}^s)}^2\hfill \\ \hfill & +\sum _{s=m+1}^{m+k}\left({({\mathbf{B}}_{p+1p+1}^s)}^2+\cdots +{({\mathbf{B}}_{mm}^s)}^2\right)-\sum _{s=m+1}^{m+k}\sum _{a,b=1}^q{({\mathbf{B}}_{ab}^s)}^2.\hfill \end{array}$$

(12)

From the hypothesis of the theorem, we know that ${\mathbb{B}}^p$ is minimal and using this, we get that the fifth term of the right hand side in Equation (12) is equal to zero and seventh the term is equal to the first term of left hand side. Thus, we have:

$$\begin{array}{cc}\hfill 2pq& =2\sum _{s=m+1}^{m+k}\sum _{\alpha =1}^p\sum _{\beta =1}^q{({\mathbf{B}}_{\alpha \beta }^s)}^2+\frac{q\Delta h}{h}.\hfill \end{array}$$

From (7), it implies that

$$\begin{array}{c}\hfill \left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2=\frac{q}{2}\left(-\frac{\Delta h}{h}\right)+pq.\end{array}$$

(13)

From assumption(3), we find that

$$\begin{array}{c}\hfill -\frac{\Delta h}{h}<\left(\frac{2-6pq}{3q}\right)\end{array}$$

(14)

Combining (13) with (14), one obtains:

$$\begin{array}{cc}\hfill \left|\right|\mathbf{B}(e_{\alpha },e_{\beta }){\left|\right|}^2& <\frac{q}{2}\left(\frac{2-6pq}{3q}\right)+pq=\frac{1}{3}-\frac{3pq}{3}+pq\hfill \\ \hfill & <\frac{1}{3}.\hfill \end{array}$$

(15)

Therefore, the proof follows from Theorem 1 and pinching condition (1) together with (15).

Remark 1.

The proofs of Theorems 2 and 3 follow easily using the same technique.

3.2. Some Applications

Assume that $\{e_1,\dots ,e_m\}$ is a local orthonormal basis of vector field ${\mathbb{M}}^m$. Then the gradient of function $\phi$ and its squared norm is defined as:

$$\nabla \phi =\sum _{i=1}^m{e}_i\left(\phi \right)e_i,$$

and

$${\parallel \nabla \phi \parallel }^2=\sum _{i=1}^m{\left(e_i\left(\phi \right)\right)}^2.$$

(16)

Let $\phi$ be a differentiable function defined on ${\mathbb{M}}^m$ such that $\phi \in \mathcal{F}\left({\mathbb{M}}^m\right)$, then the Lagrangian of the function $\phi$ is given in (p. 44, [27]).

$$\begin{array}{cc}\hfill L_{\phi }=& \frac{1}{2}{\left|\right|\nabla \phi \left|\right|}^2.\hfill \end{array}$$

(17)

The Euler–Lagrange formula of the Lagrangian (17) satisfies

$$\begin{array}{c}\hfill \Delta \phi =0.\end{array}$$

(18)

At point $x\in {\mathbb{M}}^n$ in a local orthonormal basis, the Hamiltonian would take the form (see [27] for more details):

$$\begin{array}{c}\hfill H(p,x)=\frac{1}{2}\sum _{i=1}^{m}p{\left(e_i\right)}^2.\end{array}$$

Put $p=d\phi$, where d is a differential operator, and using (16), we get:

$$\begin{array}{c}\hfill H(d\phi ,x)=\frac{1}{2}\sum _{i=1}^{m}d\phi {\left(e_i\right)}^2=\frac{1}{2}\sum _{i=1}^m{e}_i{\left(\phi \right)}^2=\frac{1}{2}{\left|\right|\nabla \phi \left|\right|}^2.\end{array}$$

(19)

Assuming that ${\mathbb{M}}^m={\mathbb{B}}^p{\times }_f{\mathbb{F}}^q$ is a warped product, then ∀$Z_1\in \mathsf{\Gamma }\left(T\mathbb{B}\right)$ and $Z_2\in \mathsf{\Gamma }\left(T\mathbb{F}\right)$, we have

$$\begin{array}{c}\hfill {\nabla }_{Z_2}{Z}_1={\nabla }_{Z_1}{Z}_2=(Z_{1}lnh)Z_2.\end{array}$$

Using the unit vector fields X and Z which are tangents to $\mathsf{\Gamma }\left(T\mathbb{B}\right)$ and $\mathsf{\Gamma }\left(T\mathbb{F}\right)$, resp.; then one obtains:

$$\begin{array}{cc}\hfill K(Z_1\wedge Z_2)=& g(R(Z_1,Z_2)Z_1,Z_2)=\left({\nabla }_{Z_1}{Z}_1\right)lnhg(Z_2,Z_2)-g\left({\nabla }_{Z_1}\left((Z_{1}lnh)Z_2\right),Z_2\right)\hfill \\ \hfill =& \left({\nabla }_{Z_1}{Z}_1\right)lnhg(Z_2,Z_2)-g\left({\nabla }_{Z_1}(Z_{1}lnh)Z_2+(Z_{1}lnh){\nabla }_{Z_1}{Z}_2,Z_2\right)\hfill \\ \hfill =& \left({\nabla }_{Z_1}{Z}_1\right)lnhg(Z_2,Z_2)-{(Z_{1}lnh)}^2-Z_1(Z_{1}lnh).\hfill \end{array}$$

If $\{e_1,\cdots e_m\}$ is an orthonormal basis for ${\mathbb{M}}^m$, then we can take a sum over the vector fields as follows

$$\begin{array}{cc}\hfill \sum _{\alpha =1}^p\sum _{\beta =1}^{q}K(e_{\alpha }\wedge e_{\beta })& =\sum _{\alpha =1}^p\sum _{\beta =1}^q\left(\left({\nabla }_{e_{\alpha }}{e}_{\alpha }\right)lnh-e_{\alpha }\left(e_{\beta }lnh\right)-{\left(e_{\alpha }lnf\right)}^2\right)\hfill \\ \hfill & =q\left(\Delta (lnh)-{\left|\right|\nabla (lnh)\left|\right|}^2\right).\hfill \end{array}$$

(20)

Thus, from (20) and (2), it follows that

$$\begin{array}{c}\hfill \frac{\Delta h}{h}=\Delta (lnh)-{\left|\right|\nabla (lnh)\left|\right|}^2.\end{array}$$

(21)

Here, motivated by the historical development on the study of Lagrangian and Hamiltonian, we will give the following theorems as

Theorem 4.

Let $\ell :{\mathbb{M}}^m={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q⟶{\mathbb{S}}^{m+k}$ be an isometric immersion from an oriented complete WP submanifold ${\mathbb{M}}^m$ of dimension m into a sphere ${\mathbb{S}}^{m+k}$ of dimension $(m+k)$ such that the base manifold ${\mathbb{B}}^p$ is minimal and the function h satisfies the Euler–Lagrange equation with following inequality

$$\begin{array}{c}\hfill L_h<\left(\frac{1-3pq}{3q}\right)2h^2,\end{array}$$

(22)

where $L_h$ is the Lagrangian of h. Then ${\mathbb{M}}^m$ is diffeomorphic to ${\mathbb{S}}^m$.

Proof. 

Using the fact that the warping function $lnh$ satisfies the Euler–Lagrange equation, from the hypothesis of the theorem, and using (18), we have

$$\begin{array}{c}\hfill \Delta lnh=0.\end{array}$$

(23)

From (21) and (15), we derive

$$\begin{array}{c}\hfill \Delta lnh-\frac{{\parallel \nabla h\parallel }^2}{h^2}>2p-\frac{2}{3q}.\end{array}$$

(24)

It follows from (23) and (24) that

$$\begin{array}{c}\hfill {\parallel \nabla h\parallel }^2<2p{h}^2-\frac{2h^2}{3q}.\end{array}$$

Using (17), we get desired result (22) which ends the proof. ☐

Theorem 5.

Suppose that $\ell :{\mathbb{M}}^m={\mathbb{B}}^p{\times }_h{\mathbb{F}}^q⟶{\mathbb{S}}^{m+k}$ is an isometric immersion from an oriented complete WP submanifold ${\mathbb{M}}^m$ of dimension m into a sphere ${\mathbb{S}}^{m+k}$ of dimension $(m+k)$ such that the base manifold ${\mathbb{B}}^p$ is minimal and satisfies the relation

$$\begin{array}{c}\hfill H(dh,x)<\left\{\frac{\Delta \left(lnh\right)}{2}+\left(\frac{1}{3q}-p\right)\right\}{h}^2.\end{array}$$

(25)

Then ${\mathbb{M}}^m$ is diffeomorphic to ${\mathbb{S}}^m$.

Proof. 

Using Equation (19) in (24), we get required pinching condition (25). ☐

4. Conclusion Remark

We provide the characterization of a complete warped manifold to be diffeomorphically a unit sphere and some geometric classifications using Euler Lagrange formula along with Hamiltonian of the warping function. The topology of warped products and main extrinsic and intrinsic curvature invariants are emphatically related. Hence, our results may be seen as topological and differential sphere theorems from the viewpoint of warped product submanifolds theory. This paper shows the relation between the notion of warped product manifold and homotopy-homology theory. Therefore, we hope that this paper will be of great interest with respect to the topology of Riemannian geometry [28,29,30,31,32,33,34,35] which may find possible applications in physics.