[论文解读] Local polynomials and the Montel Theorem

J. M. Almira, László Székelyhidi|arXiv (Cornell University)|Mar 18, 2014

Functional Equations Stability Results参考文献 9被引用 3

一句话总结

该论文通过局部化的弗雷chet函数方程刻画阿贝尔群上的局部多项式，证明当这些函数限制在余稠子群上时为普通多项式。主要贡献是将蒙泰尔定理推广，表明在$$\mathbb{R}^d$$上连续的局部多项式为普通多项式，并基于局部消去子条件推导出显式的次数界。

ABSTRACT

In this paper local polynomials on Abelian groups are characterized by a "local" Fréchet-type functional equation. We apply our result to generalize Montel's Theorem and to obtain Montel-type theorems on commutative groups.

研究动机与目标

• 通过局部化的弗雷chet函数方程刻画阿贝尔群上的局部多项式。
• 通过建立局部多项式成为普通多项式的条件，将蒙泰尔定理推广至交换群。
• 将理论扩展至分布情形，证明当生成集张成余稠子群时，$$\mathbb{R}^d$$上的局部多项式分布必为普通多项式。
• 基于差分的消去子条件，为局部多项式提供显式的次数界。

提出的方法

• 在有限生成子群上使用差分的卷积幂$$\Delta_y^{n+1}$$，引入弗雷chet函数方程的局部化版本。
• 利用群代数$$\mathbb{C}G$$的消去子理论，将局部多项式行为与迭代差分的消失联系起来。
• 应用广义多项式与可加函数的结构，证明在稠密性假设下，局部多项式性蕴含全局多项式性。
• 使用分布卷积将结果推广至分布情形，利用差分商收敛于偏导数的性质。
• 基于局部消去子阶数，推导出局部多项式的次数界$$N = n_1 + \cdots + n_t + t - 1$$。
• 利用$$\mathbb{R}^d$$中子群的稠密性，将$$\Delta_h^{N+1}$$在局部的消失性扩展至所有$$h \in \mathbb{R}^d$$，从而推出多项式性。

实验结果

研究问题

• RQ1 在何种条件下，阿贝尔群上的局部多项式会成为全局普通多项式？
• RQ2 如何将弗雷chet函数方程局部化，以刻画有限生成子群上的局部多项式？
• RQ3 给定生成集上的局部消去子条件时，$$\mathbb{R}^d$$上局部多项式的精确次数界是什么？
• RQ4 能否通过局部差分条件将蒙泰尔定理推广至非离散群（如$$\mathbb{R}^d$$）？
• RQ5 当生成集张成$$\mathbb{R}^d$$中的余稠子群时，$$\mathbb{R}^d$$上的局部多项式分布是否必然退化为普通多项式？

主要发现

• 阿贝尔群$$G$$上的函数$$f$$是局部多项式，当且仅当对任意有限集$$g_1, \dots, g_t$$，存在$$n_i$$使得$$\Delta_{g_i}^{n_i+1} * f = 0$$在由$$g_i$$生成的子群上成立。
• 每个在$$\mathbb{R}^d$$上连续的局部多项式都是普通多项式，其证明基于生成子群的稠密性与次数界。
• 所得普通多项式的次数由$$N = n_1 + \cdots + n_t + t - 1$$界定，其中$$n_i$$为局部消去子的阶数。
• 在分布情形下，若$$f$$满足$$\Delta_{h_k}^{n_k+1} * f = 0$$对$$k=1,\dots,t$$成立，且$$h_k$$在$$\mathbb{R}^d$$中生成稠子群，则$$f$$是次数至多为$$N$$的普通多项式。
• 此类分布$$f$$的所有阶数为$$d(N+1)$$的偏导数均为零，从而确认$$f$$为总次数至多为$$N$$的多项式。
• 该结果可推广至$$L^p(\mathbb{R}^d)$$函数，因其为分布，故局部多项式行为蕴含全局多项式结构。