[論文レビュー] Convergence Rates and Hölder Estimates in Almost-Periodic Homogenization of Elliptic Systems

Zhongwei Shen|arXiv (Cornell University)|Apr 23, 2014

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

ひとこと要約

本稿は、急速に振動するほぼ周期的係数を有する2階楕円系の均質化における収束速度およびホルダー推定を確立する。近似正規化子の定量的枠組みを導入し、係数周波数のスペクトル的性質を活用することで、$\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$ のもとで $L^2$ における最適な $O(\varepsilon^\gamma)$ 収束速度を証明する。ここで $\alpha$ はホルダー正則性、$\tau$ は周波数におけるディオファントス条件を制御する。

ABSTRACT

For a family of second-order elliptic systems in divergence form with rapidly oscillating almost-periodic coefficients, we obtain estimates for approximate correctors in terms of a function that quantifies the almost periodicity of the coefficients. The results are used to investigate the problem of convergence rates. We also establish uniform Hölder estimates for the Dirichlet problem in a bounded $C^{1, α}$ domain.

研究の動機と目的

• 急速に振動するほぼ周期的係数を有する楕円系の解について、定量的収束速度を確立すること。
• 有界な $C^{1,\alpha}$ 域における解の均一ホルダー推定を導出すること。
• 係数のほぼ周期的構造に基づいて、近似正規化子の正則性および減衰性を分析すること。
• 収束速度と係数の周波数スペクトルのディオファントス的性質との関連を明らかにすること。
• 古典的正規化子理論が失敗する周期的でないほぼ周期的設定へ、定量的均質化結果を拡張すること。

提案手法

• 係数行列 $A(y)$ を三角多項式で近似し、持ち上げ技法を用いて正規化子を構成する。
• $\mathbb{R}^d$ 内で $-\text{div}(A(y)\nabla u) + T^{-2}u = \text{div}(A(y)\nabla P_j^\beta)$ を満たす近似正規化子 $\chi_T$ を導入。ここで $P_j^\beta(y) = y_j$ は $\beta$ 番目の成分である。
• 関数 $\Theta_\sigma(T)$ を用いて $\chi_T$ の $L^\infty$ およびホルダー評価を確立し、$T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$ を示す。$\Theta_\sigma(T)$ は $A(y)$ のほぼ周期性を定量的に測る。
• 周波数ベクトルの一様分布を推定するために、不均一性理論およびエレミス＝トゥーラン＝コクスマの不等式を適用し、スペクトル関数 $\theta_\lambda(R)$ の評価を導出する。
• 指数和の減衰を制御するため、$|n \cdot \lambda| \geq c_0 |n|^{-\tau}$ の形のディオファントス条件に依存する。
• 正規化子 $\chi_T$ の評価と $u_\varepsilon$ の弱収束を組み合わせ、エネルギー推定および補間を用いて $L^2$ 収束速度を導出する。

実験結果

リサーチクエスチョン

• RQ1 $L^2$ ノルムにおける、ほぼ周期的係数を有する楕円系の解の最適収束速度は何か？
• RQ2 係数行列 $A(y)$ の正則性およびスペクトル構造は、収束速度にどのように影響するか？
• RQ3 混合性や周期性の欠如により正確な正規化子が存在しない場合、近似正規化子を構成し、その評価を行うことは可能か？
• RQ4 周波数スペクトルにおけるディオファントス条件は、定量的均質化結果にどの程度影響を与えるか？
• RQ5 ほぼ周期的係数のもとで、$C^{1,\alpha}$ 域におけるディリクレ問題の解に対して、どのような均一ホルダー推定を確立できるか？

主な発見

• 任意の $T \geq 1$ および $\sigma \in (0,1)$ に対して、近似正規化子は $T^{-1}\|\chi_T\|_{L^\infty} \leq C_\sigma \Theta_\sigma(T)$ を満たす。ここで $\Theta_\sigma(T)$ は $A(y)$ のほぼ周期性を定量的に測る。
• $\chi_T$ はすべての $x,y \in \mathbb{R}^d$ に対してホルダー推定 $|\chi_T(x) - \chi_T(y)| \leq C_\sigma T^{1-\sigma} |x-y|^\sigma$ を満たす。
• $0 < r \leq T$ のとき、局所化された $L^2$ 半ノルムは $\sup_{x \in \mathbb{R}^d} \left(-\!\!\!\!\int_{B(x,r)} |\nabla \chi_T|^2 \right)^{1/2} \leq C_\sigma (T/r)^\sigma$ を満たす。
• ディオファントス周波数条件 $|n \cdot \lambda| \geq c_0 |n|^{-\tau}$ のもとで、スペクトル関数は $\theta_\lambda(R) \leq C R^{-1/(\widetilde{m}(\tau+1))} (\log R)^{1 - 1/\widetilde{m}}$ を満たす。
• $A(y)$ がホルダー連続的（正則性 $\alpha$）であるとき、$L^2$ 収束速度は $\|u_\varepsilon - u_0\|_{L^2(\Omega)} \leq C_\gamma \varepsilon^\gamma \|u_0\|_{W^{2,p}(\Omega)}$ で与えられ、任意の $\gamma < \alpha / (\alpha + \widetilde{m}(\tau+1))$ に対して成立する。
• 十分に滑らかで、ディオファントス条件を満たす準周期的係数の場合は、既知の周期的ケースと整合的である、$O(\varepsilon)$ の鋭い収束速度が回復される。