[論文レビュー] Optimal shape design for 2D heat equations in large time

Emmanuel Trélat, Can Zhang+1 more|arXiv (Cornell University)|May 8, 2017

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

ひとこと要約

本稿は、2次元熱方程式の最適形状設計の長時間挙動を $Γ$-収束を用いて調査する。$T \to \infty$ となる極限において、放物型問題の最適領域が、補集合のハウスドルフ位相において、対応する定常楕円型最適設計問題の最小化子に収束することを証明する。

ABSTRACT

In this paper, we investigate the asymptotic behavior of optimal designs for the shape optimization of 2D heat equations in long time horizons. The control is the shape of the domain on which heat diffuses. The class of 2D admissible shapes is the one introduced by Sverák, of all open subsets of a given bounded open set, whose complementary sets have a uniformly bounded number of connected components. Using a $Γ$-convergence approach, we establish that the parabolic optimal designs converge as the length of the time horizon tends to infinity, in the complementary Hausdorff topology, to an optimal design for the corresponding stationary elliptic equation.

研究の動機と目的

• 時間スケール $T \to \infty$ のときの2次元熱方程式に対する最適形状設計の漸近的挙動を分析すること。
• 時間依存の放物型最適設計問題とその定常状態の楕円型対応問題との間のギャップを埋めること。
• 有界なトポロジカル複雑性を有する形状最適化の文脈において、$Γ$-収束フレームワークを用いて最適領域の収束を確立すること。
• SŠverákの楕円型問題における幾何的枠組みを、長時間スケールにおける放物型設定に拡張すること。
• 放物型動的条件下における形状最適化におけるターンパイク現象の厳密な基礎を提供すること。

提案手法

• 時間平均化されたコスト関数を領域 $\Omega \in \mathcal{O}_\omega^N$ 上で最小化する放物型最適設計問題を定式化する。ここで $\Omega^c$ は高々 $N$ 個の連結成分を持つ。
• 解が熱方程式に沿って定常状態に指数関数的に収束することを活用し、$T \to \infty$ の極限における最小化子の極限を $\Gamma$-収束技術を用いて分析する。
• 同じコスト関数を用いるが、定常状態で評価されるポisson方程式に従う対応する定常楕円型問題と放物型問題を比較する。
• 熱方程式の解が $H^1_0(\Omega)$ 内で指数関数的に楕円型問題の解に収束することを用い、$\Gamma$-収束の道具を適用可能にする。
• 最適設計の収束を、補集合のハウスドルフ位相において確立し、極限形状のトポロジカル安定性を保証する。
• 領域 $\Omega$ の補集合に高々 $N$ 個の連結成分を持つという幾何的制約集合 $\mathcal{O}_\omega^N$ に依存しており、これはコンパクト性と最小化子の存在を保証する。

実験結果

リサーチクエスチョン

• RQ1 時間平均化された放物型熱方程式の最適形状は、時間スケール $T \to \infty$ のとき収束するか？
• RQ2 最適放物型設計の極限は、対応する定常楕円型最適設計問題の最小化子として特徴付けられるか？
• RQ3 長時間スケールにおける最適形状の収束を保証するトポロジカルおよび解析的条件は何か？
• RQ4 $\Gamma$-収束フレームワークは、時間平均化目的関数を伴う放物型PDEに従う形状最適化問題にどのように適用されるか？
• RQ5 形状最適化において、最適設計が長時間スケールで定常状態に安定化するようなターンパイク的挙動が存在するか？

主な発見

• 放物型問題 $(P^T)$ の最適設計 $\Omega_T$ は、$T \to \infty$ のとき、補集合のハウスドルフ位相において、定常楕円型問題 $(P^s)$ の最小化子に収束する。
• 幾何的制約（$\Omega^c$ が高々 $N$ 個の連結成分を持つ）の下で、コスト関数の $\Gamma$-収束により収束が確立される。
• $t \to \infty$ のとき、熱方程式の解 $y(t,\cdot)$ は $H^1_0(\Omega)$ 内でポisson方程式の解に指数関数的に収束する。このため、漸近的等価性が正当化される。
• 各 $T > 0$ に対して、放物型問題の最小化子 $\Omega_T$ は存在し、極限形状は対応する楕円型問題の最小化子である。
• 外力項 $f$ が時間に依存しないか、指数関数的に定常状態に収束するという仮定の下で、収束結果は成り立つ。
• 本手法は有界な初期データに対してロバストであり、ロバストまたは確率的定式化へと拡張可能であるが、収束速度は未解決の問題のままである。