[논문 리뷰] Boundedness of Hausdorff operators on Hardy spaces $H^1$ over locally compact groups

А. Р. Миротин|arXiv (Cornell University)|2018. 08. 24.

Advanced Harmonic Analysis Research참고 문헌 23인용 수 8

한 줄 요약

이 논문은 국소적으로 컴acts한 군 $G$ 위의 하르트스페이스 $H^1(G)$에서 하우스도르프 연산자의 유계성 기준을 보완하고 개선한다. 핵심 조건 $(*)$—자기 동형사상에 의한 구의 역상이 확대된 구에 포함됨을 나타내는 조건—이 자동으로 성립함을 보이며, 이는 자동형사상의 리프시츠 성질에 기인하고, 명시적인 최적 리프시츠 상수 $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$를 갖는다. 주요 결과는 $\Phi \in L^1(\Omega, k^s d\mu)$이면 $\mathcal{H}_{\Phi,A}$가 $H^1(G)$에서 유계임을 보이며, 연산자 노름은 $C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$로 유계임을 보인다. 이는 이전 결과들을 동차 군으로 일반화하며, 유계성에 대한 날카로운 조건을 제공한다.

ABSTRACT

Results of Liflyand and collaborators on the boundedness of Hausdorff operators on the Hardy space $H^1$ over finite-dimensional real space generalized to the case of locally compact groups that are spaces of homogeneous type. Special cases and examples of compact Lie groups, homogeneous groups (in particular the Heisenberg group) and finite-dimensional spaces over division rings are considered.

연구 동기 및 목표

• 국소적으로 컴acts한 군에 대해 하우스도르프 연산자의 $H^1(G)$에서의 유계성에 관한 원본 논문 [13]의 주요 결과를 수정하고 개선하는 것.
• 자동형사상에 의한 구의 왜곡을 제어하는 조건 $(*)$—즉, $A(u)^{-1}(B(x,r)) \subseteq B(x', k(u)r)$—가 모든 $G$의 자동형사상에 대해 자동으로 성립함을 증명하는 것.
• 메트릭이 가능한 국소적으로 컴acts한 군에 대해 조건 $(*)$의 최적 상수 $k(u)$를 결정하는 것.
• 연산자 $\mathcal{H}_{\Phi,A}$가 $H^1(G)$에서 유계임을 보장하는 커널 $\Phi$에 대한 날카로운 $L^1$ 적분 조건을 설정하는 것.

제안 방법

• 모든 자동형사상이 상수 $\kappa_\rho \cdot \mathrm{mod}(A)$로 리프시츠일 수 있도록 $G$ 위에 왼쪽 불변 메트릭 $\rho_1$을 도입하며, $\kappa_\rho$는 메트릭에만 의존한다.
• 호환 가능한 왼쪽 불변 메트릭의 동치성과 하어르 측도의 두 배 성질을 이용해 구의 왜곡에 대한 균일한 유계를 유도한다.
• 모든 자동형사상 $A(u)$에 대해, 역상 $A(u)^{-1}(B(x,r))$가 $B(x', k(u)r)$에 포함됨을 보이며, $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$임을 증명한다.
• 공간의 동차 유형 이론과 $H^1(G)$의 최대 함수 특성화를 적용하여 $\mathcal{H}_{\Phi,A}$의 연산자 노름을 제어한다.
• 보완된 조건 하에서 연산자 노름 유계 $\|\mathcal{H}_{\Phi,A}\| \leq C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$를 확립한다.
• 특수한 경우에서 결과를 검증한다: 하이젠베르크 군 $\mathbf{H}_n$, 엄격한 상삼각 군 $T_1(n,\mathbb{R})$, 국소적으로 컴acts한 나눗셈환 위의 유한차원 공간.

실험 결과

연구 질문

• RQ1 국소적으로 컴acts한 군 $G$의 모든 자동형사상에 대해 조건 $(*)$—즉, $A(u)^{-1}(B(x,r)) \subseteq B(x', k(u)r)$—가 자동으로 성립하는가?
• RQ2 주어진 자동형사상 $A(u)$에 대해 조건 $(*)$의 최적 상수 $k(u)$는 무엇인가?
• RQ3 $\Phi$에 대한 날카로운 $L^1$ 적분 조건 하에서 하우스도르프 연산자 $\mathcal{H}_{\Phi,A}$가 $H^1(G)$에서 유계임을 확립할 수 있는가?
• RQ4 군의 동차 차원 $s$는 $\mathcal{H}_{\Phi,A}$의 노름 추정에 어떤 영향을 미치는가?
• RQ5 결정적으로 비아벨 군, 예를 들어 하이젠베르크 군과 상삼각 군으로의 결과 확장은 어느 정도 가능한가?

주요 결과

• 국소적으로 컴acts한 군 $G$에 왼쪽 불변 메트릭 $\rho$가 주어지면, 자동형사상의 리프시츠 성질에 의해 조건 $(*)$이 모든 자동형사상 $A(u)$에 대해 자동으로 성립한다.
• 조건 $(*)$의 최적 상수는 $k(u) = \kappa_\rho / \mathrm{mod}(A(u))$이며, 여기서 $\kappa_\rho$는 메트릭에 의존하는 상수이고 $\mathrm{mod}(A(u))$는 자동형사상의 모듈러스 함수이다.
• $\Phi \in L^1(\Omega, k^s d\mu)$이면 하우스도르프 연산자 $\mathcal{H}_{\Phi,A}$는 $H^1(G)$에서 유계이며, 연산자 노름은 $C_\nu \|\Phi\|_{L^1(\Omega, k^s d\mu)}$로 유계이다.
• 하이젠베르크 군 $\mathbf{H}_n$의 경우 동차 차원 $Q = 2n+2$이며, $k(u)$는 자동형사상의 구조를 통해 명시적으로 계산 가능하다.
• 엄격한 상삼각 군 $T_1(n,\mathbb{R})$의 경우 동차 차원은 $Q = n(n^2-1)/6$이며, 유계성 조건은 $k(u) = \|A(u)^{-1}\|_\infty$로 성립한다.
• $K^n$의 경우 국소적으로 컴acts한 나눗셈환 $K$에 대해, 유계성은 $k(u) = \|A(u)^{-1}\|_\infty$로 성립하며, 노름 추정은 $\|\mathcal{H}\| \leq 2^n \|\Phi\|_{L^1_{k^n}}$이며, 이는 $K = \mathbb{R}$일 때 날카로운 것이다.