[논문 리뷰] Boundedness of maximal functions on non-doubling manifolds with ends

Xuan Thinh Duong, Ji Li외 1명|arXiv (Cornell University)|2013. 02. 01.

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

한 줄 요약

이 논문은 비이중성 리만다이언만이 있는 다각형에서 하디-리틀우드 최대함수와 열류 최대함수의 약형 (1,1) 및 강형 (p,p) 유계성을 확립한다. $Σ^{m} \times \mathbb{S}^{N-m}$로 모델링된 다각형에서 열핵 추정과 이중 분할을 사용하여, 이중 조건이 실패하더라도 유계성을 증명한다. 이는 고전적 칼데론-지그문트 이론을 비이중성 기하 구조로 확장한다.

ABSTRACT

Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from the fact that $M$ does not satisfies the doubling condition.

연구 동기 및 목표

• 비이중성 리만다이언만이 있는 다각형에서 이중 조건이 실패하는 경우 고전적 칼데론-지그문트 이론을 확장하기 위해.
• 이러한 다각형에서 하디-리틀우드 최대함수와 열류 최대함수의 유계성을 확립하기 위해.
• 이중 조건의 부재를 극복하기 위해 혼합된 차원을 가진 다각형에 특화된 기하학적 및 분석 기법을 사용하기 위해.
• 특히 $1 < p \leq \infty$ 에 대해 $L^p$ 유계성 결과를 비이중성 설정으로 일반화하기 위해.

제안 방법

• 다각형 $M$ 은 $2 < n < m$ 인 연결합 $\mathcal{R}^{n} \sharp \mathcal{R}^{m}$ 으로 구성되며, $\mathcal{R}^{m} = \mathbb{R}^{m} \times \mathbb{S}^{N-m}$ 이다. 이는 비균일한 체적 성장률을 유도한다.
• 논문 [2] 의 열핵 추정을 기초로 사용하며, $t > 0$ 에 대해 $\exp(-t\Delta)$ 의 상한 및 하한 추정을 활용한다.
• 최대함수 $\mathcal{M}_{\Delta}f(x) = \sup_{t>0} |\exp(-t\Delta)f(x)|$ 는 중심 영역 $K$, 끝부분 $\mathcal{R}^{n} \setminus K$, 그리고 다른 끝부분 $\mathcal{R}^{m}$ 으로 도메인을 이중 분할하여 분석한다.
• 함수 $f$ 는 각각 $\mathcal{R}^{n} \setminus K$, $K$, $\mathcal{R}^{m}$ 에 지지되는 $f_1$, $f_2$, $f_3$ 으로 분해되어 추정을 국소화한다.
• 각 성분에 대해, 열핵 감쇠와 체적 성장에 기반한 $|\exp(-t\Delta)f_i(x)|$ 의 점별 추정을 유도하며, $t > 1$ 과 $t \leq 1$ 으로 경우를 나눈다.
• 약형 (1,1) 추정은 $L^1$ 노름과 약형 통제를 통해 분포 함수를 유계화함으로써 확보되며, 이는 반 Markov 성질을 활용한다.

실험 결과

연구 질문

• RQ1 비이중성 다각형에서 하디-리틀우드 최대함수는 유계적인가?
• RQ2 열류 최대함수 $\mathcal{M}_{\Delta}$ 는 이러한 다각형에서 약형 (1,1) 인가?
• RQ3 $\mathcal{M}_{\Delta}$ 는 이중 조건이 실패할 경우 $1 < p < \infty$ 에 대해 $L^p(M)$ 상에서 유계 연산자로 확장되는가?
• RQ4 혼합된 차원을 가진 끝부분에서의 체적 성장과 열핵 감쇠는 최대함수 추정에 어떤 영향을 미치는가?

주요 결과

• 하디-리틀우드 최대함수는 $M$ 상에서 약형 (1,1) 이며, 분포 함수는 $C \|f\|_{L^1}/\lambda$ 로 유계화된다.
• 열류 최대함수 $\mathcal{M}_{\Delta}$ 는 약형 (1,1) 이며, $\mu(\{x : \mathcal{M}_{\Delta}f(x) > \lambda\}) \leq C \|f\|_{L^1}/\lambda$ 를 만족한다.
• $\mathcal{M}_{\Delta}$ 는 모든 $1 < p < \infty$ 에 대해 $L^p(M)$ 상에서 유계이다. 이는 약형 (1,1) 과 강형 ($\infty,\infty$) 사이의 보간에 기반한다.
• $\mathcal{M}_{\Delta}$ 의 $L^\infty$ 유계성은 반 Markov 성질을 가진 반군 $\exp(-t\Delta)$ 에 의해 유도된다.
• $M = \mathcal{R}^{n} \sharp \mathcal{R}^{m}$ 이며 $2 < n < m$ 이면, 이는 이중 조건을 위반한다. 특정한 $x$ 와 $r$ 에 대해 $V(x,2r)/V(x,r)$ 는 유계가 아니다.
• 추정은 시간 척도($t > 1$ 대비 $t \leq 1$) 와 공간적 위치(끝부분 대비 중심부분)에 따른 사례 분석에 의존하며, 체적 성장 $r^n$ 또는 $r^m$ 이 각각 지배한다.