[论文解读] On Montel's theorem in several variables

J. M. Almira, Kh. F. Abu-Helaiel|arXiv (Cornell University)|Oct 12, 2013

Functional Equations Stability Results参考文献 7被引用 7

一句话总结

该论文通过平移算子的不变子空间，将蒙泰尔定理推广至多个复变量和实变量的情形。证明了当独立周期满足更高阶差分方程 Δₕ^{m+1}f = 0 时，连续或分布解必为多项式，从而将经典结果推广至 d 维情形，并建立了对可测函数版本的定理，但该版本因病态反例而失效。

ABSTRACT

Recently, the first author of this paper, used the structure of finite dimensional translation invariant subspaces of C(R,C) to give a new proof of classical Montel's theorem, about continuous solutions of Fréchet's functional equation $Δ_h^mf=0$, for real functions (and complex functions) of one real variable. In this paper we use similar ideas to prove a Montel's type theorem for the case of complex valued functions defined over the discrete group Z^d. Furthermore, we also state and demonstrate an improved version of Montel's Theorem for complex functions of several real variables and complex functions of several complex variables.

研究动机与目标

• 将弗雷歇函数方程多项式解的蒙泰尔经典定理推广至多个实变量和复变量函数。
• 在 ℝᵈ 上的分布上建立蒙泰尔定理的版本，利用平移不变的有限维子空间。
• 研究蒙泰尔定理是否适用于可测函数，结果为否定，并构造了反例。
• 统一函数方程方法与调和分析及函数方程中不变子空间理论。
• 通过指数单项式基和泛函分析方法，将一元变量解的结果推广至高维情形。

提出的方法

• 利用 C(ℝᵈ, ℂ) 和分布空间中有限维平移不变子空间的结构，刻画 Δₕ^{m+1}f = 0 的解。
• 应用安塞隆-科列瓦尔定理，通过指数单项式 x^α e^{⟨x,λ⟩} 描述平移不变子空间，构建解空间的基。
• 使用高阶差分算子 Δₕ^{m+1}f(x) = ∑_{k=0}^{m+1} (-1)^{m+1-k} C(m+1,k) f(x + kh) 定义函数方程。
• 利用群 h₁ℤ + ⋯ + h_ℓℤ 在 ℝᵈ 中的稠密性，推导出对稠密平移集的不变性，从而得出完全平移不变性。
• 利用多伊科维奇恒等式，将混合差分算子 Δ_{h₁⋯h_{m+1}}f 与迭代差分 Δₕ^{m+1}f 关联。
• 通过构造一个在 ℝ² 上可测但非多项式函数 f，满足对所有 n ≥ 2 有 Δₕ₁ⁿf = Δₕ₂ⁿf = 0，构造反例，表明蒙泰尔定理在可测函数类别中不成立。

实验结果

研究问题

• RQ1 蒙泰尔定理关于 Δₕ^{m+1}f = 0 的多项式解是否可推广至多个实变量函数？
• RQ2 该结论是否对 ℂᵈ 上的复值函数成立？能否推广至分布情形？
• RQ3 蒙泰尔定理对 ℝᵈ 上的可测函数是否成立？是否存在病态解？
• RQ4 在更高阶差分算子作用下，C(ℝᵈ, ℂ) 或分布空间中有限维平移不变子空间的结构如何？
• RQ5 当平移群稠密时，解空间的基能否通过指数单项式显式描述？

主要发现

• 若 f ∈ C(ℝᵈ, ℂ) 满足对 ℓ ≥ d 个线性无关向量 h₁,…,h_ℓ 有 Δₕₖ^{m+1}f = 0，且 h₁ℤ + ⋯ + h_ℓℤ 在 ℝᵈ 中稠密，则 f 是次数 ≤ m 的多项式。
• 对于分布 f ∈ X_d（C(ℝᵈ, ℂ) 或 ℝᵈ 上的分布），相同条件表明 f 是次数 ≤ m 的多项式。
• 结果可表示为 f(x) = ∑_{|α|<N} a_α x^α，其中 N ∈ ℕ，a_α 为复系数。
• 反例表明蒙泰尔定理在可测函数中不成立：存在 ℝ² 上的可测函数 f，满足对所有 n ≥ 2 有 Δₕ₁ⁿf = Δₕ₂ⁿf = 0，但 f 不是多项式。
• 失败的原因在于 f 的张成空间虽对稠密子群的平移不变，但对所有平移不保持不变。
• 本文确认：正则性（连续性或分布性）是必要条件——仅可测性不足以保证解为多项式。