[论文解读] 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

一句话总结

本文研究了绝对收敛Dirichlet级数的Wiener-Dirichlet代数上的复合算子，通过Bohr变换建立了其与可数无穷多个变量的绝对收敛Taylor级数代数上复合算子之间的对应关系。关键结果表明，等距复合算子恰好由形式为 $\phi(s) = c_0 s + i\tau$ 的符号诱导，其中 $c_0 \in \mathbb{N}$ 且 $\tau \in \mathbb{R}$，将经典Wiener代数中的结果推广至Dirichlet级数情形。

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.

研究动机与目标

• 将复合算子理论从经典的Taylor级数的Wiener代数推广至绝对收敛Dirichlet级数的Wiener-Dirichlet代数。
• 刻画使得复合算子 $C_\phi$ 在Wiener-Dirichlet代数上有界、紧致、等距或自同构的符号 $\phi$。
• 通过Bohr变换在Dirichlet级数与可数无穷多个变量的Taylor级数之间建立对应关系，从而实现从后者到前者的结果转移。
• 确定Wiener-Dirichlet代数上复合算子为等距算子的必要与充分条件，尤其关注符号结构及其在临界线上的作用。

提出的方法

• 使用Bohr变换 $\Delta$ 将Wiener-Dirichlet代数 $\mathcal{A}^+$ 与可数无穷多个变量的绝对收敛Taylor级数代数 $A^+({\mathbb{T}}^\infty)$ 进行识别。
• 利用等距同构 $\Delta$ 将 $A^+({\mathbb{T}}^\infty)$ 上复合算子的性质转移至 $\mathcal{A}^+$，利用关系式 $\Delta f(z^{[s]}) = f(s)$。
• 应用 $A^+({\mathbb{T}}^\infty)$ 上复合算子理论的成果，特别是关于等距符号形式的定理17，推导出对 $\phi$ 的条件。
• 利用Kronecker逼近定理，证明符号 $\phi$ 在虚轴上的像在无限环面上是稠密的，从而支持边界行为分析。
• 通过连续延拓 $\phi$ 并利用条件 $\phi(i\mathbb{R}) \subseteq i\mathbb{R}$，分析 $\phi$ 在临界线 $\Re s = 0$ 上的作用，以限制其形式。
• 将问题约化至有限维子代数 $\mathcal{A}_k^+$（仅涉及前 $k$ 个素数），并在每个子代数上应用定理17，最终得出 $\phi(s) = c_0 s + i\tau$ 的结论。

实验结果

研究问题

• RQ1 哪些符号 $\phi$ 会诱导Wiener-Dirichlet代数 $\mathcal{A}^+$ 上的有界复合算子 $C_\phi$？
• RQ2 哪些特征可刻画使得 $C_\phi$ 在 $\mathcal{A}^+$ 上为紧致、自同构或等距的符号 $\phi$？
• RQ3 Wiener-Dirichlet代数上的等距复合算子能否被完全刻画，其与无限环面上的单项式映射有何关系？
• 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$ 必须满足 $\Re \phi(s) = c_0 \Re s$，其中 $c_0 \in \mathbb{N}$，结合虚部约束后，可推出 $\phi(s) = c_0 s + i\tau$。
• 等距符号恰好是那些可提升为无限环面 $\mathbb{T}^\infty$ 上单项式映射 $\tilde{\phi}(z) = \epsilon z^{\alpha}$ 的符号，其中 $\alpha$ 为非负整数的多重指标。
• 本研究揭示，$\mathbb{R}$ 上的非退化几乎周期函数若为实值则不可能是单射，且等距符号的结构受到Bohr变换及 $\mathbb{T}^\infty$ 上调和分析的强烈约束。