[論文レビュー] Multivariate Lagrange Interpolation and an Application of Cayley-Bacharach Theorem For it

Xue-Zhang Liang, Jielin Zhang+2 more|ArXiv.org|Aug 4, 2006

Advanced Numerical Analysis Techniques参考文献 13被引用数 4

ひとこと要約

本稿では、複素数n次元空間における代数的多様体上での多変数ラグランジュ補間のための、適切に定式化された節点集合（PPSN）を構成する一般化された重ね合わせ補間プロセスを導入する。拡張されたCayley-Bacharach定理および超曲面の十分交差の性質を活用することで、任意の次数の多項式空間に対して再帰的な方法でPPSNを構築する手法を確立し、Radon や Mysovskikh の既存の結果を一般化する。

ABSTRACT

In this paper,we deeply research Lagrange interpolation of n-variables and give an application of Cayley-Bacharach theorem for it. We pose the concept of sufficient intersection about s algebraic hypersurfaces in n-dimensional complex Euclidean space and discuss the Lagrange interpolation along the algebraic manifold of sufficient intersection. By means of some theorems (such as Bezout theorem, Macaulay theorem and so on) we prove the dimension for the polynomial space P(n) m along the algebraic manifold S of sufficient intersection and give a convenient expression for dimension calculation by using the backward difference operator. According to Mysovskikh theorem, we give a proof of the existence and a characterizing condition of properly posed set of nodes of arbitrary degree for interpolation along an algebraic manifold of sufficient intersection. Further we point out that for s algebraic hypersurfaces of sufficient intersection, the set of polynomials must constitute the H-base of ideal. As a main result of this paper, we deduce a general method of constructing properly posed set of nodes for Lagrange interpolation along an algebraic manifold, namely the superposition interpolation process. At the end of the paper, we use the extended Cayley-Bacharach theorem to resolve some problems of Lagrange interpolation along the 0-dimensional and 1-dimensional algebraic manifold. Just the application of Cayley-Bacharach theorem constitutes the start point of constructing properly posed set of nodes along the high dimensional algebraic manifold by using the superposition interpolation process.

研究の動機と目的

• 複素数n次元空間における代数的多様体に沿った多変数ラグランジュ補間のための、適切に定式化された節点集合（PPSN）を構築する一般化された手法を開発すること。
• 古典的な重ね合わせプロセス（例：Radon、Mysovskikh）を代数的幾何の道具を用いて、任意次元の代数的多様体へと拡張すること。
• 拡張されたCayley-Bacharach定理および後退差分作用素を用いて、PPSNの再帰的構成を確立すること。
• 超曲面の十分交差によって定義される代数的多様体に制限された多項式空間の次元を特徴付けること。
• 十分交差の定義多項式が関連するイデアルに対してH-基底をなすことを証明し、構造的一致性を保証すること。

提案手法

• 複素数n次元空間におけるs個の代数的超曲面の「十分交差」の概念を導入し、横断的かつ良好に振る舞う交差性質を保証する。
• ベズォウの定理およびマカウレイの定理を適用して、代数的多様体 $ S = s(f_1, \dots, f_s) $ に制限された多項式空間 $ P_m^{(n)} $ の次元を導出する。
• 後退差分作用素を用いて、制限された多項式空間の次元に対して便利で計算可能な表現を提供する。
• 拡張されたCayley-Bacharach定理を用いて、低次元多様体（例：曲線、曲面）に沿って節点を追加することで、PPSNを再帰的に構築する。
• 超位置補間プロセスを再帰的アルゴリズムとして確立する：曲線上のPPSNから出発し、曲面へと拡張し、最終的に $ \mathbb{C}^n $ へと到達する。
• 超曲面が十分交差にある場合、集合 $ \{f_1, \dots, f_s\} $ がイデアル $ I_s = \langle f_1, \dots, f_s \rangle $ に対してH-基底をなすことを証明する。

実験結果

リサーチクエスチョン

• RQ1 複素数n次元空間における多変数ラグランジュ補間のための、適切に定式化された節点集合（PPSN）を生成する一般化された再帰的手法をどのように構築できるか？
• RQ2 s個の超曲面によって定義される代数的多様体に沿った補間において、節点集合が適切に定式化されていることを保証する条件は何か？
• RQ3 拡張されたCayley-Bacharach定理は、高次元代数的多様体におけるPPSNの構築をどのように促進するか？
• RQ4 十分交差による代数的多様体に制限された、次数mの多項式空間の正確な次元は何か？
• RQ5 十分交差の定義多項式が関連するイデアルに対してH-基底をなすための条件は何か？

主な発見

• 代数的多様体 $ S = s(f_1, \dots, f_s) $ に制限された多項式空間 $ P_m^{(n)} $ の次元は、後退差分作用素を用いた閉形式の式で与えられる。
• 任意の次数mに対して、十分交差による代数的多様体に沿った補間のための適切に定式化された節点集合（PPSN）が存在することが、Mysovskikhの定理および提案された構成によって保証される。
• 十分交差の定義多項式 $ f_1, \dots, f_s $ は、イデアル $ I_s = \langle f_1, \dots, f_s \rangle $ に対してH-基底をなす。これにより代数的一致性が保証される。
• 超位置補間プロセスは再帰的にPPSNを構築する：曲線上の節点から出発し、曲面へと拡張し、最終的に $ \mathbb{C}^n $ へと到達する。次元の増加がこのプロセスの根幹をなす。
• 具体例により、古典的手法（例：Radonの直線-重ね合わせ、Liangの二次曲線-重ね合わせ）が一般化された重ね合わせプロセスの特殊な場合であることが確認される。
• 本手法は、$ \mathbb{C}^3 $ における $ \mathbb{P}_2^{(3)} $ の次数2のPPSNを、曲線上の8点と平面上にない1点を含む合計9点で正しく構築でき、スケーラビリティを示している。