[논문 리뷰] A maximal restriction theorem and Lebesgue points of functions in F(L^p)

Detlef Müller, Fulvio Ricci외 1명|arXiv (Cornell University)|2016. 12. 14.

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

한 줄 요약

이 논문은 $\mathbb{R}^2$ 내의 $C^2$ 곡선에 대해 푸리에 변환의 최대 제약 정리( maximal restriction theorem)를 확립한다. $p < \frac{8}{7}$ 인 $f \in L^p(\mathbb{R}^2)$에 대해, $\widehat{f}$의 정규화된 평균값이 애매한 측도 $\mu$에 대해 거의확실하게 점별로 제약 연산자 $\mathcal{R}f$로 수렴함을 보인다. 또한, 이러한 곡선 상의 거의 모든 비퇴화된 점이 $\widehat{f}$의 리만점(Lebesgue point)임을 증명하고, 제약 연산자가 리만값과 일치함을 밝혀낸다.

ABSTRACT

Fourier restriction theorems, whose study had been initiated by E.M. Stein, usually describe a family of a priori estimates of the L^q-norm of the restriction of the Fourier transform of a function f in L^p (say, on Euclidean space) to a given subvariety S, endowed with a suitabel measure. Such estimates allow to define the restriction Rf of the Fourier transform of an L^p-function to S in an operator theoretic sense. In this article, we begin to investigate the question what is the "intrinsic" pointwise relation between Rf and the Fourier transform of f, by looking at curves in the plane, for instance with non-vanishing curvature. To this end, we bound suitable maximal operators, including the Hardy-Littlewood maximal function of the Fourier transform of f restricted to S.

연구 동기 및 목표

• 함수 $f \in L^p(\mathbb{R}^2)$에 대해, 푸리에 변환 $\widehat{f}$와 제약 연산자 $\mathcal{R}f$ 사이의 점별 관계를 이해하는 것.
• 비영인 곡률을 가진 $C^2$ 곡선을 따라 $\widehat{f}$의 정규화된 평균값이 $\mu$-거의확실하게 점별로 $\mathcal{R}f$로 수렴하는 조건을 규명하는 것.
• 이러한 곡선을 따라 $\widehat{f}$의 리만점의 집합을 특성화하고, 제약 연산자와의 관계를 규명하는 것.
• 푸리에 변환과 관련된 절단된 이변수 최대함수의 $L^p$-$L^q$ 유계성($L^p$-$L^q$ boundedness)을 확립하는 것.

제안 방법

• 저자들은 곡선의 탄젠트 및 노말 방향에 맞춰진 주파수 평면 내 직사각형에서 $\widehat{f}$를 평균화함으로써 정의된 이변수 최대함수 $\mathcal{M}^+$를 도입한다.
• 코모고로프-세릴레스토프-플레스너 선형화 방법을 사용하여, $1 \leq p < \frac{8}{7}$ 이며 $p' \geq 3q$ 인 경우 이 최대함수의 $L^p$-$L^q$ 유계성을 증명한다.
• 제약 문제로부터 유도된 선형 연산자들의 일관된 추정치에 기반하여 증명이 이루어지며, 비영인 곡률을 가진 $C^2$ 곡선에 대해 캐르레슨과 스토린의 기법을 응용한다.
• 하디-리틀우드-소볼레프 부등식을 사용하여, 원래 함수의 $L^s$ 노름에 대해 절단된 최대함수의 $L^r$ 노름을 제어한다.
• 쌍대성과 항등식 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \lesssim \|f\|_{L^p(\mathbb{R}^2)}$를 통해 최대함수를 제약 연산자와 연결한다. 이는 $p < \frac{8}{7}$ 인 경우에 성립한다.
• 증명은 $C^2$ 볼록 함수 $\varphi$의 그래프로 국소화되며, 곡선에 가중치를 주기 위해 아핀 매장측도 $\mu = \kappa^{1/3} dt$ 가 사용된다.

실험 결과

연구 질문

• RQ1 비영인 곡률을 가진 $C^2$ 곡선 상에서 $f \in L^p(\mathbb{R}^2)$ 이고 $p < \frac{8}{7}$ 라면, 제약 $\mathcal{R}f$ 는 $\mu$-거의확실하게 점에서 $\widehat{f}$의 리만값과 일치하는가?
• RQ2 이러한 곡선을 따라 $\chi_\varepsilon$-평균값의 극한이 $\mu$-거의확실하게 존재하며, 그 값이 $\mathcal{R}f$ 와 일치하는가?
• RQ3 절단된 강한 최대함수의 $L^p(\mathbb{R}^2)$ 에서 $L^q(S,\mu)$ 로의 유계성이 제약 부등식이 성립하는 전체 지수 범위에서 성립하는가?
• RQ4 아핀 매장측도가 점별 수렴성과 리만점 성질을 보장하는 데 어떤 역할을 하는가?

주요 결과

• $1 \leq p < \frac{4}{3}$ 인 경우, $C^2$ 곡선 상의 비영인 곡률 점에서 $\chi_\varepsilon$-평균값이 $\mu$-거의확실하게 $\mathcal{R}f$ 로 점별 수렴한다.
• $1 \leq p < \frac{8}{7}$ 인 경우, $C^2$ 곡선 상의 거의 모든 비영인 곡률 점이 $\widehat{f}$의 리만점이며, 이러한 점에서 리만값은 $\mathcal{R}f$ 와 일치한다.
• 절단된 이변수 최대함수 $\mathcal{M}^+$ 는 $1 \leq p < \frac{8}{7}$ 이며 $p' \geq 3q$ 인 경우 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \leq C_p \|f\|_{L^p(\mathbb{R}^2)}$ 를 만족한다.
• $L^p$-$L^q$ 유계성은 코모고로프-세릴레스토프-플레스너 방법과 선형 연산자 집합에 대한 일관된 추정치를 통해 확립된다.
• 결과는 높은 차원에서의 곡선 $\Gamma(t) = (t, t^2, \dots, t^d)$ 로 확장 가능하지만, 현재 방법은 $\mathbb{R}^2$ 에서만 적용 가능하다.
• 증명은 $\mathcal{M}^+f$ 를 $|\widehat{f}|^2$ 의 최대함수와 연결함으로써 $\|\mathcal{M}^+f\|_{L^q(I,\mu)} \lesssim \|f\|_{L^p(\mathbb{R}^2)}$ 를 보여주며, 이는 쌍대성과 하디-리틀우드-소볼레프 부등식을 활용한다.