[論文レビュー] Homogenisation of Monotone Parabolic Problems with Several Temporal Scales: The Detailed arXiv e-Print Version

Jens Persson|arXiv (Cornell University)|Mar 29, 2010

Advanced Mathematical Modeling in Engineering参考文献 38被引用数 5

ひとこと要約

本稿では、2つの空間スケールと複数の時間スケールを有する単調な放物型PDEに対して、H収束およびマルチスケール収束技術を用いた均質化理論を展開する。4つの明確に異なる均質化された状態—遅い時間振動、遅い共鳴振動、速い時間振動、速い共鳴振動—を特定し、それぞれが固有の局所セル問題に従う。スケールが明確に分離されている条件下で、解およびフラックスの収束が厳密に確立されている。

ABSTRACT

In this paper we homogenise monotone parabolic problems with two spatial scales and finitely many temporal scales. Under a certain well-separatedness assumption on the spatial and temporal scales as explained in the paper, we show that there is an H-limit defined by at most four distinct sets of local problems corresponding to slow temporal oscillations, slow resonant spatial and temporal oscillations (the "slow" self-similar case), rapid temporal oscillations, and rapid resonant spatial and temporal oscillations (the "rapid" self-similar case), respectively.

研究の動機と目的

• 2つの空間スケールと複数の時間スケールを有する単調な放物型問題への均質化理論の拡張を図ること。
• 空間スケールと時間スケールが明確に分離されている状況下でのフラックスの均質化極限を特定すること。
• スケールパラメータの減衰速度の相対的違いに基づく明確な漸近的状態を同定すること。
• H収束およびマルチスケール収束を用いて、解およびフラックスの収束を厳密に確立すること。
• 各状態に対して、均質化問題および関連する局所セル問題の明示的形を導出すること。

提案手法

• 係数が急速に振動する放物型PDEの列を解析するため、H収束およびマルチスケール収束技術を用いる。
• スケール関数 ε, ε₁′, ..., εₘ′ に「明確な分離条件」を導入し、異なる漸近的状態を区別する。
• 2スケールおよびマルチスケール収束を用いて、空間（y）および複数の時間スケール（s₁, ..., sₘ）における振動を捉える。
• 局所変数 y および s₁, ..., sₘ における積分を用いて、均質化フラックス b を定義する。この積分には、元のフラックス a および補正関数 u₁ が含まれる。
• スケール状態に応じて変化する局所問題（楕円型、放物型、または混合型の系）を解くことにより、補正関数 u₁ を特定する。
• Sobolev空間における弱収束の結果を適用し、uε が L²(ΩT) で強収束し、∇uε が L²(0,T;H₀¹(Ω)) で弱収束することを証明する。

実験結果

リサーチクエスチョン

• RQ1 複数の時間スケールが、2つの空間スケールを有する単調な放物型PDEの均質化にどのように影響を与えるか。
• RQ2 スケールパラメータの相対的減衰速度の違いから生じる明確な漸近的状態は何か。
• RQ3 これらの状態間で局所セル問題はどのように異なり、補正関数 u₁ を記述する方程式は何か。
• RQ4 どのようなスケール分離条件下でH極限が存在し、明確な形を取るか。
• RQ5 均質化フラックスは局所変数の積分として表現可能か。空間的および時間的振動の共鳴性・非共鳴性にどのように依存するか。

主な発見

• 解列 uε の均質化極限 u は L²(ΩT) で強収束し、L²(0,T;H₀¹(Ω)) で弱収束する。
• 勾配列 ∇uε は (2,m+1)-意味で ∇u + ∇y u₁ に収束する。ここで u₁ はマルチスケール展開における補正関数である。
• 均質化フラックス b は b(x,t;∇u) = ∫_{Y₁ₘ} a(x,t,y,sₘ;∇u + ∇y u₁) dy dsₘ で与えられ、u₁ はスケール状態に依存する局所問題を解く。
• 4つの明確な状態が特定された：(i) 遅い時間振動、(ii) 遅い共鳴的空間-時間振動、(iii) 速い時間振動、(iv) 速い共鳴振動。それぞれが固有の局所問題系を有する。
• 遅い共鳴状態（ii）では、局所問題に時間微分と高速時間スケールにおける平均値ゼロ条件が含まれる。
• 速い共鳴状態（iv）では、補正関数 u₁ は時間微分をゼロとし、平均フラックス制約を満たす放物型方程式を満たす系を満たす。