[논문 리뷰] Summability of Multi-Dimensional Trigonometric Fourier Series

Ferenc Weisz|arXiv (Cornell University)|2012. 06. 08.

Advanced Harmonic Analysis ResearchMathematics인용 수 21

한 줄 요약

이 논문은 다변수 삼각함수 푸리에 급수와 푸리에 변환의 다양한 합산 방법—페제르, 리에즈, θ-합산, 직사각형 합산—에 대해 유계성과 거의 everywhere 수렴 결과를 확립한다. 이는 이러한 합산 평균의 최대 연산자가 $H^p$에서 $L^p$로 $p > p_0$에 대해 유계임을 증명하고, $p=1$에서 약한 유형 추정을 확보하여 거의 everywhere 수렴을 보장한다. 결과는 푸리에 변환으로까지 확장되며, 위너 클래스와 커널 함수의 푸리에 변환의 적분 가능성에 의한 합산 커널에 대한 날카운 조건을 포함한다.

ABSTRACT

We consider the summability of one- and multi-dimensional trigonometric Fourier series. The Fej{é}r and Riesz summability methods are investigated in detail. Different types of summation and convergence are considered. We will prove that the maximal operator of the summability means is bounded from the Hardy space $H_p$ to $L_p$, for all $p>p_0$, where $p_0$ depends on the summability method and the dimension. For $p=1$, we obtain a weak type inequality by interpolation, which ensures the almost everywhere convergence of the summability means. Similar results are formulated for the more general $θ$-summability and for Fourier transforms.

연구 동기 및 목표

• 다양한 합산 방법에 대해 다변수 삼각함수 푸리에 급수의 $L^p$ 유계성과 거의 everywhere 수렴을 확립하기.
• 합산 커널(예: $θ$-함수)에 대한 조건을 특성화하여, $f \in L^p$ 및 $f \in L(\log L)^{d-1}$에 대해 $L^p$ 수렴과 거의 everywhere 수렴을 보장하기.
• 직사각형 및 제한된 합산으로의 합산 이론을 확장하여 콘형 및 유사 콘형 집합을 포함하기.
• 합산 평균과 관련된 최대 연산자의 행동을 분석하고, 하디 공간과 최대 함수와의 관계를 규명하기.
• 푸리에 변환의 $\theta$-합산을 연구함으로써 주기적에서 비주기적 설정으로 결과를 일반화하기.

제안 방법

• 하드이 공간 $H^p(T^d)$ 및 $H^p(\mathbb{R}^d)$ 이론, 특히 원자 분해와 최대 함수를 활용한다.
• 실변수 기법, 특히 보간과 약한 유형 추정을 적용하여 최대 연산자가 $H^p$에서 $L^p$로의 유계성을 증명한다.
• 커널 분석을 수행: 페제르, 리에즈, 보흐너-리에즈, $\theta$-커널 등의 합산 커널의 $L^1$-노름과 $L^\infty$-노름을 그들의 푸리에 변환으로 기술한다.
• $\ell^q$-합산(삼각형형, 원형형, 입방형)과 직사각형 합산을 도입하고, 무제한 수렴과 제한 수렴을 구분한다.
• 위너 클래스 $W(C, \ell^1)$와 $\hat{\theta} \in E'_\infty$ 조건을 적용하여 $\theta$-평균의 수렴 조건을 특성화한다.
• 최대 함수 추정과 약한 유형 부등식을 사용하여, 尤히 르베그 및 강한 르베그 점에서의 거의 everywhere 수렴 결과를 도출한다.

실험 결과

연구 질문

• RQ1 모든 $p > p_0$에 대해 $\ell^q$-합산 평균의 최대 연산자가 $H^p(T^d)$에서 $L^p(T^d)$로 유계일 조건은 무엇인가?
• RQ2 $\theta$-합산 커널 $\theta$에 대한 어떤 조건이 $f \in L(\log L)^{d-1}(T^d)$에 대해 $\sigma_\theta^n f$의 거의 everywhere 수렴을 보장하는가?
• RQ3 $\sigma_\theta^*$의 최대 연산자의 유계성은 $\hat{\theta}$의 적분 가능성과 감쇠 성질과 어떻게 관련되는가?
• RQ4 $\mathbb{R}^d$에서 푸리에 변환의 $\theta$-합산이 $f \in L^1(\mathbb{R}^d)$에 대해 거의 everywhere 수렴하기 위한 조건은 무엇인가?
• RQ5 위너 클래스 $W(C, \ell^1)$과 르베그 점에서 $\theta$-평균의 수렴 사이의 정확한 관계는 무엇인가?

주요 결과

• $\ell^q$-합산 평균의 최대 연산자는 $H^p(T^d)$에서 $L^p(T^d)$로 $p > p_0$에 대해 유계이며, 여기서 $p_0$는 $q$와 $d$에 따라 달라진다.
• $p = 1$일 때, 보간을 통해 약한 유형 $(1,1)$ 부등식이 확립되어 합산 평균의 거의 everywhere 수렴을 보장한다.
• $\theta \in W(C, \ell^1)(\mathbb{R}^d)$, $\theta(0) = 1$, 그리고 $\|K_\theta^n\|_{E'_\infty(T^d)} \leq C$이며, 원점에서 멀어질수록 균일하게 감쇠하는 조건을 만족할 경우, $\sigma_\theta^n f$는 $f \in L(\log L)^{d-1}(T^d)$에 대해 거의 everywhere로 $f$로 수렴한다.
• $\mathbb{R}^d$에서 푸리에 변환의 $\theta$-합산은 $f \in L^1(\mathbb{R}^d)$의 르베그 점에서 거의 everywhere 수렴한다. 이는 $\hat{\theta} \in E_\infty(\mathbb{R}^d)$를 만족할 때 성립한다.
• 역으로, 만약 모든 $f \in L^1(\mathbb{R}^d)$에 대해 $\sigma_\theta^n f$가 르베그 점에서 거의 everywhere 수렴한다면, $\hat{\theta} \in E_\infty(\mathbb{R}^d)$여야 한다. 이는 날카운 조건을 확립한다.
• $\theta = \prod_{j=1}^d \theta_j$ 이고 각 $\theta_j \in V^2_1(\mathbb{R})$ 또는 $\theta_j \in Mv^1_1(\mathbb{R})$일 경우, $f \in L(\log L)^{d-1}(T^d)$의 르베그 점에서 $\theta$-평균은 거의 everywhere로 수렴한다.