[论文解读] Fundamental solutions of pseudo-differential operators over p-adic fields

W. A. Zúñiga‐Galindo|arXiv (Cornell University)|Apr 23, 2004

advanced mathematical theories参考文献 10被引用 38

一句话总结

该论文通过Igusa局部zeta函数的亚纯延拓以及分布除法，建立了具有多项式符号的p进伪微分算子的基本解的存在性。通过利用 |f|_K^s 的亚纯延拓并解决分布意义上的除法问题，作者证明了对于任意非常数多项式 f 和 β ∈ ℂ 满足 Re(β) > 0，存在一个分布 E ∈ S′(Kⁿ)，使得 f(∂, β)E = δ，从而 E 是相应伪微分方程的基本解。

ABSTRACT

We show the existence of fundamental solutions for p-adic pseudo-differential operators with polynomial symbols.

研究动机与目标

• 建立具有多项式符号的p进伪微分算子的基本解的存在性。
• 解决非阿赋米德分析背景下 |f|_K^β 的分布除法问题。
• 推广先前关于具有齐次或二次符号算子的基本解结果。
• 将Igusa局部zeta函数理论与p进伪微分方程的可解性联系起来。
• 将理论扩展至涉及 f 的自变量上的乘法特征的扭曲算子。

提出的方法

• 利用Igusa关于局部zeta函数 |f|_K^s 在 ℂ 上的亚纯延拓定理，其依赖于 q^−s 的有理函数形式。
• 应用分布除法技术：给定 |f|_K^β T = 1，通过 |f|_K^s 在 s = −β 处的洛朗展开的常数项构造 T ∈ S′(Kⁿ)。
• 将基本解 E 定义为 T 的傅里叶逆变换，即 E = F⁻¹T。
• 通过验证在分布意义下 |f|_K^β F(E) = 1，证明 E 满足 f(∂, β)E = δ。
• 利用相同的分析框架将结果推广至扭曲符号 χ(ac(f))|f|_K^β，因为扭曲zeta函数也具有亚纯延拓性。
• 依赖于 |f|_K^s 的极点的实部为负有理数这一事实，确保在 s = −β 处的收敛性与解析性。

实验结果

研究问题

• RQ1 每个具有多项式符号 |f(x)|_K^β 的p进伪微分算子是否在分布空间中都存在基本解？
• RQ2 对于非常数多项式 f 和满足 Re(β) > 0 的 β，分布除法问题 |f|_K^β T = 1 是否可解？
• RQ3 Igusa的局部zeta函数理论如何促进非阿赋米德分析中基本解的构造？
• RQ4 这些结果在多大程度上可推广至涉及乘法特征的扭曲符号的算子？
• RQ5 在此背景下，格林函数的渐近行为与局部zeta函数极点之间的精确联系是什么？

主要发现

• 对于任意非常数多项式 f ∈ K[x₁,…,xₙ] 和 β ∈ ℂ 满足 Re(β) > 0，方程 f(∂, β)u = g 存在基本解 E ∈ S′(Kⁿ)。
• 基本解构造为 E = F⁻¹T，其中 T ∈ S′(Kⁿ) 满足 |f|_K^β T = 1，且 T 由局部zeta函数 |f|_K^s 在 s = −β 处的亚纯延拓的洛朗展开的常数项导出。
• 分布 |f|_K^s 具有在 ℂ 上的亚纯延拓，其极点的实部为负有理数，这是构造中的关键性质。
• 该解法依赖于 |f|_K^{s+β} 在 s = −β 处解析，从而可提取常数项 c₀ 作为所需的分布 T。
• 该结果可推广至具有符号 χ(ac(f))|f|_K^β 的扭曲算子，其中 χ 是 R_K^× 上的非平凡乘法特征，原因在于扭曲zeta函数具有类似的解析性质。
• 该构造确认了Igusa局部zeta函数与p进伪微分方程可解性之间存在深刻联系，扩展了先前针对齐次或二次符号算子的结果。