[论文解读] Heat invariants of the perturbed polyharmonic Steklov problem

Genqian Liu|arXiv (Cornell University)|May 14, 2014

Advanced Mathematical Modeling in Engineering参考文献 38被引用 4

一句话总结

本文建立了一套系统性方法，用于计算在黎曼流形中光滑区域上的扰动多调和Dirichlet-to-Neumann算子所关联的前四个热不变量——即热核迹在短时间渐近展开中的系数。关键结果是这些系数以边界曲率不变量的形式显式导出，当 m=1 且 q≡0 时，恢复并推广了经典Steklov问题的已有结果。

ABSTRACT

For a given bounded domain $Ω$ with smooth boundary in a smooth Riemannian manifold $(\mathcal{M},g)$, we establish a procedure to get all the coefficients of the asymptotic expansion of the trace of the heat kernel associated with the perturbed polyharmonic Dirichlet-to-Neumann operator $Λ_m$ ($m\ge 1$) as $t o 0^+$. We also explicitly calculate the first four coefficients of this asymptotic expansion. These coefficients (i.e., heat invariants) provide precise information for the area and curvatures of the boundary $\partial Ω$ in terms of the spectrum of the perturbed polyharmonic Steklov problem. In particular, when $m=1$ and $q\equiv 0$ our work recovers the previous corresponding results in \cite{PS} and \cite{Liu3}.

研究动机与目标

• 推导扰动多调和Dirichlet-to-Neumann算子的热核迹在 t→0⁺ 时的完整渐近展开。
• 显式计算该展开的前四个系数（热不变量），并以边界上的几何数据表示。
• 从文献中恢复并推广经典Steklov问题（m=1, q≡0）的已知结果。
• 证明扰动多调和Steklov问题的谱数据可精确编码边界面积与曲率的几何信息。

提出的方法

• 使用微局部分析与拟微分算子理论，分析扰动多调和Dirichlet-to-Neumann算子 Λₘ 的符号结构。
• 通过驻相法与复路径积分方法应用热迹渐近展开法，计算 l=0,1,2,3 时的系数 aₘ,l(x,n)。
• 通过求解至 t³ 阶的递归符号方程，推导热核 𝒦ₘ(t,x,y) 的完整符号展开。
• 通过在球面 Sⁿ⁻¹ 上积分来计算系数 aₘ,l(x,n)，并将其表示为内在几何量：平均曲率 ∑κⱼ、标量曲率 R∂Ω、Ricci 曲率 Rⱼⱼ 以及外曲率项。
• 利用文献 [44] 和 [46] 中的定理匹配符号表达式并验证所导出的系数。
• 应用Tauberian定理，推导特征值计数函数 N(λ) 的Weyl型渐近律。

实验结果

研究问题

• RQ1 在光滑区域边界上，扰动多调和Dirichlet-to-Neumann算子的热核迹在短时间渐近展开中的前四个系数是什么？
• RQ2 这些系数如何与边界 ∂Ω 的内在与外在几何（如平均曲率与标量曲率）相关联？
• RQ3 该方法能否恢复并推广先前文献中关于经典Steklov问题（m=1, q≡0）的结果？
• RQ4 扰动多调和Steklov问题的谱在多大程度上可确定边界的几何不变量？
• RQ5 对于一般 m≥1 且非零势函数 q∈L∞(Ω)，热核迹展开的结构是怎样的？

主要发现

• 第一项热不变量 aₘ,₀(n,x) 为 aₘ,₀(n,x) = Γ((n+1)/2)/(π^(n+1)/2) · Iₘ，为常数且与几何无关。
• 第二项系数 aₘ,₁(n,x) 与总平均曲率成正比：aₘ,₁(n,x) = (1/(2π)^n) · [(n−1)Γ(n)vol(Sⁿ⁻¹)/(2n)] · (∑κⱼ(x)) · Iₘ。
• 第三项系数 aₘ,₂(n,x) 依赖于边界标量曲率 R∂Ω、环境Ricci曲率 R̃Ω 及二次曲率项：包含如 (3−n)/(3n)R∂Ω 和 (n²−n−2)/(n(n+2))∑κⱼ² 的项。
• 第四项系数 aₘ,₃(n,x) 涉及高阶曲率不变量，包括立方与混合曲率项，如 ∑κⱼ³、∑κⱼRⱯⱼ 及混合Ricci-曲率收缩项。
• 渐近展开表明，所有热不变量 ∫∂Ω aₘ,l(x,n) dS(x) 均为谱确定，即谱编码了边界完整的几何信息。
• 恢复了特征值计数函数的Weyl型律：N(λ) = [ωₙ vol(∂Ω) λⁿ / (2π)ⁿ + o(λⁿ)] 当 λ→∞ 时，与 m=1, q≡0 时Sandgren的公式一致。