Friedrich's mollifier

スピン幾何における解析学
前の記事：楕円型評価
次の記事： Dirac作用素のElliptic regularity 1

convention
$M :$ コンパクトリーマンスピン多様体
$S :$ スピノル束
$⟨ \cdot, \cdot ⟩ : S$ のSpin不変内積
$Γ (S) : S$ の滑らかな切断
$C^{s} (S) : S$ の $C^{s}$ 級の切断
$D_{k} (S) : Γ (S)$ から $Γ (S)$ への $k$ 階の微分作用素
$L^{2} (S) : S$ の切断が作るHilbert空間
$H_{k} (S) : S$ の切断が作る $k$ 次のSobolev空間

　Dirac作用素を $H_{k}$ 上で拡張して議論したい場合に $H_{k}$ の元は微分できるか分からないため滑らかになるようになめしておきたいことがあります。さらになめしたものを適当な意味で極限を取ると元に戻るようにしておくと使いやすいです。またなめしたものに対する色々な不等式評価もしたいのでノルムについての評価もあれば便利です。このようなものとしてFriedrich's mollifier(軟化作用素)があります。

$ϵ \in (0, 1]$ に対して、 $J_{ϵ} : L^{2} (S) \to L^{2} (S)$ で以下の条件を満たす作用素が存在する。

(i) $I m (J_{ϵ}) \subset Γ (S)$
(ii) $J_{ϵ}$ は自己随伴作用素である。
(iii) $u \in L^{2} (S)$ に対して、 $L^{2} (S)$ において $ϵ \to 0$ のとき $J_{ϵ} u \to u$ である。
(iv) $J_{ϵ}$ は有界作用素である。
(v) $P \in D_{k} (S)$ に対して、 $[P, J_{ϵ}]$ は有界作用素 $H_{k - 1} \to L^{2} (S)$ に拡張される。

投稿日：2024年2月11日

更新日：2024年2月18日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

Submersion

30082

専門は相対論やLorentz幾何です。Einstein系の厳密解の構成や接触幾何の応用などの研究をしています。Ph.D保有者の中ではクソ雑魚の部類です。

他の人のコメント

コメントはありません。

読み込み中

Submersion

Friedrich's mollifier