[論文レビュー] Critical exponents of induced Dirichlet forms on self-similar sets

Shi-Lei Kong, Ka‐Sing Lau|arXiv (Cornell University)|Dec 6, 2016

Mathematical Dynamics and Fractals参考文献 32被引用数 11

ひとこと要約

本稿は、自己相似集合上の誘導ディリクレ型形式の臨界指数 β* を、関連する双曲的グラフ上のランダムウォークを用いて調査する。グラフ上のエネルギー形式を、集合上のガリャルド型ベゾフ空間に結びつけることで、有効抵抗とネットワーク簡略化を用いた β* のための基準を確立し、特定の自己相似集合に対して β₁* = 2 を証明するとともに、フラクタル幾何における臨界指数の計算フレームワークを提供する。

ABSTRACT

In a previous paper [arXiv:1604.05440], we studied certain random walks on the hyperbolic graphs $X$ associated with the self-similar sets $K$, and showed that the discrete energy ${\mathcal E}_X$ on $X$ has an induced energy form ${\mathcal E}_K$ on $K$ that is a Gagliardo-type integral. The domain of ${\mathcal E}_K$ is a Besov space $Λ^{α, β/2}_{2,2}$ where $α$ is the Hausdorff dimension of $K$ and $β$ is a parameter determined by the "return ratio" of the random walk. In this paper, we study the functional relationship of ${\mathcal E}_X$ and ${\mathcal E}_K$. In particular, we investigate the critical exponents of the $β$ in the domain $Λ^{α, β/2}_{2,2}$ in order for ${\mathcal E}_K$ to be a regular Dirichlet form. We provide some criteria to determine the critical exponents through the effective resistance of the random walk on $X$, and make use of certain electrical network techniques to calculate the exponents for some concrete examples.

研究の動機と目的

• 自己相似集合上での誘導ディリクレ型形式が正則ディリクレ型形式のままであるような臨界指数 β* を特定すること。
• 双曲的グラフ上の離散的エネルギーと自己相似集合上の誘導エネルギーとの間の関数的関係を確立すること。
• ランダムウォークの有効抵抗に基づいて β* の基準を構築すること。
• 帰還比とエネルギーの減衰を分析することにより、非 p.c.f. および積分フラクタルへのディリクレ型形式の理論の拡張を図ること。
• ベゾフ空間 Λ²,²α,β/₂ および Λ²,∞α,β/₂ が、フラクタル上での正則ディリクレ型形式の定義域を特徴づける役割を調査すること。

提案手法

• 自己相似集合 K に関連する双曲的グラフ X 上のランダムウォークを用い、X 上に離散的エネルギー形式 E_X を誘導する。
• トレース関数を介してエネルギー形式 E_X を K 上の連続的エネルギー形式 E_K に移行させ、K 上のガリャルド型積分を得る。
• E_K の定義域を α = dim_H(K) を持つベゾフ空間 Λ²,²α,β/₂ として特徴づけ、β をランダムウォークの帰還比 λ と関連付ける。
• 電気的ネットワーク技法を用いて X 上の有効抵抗 R_X を計算し、エネルギーの上限を導出し、β* を特定する。
• 自己相似構造（例：シエルピンスキーのギャスケット、ビクゼック集合）に対して、ネットワーク簡略化と経路数え上げの議論を用いて、β* の明示的上限を導出する。
• 不等式 Λ²,²α,β′/₂ ⊂ Λ²,∞α,β′/₂ ⊂ Λ²,²α,β/₂ （β < β′ のとき）を用い、非定数関数が初めてその空間に現れる臨界閾値 β* を分析する。

実験結果

リサーチクエスチョン

• RQ1 自己相似集合上でのベゾフ空間 Λ²,²α,β/₂ が非定数関数を含み、正則ディリクレ型形式を許容するような臨界指数 β* は何か？
• RQ2 自己相似集合 K に関連する双曲的グラフ X 上のランダムウォークの有効抵抗と、臨界指数 β* はどのように関係するか？
• RQ3 ランダムウォークの帰還比 λ を用いて、K 上での正則ディリクレ型形式の存在の閾値 β* を特定できるか？
• RQ4 積集合 [0,1] × SG のような製品集合における臨界指数 β₁*, β₂*, β₃* は何か？ また、個々の因子の指数と比較するとどうなるか？
• RQ5 p.c.f. 自己相似集合に限らず、非 p.c.f. フラクタル（例：シエルピンスキーのカーペット）に対しても β* の基準を一般化できるか？

主な発見

• シエルピンスキーのギャスケットに対して、有効抵抗と経路数え上げを用いて β₁* = 2 が確立されたが、β₃* = log 5 / log 2 ≈ 2.322 であるにもかかわらずそうなる。
• 本稿では、ネットワーク簡略化と抵抗推定を用いて、単位区間因子を含む自己相似集合（例：ビクゼック集合）に対して β₁* = 2 を証明した。
• 2つの自己相似集合の積に対しては、β₁* ≤ max{dim_H(K₁), dim_H(K₂)} + 1 ≤ dim_H(K₁) + dim_H(K₂) = α が成り立ち、一方で因子の1つが単位区間であれば β₁* = 2 であることが示された。
• 臨界指数 β* は拡散過程におけるウォーク次元に関連し、E_x[|X_t - x|²] ≈ t^{2/β*} およびヒート核がサブガウス推定を満たすことが示された。
• シエルピンスキーのカーペットに対しては、β* ≈ 2.097 が得られ、これは先行する数値推定と整合的であるが、本研究では直接計算されていない。
• 有効抵抗と帰還比 λ を用いた β* の計算フレームワークを提供した。特に、λ ≥ 1/9 は、特定の構成において β₁* = 2 を満たすための必要条件である。