[論文レビュー] Analysis of the convex hull of the attractor of an IFS

Jarek Duda|ArXiv.org|Oct 20, 2007

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

ひとこと要約

本稿では、反復関数系（IFS）の吸引核の凸包を計算するための新しい手法を提示する。この手法は、任意の方向における集合の幅を与える関数（幅関数）を分析することで、自己相似性の式を幅関数の関数方程式に変換し、数値的または解析的に解くことを可能にする。主な貢献は、同一の収縮写像を有する2次元IFSに対して、凸包の面積および境界長の閉形式の公式を導出したことであり、これにより新しい三角不等式が得られる。

ABSTRACT

In this paper we will introduce the methodology of analysis of the convex hull of the attractors of iterated functional systems (IFS) - compact fixed sets of self-similarity mapping. The method is based on a function which for a direction, gives width in that direction. We can write the self similarity equation in terms of this function, solve and analyze them. Using this function we can quickly check if the distance from K of a given x is smaller than a given distance or even compute analytically convex hull area and the length of its boundary

研究の動機と目的

• 通常は直接解析が困難なIFS吸引核の凸包を体系的に計算するための手法を開発すること。
• 凸包の計算問題を、集合の各方向における広がりを記述する幅関数における関数方程式に還元すること。
• 面積、境界長、および吸引核からの点までの距離といった幾何的性質を効率的に計算可能にする。
• 特に同一の線形写像を有する2次元IFSの設定において、解析的公式を導出すること。
• 幾何的解析を通じて、凸包の性質から新しい三角不等式を確立すること。

提案手法

• 点 $ x $ からの距離 $ h $ において、方向 $ d $ に直交する超平面によって有界な半空間に集合 $ K $ が含まれるような最小の $ h $ を幅関数 $ h_{K,x}(d) $ として定義する。
• 自己相似性の式 $ K = \bigcup_{i=1}^n (A_i(K) + t_i) $ を幅関数の観点から表現し、関数方程式 $ h_0(d) = \max_i \left( \|A_i^T d\| \cdot h_0(\widehat{A_i^T d}) + t_i^T d \right) $ を得る。
• IFSの収縮性に起因する収束性を保証する反復的数値手法を用いて、幅関数の関数方程式を解く。
• 非微分可能性を示す点を特定することで、幅関数から凸包を再構成する。これらの点は凸包多角形の辺や頂点に対応する。
• 同一の線形写像を有する2次元IFSに対しては、幅関数を区分的コサイン関数に分解し、回転させた三角形の和集合として凸包を再構成する。
• 境界長 $ B = 2(n-1)/(r-1) $ および面積 $ A = \frac{(n-1)^2}{r^2 - 1} \sum_{v>0} |\sin(v\phi)| r^{-v} $ の明示的公式を導出し、三角不等式を導く。

実験結果

リサーチクエスチョン

• RQ1 方向ごとの幅の関数的表現を用いて、IFS吸引核の凸包を効率的に計算する方法は何か？
• RQ2 IFSの自己相似性を、幅関数の関数方程式に変換できるか。これにより、数値的または解析的解法が可能になるか？
• RQ3 特定のIFS設定において、幅関数から得られる幾何的性質（面積、境界長など）は何か？
• RQ4 幅関数の構造（例えば、非微分可能性を示す点）は、凸包の多角形的構造とどのように関係するか？
• RQ5 IFS吸引核の凸包の幾何的解析から、どのような新しい数学的不等式が導かれるか？

主な発見

• 関数方程式 $ h_0(d) = \max_i \left( \|A_i^T d\| \cdot h_0(\widehat{A_i^T d}) + t_i^T d \right) $ は、IFS吸引核の凸包の幅関数を完全に特徴づける。
• 同一の線形写像 $ A_i = rR $ を有する2次元IFSに対して、$ R $ は角度 $ \phi $ だけ回転する写像である。この場合、凸包は $ k $ 個の三角形からなる多角形であり、頂点は幅関数の非微分可能性を示す点によって決定される。
• 凸包の境界長は $ B = 2(n-1)/(r-1) $ であり、角度 $ \phi $ に依存しない。これは非自明な幾何的結果である。
• 凸包の面積は $ A = \frac{(n-1)^2}{r^2 - 1} \sum_{v>0} |\sin(v\phi)| r^{-v} $ で与えられ、これより不等式 $ \sum_{j>0} |\sin(j\phi)| r^{-j} \leq \frac{1}{\pi} \frac{r+1}{r-1} $ が導かれる。
• 本手法により、高速な距離チェックが可能である。点 $ x $ が吸引核 $ K $ から距離 $ \varepsilon $ 以内にあるための必要十分条件は、$ h_0(d) \leq \|x\|_d + \varepsilon $ であり、ここで $ \|x\|_d $ は方向 $ d $ におけるサポート関数を表す。
• 幅関数の非微分性を示す点は凸包の辺に対応し、関数の局所的最小値は境界上に直線分が存在することを示唆する。