[論文レビュー] The iterative Structure of Corner Operators

B.‐W. Schulze|ArXiv.org|May 7, 2009

Holomorphic and Operator Theory参考文献 48被引用数 15

ひとこと要約

本稿では、多様体上の多面体的特異点をもつ楕円型作用素の反復的微分記号計算を導入し、境界および端の記号を一般化する階層的記号構造を用いる。主記号階層を用いたフレームワークにより、任意の次数の角を持つ分層的空間における退化微分作用素の解析が可能となる。

ABSTRACT

We give a brief survey on some new developments on elliptic operators on manifolds with polyhedral singularities. The material essentially corresponds to a talk given by the author during the Conference "Elliptic and Hyperbolic Equations on Singular Spaces", October 27 - 31, 2008, at the MSRI, University of Berkeley.

研究の動機と目的

• 高次元の角と端をもつ多様体上の楕円型作用素に対して体系的な擬微分記号計算を構築すること。
• ネストされた特異点（錐体やウェッジ）をもつ分層的空間への境界値問題理論を一般化すること。
• 複数の特異性ストラトゥムにわたる楕円型性を捉える主記号階層を定義すること。
• 楕円型要素に対して合成および逆元について閉じた作用素代数内にパラメトリクスを構成すること。
• 反復的かつ階層的な手法を用いて、エッジ作用素および角作用素の既存理論を統合・拡張すること。

提案手法

• 高次元の角を低次元の特異ストラトゥム上の錐バンドルとして再帰的にモデル化することにより、$\mathfrak{M}_k$ と表される $k$ 階特異点をもつ多様体のカテゴリを定義する。
• 主記号階層 $\sigma = (\sigma_j)_{0 \leq j \leq k}$ を構築し、$\sigma_0$ を内部での標準的主記号とし、$j > 0$ の場合 $\sigma_j$ を低次元ストラトゥム上の作用素値記号とする。
• スケーリング $\kappa_\lambda$ における同次性を満たす、伸びた錐 $X^\wedge$ 上の重み付きソボレフ空間 $\mathcal{K}^{s,\gamma}(X^\wedge)$ を用いて、同次エッジ記号を定義する。
• 滑らかさが $r_j = 0$ まで続く係数をもつ、$r_j \partial / \partial r_j$ や $r_1 \cdots r_j \partial / \partial y_{j,l}$ などの退化ベクトル場の多項式として、伸びた座標系における微分作用素をモデル化する。
• 作用素の次数 $m$ に対して重み因子 $(r_1 \cdots r_k)^{-m}$ を導入し、同次性および記号階層との整合性を保証する。
• この記号計算を、伸びた錐およびウェッジにおけるラプラス＝ベルトラミ作用素に適用し、係数 $a_{j\alpha} \in C^\infty(\overline{\mathbb{R}}_+ \times \Omega, \text{Diff}^{m-(j+|\alpha|)}(X))$ をもつ $r^{-m} \sum a_{j\alpha}(r,y) (-r\partial_r)^j (rD_y)^\alpha$ の形に表現できることを示す。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、任意の次数 $k$ の多面体的特異点をもつ多様体上での楕円型理論を拡張できるか？
• RQ2 複数のネストされた特異性ストラトゥムにわたる楕円型性を捉える記号階層は何か？
• RQ3 角作用素の代数的構造内での楕円型作用素のパラメトリクスはどのように振る舞うか？
• RQ4 重み付きソボレフ空間とスケーリング不変性は、エッジ記号を定義するために果たす役割は何か？
• RQ5 再帰的錐バンドル構造を用いて、高次元角に対する記号計算をどのように反復的に構築できるか？

主な発見

• 主記号階層 $\sigma = (\sigma_j)_{0 \leq j \leq k}$ は、$k$ 階角をもつ多様体上の楕円型性を完全に特徴づけ、$\sigma_0$ は内部、$\sigma_j$ は低次元ストラトゥム上に存在する。
• 伸びたウェッジ $X^\wedge \times \Omega$ 上のラプラス＝ベルトラミ作用素 $A$ に対して、係数 $a_{j\alpha} \in C^\infty(\overline{\mathbb{R}}_+ \times \Omega, \text{Diff}^{m-(j+|\alpha|)}(X))$ をもつ $A = r^{-m} \sum_{j+|\alpha| \leq m} a_{j\alpha}(r,y) (-r\partial_r)^j (rD_y)^\alpha$ の形が成り立つ。
• 同次主エッジ記号 $\sigma_1(A)(y,\eta)$ は $\mathcal{K}^{s,\gamma}(X^\wedge)$ 上に作用し、スケーリング $\kappa_\lambda u(r,x) = \lambda^{(n+1)/2} u(\lambda r,x)$ に関して同次性を満たす。
• 境界値問題理論は、各レベルが特異性ストラトゥムに対応する再帰的構造に埋め込まれることで一般化される。
• 楕円型作用素のフレドホルム性は、主記号の安定ホモトピーの下でも保存され、インデックスはその変形に対して不変である。
• このフレームワークは、パラメトリクスの明示的構成を可能とし、反復的な極座標変換を施した多面体領域における標準ラプラシアンなど、特定の作用素に対しても適用可能である。