[論文レビュー] On the distribution of the cardinalities of level sets of the Takagi function

Pieter C. Allaart|arXiv (Cornell University)|Jul 4, 2011

Mathematical Approximation and Integration参考文献 10被引用数 5

ひとこと要約

本稿は、特異的で微分不可能な関数であるTakagi関数のレベル集合の濃度の分布を調査し、有限濃度として最も一般的な値が2であることを示している。また、濃度が2のレベル集合のLebesgue測度は5/12から35/72の間である。関数の自己相似性からセット方程式のシステムを導出し、レベル集合を特徴づけ、T(x) = yを解く反復的アルゴリズムを提供している。さらに、すべての正の偶数がレベル集合の濃度として現れることを証明し、特定の条件下でそのような集合に正の測度が存在することを示している。

ABSTRACT

Let T be Takagi's continuous but nowhere-differentiable function. It is known that almost all level sets (with respect to Lebesgue measure on the range of T) are finite. We show that the most common cardinality of the level sets of T is two, and investigate in detail the set of ordinates y such that the level set at level y has precisely two elements. As a by-product, we obtain a simple iterative procedure for solving the equation T(x)=y. We show further that any positive even integer occurs as the cardinality of some level set, and investigate which cardinalities occur with positive probability if an ordinate y is chosen at random from the range of T. The key to the results is a system of set equations for the level sets, which are derived from the partial self-similarity of T. These set equations yield a system of linear relationships between the cardinalities of level sets at various levels, from which all the results of this paper flow.

研究の動機と目的

• Takagi関数の有限濃度のレベル集合の分布を理解すること。
• レベル集合L(y)が正確に2つの要素を持つような従量yの集合を特徴づけること。
• どの正の偶数がTakagi関数のレベル集合の濃度として現れるかを特定し、その測度を求める。
• 自己相似構造を用いてT(x) = yを解く体系的な手法を開発すること。

提案手法

• Takagi関数の関数方程式と部分的な自己相似性からセット方程式のシステムを導出する。
• 関数方程式T(x) = (1/2)T(2x) + φ(2x)を用いて、異なるスケールにおけるレベル集合を関連付ける。
• y ∈ I_kに対して写像Ψ(y) = 4(y - t_k)を適用し、スケール間でレベル集合構造を伝播させる。
• Takagi展開を用いて、T(x) = yを解く反復的アルゴリズムを構築する。
• 測度論的推定と区間包含を用いて、集合S_{2n}のLebesgue測度を評価する。
• 再帰的解析とアフィン変換を組み合わせ、nが2の累乗または2つの2の累乗の和・差である場合にS_{2n}に正の測度が存在することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Takagi関数のレベル集合の最も一般的な有限濃度は何か？
• RQ2 |L(y)| = 2を満たすy ∈ [0, 2/3]の集合のLebesgue測度は何か？
• RQ3 どの正の偶数がTakagi関数のレベル集合の濃度として現れるか？
• RQ4 どの偶数2nについて、集合{y : |L(y)| = 2n}が正のLebesgue測度を持つのか？
• RQ5 関数の自己相似構造を用いて、T(x) = yを解く反復的手順を導出可能か？

主な発見

• Takagi関数のレベル集合の最も一般的な有限濃度は2であり、Lebesgue測度は5/12 ≈ 0.4167から35/72 ≈ 0.4861の間である。
• |L(y)| = 2を満たす従量yの集合S_2の測度は5/8 = 0.625より大きく、35/48 ≈ 0.729より小さいため、値域上で一様測度を仮定した場合、2が最も確率の高い有限濃度である。
• すべての正の偶数がTakagi関数のレベル集合の濃度として現れ、各偶数濃度に対して非可算に多くのレベル集合が存在する。
• nが2の累乗または2つの2の累乗の和・差である場合、S_{2n}のLebesgue測度は正であるが、すべてのnについてこのことは証明されていない。
• T(x) = yを解くためのシンプルな反復的アルゴリズムを可能にするTakagi展開が導入され、LagariasとMaddockの局所的レベル集合と関連づけられる。
• 自己相似性から導出されたセット方程式のシステムにより、異なるスケールにおける濃度の間の線形関係が得られ、本論文のすべての結果の基盤が築かれる。