[論文レビュー] Spectral multipliers for wave operators

Christoph Kriegler|arXiv (Cornell University)|Oct 16, 2012

Advanced Harmonic Analysis Research参考文献 10被引用数 4

ひとこと要約

本稿では、多項式的有界な正則化群に対する転送原理を用いて、波動作用素のスペクトル乗数に対して、新しい関数計算クラス $E^{\beta}_{\text{unif}}$ と $E^{\beta}_{\text{infty}}$ を導入する。Paley-Littlewood分解を有する作用素および波動型乗数 $f_\alpha(\lambda) = (1+\lambda)^{-\alpha}e^{it\lambda}$ の改善された $L^p$ 評価が成り立つ場合、$\gamma$-有界な $E^\alpha_{\text{unif}}$ 関数計算が存在することを確立し、古典的およびハイゼンベルク群の場合と同様に、必要な正則性閾値を $\alpha > \frac{d}{2}$ から $\alpha > \frac{d-1}{2}$ に低下させることを示す。

ABSTRACT

A classical theorem of Mihlin yields Lp estimates for spectral multipliers Lp(R^d) -> Lp(R^d); g -> F^{-1}[f(| |^2) Fg] in terms of L^\infty bounds of the multiplier function f and its weighted derivatives up to an order > d/2. This theorem, which is a functional calculus for the standard Laplace operator, has generalisations in several contexts such as elliptic operators on domains and manifolds, Schrödinger operators and sublaplacians on Lie groups. However, for the wave equation functions f (s) = (1 + s)^{-α} e^{its} a better estimate is available, in the standard case (works of Miyachi and Peral) and on Heisenberg Lie groups (Müller and Stein). By a transference method for polynomially bounded regularized groups, we obtain a new class of spectral multipliers for operators that have these better wave spectral multipliers and that admit a spectral decomposition of Paley-Littlewood type.

研究の動機と目的

• 古典的ミルヒン理論を超える改善された $L^p$ 評価を用いて、波動作用素のスペクトル乗数定理を精緻化すること。
• 波動型乗数のより良い減衰性質を捉えるために、新しい関数計算クラス $E^\alpha_{\text{unif}}$ と $E^\alpha_{\infty}$ を導入すること。
• 改善された波動乗数評価と、Paley-Littlewood分解を有する作用素に対する $\gamma$-有界関数計算を結ぶ転送法を確立すること。
• 適切な $\gamma$-有界性および分解仮定の下で、$L^p$ 有界性のためのスペクトル乗数の臨界正則性閾値を $\alpha > \frac{d}{2}$ から $\alpha > \frac{d-1}{2}$ に低下させられることを証明すること。
• 理論を標準ラプラシアンおよびハイゼンベルク部分ラプラシアンに適用し、既知の鋭い評価を回復するとともに、より広範な関数計算枠組みへと拡張すること。

提案手法

• 重み付き $L^\infty$ ノルムによる導関数の定義を通じて、$E^\alpha_{\text{unif}}$ および $E^\alpha_{\infty}$ の2つの新しい乗数クラスを導入し、Besov空間およびミルヒンクラスと関連付ける。
• 多項式的有界な正則化群に対する転送原理を用いて、波動乗数の $L^p$ 評価をバナッハ空間上での関数計算評価に転送する。
• 家族 $\{(1+2^k A)^{-\beta} \exp(i 2^k t A)\}_{k \in \mathbb{Z}}$ の $\gamma$-有界性と $E^\alpha_{\text{unif}}$ 関数計算の存在との間の関係を確立する。
• 作用素 $A = (-\Delta)^{1/2}$ に対して $L^p(\mathbb{R}^d)$ 上で、$\gamma$-有界性条件およびPaley-Littlewood分解が満たされることを示す。
• $\gamma$-有界性が $E^\alpha_{\text{unif}}$ 関数計算の存在と同値であることを証明し、新たな特徴付けを確立する。
• 転送法を用いて、波動乗数が $\|f_\alpha(A)\|_{p\to p} \lesssim \langle t\rangle^\alpha$ を満たす限り、$\alpha > \frac{d-1}{2}$ のとき、$A$ が $\gamma$-有界な $E^\alpha_{\text{unif}}$ 計算を持つことが導かれる。

実験結果

リサーチクエスチョン

• RQ1 波動型スペクトル乗数 $f_\alpha(\lambda) = (1+\lambda)^{-\alpha}e^{it\lambda}$ の改善された $L^p$ 評価を用いて、古典的ミルヒン理論を超える新しい関数計算クラスを定義できるか？
• RQ2 $\mathbb{R}^d$ やハイゼンベルク群上での波動作用素の評価で観察される改善された正則性閾値 $\alpha > \frac{d-1}{2}$ を捉える関数計算クラスは何か？
• RQ3 Paley-Littlewood分解を有する作用素に対して、波動乗数の $L^p$ 界と $\gamma$-有界関数計算を結ぶ転送機構は存在するか？
• RQ4 新しいクラス $E^\alpha_{\text{unif}}$ と $E^\alpha_{\text{infty}}$ は、既存のミルヒンクラスやBesov型乗数クラスとどのように関係するか？
• RQ5 家族 $\{(1+2^k A)^{-\beta} \exp(i 2^k t A)\}$ の $\gamma$-有界性は、$E^\alpha_{\text{unif}}$ 関数計算の存在を特徴付けるか？

主な発見

• 本稿では、古典的ミルヒンクラス $\mathcal{M}^\alpha$ よりも波動型乗数に適した、2つの新しい乗数クラス $E^\alpha_{\text{unif}}$ と $E^\alpha_{\text{infty}}$ を導入する。
• 作用素 $A$ が改善された波動乗数評価 $\|f_\alpha(A)\|_{p\to p} \lesssim \langle t\rangle^\alpha$ を $\alpha > \frac{d-1}{2}$ で満たすならば、$A$ は $\gamma$-有界な $E^\alpha_{\text{unif}}$ 関数計算を持つことが示される。
• 家族 $\{(1+2^k A)^{-\beta} \exp(i 2^k t A)\}_{k \in \mathbb{Z}}$ の $\gamma$-有界性は、$A$ に対して $E^\alpha_{\text{unif}}$ 関数計算が存在することと同値である。
• 標準ラプラシアン $A = (-\Delta)^{1/2}$ に対して $L^p(\mathbb{R}^d)$ 上では、主定理の仮定が満たされるため、$\alpha > \frac{d-1}{2}$ のとき $A$ は $\gamma$-有界な $E^\alpha_{\text{unif}}$ 計算を持つ。
• 古典的ミルヒン定理が、$\alpha > \frac{d}{2}$ のとき $\{f(A) : \|f\|_{\mathcal{M}^\alpha} \leq 1\}$ が $\gamma$-有界であることを示すことで強化され、関数計算枠組みが拡張される。
• 波動乗数の改善された正則性閾値 $\alpha > \frac{d-1}{2}$ が、$\mathbb{R}^d$ 上の波動方程式およびハイゼンベルク群における既知の結果と一致するという点で、鋭いことが示される。