[论文解读] On Loewner's characterization of polynomials

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

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

一句话总结

本文利用分布理论与表示理论，为Loewner关于多项式表征的定理提供了新证明，表明在有限维空间中，若函数在平移与正交变换下不变，则其在分布意义下必为多项式。关键贡献在于通过特征值分析与函数方程，解决了Laird与McCann于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.

研究动机与目标

• 解决Laird与McCann（1984年）关于Loewner多项式表征存在直接证明的猜想。
• 确立在 $ C(\mathbb{R}^d) $ 或 $ \mathcal{D}'(\mathbb{R}^d) $ 的有限维子空间中，若函数在平移与正交变换下不变，则其必为多项式。
• 将Loewner原始结果从连续函数推广至分布空间，提供更强的表征。
• 通过平移与正交变换算子的特征值分析，推导出多项式结构。

提出的方法

• 将Frobenius关于可交换线性算子同时三角化的定理应用于有限维空间 $ V $ 上的平移与正交变换算子。
• 利用关系式 $ \tau_{Py} = O_P^t \tau_y O_P $ 关联 $ \tau_y $ 与 $ \tau_{Py} $ 的特征值，表明其在正交共轭下不变。
• 从 $ \tau_{e_1} $ 的特征值比值构造一个多项式 $ q(z) $，确保 $ a_0 \neq 0 $，以捕捉 $ \tau_z $ 在 $ \|z\| \leq 2 $ 范围内的谱。
• 利用Hamilton定理，得出对所有 $ \|z\| \leq 2 $ 有 $ q(\tau_z) = 0 $，从而推出该分布满足有限阶线性函数方程。
• 应用定理2.2（Fréchet定理的Montel型版本），推断出 $ f $ 在分布意义下为多项式。
• 利用 $ \| (P-I)e_1 \| \in [0,2] $ 对所有 $ P \in \mathbf{O}(d) $ 成立，且同范数向量可通过正交变换相互关联的性质，将函数方程拓展至所有小的 $ z $。

实验结果

研究问题

• RQ1 能否在不依赖Anselone-Koreevar定理的前提下，利用平移与正交变换不变性，为Loewner多项式表征构造出直接证明？
• RQ2 Laird与McCann（1984年）的猜想——此类证明应存在——是否成立？
• RQ3 在分布空间中，多项式作为有限维平移与正交不变子空间元素的表征是否成立，而不仅限于连续函数？
• RQ4 此类不变子空间上平移算子的特征值结构能否用于推导出蕴含多项式性的函数方程？
• RQ5 何种最小的不变性条件集合（平移与正交不变性）可强制一个分布为多项式？

主要发现

• 若函数 $ f \in X_d $（即 $ C(\mathbb{R}^d) $ 或 $ \mathcal{D}'(\mathbb{R}^d) $）属于在平移与正交变换下不变的有限维空间，则其在分布意义下为多项式。
• 此类函数的有限维空间 $ V $ 允许其平移与正交变换算子同时三角化，从而实现特征值分析。
• 从 $ \tau_{e_1} $ 的特征值比值构造出一个次数为 $ m = N \cdot N! $ 且常数项 $ a_0 \neq 0 $ 的多项式 $ q(z) $，使得对所有 $ \|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 $ 连续，则其几乎处处等于一个经典多项式，因此为经典多项式。