[논문 리뷰] Composition operators on the Wiener-Dirichlet algebra

Frédéric Bayart, Catherine Finet외 2명|ArXiv.org|2009. 04. 16.

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$가 위너-디리클레 대수에서 유계, 컴act, 등거리 또는 자동형이 되는 기호 $\phi$를 특성화한다.
• 보르 변환을 통해 무한 변수의 절대 수렴 테일러 급수와 디리클레 급수 사이의 대응 관계를 수립하여, 후자의 결과를 전자로 이전할 수 있도록 한다.
• 합성 연산자가 위너-디리클레 대수에서 등거리가 되는 데 필요한 필수 및 필요조건을 규명하며, 특히 기호의 구조와 임계선에서의 작용과의 관계를 고려한다.

제안 방법

• 보르 변환 $\Delta$ 를 사용하여 위너-디리클레 대수 $\mathcal{A}^+$ 를 가산 변수의 절대 수렴 테일러 급수 대수 $A^+({\mathbb{T}}^\infty)$ 와 동일시한다.
• 등거리 동형사상인 $\Delta$ 를 활용하여 $A^+({\mathbb{T}}^\infty)$ 에서의 합성 연산자 성질을 $\mathcal{A}^+$ 로 이전하며, $\Delta f(z^{[s]}) = f(s)$ 의 관계를 사용한다.
• 특히 등거리 기호의 형태에 관한 정리 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$ 형태의 기호로부터 유도되는가?

주요 결과

• 합성 연산자 $C_\phi$ 가 $\mathcal{A}^+$ 에서 등거리일 조건은 그 기호가 $\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$ 에서의 조화 분석에 의해 매우 강하게 제약됨을 보여준다.