[논문 리뷰] A note on the strong convergence of two-dimensional Walsh-Fourier series

George Tephnadze|arXiv (Cornell University)|2014. 10. 05.

Advanced Harmonic Analysis Research참고 문헌 8인용 수 5

한 줄 요약

이 논문은 이차 평균 부분합의 수렴 속도의 날카움을 이중 월리스-푸리에 급수의 이진 하르드 스페이스 $ H_1(G^2) $ 내에서 입증한다. 특정 함수 수열을 구성하고, 그의 직사각형 부분합의 $ L^1 $-노름을 분석함으로써, 수렴 급수에서의 가중치 $ \frac{1}{n\log^2(n+1)} $ 가 향상될 수 없음을 증명하며, 이는 강한 $ L^1 $-수렴에 있어 본질적인 성질임을 확인한다.

ABSTRACT

The main aim of this paper is to investigate the quadratical partial sums of the two-dimensional Walsh-Fourier series.

연구 동기 및 목표

• 이중 월리스-푸리에 급수의 이차 평균 부분합에 대한 $ H_1(G^2) $ 내 수렴 속도의 날카움을 조사하는 것.
• 강한 수렴 추정에서의 가중치 $ \frac{1}{n\log^2(n+1)} $ 가 최적임을 확인하는 것.
• 모든 비감소 함수 $ \Phi(n) \to \infty $ 가 수렴 속도를 향상시킬 수 없음을 보여주는 것.
• 기존의 월리스-푸리에 급수의 강한 수렴 결과를 날카로운 경계를 갖는 이중 설정으로 확장하는 것.

제안 방법

• 이중 월리스-푸리에 계수를 알 수 있는 함수 수열 $ f_{n,n}(x,y) = (D_{2^{n+1}}(x) - D_{2^n}(x))(D_{2^{n+1}}(y) - D_{2^n}(y)) $ 을 구성하는 것.
• 직사각형 부분합을 표현하기 위해 $ 2^n < k \leq 2^{n+1} $ 에 대해 $ S_{k,k}f_{n,n}(x,y) = w_{2^n}(x)w_{2^n}(y)D_{k-2^n}(x)D_{k-2^n}(y) $ 라는 항등식을 사용하는 것.
• 기존 추정 $ \|D_m\|_1 \geq \frac{1}{8}V(m) $ 를 적용하며, 여기서 $ V(m) $ 은 $ m $ 의 이진 표현에서의 변동성을 의미한다.
• 핵의 곱의 구조를 이용하여 $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $ 의 하한을 확립하는 것.
• 비율의 점근적 행동 $ \frac{1}{n} \sum_{k=1}^n V(k) \sim \frac{1}{4\log 2} $ 을 이용하여 평균 변동성을 추정하는 것.
• 코시-슈바르츠 부등식을 적용하고 이진 간격에 걸쳐 합을 구함으로써 가중 급수의 발산을 보이는 것.

실험 결과

연구 질문

• RQ1 강한 $ L^1 $ 수렴 추정에서 2차원 월리스-푸리에 급수에 대한 가중치 $ \frac{1}{n\log^2(n+1)} $ 는 날카로운가?
• RQ2 모든 비감소 함수 $ \Phi(n) \to \infty $ 에 대해 $ \frac{1}{n\log^2(n+1)} $ 를 $ \frac{\Phi(n)}{n\log^2(n+1)} $ 로 대체함으로써 수렴 속도를 향상시킬 수 있는가?
• RQ3 하르드 스페이스 $ H_1(G^2) $ 내 함수에 대해 직사각형 부분합 $ S_{k,k}f $ 의 $ L^1 $-노름은 어떻게 행동하는가?
• RQ4 수치 $ m $ 의 이진 표현에서의 변동성 $ V(m) $ 이 레베그 상수와 부분합 노름에 어떤 영향을 미치는가?
• RQ5 모든 그러한 $ \Phi $ 에 대해 $ \|f\|_{H_1} \leq 1 $ 인 경우, $ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ 의 상한이 유한한가?

주요 결과

• 2차원 월리스-푸리에 급수의 강한 수렴 추정에서 가중치 $ \frac{1}{n\log^2(n+1)} $ 는 날카로우며, 향상될 수 없다.
• 모든 비감소 함수 $ \Phi(n) \to \infty $ 에 대해, $ \|f\|_{H_1} \leq 1 $ 인 경우 $ \sum \frac{\|S_{k,k}f\|_1 \Phi(k)}{k\log^2(k+1)} $ 의 상한은 무한대이다.
• 구성된 함수 $ f_{n,n} $ 는 $ \|f_{n,n}\|_{H_1} = 1 $ 을 만족하여 하르드 스페이스 내 정규화가 확인된다.
• 부분합 $ S_{k,k}f_{n,n} $ 의 $ L^1 $-노름은 $ 2^n < k \leq 2^{n+1} $ 에 대해 $ \|S_{k,k}f_{n,n}\|_1 \geq c V^2(k - 2^n) $ 를 만족한다.
• 평균 변동성 $ \frac{1}{n} \sum_{k=1}^n V(k) $ 는 $ \frac{1}{4\log 2} $ 로 수렴하며, 이는 점근적 하한을 확립하는 데 필수적이다.
• 코시-슈바르츠 부등식과 이진 간격에 대한 합을 통해 가중 급수의 발산이 입증되며, 이는 $ n \to \infty $ 일 때 $ \sim c \Phi(2^n) \to \infty $ 로 이어진다.