[論文レビュー] Asymptotics of eigenstates of elliptic problems with mixed boundary data on domains tending to infinity

Michel Chipot, Prosenjit Roy+1 more|arXiv (Cornell University)|Mar 1, 2014

Advanced Mathematical Modeling in Engineering参考文献 9被引用数 3

ひとこと要約

本稿は、長さ ℓ → ∞ の際の長尺な円柱領域における混合ノイマン-ディリクレ境界条件を満たす楕円型作用素の固有値および固有関数の漸近的挙動を調査する。第一の固有値が min(ν₊, ν₋) に収束することを確立した。ここで ν₊, ν₋ は半無限円柱における第一固有値であり、A₁₂·∇W₁ ≢ 0 である限り、μ¹（断面 ω における第一固有値）よりも厳密に小さい。これはディリクレの場合に見られない「ギャップ現象」を示している。

ABSTRACT

We analyze the asymptotic behavior of eigenvalues and eigenfunctions of an elliptic operator with mixed boundary conditions on cylindrical domains when the length of the cylinder goes to infinity. We identify the correct limiting problem and show in particular, that in general the limiting behavior is very different from the one for the Dirichlet boundary conditions.

研究の動機と目的

• 長さ ℓ → ∞ の際の、円柱領域における混合境界条件を満たす楕円型作用素の固有値および固有関数の漸近的挙動を分析すること。
• 以前に研究されたディリクレの場合とは対照的に、混合ノイマン-ディリクレ条件における第一固有値の正しい極限問題を特定すること。
• 特に、limₗ→∞ λₗ¹ = min(ν₊, ν₋) を特定するために、半無限円柱 Ω₊∞ および Ω₋∞ における固有値問題を通じて極限挙動を特徴付けること。
• 端部 Γₗ 付近の境界層効果を分析することで、「ギャップ現象」—極限値が μ¹ より厳密に小さい現象—を説明すること。
• A₁₂·∇W₁ における非退化性条件の下で、複数方向に拡張する領域へと結果を一般化し、ギャップが維持されることを示すこと。

提案手法

• Ωₗ = (−ℓ,ℓ)×ω 上で −div(A(X₂)∇u) = σu を満たす固有値問題の形式的解析。側面境界 γₗ でディリクレ条件、端面 Γₗ でノイマン条件を課す。
• 変分法およびレイリー商を用いて λₗ¹ の上界を導出し、縮小された領域における試験関数を用いた limsup 評価に至る。
• 半無限円柱 Ω₊∞ = (0,∞)×ω および Ω₋∞ = (−∞,0)×ω 上に補助的固有値問題を導入。側面にゼロのディリクレ条件を課す。
• 鍵となる恒等式の導出: limₗ→∞ λₗ¹ = min(ν₊, ν₋)。ここで ν₊, ν₋ は半無限円柱上での第一固有値である。
• 一般化された極小-極大原理の適用および A(X₂) = [A₁₁ A₁₂; A₁₂ᵀ A₂₂] のブロック構造を用いたエネルギー汎関数の分解。
• エネルギーの分離を導くための恒等式: min_{Z₁} (Bz)·z = (B₂₂Z₂)·Z₂ − (B₁₁⁻¹B₁₂Z₂)·B₁₂Z₂ を用い、A₂₂ および A₁₁⁻¹A₁₂ を含む下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 長さ ℓ → ∞ の際、混合ノイマン-ディリクレ境界条件を満たす楕円型作用素の第一固有値 λₗ¹ の極限挙動は何か？
• RQ2 極限固有値は、断面 ω における第一固有値 μ¹ とどのように比較されるか。また、どのような条件下で厳密に小さくなるか？
• RQ3 端部 Γₗ 付近の境界層効果が漸近的固有値を決定するために果たす役割は何か？
• RQ4 極限 limₗ→∞ λₗ¹ は、半無限円柱 Ω₊∞ および Ω₋∞ における固有値問題によって特徴付けられるか？
• RQ5 係数行列 A(X₂) の構造、特に非対角ブロック A₁₂ が漸近的固有値に与える影響は何か？

主な発見

• limₗ→∞ λₗ¹ は存在し、min(ν₊, ν₋) に等しい。ここで ν₊, ν₋ は、半無限円柱 Ω₊∞ および Ω₋∞ 上で、側面にディリクレ条件を課した作用素 −div(A(X₂)∇u) の第一固有値である。
• A₁₂·∇W₁ ≢ 0 が ω 上 almost everywhere に成り立つ場合、limₗ→∞ λₗ¹ は断面 ω における第一固有値 μ¹ より厳密に小さくなる。これはディリクレ問題に見られない「ギャップ現象」を示している。
• A₁₂·∇W₁ ≡ 0 が ω 上 almost everywhere に成り立つ場合、すべての ℓ > 0 に対して λₗ¹ = μ¹ となる。これはギャップがなく、断面固有値に完全に収束することを示している。
• p > 1 方向に拡張する領域へと一般化された結果：A₁₂·∇W₁ ≢ 0 ∈ ℝᵖ ならば limsupₗ→∞ λₗ¹ < μ¹ であり、同じ極限挙動が半無限円柱の固有値を通じて得られる。
• λₗ¹ の下界は変分的分解により導出される：∫(A∇u)·∇u ≥ ∫[A₂₂∇u·∇u − (A₁₁⁻¹A₁₂∇u)·A₁₂∇u]。これにより、作用素 −div(A₂₂∇w) + div(A₁₂ᵀA₁₁⁻¹A₁₂∇w) を持つ新たな固有値問題が得られる。
• 変分的特徴付け (7.7) における下界 Λ¹ は、A₁₂·∇W₁ ≢ 0 のとき μ¹ に等しくなる。これは下界が既知の上界と一致することを確認し、結局 λₗ¹ → min(ν₊, ν₋) < μ¹ であることを示している。