[論文レビュー] Two-Dimensional Analogs of the Minkowski ?(x) Function

Andrew Marder|ArXiv.org|May 24, 2004

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

ひとこと要約

本稿では、三角形のファレイ分割およびバーチャン分割を用いて、単位単体から自身への写像を定義する、ミンコフスキーの質問符関数の2次元アナログを2つ導入する。主な貢献は、元の?(x)の特異的で連続的かつ厳密に増加する性質を一般化する連続的ファレイ-バーチャン写像を構築したことであり、そのほとんど everywhere での微分が消える性質は、部分三角形における面積の減少を用いて証明されている。

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.

研究の動機と目的

• 単位区間 [0,1] 上の特異的連続関数であるミンコフスキーの質問?'(x) を、単位単体上での2次元設定に拡張すること。
• 三角形から自身への写像を定義し、?(x) の主要な性質（立方無理数を有理数に写像し、ほとんど everywhere で微分がゼロであること）を保持すること。
• 以前の構成における非対称性を解消するため、滑らかで自然な連続的ファレイ-バーチャン写像を導入し、正規性と自然さを向上させること。
• ファレイ分割およびバーチャン分割における部分三角形の面積比を分析することで、2次元における特異性のアナログを確立すること。

提案手法

• ファレイ和およびバーチャン和による三角形の反復的分割を用いて、重み付きファレイ-バーチャン写像を構築する。
• ファレイ反復を、部分三角形のインデックスおよび重みの列を用いた多次元連分数として定義する。
• 分割プロセスを精緻化することで、単体全体にわたる連続性を保証する、見直された連続的ファレイ-バーチャン写像を導入する。
• 測度論的議論を用いて、有界なファレイ重みを持つ点の集合が測度ゼロであることを示す。
• バーチャン部分三角形とファレイ部分三角形の面積比を分析し、特異的類似の減少性を確立する。
• セーレムによる?(x)′ = 0 a.e. の証明にインspiredされた技法を用い、有限極限の仮定の下で、面積比がほとんど everywhere でゼロに近づくことを示す。

実験結果

リサーチクエスチョン

• RQ1 連続性、単調性、特異的性質を保持する2次元アナログのミンコフスキーの質問?'(x) を構築できるか？
• RQ2 ファレイ分割における周期性は、1次元における連分数の周期性と同様に、2次元設定で立方無理数を示すか？
• RQ3 バーチャン分割における周期性は、1次元の場合と同様に、2次元写像で有理数を示すか？
• RQ4 微分がほとんど everywhere でゼロである2次元の特異性のアナログは存在するか？ これは部分三角形における面積の減少を用いて示される。
• RQ5 不連続な重み付きバージョンを改善する、連続的ファレイ-バーチャン写像を定義できるか？

主な発見

• 重み付きファレイ-バーチャン写像は不連続であるが、自然な立方無理数のクラスを有理数に写像し、平均重みの上極限がほとんど everywhere で発散する：limsup (a₁+...+aₙ)/n = ∞。
• バーチャン部分三角形とファレイ部分三角形の面積比は、liminf (area(ṽₙ)/area(Δₙ)) = 0 ほぼ everywhere で成り立ち、強い減少を示している。
• 連続的ファレイ-バーチャン写像において、面積比の極限が存在して有限ならば、それはゼロでなければならない。これは2次元における特異性のアナログを証明する。
• 有界なファレイ重み（aₙ ≤ N）を持つ点の集合は測度ゼロである。ネストされた測度推定により、∏(8N³−1)/(8N³) = 0 が得られる。
• 連続的ファレイ-バーチャン写像は連続的であり、元の?(x)と類似した振る舞いを示しており、自然な2次元拡張であると考えられる。
• 面積減少比 ρₙ/ρₙ₋₁ ≤ 8aₙ³ / 6^{aₙ} → 0 として n→∞ ほぼ everywhere で成り立ち、バーチャン部分三角形の面積がファレイ部分三角形よりも速く減少することを確認している。