[논문 리뷰] Convergence of series of dilated functions and spectral norms of GCD matrices

Kristian Seip, Christoph Aistleitner외 2명|arXiv (Cornell University)|2014. 07. 21.

Holomorphic and Operator Theory참고 문헌 28인용 수 16

한 줄 요약

이 논문은 $L^2$ 및 거의 모든 곳에서 수렴 조건을 날카롭게 규명하며, 이는 $\sum c_k f(kx)$ 및 $\sum c_k f(n_k x)$ 형태의 확대 함수 급수에 대해, 그 $L^2$ 노름을 최대공약수(GCD) 행렬의 스펙트럴 노름과 연결함으로써 달성된다. 함수 $f \in C^\alpha$ 이고 $\alpha \in (1/2, 1)$일 경우, 계수 $c_k$가 $\log k$ 및 $\log \log k$를 포함하는 지수적 감쇠 조건을 만족할 때 수렴이 성립하며, 최근의 GCD 행렬 스펙트럴 노름에 대한 경계로부터 최적의 상수를 도출한다. 이 결과는 $L^2$ 수렴과 거의 모든 곳에서의 수렴에 대해 이러한 조건의 날카로움을 해결하지만, 표준 확대 급수의 $L^2$ 경우에 정확한 상수는 제외된다.

ABSTRACT

We establish a connection between the $L^2$ norm of sums of dilated functions whose $j$th Fourier coefficients are $\\mathcal{O}(j^{-\\alpha})$ for some $\\alpha \\in (1/2,1)$, and the spectral norms of certain greatest common divisor (GCD) matrices. Utilizing recent bounds for these spectral norms, we obtain sharp conditions for the convergence in $L^2$ and for the almost everywhere convergence of series of dilated functions.

연구 동기 및 목표

• 확장 함수 급수 $\sum c_k f(kx)$ 및 $\sum c_k f(n_k x)$의 $L^2$ 수렴과 거의 모든 곳에서의 수렴에 대해, $f$ 가 $C^\alpha$ 에 속하고 $\alpha \in (1/2, 1)$ 일 때 날카운 충분 및 필요 조건을 규명하는 것.
• 확장 함수 합의 $L^2$ 노름을 최대공약수(GCD) 행렬의 스펙트럴 노름과 연결함으로써, 최근의 이러한 노름에 대한 경계를 활용하는 것.
• 수렴을 위한 계수 수열 $(c_k)$ 의 최적의 성장률을 규명하여, $\alpha < 1$ 일 때 $\ell^2$ 합산($\sum c_k^2 < \infty$)보다 훨씬 강한 감쇠가 필요하다는 것을 보여주는 것.
• 수렴 조건의 최적성을 입증하기 위해, 더 약한 $\ell^2$ 유형의 가정을 만족하나 조건을 위반하는 반례를 구성함으로써, $L^2$ 및 거의 모든 곳에서의 수렴에 대해 최적성을 입증하는 것.

제안 방법

• 저자들은 $f$ 가 $C^\alpha$ 에 속할 경우의 푸리에 급수 감쇠 성질을 이용하여, $\sum c_k f(kx)$ 의 $L^2$ 노름을 $\gcd(k,\ell)^{2\alpha}/(k\ell)^\alpha$ 를 원소로 가지는 GCD 행렬의 스펙트럴 노름과 연결한다.
• 최근에 확립된 GCD 행렬의 스펙트럴 노름에 대한 날카운 경계, 특히 약수 함수 $\sigma_s(k)$ 를 활용하여, $c_k$ 에 대한 지수적 감쇠 조건을 유도한다.
• 최적성 입증을 위해, 약간 더 작은 상수를 가진 조건을 만족하나 여전히 $L^2$ 또는 거의 모든 곳에서 발산하는 수열 $(c_k)$ 와 $(n_k)$ 을 구성하며, 이는 확률적 방법과 Borel–Cantelli 보조정리를 사용한다.
• 색인 집합을 이진 분해하여 블록 $\Gamma_i$ 와 $\Delta_i$ 로 그룹화함으로써 $L^2$ 노름의 성장을 통제하고, Lyapunov 조건을 통해 중심극한정리 적용한다.
• 정리 3의 증명에서는 코시-슈바르츠 부등식과 약수 함수 $\sigma_s(k)$ 의 성질을 사용하여 부분합의 $L^2$ 노름을 유계화하며, $\sum c_k^2 \sigma_{1-2\alpha+\varepsilon}(k) < \infty$ 이면 $L^2$ 수렴이 성립함을 보여준다.
• 거의 모든 곳에서의 수렴 최적성에 대해, 조건부 기대와 모멘트 유계를 사용하여 독립적인 랜덤 변수 $Y_i$ 를 구성하여 부분합을 확률적으로 지배하고, 중심극한정리를 적용하여 거의 확실히 발산함을 보여준다.

실험 결과

연구 질문

• RQ1 함수 $f \in C^\alpha$, $\alpha \in (1/2, 1)$ 일 때, $\sum c_k f(kx)$ 의 $L^2$ 수렴에 대해 계수 수열 $(c_k)$ 에 대한 날카운 조건은 무엇인가?
• RQ2 서로 다른 양의 정수로 이루어진 수열 $(n_k)$ 에 대해, $\sum c_k f(n_k x)$ 의 거의 모든 곳에서의 수렴에 대해 $(c_k)$ 에 대한 날카운 조건은 무엇인가?
• RQ3 GCD 행렬의 스펙트럴 노름은 확대 함수 급수의 $L^2$ 노름과 어떻게 관련이 있는가?
• RQ4 함수 $f \in C^\alpha$ 일 때, $\sum c_k^2 < \infty$ 보다 더 개선된 수렴 조건을 얻을 수 있는가? 만약 가능하다면 최적의 감쇠 비율은 무엇인가?
• RQ5 표준 확대 급수의 $L^2$ 수렴에 대해 유도된 조건이 거의 모든 곳에서의 수렴에 대해서도 최적인가?

주요 결과

• 함수 $f \in C^\alpha$, $\alpha \in (1/2, 1)$ 일 때, $\sum c_k f(kx)$ 는 $\sum c_k^2 \exp\left( K (\log k)^{1-\alpha} / \log \log k \right) < \infty$ 를 만족할 경우 $L^2$ 수렴 및 거의 모든 곳에서 수렴하며, 여기서 $K = 3/(1-\alpha) + 4/\sqrt{2\alpha - 1}$ 이고, 이 조건은 $L^2$ 수렴에 대해 최적이며.
• 급수 $\sum c_k f(n_k x)$ 는 $\sum c_k^2 \exp\left( K (\log k)^{1-\alpha} / (\log \log k)^\alpha \right) < \infty$ 를 만족할 경우 $L^2$ 수렴 및 거의 모든 곳에서 수렴하며, 여기서 $K = 6/(1-\alpha) + 7(|\log(2\alpha - 1)|^{1/2} + 1)$ 이고, 이 조건은 $L^2$ 및 거의 모든 곳에서의 수렴에 대해 모두 최적이다.
• $\sum c_k^2 \sigma_{1-2\alpha+\varepsilon}(k) < \infty$ 를 만족하는 어떤 $\varepsilon > 0$ 도 $\sum c_k f(kx)$ 의 $L^2$ 수렴을 보장하며, 이는 약수 함수의 성장률이 일부 경우에 지수 인자와 대체될 수 있음을 보여준다.
• 논문은 반례를 구성하여, 모든 $\varepsilon > 0$ 에 대해 $f \in C^\alpha$ 와 $(c_k)$ 가 존재하여 $\sum c_k^2 \exp\left( (1-\varepsilon)/(1-\alpha) \cdot (\log k)^{1-\alpha} / \log \log k \right) < \infty$ 이지만 급수 $\sum c_k f(kx)$ 가 $L^2$ 수렴하지 않는다는 것을 보여주며, 이는 $L^2$ 수렴 조건의 날카로움을 입증한다.
• 거의 모든 곳에서의 수렴에 대해, 조건은 최적이며, $f \in C^\alpha$, $(c_k)$, $(n_k)$ 가 존재하여 $\sum c_k^2 \exp\left( \hat{K} (\log k)^{1-\alpha} / (\log \log k)^\alpha \right) < \infty$ 를 만족하나 급수는 거의 모든 곳에서 발산함을 보여주며, 지수 인자의 최적성은 입증된다.
• $\alpha \to 1^-$ 일 때 수렴 조건의 상수 $K$ 가 $(1-\alpha)^{-1}$ 의 주기로 발산하며, 이는 충분성 및 최적성 결과와 일치한다.