[论文解读] Chebyshev systems and zeros of a function on a convex curve

Oleg R. Musin|ArXiv.org|Mar 11, 2009

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

一句话总结

本文建立了关于在 $√r^d$ 中的凸曲线上正交于切比雪夫系的函数的最小符号变化次数（零点）的一般定理。当曲线为开曲线时，此类函数至少有 $nd+1$ 个零点；当曲线为闭曲线时，至少有 $nd+2$ 个零点，从而推广了经典结果（如四顶点定理），并为凸多边形折线提供了离散类比。

ABSTRACT

The classical Hurwitz theorem says that if n first "harmonics" (2n + 1 Fourier coefficients) of a continuous function f(x) on the unit circle are zero, then f(x) changes sign at least 2n + 1 times. We show that similar facts and its converse hold for any function that are orthogonal to a Chebyshev system. These theorems can be extended for convex curves in d-dimensional Euclidean space. Namely, if a function on a curve is orthogonal to the space of n-degree polynomials, then the function has at least nd + 1 zeros. This bound is sharp and is attained for curves on which the space of polynomials forms classical polynomial and trigonometric Chebyshev systems. We can regard the theorem of zeros as a generalization of the four-vertex theorem. There exists a discrete analog of the theorem of zeros for convex polygonal lines which yields a discrete version of the four-vertex theorem.

研究动机与目标

• 将关于符号变化和零点的经典定理（如赫尔维茨定理和四顶点定理）推广至高维凸曲线。
• 建立在 $√r^d$ 中的凸曲线上，正交于切比雪夫系的连续函数的符号变化次数的下界。
• 证明该下界是精确的，并在多项式空间构成经典切比雪夫系的曲线上达到该界。
• 为凸多边形折线开发零点定理的离散类比，从而得到四顶点定理的离散版本。
• 通过正交于切比雪夫系，统一并推广关于曲率极值、拐点及高阶导数的结果。

提出的方法

• 将函数的零点定义为函数符号发生变化的零点集的连通分支。
• 以函数与 $n$ 阶切比雪夫系的 $L_2$-正交性作为关键条件，推导符号变化次数的下界。
• 证明在 $√r^d$ 中的凸曲线上，若函数正交于 $n$ 次多项式空间，则其符号变化次数至少为 $nd+1$（若曲线为闭曲线则为 $nd+2$）。
• 建立曲线的凸性与线性函数限制到曲线上时的切比雪夫性质之间的等价关系。
• 通过考虑平面上卵形曲线的曲率半径函数，应用该定理恢复经典四顶点定理。
• 通过将积分替换为凸多边形折线顶点上的求和，推导该定理的离散版本。

实验结果

研究问题

• RQ1 若一个连续函数在 $√r^d$ 中的凸曲线上正交于 $n$ 次多项式空间，则其符号变化次数的最小值是多少？
• RQ2 能否通过正交于切比雪夫系，将经典四顶点定理推广至高维凸曲线？
• RQ3 符号变化次数的下界 $nd+1$ 是否精确？该下界在哪些曲线上可以达到？
• RQ4 如何将连续零点定理适配至离散情形（如凸多边形折线）？
• RQ5 在 $√r^d$ 中，凸曲线与切比雪夫系之间存在何种关系？

主要发现

• 在 $√r^d$ 中的凸曲线上，若连续函数正交于 $n$ 次多项式空间，则当曲线非闭时，其符号变化次数至少为 $nd+1$。
• 若曲线为闭曲线，则函数的符号变化次数至少为 $nd+2$，且该下界是精确的。
• 当曲线支持经典多项式或三角函数切比雪夫系（如单位圆对应三角函数系）时，该下界可被达到。
• 该定理推广了四顶点定理：当 $n=1$ 且 $d=2$ 时，卵形曲线的曲率半径函数至少有四个极值点。
• 存在一个离散类比：在 $√r^d$ 中的凸多边形折线上，若顶点处的函数值正交于 $n$ 次多项式，则其符号变化至少 $dn+1$ 次（若为闭折线则为 $dn+2$ 次）。
• 该离散版本蕴含亚历山德罗夫关于具有平行边且周长相等的多边形曲线的引理，确认边长差值至少有四次符号变化。