[論文レビュー] The asymptotics of the Laplacian on a manifold with boundary II

Thomas Branson, Peter Gilkey+1 more|ArXiv.org|Apr 6, 1995

Spectral Theory in Mathematical Physics参考文献 7被引用数 14

ひとこと要約

この論文は、境界付きコンパクトなリーマン多様体上のラプラシアンの熱核漸近展開における第5係数 $ a_5 $ を、ディリクレまたはノイマン境界条件の下で計算する。境界が完全測地的である場合の $ a_5 $ の明示的公式を導出し、$ \mathbb{R}^m $ 内の平坦領域における $ |\nabla L|^2 $ 項の係数を特定する。これは、同型スペクトル集合のコンパクト性定理に応用されるスペクトル幾何学における主要な未知要因を解消する。

ABSTRACT

We study the fifth term in the asymptotic expansion of the heat operator trace for a partial differential operator of Laplace type on a compact Riemannian manifold with Dirichlet or Neumann boundary conditions.

研究の動機と目的

• コンパクトなリーマン多様体に境界を持つラプラシアン型作用素の熱跡の漸近展開における第5項 $ a_5 $ を、ディリクレまたはノイマン境界条件の下で計算すること。
• 平坦領域における関数上のラプラシアンに対して、$ a_5 $ の $ |\nabla L|^2 $ 項の係数を解明すること。これはスペクトル幾何学における主要な未知要因である。
• 完全測地的境界の仮定の下で、$ a_5 $ の完全な公式を提供すること。この場合、組み合わせ的複雑性は取り扱い可能になる。
• 混合境界条件の下での $ a_4 $ の以前の誤りを特定し、変分公式の適用範囲を超えて使用したという誤りの原因を突き止める。

提案手法

• 計量および境界条件の摂動における $ a_5 $ の変動を計算するために変分技法を用いる。
• ラプラシアン型作用素の熱核展開の構造に依存する、局所的インデックス定理の手法を適用する。
• 局所正規直交フレームとリーマン接続、境界リーマン接続に関する共変微分を用いる。
• 曲率不変量、第二基本形式 $ L $、境界作用素 $ \mathcal{B}_S^\pm $（特に修正ノイマン条件のための自己準同型 $ S $ を含む）を用いて漸近展開を導出する。
• 曲率項を単純化し、$ |\nabla L|^2 $ 項の寄与を分離するために、$ \mathbb{R}^m $ 内の平坦領域に制限する。
• $ R = 0 $ のとき、$ L_{bc:a} - L_{ac:b} = R_{abcm} $ の恒等式を用いて、$ L $ の微分を曲率で表現する。

実験結果

リサーチクエスチョン

• RQ1 完全測地的境界を持つ多様体上でのラプラシアンの熱核展開における第5係数 $ a_5 $ の明示的形は何か？
• RQ2 平坦領域における関数上のラプラシアンのディリクレまたはノイマン境界条件の下で、$ a_5 $ の $ |\nabla L|^2 $ 項の係数は何か？
• RQ3 境界が完全測地的でない場合、第二基本形式 $ L $ は漸近展開にどのように影響を与えるか？
• RQ4 $ |\nabla L|^2 $ 項における係数 $ e_1^+ $ がなぜ以前は不明であったのか、その値は何か？
• RQ5 混合境界条件の下での $ a_4 $ の以前の公式に必要な修正は何か？誤りの原因はどこにあるか？

主な発見

• ノイマンの場合の $ |\nabla L|^2 $ 項の係数 $ e_1^+ $ は $ -19 \cdot 45 / 16 $ であり、平面領域における同型スペクトル集合のコンパクト性定理において極めて重要な値である。
• ディリクレの場合の係数 $ e_1^- $ は $ 45 / 16 $ であり、これは以前に知られていたが、今や一貫性のある枠組みの中で再確認された。
• 完全測地的境界の下では、$ a_5 $ は曲率不変量、第二基本形式、境界作用素 $ S $ を含む境界上の局所的積分として明示的に導出される。
• 平坦領域では、$ a_5 $ の展開は $ L_{ab:c}L_{ab:c} $、$ L_{aa}L_{bb}L_{cc}L_{dd} $、および $ \nabla L $ の他の対称的縮約項の和に単純化される。
• 本論文は、混合境界条件の下での $ a_4 $ の以前の計算における誤りを特定し、[3] の変分公式がその有効範囲を超えて不適切に適用されていたことを示した。
• $ e_1^+ $ は、平面領域における同型スペクトルコンパクト性に関するガーツキーの研究において中心的な役割を果たすため、本研究の主な動機であった。