[논문 리뷰] $L^p$-bounds for pseudo-differential operators on compact Lie groups

Julio Delgado, Michael Ruzhansky|arXiv (Cornell University)|2016. 05. 23.

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

한 줄 요약

이 논문은 $G \times \widehat{G}$ 위의 행렬 기호를 사용하여 컴팩트 리 군 위에서의 미분형 작동소에 대한 $L^p$ 유계성을 확립하며, $\mathbb{R}^n$ 상에서 페퍼만의 $L^p$ 유계성 결과를 컴팩트 군으로 확장한다. $\rho > \delta$ 또는 $\rho > 1 - \delta$ 조건을 요구하지 않으며, $\mathscr{S}_{\rho,\delta}^m(G)$ 클래스의 기호에 대해 $L^p$ 유계성을 증명함으로써, $SU(2) \cong \mathbb{S}^3$에서 기존의 조건이 실패하는 새로운 클래스 $\mathscr{S}_{0,0}^m$ 및 $\mathscr{S}_{1/2,0}^m$를 가능하게 한다.

ABSTRACT

Given a compact Lie group $G$, in this paper we establish $L^p$-bounds for pseudo-differential operators in $L^p(G)$. The criteria here are given in terms of the concept of matrix symbols defined on the non-commutative analogue of the phase space $G imes\widehat{G}$, where $\widehat{G}$ is the unitary dual of $G$. We obtain two different types of $L^p$ bounds: first for finite regularity symbols and second for smooth symbols. The conditions for smooth symbols are formulated using $\mathscr{S}_{ρ,δ}^m(G)$ classes which are a suitable extension of the well known $(ρ,δ)$ ones on the Euclidean space. The results herein extend classical $L^p$ bounds established by C. Fefferman on $\mathbb R^n$. While Fefferman's results have immediate consequences on general manifolds for $ρ>\max\{δ,1-δ\}$, our results do not require the condition $ρ>1-δ$. Moreover, one of our results also does not require $ρ>δ$. Examples are given for the case of SU(2)$\cong\mathbb S^3$ and vector fields/sub-Laplacian operators when operators in the classes $\mathscr{S}_{0,0}^m$ and $\mathscr{S}_{\frac12,0}^m$ naturally appear, and where conditions $ρ>δ$ and $ρ>1-δ$ fail, respectively.

연구 동기 및 목표

• 유한한 정규성과 매끄러운 기호를 가진 미분형 작동소에 대해 컴팩트 리 군 위에서의 $L^p$-유계성을 확립하기.
• 기존의 $\mathbb{R}^n$ 상에서의 $L^p$ 유계성 결과를 컴팩트 리 군으로 확장하며, 특히 $\rho$ 및 $\delta$ 매개변수에 대한 제약 조건을 극복하기.
• $\mathscr{S}_{\rho,\delta}^m(G)$ 클래스를 컴팩트 리 군 위에서 정의하고 분석하여 허먼더 클래스의 비아벨 해석적 유사체로 삼기.
• $\rho \leq \delta$ 또는 $\rho \leq 1 - \delta$ 조건이 성립하는 경우에도 $L^p$ 유계성이 유지됨을 보여주며, 이는 고전적 유클리드 이론에서 실패하는 조건이다.
• $SU(2) \cong \mathbb{S}^3$ 상의 연산자 및 부분라플라시안에 대해 $L^p$ 유계성의 정밀한 추정치를 제공하며, 이는 $\mathscr{S}_{0,0}^m$ 및 $\mathscr{S}_{1/2,0}^m$ 클래스가 자연스럽게 나타남.

제안 방법

• 컴팩트 리 군 위에서의 전역 양자화를 $G \times \widehat{G}$ 위의 행렬 기호를 통해 사용하며, 코흐-니레버그 양자화를 일반화함.
• 구역 $0 \leq \operatorname{Re} z \leq 1$ 내에서 해석적 가중치 작동소 가중치 $T_z$의 복소 보간을 적용하며, $L^2$ 유계성과 $BMO$ 추정치를 활용함.
• 행렬 기호의 연산자 노름과 성장 조건을 통해 정의된 $\mathscr{S}_{\rho,\delta}^m(G)$ 기호 클래스를 사용함.
• 반드시 $\mathscr{S}_{1-a,\delta}^{-\nu}$ 클래스의 기호의 반정규화를 통해 $\|T_z\|_{\mathcal{L}(L^2)}$의 균일한 유계성을 확립하며, 여기서 $a = 1 - \rho$.
• 대칭성과 보간을 적용하여 $p=2$에서의 $L^p$ 유계성을 $p \in (1,\infty)$로 확장하며, 조건 $\left| \frac{1}{p} - \frac{1}{2} \right| \leq \frac{\nu}{na}$ 를 유도함.
• $\langle \xi \rangle^{i\frac{na}{2}s} I_{d_\xi} \in \mathscr{S}_{1-a,\delta}^0$ 임을 이용하여, 복소 스케일링 하에서 기호 클래스의 유지가 가능함을 보임.

실험 결과

연구 질문

• RQ1 기존의 $\mathbb{R}^n$ 상에서의 미분형 작동소에 대한 $L^p$-유계성 결과를 컴팩트 리 군으로 확장할 수 있는가? 이때 $\rho > \delta$ 또는 $\rho > 1 - \delta$ 조건이 필요하지 않다.
• RQ2 $\mathscr{S}_{\rho,\delta}^m(G)$ 클래스에 속하는 작동소가 $L^p(G)$ 상에서 유계가 되는 $p$의 최적 범위는 무엇이며, 이는 $\rho$, $\delta$, $m$ 에 따라 어떻게 달라지는가?
• RQ3 비아벨 컴팩트 리 군, 특히 $SU(2)$에서 기존의 조건이 실패하는 경우 $\mathscr{S}_{\rho,\delta}^m(G)$ 클래스는 어떻게 행동하는가?
• RQ4 비매끄러운 기호에 대해 복소 보간과 $BMO$ 추정치를 사용하여 컴팩트 군 상에서 $L^p$ 유계성을 도출할 수 있는가?
• RQ5 비아贝尔 위상공간 $G \times \widehat{G}$ 는 미분형 작동소의 $L^p$-유계성을 특성화하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $\rho > \delta$ 또는 $\rho > 1 - \delta$ 조건 없이 컴팩트 리 군 위에서 $\mathscr{S}_{\rho,\delta}^m(G)$ 기호를 가진 미분형 작동소에 대해 $L^p$-유계성을 증명하며, 페퍼만의 결과를 확장한다.
• $a = 1 - \rho$ 이고 $\mathscr{S}_{1-a,\delta}^{-\nu}(G)$ 기호에 대해, 작동소 $\sigma(x,D)$ 는 $\left| \frac{1}{p} - \frac{1}{2} \right| \leq \frac{\nu}{na}$ 조건을 만족할 때 $L^p(G)$ 상에서 유계이다. 여기서 $n = \dim G$.
• 이 유계성 추정은 정밀하다: $G = \mathbb{T}^1$ 이면, $\nu_0 < \frac{1 - \rho}{2}$ 이면 $p=2$ 주변의 유한한 간격 외부에서는 $L^p$ 유계성이 실패하며, 이는 고전적 승수 이론과 일치한다.
• $SU(2) \cong \mathbb{S}^3$ 상에서 $\mathscr{S}_{0,0}^m(G)$ 클래스는 유효하며 $L^p$-유계성이 보장되며, 이는 $\rho = 0 \leq \delta = 0$ 이므로 고전적 $\rho > \delta$ 조건을 위반하지만도 성립한다.
• $SU(2)$ 상에서 $\mathscr{S}_{1/2,0}^m(G)$ 클래스 역시 $L^p$-유계성이 보장되며, 이는 $\rho = \frac{1}{2} \leq 1 - \delta = 1$ 이므로 고전적 $\rho > 1 - \delta$ 조건이 실패하나도 성립함을 보여준다.
• 결과는 페퍼만의 $L^p$ 추정치를 컴팩트 리 군으로 일반화하며, 비아벨 군에서의 $L^p$ 이론을 위한 비아贝尔 기호 해석학 기반의 프레임워크를 제공한다.