[논문 리뷰] Commutators of singular integrals on generalized $L^p$ spaces with variable exponent

Alexei Yu. Karlovich, Andrei K. Lerner|ArXiv.org|2004. 01. 26.

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

한 줄 요약

이 논문은 고전적인 Coifman-Rochberg-Weiss 정리의 commutator에 대한 일반화를 변수 지수 $L^{p(\bullet)}(\mathbb{R}^n)$ 공간으로 확장한다. 함수 $b$가 $BMO(\mathbb{R}^n)$에 속하는 것은 $p$와 그 쌍대 지수 $p'$가 Hardy-Littlewood 최대함수의 유계성에 대한 Muckenhaupt 유형 조건을 만족할 경우, $[b,T]$가 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계임과 동치임을 증명한다.

ABSTRACT

A classical theorem of Coifman, Rochberg, and Weiss on commutators of singular integrals is extended to the case of generalized $L^p$ spaces with variable exponent.

연구 동기 및 목표

• 변수 지수를 가진 일반화된 $L^p$ 공간으로 고전적인 Coifman-Rochberg-Weiss 정리의 singular integral의 commutator를 일반화하는 것.
• 변수 지수 Lebesgue 공간 $L^{p(\cdot)}(\mathbb{R}^n)$에서의 commutator $[b,T]$의 유계성에 의한 $BMO(\mathbb{R}^n)$의 특성화를 확립하는 것.
• 변수 지수 $L^{p(\cdot)}(\mathbb{R}^n)$ 공간이 이동 불변성이나 재배열 불변성이 없기 때문에, 고전적 조화 분석 기법을 넘어서 새로운 기법이 필요하다는 도전 과제를 다루는 것.
• duality와 sharp 최대함수 기법을 변수 지수 공간으로 확장하여, 특히 국소적 sharp 최대함수와 duality 부등식을 활용하는 것.

제안 방법

• Diening과 Růžička의 최근 결과에 기반하여, $L^{p(\cdot)}(\mathbb{R}^n)$ 공간에 대해 국소화된 Fefferman-Stein sharp 최대함수 부등식을 적응하는 것.
• Lerner [15, Theorem 1]의 duality 부등식을 활용하여 commutator의 노름과 $b$의 BMO 반노름을 연결하는 것.
• 변수 지수 설정에서 Strömberg [11]과 Pérez [22, Lemma 3.1]의 commutator에 대한 sharp 함수 부등식을 활용하는 것.
• 컴actly 지지된 유계 함수로의 근사와 노름 연속성 확장을 통해 $[b,T]$의 $L^{p(\cdot)}(\mathbb{R}^n)$에서의 유계성을 확립하는 것.
• 만약 $[b,T]$가 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계이고 $\Omega$가 홀함수이면, $[b,T]$가 $L^{p'(\cdot)}(\mathbb{R}^n)$에서도 유계임을 증명하여 duality 추론을 가능하게 하는 것.
• Janson의 정리에 따라 $L^2(\mathbb{R}^n)$에서의 유계성을 이용하여 $b \in BMO(\mathbb{R}^n)$를 도출하며, interpolation와 노름 추정을 통해 $b$의 BMO 반노름을 유도하는 것.

실험 결과

연구 질문

• RQ1 고전적인 $BMO(\mathbb{R}^n)$의 특성화, 즉 $L^p(\mathbb{R}^n)$에서의 commutator 유계성에 기반한 것이 변수 지수 Lebesgue 공간 $L^{p(\cdot)}(\mathbb{R}^n)$로 확장되는가?
• RQ2 변수 지수 $L^{p(\cdot)}(\mathbb{R}^n)$ 공간이 이동 불변성이 없을 경우에도, $[b,T]$의 유계성이 $b \in BMO(\mathbb{R}^n)$임을 암시할 수 있는가?
• RQ3 Hardy-Littlewood 최대함수의 유계성이 $L^{p(\cdot)}(\mathbb{R}^n)$에서 성립하기 위해 변수 지수 $p(\cdot)$에 어떤 조건이 필요한가?
• RQ4 표준적인 재배열 및 good-$\lambda$ 방법이 실패하는 변수 지수 공간에서 duality와 sharp 최대함수 기법을 어떻게 적응시킬 수 있는가?
• RQ5 만약 $[b,T]$가 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계이면, $L^{p'(\cdot)}(\mathbb{R}^n)$에서도 유계임이 보장되는가? 그리고 커널 $\Omega$의 홀함수 성질은 어떤 역할을 하는가?

주요 결과

• 만약 $b \in BMO(\mathbb{R}^n)$이고 $p, p' \in \mathcal{M}(\mathbb{R}^n)$이면, commutator $[b,T]$는 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계이며, $\|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})} \leq C_p \|b\|_*$를 만족한다.
• 반대로, $\Omega$가 홀함수이고, 모든 입방체 $Q$에 대해 $b \in L\log L(Q)$이며, $[b,T]$가 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계이면, $b \in BMO(\mathbb{R}^n)$이며 $\|b\|_* \leq C_p' \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$이다.
• 만약 $[b,T]$가 $L^{p(\cdot)}(\mathbb{R}^n)$에서 유계이고 $\Omega$가 홀함수이면, $[b,T]$는 $L^{p'(\cdot)}(\mathbb{R}^n)$에서도 유계이며 $\|[b,T]\|_{\mathcal{B}(L^{p'(\cdot)})} \leq r_p \|[b,T]\|_{\mathcal{B}(L^{p(\cdot)})}$를 만족한다.
• $[b,T]$는 $L^2(\mathbb{R}^n)$에서 유계이며, 이로부터 Janson의 정리를 통해 $b \in BMO(\mathbb{R}^n)$임을 유도할 수 있다. 이 경우 $\|b\|_* \leq c_2(K) \|[b,T]\|_{\mathcal{B}(L^2)}$이다.
• 역부등식의 상수 $C_p'$는 명시적으로 $2r_p c_2(K)$로 유계이며, 여기서 $r_p$는 $p$에 의존하고 $c_2(K)$는 커널에 의존하는 상수이다.
• $p' \in \mathcal{M}(\mathbb{R}^n)$ 조건은 최근 결과에 의해 $p \in \mathcal{M}(\mathbb{R}^n)$이면 $p' \in \mathcal{M}(\mathbb{R}^n)$임이 증명되어 제거 가능하므로, 결과의 적용 범위가 더욱 넓어진다.