[論文レビュー] H. Bohr's theorem for bounded symmetric domains

Guy Roos|ArXiv.org|Dec 28, 2008

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

ひとこと要約

この論文は、H. ボールの古典的定理（単位円板の正則自己写像に関するもの）を、任意の型の有界対称領域へ一般化し、スペクトルノルムにおける半径 1/3 の球内で、テイラー係数の絶対値の和が 1 より小さい収束を示した。証明は、分類ごとのケースバイケース分析を避け、不変理論とジョルダン三重系を用いて行われ、すべての有界円形対称領域において 1/3 の境界が最良であることを確立した。

ABSTRACT

A theorem of Harald Bohr (1914) states that if f is a holomorphic map from the unit disc into itself, then the sum of absolute values of its Taylor expansion is less than 1 for |z|<1/3. The bound 1/3 is optimal. This result has been extended in a suitable sense by Liu Taishun and Wang Jianfei (2007) to the bounded complex symmetric domains of the four classical series, and to polydiscs. The result of Liu and Wang may be generalized to all bounded symmetric domains, with a proof which does not depend on classification.

研究の動機と目的

• 1914 年の H. ボールの定理（単位円板からそれ自身への正則写像に限って成立）を、複素単位円板を超えて、すべての有界対称領域へ拡張すること。
• 正則自己写像のテイラー係数の絶対値の和の収束に関する、スペクトルノルムにおける一様な 1/3 の境界を確立すること。
• 4 つの古典的系列の有界対称領域についてのケースバイケース分析を回避する、分類に依存しない証明を提供すること。
• 有界対称領域の自己同型の作用における作用素ノルムの恒等式を一般化し、任意の u ∈ Ω に対して ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) が成り立つことを示すこと。
• 定数 1/3 が最適であることを示し、より大きな半径では不等号が成り立たないことを証明すること。

提案手法

• 有界対称領域のジョルダン三重系構造に関連するスペクトルノルム ||·||_Ω を用いる。
• ミンコフスキーノルムとバーグマン作用素理論を適用し、スペクトル分解における最大固有値 λ₁ として ||x||_Ω = λ₁ と定義する。
• フレーム (c₁,…,cᵣ) に関する同時ペアス分解を用いて、ジョルダン三重系の構造を分析する。
• バーグマン作用素 B(x,x) 及びそのスペクトル的性質を用いて、f(0) を固定する自己同型 φ に対して、||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) という重要な恒等式を導出する。
• 正則写像のテイラー展開 f(z) = ∑fₖ(z) を用い、∑||Dφ(f(0))·fₖ(Z)||_Ω / ||Dφ(f(0))||_Ω の和を評価する。
• 自己同型によるスペクトルノルムの不変性と、ヘルミート的ジョルダン三重系の正定値性を用いて、||Z||_Ω < 1/3 の範囲で収束を証明する。

実験結果

リサーチクエスチョン

• RQ1 ボールの定理を分類に依存せずに、すべての有界対称領域へ一般化できるか？
• RQ2 f: Ω → Ω が正則自己写像であるとき、∑|aₖzᵏ| ≤ 1 が成り立つような最良の半径 r は何か？（Ω は有界対称領域）
• RQ3 有界円形対称領域において、自己同型 φ の点 u における微分作用素のノルムが、任意の u に対して ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) を満たすか？
• RQ4 定数 1/3 が、古典的型でないすべての有界対称領域に対してもボールの定理において最適であるか？
• RQ5 接空間上のスペクトルノルムを用いて、正則自己写像のテイラー級数の収束半径を普遍的に定義できるか？

主な発見

• 本論文は、任意の有界対称領域 Ω に対して、f: Ω → Ω が正則で、f(z) = ∑fₖ(z) がそのテイラー展開であるとき、||Z||_Ω < 1/3 を満たすすべての Z に対して、∑||Dφ(f(0))·fₖ(Z)||_Ω / ||Dφ(f(0))||_Ω < 1 が成り立つことを証明した。
• 1/3 の境界は最適である：任意の r > 1/3 に対して、||Z||_Ω = r を満たす点で、絶対値の和が 1 を超える正則自己写像 f: Ω → Ω が存在する。
• 恒等式 ||dφ(u)||_Ω = 1/(1 - ||u||_Ω²) は、古典的領域に限らず、すべての有界円形対称領域で成り立ち、分類に依存しない証明により示された。
• スペクトルノルム ||x||_Ω は、x ∈ V のスペクトル分解 x = ∑λᵢcᵢ（λ₁ > λ₂ > ... > 0）に基づき、||x||_Ω = λ₁ として定義される。
• バーグマン作用素 B(x,x) は B(x,x) = ∑(1 - λᵢ²)(1 - λⱼ²)pᵢⱼ を満たし、そのスペクトル的性質がノルム恒等式の導出に用いられた。
• スペクトルノルム ||·||_Ω の単位球は有界対称領域 Ω に一致し、ジョルダン三重系構造により、領域が有界かつ円形であることが保証される。