[論文レビュー] Dimension and natural parametrization for SLE curves

Gregory F. Lawler|ArXiv.org|Dec 19, 2007

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

ひとこと要約

本稿では、容量の極限を用いた離散近似の極限として、シュラム＝ロエーナー進化（SLE）曲線の自然なパrametrizationを提案し、$κ < 8$ の場合にSLE$_\kappa$パスのハウスドルフ次元が$1 + \frac{\kappa}{8}$ であるという新しい厳密な証明を提供する。このアプローチは、共形不変性と容量による時間パラメータ化を活用し、新しいパrametrizationにおけるパスの連続性およびH"older正則性を確立する。

ABSTRACT

Some possible definitions for the natural parametrization of SLE (Schramm-Loewner evolution) paths are proposed in terms of various limits. One of the definitions is used to give a new proof of the Hausdorff dimension of SLE paths.

研究の動機と目的

• 統計力学的モデル（自己回避的ウォークなど）のスケーリング極限の文脈において、内在的な幾何的スケーリングを反映するSLE曲線の自然なパラメータ化を定義すること。
• 離散近似の極限と共形不変性を用いた、自然なパラメータ化の厳密な構成を提供すること。
• 提案されたパラメータ化に基づく新しい証明を用いて、$κ < 8$ の場合にSLE$_\kappa$パスのハウスドルフ次元が$1 + \frac{\kappa}{8}$ であることを確立すること。
• 自然なパラメータ化におけるSLE曲線のH"older連続性およびパス連続性を示し、パスが適切に定義され、連続曲線によって生成されることを保証すること。

提案手法

• 容量パラメータ化を用いたロエーナー微分方程式を出発点とし、共形不変な時間スケーリングを有する離散モデルの極限を通じて自然なパラメータ化を定義する。
• 時間反転ロエーナー流れと歪み定理を用いて、時間間隔における共形写像および導出量の大きさの差を推定する。
• 導出量$|f_t'(U_t + iy)|$のモーメント推定を用い、$y^{1-\theta}$の境界を通じてパス増分$|\gamma(t) - \gamma(s)|$の成長を制御する。
• dyadic時間および空間グリッド上でBorel-Cantelliの補題を適用し、$\theta$-H"older制御定数$\Theta_K$のほとんど確実な有界性を確立する。
• 不等式$|\gamma(t) - \gamma(s)| \leq 50 \cdot \max\{v(s,y), v(t,y)\}$を用いてパス増分の境界を導出し、ここで$v(t,y)$は導出量の大きさを制御する。
• L^\lambdaモーメントの減衰と$\zeta + \lambda\theta > 2$を満たすような$\theta < 1$の選択を組み合わせることで、パスの連続性およびH"older正則性を確立する。

実験結果

リサーチクエスチョン

• RQ1 離散モデルの極限と共形不変性を用いて、SLE曲線の自然なパラメータ化を厳密に定義することは可能か？
• RQ2 自然なパラメータ化は、$κ < 8$ の場合にSLE$_\kappa$パスのハウスドルフ次元とどのように関係するか？
• RQ3 自然なパラメータ化におけるSLEパスが有する正則性特性（例：H"older連続性）は何か？
• RQ4 自然なパラメータ化に基づく新しい構成を用いて、ハウスドルフ次元$1 + \frac{\kappa}{8}$を再証明することは可能か？

主な発見

• SLE$_\kappa$パスの自然なパラメータ化は、離散近似の極限として厳密に定義され、共形不変性および幾何的スケーリングを保つ。
• 新しいパラメータ化およびパス正則性推定を用いて、$κ < 8$ の場合にSLE$_\kappa$パスのハウスドルフ次元が$1 + \frac{\kappa}{8}$ であることが証明された。
• 確率1で、パス$\gamma(t)$は連続的であり、任意の$\epsilon < \frac{1}{2}$に対して$\epsilon$-H"older連続的であり、H"older定数は$\omega$、$\theta$、$K$に依存する。
• パス増分は$|\gamma(s) - \gamma(t)| \leq C \cdot |s - t|^{\epsilon}$ を満たし、$\epsilon < \frac{1 - \theta}{2}$ となる。ここで$\theta < 1$ は$\zeta + \lambda\theta > 2$ を満たすように選ばれる。
• 任意の$K < \infty$に対して、$\Theta_K = \sup \{ y^{-\theta} |f_t'(U_t + iy)| \} < \infty$ がほとんど確実に成り立ち、局所的正則性が保証される。
• 不等式$|\gamma(t) - f_t(U_t + iy)| \leq \frac{\Theta_K}{1 - \theta} y^{1 - \theta}$ は、$\frac{1}{K} \leq t \leq K$ および $0 < y \leq 1$ に対して成り立ち、共形写像からのパスのずれに対する定量的制御を提供する。