[論文レビュー] Orthogonally additive holomorphic functions of bounded type over $C(K)$

Daniel Carando, Silvia Lassalle+1 more|arXiv (Cornell University)|Oct 29, 2008

Advanced Banach Space Theory参考文献 7被引用数 4

ひとこと要約

本稿では、$C(K)$ 上の有界型の直交加法的全純関数を、積分的因数分解によって特徴づける。具体的には、$f(x) = \int_K h(x)\,d\mu$ と表され、ここで $\mu$ は $K$ 上のボレル測度であり、$h: C(K) \to L^1\big(\mu\big)$ は有界型の全純関数である。主な貢献は、同次的直交加法的多項式が $x^k$ を通じて因数分解可能であるのに対し、非同次の全純関数は $h$ を含むより一般的な因数分解を必要とすることであり、同次性を超えた線形化の非自明な障害を解消している。

ABSTRACT

It is known that all $k$-homogeneous orthogonally additive polynomials $P$ over $C(K)$ are of the form $$ P(x)=\int_K x^k dμ. $$ Thus $x\mapsto x^k$ factors all orthogonally additive polynomials through some linear form $μ$. We show that no such linearization is possible without homogeneity. However, we also show that every orthogonally additive holomorphic functions of bounded type $f$ over $C(K)$ is of the form $$ f(x)=\int_K h(x) dμ$$ for some $μ$ and holomorphic $h\colon C(K) o L^1(μ)$ of bounded type.

研究の動機と目的

• 有界型の直交加法的全純関数の構造を理解すること。これは、直交加法的多項式を一般化する関数のクラスである。
• 同次でない全純関数の線形化が失敗する理由を解明すること。同様の因数分解は $k$-同次多項式に対して $x^k$ を通じて可能であるが、非同次関数ではそれが成立しない。
• 測度 $\mu$ と $L^1(\mu)$-値全純写像 $h$ を用いた表現定理を確立することにより、より単純な因数分解に対する代数的障害を克服すること。
• このような関数が、あるボレル測度 $\mu$ に関して必ず絶対連続であることを示すこと。これにより、積分性と直交加法性が結びつく。

提案手法

• 関数 $f$ の原点におけるテイラー展開 $f = \sum_k P_k$ を用い、補題 0.1 を用いて、$f$ が直交加法的であることと、すべての $P_k$ が直交加法的であることの同値性を示す。
• 既知の結果を活用し、$k$-同次直交加法的多項式が、ある $K$ 上のボレル測度 $\mu_k$ を用いて $P_k(x) = \int_K x^k\,d\mu_k$ と表現可能であることを用いる。
• 全変動測度 $\mu = \sum_k |\mu_k|$ を定義し、すべての $P_k$ が $\mu$ に関して絶対連続であることを保証することで、統一的な表現を可能にする。
• 各 $k$ に対して $\mu$ に対する $\mu_k$ のラドン＝ニコディム導来 $g_k$ を用いて、$h(x) = \sum_k g_k x^k$ により全純写像 $h: C(K) \to L^1(\mu)$ を構成する。これにより $P_k(x) = \int_K g_k x^k\,d\mu$ が成り立つ。
• $\|g_k\|_{L^1(\mu)} \leq \|P_k\|$ を示すことにより、$h$ が有界型であることを証明し、$C(K)$ の有界集合上で収束性と有界性を保証する。
• 主要な因数分解 $f(x) = \int_K h(x)\,d\mu$ を確立し、逆の包含関係（逆の十分条件）により、このような表現を備える関数がすべて直交加法的かつ有界型であることを検証する。

実験結果

リサーチクエスチョン

• RQ1 有界型の直交加法的全純関数 $C(K)$ 上で、$k$-同次多項式が $x^k$ を通じて因数分解可能であるのと同様の線形化表現が可能か？
• RQ2 非同次直交加法的全純関数を、$e^x - 1$ のような固定された全純関数 $\Phi$ を用いて表現する際の代数的・解析的障害は何か？
• RQ3 すべての有界型直交加法的全純関数 $C(K)$ 上に、普遍的な因数分解が存在するか？その正確な形は何か？
• RQ4 直交加法性は、$K$ 上のあるボレル測度 $\mu$ に関して絶対連続性を意味するか？また、すべてのテイラー係数に対して一様にこのような測度を構成可能か？

主な発見

• すべての有界型直交加法的全純関数 $C(K)$ 上で、$f(x) = \int_K h(x)\,d\mu$ と表現可能である。ここで $\mu$ は $K$ 上のボレル測度であり、$h: C(K) \to L^1(\mu)$ は全純的かつ有界型である。
• $h$ は、$h(x) = \sum_k g_k x^k$ というべき級数として構成され、各 $g_k \in L^1(\mu)$ は、$k$-同次成分 $P_k$ を表す測度 $\mu_k$ のラドン＝ニコディム導来である。
• 各 $g_k$ の $L^1$-ノルムは $\|g_k\|_{L^1(\mu)} \leq \|P_k\|$ を満たし、$C(K)$ の有界集合上で $h$ の収束性と有界性が保証される。
• 全変動測度 $\mu = \sum_k |\mu_k|$ により、すべての $P_k$ が $\mu$ に関して絶対連続であることが保証され、積分表現に不可欠である。
• この構成により、このような関数が全純関数として「積分的」であることが示され、積分多項式の概念が全純関数の設定に拡張される。
• この表現は最適である：例 1 で示されるように、成長性と代数的障害の両方により、$e^x - 1$ のような普遍的な全純関数 $\Phi$ ですべての関数を線形化することは不可能である。