[論文レビュー] Quasicircles of dimension 1+k^2 do not exist

Oleg Ivrii|arXiv (Cornell University)|Nov 23, 2015

Analytic and geometric function theory参考文献 30被引用数 7

ひとこと要約

本稿は、$k$ が小さいとき、$k$-quasicircle の最大 Hausdorff 次元が $1 + k^2$ より厳密に小さいことを確立し、$D(k) = 1 + \Sigma^2 k^2 + \mathcal{O}(k^{8/3 - \varepsilon})$ を証明する。ここで $\Sigma^2 < 1$ は Beurling 変換の最大漸近的分散である。結果として、Smirnov の境界を精緻化し、長年の予想を解決する。これは $\Sigma^2 < 1$ により、$k^2$ の補正項が厳密に二次より小さいこと、すなわち $k^2$ よりも小さい補正項が生じることを示しており、積分平均スペクトル解析とフラクタル近似技術を用いて導出される。

ABSTRACT

A well-known theorem of S. Smirnov states that the Hausdorff dimension of a $k$-quasicircle is at most $1+k^2$. Here, we show that the precise upper bound $D(k) = 1+Σ^2 k^2 + \mathcal O(k^{8/3-\varepsilon})$ where $Σ^2$ is the maximal asymptotic variance of the Beurling transform, taken over the unit ball of $L^\infty$. The quantity $Σ^2$ was introduced in a joint work with K. Astala, A. Perälä and I. Prause where it was proved that $0.879 &lt; Σ^2 \le 1$, while recently, H. Hedenmalm discovered that surprisingly $Σ^2 &lt;1$. We deduce the asymptotic expansion of $D(k)$ from a more general statement relating the universal bounds for the integral means spectrum and the asymptotic variance of conformal maps. Our proof combines fractal approximation techniques with the classical argument of J. Becker and Ch. Pommerenke for estimating integral means.

研究の動機と目的

• $k \to 0$ のとき、$k$-quasicircle の Hausdorff 次元 $D(k)$ の鋭い上界を特定すること。
• Smirnov の境界 $D(k) \leq 1 + k^2$ の鋭さを示し、それが達成されないことを証明すること。
• 普遍的な積分平均スペクトルと Beurling 変換の漸近的分散の間の関係を、普遍的境界を介して結びつけること。
• フラクタル近似法と古典的 Becker–Pommerenke の技法を用いて、$D(k)$ の正確な漸近展開を確立すること。

提案手法

• 外部円板上での共形写像の $\sigma^2(\log \varphi')$ の漸近的分散と、普遍的積分平均スペクトル $B_k(p)$ を関連させることで、$D(k)$ の漸近的展開を導出する。
• Beurling 変換 $\mathcal{S}\mu$ を主要な作用素として用い、$|z| = r \to 1^-$ 沿いでの $|f'(z)|^p$ の積分平均を Becker–Pommerenke の議論により推定する。
• $k$-quasiconformal 写像による単位円板の像としての quasicircle を、制御された歪みを有するものとして、フラクタル近似技術を用いてモデル化する。
• 凸性および単調性の性質を用いて、$k$-quasiconformal 変形の漸近的分散の上界である $\Sigma^2(k)$ に対して $\Sigma^2(k) = \Sigma^2 k^2 + \mathcal{O}(k^3)$ を確立する。
• 双曲幾何と Fubini 型の推定を用いて、上半平面における長い水平線での Beurling 変換の導関数の $L^2$-ノルムを制御する。
• 分離された、準測地線的サポートを持つ疎な Beltrami 係数を用いて、Beurling 変換の導関数の $L^2$-ノルムの指数的減衰を導出し、鋭い次元境界を得る。

実験結果

リサーチクエスチョン

• RQ1 Smirnov の境界 $D(k) \leq 1 + k^2$ は、$k$ が小さいとき鋭いか？
• RQ2 $k \to 0$ のとき、$D(k)$ の正確な漸近的挙動は何か？
• RQ3 Beurling 変換の漸近的分散 $\Sigma^2$ と共形写像の積分平均スペクトルの関係は何か？
• RQ4 普遍的積分平均スペクトル $B_k(p)$ は、$k^2$ および $\Sigma^2$ の項として漸近展開可能か？
• RQ5 厳密な不等式 $\Sigma^2 < 1$ は、すべての $0 < k < 1$ に対して $D(k) < 1 + k^2$ を意味するか？

主な発見

• 任意の $\varepsilon > 0$ に対して、$k$-quasicircle の最大 Hausdorff 次元は $D(k) = 1 + \Sigma^2 k^2 + \mathcal{O}(k^{8/3 - \varepsilon})$ である。ここで $\Sigma^2$ は、$L^\infty$ の単位球上での Beurling 変換の最大漸近的分散である。
• $\Sigma^2$ は $0.879 < \Sigma^2 < 1$ を満たし、最近の Hedenmalm の研究により $\Sigma^2 < 1$ が確認されたため、Smirnov の境界 $1 + k^2$ は鋭くない。
• $k$-quasiconformal 写像の対数微分 $\log \varphi'$ の漸近的分散 $\Sigma^2(k)$ は、$k \to 0$ のとき $\Sigma^2(k) = \Sigma^2 k^2 + \mathcal{O}(k^3)$ を満たし、$[0,1)$ 上で非減少かつ凸である。
• 普遍的積分平均スペクトル $B_k(p)$ に対して $\lim_{p \to 0} \frac{B_k(p)}{|p|^2/4} = \Sigma^2(k)$ が成り立ち、スペクトルの挙動と漸近的分散を結びつける。
• 分離されたサポートを持つ疎な Beltrami 係数に対して、Beurling 変換の導関数の $L^2$-ノルムは、分離距離に応じて指数的に減少し、鋭い次元推定が可能になる。
• この結果は、$B_k(p) = k^2 p^2 / 4$ がすべての $k \in [0,1)$ および $p \in [-2/k, 2/k]$ に対して成り立つという予想を反証し、すべての $0 < k < 1$ に対して $D(k) < 1 + k^2$ であることを示唆する。