[논문 리뷰] On the Hörmander classes of bilinear pseudodifferential operators II

Árpád Bényi, Frédéric Bernicot외 3명|arXiv (Cornell University)|2011. 12. 02.

Advanced Harmonic Analysis Research참고 문헌 31인용 수 6

한 줄 요약

이 논문은 충분히 음수인 순서 $m$에 대해 Hörmander의 이항 클래스 $BS^m_{\rho,\rho}$에 속하는 기호를 가진 이항 미분형식적 연산자에 대한 유계성 성질을 확립하며, 강한 $L^p \times L^q \to L^r$ 추정, 약형 끝점 추정, 그리고 Fefferman의 $L^\infty \to \text{BMO}$ 결과의 이항 유사체를 증명한다. 기호 순서가 0인 연산자가 일반적으로 곱 Lebesgue 공간에서 유계가 아닐 수 있음을 보이며, 선형 경우와는 뚜렷이 대조되며, 복소 보간과 커널 추정을 통해 반바나흐 삼각형 영역을 초월한 결과를 확장한다.

ABSTRACT

Boundedness properties for pseudodifferential operators with symbols in the bilinear Hörmander classes of sufficiently negative order are proved. The results are obtained in the scale of Lebesgue spaces and, in some cases, end-point estimates involving weak-type spaces and BMO are provided as well. From the Lebesgue space estimates, Sobolev ones are then easily obtained using functional calculus and interpolation. In addition, it is shown that, in contrast with the linear case, operators associated with symbols of order zero may fail to be bounded on products of Lebesgue spaces.

연구 동기 및 목표

• Lebesgue 공간에서 충분히 음수인 $m$에 대해 $BS^m_{\rho,\rho}$ 기호를 가진 이항 미분형식적 연산자의 유계성을 확립하는 것.
• BS^0_{\rho,\rho} 연산자가 곱 Lebesgue 공간에서 유계인지 여부에 대한 열린 문제를 해결하며, 일반적으로 그렇지 않음을 보이는 것.
• 이전 결과를 초월하여 $L^{p_1} \times L^{p_2} \to L^p$로의 $BS^m_{\rho,\rho}$ 연산자의 $m$의 범위를 확장하는 것.
• Fefferman의 $L^\infty \to \text{BMO}$ 결과의 이항 유사체를 $BS^{-(1-\rho)n}_{\rho,0}$ ($0 < \rho < 1/2$)에 대해 증명하는 것.
• 이항 Muckenhoupt 가중치 $A_{(p_1,p_2),q}$를 사용하여 이러한 연산자에 대한 가중 노름 부등식을 개발하는 것.

제안 방법

• 이전 연구에서 유도된 기호 계산과 커널 추정을 활용하여 이항 연산자의 행동을 분석하는 것.
• 기존 클래스에서 더 넓은 $m$ 범위로의 유계성 결과를 확장하기 위해 복소 보간을 적용하는 것.
• 충분히 음수인 $m$에 대해 Calderón-Zygmund 이론을 적용하여 약형 및 강형 추정을 유도하는 것.
• Calderón-Villancourt 정리가 이항 설정에서 실패함에 따라, 선형 경우의 Fefferman 기법을 적응하고 새로운 추론을 도입하는 것.
• 기호 도함수를 제어하고 $L^p$ 추정을 도출하기 위해 이중 분할과 주파수 국소화를 활용하는 것.
• 이항 Muckenhoupt 클래스 $A_{(p_1,p_2),q}$를 통한 가중 노름 추정으로, 결과를 가중 Lebesgue 공간으로 확장하는 것.

실험 결과

연구 질문

• RQ1 기호가 $BS^0_{\rho,\rho}$에 속하는 이항 미분형식적 연산자가 $1 \leq p_1, p_2, p \leq \infty$ 조건에서 $L^{p_1} \times L^{p_2} \to L^p$에서 유계일 수 있는가?
• RQ2 연산자가 $L^{p_1} \times L^{p_2} \to L^p$로 유계가 되는 데 있어 최적의 음수 순서 $m$의 범위는 무엇인가?
• RQ3 기호 순서가 $BS^{-(1-\rho)n}_{\rho,0}$이고 $0 < \rho < 1/2$일 때, Fefferman의 $L^\infty \to \text{BMO}$ 결과의 이항 유사체가 성립하는가?
• RQ4 이항 Muckenhoupt 클래스 $A_{(p_1,p_2),q}$를 사용하여 $BS^m_{\rho,\rho}$ 연산자에 대한 가중 추정을 확립할 수 있는가?
• RQ5 기호 순서 $\rho < 1$ 조건에서 이항 연산자의 유계성 성질이 선형 경우와 어떻게 다를 수 있는가?

주요 결과

• 순서 $m < 2n(\rho - 1)$인 $BS^m_{\rho,\rho}$ 연산자는 $1 < p_1, p_2 < \infty$ 및 $1/p = 1/p_1 + 1/p_2$ 조건에서 $L^{p_1} \times L^{p_2} \to L^p$로 유계이며, 연산자 노름은 $\|\sigma\|_{K,N}$에 의해 제어된다.
• $m < 2n(\rho - 1)$일 때, $p_1 = 1$ 또는 $p_2 = 1$ 조건에서 $L^{p_1} \times L^{p_2} \to L^{p,\infty}$로의 약형 추정이 성립하며, 동일한 노름 제어가 유지된다.
• Fefferman 결과의 이항 유사체가 증명됨: $BS^{-(1-\rho)n}_{\rho,0}$는 $0 < \rho < 1/2$ 조건에서 $L^\infty \times L^\infty \to \text{BMO}$를 맵핑한다.
• 기호 순서가 0인 $BS^0_{\varrho,\delta}$ 연산자가 어떤 곱 Lebesgue 공간에서도 유계가 아닐 수 있음을 보이며, $\delta < \rho < 1$ 조건일지라도 마찬가지임을 확인함으로써 핵심 열린 문제를 해결한다.
• 가중 추정이 확립됨: $\sigma \in BS^m_{\rho,\delta}$ 이고 $m \leq 2n(\rho - 1) - \rho s$ 이면, $A_{(p_1,p_2),q}$ 조건 하에서 연산자 $T_\sigma$는 $L^{p_1}_{w_1} \times L^{p_2}_{w_2} \to L^q_w$로 유계이다.
• 보간과 함수해석학적 연산을 통해 소볼레프 추정을 도출하며, $L^2 \times L^2 \to L^2$ 유계성 결과를 고차 소볼레프 공간으로 확장한다.