[论文解读] 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）进行多元拉格朗日插值。通过利用扩展的卡莱-巴尔查赫定理以及超曲面充分交集的性质，该方法建立了一种递归方法，以构建任意次数多项式空间的PPSN，推广了如拉东和米索夫斯基等先前的结果。

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）开发一种通用方法。
• 通过代数几何工具将经典叠加过程（如拉东、米索夫斯基）推广至任意维代数流形。
• 利用扩展的卡莱-巴尔查赫定理与向后差分算子，建立PPSN的递归构造方法。
• 刻画由超曲面充分交集定义的代数流形上多项式空间的维数。
• 证明充分交集的定义多项式构成相关理想的H-基，确保结构一致性。

提出的方法

• 引入在 $\mathbb{C}^n$ 中 $s$ 个代数超曲面的'充分交集'概念，确保其横截且行为良好的交集性质。
• 应用贝祖定理与麦考勒伊定理，推导出限制在代数流形 $S = s(f_1, \dots, f_s)$ 上的多项式空间 $P_m^{(n)}$ 的维数。
• 使用向后差分算子，为受限多项式空间的维数提供一种方便且可计算的表达式。
• 利用扩展的卡莱-巴尔查赫定理，通过在低维流形（如曲线、曲面）上添加节点，递归地构建PPSN。
• 将叠加插值过程确立为递归算法：从曲线上PPSN出发，扩展至曲面，最终扩展至 $\mathbb{C}^n$。
• 证明当超曲面处于充分交集时，集合 $\{f_1, \dots, f_s\}$ 构成理想 $I_s = \langle f_1, \dots, f_s \rangle$ 的H-基。

实验结果

研究问题

• RQ1 如何为 $\mathbb{C}^n$ 中的多元拉格朗日插值构造一个通用的递归方法，以生成合适的节点集（PPSN）？
• RQ2 何种条件可确保一组节点在由 $s$ 个超曲面定义的代数流形上插值时是合适的？
• RQ3 扩展的卡莱-巴尔查赫定理如何促进在高维代数流形中构建PPSN？
• RQ4 限制在充分交集代数流形上的 $m$ 次多项式空间的精确维数是多少？
• RQ5 在何种条件下，充分交集的定义多项式构成相关理想的H-基？

主要发现

• 限制在充分交集代数流形 $S = s(f_1, \dots, f_s)$ 上的多项式空间 $P_m^{(n)}$ 的维数，可通过向后差分算子给出闭式表达。
• 对于任意次数 $m$，在充分交集代数流形上均存在合适的节点集（PPSN），该结论由米索夫斯基定理及所提出的构造方法保证。
• 充分交集的定义多项式 $f_1, \dots, f_s$ 构成理想 $I_s = \langle f_1, \dots, f_s \rangle$ 的H-基，确保代数一致性。
• 叠加插值过程通过递归方式构建PPSN：从曲线上的节点开始，扩展至曲面，最终扩展至 $\mathbb{C}^n$，维数递增是其核心机制。
• 实例验证表明，经典方案（如拉东的直线-叠加与梁的圆锥-叠加过程）均为通用叠加过程的特例。
• 该方法成功构造了 $\mathbb{C}^3$ 中 $\mathbb{P}_2^{(3)}$ 的二阶PPSN，共使用9个节点，其中8个位于曲线上，1个在平面外，展示了其可扩展性。