[論文レビュー] 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

ひとこと要約

この論文は、$\mathbb{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.

研究の動機と目的

• 符号の変化やゼロ点に関する古典的定理（例えばフーリエの定理 や 四頂点定理）を、高次元の凸曲線へ一般化すること。
• $\mathbb{R}^d$ 内の凸曲線上でチェビシェフ系に直交する連続関数の符号変化回数に対する下界を確立すること。
• この下界が鋭く、多項式空間が古典的チェビシェフ系をなす曲線において達成されることを示すこと。
• 凸多角形線に対するゼロ定理の離散版を構築し、四頂点定理の離散版を導出すること。
• 曲率の極値、変曲点、高階微分の結果を、チェビシェフ系への直交性を通じて統一的かつ拡張すること。

提案手法

• 関数のゼロ点を、符号が変化するゼロ点の連結成分として定義する。
• 関数が次数 $n$ のチェビシェフ系に $L_2$-直交するという条件を根拠に、符号変化回数の下界を導出する。
• $\mathbb{R}^d$ 内の凸曲線上の関数について、$n$ 次多項式空間に直交するならば、少なくとも $nd+1$ 回の符号変化（閉曲線の場合は $nd+2$ 回）を持つことを証明する。
• 曲線の凸性と、曲線上への一次関数の制限がチェビシェフ性を満たすことの同値性を確立する。
• 平面上の閉曲線（卵形）における曲率半径関数を考察することで、古典的四頂点定理を回復する。
• 積分を多角形線の頂点における和に置き換えることで、定理の離散版を導出する。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^d$ 内の凸曲線上で定義された連続関数が $n$ 次多項式空間に直交する場合、その符号変化回数の最小値は何か？
• RQ2 チェビシェフ系への直交性を用いて、古典的四頂点定理を高次元の凸曲線へ一般化できるか？
• RQ3 符号変化回数の下界 $nd+1$ は鋭いか？ どのような曲線で達成されるか？
• RQ4 連続的なゼロ定理を、凸多角形線のような離散的設定にどのように適応できるか？
• RQ5 $\mathbb{R}^d$ 内の凸曲線とチェビシェフ系との関係は何か？

主な発見

• $\mathbb{R}^d$ 内の凸曲線上で $n$ 次多項式空間に直交する連続関数は、曲線が閉じていない場合、少なくとも $nd+1$ 個の符号変化を持つ。
• 曲線が閉じている場合、関数は少なくとも $nd+2$ 個の符号変化を持つ。これは鋭い下界である。
• この下界は、単位円など、古典的多項式または三角関数的チェビシェフ系を備えた曲線で達成される。
• この定理は四頂点定理を一般化する：$n=1$ かつ $d=2$ の場合、卵形曲線上の曲率半径関数は少なくとも4つの極値を持つ。
• 離散版も成り立つ：$\mathbb{R}^d$ 内の凸多角形線において、頂点における関数値が $n$ 次多項式に直交するならば、符号は少なくとも $dn+1$ 回（閉じている場合は $dn+2$ 回）変化する。
• この離散版は、平行な辺をもつ多角形曲線と等周長に関するアレクサンドロフの補題を含み、辺長の差に少なくとも4回の符号変化があることを確認する。