[論文レビュー] A note on H-convergence

Björn Gustafsson, Jacqueline Mossino|ArXiv.org|Aug 11, 2006

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

ひとこと要約

本稿では、導電率行列のH収束に関する基準を確立し、$ A^\varepsilon \to A $ がH収束の意味で成り立つのは、$ M^\varepsilon A^\varepsilon = P^\varepsilon $ および $ M A = P $ を満たす行列表現 $ M^\varepsilon $, $ P^\varepsilon $ が存在し、$ M^\varepsilon $ と $ P^\varepsilon $ が $ L^2 $ で弱収束し、かつ $ \operatorname{curl} M^\varepsilon $ と $ \operatorname{div} P^\varepsilon $ が $ H^{-1} $ で相対的にコンパクトであるとき、かつそのときに限り成り立つことを示した。この結果は、既知の商表現に基づくアプローチを一般化し、補間コンパクトネスを用いた均質化のための統一的枠組みを提供する。

ABSTRACT

We give a criterion for H-convergence of conductivity matrices in terms of ordinary weak convergence of the factors in certain quotient representations of the matrices.

研究の動機と目的

• H収束の一般的かつ同値な条件を、商表現における行列因子の弱収束の観点から導出すること。
• 特に積層媒質において顕著な特定の商分解に依存する既存の手法を統一・一般化すること。
• このような商表現の存在が特殊な場合に限られるのではなく、H収束の一般的性質であることを示すこと。
• 得られた基準を用いて、均質化問題における補正項を構成するための枠組みを提供すること。

提案手法

• 補間コンパクトネス理論におけるdiv-curl補題を用いて、行列因子の弱収束とH収束を関連付ける。
• 著者たちは、導電率行列 $ A^\varepsilon $ を $ A^\varepsilon = (M^\varepsilon)^{-1} P^\varepsilon $ の形に表現し、$ M^\varepsilon $ と $ P^\varepsilon $ を $ L^2 $ に属する行列とする。
• 行列 $ A^\varepsilon $ の収束は、$ M^\varepsilon \rightharpoonup M $ および $ P^\varepsilon \rightharpoonup P $ が $ L^2 $ で成り立ち、かつ $ \operatorname{curl} M^\varepsilon $ と $ \operatorname{div} P^\varepsilon $ が $ H^{-1} $ で相対的にコンパクトであることで特徴づけられる。
• 証明は、ムラトとタルタールの手法を適応し、特に楕円型系の文脈における補間コンパクトネスと弱極限の利用を含む。
• 正規化が可能であり、例えば $ M = I $ と設定できる。このとき $ \operatorname{curl} M^\varepsilon = 0 $ とすることで、対称な場合の解析が簡略化される。
• 結果は転置行列へと拡張され、$ E^\varepsilon $ と $ D^\varepsilon $ の補正項の構成が得られ、$ N^\varepsilon $ と $ Q^\varepsilon $ が有界であれば、$ L^2_{\text{loc}} $ で強い収束が成立することが示された。

実験結果

リサーチクエスチョン

• RQ1 行列因子 $ M^\varepsilon $ と $ P^\varepsilon $ にどのような条件下で $ A^\varepsilon $ のH収束 $ A^\varepsilon \to A $ が成立するか？
• RQ2 商表現 $ M^\varepsilon A^\varepsilon = P^\varepsilon $ が、周期性や積層構造といった構造的仮定に依存しないH収束の一般基準として使用可能か？
• RQ3 弱収束する $ M^\varepsilon $ と $ P^\varepsilon $ に加え、その回転と発散のコンパクト性がH収束をどのように導くか？
• RQ4 この基準を用いて、均質化問題における補正項を体系的に構成可能か？

主な発見

• H収束 $ A^\varepsilon \to A $ が成り立つのは、$ M^\varepsilon A^\varepsilon = P^\varepsilon $ を満たす行列 $ M^\varepsilon, P^\varepsilon $ が存在し、$ M^\varepsilon \rightharpoonup M $、$ P^\varepsilon \rightharpoonup P $ が $ L^2 $ で成り立ち、かつ $ \operatorname{curl} M^\varepsilon $ と $ \operatorname{div} P^\varepsilon $ が $ H^{-1} $ で相対的にコンパクトであるとき、かつそのときに限り成り立つ。
• 行列 $ M $ は単位行列として選べられ、$ \operatorname{curl} M^\varepsilon = 0 $ となるように $ M^\varepsilon $ を構成可能であり、これにより解析が簡素化される。
• この基準は標準的なH収束の定義と同値であり、商表現を用いた構成的代替手段を提供する。
• この結果は、$ E^\varepsilon $ と $ D^\varepsilon $ の補正項が $ N^\varepsilon E $ と $ Q^\varepsilon E $ の形で構成可能であることを示唆し、$ N^\varepsilon $ と $ Q^\varepsilon $ が有界であれば、$ L^2_{\text{loc}} $ で強い収束が成立する。
• 積層媒質の場合は、$ M^\varepsilon $ と $ P^\varepsilon $ を明示的に構成でき、$ \operatorname{curl} M^\varepsilon = 0 $、$ \operatorname{div} P^\varepsilon = 0 $ とでき、H収束は $ M^\varepsilon $ と $ P^\varepsilon $ の弱収束に帰着する。
• この枠組みは転置に関して安定であり、転置系の補正項の導出が可能となり、線形弾性への応用範囲が拡張される。