[論文レビュー] Two-scale homogenization for a general class of high contrast PDE systems with periodic coefficients

I. V. Kamotski, V. P. Smyshlyaev|arXiv (Cornell University)|Sep 18, 2013

Advanced Mathematical Modeling in Engineering参考文献 16被引用数 11

ひとこと要約

本稿は、$\varepsilon^2$-退化係数を有する一般の高対比周期的PDE系に対して、きめ細かく定式化された二尺度均質化枠組みを確立する。スティフ成分に関する一様な分解仮定の下で、二尺度極限の解の問題の適切な定義を証明し、楕円型・放物型・放物型問題における強いおよび弱い二尺度収束を導出する。さらに、スペクトル収束および関連する半群の収束を示す。

ABSTRACT

For two-scale homogenization of a general class of asymptotically degenerating %uniformly strongly elliptic symmetric PDE systems with a critically scaled high contrast in periodic coefficients of a small period $\varepsilon$, we derive a two-scale limit resolvent problem under a single generic decomposition assumption for the `stiff' part. We show that this key assumption does hold for a large number of examples with a high contrast, both studied before and some recent ones, including those in linear elasticity and electromagnetism. Following ideas of V.V. Zhikov, under very mild restrictions on the regularity of the domain $Ω$ we prove that the limit resolvent problem is well-posed and turns out to be a pseudo-resolvent problem for a well-defined non-negative self-adjoint two-scale limit operator. A key novel technical ingredient here is a proof that the linear span of product test functions in the functional spaces corresponding to the degeneracies is dense in associated two-scale energy space for a general coupling between the scales. As a result, we establish (both weak and strong) two-scale resolvent convergence, as well as some of its further implications for the spectral convergence and for convergence of parabolic and hyperbolic semigroups and of associated time-dependent initial boundary value problems.

研究の動機と目的

• 周期的で高対比な係数を有する強い強調的かつ対称的PDE系の一般二尺度均質化理論を構築すること。この系は$\varepsilon^2$-退化を示す。
• スティフ成分の係数行列に対して、二尺度極限の解の問題の適切な定義を保証する一様な分解仮定を同定・検証すること。
• 高対比状態下で、楕円型・放物型・放物型初期境界値問題に対する弱および強二尺度収束を証明すること。
• 時間に依存する問題に対して、領域の正則性を最小限に抑えた仮定のもとで、スペクトル収束および関連半群の収束を確立すること。
• 二尺度極限作用素が適切に定義され、非負かつ自己共役作用素であることを示し、これによりスペクトル的および動的解析を可能にすること。

提案手法

• 二尺度収束と新規の密度補題を用いて、一般なスケール間結合のもとでも、積型テスト関数の線形包が二尺度エネルギー空間に dense であることを示す。
• スティフ成分 $a^{(1)}(y)$ に対して、一様な分解仮定 (4.2) を導入し、線形弾性、電磁気学、多孔質媒体など広範な高対比例においてその妥当性を検証する。
• Zhikovの枠組みからの作用素論的道具を用い、極限解の問題を自己共役二尺度作用素 $A_0$ の擬似解の問題として解析する。
• エネルギー推定とコンパクト性の議論を用いて、解およびフラックスの弱い二尺度収束を確立し、一般化フラックス $\xi^\varepsilon = (a^{(1)}(x/\varepsilon))^{1/2}\nabla u^\varepsilon$ の精密な収束を示す。
• スペクトル理論および半群収束結果（例：[30] より）を二尺度設定に適応し、$L^2(0,T;H_\varepsilon)$ 内で放物型および双曲型初期値問題の解の収束を証明する。
• 作用素 $A_0$ のスペクトル表現を用いて、極限解を明示的に $u_0(x,t) = \cos(A_0^{1/2}t)f_0 + \frac{\sin(A_0^{1/2}t)}{A_0^{1/2}}Pg_0$ として表現し、極限問題の適切な定義を確認する。

実験結果

リサーチクエスチョン

• RQ1 高対比PDE系に$\varepsilon^2$-退化係数を有する場合、二尺度極限の解の問題が適切に定義される一般的な条件は何か？
• RQ2 スティフ成分 $a^{(1)}(y)$ に対して、一様な分解仮定が成立すれば、積型テスト関数の線形包が二尺度エネルギー空間に dense であることが保証され、収束解析が可能になるか？
• RQ3 放物型および双曲型時間発展問題において、極限問題がどの程度まで二尺度構造を保つのか。これによりスペクトル的および半群収束にどのような影響を与えるか？
• RQ4 どのような状況下で二尺度極限作用素 $A_0$ が結合されたまま保たれ、また追加の構造的仮定のもとでスケールが分離する可能性があるか？
• RQ5 主要な分解仮定 (4.2) が成立しない場合、例えば高異方性または非局所的媒体において、この枠組みはどのように拡張可能か？

主な発見

• 二尺度極限の解の問題は適切に定義されており、非負かつ自己共役作用素 $A_0$ に対応しており、今後のスペクトル的解析の基盤を提供する。
• 係数 $a^{(1)}(y)$ に対する主要な分解仮定 (4.2) は、線形弾性、電磁気学、二重多孔質モデルなど広範な高対比系において成立する。
• 楕円型・放物型・双曲型問題の解について、弱および強二尺度収束が確立され、一般化フラックス $\xi^\varepsilon$ が $L^2(0,T;H_\varepsilon)$ 内で収束する。
• 双曲型初期値問題の極限解は明示的に $u_0(x,t) = \cos(A_0^{1/2}t)f_0 + \frac{\sin(A_0^{1/2}t)}{A_0^{1/2}}Pg_0$ として与えられ、スペクトル収束および動的整合性を確認する。
• 積型テスト関数の線形包が二尺度エネルギー空間に dense であることは、一般なスケール間結合のもとでも収束証明を可能にする、重要な技術的結果である。
• 本枠組みは領域の正則性が最小限の状況にも適用可能であり、極限問題はデータの二尺度構造を保つ。これに対して、スペクトル問題では極限作用素の拡張が必要となる場合がある。