[論文レビュー] On Loewner's characterization of polynomials

J. M. Almira|arXiv (Cornell University)|May 3, 2016

Functional Equations Stability Results参考文献 5被引用数 4

ひとこと要約

この論文は、分布論と表現論を用いて、多項式のローウェンの特徴付けを新たな証明により提示する。すなわち、平行移動および直交変換に関して不変な有限次元空間に属する関数は、分布的意味で多項式であることを示している。主たる貢献は、1984年のレイルドとマケンの予想を解明することにあり、固有値解析と関数方程式を用いて、このような不変性が多項式的構造を示唆することを示している。

ABSTRACT

We give a new demonstration of Loewner's characterization of polynomials, solving in the positive a conjecture proposed by Laird and McCann in 1984.

研究の動機と目的

• ローウェンの多項式特徴付けに対する直接的証明の存在を、アンセルーネ＝コレークールの定理に依存せずに、平行移動および直交変換に関する不変性を用いて解明すること。
• $ C(\mathbb{R}^d) $ や $ \mathcal{D}'(\mathbb{R}^d) $ の有限次元部分空間に属する関数が、平行移動および直交変換に関して不変であるならば、それが多項式であることを確立すること。
• ローウェンの元々の結果を連続関数から分布へと拡張し、より強い特徴付けを提供すること。
• このような不変空間上の平行移動および直交変換作用素の固有値解析を用いて、多項式的構造を導出すること。

提案手法

• 可換な線形作用素の同時上三角化に関するフロベニウスの定理を、有限次元空間 $ V $ 上の平行移動および直交変換作用素に適用する。
• 関係式 $ \tau_{Py} = O_P^t \tau_y O_P $ を用いて、$ \tau_y $ と $ \tau_{Py} $ の固有値を関連付け、直交共役による不変性を示す。
• $ \tau_{e_1} $ の固有値比から得られる多項式 $ q(z) $ を構成し、$ a_0 \neq 0 $ を満たすようにする。これにより、$ \|z\| \leq 2 $ の範囲で $ \tau_z $ のスペクトルを捉えることができる。
• ハミルトンの定理を用いて、すべての $ \|z\| \leq 2 $ に対して $ q(\tau_z) = 0 $ を結論づけ、分布が有限次の線形関数方程式を満たすことを示す。
• 定理 2.2（フレシェの定理のモンテル型版）を適用し、$ f $ が分布的意味で多項式であることを導く。
• $ \| (P-I)e_1 \| \in [0,2] $ であること、および同じノルムを持つすべてのベクトルが直交変換で結びつくことを利用して、関数方程式をすべての小さな $ z $ へと拡張する。

実験結果

リサーチクエスチョン

• RQ1 アンセルーネ＝コレークールの定理に依存せずに、平行移動および直交変換に関する不変性を用いて、ローウェンの多項式特徴付けに対する直接的証明を構成可能か？
• RQ2 レイルドとマケン（1984年）の予想——このような証明が存在すべきだ——は真であるか？
• RQ3 連続関数に限らず、分布の空間においても、平行移動および直交不変な有限次元部分空間に属する多項式の特徴付けは有効か？
• RQ4 このような不変空間上での平行移動作用素の固有値構造を用いて、多項式性を示す関数方程式を導出可能か？
• RQ5 分布が多項式であることを強制する最小の不変条件（平行移動および直交不変性）の集合は何か？

主な発見

• 関数 $ f \in X_d $（$ C(\mathbb{R}^d) $ または $ \mathcal{D}'(\mathbb{R}^d) $）が、平行移動および直交変換に関して不変な有限次元空間に属するならば、それは分布的意味で多項式である。
• このような関数の有限次元空間 $ V $ では、平行移動および直交変換作用素の同時上三角化が可能であり、これにより固有値解析が可能になる。
• 固有値比から得られる多項式 $ q(z) $（次数 $ m = N \cdot N! $）を構成し、定数項 $ a_0 \neq 0 $ を満たすようにする。これにより、すべての $ \|z\| \leq 2 $ に対して $ q(\tau_z) = 0 $ が成り立つ。
• 関数方程式 $ q(\tau_z)f = 0 $ が $ \|z\| \leq 2 $ で成り立つことから、定理 2.2 を用いて $ f $ が分布的多項式であることが示される。
• $ d \geq 2 $ の場合、結果は完全に一般に成り立つ。$ d = 1 $ の場合、反例が存在し、$ d \geq 2 $ である必要性が示される。
• 関数 $ f $ が連続であれば、それはほとんど everywhere で通常の多項式に等しくなるため、古典的多項式である。