[论文解读] Calculus of linear extensions and Newton interpolation

Gennadiy Georgievich Ilyuta|ArXiv.org|Nov 30, 2009

Advanced Numerical Analysis Techniques被引用 3

一句话总结

本文建立了格林求和（Greene's sums）在偏序集（posets）的线性扩展上的求和与牛顿差商（Newton's divided differences）之间的新联系，从而实现了基于偏序集序列的新型插值公式。通过利用留数计算与生成函数，推导出广义牛顿插值级数，并建立差商与阿诺德微分形式之间的恒等式，其应用涵盖有理函数恒等式与多重变量插值。

ABSTRACT

We use Newton divided differences for calculation of Greene sums -- the rational functions determined by linear extensions of partially ordered sets. Identities for Greene sums generate relations for Newton divided differences and Arnold differential forms. Also generalizations of the Newton interpolation series which are indexed by sequences of partially ordered sets are received.

研究动机与目标

• 建立基于偏序集定义的有理函数的线性扩展微积分体系。
• 通过留数计算，推导出基于偏序集序列索引的新型插值公式。
• 利用格林求和对称性，生成牛顿差商与阿诺德微分形式之间的恒等式。
• 通过偏序集分解，统一有理函数恒等式与多重变量插值。

提出的方法

• 使用牛顿差商计算偏序集线性扩展上的格林求和。
• 应用复分析与柯西留数定理，将解析函数表示为包含格林求和的积分形式。
• 通过偏序集结构分解线性扩展，推导差商的恒等式。
• 构建基于偏序集序列索引的广义牛顿插值级数。
• 利用生成函数与格路模型，解释多重变量插值。
• 通过偏序集环路，推导差商与阿诺德对数微分形式之间的关系。

实验结果

研究问题

• RQ1 如何用牛顿差商表达偏序集线性扩展上的格林求和？
• RQ2 以偏序集序列索引牛顿公式时，会产生哪些新型插值级数？
• RQ3 格林求和中的恒等式如何生成差商与阿诺德微分形式之间的关系？
• RQ4 能否系统地从偏序集分解与留数积分推导多重变量插值？
• RQ5 偏序集环路在生成有理函数函数恒等式中起什么作用？

主要发现

• 格林求和生成牛顿差商的恒等式，例如 ΔXn[F] = ∑i F(xi)/f’(xi)，将其与留数积分联系起来。
• 广义牛顿插值级数通过留数积分推导得出，其特殊情形包括拉格朗日插值与泰勒级数。
• 对于哈斯图（Hassse diagram）呈树状的偏序集，插值公式简化为 F(x) = (1/2πi)∫[(D(z)−D(x))/(z−x)]F(z)/D(z) dz + D(x)(1/2πi)∫F(z)/[(z−x)D(z)] dz。
• 当偏序集 Pn 有唯一最大元 z 与 n 个极小元 x1,…,xn 时，该方法给出 F(x) 的显式公式：L_F(x) = f(x)∑α∈Sn F(xα(1))/∏(x−xα(i))(xα(i)−xα(i+1))。
• 从非线性三元偏序集出发，推导出差商与阿诺德微分形式 ωij = (1/2πi)d(xi−xj)/(xi−xj) 之间的关系。
• 通过基于偏序集的线性扩展分解，该论文推广了经典恒等式，如格拉斯曼-普吕克关系（Grassmann-Plücker relation）与欧拉-雅可比公式（Euler-Jacobi formula）。