[论文解读] ON CERTAIN FUNCTIONS AND RELATED PROBLEMS

Symon Serbenyuk|arXiv (Cornell University)|Jan 1, 2019

Education, Innovation and Language Studies参考文献 6被引用 3

一句话总结

本文引入了柯尔莫哥洛夫级数展开中的广义移位算子，并将其应用于推广高斯-库兹敏问题与萨勒姆函数。研究建立了涉及这些算子的函数方程组的唯一有界连续解，给出了该解及其勒贝格积分的显式公式，将经典结果推广至变基数展开与非标准函数系统。

ABSTRACT

The present article is devoted to the description of further investigations of the author of this article. These investigations (in terms of various representations of real numbers) include the generalized Salem functions and generalizations of the Gauss-Kuzmin problem.

研究动机与目标

• 通过在变基数柯尔莫哥洛夫级数展开中引入广义移位算子，推广高斯-库兹敏问题。
• 通过函数方程引入新类函数，扩展奇异函数与处处不可微函数的理论。
• 分析由广义移位算子导出的解的连续性、可微性与可积性。
• 研究解在迭代广义移位下的不连续性结构与行为特征。
• 为未来在多种数码系统（包括卢罗思、恩格尔与连分数）中研究函数方程奠定基础。

提出的方法

• 为变基数 (qk) 的柯尔莫哥洛夫级数展开引入广义移位算子 σm，其定义为跳过第 m 位数字并重新加权剩余项。
• 将广义移位算子 σm 定义为分段连续映射，通过移除第 m 项后重新组合部分和。
• 建立涉及 σnk−1 ◦ ... ◦ σn1(x) 的函数方程组，其中系数 βαnk,nk 与权重 pαnk,nk 满足在 (−1,1) 内且和为 1 的约束条件。
• 通过迭代代入推导解 g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj，利用乘积项的衰减性证明其收敛性。
• 应用勒贝格积分公式 ∫₀¹ g(x)dx = (β₁ + ... + β_{q−1})/(q−1) 计算解函数的积分。
• 分析连续性与可微性：g 在 q-无理点处连续，且仅在依赖于序列 (nk) 的可数集上不连续。

实验结果

研究问题

• RQ1 在变基数柯尔莫哥洛夫级数展开中，迭代广义移位算子的极限分布是什么？
• RQ2 涉及广义移位算子的函数方程如何生成奇异函数或处处不可微函数？
• RQ3 在何种条件下，函数方程组的解保持有界且连续？
• RQ4 在 q-进制情形下，解函数的勒贝格积分是什么？其如何依赖于系数 βi 与 pi？
• RQ5 解函数的不连续性结构如何依赖于序列 (nk) 的选择？

主要发现

• 函数方程组在 [0,1] 上的函数类中存在唯一有界解 g(x) = βαn1 + ∑_{k=2}^∞ βαnk ∏_{j=1}^{k-1} pαnj。
• 解 g 在所有 q-无理点处连续，其不连续点构成一个可数集，且该集合为有限集或空集，具体取决于序列 (nk)。
• g 在 [0,1] 上的勒贝格积分为 ∫₀¹ g(x)dx = (β₁ + β₂ + ... + β_{q−1}) / (q−1)，给出了闭式表达。
• 由 ∏_{t=1}^k pαnt → 0 当 k → ∞ 且 |pαnt| < 1 可保证定义 g 的无穷级数收敛。
• 广义移位算子 σm 在开柱集上连续，且几乎处处可微，其导数为 qm，但在 n = m 时于 Q-有理点处不连续。
• 在特定条件下，复合恒等式 σₙₖ₋₁ ◦ ... ◦ σₙ₁(x) = σₙₖ₊ₙ₋₁(x) 成立，从而支持对迭代算子的递归分析。