[论文解读] The improper infinite derivatives of Takagi's nowhere-differentiable function

Pieter C. Allaart, Kiko Kawamura|arXiv (Cornell University)|Feb 13, 2010

Advanced Topology and Set Theory参考文献 4被引用 6

一句话总结

本文通过点的二进制展开，完整刻画了Takagi处处不可微函数在何处具有单侧无穷大非正常导数（左或右）的条件。作者利用Rademacher级数表示并改进了早期有缺陷的标准，建立了涉及二进制数位位置增长速率的精确条件，表明具有正无穷大或负无穷大导数的点集的Hausdorff维数均为1。

ABSTRACT

Let T be Takagi's continuous but nowhere-differentiable function. Using a representation in terms of Rademacher series due to N. Kono, we give a complete characterization of those points where T has a left-sided, right-sided, or two-sided infinite derivative. This characterization is illustrated by several examples. A consequence of the main result is that the sets of points where T'(x) is infinite have Hausdorff dimension one. As a byproduct of the method of proof, some exact results concerning the modulus of continuity of T are also obtained.

研究动机与目标

• 纠正Begle与Ayres对Takagi函数中无穷大导数的有缺陷的刻画，他们错误地声称二进制数位不平衡发散意味着存在无穷大导数。
• 解决左右导数行为之间的不对称性，特别是说明左导数条件并非右导数情况的对称形式。
• 对区间[0,1]中所有具有单侧或双侧非正常无穷大导数的点提供完整且严格的刻画。
• 利用相同的分析框架，拓展近期关于Takagi函数模连续性结果。
• 确立具有正无穷大或负无穷大导数的点集的Hausdorff维数均为1，这是关键的几何测度论结果。

提出的方法

• 采用Kono提出的Takagi函数的Rademacher级数表示，将T(x)表达为包含Rademacher函数的无穷级数。
• 通过将和式划分为三部分（主项Σ₁、中间项Σ₂和余项Σ₃）来分析差商行为，每部分均通过估计加以控制。
• 引入序列{aₙ}和{bₙ}，分别表示x的二进制展开中数字1和0的位置，以表达导数条件。
• 通过aₙ和bₙ序列的渐近分析，推导出无穷大单侧导数的必要与充分条件，特别是涉及表达式aₙ₊₁ − 2aₙ + 2n − log₂(aₙ₊₁ − aₙ) → −∞的形式。
• 应用密度正则性概念，通过d₁(x)的存在性及bₙ₊₁/bₙ或aₙ₊₁/aₙ的增长条件来定义，以刻画对数模连续性极限的存在性。
• 利用T(1−x) = T(x)的对称性，关联左右导数行为，并将结果推广至两侧。

实验结果

研究问题

• RQ1 Takagi函数在何处具有右侧行为的无穷大导数？其二进制展开中x的精确必要与充分条件是什么？
• RQ2 Begle与Ayres的早期断言为何失败？需要何种更强的条件才能确保非正常无穷大导数的存在？
• RQ3 左侧行为与右侧行为的无穷大导数条件有何不同？其条件不对称的原因是什么？
• RQ4 T'(x) = ±∞的点集的Hausdorff维数是多少？如何建立这一结论？
• RQ5 极限lim_{h→0} (T(x+h)−T(x))/(h log₂(1/|h|))在何种条件下存在？其值是多少？

主要发现

• 右导数T′₊(x) = +∞当且仅当aₙ − 2n → ∞，其中{aₙ}为x的二进制展开中1的位置。
• 左导数T′₋(x) = +∞当且仅当aₙ₊₁ − 2aₙ + 2n − log₂(aₙ₊₁ − aₙ) → −∞。
• 右导数T′₊(x) = −∞当且仅当bₙ₊₁ − 2bₙ + 2n − log₂(bₙ₊₁ − bₙ) → −∞，其中{bₙ}为x的二进制展开中0的位置。
• 左导数T′₋(x) = −∞当且仅当bₙ − 2n → ∞。
• T′(x) = +∞与T′(x) = −∞的点集的Hausdorff维数均为1。
• 极限lim_{h→0} (T(x+h)−T(x))/(h log₂(1/|h|))存在当且仅当x是密度正则的，此时极限值为d₀(x) − d₁(x)，其中d₀与d₁分别为x的二进制展开中0与1的自然密度。