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

ひとこと要約

この論文は、アーベル群上の局所多項式を、フレシェの関数方程式の局所版を用いて特徴づけ、その関数が稠密な部分群に制限されたとき、通常の多項式であることを証明する。主な貢献は、連続な局所多項式が $ abla^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.

研究の動機と目的

• アーベル群上の局所多項式を、フレシェの関数方程式の局所版を用いて特徴づける。
• 局所多項式が通常の多項式である条件を確立することで、可換群へのモンテルの定理の一般化を図る。
• 分布への理論の拡張を行い、$ abla^d$ 上の局所多項式分布が稠密性の条件下で通常の多項式であることを示す。
• 差分の零化子条件に基づいた、局所多項式の明示的な次数の上限を提示する。

提案手法

• 有限生成部分群上で差分 $ abla_y^{n+1}$ の畳み込みべきを用いて、フレシェの関数方程式の局所版を導入する。
• 群代数 $ abla G$ の零化子理論を用い、局所多項式の性質と反復差分の消滅を関連付ける。
• 一般化された多項式および加法的関数の構造を応用し、稠密性の仮定の下で局所多項式性がグローバルな多項式性を意味することを示す。
• 分布の畳み込みを用いて結果を分布へ拡張し、差分商の収束が偏微分に一致することを応用する。
• 局所零化子の次数に基づき、局所多項式の次数上限 $N = n_1 + \cdots + n_t + t - 1$ を導出する。
• $ abla^d$ 内の部分群の稠密性を活用し、すべての $h \in abla^d$ に対して $ abla_h^{N+1}$ の局所的消滅を拡張し、多項式性を示す。

実験結果

リサーチクエスチョン

• RQ1 アーベル群上の局所多項式が、どのような条件下でグローバルな通常多項式に一致するか。
• RQ2 有限生成部分群上で、フレシェの関数方程式をどのように局所化して局所多項式を特徴づけられるか。
• RQ3 $ abla^d$ 上の局所多項式の正確な次数上限は、生成集合における局所零化子条件からどのように特定できるか。
• RQ4 非離散群（例：$ abla^d$）に対して、局所差分条件を用いてモンテルの定理を一般化できるか。
• RQ5 生成集合が$ abla^d$ で稠密な部分群を生成するとき、$ abla^d$ 上の局所多項式分布は、必ず通常多項式に還元されるか。

主な発見

• アーベル群 $G$ 上の関数 $f$ が局所多項式であるための必要十分条件は、任意の有限集合 $g_1, \dots, g_t$ に対して、$\nabla_{g_i}^{n_i+1} * f = 0$ が $g_i$ の生成する部分群上で成り立つような $n_i$ が存在することである。
• $ abla^d$ 上の連続な局所多項式は、生成される部分群の稠密性と次数の上限から、通常多項式であることが示される。
• 得られる通常多項式の次数は、$N = n_1 + \cdots + n_t + t - 1$ で抑えられ、ここで $n_i$ は局所零化子の次数である。
• 分布の設定では、$k=1,\dots,t$ に対して $ abla_{h_k}^{n_k+1} * f = 0$ が成り立ち、$ abla^d$ 内で稠密な部分群を生成する $h_k$ が存在するならば、$f$ は次数が高々 $N$ の通常多項式である。
• このような分布 $f$ の全微分の $d(N+1)$ 階のすべての偏微分が消えるため、$f$ が全次数が高々 $N$ の多項式であることが確認される。
• この結果は $L^p( abla^d)$ 関数に対しても拡張可能である。なぜなら、$L^p$ 関数は分布として扱えるからであり、したがって局所多項式性がグローバルな多項式的構造を意味する。