[논문 리뷰] Bilinear pseudo-differential operators with exotic symbols

Akihiko Miyachi, Naohito Tomita|arXiv (Cornell University)|2018. 01. 21.

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

한 줄 요약

이 논문은 비선형 허르망더 클래스 $BS^{m}_{\rho,\rho}$에서 외설적 기호를 가진 이항 편미분 연산자의 유계성을 임계 차수 $m = m_{\rho}(p,q)$에서 증명한다. 이는 $1/p + 1/q = 1/r \leq 1$ 인 $L^p \times L^q$ 에서 $L^r$ 로의 유계성과 $L^\infty \times L^\infty$ 에서 $BMO$ 로의 유계성을 포함한다. 주요 기여는 고전적 캘러존-바일랑쿠르 정리가 성립하지 않는 비선형 이론에서의 격차를 메우며, 임계 차수의 유계성을 $0 \leq \rho < 1$ 전 범위로 확장한 것이다.

ABSTRACT

The boundedness from $L^p imes L^q$ to $L^r$, $1

연구 동기 및 목표

• 비선형 허르망더 클래스 $BS^{m}_{\rho,\rho}$ 에서 기호를 가지는 이항 편미분 연산자의 임계 차수 $m = m_{\rho}(p,q)$ 에서의 유계성을 확립하는 것.
• 선형 경우와 달리 $\sigma \in BS^{0}_{\rho,\rho}$ 이더라도 유계성이 보장되지 않는 비선형 이론의 격차를 해결하는 것.
• 기존의 $\rho=0$ 및 $\rho<1/2$ 경우에 대한 결과를 $0\leq\rho<1$ 전 범위로 확장하여 임계 차수 $m_{\rho}(p,q)$ 에 대해 적용하는 것.
• 쌍대성과 보간을 이용하여 $L^\infty \times L^\infty \to BMO$ 를 포함한 종점 경우의 유계성을 증명하는 것.

제안 방법

• 저자들은 이항 허르망더 클래스 $BS^{m}_{\rho,\rho}$ 의 구조를 활용하여 기호 $\sigma$ 를 주파수 국소화된 조각 $\sigma_j$ 로 이분해한다.
• 주파수 국소화와 스케일링을 통해 수정된 기호 $\widetilde{\sigma}_j$ 를 정의하며, 이는 연산자 노름을 상수 배수 이내로 유지한다.
• 기존에 알려진 $L^2 \times L^\infty \to L^2$ 와 $L^\infty \times L^\infty \to BMO$ 추정을 바탕으로 $T_{\sigma_j}$ 의 유계성을 제어한다. 이는 각각 $m = -(1-\rho)n/2$ 와 $m = -(1-\rho)n$ 인 경우에 해당한다.
• 닫힌 그래프 정리를 활용하여 연산자 노름을 유한한 수의 도함수에 대한 점별 sup-노름 추정으로 환원한다.
• 쌍대성 원리를 적용하여 $H^1$ 과 $BMO$ 와의 쌍대성에 기반해 $L^2 \times L^\infty \to L^2$ 에서의 결과를 $H^p \times H^q \to L^r$ 와 $L^\infty \times L^\infty \to BMO$ 로 확장한다.
• 보간 기법을 사용하여 $1/p + 1/q = 1/r$ 를 만족하는 모든 지수 $p,q,r$ 에 대한 유계성을 확장한다.

실험 결과

연구 질문

• RQ1 기호가 $BS^{m}_{\rho,\rho}$ 에 속하는 이항 편미분 연산자가 $0\leq\rho<1$ 인 경우 $L^p \times L^q$ 에서 $L^r$ 로 유계성이 성립하는 최적의 차수 $m$ 는 무엇인가?
• RQ2 $\rho=0$ 인 경우의 유계성 결과가 임계 차수 $m_{\rho}(p,q)$ 에서 $0<\rho<1$ 전 범위로 확장 가능한가?
• RQ3 임계 차수 $m = -(1-\rho)n$ 에서 $L^\infty \times L^\infty$ 에서 $BMO$ 로의 유계성이 $0\leq\rho<1$ 전 범위에서 성립하는가?
• RQ4 특히 $\rho<1$ 인 경우, 외설적 기호를 가진 이항 연산자의 행동은 선형 경우와 어떻게 다를까?
• RQ5 유한한 수의 도함수에 대한 최적의 sup-노름 추정을 통해 임계 차수 $m_{\rho}(p,q)$ 를 특징지울 수 있는가?

주요 결과

• $L^2 \times L^\infty$ 에서 $L^2$ 로의 $T_\sigma$ 유계성은 모든 $\sigma \in BS^{m}_{\rho,\rho}$ 에 대해 $m = -(1-\rho)n/2$ 인 경우 성립하며, 이는 이 종점 경우의 임계 차수를 증명한다.
• $L^\infty \times L^\infty$ 에서 $BMO$ 로의 $T_\sigma$ 유계성은 모든 $\sigma \in BS^{m}_{\rho,\rho}$ 에 대해 $m = -(1-\rho)n$ 인 경우 성립하며, 이는 $L^\infty \times L^\infty \to BMO$ 경우의 임계 차수를 확립한다.
• 임계 차수 $m_{\rho}(p,q) = (1-\rho)m_0(p,q)$ 는 최적이며, 만약 $m < m_{\rho}(p,q)$ 라면 모든 $\sigma \in BS^{m}_{\rho,\rho}$ 에 대해 $H^p \times H^q$ 에서 $L^r$ 로의 유계성이 성립하지만, $m > m_{\rho}(p,q)$ 라면 이러한 유계성이 실패한다.
• 보간을 통해 $1/p + 1/q = 1/r$ 를 만족하는 모든 지수 $p,q,r \in (0,\infty]$ 에 대한 결과로 확장되며, $p=q=r=\infty$ 와 같은 모든 경우를 포함한다.
• 증명은 기호를 주파수 국소화된 조각들로 분해하고, $L^2 \times L^\infty \to L^2$ 와 $L^\infty \times L^\infty \to BMO$ 에 대한 기존 유계성 결과로 환원하는 쌍대성 원리에 기반하며, $\|T_{\sigma_j}\|$ 에 대한 $j$ 에 대한 감쇠 추정이 포함된다.