[논문 리뷰] A note on the Fourier coefficients and partial sums of Vilenkin-Fourier series

George Tephnadze|Repository of the Academy's Library (Library of the Hungarian Academy of Sciences)|2014. 10. 05.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 15

한 줄 요약

이 논문은 유계 Vilenkin 군 위에서 Vilenkin-Fourier 급수에 대한 Paley형 및 Hardy-Littlewood형 부등식을 조사하며, 부분합에 대한 강한 수렴 정리를 확립한다. 특정 푸리에 계수를 가진 함수를 구성하고, 이의 부분합을 이진 마팅게일 기법과 최대 함수 추정을 통해 분석함으로써, 일부 조건 하에서 부분합의 $ L_{p,\infty} $-노름이 발산할 수 있음을 증명한다. 이는 이 설정에서 고전적 부등식의 날카로움을 보여준다.

ABSTRACT

The main aim of this paper is to investigate Paley type and Hardy-Littlewood type inequalities and strong convergence theorem of partial sums of Vilenkin-Fourier series.

연구 동기 및 목표

• 유계 Vilenkin 군 위에서 Vilenkin-Fourier 급수에 대한 Paley형 및 Hardy-Littlewood형 부등식을 조사한다.
• 마팅게일 하드 허프스페이스의 맥락에서 Vilenkin-Fourier 급수의 부분합에 대한 강한 수렴 정리를 확립한다.
• 특정 계수 구성 하에서 부분합의 $ L_{p,\infty} $-노름의 행동을 분석한다.
• 부분합의 $ L_{p,\infty} $-노름이 발산하는 반례를 구성함으로써 고전적 부등식의 날카로움을 입증한다.
• 이진 마팅게일 이론을 활용하여 고전적 푸리에 분석 결과를 Vilenkin 체계로 확장한다.

제안 방법

• 푸리에 계수 $ \widehat{f}(v) = \frac{1}{M} \frac{M_{\alpha_\eta}^{1/p-1}}{\Phi_{M_{\alpha_\eta}}^{1/4}} $ 를 가지며, $ v \in [M_{\alpha_\eta}, M_{\alpha_\eta+1}) $ 인 함수 $ f $ 를 구성한다. 여기서 $ M_k $ 는 일반화된 계승이며, $ \Phi $ 는 양의 증가 함수이다.
• Vilenkin 체계에 의해 유도되는 이진 마팅게일 구조를 사용하며, $ S_{M_n}f $ 는 조건부 기대값 $ E_n f $ 와 대응된다.
• 모든 $ j \in \mathbb{N}_{n_0} $ 및 $ x \in G_m \setminus I_1 $ 에 대해 부분합 $ S_j f(x) $ 를 이진 간격으로 분해하고, Dirichlet 핵 함수 항등식을 적용한다.
• 항등식 $ D_j(x) = \psi_j \sum_{u=0}^{j-1} \psi_u $ 과 성질 $ D_{M_n}(x) = M_n $ if $ x \in I_n $, 0 otherwise 를 사용하여 점별 행동을 추정한다.
• 부분합 $ S_j f $ 의 $ L_{p,\infty} $-노름을 초수준 집합 $ \{ x : |S_j f(x)| > \lambda \} $ 의 측도를 유계함으로써 추정한다. 이때 $ |S_j f(x)| = \frac{1}{M} \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $ 이 $ G_m \setminus I_1 $ 에서 성립한다.
• 하한 $ \sum_{n: M_k \leq n \leq M_{k+1}, n \in \mathbb{N}_{n_0}} 1 \geq c M_k $ 를 사용하여, 합 $ \sum_j \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} $ 에서 발산하는 급수를 도출한다.

실험 결과

연구 질문

• RQ1 Vilenkin-Fourier 급수의 부분합의 $ L_{p,\infty} $-노름은 Hardy-Littlewood형 부등식을 만족하는가?
• RQ2 Vilenkin 체계에서 고전적 $ L_p $-유계성은 약한 $ L_p $-설정으로 확장될 수 있는가?
• RQ3 Paley형 부등식의 날카로움은 Vilenkin-Fourier 급수의 맥락에서 어떻게 평가되는가?
• RQ4 부분합이 $ L_{p,\infty} $ 에서 강한 수렴에 실패하는 $ L_1 $ 내의 함수가 존재하는가?
• RQ5 푸리에 계수의 성장률과 Vilenkin 군의 구조는 약한 $ L_p $-공간에서 부분합의 수렴에 어떻게 영향을 미치는가?

주요 결과

• 부분합 $ S_j f $ 의 $ L_{p,\infty} $-노름은 $ j \in [M_{\alpha_k}, M_{\alpha_k+1}) $ 이고 $ x \in G_m \setminus I_1 $ 일 때 $ \|S_j f\|_{L_{p,\infty}} \gtrsim \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $ 를 만족한다.
• 합 $ \sum_{j=M_{\alpha_k}}^{M_{\alpha_k+1}-1} \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} \gtrsim \Phi_{M_{\alpha_k}}^{3/4} \to \infty $ 로 수렴하지 않으며, 이는 발산을 보여준다.
• 이 구성은 모든 $ f \in L_1 $ 에 대해 불등식 $ \sum_j \frac{\|S_j f\|_{L_{p,\infty}}^p \Phi_j}{j^{2-p}} < \infty $ 가 균일하게 성립하지 않음을 의미하므로, 이 설정에서 Hardy-Littlewood형 부등식이 성립하지 않음을 시사한다.
• 마팅게일 $ S_{M_n}f $ 의 최대 함수 $ f^* $ 는 $ \|f^*\|_{L_{p,\infty}} \gtrsim \frac{M_{\alpha_k}^{1/p-1}}{\Phi_{M_{\alpha_k}}^{1/4}} $ 를 만족하며, 이는 약한 유형의 성장임을 나타낸다.
• 결과는 고전적 $ L_p $-유계성이 주어진 계수 가정 하에서 Vilenkin-Fourier 급수의 약한 $ L_p $-설정으로 확장되지 않음을 보여준다.
• 급수의 발산은 알려진 부등식의 날카로움을 확인하며, $ L_{p,\infty} $ 에서 수렴하기 위해서는 더 강한 가정이 필요함을 보여준다.