[論文レビュー] Homogenization of the boundary value for the Dirichlet Problem

Sunghan Kim, Ki-Ahm Lee+1 more|arXiv (Cornell University)|Jan 31, 2012

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

ひとこと要約

本稿は、境界の曲率制御がなくても、振動的境界積分が均質化するための鋭い幾何的条件である『無理数方向稠密条件』（IDDC）を確立する。エルゴディック理論と重み付きWeylの補題を用いて、境界層補正項が平均化された極限に収束することを証明し、$C^1$-領域においても解の均質化を保証する。

ABSTRACT

In this paper, we give a mathematically rigorous proof of the averaging behavior of oscillatory surface integrals. Based on ergodic theory, we find a sharp geometric condition which we call irrational direction dense condition, abbreviated as IDDC, under which the averaging takes place. It should be stressed that IDDC does not imply any control on the curvature of the given surface. As an application, we prove homogenization for elliptic systems with Dirichlet boundary data, in $C^1$-domains.

研究の動機と目的

• 境界上の幾何的条件を特定し、境界の曲率制御がなくても、振動的表面積分が均質化する条件を同定すること。
• 急速に振動するディリクレデータを伴う楕円型系の文脈において、振動的境界積分の収束を確立すること。
• 境界層補正項が平均化された極限に収束することを証明し、全ディリクレ問題の均質化を可能にすること。
• 有理数法線方向が存在する反例を用いて、IDDC条​​件の鋭さを示すこと。
• 測度論的およびエルゴディック的手法を用いて、境界の正則性仮定を最小限に抑えた$C^1$-領域への均質化理論の拡張。

提案手法

• 境界法線方向のエルゴディシティを保証する幾何的基準として、無理数方向稠密条件（IDDC）を導入すること。
• Partition of unityを用いて表面積分を局所化し、無理数的境界点における境界データの第一引数を固定すること。
• 接超平面における振動的積分を制御するため、Weylの補題の重み付き版を適用すること。
• Egoroffの定理を用いて、$r = \varepsilon^\kappa$（$(1+\mu)^{-1} < \kappa < 1$）という中間スケールにおける平均化積分の一様収束を達成すること。
• 解のポアソン積分表現を構成し、それを平均化部と剰余項に分解すること。
• ポアソン核の減衰性質と中間スケールの大きさを用いて、剰余項を推定すること。

実験結果

リサーチクエスチョン

• RQ1 境界$\Gamma$にどのような幾何的条件が課されると、振動的表面積分$\int_\Gamma g(x, x/\varepsilon) \, d\sigma_x$が平均化積分$\int_\Gamma \int_{\mathbb{T}^n} g(x,y) \, dy \, d\sigma_x$に収束するか？
• RQ2 境界の曲率制御なしに、急速に振動するディリクレデータを伴う楕円型系の均質化は確立可能か？
• RQ3 無理数方向稠密条件（IDDC）は鋭いか？ また、それが成立しない場合には何が起こるか？
• RQ4 滑らかさや曲率の仮定がない状況下で、境界層補正項の収束をどのように制御できるか？
• RQ5 境界に有理数法線を持つ平坦部を含む場合、均質化極限が不連続になることはあり得るか？

主な発見

• IDDC条​​件のもとで、$\varepsilon \to 0$のとき、振動的表面積分$\int_\Gamma g(x, x/\varepsilon) \, d\sigma_x$は$\int_\Gamma \int_{\mathbb{T}^n} g(x,y) \, dy \, d\sigma_x$に収束する。
• IDDC条​​件は鋭い：それが成立しない場合、例えば有理数法線を持つ平坦境界部では、収束の極限プロファイルが列$\varepsilon_i$に依存し、有効境界データが不連続になる可能性がある。
• 定数係数のスカラー楕円型系において、反例により、有理数法線境界上では、解の極限が$h$の値域内の任意の値を取り得ることを示し、均質化極限の非一意性を証明する。
• ポアソン核分解における剰余項$R_\varepsilon$は、任意のコンパクト集合$E \Subset \Omega$に対して$\|R_\varepsilon\|_{L^\infty(E)} \to 0$を満たし、解$u_\varepsilon$が均質化極限に収束することを保証する。
• IDDCが成立するとき、有効境界データ$\overline{g}(x)$は平均$\int_{\mathbb{T}^n} g(x,y) \, dy$として与えられ、これは追加仮定なしに改善できない最適な表現である。
• 本手法は$C^1$-領域に適用可能であり、境界の正則性をわずかに要求するのみで、曲率の上限や$g$の滑らかさ（周期性を超えるもの）は必要としない。