[論文レビュー] Smooth Homogenization of Heat Equations on Tubular Neighborhoods

Olaf Wittich|ArXiv.org|Oct 28, 2008

Advanced Mathematical Modeling in Engineering参考文献 15被引用数 5

ひとこと要約

本稿では、閉リーマン部分多様体のチューブ近傍上で熱方程式の滑らかな均質化を確立する。ε → 0 となる極限において、スケーリングおよび正規化された半群が任意の高次のソボレフ空間で収束することを示す。主な結果は、t=0 を除くコンパクト時間区間上で、解およびそのすべての導関数が一様収束することであり、これは摂動されたラプラシアンにおけるスペクトル解析と楕円型正則性によって達成される。

ABSTRACT

We consider the heat equation with Dirichlet boundary conditions on the tubular neighborhood of a closed Riemannian submanifold. We show that, as the tube diameter tends to zero, a suitably rescaled and renormalized semigroup converges to a limit semigroup in Sobolev spaces of arbitrarily large Sobolev index.

研究の動機と目的

• リーマン多様体内の閉部分多様体の周囲の収縮するチューブ近傍上での熱半群の収束を確立すること。
• 従来のL²収束結果を、任意の高次のソボレフ空間での収束に拡張すること。
• 解およびその導関数がチューブ径ε → 0 の際に一様収束することを示すこと。
• スケーリングされた状況下での、ε-チューブ近傍上のディリクレラプラシアンのスペクトル的および正則性的性質を分析すること。
• ブラウン運動が部分多様体の周囲にとどまるように条件づけられる現象を均質化を用いて研究するための基盤を提供すること。

提案手法

• 微分同相写像σεを用いてチューブ近傍をスケーリングし、チューブ幅を1に正規化する。
• 法バンドル上のササキ計量を用いてL(1)上に基準計量g₀を導入し、gとの比較を可能にする。
• L²ノルムの関係をユニタリ同型写像を介して、密度ρ = dm/dm₀（ラドン＝ニコディム密度）を用いて関係づける。
• L²(L(1), g₀)上のディリクレラプラシアンΔ(ε)にスペクトル定理を適用し、固有値および固有関数を分析する。
• gとg₀に付随するラプラシアンの差を制御するためのカト型不等式を確立する。
• 楕円型正則性および境界条件の解析を用いて、基準ラプラシアンΔ₀(ε)のべき乗のグラフノルムを用いてソボレフノルムを表現する。

実験結果

リサーチクエスチョン

• RQ1 収縮するチューブ近傍上での熱半群は、ε → 0 の際にすべての導関数について滑らかに収束するか？
• RQ2 半群の収束を、任意の高次のソボレフ空間で確立できるか？
• RQ3 スケーリングの下でε → 0 の極限において、チューブ上でのディリクレラプラシアンのスペクトル的性質はどのように振る舞うか？
• RQ4 チューブ上での関数のソボレフノルムと、スケーリングされたラプラシアンのグラフノルムとの間にはどのような関係があるか？
• RQ5 誘導計量に起因するラプラシアンの摂動を、スペクトル理論および正則性理論を用いてεに一様に制御できるか？

主な発見

• スケーリングおよび正規化された半群は、ε → 0 の際に任意の高次のソボレフ空間で収束する。
• t=0 を含まないコンパクト時間区間上で、熱方程式の解およびそのすべての導関数が一様収束する。
• 関数u ∈ D(Δ(ε)^k)のソボレフノルムは、Δ(ε)uのL²ノルムとuのL²ノルムの定数倍で上から抑えられる。
• 固定されたt > 0およびL²(L(1), g₀)で収束する初期データuεに対して、解u(ε,t)は、順序2nの均一なソボレフノルムの上限を満たす。
• 時間tのコンパクト部分集合上で、演算子Δ(ε)^k u(ε,t)の族は、一様有界かつ等連続であり、ソボレフ空間内でのコンパクト性を保証する。
• スペクトル定理およびx^{2k}e^{-tx}に関する推定により、εに依存しないL²ノルムの均一な上限がΔ(ε)^k u(ε,t)に対して得られる。