[論文レビュー] Kakeya Sets in Cantor directions

Michael Bateman, Nets Hawk Katz|ArXiv.org|Sep 6, 2006

Mathematical Dynamics and Fractals参考文献 5被引用数 4

ひとこと要約

本稿では、標準的な三進コッホ集合に含まれる傾きを持つ平行四辺形を用いて、平面におけるKakeya集合の族を構成し、このような集合が、非可算個の方向に線分を含にもかかわらず、任意に小さいLebesgue測度（$1/\log N$のオーダー）をもつことを示した。この構成は確率的技法と木構造上の電気ネットワーク理論に依拠し、すべての$L^p$空間（$p \neq \infty$）において有界でない最大作用素を導出するものであり、調和解析における長年の未解決問題を解決する。

ABSTRACT

We construct a union of N parallelograms of dimensions approximately 1/N x 1 in the plane, with the slope of their long sides in the standard Cantor set. The union has area 1/log N but the union of the doubles has area log log N/ log N. In particular, this implies unbounded of the associated maximal operator in L^p for any p different from infinity. The construction is by randomizing an earlier construction of the second author for the L^2 case. The proof that the construction satisfies the desired conditions is by elementary estimates in the theory of percolation on trees as developed by R. Lyons.

研究の動機と目的

• 標準的な三進コッホ集合に属する方向における線分に関連する最大作用素$\mathcal{M}$が、$L^p(\mathbb{R}^2)$上で$p \neq \infty$のとき非有界である、という長年の未解決問題を解決すること。
• コッホ集合に制限された傾きを持つが、任意に小さいLebesgue測度をもつKakeya型集合の具体的な例を構成すること。
• 木構造における透過現象と、フラクタル的方角におけるKakeya集合の測度的性質との間の関係を確立すること。
• $N$に関して対数的に減少する測度をもつKakeya集合の確率的構成を提供すること。また、その拡大版は$\log \log N / \log N$で下から抑えられることを示すこと。

提案手法

• 三進木$T_n$と$n$段階目のコッホ集合$C_n$の間の「ね 黏り」写像$\sigma_n: T_n \to C_n$の確率的構成。独立な確率変数$r_{t,a} \in \{0,2\}$を用いて傾きを定義する。
• 傾きがコッホ集合内にある方向に沿って配置された、歪度$\sim N = 3^n$、面積$\sim 1/N$の平行四辺形$P_{\sigma,s}$の定義。
• 三進木の部分木における電気ネットワークの抵抗理論を用いて、点が平行四辺形の和集合に属する確率を推定する。
• Lyonsの定理を応用し、ある部分木に到達する確率を有効抵抗$R(T')$に関連づける。関連する部分木に対しては$R(T') \gtrsim n$が成り立つ。
• 測度論における一様性不等式を用いて、互いの交差を考慮して平行四辺形の和集合の測度を下から抑え込む。
• 積分と期待値の交換を適用し、Kakeya集合の期待測度を計算することで、主要な減少推定式に到達する。

実験結果

リサーチクエスチョン

• RQ1 コッホ集合に制限された方向を持つKakeya集合を構成し、依然として任意に小さいLebesgue測度をもたせることは可能か？
• RQ2 $\mathcal{S}$をコッホ集合に属する傾きを持つ直線の集合とするとき、$\mathcal{M}f(x) = \sup_{x \in s \in \mathcal{S}} \text{av}_s |f|$ が、$p \neq \infty$のとき$L^p(\mathbb{R}^2)$上で非有界であるか？
• RQ3 $N = 3^n$個の平行四辺形からなるKakeya集合の測度の漸近的挙動は何か？ここで、各平行四辺形の歪度は$\sim N$、面積は$\sim 1/N$、傾きはコッホ集合内にある。
• RQ4 このような構成における拡大集合$2P_j$の測度は、元の集合と比べてどのように異なるか？

主な発見

• $N = 3^n$ に対して、コッホ集合に属する傾きを持つ$N$個の平行四辺形の和集合が存在し、それぞれの歪度は$\sim N$、面積は$\sim 1/N$である。この和集合の測度は$|\bigcup_{j=1}^N P_j| \lesssim 1/\log N$を満たす。
• 拡大和集合$\bigcup_{j=1}^N 2P_j$の測度は$|\bigcup_{j=1}^N 2P_j| \gtrsim \log \log N / \log N$を満たす。
• コッホ集合に属する傾きを持つ直線に対して定義される最大作用素$\mathcal{M}$は、すべての$p \neq \infty$に対して$L^p(\mathbb{R}^2)$上で非有界である。
• 本構成は、三進木上の「ね 黏り」写像の確率的モデルに依拠しており、点がKakeya集合に属する確率は電気ネットワークにおける有効抵抗によって推定される。
• Kakeya集合の測度に対する主要な下界は$|K_\sigma| \gtrsim \log n / n$であり、これは抵抗推定式$R(T') \gtrsim n$とLyonsの定理から導出される。
• 「ね 黏り」写像の確率空間上でKakeya集合の期待測度は$\lesssim 1/n$であるため、測度$\lesssim 1/n$をもつ特定のインスタンスが存在する。一方、下界$\gtrsim \log n / n$により、非自明性が保証される。