[论文解读] Two-Dimensional Analogs of the Minkowski ?(x) Function

Andrew Marder|ArXiv.org|May 24, 2004

Mathematical and Theoretical Analysis参考文献 8被引用 4

一句话总结

本文引入了Minkowski的问号函数的两个二维类比，利用三角形的Farey和重心划分来定义从单位单纯形到自身的映射。关键贡献在于构造了一个连续的Farey-Bary映射，该映射推广了原始?(x)的奇异、连续、严格递增性质，通过子三角形中的面积衰减证明了其几乎处处导数为零的类比。

ABSTRACT

Two generalizations of the Minkowski ?(x) function are given. As ?(x) maps quadratic irrationals to rational numbers, it is shown that both generalizations send natural classes of pairs of cubic irrational numbers in the same cubic number field to pairs of rational numbers. It is also shown that these functions satisfy an analog to the fact that ?(x), while continuous and increasing, has derivative zero almost everywhere. Both extend earlier work of Beaver-Garrity on the Farey-Bary map.

研究动机与目标

• 将Minkowski的问号函数（在[0,1]上定义的奇异连续函数）推广到单位单纯形上的二维情形。
• 定义一个从三角形到自身的映射，保留?(x)的关键性质，如将三次无理数映射为有理数，并且几乎处处导数为零。
• 通过引入具有更好正则性和自然性的连续Farey-Bary映射，解决早期构造中的不对称性。
• 通过分析Farey和重心划分中子三角形的面积比，证明二维情形下奇异性的类比。

提出的方法

• 通过Farey和重心和的迭代划分，将三角形划分为子三角形，构造加权Farey-Bary映射。
• 将Farey迭代定义为使用子三角形索引和权重序列的多维连分数。
• 通过细化划分过程，确保在单纯形上连续，从而引入改进的连续Farey-Bary映射。
• 使用测度论论证，表明具有有界Farey权重的点集测度为零。
• 通过分析重心子三角形与Farey子三角形的面积比，建立类奇异衰减性质。
• 应用Salem证明?(x) = 0 a.e. 的技巧，在有限极限假设下，证明面积比几乎处处趋于零。

实验结果

研究问题

• RQ1 能否构造一个二维类比的Minkowski问号函数，使其保持连续性、单调性及奇异行为？
• RQ2 在Farey划分中出现周期性，是否意味着在二维情形下对应于三次无理数，类似于一维情形下的周期连分数？
• RQ3 在重心划分中出现周期性，是否意味着在二维映射中对应于有理数，如同在一维情形中一样？
• RQ4 是否存在二维奇异性的类比，即导数几乎处处为零，通过子三角形中的面积衰减来证明？
• RQ5 能否定义一个连续版本的Farey-Bary映射，以改进不连续的加权版本？

主要发现

• 加权Farey-Bary映射是不连续的，但将一类自然的三次无理数映射为有理数，且平均权重几乎处处发散：limsup (a₁+...+aₙ)/n = ∞。
• 重心子三角形与Farey子三角形的面积比满足liminf (area(ṽₙ)/area(Δₙ)) = 0 几乎处处成立，表明存在强烈的衰减。
• 对于连续Farey-Bary映射，若面积比的极限存在且有限，则其必须为零，从而证明了二维奇异性的类比。
• 具有有界Farey权重的点集（aₙ ≤ N）测度为零，通过嵌套测度估计得出∏(8N³−1)/(8N³) = 0。
• 连续Farey-Bary映射是连续的，并表现出与原始?(x)类似的行为，表明其为自然的二维推广。
• 面积衰减比ρₙ/ρₙ₋₁ ≤ 8aₙ³ / 6^{aₙ} → 0 当n→∞ 几乎处处成立，证实了重心子三角形的面积比Farey子三角形衰减得更快。