[논문 리뷰] Estimates at or beyond endpoint in harmonic analysis: Bochner-Riesz means and spherical means

Shunchao Long|arXiv (Cornell University)|2011. 03. 03.

Advanced Harmonic Analysis Research참고 문헌 35인용 수 4

한 줄 요약

이 논문은 조화 연산자(예: 보흐너-리츠 평균, 구면 평균, 최대 연산자)가 끝점 인덱스에서나 그 이상일 때의 유계성과 수렴성을 연구하기 위해 가중치가 부여된 블록 공간 $\tilde{B}L^{p,s}_{|x|\alpha}$를 도입한다. 이들 연산자에 대해 $L^p_{|x|\alpha}$-유계성과 노름 수렴성을 하위 공간에서 증명하며, 비판적 영역에서 실패하는 $(H^p, H^p)$ 및 $(H^p, L^p)$ 추정의 대체책을 제공한다.

ABSTRACT

We introduce some new functions spaces to investigate some problems at or beyond endpoint. First, we prove that Bochner-Riesz means $B_R^λ$ are bounded from some subspaces of $L^p_{|x|^α}$ to $L^p_{|x|^α}$ for $ \frac{n-1}{2(n+1)}

연구 동기 및 목표

• 끝점 인덱스에서나 그 이상일 때 고전적인 $L^p$ 및 $H^p$ 공간이 주요 조화 연산자의 유계성을 지원하지 못하는 데서 비롯된 문제를 해결한다.
• 최대 보흐너-리츠 평균 및 구면 평균과 같은 연산자가 $p$가 끝점일 때 약한-$L^p$ 및 $H^p$ 공간의 한계를 극복한다.
• 가중치가 부여된 리만 공간 $L^p_{|x|^\alpha}$의 하위공간으로서 $\tilde{B}L^{p,s}_{|x|^\alpha}$로 구성된 새로운 함수공간 프레임워크를 개발하여 유계성 및 수렴 결과를 가능하게 한다.
• 기존의 $L^p$ 이론이 실패하는 임계 범위에서 보흐너-리츠 평균 및 구면 평균에 대한 $L^p_{|x|^\alpha}$-노름 수렴성을 확립한다.
• 표준 $(H^p, H^p)$ 및 $(H^p, L^p)$ 추정이 실패하는 연산자에 대해 $|x|^\alpha$-가중치 추정의 일반적 프레임워크를 제공한다.

제안 방법

• $(p,s,\alpha)$-블록으로 분해된 계수의 $\ell^p$ 합이 수렴하는 방식으로 정의된, $L^p_{|x|^\alpha}$의 하위공간으로서 가중치가 부여된 블록 공간 $\tilde{B}L^{p,s}_{|x|^\alpha}$를 도입한다.
• 하드리-리틀우드 최대함수의 수준집합에 대한 위트니 분해를 사용하여 $\tilde{B}L^{p}_{|x|^\alpha}$에 속하는 함수를 블록 급수로 표현한다.
• 최대함수 수준집합에서 유도된 블록 분해를 구성함으로써 $\tilde{B}L^{p}_{|x|^\alpha} \subset \tilde{B}L^{p,s}_{|x|^\alpha}$임을 증명한다.
• 보흐너-리츠 평균 $B_R^\lambda$가 $\tilde{B}L^{p,s}_{|x|^\alpha}$ 위에서 유계임을 증명한다. 조건은 $\lambda \in (\frac{n-1}{2(n+1)}, \frac{n-1}{2}]$, $p \leq p'_\lambda = \frac{2n}{n+1+2\lambda}$, 및 $n(\frac{p}{p_\lambda}-1) < \alpha < n(\frac{p}{p'_\lambda}-1)$이다.
• 최대 구면 평균이 $\tilde{B}L^{p,s}_{|x|^\alpha}$ 위에서 유계임을 증명한다. 조건은 $0 < p \leq \frac{n}{n-1}$ 및 $-n(1 - \frac{p}{2}) < \alpha < n(p-1) - n$이다.
• 분자 분해 및 가중치 추정을 통해 이 프레임워크를 최대 칼레슨 연산자, 절단된 단순 특이 적분 등 다른 연산자로 확장한다.

실험 결과

연구 질문

• RQ1 가중 리만 공간을 사용하여 보흐너-리츠 평균의 유계성과 노름 수렴성을 끝점 $p = p'_\lambda$에서나 그 이상에서 확립할 수 있는가?
• RQ2 최대 구면 평균은 $p = \frac{n}{n-1}$에서 $(L^p, L^p)$ 유형이 아니며, 이는 가중치가 부여된 블록 공간로 해결될 수 있는가?
• RQ3 $\tilde{B}L^{p,s}_{|x|^\alpha}$가 연산자가 $(H^p, L^p)$ 또는 $(H^p, H^p)$ 유형이 되지 못하는 경우에 $H^p$의 대체로 기능할 수 있는가?
• RQ4 보흐너-리츠 평균 및 구면 평균이 $\tilde{B}L^{p,s}_{|x|^\alpha}$ 위에서 유계임이 보장되는 $p$, $\alpha$, $s$의 정확한 범위는 무엇인가?
• RQ5 이 프레임워크를 최대 칼레슨 연산자나 절단된 단순 특이 적분과 같은 다른 하향 연산자로 확장할 수 있는가?

주요 결과

• 보흐너-리츠 평균 $B_R^\lambda$는 $\frac{n-1}{2(n+1)} < \lambda \leq \frac{n-1}{2}$, $0 < p \leq p'_\lambda = \frac{2n}{n+1+2\lambda}$, 및 $n(\frac{p}{p_\lambda}-1) < \alpha < n(\frac{p}{p'_\lambda}-1)$일 때 $\tilde{B}L^{p,s}_{|x|^\alpha}$에서 $L^p_{|x|^\alpha}$로 유계이다.
• 최대 보흐너-리츠 평균 $B_*^\lambda$는 $\frac{n-1}{2} \leq \lambda < \infty$, $0 < p \leq 1$, 및 $-n < \alpha < n(p-1)$일 때 $\tilde{B}L^{p,s}_{|x|^\alpha}$ 위에서 유계이다.
• 구면 평균은 $n \geq 3$, $0 < p \leq \frac{n}{n-1}$, 및 $-n(1 - \frac{p}{2}) < \alpha < n(p-1) - n$일 때 $\tilde{B}L^{p,s}_{|x|^\alpha}$에서 $L^p_{|x|^\alpha}$로 유계이다.
• 유계성이 확립된 범위와 동일한 $\lambda$, $p$, $\alpha$에 대해 $B_R^\lambda$의 $L^p_{|x|^\alpha}$-노름 수렴이 성립한다.
• 하드리-리틀우드 최대함수는 $1 < p < \infty$, $-n < \alpha < n(p-1)$일 때 $L^p_{|x|^\alpha}$ 위에서 유계이며, 이는 $1 < p < \infty$, $0 \leq \alpha < n(p-1)$일 때 $L^p_{|x|^\alpha} \subset \tilde{B}L^{p,s}_{|x|^\alpha}$임을 암시한다.
• 이 프레임워크는 실패한 $(H^p, H^p)$ 및 $(H^p, L^p)$ 추정의 대체책을 제공한다: 최대 칼레슨 연산자 등 일부 연산자는 특정한 $p, \alpha, s$에 대해 $(\tilde{B}L^{p,s}_{|x|^\alpha}, L^p_{|x|^\alpha})$ 유형이 아니지만, 블록 공간 프레임워크는 임계 범위에서의 유계성을 가능하게 한다.