[논문 리뷰] Convergence and almost sure properties in Hardy spaces of Dirichlet series

Frédéric Bayart|arXiv (Cornell University)|2021. 01. 08.

Holomorphic and Operator Theory참고 문헌 22인용 수 8

한 줄 요약

이 논문은 Dirichlet 급수의 주파수 𝜆에 대한 새로운 조건 (NC)을 제안하여, 오른쪽 반평면에서 유계이고 해석적 𝜆-Dirichlet 급수가 균일 수렴함을 보장한다. 이는 Bohr와 Landau의 고전적 결과를 확장한 것으로, 조화 해석을 통해 ℋ_p(𝜆) 공간에서 거의 확실한 수렴 결과를 확립하면서도, 이러한 공간을 표준 해석 함수 공간으로 간주하는 데서 발생하는 어려움을 밝혀낸다.

ABSTRACT

Given a frequency $\\lambda$, we study general Dirichlet series $\\sum a_n e^{-\\lambda_n s}$. First, we give a new condition on $\\lambda$ which ensures that a somewhere convergent Dirichlet series defining a bounded holomorphic function in the right half-plane converges uniformly in this half-plane, improving classical results of Bohr and Landau. Then, following recent works of Defant and Schoolmann, we investigate Hardy spaces of these Dirichlet series. We get general results on almost sure convergence which have an harmonic analysis flavour. Nevertheless, we also exhibit examples showing that it seems hard to get general results on these spaces as spaces of holomorphic functions.

연구 동기 및 목표

• 고전적 조건 (BC)과 (LC)를 초월하여, 주파수 𝜆에 대한 새로운 조건 (NC)을 도입함으로써 Bohr의 균일 수렴 정리의 적용 범위를 확장한다. 이 조건은 (LC)보다 엄밀히 더 약한 조건이다.
• 일반적인 𝜆-Dirichlet 급수에 대해 Hardy 공간 ℋ_p(𝜆)의 구조와 수렴 성질을 조사하며, 특히 거의 확실한 수렴에 초점을 맞춘다.
• 그럼에도 불구하고 Banach 공간의 구조를 지닌 ℋ_p(𝜆) 공간이 표준 해석 함수 공간으로 간주되는 데서 발생하는 한계를 명확히 한다.
• 부분합 연산자 S_N의 연산자 노름에 대한 새로운 추정치를 제공하며, 보간법과 벡터값 부등식을 사용하여 ℋ_1(𝜆)에서의 추정을 이끌어낸다.
• T_σ가 ℋ_2(𝜆)에서 ℋ_p(𝜆)로의 유계성을 분석하며, p ≥ 2인 경우에 대해 최적의 임계값을 규명한다.

제안 방법

• 주파수 𝜆_n의 성장과 분리 정도를 수량화하는 새로운 주파수 조건 (NC)을 도입하여, (LC)보다 더 약한 조건이지만, 유계 Dirichlet 급수의 균일 수렴을 보장한다.
• 기존 연구에서 사용된 Riesz 평균 접근법과는 달리, Saksman의 공식에 영향을 받은 컨볼루션 기반의 모폴리피어 기법을 적용한다.
• ℋ_p(𝜆)와 𝜆-Dirichlet 군 (G, 𝛽)의 L_p(G) 부분공간 사이의 Bohr 대응을 활용한 조화 해석 기법을 적용하여, 군의 특성에 기반한 노름 추정을 가능하게 한다.
• Hölder 부등식과 L_1-정규화된 노름에서의 Helson 부등식을 적용하여, ℋ_1(𝜆)에서 부분합 연산자 S_N의 연산자 노름을 유계화한다.
• Dirichlet 다항식의 L_2k-노름을 분석하여, 번역 연산자 T_σ의 노름 하한을 도출함으로써 최적의 임계값을 규명한다.
• 계수와 주파수를 제어할 수 있는 명시적 Dirichlet 다항식의 가족을 구성하여, 수렴성 및 유계성 결과의 최적성 여부를 검증한다.

실험 결과

연구 질문

• RQ1 주어진 주파수 𝜆에 대해 (LC)보다 엄밀히 더 약한 조건 (NC)이 존재할 수 있으며, 이 조건이 오른쪽 반평면에서 유계이고 해석적 𝜆-Dirichlet 급수의 균일 수렴을 보장할 수 있는가?
• RQ2 그러한 비표준 구조를 지닌 ℋ_p(𝜆) 공간이 해석 함수 공간으로 간주될 수 있는 정도는 어느 정도인가?
• RQ3 p ≥ 2인 경우에 대해 번역 연산자 T_σ가 ℋ_2(𝜆)에서 ℋ_p(𝜆)로 사상될 수 있는 최적의 임계값 σ는 무엇인가?
• RQ4 ℋ_1(𝜆)에서 부분합 연산자 S_N의 연산자 노름이 𝜆에 독립적으로 유계일 수 있으며, 만약 그렇다면 최선의 성장률은 무엇인가?
• RQ5 ℋ_p(𝜆)에서 Dirichlet 다항식의 노름은 콘볼루션과 거듭제곱 연산에 대해 어떻게 행동하는가? 이는 ℋ_p(𝜆)의 구조에 어떤 영향을 미치는가?

주요 결과

• 새로운 조건 (NC)는 (LC)보다 엄밀히 더 약하며, 모든 유계이고 해석적 𝜆-Dirichlet 급수가 임의의 ε > 0에 대해 ℂ_ε 반평면에서 균일 수렴함을 보장한다.
• 예제 2.3에서 정의된 주파수 수열에 대해, ℋ_1(𝜆)에서 S_N의 연산자 노름은 ‖S_N‖_{ℋ_1→ℋ_1} ≤ C log(N)를 만족하며, 기존의 추정보다 향상된 결과를 도출한다.
• 동일한 다항식 가족을 고려할 때, 번역 연산자 T_σ는 ℋ_2(𝜆)에서 ℋ_2k(𝜆)로 사상될 수 있으며, 이 경우 σ ≥ (k−1)/(2k)여야 하며, 이 임계값은 최적임을 입증한다.
• 동일한 주파수 수열에 대해, T_σ의 ℋ_2(𝜆)에서 ℋ_p(𝜆)로의 유계성은 σ ≥ (p−2)/(2p)일 때에만 성립하며, 이는 추측된 최적의 임계값을 시사한다.
• 모든 차수 N의 𝜆-Dirichlet 다항식에 대해 ‖D‖_2 / ‖D‖_1의 상한을 취한 Λ_N는 Λ_N ≤ √N를 만족하며, 이로부터 ℋ_1(𝜆)에서의 연산자 노름에 대해 log(N)의 유계성을 이끌어낸다.
• 본 연구는 ℋ_p(𝜆) 공간이 표준 해석 함수 공간과 다르게 행동함을 드러내며, 일반적인 수렴성 및 유계성 결과를 도출하는 데서 어려움이 있음을 보여준다.