[論文レビュー] Sub-Laplacians of holomorphic $L^p$-type on exponential solvable groups

Waldemar Hebisch, Jean Ludwig+1 more|ArXiv.org|Jul 3, 2003

Advanced Harmonic Analysis Research参考文献 17被引用数 6

ひとこと要約

この論文は、指数型可解リー群上の部分ラプラシアンが $p \neq 2$ の $L^p$-型であるための十分条件を確立している。具体的には、共随伴軌道 $\Omega(\ell)$ が Boidol の条件を満たし、かつその-nilradical への制限が閉じているならば、部分ラプラシアンは $L^p$ 上で正則関数計算を許容する。この結果は、従来の研究を改善しており、群に構造的制限を課さず、開集合ではなく単一の軌道のみを要件としている。

ABSTRACT

Let $L$ denote a right-invariant sub-Laplacian on an exponential, hence solvable Lie group $G$, endowed with a left-invariant Haar measure. Depending on the structure of $G$, and possibly also that of $L$, $L$ may admit differentiable $L^p$-functional calculi, or may be of holomorphic $L^p$-type for a given $p e 2$. By ``holomorphic $L^p$-type'' we mean that every $L^p$-spectral multiplier for $L$ is necessarily holomorphic in a complex neighborhood of some non-isolated point of the $L^2$-spectrum of $L$. This can in fact only arise if the group algebra $L^1(G)$ is non-symmetric. Assume that $p e 2$. For a point $l$ in the dual $\frak g ^*$ of the Lie algebra $\frak g$ of $G$, we denote by $Ω(l)=Ad^*(G)l$ the corresponding coadjoint orbit. We prove that every sub-Laplacian on $G$ is of holomorphic $L^p$-type, provided there exists a point $l\in \frak g ^*$ satisfying ``Boidol's condition'' (which is equivalent to the non-symmetry of $L^1(G)$), such that the restriction of $Ω(l)$ to the nilradical of $\frak g$ is closed.

研究の動機と目的

• 指数型可解リー群上の部分ラプラシアンが $p \neq 2$ の $L^p$-型であるための十分条件を同定すること。
• 群に構造的制限を課さず、かつ前向きの研究で要求された軌道の開集合から単一の軌道への条件に緩和することで、既存の結果を一般化すること。
• 非対称性 $L^1(G)$、共随伴軌道、および $L^p$-スペクトル乗数の正則性との関係を調査すること。
• [16] に提示された予想を支援すること：正則 $L^p$-型部分ラプラシアンの存在は、Boidol の条件を満たす閉じた共随伴軌道の存在と関連している。

提案手法

• 著者たちは、右不変な部分ラプラシアン $L$ のスペクトル分解と関数計算を用いて、指数型可解リー群 $G$ 上の $L^p$-スペクトル乗数を分析する。
• スペクトル挙動を特徴付けるために、$\ell \in \mathfrak{g}^*$ に対する共随伴軌道 $\Omega(\ell) = \mathrm{Ad}^*(G)\ell$ を用いる。
• 鍵となる条件は、$\Omega(\ell)$ が Boidol の条件（$L^1(G)$ の非対称性と同値）を満たし、かつ $\mathfrak{g}$ の-nilradical への制限が閉じていることである。
• 証明は、移行技術、摂動論的議論、およびスペクトル乗数を制御するための熱核推定を用いる。
• 著者たちは、ユニタリ表現理論と $\pi(f) = \int_G f(g)\pi(g)\,dg$ の統合形を用いて、$L$ が $L^p$ 空間上でどのように作用するかを分析する。
• 局所的双正則写像の使用を含む複素解析的技法を適用し、$L^p$-乗数がスペクトルの複素近傍へ正則に拡張されることを示す。

実験結果

リサーチクエスチョン

• RQ1 指数型可解リー群上の部分ラプラシアンが $p \neq 2$ の $L^p$-型であるための条件は何か？
• RQ2 従来の研究で要求された共随伴軌道の開集合の条件を、単一の軌道に関する条件に置き換えることは可能か？
• RQ3 共随伴軌道の-nilradical への制限が閉じていることは、正則 $L^p$-型挙動の十分条件か？
• RQ4 Boidol の条件を満たす閉じた共随伴軌道の存在は、正則 $L^p$-型部分ラプラシアンの存在を示唆するか？
• RQ5 -nilradical への制限の条件を、軌道自体の閉包性に弱めるのは可能か？

主な発見

• 指数型可解リー群 $G$ 上の部分ラプラシアン $L$ は、$\ell \in \mathfrak{g}^*$ が Boidol の条件を満たし、かつ $\Omega(\ell)\vert_{\mathfrak{n}}$ が閉じているならば、$p \neq 2$ の $L^p$-型である。
• この結果は、従来の研究を改善しており、条件を満たすのは開集合ではなく単一の共随伴軌道であり、群 $G$ に構造的制限を課さない。
• $\Omega(\ell)\vert_{\mathfrak{n}}$ が閉じているという条件は、正則 $L^p$-型挙動の十分条件であることが示され、[16] の予想の証明への道筋を示唆している。
• 著者たちは、$\Omega(\ell)$ が閉じているが $\Omega(\ell)\vert_{\mathfrak{n}}$ が閉じていない例を明示的に構成し、-nilradical への制限条件の必要性を示している。
• $\alpha, \beta > 0$ に対して、軌道 $\Omega(\ell)$ は閉じており、$\tau_k \to \infty$ のとき、$\Omega_k = \Omega(\ell) + \tau_k T^*$ は軌道空間上で無限大に発散する。これにより、すべての $f \in L^1(G)$ に対して $\|\pi_{\ell + \tau_k T^*}(f)\| \to 0$ となる。
• 本論文は、-nilradical への制限の条件を、$\Omega(\ell)$ 自体の閉包性に置き換える可能性を示唆しており、[16] の予想の一方の方向を確認するものである。