[논문 리뷰] Invertibility of convolution operators on homogeneous groups

Paweł Głowacki|arXiv (Cornell University)|2010. 07. 08.

Advanced Harmonic Analysis Research참고 문헌 13인용 수 11

한 줄 요약

이 논문은 동차 리 군 위에서의 컨volution 연산자의 역가능성을 입증한다. 즉, 기호 클래스 $ S^0(\frak{g}) $에 속하는 0차 연산자가 $ L^2(\frak{g}) $에서 역가능하다면, 그 역연산자의 커널도 다시 $ S^0(\frak{g}) $에 속한다는 것을 보인다. 이 결과는 메린의 록랜드 연산자에 대한 파라메트릭스 구성법을 계층적 군을 초월하여 일반 동차 군으로 일반화한 것으로, $ S^m(\frak{g}) $ 클래스 기반의 정교한 기호 계산법과 보조 적응성 커널을 활용한다.

ABSTRACT

We say that a tempered distribution $A$ belongs to the class $S^m(\Ge)$ on a homogeneous Lie algebra $\Ge$ if its Abelian Fourier transform $a=\hat{A}$ is a smooth function on the dual $\Ges$ and satisfies the estimates $$ |D^αa(ξ)|\le C_α(1+|ξ|)^{m-|α|}. $$ Let $A\in S^0(\Ge)$. Then the operator $f\mapsto f\star\widetilde{A}(x)$ is bounded on $L^2(\Ge)$. Suppose that the operator is invertible and denote by $B$ the convolution kernel of its inverse. We show that $B$ belongs to the class $S^0(\Ge)$ as well. As a corollary we generalize Melin's theorem on the parametrix construction for Rockland operators.

연구 동기 및 목표

• 동차 리 군 위에서 컨볼루션 연산자의 기호 계산에 존재하는 격차를 메우기 위해 역가능성 문제를 다룬다.
• 역이 존재하는 $ L^2 $-유계 컨볼루션 연산자 $ A \in S^0(\frak{g}) $의 역커널 $ B $가 다시 $ S^0(\frak{g}) $에 속함을 보인다.
• 메린의 록랜드 연산자에 대한 파라메트릭스 구성법을 계층적 군을 초월하여 일반 동차 군으로 일반화한다.
• 폴드-스타인의 기존 성질과 새로운 기호 계산법을 이용해 록랜드 연산자에 대한 직접적인 파라메트릭스 구성법을 제시한다.

제안 방법

• 커널의 푸리에 변환에 대한 매끄럽고 동차 노름 추정을 통해 기호 클래스 $ S^m(\frak{g}) $를 정의한다.
• 유계성 정리에 의해 $ S^0(\frak{g}) $에 속하는 연산자가 $ L^2(\frak{g}) $ 위에서 유계 연산자로 확장됨을 보장한다.
• 역연산을 위해 타당한 타원형 연산자를 구성하기 위해 보조 적응성 동차 커널 $ P^m $과 관련된 연산자 $ V_1^m $을 도입한다.
• 점근 급수 $ B \approx \sum_{k=1}^\infty B_1^k $를 통해 파라메트릭스를 구성하며, 여기서 $ B_1 $은 $ A + \delta_0 $의 역이다.
• $ S^{-m} $-커널을 가진 양의 연산자가 하한 추정 $ \|f \star A\| + \|f\| \geq C\|f \star P^m\| $을 만족함을 이용해 파라메트릭스를 특성화한다.
• 기호 계산법을 적용하여 $ S^0 $-연산자의 역커널 $ B $가 여전히 $ S^0 $-클래스에 속함을 보이며, 합성과 유계성 성질을 활용한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 $ S^0(\frak{g}) $에 속하는 $ L^2 $-유계 컨볼루션 연산자의 역이 다시 $ S^0(\frak{g}) $에 속하는가?
• RQ2 록랜드 연산자에 대한 메린의 파라메트릭스 구성법을 비계층적 동차 군으로 확장할 수 있는가?
• RQ3 기호 클래스 $ S^m(\frak{g}) $의 연산자에 대한 파라메트릭스 구성에서 $ P^m $-적응성 커널의 역할은 무엇인가?
• RQ4 기호 계산법 $ S^m(\frak{g}) $는 왜 $ S^{m,s} $-클래스에 의존하지 않고도 직접적인 파라메트릭스 구성이 가능한가?

주요 결과

• 만약 $ A \in S^0(\frak{g}) $ 이고 컨볼루션 연산자 $ f \mapsto f \star \widetilde{A} $ 가 $ L^2(\frak{g}) $에서 역가능하다면, 그 역커널 $ B $ 는 $ S^0(\frak{g}) $ 에 속한다.
• 어느 동차 군에서든 록랜드 연산자의 파라메트릭스가 존재하며, 그 역이 $ S^{-m}(\frak{g}) $ 에 속함을 보여 메린의 결과를 일반화한다.
• 양의 연산자 $ A \in S^m(\frak{g}) $ 가 파라메트릭스를 가질 조건은 모든 $ f \in \mathcal{S}(\frak{g}) $ 에 대해 추정식 $ \|f \star A\| + \|f\| \geq C\|f \star P^m\| $ 이 성립함과 동치이다.
• 역은 점근 급수 $ B \approx \sum_{k=1}^\infty B_1^k $ 를 통해 구성되며, 여기서 $ B_1 $ 은 $ A + \delta_0 $ 의 역이다.
• 폴드-스타인의 기존 성질과 $ S^m $-기호 계산법만을 사용하여 록랜드 연산자에 대한 직접적인 파라메트릭스 구성이 가능하며, 메린의 $ S^{m,s} $-클래스에 의존하지 않는다.
• $ S^0(\frak{g}) $ 클래스는 $ L^2 $-유계 연산자에 대해 역연산에 대해 닫혀 있으며, 노름 군 위에서 완전한 의사미분연산자 계산법을 위한 핵심 성질을 확립한다.