[論文レビュー] The Takagi function: a survey

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

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

ひとこと要約

このサーベイは、$ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $ で定義される連続的で至る所微分不可能な関数であるタカギ関数を包括的にレビューしている。ここで $ \phi(x) = \text{dist}(x, \mathbb{Z}) $ である。この関数の歴史、性質、解析学、数論、凸性理論における応用を統合し、$ \varepsilon $-中間凸関数における最小の連続モジュラスとしての役割を確立するとともに、ファレイ列を介してリーマン予想と結びつける。

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.

研究の動機と目的

• タカギ関数の数学的性質と歴史的発展を統合的かつ包括的にレビューし、頻繁な再発見を是正すること。
• タカギ関数を、特に至る所微分不可能関数や特異関数の研究において標準的な例として確立すること。
• 数論、組合せ論、関数不等式など多様な分野における応用を探索すること。
• $ \varepsilon $-中間凸関数の最小連続モジュラス $ \omega_p $ を特徴づけ、$ p \in (0,1] $ に対して $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ を示すこと。
• ファレイ列上での $ \sum_{r \in F_n} T(r) $ の漸近的挙動を通じて、タカギ関数とリーマン予想との深い関連を示すこと。

提案手法

• 関数解析と級数変形を用いて、$ T(x) = \sum_{n=0}^{\infty} \frac{1}{2^n} \phi(2^n x) $ で定義されるタカギ関数を分析する。ここで $ \phi(x) = \text{dist}(x, \mathbb{Z}) $ である。
• デ・ラムが同定したタカギ関数の自己相似的構造を応用し、再帰的かつフラクタル的な性質を導出する。
• 数学的帰納法と2進数の桁分解を用いて $ \omega_p $ を含む不等式を証明し、特に $ p \in (0,1] $ に対して $ \omega_p(x) = 2\sum_{n=0}^{\infty} \frac{1}{2^n} (\phi(2^n x))^p $ を導出する。
• リーマン予想との関連を検証するにあたり、ファレイ列 $ 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) $ であるが、これがリーマン予想と同値であることを確立する。
• 既知の特異関数および力学系に関する結果を用いて、タカギ関数をライプニッツの特異関数およびカオス的写像と結びつける。

実験結果

リサーチクエスチョン

• RQ1 タカギ関数が $ \varepsilon $-中間凸関数の最小連続モジュラスとして果たす正確な役割は何か？
• RQ2 ファレイ列上での和の挙動を通じて、タカギ関数はどのようにリーマン予想と関連しているか？
• RQ3 なぜタカギ関数は繰り返し再発見されてきたのか？また、その数学的魅力が持続する理由は何か？
• RQ4 タカギ関数が無限大の微分係数を持つ点の集合の構造はいかなるものか？
• RQ5 タカギクラスに属する一般化されたタカギ関数は、異なるパrameterの選択に対してどのように振る舞うか？

主な発見

• タカギ関数は、任意の $ \varepsilon $-中間凸関数が $ 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 $ における形の不連続的転換を示す。
• リーマン予想は、任意の $ \varepsilon > 0 $ に対して $ \sum_{r \in F_n} T(r) = \frac{1}{2}\Phi(n) + O(n^{1/2 + \varepsilon}) $ という漸近的推定と同値である。ここで $ F_n $ は $ n $ 番目のファレイ列である。
• タカギ関数のグラフのハウスドルフ次元は1であり、これは $ h \to 0 $ のとき $ T(x+h) - T(x) = O(h \log(1/|h|)) $ という鋭い評価の結果である。
• タカギ関数は、$ h \log(1/h) $ のオーダーのリプシッツ連続性を有する凸関数であり、この境界は最良であり、ムールダンとウィリアムズが示し、アンドリューズとピットによって精錬された。
• $ \omega_p $ は自身が $ (1,p) $-中間凸であることが確認され、$ p \in [1,2] $ の文脈においてその最小性が裏付けられる。