[논문 리뷰] On the maximal function associated to the spherical means on the Heisenberg group

Sayan Bagchi, Sourav Hait외 2명|arXiv (Cornell University)|2018. 12. 31.

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

한 줄 요약

이 논문은 헤이젠버그 군 $\Sigma^n$ 상에서 희소 경계를 확립하여, M. Lacey의 유클리드 접근 방식을 적응시켜 새로운 무중량 및 가중 $L^p$ 추정치를 도출한다. 주요 결과는 $n \geq 2$ 일 때 모든 $1 < p < \infty$ 에 대해 희소 구간을 가진 구면 최대함수의 $L^p$ 유계성을 보장하며, $L^p$-향상 추정치와 희소 지배를 통해 캘러존의 정리를 비유클리드 환경으로 확장한다.

ABSTRACT

In this paper we deal with lacunary and full versions of the spherical maximal function on the Heisenberg group $\mathbb{H}^n$, for $n\ge 2$. By suitable adaptation of an approach developed by M. Lacey in the Euclidean case, we obtain sparse bounds for these maximal functions, which lead to new unweighted and weighted estimates. In particular, we deduce the $L^p$ boundedness, for $1

연구 동기 및 목표

• 유클리드 공간에서 캘러존의 희소 구간을 가진 구면 최대함수 정리가 $n \geq 2$ 일 때 헤이젠버그 군 $\mathbb{H}^n$ 으로 확장되는가를 조사한다.
• M. Lacey의 유클리드 작업에서 유도된 적응 기법을 사용하여 $\mathbb{H}^n$ 상에서 희소 지배를 확립한다.
• 희소 경계를 통해 헤이젠버그 군 상의 구면 평균에 대한 새로운 무중량 및 가중 $L^p$ 추정치를 도출한다.
• 지역적 변형된 구면 평균에 대한 $L^p$-향상 추정치를 핵심 기술적 단계로 증명한다.

제안 방법

• 다이아딕 큐브와 양의 측도 겹침을 가진 희소 집합을 사용하여, 헤이젠버그 군 환경에 Lacey의 희소 지배 프레임워크를 적응한다.
• 스펙트럼 이론과 $\mathbb{H}^n$ 상의 군 푸리에 해석을 통해 지역적(일괄 스케일) 변형된 구면 평균에 대한 $L^p$-$L^q$ 추정치를 확립한다.
• 복소수 변수 $z \in \mathbb{C}$ 를 매개변수로 하는 해석적 가족의 연산자를 사용하여 스케일 간 균일한 추정치를 도출한다.
• 핵심 차이와 이동 노름을 통한 조절을 통해 지역 최대함수에 대한 연속성 성질을 증명한다.
• 희소 지배를 적용하여 가중 $L^p$ 유계성을 도출하며, $A_p$ 및 역 하이러르드 클래스에 속하는 날카운 가중치를 포함한다.
• 헤이젠버그 군의 동차 차원 $Q = 2n+2$ 과 비등방성 스케일링의 구조를 활용하여 다이아딕 큐브 내의 측도 성장률을 제어한다.

실험 결과

연구 질문

• RQ1 헤이젠버그 군 $\mathbb{H}^n$ 상에서 $n \geq 2$ 일 때 희소 구간을 가진 구면 최대함수는 모든 $1 < p < \infty$ 에 대해 $L^p$ 유계성을 만족하는가?
• RQ2 유클리드 조화 분석 기법을 사용하여 헤이젠버그 군 상의 구면 최대함수에 대한 희소 경계를 확립할 수 있는가?
• RQ3 지역적 변형된 구면 평균에 대한 헤이젠버그 군 $\mathbb{H}^n$ 상의 날카운 $L^p$-향상 추정치는 무엇인가?
• RQ4 $\mathbb{H}^n$ 상에서 희소 최대함수의 유계성을 보장하기 위해 필요한 $A_p$ 및 역 하이러르드 조건은 무엇인가?
• RQ5 구면 평균의 지지 집합이 $\mathbb{H}^n$ 상에서 두 차원 감소한 경우, 일차 차원 평균과 비교해 최대함수의 정규성과 유계성에 어떤 영향을 미치는가?

주요 결과

• 헤이젠버그 군 $\mathbb{H}^n$ 상에서 $n \geq 2$ 일 때 희소 구간을 가진 구면 최대함수는 모든 $1 < p < \infty$ 에 대해 $L^p(\mathbb{H}^n)$ 상에서 유계이며, 캘러존의 유클리드 결과를 헤이젠버그 군으로 확장한다.
• 희소 지배는 $\mathbb{H}^n$ 상에서 희소 및 전체 구면 최대함수 모두에 대해 확립되었으며, 이는 새로운 무중량 및 가중 $L^p$ 추정치를 이끌어낸다.
• 논문은 $\mathbb{H}^n$ 상에서 지역적 변형된 구면 평균에 대한 $L^p$-$L^q$ 추정치를 증명하며, 지수 범위는 동차 차원 $Q = 2n+2$ 에 따라 달라진다.
• 가중 $L^p$ 유계성은 $A_{p/p_0} \cap \text{RH}_{(\phi(1/p_0)')^\prime}$ 에 속하는 가중치에 대해 확보되며, 여기서 $\phi$ 는 $p_0$ 와 $n$ 에 따라 정의된 조각별 함수이며, $1 < p_0 < p < (\phi(1/p_0))'$ 일 때 성립한다.
• 구면 평균에 대한 $L^p$-향상 추정치는 $\mathbb{H}^n$ 상에서 알려진 끝점 행동과 일치하며, 희소 지배 추론 과정에서 진동을 제어하는 데 사용된다.
• 이 방법은 $\mathbb{H}^n$ 상에서 두 차원 감소한 부분다양체에 지지된 구면 평균의 더 높은 특이성 문제를 성공적으로 다루었으며, 코울링이 연구한 일차 차원 평균보다 더 특이성이 높은 경우를 다루었다.