[論文レビュー] Holomorphic minorants of plurisubharmonic functions

Б. Н. Хабибуллин, T. Yu. Baĭguskarov|arXiv (Cornell University)|Mar 6, 2016

Holomorphic and Operator Theory参考文献 7被引用数 5

ひとこと要約

本稿は、重み付き$L^2$推定とジェンセンの不等式を用いて、擬強凸領域$D\subset\mathbb{C}^n$における正則関数の点ごとの上界を、擬・シュバルツ関数の上界関数としての表現で明示する。主な貢献は、任意の$a>0$に対して、非自明な正則関数$f$が存在し、$\log|f(z)|$が$B(z,r)$上での$\varphi$のLebesgue平均に、$r$および$|z|$に関する対数項を加えた形で上から抑えられることを示す点ごとの推定（定理1）である。この推定は、平均化を組み込み、成長制御を精緻化することで、先行研究を改善する。

ABSTRACT

Let $φ$ be a plurisubharmonic function on a pseudoconvex domain $D \subset \mathbb C^n$. We show that there exists a nonzero holomorphic function $f$ on $D$ such that some local mean value of $φ$ with logarithmic additional terms majorizes $\log |f|$. A similar problem is discussed for a locally integrable function on $D$ in terms of balayage of positive measures. Key words: holomorphic function, plurisubharmonicity, minorant, balayage, Jensen inequality, mean value in the ball.

研究の動機と目的

• 与えられた擬・シュバルツ関数$\varphi$を下界に持つ非自明な正則関数の点ごとの鋭い推定を、擬強凸領域で確立すること。
• ホルマンダー理論からの既存の$L^2$推定を、関数$\varphi$を球上で空間平均化することによって精緻化すること。
• 上界関数において点ごとの上界をLebesgue平均に置き換えることで、よりきめ細やかでタイトな境界を達成すること。
• 下位関数に関する測度論的条件を導入することで、変動半径の平均化設定への正則下界関数の存在を拡張すること。

提案手法

• ボンビエの存在定理とホルマンダーの$L^2$法に基づき、$e^{-2\varphi}$に関する重み付き$L^2$可積分性を満たす非自明な正則関数の存在を利用する。
• サブハーモニック関数$2\log|f|$と比較関数$2\psi = 2\varphi + (n+a)\log(1+|z-z_0|^2)$に対してジェンセンの不等式を適用し、点ごとの推定を導出する。
• サブハーモニック関数に関するキーレンマを用いて、$\log|f(z)|$を球$B(z,r)$上での$\psi$の平均と、対数補正項で上から抑える。
• 変動半径を扱う一般化のため、変動平均作用素$F^{*d}(z) = \frac{1}{\lambda(B(0,d(z)))}\int_{B(z,d(z))} F\,d\lambda$を導入する。
• 文献[4]の双対性結果を用いて、$F^{*d}$を下界に持つ問題を、$\varphi \leq F^{*d}$を満たす擬・シュバルツ下界関数$\varphi$の存在問題に還元する。
• 定理1をこの下界関数$\varphi$に適用し、平均化された$\varphi$と$r$、$|z|$に関する対数補正項を含む最終的な点ごとの境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 正則下界関数の点ごとの境界を、点ごとの上界をLebesgue平均に置き換えることで改善できるか？
• RQ2 対数補正項に現れるパrameter$a>0$に対する境界の最適依存関係は何か？
• RQ3 関数$F$がどのような条件下に、変動半径の平均化推定を満たす非自明な正則下界関数を有するか？
• RQ4 球上で平均化を組み込むことで、従来の結果と比較して、下界関数推定の鋭さと適用可能性はどのように変化するか？
• RQ5 局所平均化を用いることで、基準点$z_0$の選択に依存しない境界を達成できるか？

主な発見

• 任意の$a>0$に対して、$D\subset\mathbb{C}^n$を擬強凸領域とするとき、非自明な正則関数$f$が存在し、任意の$z\in D$および$0<r<\operatorname{dist}(z,\mathbb{C}^n\setminus D)$に対して、$\log|f(z)| \leq \frac{1}{\lambda(B(0,r))}\int_{B(z,r)}\varphi\,d\lambda + n\log\frac{1}{r} + (n+a)\log(1+|z|+r)$が成り立つ。
• 境界の右辺には、$B(z,r)$上での$\varphi$のLebesgue平均が含まれており、これは従来の推定で用いられた点ごとの上界よりも厳密に小さい。
• この境界は鋭い。$a$に依存する対数項$(n+a)\log(1+|z|+r)$を削除すると、このような下界関数の存在が失われる。
• この結果は、変動半径の平均化へ一般化可能である。$\inf\{\int F\,d\mu : \mu_0 \prec_{\operatorname{psh}(D)} \mu \in \mathcal{M}_{\rm ac}^{+}(D)\} > -\infty$を満たすとき、$\varphi$の代わりに$F^{*d}$を用いた類似の境界が成り立つ。
• 本手法により、非自明な正則下界関数の存在は、関数$F^{*d}$の擬・シュバルツ下界関数の存在と同値であることが示され、自然な可積分性条件のもとで成り立つ。
• $n=1$の場合、$\varphi$が$\mathbb{C}$上でサブハーモニックであるとき、従来の結果（例えば[5]、[6]、[7]）よりも厳密に良い境界が得られ、特に減衰性と成長制御の観点で優位である。