[論文レビュー] Disconnected Julia sets and gaps in the spectrum of Laplacians on symmetric finitely ramified fractals

Katheryn Hare, Benjamin Steinhurst+2 more|arXiv (Cornell University)|May 9, 2011

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

ひとこと要約

本稿は、対称的で有限分岐的なフラクタルにおけるラプラシアンのスペクトルギャップと、スペクトル縮約関数のジュリア集合の完全非連結性との間の正確な同値性を確立する。スペクトル縮約と力学系の技法を用いて、ギャップが存在するための必要十分条件として、ジュリア集合が完全非連結であることであることを証明し、フラクタル上のスペクトル現象の深い力学系的特徴付けを提供するとともに、シERPinskiギャスケットやビクゼック集合に関する先行研究を一般化する。

ABSTRACT

It is known that Laplacian operators on many fractals have gaps in their spectra. This fact precludes the possibility that a Weyl-type ratio can have a limit and is also a key ingredient in proving that the Fourier series on such fractals can have better convergence results than in the classical setting. In this paper we prove that the existence of gaps is equivalent to the total disconnectedness of the Julia set of the spectral decimation function for the class of fully symmetric p.c.f. fractals, and for self-similar fully symmetric finitely ramified fractals with regular harmonic structure. We also formulate conjectures related to geometry of finitely ramified fractals with spectral gaps, to complex spectral dimensions, and to convergence of Fourier series on such fractals.

研究の動機と目的

• 対称的で有限分岐的なフラクタルにおけるラプラシアンのスペクトルギャップが生じるための必要十分条件を確立すること。
• スペクトルギャップの背後にある力学系的メカニズムを、スペクトル縮約関数のジュリア集合の位相的構造と結びつけることにより、明確化すること。
• 既存の基準をpost-critically finite (p.c.f.) の場合に限らず、より広いクラスの自己相似的・対称的・有限分岐的フラクタル（正則調和構造を有するもの）にまで一般化すること。
• スペクトル縮約とジュリア集合の力学に基づく統一的枠組みを提供し、フラクタル解析における長年の問いに解答を与えること。

提案手法

• 著者たちは、初期固有値に繰り返し関数系を適用することで得られる極限として、ラプラシアンの固有値を表現するスペクトル縮約を用いる。
• 調和構造と自己相似性に基づいて導かれる有理関数として、スペクトル縮約関数 R(z) を定義する。
• R(z) のジュリア集合 J_R を解析し、特にそれが完全非連結であるか否かを評価する。
• 証明は、区間 (A_k, B_k) 内の固有値が、繰り返し写像の有限個の逆像からしか生じえないことを示すことに依拠しており、その上限は有限集合 E(M, M₀) の濃度によって与えられる。
• 複素力学系の結果、特に反復有理関数とその不変集合の性質を応用して、スペクトルを特徴付ける。
• スペクトル縮約の成分 φ₀ と φ₁ に対する単調性および凸性の仮定を用いて、区間の像を制御し、ギャップの存在を確立する。

実験結果

リサーチクエスチョン

• RQ1 対称的で有限分岐的なフラクタルにおけるラプラシアンのスペクトルギャップの存在は、スペクトル縮約関数のジュリア集合の完全非連結性と同値であるか？
• RQ2 スペクトルギャップ現象は、スペクトル縮約写像の力学的性質によって純粋に特徴付けられるか？
• RQ3 スペクトル縮約関数のジュリア集合が完全非連結であることを保証する条件は何か？
• RQ4 スペクトル縮約関数の幾何的および力学的性質は、スペクトル内の固有値分布とどのように関係するか？
• RQ5 スペクトルギャップの基準は、post-critically finite (p.c.f.) フラクタルに限らず、より一般的な対称的・有限分岐的フラクタルへと拡張可能か？

主な発見

• 正則調和構造を有する対称的・有限分岐的自己相似フラクタルにおけるラプラシアンにスペクトルギャップが存在するための必要十分条件は、スペクトル縮約関数のジュリア集合が完全非連結であることである。
• 任意の区間 (A_k, B_k) 内の固有値の数は、n × |E(M, M₀)| で上限が与えられる。ここで n は像を閾値未満に縮小するために必要な反復回数であり、|E(M, M₀)| は禁止固有値の有限集合の濃度である。
• 長さが (1/N)|B_k - A_k| 以上である部分区間 (c_k, d_k) ⊆ (A_k, B_k) には固有値が存在しない。これにより、スペクトルギャップの存在が証明される。
• 本研究の結果は、[46] における既存基準を一般化し、その中の定理13, 15, 16 が主定理の推論として導かれることが示された。
• 本手法は、アドホックな条件に代えて、位相的不変量（ジュリア集合の完全非連結性）を用いる力学系の枠組みを提供する。
• この枠組みは、シERPinskiギャスケット、ビクゼック集合、およびその他の p.c.f. および非 p.c.f. の対称的フラクタル（正則調和構造を有するもの）を含む広範なクラスのフラクタルに適用可能である。