[论文解读] Two-radii theorem for solutions of some mean value equations

Olga D. Trofimenko|arXiv (Cornell University)|Sep 16, 2013

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

一句话总结

本文建立了复分析中涉及球均值的积分均值方程解的双半径定理。通过贝塞尔函数和整函数的表示公式，刻画了多解析方程 $(\partial_z)^{m-s}(\partial_{\bar{z}})^m f = 0$ 的解，证明当相应辅助函数的零点集不相交时，此类解由其在两个不同半径上的均值唯一确定。

ABSTRACT

A description of solutions of some integral equations has been obtained. A two-radii theorem is obtained as well.

研究动机与目标

• 刻画复平面上涉及球均值的一类积分均值方程的光滑解。
• 建立一个双半径定理，将多解析微分方程的解与它们在两个固定半径上的积分均值联系起来。
• 确定函数在两个半径上满足均值条件时，必须是特定多解析PDE解的条件。
• 通过傅里叶-贝塞尔级数和具有可控增长的整函数分析解的结构。

提出的方法

• 以傅里叶系数和特殊函数 $ \Phi_{\lambda,\eta,k}(\rho) $（即贝塞尔函数的导数）表示均值方程 (1) 的解，推导出表示公式。
• 定义函数 $ g_r(z) $，其零点决定了解的谱分量，并引入右半平面中非负虚部的零点集 $ Z_r $。
• 利用佩利-维纳理论及与 $ g_{r_1}, g_{r_2} $ 关联的紧支集分布 $ T_1, T_2 $ 的卷积方程分析解空间。
• 应用卷积方程和整函数零点集的定理，将卷积的消失与解的结构联系起来。
• 利用条件 $ Z(r_1, r_2) = \emptyset $ 推出唯一解为满足多解析PDE (2) 的函数。
• 当 $ Z(r_1, r_2) \neq \emptyset $ 时构造反例，表明仅在零点集不相交时，两个半径的均值条件才蕴含PDE。

实验结果

研究问题

• RQ1 在何种条件下，满足两个不同半径均值方程的函数必然满足多解析PDE？
• RQ2 如何通过贝塞尔函数和整函数完全刻画均值方程的解空间？
• RQ3 零点集 $ Z(r_1, r_2) $ 在决定双半径均值条件是否蕴含微分方程中起什么作用？
• RQ4 光滑函数能否在两个半径上满足均值条件，但不是相应多解析PDE的解？
• RQ5 积分均值方程 (1) 的解在傅里叶-贝塞尔级数和特殊函数下的精确结构是什么？

主要发现

• 对固定半径 $ r $，均值方程 (1) 的解空间完全由多项式项的有限线性组合与涉及 $ \Phi_{\lambda,\eta,k}(\rho) $ 的无穷级数构成，且当 $ |\lambda| \to \infty $ 时系数快速衰减。
• 当 $ Z(r_1, r_2) = \emptyset $ 时，任何在 $ r_1 $ 和 $ r_2 $ 上满足均值条件的函数必为光滑函数，并满足多解析PDE $ (\partial_z)^{m-s}(\partial_{\bar{z}})^m f = 0 $。
• 若 $ Z(r_1, r_2) \neq \emptyset $，则存在非平凡光滑函数满足双半径均值条件但不满足PDE，表明零点集条件的必要性。
• 函数 $ \Phi_{\lambda,\eta,k}(\rho) $（定义为 $ J_k(z\rho) $ 的导数）与多项式项结合时，构成解空间的完备基。
• 函数 $ g_r(z) $ 的零点渐近行为，包括虚部的对数界和导数的下界，确保了解表示的收敛性与唯一性。
• 证明依赖于分布卷积和佩利-维纳理论，表明 $ f * T_1 $ 与 $ f * T_2 $ 在重叠区域消失，当且仅当 $ Z(r_1, r_2) = \emptyset $ 时，$ f $ 是PDE的解。