[論文レビュー] Composition operators on the Wiener-Dirichlet algebra

Frédéric Bayart, Catherine Finet+2 more|ArXiv.org|Apr 16, 2009

Algebraic and Geometric Analysis参考文献 20被引用数 8

ひとこと要約

本稿は、絶対収束ディリクレ級数のウィーナー＝ディリクレ代数上での合成作用素を調査し、ボール変換を介して、可算個の変数における絶対収束テイラー級数の代数上での合成作用素と対応づける。主な結果として、等長作用素である合成作用素は、$\phi(s) = c_0 s + i\tau$（$c_0 \in \mathbb{N}$ および $\tau \in \mathbb{R}$）の形をした記号によって誘導されるものに限られ、古典的なウィーナー代数の結果をディリクレ級数の設定へと拡張する。

ABSTRACT

We study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the Wiener-Dirichlet algebra. The central issue is to understand the connection between the properties of the operator and of its symbol, with special emphasis on the compact, automorphic, or isometric character of this operator. We are led to the intermediate study of algebras of functions of several, or countably many, complex variables.

研究の動機と目的

• 古典的なウィーナー代数におけるテイラー級数の合成作用素理論を、絶対収束ディリクレ級数のウィーナー＝ディリクレ代数へと拡張すること。
• 合成作用素 $C_\phi$ がウィーナー＝ディリクレ代数上で有界、コンパクト、等長的、または自己同型となるような記号 $\phi$ を特徴付けること。
• ボール変換を用いて、無限個の変数におけるディリクレ級数とテイラー級数の間の対応関係を確立し、後者の結果を前者へと移すことを可能にすること。
• ウィーナー＝ディリクレ代数上での合成作用素が等長的であるための必要十分条件を、記号の構造と臨界直線上での作用の関係と照らし合わせて同定すること。

提案手法

• ボール変換 $\Delta$ を用いて、ウィーナー＝ディリクレ代数 $\mathcal{A}^+$ を可算個の変数における絶対収束テイラー級数の代数 $A^+({\mathbb{T}}^\infty)$ と同一視する。
• 等長的同型写像 $\Delta$ を活用し、$A^+({\mathbb{T}}^\infty)$ 上の合成作用素の性質を $\mathcal{A}^+$ 上へ移す。関係式 $\Delta f(z^{[s]}) = f(s)$ を用いる。
• $A^+({\mathbb{T}}^\infty)$ 上の合成作用素理論、特に等長的記号の形を特徴づける定理17を応用し、$\phi$ に関する条件を導出する。
• クロネッカー近似定理を用いて、記号 $\phi$ による虚軸の像が無限次元トーラス上で稠密であることを示し、境界挙動の解析を可能にする。
• $\phi$ の臨界直線 $\Re s = 0$ 上での作用を、$\phi$ の連続的拡張と条件 $\phi(i\mathbb{R}) \subseteq i\mathbb{R}$ を用いて分析し、その形を制約する。
• 最初の $k$ 個の素数にのみ依存する有限次元部分代数 $\mathcal{A}_k^+$ に問題を還元し、各々に定理17を適用することで、$\phi(s) = c_0 s + i\tau$ であることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 どの記号 $\phi$ がウィーナー＝ディリクレ代数 $\mathcal{A}^+$ 上で有界な合成作用素 $C_\phi$ を誘導するか？
• RQ2 $C_\phi$ が $\mathcal{A}^+$ 上でコンパクト、自己同型、または等長的であるような記号 $\phi$ はどのように特徴づけられるか？
• RQ3 ウィーナー＝ディリクレ代数上での等長的合成作用素は完全に特徴づけられるか？また、それらは無限次元トーラス上の単項式写像とどのように関係するか？
• RQ4 虚軸を保存する記号 $\phi$ が等長的合成作用素を誘導するための条件は何か？
• RQ5 定理14における記号の形の逆は常に成り立つか、すなわち、すべての等長的作用素が $\phi(s) = c_0 s + i\tau$ の形の記号から生じるのか？

主な発見

• ウィーナー＝ディリクレ代数 $\mathcal{A}^+$ 上での合成作用素 $C_\phi$ が等長的であるための必要十分条件は、記号が $\phi(s) = c_0 s + i\tau$（$c_0 \in \mathbb{N}$ および $\tau \in \mathbb{R}$）の形をしていることである。
• $\phi$ が $\overline{\mathbb{C}}_0$ に連続的に拡張可能で、虚軸を保存する（$\phi(i\mathbb{R}) \subseteq i\mathbb{R}$）ならば、$\phi(s) = c_0 s + i\tau$（$c_0 \in \mathbb{N}_0$ および $\tau \in \mathbb{R}$）の形をとる。
• 有限次元部分代数 $\mathcal{A}_k^+$ に対しては、等長的合成作用素は $\phi(s) = c_0 s + i\tau$（$c_0 \in \mathbb{N}$ および $\tau \in \mathbb{R}$）の形で特徴づけられ、$A^+({\mathbb{T}}^k)$ への還元により導かれる。
• 記号 $\phi$ は、ある $c_0 \in \mathbb{N}$ に対して $\Re \phi(s) = c_0 \Re s$ を満たさなければならない。虚部を考慮に入れることで、$\phi(s) = c_0 s + i\tau$ に強制される。
• 等長的記号は、無限次元トーラス $\mathbb{T}^\infty$ 上での単項式写像 $\tilde{\phi}(z) = \epsilon z^{\alpha}$ に引き上げられるものに限り、ここで $\alpha$ は非負整数の多重指数である。
• 本研究により、実数値の周期的関数は、実数上に定義されたほとんど周期的関数として単射であることは不可能であり、等長的記号の構造はボール変換および $\mathbb{T}^\infty$ 上の調和解析によって強く制約されていることが明らかになった。