[论文解读] A Generalization of Gajda's Equation on Commutative Topological Groups

Żywilla Fechner, László Székelyhidi|arXiv (Cornell University)|Mar 9, 2014

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

一句话总结

本文通过引入涉及两个未知函数 $ f_1 $ 和 $ f_2 $ 以及复测度 $ \mu $ 的基于卷积的方程，将 Gajda 在交换拓扑群上的积分-函数方程进行了推广。本文完整刻画了方程 $ (f_1 * \mu)(x+y) + (\widecheck{f}_2 * \mu)(x-y) = g(x)h(y) $ 的解，表明解要么为指数函数的组合，要么涉及可加函数，具体取决于测度的谱性质。

ABSTRACT

In the present paper we deal with the following generalization of the sine-cosine equation \begin{equation*} \int f_1(x+y-t)+f_2(x-y+t) dμ(t)=g(x)h(y) \end{equation*} for complex valued functions $f_1$, $f_2$, $g$ and $h$ defined on a commutative topological group $G$, where $μ$ is a complex measure defined on $G$.

研究动机与目标

• 通过在交换拓扑群上用任意复测度替代狄拉克测度，推广 Gajda 的积分-函数方程。
• 通过引入一般测度 $ \mu $，将 Wilson 与 d’Alembert 的函数方程推广，统一先前结果于同一框架之下。
• 针对方程 $ \int [f_1(x+y-t) + f_2(x-y+t)] d\mu(t) = g(x)h(y) $ 提供完整的解结构，利用谱合成与调和分析。
• 在拓扑假设下，根据指数函数、可加函数与测度变换对解进行刻画，并引入正则性条件。
• 将已知情形如 d’Alembert 与 Gajda 的方程作为该推广框架下的特例恢复。

提出的方法

• 以卷积形式表述推广方程：$ (f_1 * \mu)(x+y) + (\widecheck{f}_2 * \mu)(x-y) = g(x)h(y) $，其中 $ \widecheck{f}(x) = f(-x) $。
• 引入辅助函数 $ F_1 = f_1 * \mu $ 与 $ F_2 = \widecheck{f}_2 * \mu $，将问题简化为求解 $ F_1(x+y) + F_2(x-y) = g(x)h(y) $。
• 应用 Székelyhidi（1991）的谱合成技术，对双线性函数方程 $ F_1(x+y) + F_2(x-y) = g(x)h(y) $ 的解进行分类。
• 利用测度 $ \mu $ 的傅里叶变换 $ \widehat{\mu}(m) $，将解表示为指数函数 $ m $ 与可加函数 $ a $ 的形式。
• 区分两类解：一类涉及非偶指数函数，其系数来自 $ \widehat{\mu}(m) $；另一类涉及偶指数函数，其系数包含可加分量。
• 建立正则性结果：若 $ f $ 或 $ g $ 连续或可测，则指数函数与可加函数亦连续，且在有界性条件下，指数函数为特征标。

实验结果

研究问题

• RQ1 在交换拓扑群上，积分-函数方程 $ \int [f_1(x+y-t) + f_2(x-y+t)] d\mu(t) = g(x)h(y) $ 的完整解结构为何？
• RQ2 该推广方程的解如何与 d’Alembert、Wilson 与 Gajda 的已知方程相关联？
• RQ3 在何种测度 $ \mu $ 与群 $ G $ 的条件下，解中会出现可加函数？
• RQ4 测度变换 $ \widehat{\mu}(m) $ 在决定解的形式中起何作用？
• RQ5 正则性条件（连续性、可测性、有界性）如何影响解的本质及底层函数（如指数函数、特征标）？

主要发现

• 解分为两类：一类为 $ f_1(x) = \gamma m(x) + \delta m(-x) $，$ h(y) = \widehat{\mu}(m)m(y) + \widehat{\mu}(\widecheck{m})m(-y) $，其中 $ m $ 为指数函数；另一类为 $ f_1(x) = \left( \frac{1}{2\widehat{\mu}(m_0)}a(x) + \beta \right)m_0(x) $，$ h(y) = 2\widehat{\mu}(m_0)m_0(y) $，其中 $ m_0 $ 为偶指数函数且 $ \widehat{\mu}(m_0) \neq 0 $。
• 第二类解存在的充要条件是存在某个偶指数函数 $ m_0 $ 使得 $ \widehat{\mu}(m_0) \neq 0 $，且此类解涉及可加函数 $ a $。
• 当 $ G $ 局部紧致且 $ f $ 或 $ h $ 为哈尓可测时，解 $ f, h, m, m_0 $ 连续，若函数本质有界，则 $ m, m_0 $ 为特征标。
• 推广方程统一了 Gajda、Wilson 与 d’Alembert 的方程：令 $ \mu = \frac{1}{2}\delta_0 $ 可恢复 d’Alembert 方程，令 $ f_1 = f_2 = f $，$ h = g $ 可恢复 Gajda 方程。
• 在方程 (17) 情形下，$ \int [f(x+y-t) + f(x-y+t)] d\mu(t) = k(x)f(y) $，解不包含可加函数，仅为系数来自 $ \widehat{\mu}(m) $ 的纯指数组合。
• 解结构唯一：当 $ m $ 为指数函数，$ a $ 为可加函数，$ b $ 为复数时，形式 $ x \mapsto (a(x) + b)m(x) $ 的表示唯一。