다중선형 구면 평균과 간격 최대 연산자의 Lebesgue 경계

초록

본 논문은 차원 $d\ge2$에서 $n$‑선형 구면 평균 연산자 $\mathcal A^{n}$가
\

상세 분석

이 논문의 핵심 기여는 $n$‑선형 구면 평균 연산자 $\mathcal A^{n}$에 대한 전 범위 Lebesgue 추정식을 제공한다는 점이다. 기존 연구는 $d\ge3$에서의 선형 구면 최대 연산자(Stein, Bourgain)와 $n=2$인 경우의 이중선형 연산자(Iosevich·Palsson·Sovine 등)의 제한된 범위만을 다루었으며, $n\ge3$에 대한 일반적인 결과는 거의 없었다. 저자는 먼저 $\mathcal A^{n}$가 $L^{1}\times\cdots\times L^{1}\to L^{1}$ 를 만족한다는 기본적인 $L^{1}$‑바운드를 증명한다. 이를 위해 구면 측도 $\sigma_{nd-1}$의 푸시포워드(measure)와 분포 이론을 활용하여, 구면 위에서의 적분을 $d$‑차원 공간의 적분으로 변환하는 ‘슬라이싱 공식’(Lemma 1.2)을 정교히 전개한다. 특히, $\Phi(x)=\sum_{i=1}^{n}|x_{i}|^{2}-1$ 와 같은 서브머전션에 대한 풀백(pull‑back) 연산을 정의하고, 이를 통해 구면 위의 적분을 $\delta(\Phi)$와의 내적 형태로 바꾸어 $L^{1}$‑노름을 직접 계산한다.

다음 단계에서는 Iosevich·Palsson·Sovine이 제시한 지역화 기준(Lemma 1.1)을 적용한다. 이 기준은 (C1)·(C2)·(C3) 세 가지 조건을 만족하는 다중선형 연산자에 대해, $L^{1}$‑바운드만 알면 모든 $1\le p_{i}\le\infty$에 대해 $\frac1{p_{1}}+\cdots+\frac1{p_{n}}=\frac1r$ 를 만족하는 $L^{r}$‑바운드를 자동으로 얻을 수 있음을 보장한다. $\mathcal A^{n}$는 지원이 제한된 입력 함수에 대해 거리 $N$ 이상 떨어지면 출력이 0이 되는 (C1)과, 출력이 입력 지원의 $R$‑이웃 안에 머무르는 (C2)를 명백히 만족한다. 따라서 핵심은 (C3), 즉 $L^{1}$‑바운드만을 증명하면 된다.

(C3) 증명에서는 푸시포워드 측도 $\sigma_{nd-1}^{(-)}$가 Lebesgue 측정에 절대 연속이며, 그 Radon‑Nikodym 도함수가 $|E|^{\alpha}$ 형태(α = $n(d-2)/2$)으로 제한된다는 사실을 Proposition 1.2를 통해 확보한다. 이를 이용해 $\int_{\mathbb R^{d}} \prod_{j=1}^{n}f_{j}(x-y_{j}),d\sigma_{nd-1}(y)$ 를 $L^{1}$‑노름으로 직접 제어하고, 결국 $|\mathcal A^{n}(f_{1},\dots,f_{n})|{1}\le C\prod{j}|f_{j}|_{1}$ 를 얻는다.

마지막으로, 동일한 방법론을 간격(lacunary) 버전인 $M^{n}{\text{lac}}$에 적용한다. 간격 연산자는 $t=2^{-l}$ (정수 $l$)만을 취하므로, dyadic decomposition과 카를루스톤·코이프만·와이즈의 기존 결과를 활용해 $L^{p}$‑바운드가 $p{i}>1$인 경우에 한해 전 범위 개방 영역을 얻는다. 결과적으로, $M^{n}_{\text{lac}}$는
\