[論文レビュー] Calculus of linear extensions and Newton interpolation

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

Advanced Numerical Analysis Techniques被引用数 3

ひとこと要約

本稿は、部分順序集合（poset）の線形拡張に関するグリーンの和とニュートンの差分商の間で新しい関係を確立し、posetの系列によってインデックス付けされた新しい補間公式を可能にする。留数計算と母関数を活用して、一般化されたニュートン補間級数を導出し、差分商とアルノルドの微分形式の間の恒等式を導出する。これらの結果は、有理関数の恒等式や多変数補間に応用可能である。

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.

研究の動機と目的

• 有理関数をposetによって定義するための線形拡張の計算体系を確立すること。
• 留数計算を用いてposetの系列によってインデックス付けされた新しい補間公式を導出すること。
• グリーン和の対称性を活用して、ニュートンの差分商とアルノルドの微分形式の間の恒等式を生成すること。
• poset分解を通じて、有理関数の恒等式と多変数補間を統一すること。

提案手法

• ニュートンの差分商を用いて、posetの線形拡張に関するグリーンの和を計算する。
• 複素解析とコーシーの留数定理を適用して、解析関数をグリーン和を含む積分として表現する。
• poset構造による線形拡張の分解を用いて、差分商の恒等式を導出する。
• posetの系列によってインデックス付けされた一般化されたニュートン補間級数を構成する。
• 母関数と格子路モデルを用いて、多変数補間を解釈する。
• posetのサイクルを介して、差分商とアルノルドの対数的微分形式 ωij = (1/2πi)d(xi−xj)/(xi−xj) の関係を導出する。

実験結果

リサーチクエスチョン

• RQ1 posetの線形拡張に関するグリーンの和は、どのようにニュートンの差分商で表現できるか？
• RQ2 posetの系列によってインデックス付けされたニュートンの公式から、どのような新しい補間級数が生じるか？
• RQ3 グリーン和の恒等式は、差分商とアルノルドの微分形式の関係をどのように生成するか？
• RQ4 多変数補間は、posetの分解と留数積分から体系的に導出可能か？
• RQ5 posetのサイクルは、有理関数の関数的恒等式を生成する上で果たす役割は何か？

主な発見

• グリーンの和は、ΔXn[F] = ∑i F(xi)/f’(xi) という形のニュートンの差分商の恒等式を生成し、これにより留数積分と関連づけられる。
• 一般化されたニュートン補間級数は留数積分を用いて導出され、ラグランジュ補間やテイラー級数が特別な場合として回復される。
• ハッセ図が木構造を持つposetに対しては、補間公式が 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 と簡略化される。
• poset Pn に最大元 z が一意に存在し、n 個の最小元 x1,…,xn がある場合、F(x) の明示的公式が得られ、L_F(x) = f(x)∑α∈Sn F(xα(1))/∏(x−xα(i))(xα(i)−xα(i+1)) となる。
• 非線形な3要素posetから、差分商とアルノルドの微分形式 ωij = (1/2πi)d(xi−xj)/(xi−xj) の関係が導出される。
• 本稿は、posetに基づく線形拡張の分解を通じて、古典的恒等式（グラスマン＝プラüッカー関係式やオイラー＝ヤコビの公式）を一般化する。