2025-11-10T03:00:50.981316

On the extension of a class of Hermite multivariate interpolation problems

Hakopian, Khachatryan

We characterize the sets of solvability for Hermite multivariate interpolation problems when the sum of multiplicities is at most $2n + 2$, with $n$ the degree of the polynomial space. This result extends an earlier theorem (2000) by one of the authors concerning the case $2n+1$. The latter theorem, in turn, can be regarded as a natural extension of a classical Theorem of Severi (1921).

academic

On the extension of a class of Hermite multivariate interpolation problems

基本信息

论文ID: 2509.14359
标题: On the extension of a class of Hermite multivariate interpolation problems
作者: Hakop Hakopian, Anush Khachatryan (Yerevan State University, Institute of Mathematics of NAS RA)
分类: math.NA, cs.NA (数值分析)
发表时间: 2025年10月10日 (arXiv v2)
论文链接: https://arxiv.org/abs/2509.14359

摘要

本文刻画了当重数之和至多为 $2n + 2$ 时Hermite多元插值问题的可解集合，其中 $n$ 是多项式空间的度数。该结果扩展了作者之一在2000年关于 $2n+1$ 情况的早期定理，后者可以被视为Severi经典定理(1921)的自然推广。

研究背景与动机

核心问题

本文研究Hermite多元插值问题的可解性刻画。给定插值点集 $X = \{x^{(1)}, \ldots, x^{(s)}\}$ 和重数方案 $\mathcal{N} = \{n_1, \ldots, n_s; n\}^k$ ，需要找到 $k$ 元 $n$ 次多项式 $p \in \Pi_n^k$ 满足插值条件： $D^\alpha p(x^{(i)}) = \lambda_i^\alpha, \quad \forall |\alpha| \leq n_i - 1, \quad i = 1, \ldots, s$

研究重要性

理论价值：扩展了经典的Severi定理和插值理论
应用背景：在数值分析、逼近理论和代数几何中有重要应用
技术挑战：多元插值的可解性判断比一元情况复杂得多

历史发展

Severi定理(1921)：给出了 $\sum_{i=1}^s n_i \leq n+1$ 情况的完整刻画
作者2000年结果：扩展到 $\sum_{i=1}^s n_i \leq 2n+1$ 的情况
本文贡献：进一步扩展到 $\sum_{i=1}^s n_i \leq 2n+2$ 的情况

核心贡献

主要定理：完整刻画了重数和至多为 $2n+2$ 时Hermite插值问题的可解性
理论扩展：将现有理论从 $2n+1$ 扩展到 $2n+2$ ，这在技术上具有显著挑战性
几何洞察：揭示了直线和圆锥曲线在插值可解性中的关键作用
完整证明：提供了基于归纳法的严格数学证明

方法详解

基本定义与记号

多项式空间： $\Pi_n^k = \left\{\sum_{|\alpha| \leq n} c_\alpha x^\alpha\right\}, \quad \dim \Pi_n^k = \binom{n+k}{k}$

插值条件总数： $\mathcal{N}_\#^k = \sum_{i=1}^s \binom{n_i-1+k}{k}$

方案分类：

$(≤)$ -方案： $\mathcal{N}_\#^k \leq \binom{n+k}{k}$
精确方案： $\mathcal{N}_\#^k = \binom{n+k}{k}$
$(<)$ -方案： $\mathcal{N}_\#^k < \binom{n+k}{k}$

核心定理

定理2.1（主要结果）：设 $\mathcal{N} = \{n_1, \ldots, n_s; n\}^2$ 是满足 $\sum_{i=1}^s n_i \leq 2n+2$ 的 $(≤)$ -方案，则对于 $k \geq 2$ ，问题 $(\mathcal{N}, X)^k$ 是 $n$ -可解的当且仅当：

(i) 没有直线通过超过 $n+1$ 个插值点 (ii) 没有圆锥曲线通过超过 $2n+1$ 个插值点

证明策略

归纳法框架：

基础情况： $n = 2$ 时的验证
归纳假设：假设对所有度数 $\leq n-1$ 成立
归纳步骤：分四个步骤处理 $n$ 的情况

关键步骤分析：

步骤2：当存在直线 $\alpha_0$ 恰好通过 $n+1$ 个点时

构造约化方案 $\mathcal{N}^0 = \mathcal{N} - \Delta^{\alpha_0}_X$
验证约化问题的可解性条件
利用命题1.12的线性因子分解

步骤3：当存在直线通过至少3个点时

应用定理1.18（ $2n+1$ 情况）
构造扩展问题证明原问题可解

步骤4：一般位置情况（无三点共线）

构造通过前5个点的不可约圆锥曲线 $\beta_0$
验证约化到 $n-2$ 次问题的条件
利用命题1.21的二次因子分解

技术创新点

几何约束的精确刻画：将代数条件转化为几何约束
归纳结构的巧妙设计：通过线性和二次因子分解降低问题维数
边界情况的完整处理： $2n+2$ 是该方法能处理的上界

方案： $\mathcal{N} = \{n-1, 1, \ldots, 1; n\}^2$ （ $n+4$ 个重数为1的点）
点集配置：
- 点 $x^{(i)}, i = 1, \ldots, n+3$ 都在不可约圆锥曲线 $\beta$ 上
- 点 $x^{(1)}, x^{(n+4)}, x^{(n+5)}$ 在直线 $\alpha$ 上
验证：满足几何条件但问题不可解