[論文レビュー] A remark on approximation on totally real sets

Bo Berndtsson|ArXiv.org|Aug 2, 2006

Approximation Theory and Sequence Spaces参考文献 3被引用数 4

ひとこと要約

本稿では、重み付きBergman射影を用いた$\bar{\partial}$-作用素の$L^2$推定を用いて、複素空間における完全実集合上での連続関数の一様近似の新しい証明を提示する。主な結果は、完全実集合のコンパクト部分集合における近似誤差が$O(1/\sqrt{k})$の速度で減少することを示しており、擬凸領域内の正則関数がこのような集合上で連続関数を一様近似できることを確立している。

ABSTRACT

We give a new proof of a classical theorem on approximation of continuous functions on totally real sets

研究の動機と目的

• 連続関数の完全実集合上での一様近似を、$L^2$手法を用いて再証明すること。
• 完全実集合のコンパクト部分集合における連続関数の近似誤差の定量的減少見積もりを確立すること。
• Hörmander, Wermer, Nirenberg-Wells, および Harvey-Wellsの古典的結果を、重み付き$L^2$推定の新規応用により一般化・再導出すること。
• Bergman射影$P_k$が零集合$E = \{\phi = 0\}$のコンパクト部分集合上で一様近似を提供することを示し、誤差が$C/\sqrt{k}$で有界であることを示すこと。
• 近似理論におけるBergmanカーネル法とガウス型畳み込み技法との関係を、特に$\phi = x^2$のモデルケースにおいて探求すること。

提案手法

• 重み$e^{-k\phi}$を用いたHörmanderの$\bar{\partial}$-作用素の$L^2$推定を適用する。ここで$\phi$は強擬凸で、$i\partial\bar{\partial}\phi \geq \delta \beta$を満たす。
• 空間$L^2(\Omega, e^{-k\phi})$からBergman空間$A^2(\Omega, e^{-k\phi})$への直交射影$P_k$を用いて近似作用素を定義する。
• 変種のDonnelly-Feffermanのテクニックを用いて、重み$\chi_k(z) = \psi(|z|\sqrt{k})$（$\psi$は強凸かつ$C^2$級）を導入し、一様ノルム推定を確立する。
• Agmon型推定を導出する：$\sup_K |v|^2 e^{-k\phi} \leq C_{\delta,K}/k \sup_\Omega |f|^2 e^{-k\phi}$。ここで$v$は$\bar{\partial}v = f$を満たし、$f = \bar{\partial}u$である。
• Bochner-Martinelliの公式を用いて、$v$の原点における点値を$L^2$ノルムと$\sup |f|^2$で制御し、$1/\sqrt{k}$の減少を導出する。
• 重みを正規化し、点$a$の近傍で$\phi$の局所的2次近似を用いることで、適切な正規化のもとで、$|v(0)|^2 \leq C/k$という主要な推定を得る。

実験結果

リサーチクエスチョン

• RQ1 完全実集合上での連続関数の一様近似を、重み付きBergman射影を用いた$\bar{\partial}$-作用素の$L^2$推定を用いて再証明できるか。
• RQ2 擬凸領域内の正則関数による、完全実集合のコンパクト部分集合上での$C^1$関数の近似の最良レートは何か。
• RQ3 完全実集合上でのBergman射影法と古典的畳み込み法（例：ガウスカーネル）との比較は、どのように行われるか。
• RQ4 完全実集合が滑らかな多様体である場合に、$1/\sqrt{k}$の減少レートをどの程度改善できるか。
• RQ5 本手法を非有界領域に拡張することで、Carleman型近似定理の一般化が可能か。

主な発見

• 任意の滑らかな compactly な台を持つ関数$u$と$\Omega$のコンパクト部分集合$K$に対して、近似誤差$\sup_{E \cap K} |u - P_k(u)|$は$O(1/\sqrt{k})$の速度で減少し、定数$C_{\delta,K}$は$\delta$と$K$に依存する。
• 証明により、完全実集合$E = \{\phi = 0\}$上の任意の連続関数が、$\Omega$内の正則関数によってコンパクト部分集合上で一様近似可能であることが示され、Hörmander, Wermer, および Harvey-Wellsの古典的結果が一般化された。
• 本手法は、$\bar{\partial}$-方程式に対する重み付き$L^2$推定に依存しており、主要な推定は$\sup_K |v|^2 e^{-k\phi} \leq C_{\delta,K}/k \sup_\Omega |f|^2 e^{-k\phi}$である。ここで$v = u - P_k(u)$、$f = \bar{\partial}u$である。
• $1/\sqrt{k}$の減少レートは、現在の手法のもとで鋭いことが示されたが、論文は滑らかな多様体の場合には$1/k$のレートが期待されるため、技術的限界を示唆している。
• 本手法は非有界領域に対してもそのままで適用可能であり、Carleman型近似定理への一般化の可能性を示している。
• $\phi = x^2$のモデルケースではBergmanカーネルがガウス型になるため、Bergman射影法と古典的畳み込み近似法との間に深い関係があることが示された。