[논문 리뷰] A note on The maximal operators of the Nörlund logaritmic means of Vilenkin-Fourier series

George Tephnadze, G. Tutberidze|arXiv (Cornell University)|2019. 01. 27.

Advanced Harmonic Analysis Research인용 수 4

한 줄 요약

이 논문은 $ 0 < p < 1 $ 인 경우 마팅게일 하디 공간 $ H_p(G_m) $ 내에서 비르레킨-푸리에 급수의 노를룬드 로그 평균과 관련된 최대 연산자의 유계성을 조사한다. 최대 연산자 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 가 $ H_p $ 에서 $ L_p $ 로 유계일 때, $ \Theta(n) \sim n^{1/p - 1} / \log n $ 이어야 하며, 이 비율은 날카로운 최적성의 의미에서 최적임을 증명함으로써 날카로운 $ (H_p, L_p) $-유형 부등식을 수립한다.

ABSTRACT

The main aim of this paper is to investigate $\left(H_{p},L_{p} ight)$- type inequalities for the the maximal operators of Nörlund logaritmic means, for $0

연구 동기 및 목표

• 노를룬드 로그 평균의 최대 연산자에 대한 날카로운 $ (H_p, L_p) $-유형 부등식을 비르레킨-푸리에 급수의 맥락에서 수립하기 위해.
• 최대 연산자 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 가 $ H_p(G_m) $ 에서 $ L_p(G_m) $ 로 유계일 수 있도록 하는 가중치 함수 $ \Theta(n) $ 의 최적 성장률을 결정하기 위해.
• 비율 $ \Theta(n) \sim n^{1/p-1}/\log n $ 의 날카로움을 증명하여, 더 천천히 성장하는 임의의 $ \varphi(n) $ 이 존재할 경우 연산자가 무한히 커짐을 보여주기 위해.
• 기존의 부분합 연산자에 대한 결과를 임계 범위 $ 0 < p < 1 $ 에서의 노를룬드 로그 평균의 경우로 확장하기 위해.

제안 방법

• 노를룬드 로그 평균의 최대 연산자 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 를 사용하며, 여기서 $ L_n f $ 는 비르레킨-푸리에 급수의 $ n $-번째 노를룬드 로그 평균을 나타낸다.
• 최대 부분합 연산자 $ \widetilde{S}_p^*f := \sup_n |S_n f| / (n+1)^{1/p - 1} $ 에 대해 알려진 날카로운 유계성 결과를 적용한다. 이는 $ H_p $ 에서 $ L_p $ 로 유계이다.
• 점별 지배 관계 수립: $ |L_n f| / (n+1)^{1/p - 1} \leq \sup_k |S_k f| / (k+1)^{1/p - 1} $ 를 통해 부분합에서의 유계성 결과를 로그 평균으로 이전할 수 있다.
• 특정 마팅게일 $ f_{n_k} = D_{M_{2n_k+1}} - D_{M_{2n_k}} $ 를 구성하여, $ H_p $-노름이 일관되게 유계임을 보여, 가중치 함수의 날카로움을 시험한다.
• 측도 이론적 추정을 통해 $ \mu\{ |L_{M_{2n_k}+2} f_{n_k}| \geq 1 / (l_{M_{2n_k}+2} \varphi(M_{2n_k+2})) \} = 1 $ 이며, 이는 $ \varphi(n) $ 이 $ \Theta(n) $ 보다 천천히 성장할 경우 발산을 유도함을 보여준다.
• 위 추정을 조합하여 $ \| \widetilde{L}_p^* f \|_p \to \infty $ 가 되는 것을 증명함으로써, $ \Theta(n)/\varphi(n) \to \infty $ 이면 날카로움이 성립함을 입증한다.

실험 결과

연구 질문

• RQ1 최대 연산자 $ \widetilde{L}_p^*f := \sup_n |L_n f| / \Theta(n+1) $ 가 $ 0 < p < 1 $ 인 경우 $ H_p(G_m) $ 에서 $ L_p(G_m) $ 로 유계일 수 있도록 하는 가중치 함수 $ \Theta(n) $ 의 최적 성장률은 무엇인가?
• RQ2 비율 $ \Theta(n) \sim n^{1/p - 1} / \log n $ 는 날카로운가? 즉, 더 천천히 성장하는 임의의 $ \varphi(n) $ 이 존재할 경우 최대 연산자가 무한히 커지는가?
• RQ3 마팅게일 하디 공간 프레임워크 내에서, 로그 인자의 날카로움을 구성적 반례를 통해 증명할 수 있는가?
• RQ4 노를룬드 로그 평균의 성질은 $ 0 < p < 1 $ 인 경우 $ (H_p, L_p) $ 유계성 측면에서 부분합의 성질과 어떻게 비교되는가?
• RQ5 가중치 함수 $ \Theta(n) $ 의 성장과 $ H_p \to L_p $ 설정에서 최대 연산자의 노름 사이의 관계는 무엇인가?

주요 결과

• 최대 연산자 $ \widetilde{L}_p^*f := \sup_n |L_n f| / (n+1)^{1/p - 1} $ 는 $ 0 < p < 1 $ 인 경우 $ H_p(G_m) $ 에서 $ L_p(G_m) $ 로 유계이며, 부분합에 대한 기존 결과를 확장한다.
• 비율 $ \Theta(n) \sim n^{1/p - 1} / \log n $ 는 날카로운가: 만약 $ \varphi(n) $ 이 $ \Theta(n) $ 보다 천천히 성장한다면, $ \sup_n |L_n f| / \varphi(n+1) $ 는 $ H_p(G_m) $ 에서 무한히 커진다.
• 특정 반례 마팅게일 $ f_{n_k} = D_{M_{2n_k+1}} - D_{M_{2n_k}} $ 는 $ H_p $-노름이 일관되게 유계이지만, $ \varphi(n) \ll \Theta(n) $ 일 경우 $ \| \widetilde{L}_p^* f_{n_k} \|_p \to \infty $ 를 만족한다.
• 비율 $ \Theta(n)/\varphi(n) \to \infty $ 인 조건 하에서 $ \| \widetilde{L}_p^* f_{n_k} \|_p / \|f_{n_k}\|_{H_p} \to \infty $ 가 됨을 보여, 날카로움이 입증된다.
• 논문은 $ C_1 n^{1/p - 1} / \log n \leq \Theta(n) \leq C_2 n^{1/p - 1} $ 를 만족하는 절대 상수 $ C_1, C_2 $ 가 존재함을 증명하여 정확한 점근적 순서임을 확인한다.
• 결과는 로그 인자가 필수적이며, 유계성 확보를 위해 분모에 더 천천히 성장하는 함수로 대체하거나 제거할 수 없다는 것을 확인한다.