arXiv reader

Dirichlet–Neumann duality for the Basic Spectrum of Riemannian Submersions: A Supersymmetric Perspective

Vicent Gimeno i Garcia and Paulo Henryque da Costa Silva

arXiv
2606.12009v1 · PDF · 10 June 2026
Categories
math.DG, math.SP
Licence
CC BY 4.0 The site shows the text.

Abstract

This manuscript investigates the spectral geometry of Riemannian submersions whose fibers have a basic mean curvature. By restricting the Laplace–Beltrami operator to the space of basic functions, we reduce the spectral problem on M to the spectral problem for a weighted Laplacian on the base manifold, where the weight is determined by the fiber-volume function S. We derive a summation formula for the reciprocal of the basic Dirichlet eigenvalues (Basel-type series). Furthermore, using the framework of Supersymmetric Quantum Mechanics (SUSYQM), we establish a supersymmetric duality relating the basic Dirichlet and Neumann spectra under the transformation S \mapsto 1/S.

Items 18

Theorem

Theorem 1.1

BS8V

Let \pi_1: M_1\to \mathbb{R} and \pi_2: M_2\to \mathbb{R} be two Riemannian submersions with compact fibers of basic mean curvature. Let \Omega_1:=\pi^{-1}_1([a,b]), \Omega_2:=\pi^{-1}_2([a,b]) and suppose that the fiber volumes satisfy

S_1(t)=\frac{1}{S_2(t)},\quad \forall t\in[a,b],

where S_1(t)={\rm vol}(\pi_1^{-1}(t)) and S_2(t)={\rm vol}(\pi_2^{-1}(t)). Then

\sigma_{\rm basic}^{\mathcal{D}}(\Omega_1)=\sigma_{\rm basic}^\mathcal{N}(\Omega_2)-\{0\},\quad \sigma_{\rm basic}^{\mathcal{D}}(\Omega_2)=\sigma_{\rm basic}^\mathcal{N}(\Omega_1)-\{0\},

where \sigma_{\rm basic}^{\mathcal{D}}(\Omega) denotes the Dirichlet basic spectrum of \Omega and \sigma_{\rm basic}^\mathcal{N}(\Omega) denotes the Neumann basic spectrum of \Omega.

Corollary

Corollary 1.2

IUXD

Let \pi: M\to \mathbb{R} be a Riemannian submersion with compact fibers of basic mean curvature. Let \Omega=\pi^{-1}([a,b]) with \partial \Omega=\pi^{-1}(a)\cup\pi^{-1}(b). The following assertions hold

  1. If S is log-convex, i.e, (\log{S(t)})''\geq0 then \lambda_{2,{\text{basic}}}^{\mathcal{N}}(\Omega) \leq \lambda_{1, \text{basic}}^{\mathcal{D}}(\Omega). This implies \lambda_{2}^{\mathcal{N}}(\Omega) \leq \lambda_{1}^{\mathcal{D}}(\Omega).

  2. If S is log-concave, i.e, (\log{S(t)})'' \leq 0 then \lambda_{1,{\text{basic}}}^{\mathcal{D}}(\Omega) \leq \lambda_{2, \text{basic}}^{\mathcal{N}}(\Omega).

Moreover, the equality \lambda_{2,{\text{basic}}}^{\mathcal{N}}(\Omega) = \lambda_{1, \text{basic}}^{\mathcal{D}}(\Omega) in the above items holds if and only if (\log{S(t)})''=0.

Remark

Remark 1.3

F1L7

The exponential fiber-growth behavior illustrated in Figure ? is, in a certain sense, optimal for our framework. Indeed, under the usual supersymmetric correspondence between the basic Laplacian \triangle_{\rm basic} and the associated Schrödinger operator, discussed in detail in Section ?, exponential fiber growth corresponds precisely to the case where the effective Schrödinger potential is constant.

Theorem

Theorem 1.4

13E5

Let \pi: M\to \mathbb{R} be a Riemannian submersion with compact fibers of basic mean curvature. Let \Omega=\pi^{-1}([a,b]) with \partial \Omega=\pi^{-1}(a)\cup\pi^{-1}(b), and let

\sigma_{\rm basic}^\mathcal{D}(\Omega)=\left\{\lambda^\mathcal{D}_1(\Omega)>0, \lambda^\mathcal{D}_2(\Omega), \cdots \right\}

be the basic spectrum of \Omega with the Dirichlet boundary condition. Then:

\sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega)}= \left( {\int_{a}^b\frac{dt}{S(t)}} \right)^{-1}\int_a^b S(x)\left(\int_a^x\frac{dt}{S(t)}\int_x^b\frac{dt}{S(t)}\right)dx < \infty.
Used by Example 5.1, Proof
Corollary

Corollary 1.5

80BF

Let \pi: M\to \mathbb{R} be a Riemannian submersion with compact fibers of basic mean curvature. Let \Omega=\pi^{-1}([a,b]) and let

\sigma_{\rm basic}^\mathcal{N}(\Omega)=\left\{\lambda^\mathcal{N}_0(\Omega)=0,\lambda^\mathcal{N}_1(\Omega)>0, \lambda^\mathcal{N}_2(\Omega),\cdots \right\}

be the basic spectrum of \Omega with Neumann boundary conditions. Then

\sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{N}}(\Omega)}= \left( {\int_{a}^bS(t)dt} \right)^{-1}\int_a^b \frac{1}{S(x)}\left(\int_a^xS(t)dt\int_x^bS(t)dt\right)dx<\infty.
Example

Example 2.2

1VIG

Examples of Riemannian submersions with fibers having basic mean curvature vector field

  1. Warped Products as Riemannian Submersions. Warped products represent one of the most natural sources of Riemannian submersions with basic mean curvature. In these models, the metric on a product manifold is adapted such that the fiber volume varies consistently according to a warping function defined on the base manifold.

    Let (B, g_B) and (F, g_F) be Riemannian manifolds, and let w: B \to (0, \infty) be a smooth warping function. The warped product M = B \times_w F is the product manifold equipped with the metric:

    g = \pi^* g_B + (w \circ \pi)^2 \sigma^* g_F

    where \pi: M \to B and \sigma: M \to F are the natural projections. The map \pi is a Riemannian submersion because its differential d\pi is an isometry when restricted to the horizontal distribution \mathcal{H} = (\ker d\pi)^\perp.

    The fibers F_p = \pi^{-1}(p) are submanifolds of M. For any vertical vector fields V, W \in \mathcal{V} (tangent to the fibers), the Levi–Civita connection \nabla of M satisfies (see [Oneill] for instance):

    \nabla_V W = \nabla^F_V W - \frac{g(V, W)}{\omega} \nabla\omega,

    where \omega=w\circ \pi. The second fundamental form \mathrm{II} of the fibers is the horizontal component of this connection:

    \mathrm{II}(V, W) = (\nabla_V W)^\perp = - \frac{g(V, W)}{\omega} \nabla\omega.

    This identity shows that the fibers are totally umbilical submanifolds, as \mathrm{II} is proportional to the metric g. The mean curvature vector \vec{H} is the trace of \mathrm{II}. Let \{E_1, \dots, E_n\} be a local orthonormal basis for the fiber:

    \vec{H} = \sum_{i=1}^n \mathrm{II}(E_i, E_i) = -n\sum_{i=1}^n \frac{1}{\omega}\nabla\omega,\quad n = \dim F.

    Since

    d\pi\left(-n \frac{\nabla\omega}{\omega}\right)=-n\frac{\nabla^Bw}{w},

    we conclude that any warping product admits the structure of a submersion with fibers of basic mean curvature vector field. Observe that when F has finite volume,

    S(p)= {\rm vol}(\pi^{-1}(p))=w(p)^n{\rm vol}(F),

    and as stated,

    d\pi(\vec H)=-\frac{\nabla^B S}{S}.

    In the specific case of a 1-dimensional base manifold \mathbb{R}\times_wF, the mean curvature of the fibers is given by

    \vec{H}=-n\frac{w'(t)}{w(t)}=-\frac{S'(t)}{S(t)}\partial t.

  2. Lie Group constructions. Beyond the warped product structure, it is known (see [Polymerakis2021] for instance) that whenever a Lie group G acts smoothly, freely, and properly via isometries on a Riemannian manifold M and {\rm dim}(G)<{\rm dim}(M), the projection \pi:M\to B:=M/G is a Riemannian submersion with fibers of basic mean curvature vector field.

    We can moreover construct Riemannian submersions with fibers of basic mean curvature vector field by defining specific metrics on the product of the real line and a Lie group M=\mathbb{R}\times G. By choosing left-invariant vector fields and allowing the metric coefficients to depend on the parameter t, we obtain a class of submersions where the basicity of the mean curvature of the fibers is guaranteed by the algebraic structure of the group.

    Let G be a compact n-dimensional Lie group with Lie algebra \mathfrak{g}. Let \{X_1,\cdots, X_n\} be a family of non-vanishing left invariant vector fields of G such that

    \mathfrak{g}={\rm span}\left\{X_1,\cdots,X_n\right\}.

    Consider the manifold M=\mathbb{R}\times G endowed with the following metric \langle,\rangle_M:

    \begin{array}{lclr} \langle \partial t,\partial t\rangle&=&1& \\ \langle \partial t,X_i\rangle&=&0& \forall i\\ \langle X_i,X_j\rangle&=&0 & \text{ for } i\neq j\\ \langle X_i,X_i\rangle&=&h^2_i(t)q^2_i(g)& \forall i \end{array}

    where h_i\in C^{\infty}(\mathbb{R},\mathbb{R}_+) and q_i\in C^{\infty}(G,\mathbb{R}_+). The map \pi:M\to \mathbb{R} is a Riemannian submersion with compact fibers. To verify that the mean curvature of the fibers is a basic vector field, we use the Koszul formula:

    2\langle \nabla_{X_i}X_i,\partial_t\rangle=-\partial_t\left(\langle X_i,X_i\rangle\right)=-2h_i(t)\dot h_i(t) q_i^2(g).

    Hence, the mean curvature vector field H is:

    \begin{aligned} H=&{\rm tr}(\mathrm{II})=\sum_{i=1}^n\mathrm{II}\left(\frac{X_i}{\Vert X_i\Vert},\frac{X_i}{\Vert X_i\Vert}\right)=\sum_{i=1}^n\frac{1}{\Vert X_i\Vert^2}\mathrm{II}(X_i,X_i)\\ =&\sum_{i=1}^n\frac{1}{\Vert X_i\Vert^2}\langle \nabla_{X_i}X_i,\partial t\rangle \partial_t=-\left(\sum_{i=1}^n\frac{\dot h_i(t)}{h_i(t)}\right)\partial_t . \end{aligned}

    This leads to the relationship:

    d\pi(H)=-\frac{\nabla S}{S}=-\frac{\dot S}{S}

    by taking S(t)=\prod_{i=1}^nh_i(t), confirming that these constructions satisfy the required conditions for our spectral analysis.

Uses Definition 2.1 · Used by Example 5.1
Remark

Remark 3.1 (Schrödinger type operator)

MDS3

Once the decomposition \mathscr{L}_S^+=\mathcal{A}_S^\dag\circ \mathcal{A}_S is established, the standard supersymmetric framework can be applied. The reader may ask for a Schrödinger-type operator and decomposition to look for superpotentials and supercharges. This part of the theory is not required for what is used in this paper. Nevertheless, we remark here that by using the unitary map

T\colon L^2(B,S(x)dv_{g})\longrightarrow L^2(B,dv_{g}), \qquad Tf=S^{1/2}f,

the operator \mathscr{H}_S: =T\mathscr L_S^+T^{-1} is a Schrödinger-type operator. Indeed, given \varphi\in C_0^\infty(B), let f=T^{-1}\varphi=S^{-1/2}\varphi=e^{-\psi/2}\varphi; then

T\mathscr L^+_ST^{-1}=e^{\psi/2}(\mathscr L_S^{+}(e^{-\psi/2}\varphi)) =e^{\psi/2}\left( -\triangle_B(e^{-\psi/2}\varphi) -\left\langle \nabla\psi,\nabla(e^{-\psi/2}\varphi) \right\rangle\right),

with \psi \coloneq \log S. A direct computation gives

\begin{aligned} \nabla\bigl(e^{-\psi/2}\varphi\bigr) &= e^{-\psi/2} \left( \nabla\varphi-\frac12\varphi\nabla\psi \right), \\ \triangle_B\bigl(e^{-\psi/2}\varphi\bigr) &= e^{-\psi/2} \left[ \triangle_B\varphi - \langle\nabla\psi,\nabla\varphi\rangle + \left( \frac14|\nabla\psi|^2 - \frac{1}{2}\triangle_B \psi \right)\varphi \right]. \end{aligned}

Taking the inner product of (3.1) with \nabla\psi, we obtain

\left\langle \nabla\psi,\nabla\bigl(e^{-\psi/2}\varphi\bigr) \right\rangle = e^{-\psi/2} \left[ \langle\nabla\psi,\nabla\varphi\rangle - \frac{1}{2}|\nabla\psi|^2\varphi \right].

Multiplying both sides by e^{\psi/2}=S^{1/2}, we conclude that

T\mathscr L_S^+T^{-1}\varphi = -\triangle_B\varphi + \left( \frac{1}{4}|\nabla\psi|^2 +\frac{1}{2}\triangle\psi \right)\varphi.

Since \psi=\log S, this gives

\mathscr{H}_S=T\mathscr L_ST^{-1} = - \triangle_{B} +\underbrace{\frac{1}{4}|\nabla\log S|^2 +\frac{1}{2}\triangle\log S}_{ \coloneqq \mathcal{V}_S}.

Thus \mathscr L^+_S, and therefore the positive Laplace–Beltrami operator \triangle_M restricted to basic functions, is unitarily equivalent to the Schrödinger operator \mathscr H_S.

The Schrödinger operator \mathscr{H}_S with geometric potential depending only on the volume of the fibers has been studied in [Polymerakis2021]. There, it is proved that the basic spectrum of the Laplacian on a Riemannian submersion with fibers having a basic mean curvature vector field is discrete if and only if the spectrum of \mathscr{H}_S is discrete as well.

Uses Definition 2.1
Theorem

Theorem 3.2

VJCF

Let \Omega\subset B be a precompact domain with smooth boundary \partial \Omega. Consider the Dirichlet and divergence-free eigenvalue problems for the inversely weighted partners \mathscr{L}_S^{+} and \mathscr{L}_S^{-}:

\begin{equation} \left\{ \begin{aligned} \mathscr{L}_S^{+}\varphi &= \lambda \varphi \quad &&\text{in } \Omega ,\\ \varphi &= 0 \quad &&\text{on } \partial \Omega, \end{aligned} \right. \end{equation} \begin{equation} \left\{ \begin{aligned} \mathscr{L}_S^{-}X &= \lambda X \quad &&\text{in } \Omega,\\ {{\mathrm{div}}}(X) &= 0 \quad &&\text{on } \partial \Omega. \end{aligned} \right. \end{equation}

Then the following statements hold:

  1. If \lambda \neq 0 and \varphi \in C^{\infty}(B) is a nontrivial solution of the Dirichlet eigenvalue problem for \mathscr L_S^{+}, then

    X \coloneqq \mathcal A_S \varphi = S \nabla \varphi

    is a nontrivial solution of the divergence-free boundary problem associated with \mathscr L_S^{-} in (?), with the same eigenvalue \lambda.

  2. If \lambda \neq 0 and X \in \mathfrak{X}(M) is a nontrivial solution of the divergence-free boundary problem for \mathscr L_S^{-}, then

    \varphi:=\mathcal{A}^\dag_SX=\frac{1}{S}{{\mathrm{div}}}(X)

    is a nontrivial solution of the Dirichlet problem associated with \mathscr L_S^{+} in (3.2), with the same eigenvalue \lambda.

Consequently, the nonzero Dirichlet spectrum of \mathscr L_S^{+} coincides with the nonzero divergence-free boundary spectrum of \mathscr L_S^{-}, counting multiplicities.

Used by Remark 3.3
Proof of Theorem 3.2

Assume first that \varphi is a nontrivial solution of (3.2) with \lambda \neq 0, and define X \coloneq \mathcal A_S\varphi. By the intertwining relation

\mathcal A_S\mathscr L_S^{+} = \mathscr L_S^{-}\mathcal A_S,

this yields

\mathscr L_S^{-}X = \mathscr L_S^{-}(\mathcal A_S\varphi) = \mathcal A_S(\mathscr L_S^{+}\varphi) = \lambda \mathcal A_S\varphi = \lambda X.

It remains to determine the effect on the boundary condition. Since {{\mathrm{div}}}(X)= {{\mathrm{div}}}(S\nabla\varphi) and

\mathscr{L}_S^{+} \varphi \coloneqq \dfrac{1}{S}{{\mathrm{div}}}\left({S}\nabla\varphi \right),

it follows that

{{\mathrm{div}}}(X) = S\mathscr L_S^{+}\varphi = \lambda S\varphi.

Since S is continuous in \Omega and \varphi|_{\partial \Omega}=0, we conclude that {{\mathrm{div}}}(X)=0 on \partial \Omega. Hence, X satisfies the divergence-free boundary problem (?) for \mathscr L_S^{-}. Moreover, if X \equiv 0, then S \nabla\varphi\equiv 0, and since S>0, therefore \nabla \varphi\equiv 0. Thus, \varphi is constant in each connected component. Hence, by the Dirichlet boundary condition \varphi = 0, a contradiction. Therefore X \not\equiv 0.

Conversely, now assume that X is a nontrivial solution of the divergence-free boundary problem (?) with \lambda \neq 0, and define \varphi \coloneq \mathcal{A}^\dag_SX. Using again the intertwining relation

\mathcal{A}^\dag_S\mathscr{L}_S^{-} = \mathscr{L}_S^{+}\mathcal{A}^\dag_S,

we conclude

\mathscr L_S^{+}\varphi = \mathscr L_S^{+}(\mathcal A^\dag_SX) = \mathcal A^\dag_S(\mathscr L_S^{-}X) =\lambda \mathcal{A}^\dag_SX = \lambda\varphi.

Furthermore, \varphi|_{\partial \Omega}= \mathcal{A}^\dag_S (X)|_{\partial \Omega} = (1/S) {{\mathrm{div}}}(X)|_{\partial \Omega} = 0, so \varphi satisfies the Dirichlet problem (3.2). Finally, if \varphi = 0, then {{\mathrm{div}}}(X)=0. Hence,

0= \nabla\left( {{\mathrm{div}}}(X) \right) - {{\mathrm{div}}}(X) \nabla \log S =\mathscr L_S^{-}X= \lambda X.

Since \lambda \neq 0, this implies that X \equiv 0, again a contradiction. Therefore \varphi \neq 0.

It follows that the maps

X\mapsto \mathcal A_S^\dag X, \qquad \psi\mapsto \mathcal A_S\psi,

define mutually inverse correspondences between the eigenspaces associated with each nonzero eigenvalue \lambda. This proves the claimed spectral correspondence.

Remark

Remark 3.3

6BS2

Observe that the first eigenvalue of the divergence-free boundary problem for \mathscr L_S^{-} in (?) is zero, with the associated eigenspace consisting of solenoidal fields. Apart from this zero mode, Theorem 3.2 shows that the Dirichlet eigenpairs (\varphi_k,\lambda_k^{\mathcal D}) associated with (3.2) are mapped by \mathcal A_S to the eigenpairs (X_k,\lambda_k^{\text{Div}}) associated with the divergence-free boundary problem (?), for k\geq 1, as illustrated in the diagram below (see Figure ?).

Uses Theorem 3.2
Corollary

Corollary 3.4

P3J6

Let (B,g_B) be a Riemannian manifold with weight d\mu= Sdv_g. Let \Omega \subset B be a precompact domain with smooth boundary. Then the first (positive) eigenvalue of

-\triangle_\mu \phi=\lambda \phi\quad {\rm in}\quad \Omega,

with Dirichlet boundary condition on \partial \Omega is given by

\lambda_1^\mu(\Omega)=\min_{X\in\mathfrak{sol}^\perp(\Omega)} \left\{\frac{\displaystyle \int_\Omega \left(\frac{{{\mathrm{div}}}(X)}{S}\right)^2d\mu'}{\displaystyle\int_\Omega \Vert X\Vert^2d\mu'}\right\}.

Where d\mu'=\frac{1}{S}dv_g and \mathfrak{sol}^\perp(D) is the orthogonal complement of the solenoidal vector fields with respect to the norm

(-,-):\mathfrak{X(}D)\times\mathfrak{X(}D)\to \mathbb{R}, \quad (X,Y)=\int_D\langle X,Y\rangle d\mu',

and with free-divergence boundary condition.

Proof of Corollary 3.4

Observe first of all that \mathscr{L}_S^- is self-adjoint in the following sense

\begin{aligned} \int_\Omega\langle Y,\mathscr{L}_S^-(X)\rangle d\mu'= &\left\langle\mkern-4mu\left\langle (0,Y), \mathcal{Q}\mathcal{Q}^\dag(0,X) \right\rangle\mkern-4mu\right\rangle=\left\langle\mkern-4mu\left\langle \mathcal{Q}^\dag(0,Y), \mathcal{Q}^\dag(0,X) \right\rangle\mkern-4mu\right\rangle\\ =&\left\langle\mkern-4mu\left\langle \mathcal{Q}\mathcal{Q}^\dag(0,Y), (0,X) \right\rangle\mkern-4mu\right\rangle=\int_\Omega\langle \mathscr{L}_S^-(Y),X\rangle d\mu', \end{aligned}

for any X,Y\in \mathfrak{X}(B) satisfying the free-divergence boundary condition on \partial \Omega. Therefore, we can find an orthonormal eigenbasis \{X_i\} such that

\mathscr{L}_S^-(X_i)=\lambda_iX_i,\quad \int_\Omega\langle X_i,X_j\rangle d\mu'=\delta_{ij} .

Since the case \lambda_0=0 corresponds to solenoidal vector fields and 0<\lambda_1=\lambda_1^{\mu}(\Omega), a standard Rayleigh quotient argument (see [Chavel]) yields:

\begin{aligned} \lambda_1^{\mu}(\Omega)=\min_{X \in \mathfrak{sol}^\perp(\Omega)} \frac{\int_\Omega\langle X,\mathscr{L}_S^-(X)\rangle d\mu'}{\int_\Omega\langle X,X\rangle d\mu'}=&\min_{X \in \mathfrak{sol}^\perp(\Omega)}\frac{\left\langle\mkern-4mu\left\langle \mathcal{Q}^\dag(0,X), \mathcal{Q}^\dag(0,X) \right\rangle\mkern-4mu\right\rangle}{\int_\Omega\Vert X\Vert^2 d\mu'}\\ =&\min_{X \in \mathfrak{sol}^\perp(\Omega)} \frac{\displaystyle \int_\Omega \left(\frac{{{\mathrm{div}}}(X)}{S}\right)^2d\mu'}{\displaystyle\int_\Omega \Vert X\Vert^2d\mu'}\cdot \end{aligned}
Lemma

Lemma 4.1

UGT2

Let \Omega be a precompact set and let U be an open precompact set such that \overline U\subset \Omega. Then for any y\in U,

\inf_{x\in \partial U} g_\Omega(x,y)\leq {\rm cap}(U, \Omega)^{-1}\leq \sup_{x\in \partial U} g_\Omega(x,y).
Example

Example 5.1

19BF

We now investigate the reciprocal sum of the basic eigenvalues in several classical models. We first estimate the reciprocal sum of the basic eigenvalues for the symmetric precompact domains in the catenoid and a suitable precompact domain in the pseudosphere. Moreover, we compute the corresponding quantity for spaces with this type of growth in fiber volume.

  1. Truncated catenoid. The catenoid \mathcal{C} \subset \mathbb{R}^3 is a minimal surface of revolution. It can be described by the rotation around the z-axis of the catenary curve given by \alpha(v) = (a \cosh(v/a),0,v) where a>0 is a constant. Therefore, the truncated catenoid can be parameterized by \mathbf{x}: [0, 2\pi] \times[-\ell,\ell] \to \mathcal{C}

    \mathbf{x}(u,v)= \left( a\cosh{\left( \dfrac{v}{a} \right)\cos{u}}, a\cosh{\left( \dfrac{v}{a} \right)\sin{u}}, v \right).

    A direct computation gives

    \begin{aligned} \mathbf{x}_u(u,v) &= \left( -a \cosh{\left( \frac{v}{a} \right)}\sin{u}, a \cosh{\left( \frac{v}{a} \right)}\cos{u},0 \right), \\ \mathbf{x}_v(u,v)&= \left( \sinh{\left( \frac{v}{a} \right)}\cos{u},\sinh{\left( \frac{v}{a} \right)}\sin{u}, 1 \right). \end{aligned}

    Hence, we obtain the following standard relations

    \langle \mathbf{x}_u, \mathbf{x}_u \rangle = a^2\cosh^2{\left( \frac{v}{a} \right)}, \quad \langle \mathbf{x}_v, \mathbf{x}_v \rangle = \cosh^2{\left( \frac{v}{a} \right)}, \quad \langle \mathbf{x}_u, \mathbf{x}_v \rangle = 0.

    Therefore, the metric g_\mathcal{C} induced on the catenoid is given by

    g_\mathcal{C} = \cosh^2{\left( \frac{v}{a} \right)}dv^2 + a^2\cosh^2{\left( \frac{v}{a} \right)}du^2.

    To put the metric in warped-product form, we introduce the arc-length coordinate along the meridian direction:

    t = \int_0^v \cosh{\left( \frac{s}{a} \right)}ds = a\sinh{\left( \frac{v}{a} \right)}, \quad dt = \cosh{\left( \frac{v}{a} \right)}dv.

    Moreover, since r/a = \sinh{(v/a)}, we have

    \cosh^2{\left( \frac{v}{a} \right)} = 1+ \sinh^2{\left( \frac{v}{a} \right)} = 1+ \left( \frac{t}{a} \right)^2.

    Thus, substituting the above change of variables into metric equation above, we find that the truncated catenoid is isometric to the warped product (\mathcal C,g_{\mathcal C}) \cong [-L,L]\times_{\sqrt{a^2+t^2}}\mathbb S^1 where L = a \sinh(\ell/a). Since the warping function is given by w(t) = \sqrt{a^2+t^2}, by item (1) in Example 2.2 we see that \mathcal{C} admits a Riemannian submersion \pi: \mathcal{C} \to [-L,L] with compact fibers of basic mean curvature and fiber-volume function given by S(t) = 2\pi \sqrt{a^2 + t^2} as illustrated in Figure ?

    The paper has a figure here, which this page does not show.

    We now apply Theorem 1.4 to compute the reciprocal sum of the basic spectrum of the truncated catenoid. We define the function

    \theta(x) \coloneq \operatorname{arcsinh}{\left( \frac{x}{a} \right)}

    and consider the following computation:

    \begin{aligned} \int_{-L}^L \frac{1}{S(t)}dt =& \frac{1}{2\pi}\int_{-L}^{L} \frac{1}{\sqrt{a^2 + t^2}} dt \\ =& \frac{1}{\pi } \theta(L). \end{aligned}

    Using the identity above once again, together with the fact that \theta is an odd function, we have the following

    \begin{aligned} \int_{-L}^x \frac{1}{S(t)}dt &= \frac{1}{2\pi} \left[ \theta(x) + \theta(L) \right], \\ \int_{x}^{L} \frac{1}{S(t)}dt &= \frac{1}{2\pi} \left[ \theta(L) - \theta(x) \right]. \end{aligned}

    Multiplying the given identities yields

    \left( \int_{-L}^x \frac{1}{S(t)}dt \right) \left( \int_{x}^{L} \frac{1}{S(t)}dt \right) = \frac{1}{4\pi^2} \left[ \theta^2(L) - \theta^2(x) \right].

    Since S(x)=2\pi\sqrt{a^2+x^2}, using the identity above and the change of variables x=a\sinh\theta, yields the following computation:

    \begin{aligned} \frac{\pi}{a^2}\int_{-L}^LS(x) \left( \left( \int_{-L}^x \frac{1}{S(t)}dt \right) \left( \int_{x}^{L} \frac{1}{S(t)}dt \right) \right)dx &= \frac{1}{3}\theta^3(L)\\ &+ \frac{1}{4}\theta(L)\cosh{\left( 2 \theta(L) \right)} \\ &-\frac{1}{8}\sinh{\left( 2\theta(L) \right)}. \end{aligned}

    Therefore, substituting (?) and the identity above into the formula in Theorem 1.4, we obtain

    \begin{aligned} \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\mathcal{C})} =& \left( \int_{-L}^L\frac{dt}{S(t)} \right)^{-1} \int_{-L}^L S(x)\left(\int_{-L}^x\frac{dt}{S(t)}\int_x^L\frac{dt}{S(t)}\right)dx \\ =& a^2 \left[ \frac{1}{3}\theta^2(L) +\frac{1}{4}\cosh{\left( 2 \theta(L) \right)} -\frac{1}{8\theta(L)}\sinh{\left( 2\theta(L) \right)} \right]. \end{aligned}

  2. Pseudosphere. We consider the pseudosphere \mathcal{S}, or tractricoid, obtained by rotating a tractrix around the z-axis. Let \gamma(v) = \left( e^{-\alpha v},0,\psi(v) \right) be the generating curve, where

    \psi(v) = \frac{1}{\alpha} \left[ \sqrt{ 1- \alpha^2 e^{-2\alpha v}} + \log \left( \frac{\alpha e^{-\alpha v}}{1+\sqrt{1-\alpha^2 e^{-2\alpha v}}}\right) \right].

    The corresponding surface of revolution is therefore parametrized by

    \mathbf{y}(u,v) = \left( e^{-\alpha v}\cos u, e^{-\alpha v}\sin u, \psi(v) \right), \qquad v\in[0,2\pi).

    It is a classical model surface with constant negative Gaussian curvature K=-\alpha^2. A direct computation gives

    \langle \mathbf{y}_u, \mathbf{y}_u \rangle = e^{-2\alpha v}, \qquad \langle \mathbf{y}_v, \mathbf{y}_v \rangle = 1, \qquad \langle \mathbf{y}_u, \mathbf{y}_v \rangle = 0.

    Therefore, the metric g_\mathcal{S} induced on the pseudosphere is given by

    g_\mathcal{S} = dv^2 + e^{-2\alpha v}du^2.

    Thus, the pseudosphere (\mathcal{S},g_\mathcal{S}) is isometric to the warping product I_\alpha \times_{w} \mathbb{S}^1 where the interval I_\alpha = (\log \alpha/\alpha, \infty) with the warping function given by w(v) = e^{-\alpha v}. If 0<\alpha<1, then 0\in I_\alpha. Hence, for every L>0, the interval (0,L) is compactly contained in I_\alpha, and therefore we may choose the relatively compact domain \Omega=\pi^{-1}((0,L))\subset \mathcal S. In this case, \pi(\Omega)=(0,L). Moreover, the fibers are circles of radius e^{-\alpha t}, and hence by Example 2.2 item (1) we have S(t)= {\rm vol}(\pi^{-1}(t))=w(t){\rm vol}(\mathbb{S}^1) = 2\pi e^{-\alpha t}. The geometric scheme is illustrated in Figure ?

    The paper has a figure here, which this page does not show.

    We may therefore apply Theorem 1.4 with S(t)=2\pi e^{-\alpha t} to derive the following formula for the harmonic sum of the basic eigenvalues.

    \begin{aligned} \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega)} =& \ \left( \int_{0}^L\frac{dt}{S(t)} \right)^{-1} \int_0^L S(x)\left(\int_0^x\frac{dt}{S(t)}\int_x^L\frac{dt}{S(t)}\right)dx \\ =& \ \frac{1}{\alpha^2(e^{\alpha L}-1)}\left( e^{\alpha L}(\alpha L -2) + \alpha L + 2 \right). \end{aligned}

    We now substitute S(t)=2\pi e^{-\alpha t} into the weighted Laplacian formula in (?), which produces the following differential equation:

    \left\{\begin{aligned} f''(t) -\alpha f'(t) +\lambda f(t) &= 0 \quad \text{ for } x \in (0,L),\\ f&= 0 \quad \text{ for } x\in \{0\}\cup \{L\}. \end{aligned} \right.

    The solution to this system is obtained via the Liouville transformation by setting f(t)=e^{(\alpha/2)t}u(t). Consequently, we obtain

    \left\{\begin{aligned} u''(t) + \left(\lambda - \frac{\alpha^2}{4} \right) u(t) &= 0 \quad \text{ for } x \in (0,L),\\ u(t) &= 0 \quad \text{ for } t\in \{0\}\cup \{L\}. \end{aligned} \right.

    The function u inherits the Dirichlet boundary conditions from f. Hence, equation above admits a nontrivial solution if and only if \lambda-\alpha^2/4>0. Moreover, a solution of the weighted problem above, up to a multiplicative constant, is given by f(t)=e^{(\alpha/2)t}\sin((n\pi/L)t). In this case, the existence of a nontrivial solution satisfying the Dirichlet boundary conditions requires that

    \lambda_k = \frac{\alpha^2}{4} + \frac{k^2 \pi^2 }{L^2} \cdot

    Therefore, summing over k the reciprocals of the values obtained and comparing with the basic eigenvalue sum obtained previously yields the following formula for the generalized Basel-type series:

    \begin{aligned} \sum_{k=1}^{\infty} \dfrac{1}{(\alpha L)^2 + (2 k \pi )^2} =& \frac{1}{4L^2}\sum_{k=1}^{\infty}\frac{1}{\lambda_k} \\ =& \frac{1}{4L^2} \left( \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega)} \right) \\ =& \frac{1}{4 (\alpha L)^2(e^{\alpha L}-1)}\left( e^{\alpha L}(\alpha L -2) + \alpha L + 2 \right) \\ =& \frac{e^{\alpha L}+1}{4 (\alpha L)(e^{\alpha L}-1)}-\frac{1}{2(\alpha L)^2}\\ =& \frac{1}{4\alpha L}\coth{\left( \frac{\alpha L}{2} \right)} - \frac{1}{2(\alpha L)^2} \cdot \end{aligned}

    Since L>0 can be chosen arbitrarily, the change of variables z=\alpha L/(2\pi) ranges over positive values. Therefore, the identity in (?), which holds for every 0<\alpha<1, recovers the Mittag-Leffler expansion of \pi\coth(\pi z) after this change of variables; see [Ahlfors1979, Chapter 7].

Uses Example 2.2, Definition 2.1, Theorem 1.4
Theorem

Theorem 5.2

KQKR

Let M, N_1 and N_2 be Riemannian manifolds. Suppose that there exist Riemannian submersions \pi \colon M \to [a,b], \pi_1\colon N_1 \to [a,b] and \pi_2 \colon N_2 \to [a,b] with compact fibers of basic mean curvature and fiber volumes given by S_M(t)=\operatorname{vol}(\pi^{-1}(t)), S_{N_1}(t)=\operatorname{vol}(\pi_1^{-1}(t)), S_{N_2}(t)=\operatorname{vol}(\pi_2^{-1}(t)). Assume that there exist constants \alpha, \beta \in (0,\infty) such that S_{N_1}(t)=\alpha, S_{N_2}(t)=\beta and \alpha \leq S(t) \leq \beta. Then the following statements hold:

  1. \displaystyle \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_{N_1})} = \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_{N_2})};

  2. \displaystyle\left( \dfrac{\alpha}{\beta} \right)^2 \left( \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_N)} \right) \leq \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_M)} \leq \left( \dfrac{\beta}{\alpha} \right)^2 \left( \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_N)}\right).

Here \Omega_M = \pi^{-1}([a,b]) and \Omega_{N_i} = \pi_i^{-1}([a,b]) for i=1,2.

Uses Definition 2.1
Proof of Theorem 5.2

For the proof of item (1) it suffices to note that if S_{N_i}(t) = \alpha_i for some \alpha_i \in (0,\mathbb{R}), then by Theorem 1.4 we have

\sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_{N_i})} = \frac{(b-a)^2}{6} \cdot

Therefore, the reciprocal sum of the basic eigenvalues does not depend on the constant \alpha_i chosen initially. For the proof of item (2), since there exist constants \alpha, \beta \in (0,\infty) such that \alpha \leq S(t) \leq \beta, together with (Proof), it follows from the formula given in Theorem 1.4 that

\begin{aligned} \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_M)} &= \left(\int_{a}^b\frac{dt}{S_M(t)}\right)^{-1}\int_{a}^b S_M(x)\left(\int_{a}^x\frac{dt}{S_M(t)}\int_x^b\frac{dt}{S_M(t)}\right)dx \\ &\geq\left(\int_{a}^b\frac{dt}{\alpha}\right)^{-1}\int_{a}^b \alpha \left(\int_{a}^x\frac{dt}{\beta}\int_x^b\frac{dt}{\beta}\right)dx \\ &= \left( \frac{\alpha}{\beta} \right)^2 \dfrac{1}{(b-a)}\int_{a}^b (x-a)(b-x)dx \\ &= \left( \frac{\alpha}{\beta} \right)^2 \left( \sum_{k=1}^{\infty}\frac{1}{\lambda_k^{\mathcal{D}}(\Omega_N)} \right). \end{aligned}

The index i in N_i can be omitted due to item (1). The upper bound in item (2) follows by symmetry, exchanging the roles of \alpha and \beta.

Uses Theorem 1.4
Corollary

Corollary 5.3

1AU5

Let M be a Riemannian manifold. Let \Omega\subset M be a bounded precompact domain with smooth boundary. Suppose that there exists a Riemannian submersion \pi \colon \Omega \to [a, b] with compact fibers of a basic mean curvature vector field. Assume that there exist constants \alpha, \beta \in (0,\infty) such that \alpha \leq S(t) \leq \beta. Then:

\lambda_{1}^{\mathcal{D}}(M)\geq \left(\frac{\alpha}{\beta}\right)^2\frac{6}{(b-a)^{2}} \cdot
Uses Definition 2.1

Source and licence

The text on this page is from arXiv:2606.12009v1 by Vicent Gimeno i Garcia and Paulo Henryque da Costa Silva, 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/2606/2606.12009.jsonl.