[논문 리뷰] On the Hörmander multiplier theorem and modulation spaces

Naohito Tomita|ArXiv.org|2008. 04. 21.

Mathematical Analysis and Transform Methods참고 문헌 16인용 수 3

한 줄 요약

이 논문은 허르망더 다중화자 정리에서 조건 공간으로서의 모odulation 공간 $ M^{2,1}_0 $가 베소프 공간 $ B^{2,1}_{n/2} $를 대체할 수 있는지 조사한다. $ s > 0 $일 때는 보간과 쌍대성에 의해 $ M^{2,1}_s $가 푸리에 다중화자에 대한 $ L^p $-유계성을 보장하지만, 임계 경우 $ s = 0 $는 실패한다: $ M^{2,1}_0 $에서 유계인 다중화자가 $ p \neq 2 $에 대해 $ L^p $에서 유계가 되지 않는 예가 존재하므로, $ M^{2,1}_0 $는 $ B^{2,1}_{n/2} $를 대체하기에 부족하다.

ABSTRACT

It is known that the Sobolev space $L^2_s$ with $s>n/2$ appeared in the Hörmander multiplier theorem can be replaced by the Besov space $B^{2,1}_{n/2}$. On the other hand, the Besov space $B_{n/2}^{2,1}$ is continuously embedded in the modulation space $M^{2,1}_0$. In this paper, we consider the problem whether we can replace $B_{n/2}^{2,1}$ by $M^{2,1}_0$.

연구 동기 및 목표

• 모odulation 공간 $ M^{2,1}_0 $가 허르망더 다중화자 정리에서 베소프 공간 $ B^{2,1}_{n/2} $를 대체할 수 있는지 규명한다.
• $ 1 < p < \infty $에 대해 $ M^{2,1}_s $, $ B^{2,1}_{n/2} $, 그리고 푸리에 다중화자의 $ L^p $-유계성 간의 관계를 분석한다.
• $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $의 임계성과 다중화자 정리에 대한 영향을 조사한다.
• $ M^{2,1}_s $ 기반의 다중화자 조건에서 임계 경우 $ s = 0 $의 역할을 명확히 한다.
• $ p \neq 2 $일 때 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $가 $ L^p $-유계성을 보장하지 못함을 보여주는 반례를 제공한다.

제안 방법

• 논문은 빈도 영역에서 다중화자를 국소화하기 위해 $ m_j(\xi) = \psi(\xi) m(2^j \xi) $의 분해를 사용한다. 여기서 $ \psi $는 링형 영역에 지지된 스무스 컷오프이다.
• 핵심 추정은 조건 공간 노름과 푸리에 이미지 노름 간의 등가성 $ \|m_j\|_{M^{2,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $을 통해 유도되며, 이는 모odulation 공간 노름과 푸리에 제약 추정을 연결한다.
• 토프와 수기모토-토미타의 임베딩 결과를 활용하여 $ B^{2,1}_{n/2} $와 $ M^{2,1}_0 $를 비교하며, $ 0 < s < n/2 $일 때 포함 관계가 성립하지 않음을 보여준다.
• 보간과 쌍대성 추론을 적용하여 $ \sup_j \|m_j\|_{M^{2,1}_s} < \infty $이면서 $ s > 0 $일 경우, $ H^1 $에서의 유계성을 $ 1 < p < \infty $에 대해 $ L^p $로 확장한다.
• 트리벨의 반례를 변형하여 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $이지만 $ p \neq 2 $일 때 $ L^p $-유계성이 성립하지 않는 다중화자를 보여주며, $ \mathcal{F}^{-1}m \in B^{1,\infty}_0 $의 성질을 활용한다.
• 노름 등가성 $ \|m_j\|_{M^{p,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $을 사용하여 결과를 $ 1 \leq p \leq \infty $에 대해 $ M^{p,1}_s $로 일반화한다.

실험 결과

연구 질문

• RQ1 모odulation 공간 $ M^{2,1}_0 $가 허르망더 다중화자 정리에서 베소프 공간 $ B^{2,1}_{n/2} $를 대체할 수 있는가?
• RQ2 $ p \neq 2 $일 때 조건 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $가 $ m(D) $의 $ L^p $-유계성을 충분히 보장하는가?
• RQ3 $ 0 < s < n/2 $일 때 $ B^{2,1}_{n/2} $와 $ M^{2,1}_s $ 간의 관계는 무엇이며, 이는 다중화자 유계성에 영향을 미치는가?
• RQ4 $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $의 임베딩이 $ M^{2,1}_0 $가 다중화자 정리에 충분하다는 것을 의미하는가?
• RQ5 $ M^{2,1}_s $의 임계 경우 $ s = 0 $가 푸리에 다중화자의 $ L^p $-유계성을 특징짓는 데 사용될 수 있는가?

주요 결과

• 정리 1.1은 $ \sup_j \|m_j\|_{M^{2,1}_s} < \infty $이면서 $ s > 0 $일 경우, $ m(D) $가 $ H^1(\mathbb{R}^n) $에서 유계임을 보이며, 보간과 쌍대성을 통해 $ 1 < p < \infty $에 대해 $ L^p(\mathbb{R}^n) $에서도 유계임을 보여준다.
• 보조정리 1.2는 $ \sup_j \|\widehat{m_j}\|_{K^{1,1}_s} < \infty $ 조건이 $ H^1 $-유계성을 보장하며, 이는 바른스타인-소워의 결과의 특수한 경우임을 보여준다.
• 보조정리 1.3은 결과를 $ 1 \leq p \leq \infty $에 대해 $ M^{p,1}_s $로 확장하여, $ \sup_j \|m_j\|_{M^{p,1}_s} < \infty $이면서 $ s > 0 $일 경우 $ H^1 $-유계성을 보여준다.
• 정리 1.4는 부정적인 답변을 제공한다: $ \mathbb{R}^n $에서 분포로서의 다중화자 $ m \in \mathcal{S}'(\mathbb{R}^n) $가 존재하여 $ \sup_j \|m_j\|_{M^{2,1}_0} < \infty $이지만, $ p \neq 2 $일 때 $ m(D) $는 $ L^p(\mathbb{R}^n) $에서 유계가 아님을 보여준다.
• $ B^{2,1}_{n/2} \hookrightarrow M^{2,1}_0 $는 성립하지만, $ M^{2,1}_0 \not\hookrightarrow B^{2,1}_{n/2} $이며, $ 0 < s < n/2 $일 때 $ B^{2,1}_{n/2} $와 $ M^{2,1}_s $ 사이에 포함 관계가 존재하지 않아 이 두 공간이 이 범위에서 비교 가능하지 않음을 보여준다.
• 노름 등가성 $ \|m_j\|_{M^{2,1}_s} \asymp \|(I - \Delta)^{s/2} m_j\|_{\mathcal{F}L^1} $는 $ (I - \Delta)^{s/2} m_j $의 푸리에 이미지에 의해 유도되며, 이는 모odulation 공간 노름과 푸리에 제약 추정을 연결한다.