[论文解读] The Takagi function: a survey

Pieter C. Allaart, Kiko Kawamura|arXiv (Cornell University)|Oct 8, 2011

Mathematical Dynamics and Fractals参考文献 55被引用 6

一句话总结

本综述全面回顾了Takagi函数，这是一个连续但处处不可微的函数，定义为 $ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $，其中 $ \phi(x) = \text{dist}(x, \mathbb{Z}) $。综述整合了其历史、性质及其在分析学、数论和凸性理论中的应用，确立了其作为 $ \varepsilon $-中凸函数中最小模连续性的角色，并通过Farey序列将其与黎曼猜想联系起来。

ABSTRACT

This paper sketches the history of the Takagi function T and surveys known properties of T, including its nowhere-differentiability, modulus of continuity, graphical properties and level sets. Several generalizations of the Takagi function, in as far as they are based on the "tent map", are also discussed. The final section reviews a number of applications of the Takagi function to various areas of mathematics, including number theory, combinatorics and classical real analysis.

研究动机与目标

• 提供Takagi函数数学性质与历史发展的统一、全面综述，纠正其频繁被重新发现的现象。
• 确立Takagi函数作为分析学中的典范例子，特别是在研究处处不可微函数与奇异函数方面。
• 探索其在数论、组合学和泛函不等式等不同领域的应用。
• 刻画 $ \varepsilon $-中凸函数的最小模连续性 $ \omega_p $，证明当 $ p \in (0,1] $ 时，有 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $。
• 展示Takagi函数与黎曼猜想之间通过 $ \sum_{r \in F_n} T(r) $ 的渐近行为所建立的深刻联系。

提出的方法

• 本文使用泛函分析与级数运算分析Takagi函数 $ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $，其中 $ \phi(x) = \text{dist}(x, \mathbb{Z}) $。
• 应用由de Rham识别出的Takagi函数自仿射结构，推导其递归与分形性质。
• 作者采用数学归纳法与二进制数位分解，证明涉及 $ \omega_p $ 的不等式，特别是推导出当 $ p \in (0,1] $ 时，有 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $。
• 在与黎曼猜想的联系方面，论文对Farey序列 $ F_n $ 上的 $ \sum_{r \in F_n} T(r) $ 进行了计算，利用第5.1节中的有理逼近方法。
• 通过将 $ \sum_{r \in F_n} T(r) $ 的增长与 $ \frac{1}{2}\Phi(n) $ 进行比较，其中 $ \Phi(n) = \sum_{k \leq n} \varphi(k) $，建立其与黎曼猜想的等价性。
• 本文利用关于奇异函数与动力系统已知结果，将Takagi函数与Lebesgue的奇异函数及混沌映射联系起来。

实验结果

研究问题

• RQ1 Takagi函数在 $ \varepsilon $-中凸函数中作为最小模连续性的精确作用是什么？
• RQ2 Takagi函数如何通过在Farey序列上的求和行为与黎曼猜想产生关联？
• RQ3 为何Takagi函数一再被重新发现？其持久的数学吸引力源于何方？
• RQ4 Takagi函数具有无穷大导数的点的集合具有何种结构？
• RQ5 Takagi函数的推广形式（如Takagi类中的函数）在不同参数选择下表现出何种行为？

主要发现

• Takagi函数是满足任意 $ \varepsilon $-中凸函数 $ f $ 的不等式 $ f(tx + (1-t)y) \leq t f(x) + (1-t)f(y) + \varepsilon \omega_1(t)\|x-y\| $ 的最小函数 $ \omega_1 $，且 $ \omega_1 = 2T $。
• 当 $ p \in (0,1] $ 时，最小模连续性 $ \omega_p $ 由 $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ 给出，其形式在 $ p = 1 $ 处表现出不连续的跃迁。
• 黎曼猜想等价于渐近估计式 $ \sum_{r \in F_n} T(r) = \frac{1}{2}\Phi(n) + O(n^{1/2 + \varepsilon}) $ 对所有 $ \varepsilon > 0 $ 成立，其中 $ F_n $ 为第 $ n $ 个Farey序列。
• Takagi函数图像的Hausdorff维数为1，这是由于当 $ h \to 0 $ 时，有精确估计 $ T(x+h) - T(x) = O(h \log(1/|h|)) $。
• Takagi函数是阶为 $ h \log(1/h) $ 的凸Lipschitz函数，且该界为最优，此结论由Mauldin与Williams证明，并由Anderson与Pitt进一步优化。
• 函数 $ \omega_p $ 本身是 $ (1,p) $-中凸的，这证实了其在 $ p \in [1,2] $ 情形下关于 $ \varepsilon $-中凸性中的最小性。