[論文レビュー] Growth estimates for pseudo-dissipative holomorphic maps in Banach spaces

Filippo Bracci, Mark Elin+1 more|arXiv (Cornell University)|Apr 24, 2013

Advanced Mathematical Modeling in Engineering被引用数 10

ひとこと要約

本稿は、半群の無限小生成作用素を一般化する、複素バナッハ空間の単位球上における擬散乱的正則写像を導入する。このような写像について、明示的な係数と数値範囲を含む、鋭い成長推定を確立し、相対的にコンパクトな部分集合上で有界であることを示す（有界性の半径が1）。主な貢献は、$ Vert F(z) - F(0) Vert$ のノルムの正確な推定式を $ Vert z Vert$、$V(e^{i heta}A - a\cdot\text{id})$、および $m(e^{i heta}A)$ の関数として得ることであり、これは有限次元の結果を無限次元へ拡張するものである。

ABSTRACT

In this paper we introduce a class of pseudo-dissipative holomorphic maps which contains, in particular, the class of infinitesimal generators of semigroups of holomorphic maps on the unit ball of a complex Banach space. We give a growth estimate for maps of this class. In particular, it follows that pseudo-dissipative maps on the unit ball of (infinite-dimensional) Banach spaces are bounded on each domain strictly contained inside the ball. We also present some applications.

研究の動機と目的

• 有限次元のケースを超えて、無限次元バナッハ空間における正則写像の成長推定を拡張すること。
• 無限小生成作用素の半群を含むより広いクラスの写像、すなわち擬散乱的正則写像を定義し、その解析を行うこと。
• このような写像が、単位球のすべての相対的にコンパクトな部分集合上で有界である、すなわち有界性の半径が1であることの証明。
• $F(z) - F(0)$ のノルムに対する明示的かつ定量的な成長上限を、導関数と数値範囲の関数として導出すること。

提案手法

• 数値範囲に関する条件 $\text{Re}\,e^{i\theta}\langle h(z), z^*\rangle \leq a\|z\|^2 + b(1 - \|z\|^2)$ を用いて、擬散乱的正則写像の概念を導入（$\|z\| > 1 - \varepsilon$ のとき）。
• ハーン＝バナッハの定理を用いて $v^*$ を定義し、$\text{Re}\langle v, v^*\rangle = \|v\|^2 = \|v^*\|^2$ を満たすようにすることで、双対性に基づく推定を可能にする。
• 単位円板上の正則関数にカラテオドリの不等式を適用し、級数展開の係数を評価する。
• ハリスの不等式（同次多項式のノルムとその数値半径の関係）を活用：$\|P_m\| \leq k_m V(P_m)$ で、$m \geq 2$ のとき $k_m = m^{m/(m-1)}$、$k_1 = e$。
• 写像 $F(z)$ を級数展開し、得られた係数推定を用いて各同次成分を評価する。
• 級数の主要化と積分推定を適用することで、線形・二次・高次項のノルム上限を合算し、主な推定式 (1.2) を導出する。

実験結果

リサーチクエスチョン

• RQ1 無限次元バナッハ空間における正則写像の成長推定は、有限次元のケースを超えて拡張可能か？
• RQ2 無限小生成作用素を一般化する擬散乱的写像のクラスは、単位球の相対的にコンパクトな部分集合上で有界であるか？
• RQ3 擬散乱的写像について、$\|F(z) - F(0)\|$ のノルムに対する明示的かつ定量的な上限は、導関数と数値範囲の関数としてどのように得られるか？
• RQ4 擬散乱的写像の成長推定は、既存の文献（特に有限次元の場合）と比較してどのように異なるか？
• RQ5 擬散乱的写像が原点の有界近傍を不変に保つための条件は何か？

主な発見

• 複素バナッハ空間の単位球上における擬散乱的正則写像は、任意の相対的にコンパクトな部分集合上で有界である。すなわち、有界性の半径は1である。
• 推定式 (1.2) は、$\|z\|$、$|a|$、$V(e^{i\theta}A - a\cdot\text{id})$、$m(e^{i\theta}A)$ の関数として $\|F(z) - F(0)\|$ の鋭い上界を与える。明示的な定数 $\alpha < 3.8$ および $\beta < 3.3$ を含む。
• 推定式 (1.2) は、特に $G(0) = 0$ かつ $DG(0) = \text{id}$ の場合に、導関数と数値範囲の完全な依存関係を含む点で、既存の有限次元の結果を改善している。
• 無限小生成作用素 $G$ に対して、推定式 (1.3) が成り立つ：$\|G(z) - G(0)\| < 4\|z\|^2\|G(0)\| + \frac{\beta\|z\|}{(1 - \|z\|)^2}V(DG(0))$（$\beta < 3.3$）。これは以前の境界を精緻化している。
• もし $e^{i\theta}A - a\cdot\text{id}$ が有界べきであるなら、かつ $F(0) = 0$ であれば、$F$ は原点の有界近傍を不変に保つ。これは補題 1.6 で示されている。
• 係数推定にカラテオドリの不等式とハリスのノルム評価を用いる証明技法は、無限次元の設定において一様に適用可能であり、堅牢である。