样条近似

样条是分段多项式函数，在称为“节点”的点处平滑连接；它们能准确地近似和插值函数，同时避免了高次多项式的振荡。

Definition

k次样条函数是指在连续节点之间的每个子区间上都是次数至多为k的多项式，并且在节点处及其直到k-1阶导数都是连续的函数。

Scope

本主题涵盖多项式样条及其平滑条件、三次插值样条及其端点条件、提供稳定局部表示的B样条基，以及样条在插值、平滑、曲线和曲面设计中的应用。

Core questions

• 分段多项式如何在保持低次的同时实现全局平滑？
• 什么决定了三次插值样条，边界（端点）条件扮演什么角色？
• 为什么B样条基更受青睐用于表示和计算样条？
• 在平滑应用中，样条如何平衡数据保真度与平滑度？

Key theories

三次插值样条

在给定数据的所有二次可微插值函数中，自然三次样条使平方二阶导数的积分最小化，这使其成为该意义上最平滑的插值函数，并解释了其广泛应用。

B样条基

B样条为给定节点序列上的样条空间构成了一个局部支持的非负函数基；它们提供了数值稳定的表示、单位分解以及高效的递归评估和细化。

Mechanisms

三次插值样条通过求解一个三对角线性系统来获得节点处的二阶导数（或斜率），同时强制值、一阶和二阶导数的连续性，以及两个端点条件，例如自然边界或钳位边界。B样条通过Cox-de Boor递推公式计算，该公式从低次基函数构建高次基函数；由于每个B样条仅在少数区间上非零，因此由此产生的配置和最小二乘系统是带状的，并且可以高效求解。

Clinical relevance

样条在计算机辅助几何设计和计算机图形学（其中基于B样条构建的NURBS用于建模曲线和曲面）、数据平滑和非参数回归、轨迹和路径规划以及有限元和等几何分析中无处不在，因为它们结合了局部控制、平滑性和计算效率。

History

样条的数学理论由Isaac Schoenberg于1940年代创立；1970年代早期，Cox和de Boor发展了稳定的B样条表示及其递归评估方法，使样条成为实用的计算工具，并为其在几何建模中的主导地位奠定了基础。

Key figures

• Isaac Schoenberg
• Carl de Boor
• Maurice Cox

Seminal works

• deboor2001
• powell1981

Frequently asked questions

为什么使用样条而不是单个高次多项式？

单个高次多项式在数据点之间可能会出现严重的振荡，而样条则保持每个分段的低次性并平滑连接它们，即使有许多数据点也能提供准确、表现良好的近似。

B样条基的优势是什么？

B样条是局部支持的，因此改变一个系数只会影响附近的曲线，并且它们数值稳定并形成单位分解。这种局部控制和稳定性使其成为设计和高效求解样条系统的理想选择。