[논문 리뷰] Boundedness of multilinear pseudo-differential operators of $S_{0,0}$-type in $L^2$-based amalgam spaces

Tomoya Kato, Akihiko Miyachi외 1명|arXiv (Cornell University)|2019. 08. 30.

Advanced Harmonic Analysis Research참고 문헌 20인용 수 5

한 줄 요약

이 논문은 $S_{0,0}$-유형 기호를 가진 다중선형 편미분 연산자의 $L^2$-기반 암알라미 공간에서의 유계성을 확립하며, 이는 이전 결과를 확장하는 것으로, 기호가 일반화된 $S_{0,0}^W$ 클래스에 속할 경우, $W$에 대한 적절한 가중 조건 하에 연산자가 $(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ 에서 $(L^2, \ell^r)$ 로 유계임을 증명한다. 주요 기여는 기호의 감쇠성과 적분 가능성 파rameter에 따라 연산자 노름의 날카운 정규성 추정에 대한 것이다.

ABSTRACT

We consider the multilinear pseudo-differential operators with symbols in a generalized $S_{0,0}$-type class and prove the boundedness of the operators from $(L^2,\ell^{q_1}) imes \dots imes (L^2,\ell^{q_N})$ to $(L^2,\ell^{r})$, where $(L^2, \ell^{q})$ denotes the $L^2$-based amalgam space. This extends the previous result by the same authors, which treated the bilinear pseudo-differential operators and gave the $L^2 imes L^2 $ to $(L^2, \ell^{1})$ boundedness.

연구 동기 및 목표

• 다중선형 편미분 연산자의 유계성 이론을 고전적인 $L^p$-기반 르베그 공간을 초월하여 $L^2$-기반 암알라미 공간으로 확장하는 것.
• 카토, 미야치, 토미타(2017)의 이항 결과를 $L^2 \times L^2$ 에서 $(L^2, \ell^1)$ 으로 확장하여 일반적인 $L^2$-기반 암알라미 공간에 대한 다중선형 경우로 일반화하는 것.
• 기호 가중 함수 $W$ 에 대해 연산자 노름이 일반화된 $S_{0,0}^W$ 클래스의 기호 노름에 의해 제어될 수 있는 조건을 확립하는 것.
• 이러한 연산자의 다중선형 설정에서의 유계성에 대해 날카운 정규성 및 적분 가능성 임계 조건을 규명하는 것.

제안 방법

• 저자들은 $(\mathbb{R}^n)^N$ 에 정의된 가중 함수 $W$ 를 사용하여 일반화된 기호 클래스 $S_{0,0}^W(\mathbb{R}^n, N)$ 를 정의하며, 이는 고전적인 $S_{0,0}^{\langle m\rangle}$ 클래스를 일반화한다.
• 주파수 국소화를 위해 이중 Littlewood-Paley 분해를 사용하며, $\psi_k$ 와 $\varphi$ 를 매끄럽고, 반경형이며 컴actsupport를 가진 함수로 정의하여 연산자와 함수를 분해한다.
• 증명은 $\ell^2$-기반 주파수 분해와 국소 주파수 성분에 대한 연산자 작용에 대한 $L^2$-노름 추정에 기반한다.
• 핵심 기법은 주파수 스케일 $2^a$ 에서 지원이 집중된 테스트 기호 $\sigma_a$ 와 테스트 함수 $f_{j,a}$ 의 구성으로, 이는 날카운 노름 비교를 가능하게 한다.
• 저자들은 실수 값의 반경형 함수의 커플러션의 원점에서의 점별 양성성을 이용하여 연산자 출력의 $L^r$-노름 하한을 도출한다.
• 정규성 및 적분 가능성 조건의 날카움은 주파수 국소화 파arameter $a \to \infty$ 에서의 척도 및 점근적 행동을 이용한 모순에 의한 증명으로 보여진다.

실험 결과

연구 질문

• RQ1 기호 $\sigma$ 에 대해 다중선형 편미분 연산자 $T_\sigma$ 가 $(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ 에서 $(L^2, \ell^r)$ 로 유계임을 보장하기 위한 정규성 및 적분 가능성 조건은 무엇인가?
• RQ2 기존의 $L^2$-기반 암알라미 공간에서의 이항 연산자에 대한 유계성 결과를 일반적인 $q_j$ 와 $r$ 을 가진 $N$-선형 경우로 확장할 수 있는가?
• RQ3 기호의 $j$-번째 인자 공간에 대해 $s_j \geq n/2 - n/q_j$ 조건이 다중선형 연산자 노름 추정에서 날카운가?
• RQ4 기호 노름에 의해 제어되는 연산자 노름 추정에 대해 총 정규성 조건 $\sum_{j=1}^N s_j \geq \sum_{j=1}^N (n/2 - n/q_j) + n/r$ 이 날카운가?

주요 결과

• 기호가 $S_{0,0}^W(\mathbb{R}^n, N)$ 에 속하고 $W$ 에 대해 적절한 가중 조건이 만족될 경우, $(L^2, \ell^{q_1}) \times \cdots \times (L^2, \ell^{q_N})$ 에서 $(L^2, \ell^r)$ 로의 $T_\sigma$ 의 유계성이 성립하며, 이는 이전의 이항 결과를 일반화한다.
• 각 입력 인자에 대해 정규성 지수 $s_j$ 는 $s_j \geq n/2 - n/q_j$ 를 만족해야 하며, 주파수 국소화 테스트 함수를 이용한 척도 분석을 통해 이 조건이 날카움을 보여준다.
• 총 정규성 요구 조건 $\sum_{j=1}^N s_j \geq \sum_{j=1}^N (n/2 - n/q_j) + n/r$ 도 날카롭으며, 기호 노름과 출력 노름이 주파수 국소화 파arameter $a$ 에 대해 동일한 비율로 스케일링될 때에만 등호가 성립할 수 있다.
• 증명은 유도된 조건 하에 $\|T_\sigma\|_{L^{q_1} \times \cdots \times L^{q_N} \to L^r} \lesssim \|\sigma\|_{S^{\langle m\rangle}_{0,0}(s_0, s_1, \dots, s_N, t; \mathbb{R}^n, N)}$ 라는 연산자 노름 추정을 확립한다.
• 날카운 결과는 기호 노름과 동일한 비율로 증가하는 출력 노름을 가지는 명시적 테스트 기호와 함수를 구성함으로써 도출되며, 이는 더 약한 조건이면 유계성 추정이 성립하지 않음을 보여준다.
• 결과는 캘러존-바일랑쿠르 정리와 [20] 및 [17]의 이항 결과를 암알라미 공간 목표로 하는 다중선형 설정으로 확장하며, 기호 감쇠성과 적분 가능성에 대한 통합된 프레임워크를 제공한다.