Pure Mathematics
Vol.
13
No.
11
(
2023
), Article ID:
76233
,
8
pages
10.12677/PM.2023.1311338
超球面上多元Lagrange插值问题研究
王心蕊,马亚茹,崔利宏*
辽宁师范大学数学学院,辽宁 大连
收稿日期:2023年10月15日;录用日期:2023年11月16日;发布日期:2023年11月24日
摘要
以三元函数Lagrange插值研究结果为基础,对n元函数Lagrange插值结点组的适定性问题进行了研究。提出了超球面上的Lagrange插值适定结点组的基本概念,研究了超球面上的Lagrange插值适定结点组的某些基本理论和拓扑结构,得到了构造超球面上的Lagrange插值适定结点组的添加超平面法。这些方法都是以迭加方式完成的,因此便于在计算机上实现其构造过程。最后给出了具体实验算例。
关键词
多元Lagrange插值,唯一可解结点组,超球面,迭加插值法
Research on Multivariate Lagrange Interpolation Problems on Hyperspheres
Xinrui Wang, Yaru Ma, Lihong Cui*
School of Mathematics, Liaoning Normal University, Dalian Liaoning
Received: Oct. 15th, 2023; accepted: Nov. 16th, 2023; published: Nov. 24th, 2023
ABSTRACT
Based on the research results of three-variable Lagrange interpolation, an investigation into the suitability of node sets for n-variable Lagrange interpolation was conducted. The fundamental concept of well-suited node sets for Lagrange interpolation on hyperspheres was proposed. Certain fundamental theories and topological structures of well-suited node sets for Lagrange interpolation on hyperspheres were studied, leading to the development of the method of adding hyperplanes for constructing well-suited node sets for Lagrange interpolation on hyperspheres. These methods are accomplished in an iterative manner, making them suitable for implementation on a computer. Finally, specific experimental examples are provided.
Keywords:Multivariate Lagrange Interpolation, The Only Solution Node Group, Hypersphere, Superposition Interpolation Method
Copyright © 2023 by author(s) and Hans Publishers Inc.
This work is licensed under the Creative Commons Attribution International License (CC BY 4.0).
http://creativecommons.org/licenses/by/4.0/
1. 引言
多元函数插值一直是计算数学领域一个重要的研究内容,有关多元函数插值的一个基本问题是多元插值函数唯一存在性问题。国内外对这一问题研究主要有两个类别:一种是通过已知的结点组,构造次数尽可能低的插值适定多项式空间,另一种是给定插值空间构造唯一可解的插值适定结点组。目前有关在整个三维空间进行插值及关于定义于三维空间中代数流形的插值结果较系统,但对于在更高维空间进行插值以及高维空间中代数流形上插值结果相对较少。
超球面是指高于2维的球面,有关超球面数据插值与逼近在许多科学领域都有着广泛的应用,例如在物理建模中,超球面插值可以用于估计不同空间点之间的物理量,如温度、压力、密度等。在机器学习中,超球面插值可以用于处理高维特征数据,以改进模型的性能。天文学和宇宙学中的数据通常是高维的,例如星体的特性和坐标。医学图像处理中,超球面插值可用于脑部成像和心脏成像等领域。以往的学者研究出了许多在三维空间中球面插值的方法,如 [1] [2] ,但有关在超球面上插值逼近方法却很少。梁学章等人 [3] 讨论了代数超曲面上添加超平面选取唯一可解结点组的方法。徐艳等人 [4] 讨论了超球面上的切触有理插值。本文在以往研究球面上Lagrange插值适定性问题 [5] [6] 的基础上,进一步探讨了在超球面上的Lagrange插值适定性问题。
2. 基本定义和定理
本文主要研究n维球面 上唯一可解结点组(又叫插值适定结点组)的选取,为此本文引入以下基本定义。
设m为任意整数,n为非负整数,首先定义组合数
并且定义符号 。再定义符号
代表所有次数不超过m的n元复系数多项式空间。
定义1 ( 上的插值适定结点组)
设 是n维复数空间 中 个互不相同的点。对于任意给定的复数组 寻找一个
多项式 ,使之满足如下插值条件
(1)
如果对于每一个任意给定的复数组 ,方程组(1)总存在唯一一组解,则称该插值问题是关于多项式空间 的适定插值问题,并称相应的结点组 为 上的一个插值适定结点组。
定义2 (超球面上的插值适定结点组)
设 为n维复数空间 中一个超球面, 为超球面上 个互不相同的点,对于任意给定的一个复数组 ,寻找一个多项式 ,使之满足如下插值条件
(2)
如果对于每一个任意给定的复数组 ,方程组(2)总存在一组解,则称结点组 为
沿超球面 的一个m次插值适定结点组,并简记为 ( 表示位于超球面 上m次插值适定结点组的集合)。
定义3 令 是 上次数为k的无重复因子的代数超曲面,在 上选取
不同的点 ,如果有
,
且 沿代数超曲面 恒有 ,则 为超曲面 上的m次插值适定结点组。
定义4 (理想)
一个子集 ,如果其满足下述三个条件:
1) ;
2) 如果 ,则有 ;
定义5 (生成理想)
令 为n元多项式环中的s个多项式,则定义:
显然, 是一个理想,称 是 的生成理想。
定义6 (仿射簇、消逝理想)
设 是一个理想, 为理想I的仿射簇。对于任意一个仿射簇 ,称 为V的消逝理想。
定义7 (根理想)
设 是一个理想,用 表示I的根理想,它是集合: 。
定理1 中互不相同的点 能够做成 的插值适定结点组的充要条件是 不落在任何一个m次代数超曲面上。
定理2 (Hilbert零点定理)
设K为代数闭域,如果 使得 ,则存在一个整数 使得 。
定理3 (强零点定理)
设K为代数闭域, 是一个理想,则 。
命题1 设I为理想, 是两个仿射簇,则 。
命题2 若 , 是由f生成的素理想,若 是f不可约多项式的分解,则 。特别地,如果f是一个没有重复分量的代数多项式,则 。(注:素理想是由一个元素生成的理想。
本文所获得研究结果如下:
定理4 设 是 的一个插值适定结点组, 是n维球面 的m + 2次适定结点组,则 组成 的一个插值适定结点组。
此定理为构造 中插值适定结点组的添加超球面法。
定理5 设 是n维球面 上的m次插值适定结点组,超平面 不经过这
个点,与球面 相交与n − 1维球面 ( 表示 与 的共同零点的集合)。在n − 1维球面 上任取一个沿该球面的m + 1次插值适定结点组 ,则 构成n维球面 上的m + 1次插值适定结点组,即 。
此定理为构造沿超球面插值适定结点组的添加超平面法。
3. 定理的证明
为了证明本文的主要结果,首先给出如下引理。
引理1 位于n维球面 上的点组 能够做成沿n维球面 的m次插值适定结
点组的充要条件是:对于任何一个满足零插值条件
的多项式 ,均存在如下分解:
其中,当 时, ,当 时, 。
引理1 证明
只需证明必要性,设 , 。因为 是n维球面 的插值适定结点组,且
,那么由定义3,沿 恒有 ,故 。由命题1,有 。由于 是无重复分量的代数超曲面,由定理3和命题2,有 ,且 ,因此, 。由理想的定义,存在 使得 。
引理2 设超平面 与n维球面 相交于n − 1维球面 ( 表示 与 的共同零点的集合),对任意 ,如果 ( 表示多项式 的零点集),则存在多项式 使得 ,多项式 的全次数 。
引理2 证明
将 转化成 ,令 表示p除以h的余数,即 。对任意 ,设 ,则
。
因为 ,因此 。故 。由条件 ,由 且
。
由上式可知,
(3)
由于 是无重复分量的代数超曲面,故 ,则由(3)和命题1、定理3,有 且 , 。因此, ,
即存在 ,使得 ,其中, 的次数 ,t次数 ,设 , ,则 ,多项式 的全次数 。
定理4 证明
中点的个数为 ,等于空间 的维数。
下面采用反证法证明。
假设 不是空间 的插值适定结点组,由定理1知,必存在不恒为零的多项式 使其满足对任意 , 。因为B是 的m + 2次插值适定结点组,由引理1,存在
使得 。又因为 。所以 。
但 。所以 。而 是 的一个插值适定结点组,且 。
所以 。进而 。这与假设相矛盾,故C是 的插值适定结点组。
定理5 证明
选取多项式 ,使其满足对任意 , 。因为B为 上的插值适定结点组,则 。由引理2,存在多项式 使得
(4)
因为A为 上插值适定结点组,所以 。又因为 , ,所以 ,由引理1,存在多项式c使得 。将等式代入(4)则 。由引理1,则 为球面 上的m+1次插值适定结点组。
下面给出定理5算法步骤:
1) 选取在三维空间中2维球面S2上插值适定结点组具体做法如下:
第0步:任取S2上一点Qo作为结点,Qo构成S2上的零次插值适定结点组;
第1步:不经过Qo,做平面f1与S2相交于圆周 ,任取 上3个不同的点作为新增加的结点(由 [6] ,这三个点为 上一次插值适定结点组);
……
第m步:不经过Qo,做平面fm与S2相交于圆周 ,任取 上2m + 1个不同的点作为新增加的结点(由 [6] 这2m + 1个点为 上m次插值适定结点组);
第m步完成之后所得到的所有结点即可构成球面S2上的m次插值适定结点组。
2) 选取沿四维空间中球面S3插值适定结点组具体做法如下:
第0步:S3上任选一点Qo作为结点,Qo构成S3上的零次插值适定结点组;
第1步:不经过Qo,做超平面f1与S3相交于2维球面 ,取 上一个一次插值适定结点组 作为新增加的点,则 构成S3上的一次插值适定结点组。
……
第m步:不经过Qo及已经选好的超平面 ,做一个新的超平面fm使其与S3相交于2维球面 ,取 上m次插值适定结点组 ,则 构成S3上的m次插值适定结点组;
第m步完成之后所得到的所有结点即可构成球面S3上的m次插值适定结点组。
以此类推,可得到n维空间中球面Sn插值适定结点组具体做法。
3) 选取沿n + 1维空间中球面Sn插值适定结点组具体做法如下:
第0步:n维球面Sn上任选一点Qo作为结点,Qo构成Sn上的零次插值适定结点组;
第1步:不经过Qo,做超平面f1与Sn相交于n − 1维球面 ,取 上一个一次插值适定结点组 作为新增加的点,则 构成Sn上的一次插值适定结点组;
第2步:不经过Qo及f1,做超平面f2与Sn相交于n − 1维球面 ,,取 上二次插值适定结点组 ,则 构成Sn上的二次插值适定结点组;
……
第m步:不经过Qo及已经选好的超平面 ,做一个新的超平面fm使其与Sn相交于n − 1维球面 ,取 上m次插值适定结点组 ,则 构成Sn上的m次插值适定结点组;
第m步完成之后所得到的所有结点即可构成n维球面Sn上的m次插值适定结点组。根据构造出的插
值适定结点组,由定义2,对于任给的复数组 ,解方程组(2),都可以得到唯一的插值多项式
。
由上述算法步骤,再结合定理4中给出的 中插值适定结点组的添加超球面法,可以构造出多项式空间 (m为偶数)的插值适定结点组。
下面给出定理4算法步骤:
(m为偶数)中插值适定结点组具体做法如下:
第0步: 中任选一点Qo作为结点,Qo构成 的一个插值适定结点组;
第1步:不经过Qo,做n维空间中n − 1维球面 ,取 上一个二次插值适定结点组 作为新增加的点,则 构成 插值适定结点组;
第2步:不经过Qo和 ,做n维空间中n − 1维球面 ,取 上一个四次插值适定结点组 作为新增加的点,则 构成 插值适定结点组;
……
第m步:不经过Qo及已经选好的超球面 ,做一个新的超球面 ,取 上2N次插值适定结点组 ,则 构成 的一个插值适定结点组。
4. 实验算例
下面给出关于定理4的例子。
例1设被插值函数为 ,球面S方程为 。在球面外部取一点 ,则该点为 的插值适定结点组。在球面上取互异的9个点,见图1, , , , , , , , 。
Figure 1. Spherical point sampling visualization
图1. 球面取点效果图
这九个点是定义于球面S的一个0 + 2次插值适定结点组,则由定理4,点组 构成 的插值适定结点组。设多项式为 ,得到的方程组为 ,其中
解得 ,
我们取点 ,插值结果分别为0.7071、0.6609,而其精确值分别为 ,误差分别为
,
下面给出关于定理5的例子
例2设球面S的方程为: , 是球面S上的一个零次插值适定结点组,做一个不经过 点的平面 与S相交于圆周 ,在C上任取3个互异点 ,由定理5知 是关于球面S的一个一次插值适定结点组。例如:任取一个实数组 ,我们以 作为插值结点组就可以获得一次插值函数为
。
5. 结论
本文首先介绍了Lagrange插值适定结点组的相关定义与基本定理,同时重点研究了定义于超球面上Lagrange插值适定结点组,提出构造超球面上Lagrange插值的添加超平面法,最后给出实验算例说明并验证有关结论。本文创新点为给出定义于超球面上Lagrange插值适定结点组结果,其对生产生活有着重要的实用价值。
文章引用
王心蕊,马亚茹,崔利宏. 超球面上多元Lagrange插值问题研究
Research on Multivariate Lagrange Interpolation Problems on Hyperspheres[J]. 理论数学, 2023, 13(11): 3246-3253. https://doi.org/10.12677/PM.2023.1311338
参考文献
- 1. Liang, X.Z., Feng, R.Z. and Cui, L.H. (2000) Lagrange Interpolation on a Sphere. Northeastern Mathematical Journal, No. 2, 243-252.
- 2. 崔利宏, 姜莹莹, 王星, 等. 球面上Lagrange插值问题研究[J]. 辽宁师范大学学报(自然科学版), 2011, 34(4): 416-418.
- 3. 梁学章, 张明, 张洁琳, 等. 高维空间中代数流形上多项式空间的维数与Lagrange插值适定结点组的构造[J]. 吉林大学学报(理学版), 2006(3): 309-317.
- 4. 许艳, 郭清伟. 超球面上的切触有理插值[J]. 大学数学, 2015, 31(2): 5-9.
- 5. 李天平, 席小忠. N维欧氏空间上2次n − 1维流形及性质[J]. 赣南师范学院学报, 2000(3): 12-14.
- 6. 梁学章. 二元插值的适定结点组与迭加插值法[J]. 吉林大学自然科学学报, 1979(1): 27-32.
NOTES
*通讯作者。