[논문 리뷰] Estimates for maximal functions associated to hypersurfaces in $\Bbb R^3$ with height $h<2:$ Part I

Stefan Buschenhenke, Spyridon Dendrinos외 2명|arXiv (Cornell University)|2017. 04. 21.

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

한 줄 요약

이 논문은 높이 $h<2$인 $ℝ^3$ 내의 스무스 곡면의 등방성 확대와 관련된 최대 연산자의 $L^p$-유계성을 확립한다. 특히, 한 점에서 주곡률가 0이 되고, 교차 조건을 만족하는 곡면을 대상으로 한다. 뉴턴 다이어그램, 이진 분해, 진동 적분 추정에 기반한 새로운 기법을 사용하여, 기존의 $h \geq 2$ 경우에서의 결과를 더 민감한 $h < 2$ 영역으로 확장함과 동시에, 유계성의 임계 지수가 그대로 $p_c = h$로 유지됨을 증명한다.

ABSTRACT

In this article, we continue the study of the problem of $L^p$-boundedness of the maximal operator $M$ associated to averages along isotropic dilates of a given, smooth hypersurface $S$ of finite type in 3-dimensional Euclidean space. An essentially complete answer to this problem had been given about seven years ago by the last named two authors in joint work with M. Kempe for the case where the height h of the given surface is at least two. In the present article, we turn to the case $h&lt;2.$ More precisely, in this Part I, we study the case where $h&lt;2,$ assuming that $S$ is contained in a sufficiently small neighborhood of a given point $x^0\in S$ at which both principal curvatures of $S$ vanish. Under these assumptions and a natural transversality assumption, we show that, as in the case where $h\ge 2,$ the critical Lebesgue exponent for the boundedness of $M$ remains to be $p_c=h,$ even though the proof of this result turns out to require new methods, some of which are inspired by the more recent work by the last named two authors on Fourier restriction to S. Results on the case where $h&lt;2$ and exactly one principal curvature of $S$ does not vanish at $x^0$ will appear elsewhere.

연구 동기 및 목표

• 스무스 곡면의 등방성 확대와 관련된 최대 연산자의 $L^p$-유계성 이론을 높이 $h<2$인 경우로 확장한다.
• 주곡률가 모두 0이 되는 점 근처에서 최대 연산자의 행동을 교차 조건 하에 분석한다.
• 분석적 복잡성이 증가하는 $h<2$ 영역에서도 $L^p$-유계성의 임계 리만 지수 $p_c = h$가 유지됨을 증명한다.
• 최근의 푸리에 제한 이론에 영감을 받은, 특히 뉴턴 다이어그램과 이진 분해를 포함한 새로운 방법론을 $h<2$ 설정에 맞게 개발한다.

제안 방법

• 저자들은 국소적으로 원점에서 2차로 0이 되는 스무스 함수 $\phi$의 그래프로 곡면을 표현하기 위해 선형 좌표변환을 사용하여 적합한 좌표계를 도입한다.
• 뉴턴 다이어그램을 활용하여 위상 함수 $\phi$의 특이도를 분류하고, 특히 $A_2$ 및 $D_4^+$ 특이도에 집중하며 선형 변환 하에서의 정규형을 도출한다.
• 공기 콘과 주근 루트 제트에 대한 거리에 대해 이진 분해를 적용하여 최대 연산자를 다룰 수 있는 주파수 및 공간 영역으로 국소화한다.
• 최대 연산자를 이진 주파수 조각 $\mathcal{M}_k$로 분해하고, $L^2$와 $L^{1+\varepsilon}$ 유계성 사이의 보간을 통해 $k$ 및 $\lambda$에 대해 다항식 성장률을 가지는 추정을 유도한다.
• 핵심 추정은 하디-리틀우드 최대 연산자의 변형과 주근 루트 제트 및 공기 콘 근처/멀리 떨어진 영역의 기여를 분석함으로써 확보된다.
• $D_4^+$-형 특이도의 경우, 작은 매개수를 가진 $A_2$-형 곡면에 대한 이전 결과를 적용할 수 있도록 선형 좌표변환을 통해 $A_2$-형 특이도로 환원한다.

실험 결과

연구 질문

• RQ1 높이 $h<2$일 때 $ℝ^3$ 내 곡면과 관련된 최대 연산자의 임계 $L^p$-유계성 지수는 무엇인가?
• RQ2 기저점에서 두 주곡률가 모두 0일 경우와 적어도 하나가 0이 아닐 경우를 비교할 때, $L^p$-유계성 이론은 어떻게 변화하는가?
• RQ3 $h<2$ 영역에서도 임계 지수 $p_c = h$가 유지될 수 있는가? 만약 그렇다면 이를 증명하기 위해 어떤 새로운 분석 도구가 필요한가?
• RQ4 진동 적분의 맥락에서 뉴턴 다이어그램과 이진 분해는 어떻게 비정상적 특이도 근처의 최대 연산자 추정에 기여하는가?
• RQ5 매개수 의존 추정과 좌표변환을 통해 $A_2$-형 특이도 분석은 $D_4^+$-형 특이도로 얼마나 넓게 확장될 수 있는가?

주요 결과

• 높이 $h<2$일지라도 최대 연산자 $\mathcal{M}$의 $L^p$-유계성에 대한 임계 리만 지수는 여전히 $p_c = h$로 유지되며, 이는 $h \geq 2$ 경우의 결과를 확장한다.
• 기저점에서 $D_4^+$-형 특이도를 가진 곡면에 대해 최대 연산자 $\mathcal{M}_k$는 모든 $p > 3/2$ 및 $\delta > 0$에 대해 $\|\mathcal{M}_k\|_{L^p \to L^p} \lesssim 2^{k(\frac{1}{p} + \delta)}$를 만족하며, $k$에 대해 균일하다.
• $L^2$ 연산자 노름 추정은 $\|\mathcal{M}_k\|_{L^2 \to L^2} \lesssim T^{1/2} 2^{-k/6} \lambda^{-1/3}$로 유계지며, $L^{1+\varepsilon}$ 노름은 $\|\mathcal{M}_k\|_{L^{1+\varepsilon} \to L^{1+\varepsilon}} \lesssim T \lambda^{2/3 + \delta} 2^{k(1/3 - \delta)}$로 유계지며, 이는 보간 기반의 $L^p$ 유계성으로 이어진다.
• 증명은 선형 좌표변환을 통한 $A_2$-형 특이도로의 환원에 의존하며, 이는 작은 매개수를 가진 $A_2$-형 곡면에 대한 이전 결과의 적용을 가능하게 한다.
• 공기 콘에 대한 거리에 따른 이진 분해는 공간 및 주파수 영역의 기여를 균일하게 제어할 수 있게 하며, 특히 콘 근처 및 멀리 떨어진 영역에서의 기여를 다루는 데 유리하다.
• 이진 주파수 블록에 대한 합산을 통해 최대 연산자 $\mathcal{M}$에 대한 균일 추정을 확립하였으며, $\|\mathcal{M}\|_{L^p \to L^p} \lesssim \sum_{k=k_0}^\infty 2^{-2k/3} \|\mathcal{M}_k\|_{L^p \to L^p}$를 도출하였으며, 이는 $p > 3/2$일 때 수렴한다.