[논문 리뷰] The maximal operators of logarithmic means of one-dimensional Vilenkin-Fourier series

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

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

한 줄 요약

이 논문은 마팅게일 하르디 공간 $H_p$ 위에서 일차원 비렌킨-푸리에 급수의 리에즈 및 노르뒤르 로그 평균과 관련된 최대 연산자의 유계성을 조사한다. 리에즈 최대 연산자가 $p > 1/2$ 일 때 $H_p$ 에서 $L_p$ 로 유계임을 증명하지만, $0 < p \leq 1/2$ 일 때는 그렇지 않음을 보이며, 이와 유사하게 노르뒤르 평균의 경우 $0 < p \leq 1$ 일 때도 비유계임을 밝힌다. 이러한 결과는 유계된 비렌킨 군 위에서의 $L_p$-노름 추정과 이분할 간격 분석을 통해 확립된다.

ABSTRACT

The main aim of this paper is to investigate (H_{p},L_{p})-type inequalities for maximal operators of logarithmic means of one-dimensional Vilenkin-Fourier series.

연구 동기 및 목표

• 일차원 비렌킨-푸리에 급수의 리에즈 및 노르뒤르 로그 평균 최대 연산자에 대한 $(H_p, L_p)$-형 부등식을 수립하는 것.
• 마팅게일 하르디 공간 $H_p$ 에서 최대 연산자 $R^*$ 가 $L_p$ 로 유계일 수 있는 $p$ 의 정확한 임계값을 규명하는 것.
• 특히 유계성이 실패하는 경우에 대해, $0 < p \leq 1$ 인 $H_p$ 공간에서 노르뒤르 로그 평균의 최대 연산자 $L^*$ 의 행동을 분석하는 것.
• 최대 연산자 $R^*$ 의 $L_p$-노름이 $0 < p \leq 1/2$ 일 때 $f \in H_p$ 에 대해 무한대가 되는 반례를 제시하는 것.
• 이분할 간격 및 부분합 추정을 이용하여 워시-팔레이 체계에 대한 기존 결과를 일반적인 유계 비렌킨 군으로 확장하는 것.

제안 방법

• 분석은 유계 비렌킨 군 $G_m$ 위에서 수행되며, 정규직교 비렌킨 체계 $\psi_n$, 관련 푸리에 급수, 부분합 $S_n f$, 그리고 로그 평균 $R_n f$ 및 $L_n f$ 를 사용한다.
• 최대 연산자 $R^* f := \sup_n |R_n f|$ 와 $L^* f := \sup_n |L_n f|$ 는 이분할 간격 $I_n(x)$ 에서의 $L_p$-노름 추정을 통해 연구된다.
• 핵심 추정은 딜리클레 커널 $D_n(x)$ 의 행동에 기반하며, 특히 $D_{M_n}(x) = M_n$ 이고 $x \in I_n$ 이면, 그 외에는 0임을 이용하여 부분합 $S_j f$ 를 유계한다.
• 증명은 이분할 분해와 간격 분석을 사용한다: $x \in I_{2s} \setminus I_{2s+1}$ 에서는 합 $\sum_{j=0}^{M_{2s}-1} \frac{D_j(x)}{M_{2s} - j} \geq c s M_{2s}$ 가 성립하며, 이는 노름 증가를 이끈다.
• 최대 연산자 $R^*$ 의 $L_p$-노름이 $p \leq 1/2$ 일 때 무한대가 되는 마팅게일 $f \in H_p$ 의 구성은 간격 $I_{2s} \setminus I_{2s+1}$ 에서 $\|R^* f\|_p^p$ 를 추정하고 $k \to \infty$ 일 때 발산함을 보여서 이루어진다.
• 노르뒤르 평균의 경우, 유사한 간격 기반 노름 추정과 $M_{2s}$, $\alpha_k$ 의 점근적 성장률을 이용하여 $\|L^* f\|_{L_p} = \infty$ 가 되는 함수 $f \in H_p$ 를 구성한다.

실험 결과

연구 질문

• RQ1 최대 연산자 $R^*$ 가 $H_p$ 에서 $L_p$ 로 유계일 수 있는 $p > 0$ 의 범위는 무엇인가?
• RQ2 최대 연산자 $R^*$ 가 $p \leq 1/2$ 일 때 $H_p$ 에서 유계가 아니며, 이는 노름 발산을 통해 정량화될 수 있는가?
• RQ3 $0 < p \leq 1$ 일 때, $L_p$-노름이 무한대가 되는 $f \in H_p$ 가 존재하는가?
• RQ4 $p \leq 1/2$ 일 때 $\|R^* f\|_{L_p}^p$ 의 점근적 행동은 어떻게 되며, $k \to \infty$ 일 때 어떻게 발산하는가?
• RQ5 이분할 간격 $I_n$ 에서 $S_j f$ 와 $D_j(x)$ 의 추정이 $p \leq 1$ 일 때 $L_p$ 에서 $L^*$ 의 비유계성에 어떻게 기여하는가?

주요 결과

• 최대 연산자 $R^*$ 는 $H_p$ 에서 $L_p$ 로 유계일 때이고, 오직 $p > 1/2$ 일 때만 성립하며, 이는 $p > 1/2$ 일 때 $f \in H_p$ 에 대해 $\|R^* f\|_{L_p} < \infty$ 임을 보여준다.
• $0 < p \leq 1/2$ 일 때, $\|R^* f\|_{L_p} = \infty$ 가 되는 마팅게일 $f \in H_p$ 가 존재하며, 이는 $\|R^* f\|_{L_p}^p \gtrsim 2^{\alpha_k(1-2p)}/\alpha_k^{3p/2} \to \infty$ 로 발산함을 통해 확인된다.
• 노르뒤르 로그 평균의 경우, $0 < p \leq 1$ 일 때 모든 $f \in H_p$ 에 대해 $\|L^* f\|_{L_p} = \infty$ 이며, $\|L^* f\|_{L_p}^p \gtrsim 2^{\alpha_k(1-p)}/\alpha_k^{p/2} \to \infty$ 로 발산한다.
• $p = 1/2$ 에 대한 반례는 $\|R^* f\|_{L_{1/2}} = \infty$ 가 되는 마팅게일 $f$ 를 구성함으로써 $p > 1/2$ 임계값의 날카로움을 확인한다.
• 노름 추정은 $M_{2s} \sim 2^{2s}$ 와 간격 $I_{2s} \setminus I_{2s+1}$ 에 기반하며, 여기서 $j < M_{2s}$ 이면 $D_j(x) = j$ 이므로 합 $\sum_{j=0}^{M_{2s}-1} \frac{j}{M_{2s} - j} \gtrsim s M_{2s}$ 가 성립한다.
• 발산 결과는 $k \to \infty$ 일 때 $L^* f$ 의 $L_p$-노름이 무한히 증가함을 보여서 확립되며, 이 증가율은 $p$ 에 따라 달라진다: $p = 1/2$ 에서는 $\sim \alpha_k^{1/4}$, $p = 1$ 에서는 $\sim \sqrt{\alpha_k}$ 이다.