[論文レビュー] Radial growth of functions from the Korenblum space

Alexander Borichev, Yurii Lyubarskii+2 more|arXiv (Cornell University)|Mar 30, 2009

Holomorphic and Operator Theory参考文献 6被引用数 3

ひとこと要約

本稿は、単位円板内における解析関数および調和関数の径方向の成長と崩壊を、Korenblum型の主要化関数 $ v(r) = -\log(1-r)^{-1} $ によって支配されるものとして調査する。ハウスドルフ測度の推定を用いて、極値的な径方向成長または崩壊が生じ得るのは、Lebesgue測度がゼロである例外的集合に限られ、その集合の大きさはスケール $ h_\alpha(t) = t|\log t|^\alpha $ の観点から明確な定量的評価が得られる。主な貢献は、ハウスドルフ測度を用いた例外的集合の鋭い推定である。

ABSTRACT

We study radial behavior of analytic and harmonic functions, which admit a certain majorant in the unit disk. We prove that extremal growth or decay may occur only along small sets of radii and give precise estimates of these exceptional sets.

研究の動機と目的

• 解析的および調和的関数の径方向挙動を、Korenblum空間 $ A^{-\infty} $ のモデルである $ v(r) = \log\frac{1}{1-r} $ によって支配されるものとして理解すること。
• このような関数が半径に沿ってどれほど速く成長または崩壊するかを特定すること、特に極値的成長／崩壊が広い半径集合で生じ得るかどうかを検討すること。
• 径方向成長または崩壊が極値的である可能性がある例外的集合の大きさを、ガージ関数 $ h_\alpha(t) = t|\log t|^\alpha $ を用いたハウスドルフ測度によって定量的に評価すること。
• Korenblumクラスに属する関数に対して、このような極値的挙動がLebesgue測度がゼロである集合に制限されることを示し、明確な測度論的境界を与えること。
• 明示的な関数の構成と制御されたハウスドルフ測度を持つカントール型集合を用いて、推定の鋭さを示すこと。

提案手法

• 関数 $ f $ に対して、$ \log|f(re^{i\theta})| $ が $ |\log(1-r)| $ より速く成長する角度 $ \theta \in [0,2\pi) $ の集合を $ D_+(f) $ と定義する。同様に、崩壊する集合を $ D_-(f) $ とする。
• 調和関数と境界測度の関係を表すポisson積分表現を用い、径方向成長から非接線的成長への推定を導出する。
• 調和測度の不等式および最大関数の推定を用いて、径方向成長または崩壊が主要化関数を超える例外的集合の大きさを制御する。
• ネストされた区間と2進分解を用いて、所望のハウスドルフ測度 $ H_\lambda(C) $ を持つカントール型集合 $ C $ を構成し、推定の鋭さを検証する。
• ガージ関数 $ \lambda(t) = t|\log t|^\alpha $ を用いてハウスドルフ測度を定義し、被覆議論と再帰的区間数の数え上げを用いて $ H_\lambda(D_\pm(f)) $ の下界を導出する。
• 関数列 $ v^{(n)} $ を正の調和関数として構成し、$ v^{(n)} \in \mathcal{K} $ を満たし、$ H_\lambda(E_+(v^{(n)})) \to \infty $ となるようにする。これにより、推定の鋭さが証明される。

実験結果

リサーチクエスチョン

• RQ1 Korenblum空間に属する関数が、$ \log\frac{1}{1-r} $ より速く径方向に成長する半径の集合として最大でどの程度の大きさをとれるか。
• RQ2 Korenblum空間に属する調和関数が、$ -\log\frac{1}{1-r} $ より速く $ -\infty $ に崩壊する半径の集合が広い場合があるか。そのような集合はどの程度の大きさをとれるか。
• RQ3 径方向成長と崩壊のための例外的集合の大きさはどのように比較できるか。また、ガージ関数 $ h_\alpha(t) = t|\log t|^\alpha $ を用いたハウスドルフ測度によってその大きさを定量化できるか。
• RQ4 径方向成長のための例外的集合のハウスドルフ測度推定は鋭いか。また、明示的な構成によってその推定が達成可能か。
• RQ5 正の調和関数で主要化条件を満たす場合、挙動は顕著に変化するか。

主な発見

• 任意の関数 $ f \in A^{-\infty} $ に対して、$ \log|f(re^{i\theta})| $ が $ |\log(1-r)| $ より速く成長する半径の集合 $ D_+(f) $ は、任意の $ \alpha > 0 $ に対して $ t \to 0 $ のとき $ \lambda(t) = o(t|\log t|^\alpha) $ を満たすガージ関数 $ \lambda $ に対して、ハウスドルフ測度がゼロである。
• ガージ関数 $ \lambda(t) = t|\log t|^\alpha $ に対して $ \alpha \geq 1 $ のとき、例外的集合 $ D_+(f) $ は正の $ H_\lambda $-測度を持つ。この推定は鋭く、このような $ \lambda $ に対して $ H_\lambda(D_+(f)) > 0 $ を満たす関数が存在する。
• 調和関数 $ u \in \mathcal{K} $ に対して、$ u(re^{i\theta}) \to -\infty $ が $ \log\frac{1}{1-r} $ より速く生じる半径の集合 $ D_-(u) $ も、$ D_+(f) $ と同様のハウスドルフ測度推定を満たす。これは、例外的集合の大きさに一貫性があることを示している。
• 本稿では、$ \lambda(t) = t|\log t| $ のとき $ H_\lambda(E_+(u)) = \infty $ となる関数 $ u \in \mathcal{K} $ を構成し、推定の鋭さが示され、さらに改善できないことが示された。
• 正の調和関数で $ u(z) \leq \log\frac{1}{1-|z|} $ を満たす場合、径方向成長のための例外的集合 $ E_+(u) $ は、$ \lambda(t) = t|\log t| $ のとき、完全なハウスドルフ測度 $ H_\lambda(E_+(u)) = \infty $ を持つ。これは、一般の調和関数とは異なる挙動を示している。
• 正の調和関数の例外的集合に含まれるカントール型集合 $ C^{(n)} $ を、$ n \to \infty $ のとき $ H_\lambda(C^{(n)}) \to \infty $ となるように構成した。このことは、測度論的推定の鋭さが確認されたことを示している。