[論文レビュー] Bi-parameter Potential theory and Carleson measures for the Dirichlet space on the bidisc

Nicola Arcozzi, Pavel Mozolyako+2 more|arXiv (Cornell University)|Nov 12, 2018

Advanced Harmonic Analysis Research参考文献 20被引用数 11

ひとこと要約

本稿は、最大原理の不成立に起因する古典的手法の限界を克服するべく、双単位円板上におけるCarleson測度の特徴付けを、二パラメータポテンシャル理論と容量条件を用いて行う。強容量不等式を確立し、Stegengaの1パラメータ結果を双単位円板設定へと拡張する。特に、$(\frac{1}{2},\frac{1}{2})$-Bessel容量を用いた容量条件がCarleson測度と同値であることを示す。

ABSTRACT

We characterize the Carleson measures for the Dirichlet space on the bidisc, hence also its multiplier space. Following Maz'ya and Stegenga, the characterization is given in terms of a capacitary condition. We develop the foundations of a bi-parameter potential theory on the bidisc and prove a Strong Capacitary Inequality. In order to do so, we have to overcome the obstacle that the Maximum Principle fails in the bi-parameter theory.

研究の動機と目的

• 双単位円板上に、古典的手法（特に最大原理）が不成立となる状況下でも有効な、堅牢な二パラメータポテンシャル理論を構築すること。
• Stegengaの1変数結果を一般化し、双単位円板上におけるDirichlet空間のCarleson測度を容量条件を用いて特徴づけること。
• 埋め込みと容量の双対性に不可欠な、二パラメータ設定における強容量不等式を確立すること。
• Dirichlet空間が$L^2(\mu)$に埋め込まれるための必要十分条件が、$(\frac{1}{2},\frac{1}{2})$-Bessel容量を含む容量条件と同値であることを証明すること。
• 同じ容量条件を用いて、双単位円板上におけるDirichlet空間の乗数空間を特徴づけること。

提案手法

• 古典的調和解析手法に代わる、dyadicツリーと二パラメータ容量を用いた双単位円板上における二パラメータポテンシャル理論を構築する。
• $(\frac{1}{2},\frac{1}{2})$-Bessel容量をDirichlet空間の標準的容量と位置づけ、再生核およびdyadic容量による推定を実施する。
• 特徴的埋め込み問題をdyadic設定に翻訳する双対化スキームを導入し、ツリーおよび最大関数技法の適用を可能にする。
• 確率的最適化が二パラメータマルティンガル理論で不成立となる状況を回避するため、dyadicマルティンガルを用いた修正ベルマン関数アプローチを適用する。
• 境界射影$\mathcal{S}_b(E)$を用いて、均衡ポテンシャルおよび容量の精密な解析を通し、強容量不等式を確立する。
• エネルギー積分を内部、混合、境界項に4つに分解し、均衡測度を用いて容量と同値であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 最大原理が不成立である双単位円板上において、どのように二パラメータポテンシャル理論を構築できるか？
• RQ2 双単位円板上におけるDirichlet空間のCarleson測度を特徴付ける正確な容量条件は何か？
• RQ3 二パラメータ設定における強容量不等式は、Dirichlet空間の$L^2(\mu)$への埋め込みとどのように関係するか？
• RQ4 双単位円板上におけるDirichlet空間の乗数空間は、Carleson測度と同様の容量条件によって特徴づけられるか？
• RQ5 二パラメータ設定において、集合の容量とその境界射影の容量の関係は何か？

主な発見

• 双単位円板上におけるDirichlet空間が$L^2(\mu)$に埋め込まれるための必要十分条件は、測度$\mu$が容量条件$\mu\left(\bigcup_{k=1}^n S(J_k^1 \times J_k^2)\right) \leq C_2 \cdot \operatorname{Cap}_{(\frac{1}{2},\frac{1}{2})}\left(\bigcup_{k=1}^n J_k^1 \times J_k^2\right)$を満たすことである。
• $\mu$に依存しない、埋め込み条件と容量条件における定数$C_1$と$C_2$は比較可能である。
• $\operatorname{Cap}_{(\frac{1}{2},\frac{1}{2})}$は、双単位円板上におけるDirichlet空間の再生核に関連する容量と同値である。
• Borel集合$E$の境界射影$\mathcal{S}_b(E)$について、ある絶対定数$C>1$を用いて$\operatorname{Cap} \mathcal{S}_b(E) \leq \operatorname{Cap} E \leq C \cdot \operatorname{Cap} \mathcal{S}_b(E)$が成り立つ。
• 集合$E$の均衡測度$\mu_b$について、$|\mu_b| \approx \int \mathbb{V}^{\mu_b} d\mu_b$が成り立ち、二パラメータ設定における容量とエネルギーの関係を示す。
• 最大原理の不成立にもかかわらず、新しいdyadicおよびツリーに基づく解析により、二パラメータ設定において強容量不等式が成立する。