[논문 리뷰] On The maximal operators of Vilenkin-Fejér means

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

Advanced Harmonic Analysis Research참고 문헌 11인용 수 4

한 줄 요약

이 논문은 유한 Vilenkin 군에서 하드리 스페이스 $ H_{1/2} $ 에서 $ L_{1/2} $ 로의 Vilenkin-Fejér 평균의 최대 연산자 유계성을 확립한다. 특히 $ \widetilde{\sigma}^{*}f := \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ 가 $ H_{1/2} $ 에서 $ L_{1/2} $ 로 유계임을 증명한다. 또한, 임의의 비감소 함수 $ \varphi $ 가 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 를 만족할 경우, 연산자 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ 는 $ H_{1/2} $ 에서 유계가 아니며, 이는 로그 가중치의 최적성(sharpness)을 보여준다.

ABSTRACT

The main aim of this paper is to prove that the maximal operator $\overset{% \sim }{σ}^{*}f:=\underset{n\in P}{\sup }\frac{\left| σ_{n}f ight| }{\log ^{2}\left( n+1 ight) }$ is bounded from the Hardy space $H_{1/2}$ to the space $L_{1/2}$, where $σ_{n}f$ is Fejér means of bounded Vilenkin-Fourier series.

연구 동기 및 목표

• 유한 Vilenkin 군에서 하드리 스페이스 $ H_{1/2} $ 에서 $ L_{1/2} $ 로의 최대 연산자 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ 의 유계성을 확립한다.
• 로거스 가중치 $ \log^2(n+1) $ 의 최적성을 입증하기 위해, 임의의 비감소 함수 $ \varphi: \mathbb{N} \to [1, \infty) $ 가 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 를 만족할 경우, 연산자 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ 가 $ H_{1/2} $ 에서 유계가 아님을 보인다.
• 특히 $ p = 1/2 $ 에서의 마르팅게일 하드리 스페이스에서의 Fejér 평균에 대한 기존 결과를 확장하며, 이전에 약형 또는 부분적인 결과에 그쳤던 $ p = 1/2 $ 에서의 경계에서의 갭을 메운다.

제안 방법

• 유계된 $ H_{1/2} $-노름을 갖는 함수의 수열 $ f_{n_k} $ 를 구성하여 최대 연산자의 행동을 시험한다.
• 일반화된 Rademacher 함수를 갖는 Vilenkin 체계를 사용하며, 부분합 $ S_n f $, Fejér 평균 $ \sigma_n f $, Dirichlet 커널 $ D_n $ 을 정의하여 수렴 성질을 분석한다.
• 특정 가측 집합에서의 $ L_{1/2} $-노름을 추정하기 위해 이진 간격 $ I_N^{k,l} $ 과 $ I_N^{k,\alpha,l,\beta} $ 를 국소화에 사용한다.
• 핵심 추정은 $ \|D_{M_{2n_k+1}} - D_{M_{2n_k}}\|_{L_{1/2}} $ 의 $ L_{1/2} $-노름으로, 이는 $ c / M_{2n_k} $ 로 유계임을 보인다.
• 항등식 $ D_{j+M_{2n_k}} - D_{M_{2n_k}} = \psi_{M_{2n_k}} D_j $ 를 사용하여, 콘볼루션 유사한 구조를 통해 부분합과 Fejér 평균을 연결한다.
• 이진 집합 $ I_{2n_k}^{2s,2l} $ 에서 $ \left| \sigma_{q_{n_k}}(f_{n_k}) \right| / \varphi(q_{n_k}) $ 에 하한 추정을 적용하여, $ \frac{\sqrt{M_{2s} M_{2l}}}{\sqrt{\varphi(q_{n_k}) M_{2n_k}}} $ 비례하는 하한을 도출한다.

실험 결과

연구 질문

• RQ1 유한 군에서 Vilenkin 체계에 대해, 최대 연산자 $ \widetilde{\sigma}^{*}f = \sup_n \frac{|\sigma_n f|}{\log^2(n+1)} $ 가 $ H_{1/2} $ 에서 $ L_{1/2} $ 로 유계일까?
• RQ2 이러한 유계성에 있어 로그 가중치 $ \log^2(n+1) $ 는 얼마나 최적적인가?
• RQ3 조건 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 를 만족하는 모든 $ \varphi(n) $ 에 대해, 연산자 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ 가 $ H_{1/2} $ 에서 유계가 아님을 증명할 수 있는가?
• RQ4 유계성 실패 현상은 약형 또는 거의 어디에서나 수렴하는 것 외에도 강한 연산자 노름으로까지 확장되는가?
• RQ5 Vilenkin 설정에서 Fejér 평균의 유계성에 있어 하드리 스페이스의 경계점 $ p = 1/2 $ 는 진정한 임계점인가?

주요 결과

• 최대 연산자 $ \widetilde{\sigma}^{*}f = \sup_{n \in P} \frac{|\sigma_n f|}{\log^2(n+1)} $ 는 하드리 스페이스 $ H_{1/2} $ 에서 $ L_{1/2} $ 로 유계이며, 임계 경계점 $ p = 1/2 $ 에서의 양적 결과를 확립한다.
• 임의의 비감소 함수 $ \varphi: \mathbb{N} \to [1, \infty) $ 가 $ \limsup_{n \to \infty} \frac{\log^2(n+1)}{\varphi(n)} = \infty $ 를 만족할 경우, 연산자 $ \sup_n \frac{|\sigma_n f|}{\varphi(n)} $ 는 $ H_{1/2} $ 에서 $ L_{1/2} $ 로 유계가 아니며, 이는 로그 가중치의 최적성을 보여준다.
• 구성된 시험 함수 $ f_{n_k} $ 의 $ H_{1/2} $-노름은 $ \|f_{n_k}\|_{H_{1/2}} \leq c / M_{2n_k} $ 를 만족하여, 하드리 스페이스 내에서 균일 유계임을 보장한다.
• 정규화된 Fejér 평균의 $ L_{1/2} $-노름은 $ \left\| \frac{\sigma_{q_{n_k}} f_{n_k}}{\varphi(q_{n_k})} \right\|_{L_{1/2}} \geq c \cdot \frac{n_k}{\sqrt{M_{2n_k} \varphi(q_{n_k})}} $ 를 만족하며, 주어진 $ \varphi $-조건 하에서 $ k \to \infty $ 일 때 발산한다.
• 비율 $ \frac{\left( \int_{G_m} \left| \frac{\sigma_{q_{n_k}} f_{n_k}}{\varphi(q_{n_k})} \right|^{1/2} d\mu \right)^2}{\|f_{n_k}\|_{H_{1/2}}} \to \infty $ 가 $ k \to \infty $ 일 때 성립하며, 이는 $ \sup_n \left\| \frac{\sigma_n f}{\varphi(n)} \right\|_{L_{1/2}} = \infty $ 를 의미하며, 연산자의 유계성 실패를 증명한다.