히젠베르크 군에서 강한 최대함수의 Lp 유계성

초록

본 논문은 히젠베르크 군 위에 정의된 강한 최대함수 연산자를, 좌표별 A∞ 가중치가 곱 형태로 주어지는 절대연속 측도에 대해 L^p(1<p<∞) 구간에서 유계함을 증명한다. 핵심은 코르도바‑페프먼 다중파라미터 커버링 보조정리를 이용한 새로운 증명이다.

상세 분석

논문은 먼저 히젠베르크 군 H^n의 비가환 곱법칙 (u,v,t)⊙(ξ,η,τ)= (u+ξ, v+η, t+τ+μ(u·η−v·ξ)) 를 소개하고, 직사각형 R⊂ℝ^{2n+1}을 좌표축에 평행하도록 정의한다. 강한 최대함수 M은 모든 such R에 대해 평균값의 상한을 취하는 연산자로, 기존의 Lebesgue 측도 경우에 대해 Christ(1992)의 L^p 유계성 결과(정리 A)를 상기한다.

새로운 기여는 가중치 ω(u,v)∈∏{i=1}^m A∞(ℝ^{N_i}) 형태의 절대연속 측도 vol_ω(E)=∫E ω(u,v) du dv dt 를 도입하고, 이에 대한 강한 최대함수 M_ω를 (1.6)식으로 정의한다. 가중치가 각 좌표군에 대해 A∞ 성질을 만족하면, M_ω가 L^p(ℝ^{2n+1},ω)에서 유계임을 정리 A* 로 제시한다.

증명은 두 단계로 구성된다. 첫 번째 단계에서는 코르도바‑페프먼의 다중파라미터 커버링 보조정리를 변형하여, 직사각형들의 교차가 서로 겹치더라도 지표함수들의 L^p 합계가 제어될 수 있음을 보인다. 이때 각 직사각형을 확대한 R^* 를 이용해 선택 과정에서 겹침 비율을 1/2 이하로 유지한다. 두 번째 단계에서는 선택된 부분집합 {R_k}에 대해 볼록성 및 Hölder 부등식을 적용, 약한 타입 (p,p) 추정식 vol_ω({M_ω f>λ}) ≤ C λ^{-p}‖f‖_{L^p(ω)}^p 를 얻는다. 마르친키에프 인터폴레이션을 사용해 강한 L^p 유계성을 최종적으로 도출한다.

핵심적인 기술적 난관은 가중치가 다변량 곱 형태이므로, 각 좌표축에 대한 A_∞ 상수들을 적절히 조합해 전체 측도에 대한 비교 상수를 확보하는 것이다. 이를 위해 저자는 Fefferman의 Lemma 3.1을 다중 단계 귀납법으로 확장하고, 각 단계에서 “크로스 섹션” 부피가 감소하는 성질을 이용한다. 결과적으로, 가중치가 제품 A_∞ 조건을 만족하면 히젠베르크 군의 강한 최대함수는 전통적인 유클리드 공간과 동일한 L^p 유계성을 유지한다는 중요한 일반화를 얻는다.

이 논문은 비가환 군 위에서 다중파라미터 분석을 수행할 때, 가중치 이론과 커버링 보조정리의 결합이 얼마나 강력한 도구가 될 수 있는지를 보여준다. 향후에는 더 일반적인 계층적 가중치나 비정형 dilations에 대한 확장이 기대된다.