[論文レビュー] Surjective isometries on a Banach space of analytic functions on the open unit disc

Takeshi Miura|arXiv (Cornell University)|Jan 1, 2018

Holomorphic and Operator Theory参考文献 18被引用数 2

ひとこと要約

この論文は、開単位円板上の正則関数のバナッハ空間 $\mathcal{S}_A$ における、線形とは限らない全単射等長写像を特徴づける。この空間にはノルム $\|f\|_\sigma = |f(0)| + \sup\{|f'(z)| : z \in \mathbb{D}\}$ が定められている。主な結果は、このような等長写像が円板の自己同型との合成および単位ノルム定数による乗算として表せることを示している。

ABSTRACT

Let $\\mathcal{S}_A$ be the complex linear space of all analytic functions on the open unit disc $\\mathbb D$, whose derivative can be extended to the closed unit disc $\\bar{\\mathbb D}$. We give the characterization of surjective, not necessarily linear, isometries on $\\mathcal{S}_A$ with respect to the norm $\\| f \\| _{\\sigma} = |f(0)| + \\sup \\{|f'(z)| : z \\in \\mathbb D \\}$ for $f \\in \\mathcal{S}_A$.

研究の動機と目的

• 開単位円板上の正則関数の空間 $\mathcal{S}_A$ におけるすべての全単射等長写像を特徴づけること。
• 線形性を仮定しない等長写像の構造を理解すること。
• ノルム $\|f\|_\sigma = |f(0)| + \sup\{|f'(z)| : z \in \mathbb{D}\}$ がこのような等長写像の形にどのように制約を加えるかを特定すること。
• この特定のノルムの下で、$\mathcal{S}_A$ 上の等長写像の全単射写像の完全な記述を確立すること。

提案手法

• 分析はノルム $\|f\|_\sigma = |f(0)| + \sup\{|f'(z)| : z \in \mathbb{D}\}$ に集中しており、これは原点における値と導関数の絶対値の上界を組み合わせたものである。
• 論文は、正則関数およびその導関数の性質を用いて、$\mathcal{S}_A$ 上の等長写像を分析する。
• 正則関数 $f$ に対して $f' \in H^\infty(\mathbb{D})$ となることを利用し、関数空間の技法を適用できるようにしている。
• 特徴づけは、等長写像の下での導関数の振る舞いと原点における値の振る舞いに依拠している。
• 証明では、任意の全単射等長写像が $f(0)$ と $f'$ の構造を保存しなければならないことを示し、これにより自己同型との合成が生じることを導いている。
• 等長写像の最終的な形は、ある単位ノルム定数 $\lambda$ および $\mathbb{D}$ の自己同型 $\phi$ を用いて $Tf(z) = \lambda \cdot f(\phi(z))$ と表せることを示している。

実験結果

リサーチクエスチョン

• RQ1 $\|f\|_\sigma$ の下で $\mathcal{S}_A$ 上の全単射等長写像の完全な構造は何か？
• RQ2 $f(0)$ と $f'$ の値は、このような等長写像の形にどのように制約を加えるか？
• RQ3 等長写像は、単位円板の自己同型との合成および単位ノルム定数による乗算として表現可能か？
• RQ4 線形性の仮定がない場合、この空間における等長写像の特徴づけに影響は生じるか？
• RQ5 導関数の上界が、等長写像の全単射写像を決定づける役割を果たすか？

主な発見

• $\|f\|_\sigma$ の下で $\mathcal{S}_A$ 上のすべての全単射等長写像は、$\lambda$ を単位ノルム定数、$\phi$ を単位円板の自己同型とする形 $Tf(z) = \lambda f(\phi(z))$ に表せる。
• このような等長写像の下で、$f(0)$ は単位ノルム定数による乗算を除き保存される。
• 導関数の上界ノルム $\sup\{|f'(z)| : z \in \mathbb{D}\}$ は等長写像の下でも保存され、これにより変換が両面自己同型に制限される。
• 線形性の仮定がなくても特徴づけが成り立つことから、等長写像の全単射写像は本質的に線形構造を持つことが示された。
• 等長写像は、自己同型 $\phi$ と単位ノルム定数 $\lambda$ の選択によって完全に決定され、それ以外の形は存在しない。
• この結果により、与えられたノルムの下で $\mathcal{S}_A$ の等長写像群の完全かつ明示的な記述が確立された。