[논문 리뷰] Strong convergence theorem for Vilenkin-Fejér means

István Blahota, George Tephnadze|arXiv (Cornell University)|2015. 04. 21.

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

한 줄 요약

이 논문은 $ 0 < p \leq 1/2 $ 인 경우 Vilenkin-Fejér 평균이 마팅게일 하르디 공간 $ H_p(G_m) $ 에서 강한 수렴성을 보장하는 강력한 수렴 정리를 확립한다. Fejér 평균의 $ L_p $-노름이 로그 가중치를 가진 가중 합산 부등식을 만족함을 증명한다. 주요 결과는 $ p \leq 1/2 $ 인 경우 $ \ell^p $-합산성의 노름 $ \|\sigma_n f\|_p $ 이 로그 인자에 의해 제어됨을 보여주며, 이는 이전에 $ p > 1/2 $ 에서 알려진 결과를 균일 유계성의 실패가 발생하는 임계 범위로 확장한다.

ABSTRACT

As main result we prove strong convergence theorems of Vilenkin-Fejér means when $0

연구 동기 및 목표

• Vilenkin 군의 맥락에서 $ p > 1/2 $ 의 범위에서 Fejér 평균의 강한 수렴 결과를 임계 범위인 $ 0 < p \leq 1/2 $ 으로 확장하는 것.
• 마팅게일 하르디 공간 $ H_p(G_m) $ 에서 $ p \leq 1/2 $ 인 경우 Vilenkin-Fejér 평균의 $ L_p $-노름에 대한 가중 합산 부등식을 수립하는 것.
• $ \log^{[p]}n $ 의 가중치가 합산 조건에서의 정확성(최적성)을 해결하여, $ 0 < p \leq 1/2 $ 에서 최적임을 보여주는 것.
• 이전의 유계성 정리에서 $ p > 1/2 $ 라는 가정이 필수적임을 보이며, $ H_{1/2} $ 에서 반례를 구성하는 것.

제안 방법

• 저자들은 유계된 Vilenkin 군 $ G_m $ 에서 이진 마팅게일의 구조를 사용하여, 일반화된 Rademacher 함수와 일반화된 Walsh 함수를 통해 Vilenkin 체계를 정의한다.
• Fejér 평균 $ \sigma_n f $ 는 Vilenkin-Fourier 급수의 부분합의 Cesàro 평균으로 정의된다.
• 핵심 기술적 도구는 $ L_p $-노름 행동을 시험하기 위해 이진 간격과 일반화된 특성의 수열을 사용하여 $ f \in H_p(G_m) $ 를 구성하는 것이다.
• 증명은 딱딱한 분해와 Dirichlet 핵 $ D_n $ 의 성질을 이용한 최대 함수와 약형 $ L_p $-노름의 추정에 기반한다.
• 특정 집합 $ I_n^{k,l} $, 특히 $ I_2^{0,1} $ 에서 $ \sigma_n f $ 의 행동을 분석하여 약형 $ L_p $-노름의 하한을 유도한다.
• 주요 부등식은 핵 $ K_n $, 함수 $ \Phi(n) $ 과 수준 집합의 측도에 대한 추정을 결합하여 유도되며, 이는 $ p \leq 1/2 $ 일 때 발산하는 급수로 이어진다.

실험 결과

연구 질문

• RQ1 균일 유계성의 실패가 발생하는 $ 0 < p \leq 1/2 $ 에서도 Vilenkin-Fejér 평균의 강한 수렴성이 $ H_p(G_m) $ 에서 성립하는가?
• RQ2 $ \log^{[p]}n $ 의 합산 가중치를 $ 0 < p \leq 1/2 $ 로 확장할 수 있으며, 이것이 최적인가?
• RQ3 $ p \leq 1/2 $ 인 경우 $ f \in H_p $ 에 대해 $ \|\sigma_n f\|_p $ 의 행동은 어떠한가? 그리고 이 노름은 무한히 증가하는가?
• RQ4 Weisz의 Fejér 평균에 대한 유계성 정리에서 $ p > 1/2 $ 라는 가정이 필수적인가? $ H_{1/2} $ 에서 반례를 구성할 수 있는가?

주요 결과

• $ 0 < p \leq 1/2 $ 에서 모든 $ f \in H_p $ 에 대해 부등식 $ \frac{1}{\log^{[1/2+p]}n} \sum_{k=1}^n \frac{\|\sigma_k f\|_p^p}{k^{2-2p}} \leq c_p \|f\|_{H_p}^p $ 가 성립하며, 이는 이전의 $ p > 1/2 $ 에서의 결과를 일반화한다.
• $ 0 < p \leq 1/2 $ 에서 $ \log^{[1/2+p]}n $ 의 가중치가 최적임이 입증되었으며, 특정한 $ f \in H_p $ 에 대해 급수가 발산함을 보였다.
• $ H_{1/2} $ 에서 $ \sup_n \|\sigma_n f\|_{1/2} = +\infty $ 가 되는 반례가 구성되었으며, 이는 Weisz의 정리에서 $ p > 1/2 $ 라는 가정이 필수적임을 증명한다.
• $ L_p $-노름은 $ \|\sigma_n f\|_{L_{p,\infty}}^p \gtrsim \frac{\Phi^{1/2}(M_{|\alpha_k|+1})}{M_{|\alpha_k|+1}^p} $ 를 양의 측도를 갖는 집합에서 만족하며, 이는 가중 합산의 발산을 이끈다.
• $ f \in H_p $ 이고 $ p \leq 1/2 $ 일 때 급수 $ \sum_{n=1}^\infty \frac{\|\sigma_n f\|_{L_p,\infty}^p}{\Phi(n)} $ 는 발산함을 보여, 로그 가중치의 필요성을 입증한다.
• 결과적으로 $ p \leq 1/2 $ 의 합산 조건은 로그 인자를 필요로 하며, 이는 모든 $ f \in H_p $ 에 대해 수렴을 보장하는 데 더 나은 가중치가 존재하지 않음을 의미하여 최적임을 확인한다.