[논문 리뷰] Characterizations of BMO through commutators of bilinear singular integral operators

Lucas Chaffee|arXiv (Cornell University)|2014. 10. 16.

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

한 줄 요약

이 논문은 이중선형 특이적분연산자, 즉 이중선형 Calderón-Zygmund 및 분수적분 연산자를 포함한 이중선형 특이적분연산자와 관련된 교환자들의 유계성에 의해 유계 평균 진동(BMO) 공간을 특성화함을 보여준다. 형태 $[b,T]_j(f,g) = bT(f,g) - T(bf,g)$ 또는 $T(f,bg)$인 교환자를 분석함으로써, 저자들은 이러한 교환자가 $L^{p_1} \times L^{p_2}$ 에서 $L^q$ 로 유계일 조건과 동시에 기호 $b$ 가 BMO에 속해 있음을 증명한다. 이는 $1/K$의 푸리에 급수에 대한 약간의 커널 정규성 조건을 가정할 때 성립하며, 이는 고전적인 선형 교환자 특성화를 다중선형 설정으로 확장한다.

ABSTRACT

In this paper we characterize BMO in terms of the boundedness of commutators of various bilinear singular integral operators with pointwise multiplication. In particular, we study commutators of a wide class of bilinear operators of convolution type, including bilinear Calderón-Zygmund operators and the bilinear fractional integral operators.

연구 동기 및 목표

• 고전적인 선형 교환자에 의한 BMO의 특성화를 다중선형 설정으로 확장하기 위해.
• 컨volution 유형의 이중선형 특이적분 연산자와 관련된 이중선형 교환자 $[b,T]_j$ 의 유계성이 $b \in \text{BMO}$ 를 암시함을 확립하기 위해.
• 기호 $b$ 가 BMO에 속해 있음이 교환자 유계성 조건의 필요충분조건임을, 약간의 커널 정규성 가정 하에 증명하기 위해.
• 이중선형 분수적분의 경우에 대해 $n - \alpha$ 가 짝수일 필요가 없이도 $b \in \text{BMO}$ 가 교환자 유계성의 필수 조건임을 증명함으로써 오랫동안 존재하던 문헌의 격차를 메우기 위해.
• 특성화 결과를 $m$-선형 연산자로 일반화하고, 특히 $q < 1$ 인 경우에 메서드의 한계를 탐색하기 위해.

제안 방법

• Janson(1976)과 Coifman-Rochberg-Weis(1976)의 기법을 이중선형 설정에 적응하여, 이중분할과 원자 위에서의 테스트를 사용한다.
• 이중선형 교환자를 $[b,T]_1(f,g) = bT(f,g) - T(bf,g)$ 와 $[b,T]_2(f,g) = bT(f,g) - T(f,bg)$ 로 정의하고, 그들의 $L^{p_1} \times L^{p_2} \to L^q$ 유계성을 분석한다.
• 공액 지수 $q$ 와 $q'$ 를 사용한 헬더 부등식을 적용하여, 교환자의 $L^q$ 노름을 BMO 반노름 $\|b\|_*$ 로 통제한다.
• 함수 $b$ 의 이중분할을 적용하고, 제곱형 $Q_j$ 에 지지된 원자 $a_j$ 에서 교환자를 테스트하며, $\|a_j\|_{L^{p_1}} \sim |Q_j|^{-1/p_1}$ 이라고 가정한다.
• 교환자의 $L^q$ 노름이 $\|b\|_*$ 를 통해 제어됨을 보이며, 추정식 $\| [b,T] \| \lesssim \|b\|_* \sum |a_j|$ 를 통해 평균 진동의 일관된 유계성을 도출한다.
• 푸리에 급수 $1/K$ 가 $\mathbb{R}^{2n}$ 의 어떤 구 내에서 절대 수렴해야 하며, 이는 $I_\alpha$ 또는 Calderón-Zygmund 연산자의 커널과 같은 매끄러운 커널에서 성립한다.

실험 결과

연구 질문

• RQ1 고전적인 선형 교환자에 의한 BMO 특성화는 이중선형 설정으로 확장될 수 있는가?
• RQ2 컨볼루션 유형의 이중선형 특이적분 연산자와 관련된 이중선형 교환자 $[b,T]_j$ 의 유계성이 $b \in \text{BMO}$ 를 암시하는가?
• RQ3 특히 $n - \alpha$ 가 짝수일 필요 없이, 이중선형 분수적분 연산자 $I_\alpha$ 의 경우에 대해 교환자 유계성에 대해 $b \in \text{BMO}$ 가 필수적인가?
• RQ4 동차 커널이 차수 $-mn + \alpha$ 를 가지는 $m$-선형 연산자로 특성화 결과를 확장할 수 있는가?
• RQ5 $q < 1$ 인 경우에 $L^q$ 가 목표 공간일 때 BMO를 교환자 유계성으로 특성화할 수 있는가?

주요 결과

• 컨볼루션 유형의 이중선형 연산자 $T$ 가 차수 $-2n + \alpha$ 의 동차 커널을 가지며, $\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n}$ 이고 $1/K$ 의 푸리에 급수가 어떤 구에서 절대 수렴할 경우, 이중선형 교환자 $[b,T]_j$ 는 $L^{p_1} \times L^{p_2}$ 에서 $L^q$ 로 유계일 필요충분조건이 $b \in \text{BMO}$ 임을 보였다.
• 결론 3.2에 따르면, 컨볼루션 유형의 이중선형 Calderón-Zygmund 연산자에 대해서도 특성화가 성립하며, $[b,T]_j: L^{p_1} \times L^{p_2} \to L^p$ 가 유계일 필요충분조건이 $b \in \text{BMO}$ 임을 보였다. 동일한 커널 조건 하에 성립한다.
• 이중선형 분수적분 연산자 $I_\alpha$ 의 경우, 교환자 $[b,I_\alpha]_j$ 는 $L^{p_1} \times L^{p_2}$ 에서 $L^q$ 로 유계일 필요충분조건이 $b \in \text{BMO}$ 임을 보였으며, 이는 결론 3.4에서 확인되었다. 여기서 $\frac{1}{q} = \frac{1}{p_1} + \frac{1}{p_2} - \frac{\alpha}{n} < 1$ 이다.
• 증명 기법은 동차 커널이 차수 $-mn + \alpha$ 를 가지는 $m$-선형 연산자로 일반화되며, 이는 특성화 결과를 $m$-선형 설정으로 확장한다.
• Chanillo의 이전 작업에서 $n - \alpha$ 가 짝수여야 한다는 제약 조건 없이도, $I_\alpha$ 의 경우에 대해 $b \in \text{BMO}$ 가 교환자 유계성의 필수 조건임을 증명함으로써 오랫동안 존재하던 격차를 메웠다.
• 이 방법은 원자 위에서 교환자를 테스트하고, 헬더 부등식을 사용하여 $L^q$ 노름을 BMO 반노름으로 통제함으로써, $\|b\|_* \lesssim \|[b,T]\|_{L^{p_1} \times L^{p_2} \to L^q}$ 를 도출하며, 이는 $b \in \text{BMO}$ 를 암시한다.