[論文レビュー] Dirichlet Forms on Laakso and Barlow-Evans Fractals of Arbitrary Dimension

Benjamin Steinhurst|ArXiv.org|Nov 10, 2008

advanced mathematical theories参考文献 31被引用数 7

ひとこと要約

本稿は、ラクソフラクタル上の最小一般化上部勾配から導かれるDirichlet形式と、Barlow-Evansのバーミキュレーテッド空間手法によって構築されたマコフ過程との間の直接的な対応関係を確立する。両者の構成が同一のDirichlet形式および関連する自己共役作用素をもたらすことを示すことにより、任意のハウスドルフ次元をもつフラクタルにおける解析の解析的・確率的アプローチを統合する。

ABSTRACT

In this paper we explore two constructions of the same family of metric measure spaces. The first construction was introduced by Laakso in 2000 where he used it as an example that Poincaré inequalities can hold on spaces of arbitrary Hausdorff dimension. This was proved using minimal generalized upper gradients. Following Cheeger's work these upper gradients can be used to define a Sobolev space. We show that this leads to a Dirichlet form. The second construction was introduced by Barlow and Evans in 2004 as a way of producing exotic spaces along with Markov processes from simpler spaces and processes. We show that for the correct base process in the Barlow Evans construction that this Markov process corresponds to the Dirichlet form derived from the minimal generalized upper gradients.

研究の動機と目的

• ラクソフラクタル上での最小一般化上部勾配から導かれる解析的Dirichlet形式と、Barlow-Evansの構成による確率的マコフ過程との間の関係を確立すること。
• ラクソの距離測度空間構成から得られるDirichlet形式が、対称マコフ過程に対応することを示すこと。
• 基底過程として単位区間上の標準ブラウン運動をとった場合、最小上部勾配から得られるDirichlet形式に関連する自己共役作用素が、Barlow-Evans過程の生成作用素と一致することを示すこと。
• ラクソ空間上のDirichlet形式が、近似される量子グラフ上のDirichlet形式の極限として実現可能であることを示すこと。
• 任意のハウスドルフ次元をもつフラクタルにおける解析を扱うための、解析的および確率的枠組みを統合すること。

提案手法

• カントール集合とパラメータ列を用いた再帰的なセルベース手法により、任意のハウスドルフ次元を実現するラクソフラクタルを構築する。
• L²ノルムとエネルギー積分を用いて、定義域の稠密部分集合 𝒢 上の関数に対して、最小一般化上部勾配を用いてDirichlet形式を定義する。
• 関数計算を用いて、𝒜 を自己共役生成作用素とするとき、Dirichlet形式 𝒟(𝒜) = ‖√(−𝒜)f‖² を、Dom(√(−𝒜)) 上で定義する。
• バーミキュレーテッド空間上にマコフ過程をBarlow-Evansの構成により生成する。基底過程として単位区間上の標準ブラウン運動を採用する。
• 生成作用素の定義域における稠密部分集合をなす、リゾルベント作用素 U∞λ(𝒢) を確立し、定義域の比較を可能にする。
• 共通の稠密部分集合 𝒢 で両形式が一致することを示し、連続性による拡張により、二つのDirichlet形式の等価性を証明する。

実験結果

リサーチクエスチョン

• RQ1 最小一般化上部勾配から導かれるラクソフラクタル上のDirichlet形式は、Barlow-Evansの構成によるマコフ過程と結びつけることができるか？
• RQ2 単位区間上の標準ブラウン運動を基底過程として用いたBarlow-Evans構成は、ラクソDirichlet形式に対応する対称マコフ過程を生成するか？
• RQ3 最小上部勾配から得られるDirichlet形式に関連する自己共役作用素は、Barlow-Evans過程の生成作用素と等価であるか？
• RQ4 ラクソフラクタルは、量子グラフの射影的極限として実現可能であり、関連するDirichlet形式が収束するか？
• RQ5 Barlow-Evans構成が、上部勾配アプローチから得られるDirichlet形式と一致するプロセスを生成する条件は何か？

主な発見

• 最小一般化上部勾配を用いて定義されたラクソフラクタル上のDirichlet形式 𝒟(𝑓,𝑓) は、基底過程として単位区間上の標準ブラウン運動をとったBarlow-Evans法によるマコフ過程と同一である。
• 最小上部勾配Dirichlet形式に関連する自己共役作用素 𝒜 は、Barlow-Evans過程の生成作用素 𝒜̃ と等しく、基礎となる作用素の等価性が確認された。
• Dirichlet形式の定義域は、ノルム ‖𝑓‖₂ + 𝒟(𝑓,𝑓) における稠密部分集合 𝒢 の閉包として特徴づけられ、この定義域は Dom(√(−𝒜)) と一致する。
• ラクソ空間上のDirichlet形式は、近似される量子グラフ上のDirichlet形式の極限として得られ、スペクトル近似の枠組みを提供する。
• 解析的および確率的構成の等価性は、明確なセル構造と1次元近似空間の存在に起因する。
• この結果は、規則的なセル分解を持つラクソ型空間に特有であり、類似の構造的性質を有しない一般的なBarlow-Evans構成には一般化されにくい。