[论文解读] A Laurent expansion for regularised integrals of holomorphic symbols

Sylvie Paycha, Simon Scott|ArXiv.org|Jun 10, 2005

Holomorphic and Operator Theory参考文献 7被引用 5

一句话总结

本文为具有线性变化阶数的全纯类伪微分算子族的康特绍维奇-维什克典范迹的洛朗展开式中所有系数提供了精确公式。通过将已知的迹极留数识别推广至所有高阶项，将迹的有限部分表示为典范迹密度与余数迹密度的全局定义组合，从而解决了谱论与指标理论中长期存在的问题。

ABSTRACT

For a holomorphic family of classical pseudodifferential operators on a closed manifold we give exact formulae for all coefficients in the Laurent expansion of its Kontsevich-Vishik canonical trace. This generalizes a known result identifying the Wodzicki residue with the pole at zero to all higher order terms.

研究动机与目标

• 将已知的余数迹与典范迹的单极留数识别关系推广至洛朗展开中的所有高阶系数。
• 解决当算子导数产生对数多齐次符号时，有限部分迹表达式的全局不变性问题。
• 确立在极点处典范迹的有限部分为全局良定义不变量，其由典范迹与余数迹密度的组合构成。
• 为阶数为 α(z) = qz + b 的全纯算子族的典范迹洛朗展开式中所有系数提供显式公式。
• 将结果推广至任意全纯阶函数，且在极点位置导数非零的情形。

提出的方法

• 推导全纯族 A(z) 的典范迹 TR(A(z)) 的洛朗展开，其中 A(z) 为具有线性阶数 α(z) = qz + b 的经典伪微分算子。
• 使用典范迹的有限部分积分定义，并分析符号在余切空间上积分的奇异性行为。
• 通过减去涉及导数 A’(z₀) 的特定余数项，识别在极点 z₀ 处 TR(A(z)) 的有限部分，以确保全局不变性。
• 证明组合式 TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀)) 在流形 M 上定义了一个全局良定义的密度。
• 通过将常数 q 替换为 α′(z₀)，将公式推广至任意全纯阶函数，并引入涉及 α′′(z₀)/α′(z₀)² 的修正项。
• 在球面上应用分部积分与齐次性论证，证明有限部分表达式的坐标无关性。

实验结果

研究问题

• RQ1 当算子族具有非整数阶且其导数产生对数多齐次符号时，如何全局表达典范迹的有限部分？
• RQ2 典范迹洛朗展开系数的精确结构在单极项之外是什么？
• RQ3 为何单独的典范迹与余数迹无法为高阶导数定义全局密度，而其组合如何恢复不变性？
• RQ4 典范迹的有限部分如何依赖于阶函数 α(z) 在极点处的导数？
• RQ5 洛朗展开常数项的公式能否推广至非线性阶函数？

主要发现

• 在极点 z₀ 处，典范迹的有限部分由 ∫ₘ [TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀))] dx 给出，该表达式定义了一个全局不变密度。
• 当阶数为线性 α(z) = qz + b 时，TR(A(z)) 的洛朗展开式明确为 TR(A(z)) = −res(A(z₀))/q ⋅ 1/(z−z₀) + Σₖ fp_z=z₀ TR(Aᵏ(z)) (z−z₀)ᵏ/k!。
• 当 α(z) 非线性时，常数项包含额外的余数项：(α′′(z₀)/(2α′(z₀)²)) res(A(z₀))。
• 组合式 TRₓ(Aᵏ(z₀)) − 1/(q(k+1)) resₓ,₀(Aᵏ⁺¹(z₀)) 虽然单独各项并非全局定义，但其组合是全局良定义的，从而解决了关键的技术障碍。
• 有限部分表达式与局部坐标无关，其证明依赖于在球面上对齐次函数进行分部积分。
• 该结果将经典的余数迹-极留数恒等式推广至洛朗展开的所有系数，为正则化问题提供了完整解法。