[論文レビュー] Interiors of continuous images of the middle-third Cantor set

Kan Jiang, Lifeng Xi|arXiv (Cornell University)|Sep 6, 2018

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

ひとこと要約

本稿では、滑らかな関数による中間三分の一分形コッホ集合の直積の連続的像が非空な内部を持つための十分条件を確立する。陰関数定理および偏導関数の局所的解析を用いて、積集合内の点における偏導関数の比が 1 と 3 の間で厳密にとらえられる場合、像は開区間を含むことを証明する。これは、単項式、累乗和、三角関数合成関数といったいくつかの古典的関数について、コッホ集合上での内部点の存在を解決する。

ABSTRACT

Let $C$ be the middle-third Cantor set, and $f$ a continuous function defined on an open set $U\subset \mathbb{R}^{2}$. Denote the image \begin{equation*} f_{U}(C,C)=\{f(x,y):(x,y)\in (C imes C)\cap U\}. \end{equation*} If $\partial _{x}f$, $\partial _{y}f$ are continuous on $U,$ and there is a point $(x_{0},y_{0})\in (C imes C)\cap U$ such that \begin{equation*} 1

研究の動機と目的

• 連続関数による二つの中間三分の一分形コッホ集合の直積の像が非空な内部を持つ条件を特定すること。
• 加法や乗法などの算術的演算がコッホ集合に施された場合、像が内部点を持つかどうかという未解決問題に取り組むこと。
• 力学系やフラクタル幾何学の結果を一般化し、自己相似集合の像における内部の存在に関する一般的な基準を提供すること。
• 関数 $x^\alpha y^\beta$、$x^\alpha \pm y^\alpha$、$x \pm y^2$、$\sin(x)\cos(y)$ が $C \times C$ に制限された際に、像が非空な内部を持つかどうかを解明すること。

提案手法

• 滑らかな関数 $f$ が $C \times C$ 上で点において偏導関数の比 $1 < |\partial_x f / \partial_y f| < 3$ を満たす近傍で、陰関数定理を適用して局所的挙動を解析する。
• コッホ集合の基本区間および基本正方形への二進分割を用いて、像の拡大を制御するネストされた集合を構成する。
• 方向的増分 $t$ と $3t$ を用いた摂動論法により、$f$ による基本正方形の像が重複する区間を含むことを示し、結果として像が区間を含むことを導く。
• 部分正方形の各頂点における値を比較するための補助関数 $H_1, H_2, H_3, H_4$ を定義し、非空な重複を証明することで、区間カバーが成立することを示す。
• 対称性および符号変換（例：$f(x,y) \to -f(x,y)$、$f(x,y) \to f(-x,y)$）を用いて、一般の場合を正の偏導関数の場合に還元する。
• 具体的な関数について、偏導関数を計算し、$C \times C$ 内の特定の点で比の条件を満たすかを検証する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな関数 $f$ による $C \times C$ の連続的像が非空な内部を持つのはどのような条件下か？
• RQ2 $x^\alpha y^\beta$、$x^\alpha \pm y^\alpha$、$x \pm y^2$、$\sin(x)\cos(y)$ といった古典的関数に対して、内部存在の基準を適用可能か？
• RQ3 滑らかな関数による自己相似集合の像が非空な内部を持つかどうかを判定する一般的手法は存在するか？
• RQ4 偏導関数の比は、$C \times C$ の像の位相的構造にどのように影響するか？

主な発見

• $(C \times C) \cap U$ 内の点において、偏導関数の比 $|\partial_x f / \partial_y f|$ または $|\partial_y f / \partial_x f|$ が 1 と 3 の間で厳密にとらえられる場合、$f_U(C,C)$ は非空な内部を持つ。
• 非ゼロの $\alpha\beta$ に対して $f(x,y) = x^\alpha y^\beta$ の場合、$x = (2/3) \cdot 3^{-k}$ および $y = 1$ を選ぶことで偏導関数比の条件を満たし、$f_U(C,C)$ が非空な内部を持つことが確認される。
• $\alpha \neq 0$ に対して $f(x,y) = x^\alpha \pm y^\alpha$ の場合、像は非空な内部を持つ。特に $\alpha = 1$（$C + C = [0,2]$ を与える）または $x/y$ が 1 に近い場合に顕著である。
• $f(x,y) = x \pm y^2$ の場合、点 $(x_0, y_0) = (8/9, 1/3)$ で偏導関数比を評価すると $|1/(2y_0)| = 3/2 \in (1,3)$ となり、像が非空な内部を持つことが示される。
• $f(x,y) = \sin(x)\cos(y)$ の場合、点 $(x_0, y_0) = (2/3, 2/3)$ で絶対値の偏導関数比が約 1.615 となり、必要な区間内に位置し、像が非空な内部を持つことが確認される。