[論文レビュー] Convergence Rates in Parabolic Homogenization with Time-Dependent Periodic Coefficients

Jun Geng, Zhongwei Shen|arXiv (Cornell University)|Apr 22, 2016

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

ひとこと要約

本稿は、時間に依存する周期的係数を有する2階放物型系の弱解について、L²における鋭いO(ε)収束率を確立する。エネルギー推定と補正子に基づく双対性の議論を用いて、係数行列および領域の正則性を最小限にした仮定のもとで、不均質解とその均質化極限との差がL²(Ω×(0,T))でεの速度で収束することを証明する。

ABSTRACT

For a family of second-order parabolic systems with bounded measurable, rapidly oscillating and time-dependent periodic coefficients, we investigate the sharp convergence rates of weak solutions in $L^2$. Both initial-Dirichlet and initial-Neumann problems are studied.

研究の動機と目的

• 有界可測で、急激に振動する、かつ時間に依存する周期的係数を有する放物型系について、L²における鋭い収束率を確立すること。
• 係数行列および領域の正則性を最小限にした仮定のもとで、初期Dirichlet問題および初期Neumann問題を解析すること。
• 係数行列の滑らかさを仮定しないで、最適（すなわちO(ε)）なL²収束推定式を導出すること。
• 時間に依存する周期的構造への均質化理論の拡張を図り、エネルギーおよび双対性の技法を用いて時間スケール分離の影響を制御すること。

提案手法

• 空間および時間に周期的である係数A(x/ε, t/ε²)を有する放物型系∂ₜ + ℒₑuₑ = Fを定式化する。
• L²(0,T;H¹₀(Ω))とその双対空間との双対性ペアリングを用いて、uₑ − u₀のL²ノルムを推定する。
• 誤差を分解し、境界および初期層効果を制御するために、補正子関数zₑおよび補助解vₑ, v₀を導入する。
• エネルギー推定および薄い時間層(t−ε²,t)における∇u₀の重み付きL²バインディングを適用し、一時的振動を制御する。
• 補題3.5, 4.1, 4.2を用いて、双対解を介して勾配および時間微分を含む誤差項をバインディングする。
• 随伴問題を用いた双対性の議論により、L²誤差推定を双対解およびその勾配のバインディングに還元する。

実験結果

リサーチクエスチョン

• RQ1 時間に依存する周期的係数を有する放物型系の弱解について、L²における最適収束速度は何か？
• RQ2 時間スケールの振動（t/ε²）が、純粋空間均質化と比較して収束速度にどのように影響するか？
• RQ3 係数行列の滑らかさを仮定しないで、鋭いO(ε)収束速度を確立できるか？
• RQ4 初期条件および境界条件は、特にNeumannおよびDirichletの場合に収束速度にどのように影響するか？
• RQ5 u₀の時間局所的L²ノルム|∇u₀|²は収束推定式において果たす役割は何か？また、どのように制御できるか？

主な発見

• 本稿は、初期Dirichletおよび初期Neumann問題の両方について、L²(Ω×(0,T))で鋭いO(ε)収束率を確立する。
• 収束推定式は、‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε{‖u₀‖_{L²(0,T;H²(Ω))} + ‖F‖_{L²(Ω×(0,T))} + sup_{ε²<t<T}(ε⁻¹∫_{t−ε²}^{t}∫_Ω|∇u₀|²)^{1/2}}の形をとる。
• g=0およびh=0の場合、推定式は‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε‖F‖_{L²(Ω×(0,T))}に簡略化され、外力項に最適な依存性が示される。
• g=0およびh∈H¹(Ω)の場合、境界は‖uₑ − u₀‖_{L²(Ω×(0,T))} ≤ Cε{‖F‖_{L²(Ω×(0,T))} + ‖h‖_{H¹(Ω)}}の形に変わる。
• u₀の時間局所的勾配への依存性は本質的であり、取り除くことはできない。これは、高速な時間振動の影響を反映している。
• 双対性および随伴問題を用いた証明技法により、Neumannの場合にも同様の収束速度が、同一の仮定のもとで成立することが確認される。