[论文解读] Monotonicity of the first eigenvalue of the Laplace and the p-Laplace operators under a forced mean curvature flow

Jing Mao|arXiv (Cornell University)|Oct 21, 2013

Geometric Analysis and Curvature Flows参考文献 10被引用 3

一句话总结

本文在欧氏空间中紧致且严格凸的超曲面上，研究了受迫平均曲率流下拉普拉斯算子与p-拉普拉斯算子第一特征值的单调性。通过施加曲率与强迫项约束，证明当强迫系数满足 $\rho^2 \leq n\kappa(t)$ 时，第一特征值非增；当 $\sigma^2 \geq n\kappa(t)$ 时，第一特征值非减，从而将佩雷尔曼型单调性结果推广至超越里奇流的几何流。

ABSTRACT

In this paper, we would like to give an answer to extbf{Problem 1} below issued firstly in [J. Mao, Eigenvalue estimation and some results on finite topological type, Ph.D. thesis, IST-UTL, 2013]. In fact, by imposing some conditions on the mean curvature of the initial hypersurface and the coefficient function of the forcing term of a forced mean curvature flow considered here, we can obtain that the first eigenvalues of the Laplace and the $p$-Laplace operators are monotonic under this flow. Surprisingly, during this process, we get an interesting byproduct, that is, without any complicated constraint, we can give lower bounds for the first nonzero closed eigenvalue of the Laplacian provided additionally the second fundamental form of the initial hypersurface satisfies a pinching condition.

研究动机与目标

• 解决毛（2013）提出的关于几何流下特征值单调性的问题1。
• 将佩雷尔曼对里奇流的单调性结果推广至带有强迫项的平均曲率流。
• 推导拉普拉斯算子与p-拉普拉斯算子第一特征值在流过程中保持单调的条件。
• 在第二基本形式满足夹逼条件的前提下，建立拉普拉斯算子第一非零闭特征值的下界。
• 表明 $\lambda_1(t)$ 与 $\lambda_{1,p}(t)$ 的单调性行为可能因流参数不同而异，尽管 $p=2$ 是 $p$-拉普拉斯算子的特例。

提出的方法

• 分析带有时间依赖强迫项 $\kappa(t)$ 的受迫平均曲率流下拉普拉斯算子第一特征值 $\lambda_1(t)$ 的演化。
• 应用最大值原理与曲率估计，利用第一特征函数 $u$ 及其梯度 $\nabla u$ 推导 $\lambda_1(t)$ 的微分不等式。
• 导出关键演化不等式：$\frac{d}{dt}\lambda_1(t) \leq 2\lambda_1\left[-\kappa(t) + \left(\frac{1}{n} + \frac{5}{2}\epsilon\right)\rho^2\right]$，该不等式决定单调性。
• 对于 $p$-拉普拉斯算子，采用类似方法，结合 $p$-能量泛函与 $p$-拉普拉斯特征值 $\lambda_{1,p}(t)$，得到 $\frac{d}{dt}\lambda_{1,p}(t) \geq p\lambda_{1,p}\left[-\kappa(t) + \left(\frac{1}{n} - \frac{p+3}{p}\epsilon\right)\sigma^2\right]$。
• 对第二基本形式施加夹逼条件，以在无额外约束下获得拉普拉斯算子第一非零特征值的下界。
• 利用勒贝格微分定理证明 $\lambda_1(t)$ 与 $\lambda_{1,p}(t)$ 几乎处处可微，从而支持基于积分的单调性论证。

实验结果

研究问题

• RQ1 在何种条件下，拉普拉斯算子的第一特征值在受迫平均曲率流下保持单调？
• RQ2 能否在相同流下建立 $p$-拉普拉斯算子第一特征值的单调性？其与拉普拉斯情形相比有何异同？
• RQ3 强迫项 $\kappa(t)$ 在决定特征值单调性方向中起何种作用？
• RQ4 若第二基本形式满足夹逼条件，能否在不附加曲率假设下推导出拉普拉斯算子第一非零特征值的下界？
• RQ5 为何 $\lambda_1(t)$ 与 $\lambda_{1,p}(t)$ 的演化方程存在差异？为何拉普拉斯情形的证明不能直接推广至 $p$-拉普拉斯情形？

主要发现

• 当 $\rho^2 \leq n\kappa(t)$ 时，拉普拉斯算子的第一特征值 $\lambda_1(t)$ 在受迫平均曲率流下非增，其中 $\rho^2$ 是与第二基本形式相关的几何量。
• 当 $\sigma^2 \geq n\kappa(t)$ 时，$p$-拉普拉斯算子的第一特征值 $\lambda_{1,p}(t)$ 在相同流下非减，其中 $\sigma^2$ 是相关几何常数。
• 尽管 $\lambda_1(t)$ 是 $p=2$ 时 $\lambda_{1,p}(t)$ 的特例，但在相同假设下，$\lambda_1(t)$ 与 $\lambda_{1,p}(t)$ 的单调性行为并不相同，原因在于其演化方程存在差异。
• 在第二基本形式满足夹逼条件时，拉普拉斯算子的第一非零闭特征值存在正的下界，且无需额外曲率约束。
• $\lambda_1(t)$ 与 $\lambda_{1,p}(t)$ 在 $[0, T_{\text{m}})$ 上几乎处处可微，从而支持基于积分的单调性证明。
• 若 $\Xi = \infty$，则流的最大存在时间 $T_{\text{m}}$ 有限；若 $0 < \Xi < \infty$ 或 $\Xi = 0$，则 $T_{\text{m}}$ 无限，这对时间积分 $\widetilde{T}_{\text{m}} = \int_0^{T_{\text{m}}} \phi^2(s)ds$ 具有影响。