[论文解读] Critical metrics for the determinant of the Laplacian in odd dimensions

Kate Okikiolu|ArXiv.org|Mar 1, 2001

Nonlinear Partial Differential Equations参考文献 20被引用 7

一句话总结

本文推导了奇维紧流形上拉普拉斯算子与共形拉普拉斯算子的 zeta-正则化行列式的一阶与二阶变分公式。结果表明，$(-1)^{(n-1)/2}ext{det}'\Delta$ 或 $(-1)^{(n-1)/2}|\det L|$ 的临界度量具有有限指标，这意味着当 $n=4m+1$ 时无局部极大值，当 $n=4m+3$ 时无局部极小值，且标准 3-球面是 $ext{det}'\Delta$ 的局部极大值，而标准 $(4m+3)$-球面则是鞍点。

ABSTRACT

Let M be a closed compact n-dimensional manifold with n odd. We calculate the first and second variations of the zeta-regularized determinants det^\primeΛand det L as the metric on M varies, where Δdenotes the Laplacian on functions and L denotes the conformal Laplacian. We see that the behavior of these functionals denotes the conformal Laplacian. We see that the behavior of these functionals depends on the dimension. Indeed, every critical metric for (-1)^{(n-1)/2}det^\primeΛor (-1)^{(n-1}/2}| det L| has finite index. Consequently there are no local maxima if n=4m+1 and no local minima if n=4m+3. We show that the standard 3-sphere is a local maximum for det^\primeΛwhile the standard (4m-3)-sphere with m=1,2,...,4, is a saddle point. By contrast, for all odd n, the standard n-sphere is a local extremal for det L. An important tool in our work is the canonical trace on odd class operators in odd dimensions. This trace is related to the determinant by the formula det Q = TR log Q, and we prove some basic results on how to calculate the trace.

研究动机与目标

• 计算奇维紧流形上拉普拉斯算子与共形拉普拉斯算子的 zeta-正则化行列式的一阶与二阶变分公式。
• 分析 $\text{det}'\Delta$ 与 $\det L$ 的临界度量的指标，尤其关注维数奇偶性的影响。
• 建立标准 $n$-球面在所有奇维下均为 $\det L$ 的局部极值点。
• 发展并应用奇类算子上的规范迹作为计算行列式的关键分析工具。
• 阐明谱行列式在奇维下关于度量变化的行为，特别是关于极值性与指标理论的表现。

提出的方法

• 基于 zeta 函数 $Z(s) = \sum_{\lambda_j \neq 0} \lambda_j^{-s}$ 的解析延拓，使用 zeta-正则化定义 $\text{det}'\Delta$ 与 $\det L$。
• 应用奇类伪微分算子上的规范迹，其中 $\det Q = \text{TR}(\log Q)$，以建立谱行列式与迹泛函之间的联系。
• 利用函数演算与热核渐近展开，推导度量变化下 $\text{det}'\Delta$ 与 $\det L$ 的一阶与二阶变分公式。
• 通过奇异核的傅里叶级数展开计算标准球面上 $\log \det L$ 的 Hessian 算子。
• 分析临界度量处 Hessian 算子的指标，以判断其为局部极大值、极小值或鞍点。
• 利用 $\det L$ 在奇维下具有共形不变性这一事实，简化了球面上极值性的分析。

实验结果

研究问题

• RQ1 在奇维下，$\text{det}'\Delta$ 与 $\det L$ 的一阶与二阶变分在度量变化下如何表现？
• RQ2 在奇维下，$(-1)^{(n-1)/2}\text{det}'\Delta$ 或 $(-1)^{(n-1)/2}|\det L|$ 的临界度量的指标为何？
• RQ3 为何标准 3-球面在 $\text{det}'\Delta$ 上达到局部极大值，而更高奇维球面则为鞍点？
• RQ4 奇类算子上的规范迹如何促进奇维下谱行列式的计算？
• RQ5 为何标准 $n$-球面在所有奇维下始终是 $\det L$ 的局部极值点，无论 $n$ 为何值？

主要发现

• 当且仅当度量是泛函的临界点时，$\text{det}'\Delta$ 的一阶变分为零，且二阶变分决定了临界点的指标。
• 当 $n=4m+1$ 时，$(-1)^{(n-1)/2}\text{det}'\Delta$ 无局部极大值；当 $n=4m+3$ 时，无局部极小值。
• 标准 3-球面是 $\text{det}'\Delta$ 的局部极大值，由其在标准度量下 Hessian 算子的负定性所证实。
• 当 $n=4m+3$ 时，标准 $n$-球面是 $\text{det}'\Delta$ 的鞍点，因为其 Hessian 算子同时具有正负特征值。
• 由于共形不变性与 Hessian 的对称性，标准 $n$-球面在所有奇维下均为 $\det L$ 的局部极值点。
• 规范迹满足 $\det Q = \text{TR}(\log Q)$，本文建立了在奇维下使用算子分解与符号演算计算该迹的基础工具。