[論文レビュー] Heat invariants of the perturbed polyharmonic Steklov problem

Genqian Liu|arXiv (Cornell University)|May 14, 2014

Advanced Mathematical Modeling in Engineering参考文献 38被引用数 4

ひとこと要約

本稿では、リーマン多様体上の滑らかな領域における、摂動付き多調和的ディリクレ・トゥ・ノイマン作用素に関連する、短時間における熱核のトレースの漸近展開における最初の4つの熱不変量（係数）を体系的に計算する手順を確立する。主な結果は、境界の曲率不変量を用いてこれらの係数を明示的に導出することであり、m=1 かつ q≡0 の場合に古典的ステクロフ問題に対する既存の結果を回復・拡張する。

ABSTRACT

For a given bounded domain $Ω$ with smooth boundary in a smooth Riemannian manifold $(\mathcal{M},g)$, we establish a procedure to get all the coefficients of the asymptotic expansion of the trace of the heat kernel associated with the perturbed polyharmonic Dirichlet-to-Neumann operator $Λ_m$ ($m\ge 1$) as $t o 0^+$. We also explicitly calculate the first four coefficients of this asymptotic expansion. These coefficients (i.e., heat invariants) provide precise information for the area and curvatures of the boundary $\partial Ω$ in terms of the spectrum of the perturbed polyharmonic Steklov problem. In particular, when $m=1$ and $q\equiv 0$ our work recovers the previous corresponding results in \cite{PS} and \cite{Liu3}.

研究の動機と目的

• 摂動付き多調和的ディリクレ・トゥ・ノイマン作用素の熱核トレースの完全な漸近展開を、t→0⁺ のときのものとして導出すること。
• この展開における最初の4つの係数（熱不変量）を、境界 ∂Ω 上の幾何的データの観点から明示的に計算すること。
• 既存の文献における古典的ステクロフ問題（m=1, q≡0）に対する既知の結果を回復・一般化すること。
• 摂動付き多調和的ステクロフ問題のスペクトルデータが、境界の面積および曲率に関する正確な幾何的情報を符号化していることを示すこと。

提案手法

• 摂動付き多調和的ディリクレ・トゥ・ノイマン作用素 Λₘ の記号構造を解析するために、微局所解析および擬微分作用素理論を用いる。
• 停留位相法および複素変数積分を用いた熱トレース漸近展開法により、l=0,1,2,3 の各 l に対して係数 aₘ,l(x,n) を計算する。
• 熱核 𝒦ₘ(t,x,y) の記号展開を、t³ の次数まで再帰的記号方程式を解くことで得る。
• 球面 Sⁿ⁻¹ 上での積分を用いて係数 aₘ,l(x,n) を計算し、それらを内在的幾何量（平均曲率 ∑κⱼ、スカラー曲率 R∂Ω、リッチ曲率 Rⱼⱼ、および外的曲率項）の関数として表現する。
• 文献[44]および[46]の定理を用いて記号表現を一致させ、導出された係数の妥当性を検証する。
• タウバリアの定理を適用し、固有値数関数 N(λ) のウェイの型漸近法則を導出する。

実験結果

リサーチクエスチョン

• RQ1 滑らかな境界を持つ領域における、摂動付き多調和的ディリクレ・トゥ・ノイマン作用素の熱核トレースの短時間漸近展開における最初の4つの係数は何か？
• RQ2 これらの係数は、境界 ∂Ω の内在的および外的幾何（例えば平均曲率やスカラー曲率）とどのように関係しているか？
• RQ3 この手法は、既存の文献における古典的ステクロフ問題（m=1, q≡0）に対する既知の結果を回復・一般化できるか？
• RQ4 摂動付き多調和的ステクロフ問題のスペクトルが、境界の幾何的不変量をどの程度まで特定できるか？
• RQ5 一般の m≥1 および非ゼロのポテンシャル q∈L∞(Ω) に対して、熱核トレース展開の構造はどのようなものか？

主な発見

• 最初の熱不変量 aₘ,₀(n,x) は、aₘ,₀(n,x) = Γ((n+1)/2)/(π^(n+1)/2) · Iₘ で与えられ、幾何に依存しない定数である。
• 2番目の係数 aₘ,₁(n,x) は総平均曲率に比例する：aₘ,₁(n,x) = (1/(2π)^n) · [(n−1)Γ(n)vol(Sⁿ⁻¹)/(2n)] · (∑κⱼ(x)) · Iₘ。
• 3番目の係数 aₘ,₂(n,x) は境界のスカラー曲率 R∂Ω、周囲のリッチ曲率 R̃Ω、および2次曲率項に依存する。R∂Ω に比例する項 (3−n)/(3n)R∂Ω や、∑κⱼ² に比例する項 (n²−n−2)/(n(n+2))∑κⱼ² を含む。
• 4番目の係数 aₘ,₃(n,x) は、3次曲率項や混合曲率項（例：∑κⱼ³、∑κⱫRⱼⱼ、および混合リッチ-曲率縮約）を含む。
• 漸近展開により、すべての熱不変量 ∫∂Ω aₘ,l(x,n) dS(x) がスペクトル的に決定可能であることが確認され、スペクトルが境界の完全な幾何的情報を符号化していることが示された。
• 固有値数関数のウェイの型法則が回復された：λ→∞ のとき N(λ) = [ωₙ vol(∂Ω) λⁿ / (2π)ⁿ + o(λⁿ)] であり、m=1 かつ q≡0 の場合にサングレーンの公式と整合的である。