[论文解读] 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

一句话总结

本文研究了在 $Γ$-收敛意义下，2D 热方程最优形状设计的长时间行为。结果表明，当时间范围 $T \to \infty$ 时，抛物型问题的最优区域在互补的Hausdorff拓扑下收敛于相应椭圆型最优设计问题的极小化器。

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.

研究动机与目标

• 分析当时间范围趋于无穷时，2D 热方程最优形状设计的渐近行为。
• 弥合时变抛物型最优设计问题与其稳态椭圆对应问题之间的差距。
• 在具有有界拓扑复杂度的形状优化背景下，通过 $Γ$-收敛框架建立最优区域的收敛性。
• 将 SŠverák 的椭圆问题几何框架扩展至长时间范围的抛物型设置。
• 为抛物型动力学下形状优化中的Turnpike现象提供严格的理论基础。

提出的方法

• 将抛物型最优设计问题表述为在区域 $\Omega \in \mathcal{O}_\omega^N$ 上最小化时间平均代价泛函，其中 $\Omega^c$ 的连通分支数不超过 $N$。
• 应用 $\Gamma$-收敛技术分析当 $T \to \infty$ 时极小化器的极限，利用热方程解指数收敛至稳态的性质。
• 将抛物型问题与由Poisson方程控制的相应稳态椭圆问题进行比较，二者具有相同的代价泛函，但仅在稳态下评估。
• 利用热方程解在 $H^1_0(\Omega)$ 中指数收敛至椭圆问题解的事实，使 $\Gamma$-收敛工具得以应用。
• 在互补Hausdorff拓扑下建立最优设计的收敛性，确保极限形状的拓扑稳定性。
• 依赖于几何约束集 $\mathcal{O}_\omega^N$，该集合限制了 $\Omega$ 的补集中的连通分支数，从而保证紧致性并确保极小化器的存在性。

实验结果

研究问题

• RQ1 当时间范围 $T \to \infty$ 时，时间平均抛物型热方程的最优形状是否收敛？
• RQ2 最优抛物型设计的极限是否可表征为相应稳态椭圆型最优设计问题的极小化器？
• RQ3 哪些拓扑与分析条件可确保在长时间范围内最优形状的收敛性？
• RQ4 $\Gamma$-收敛框架如何应用于具有时间平均目标的抛物型PDE控制的形状优化问题？
• RQ5 在形状优化中是否存在类似Turnpike的现象，即最优设计在长时间范围内趋于稳定状态配置？

主要发现

• 抛物型问题 $(P^T)$ 的最优设计 $\Omega_T$ 在 $T \to \infty$ 时，于互补Hausdorff拓扑下收敛至稳态椭圆问题 $(P^s)$ 的极小化器。
• 该收敛性通过代价泛函的 $\Gamma$-收敛性得以建立，其几何约束为 $\Omega$ 的补集连通分支数不超过 $N$。
• 当 $t \to \infty$ 时，热方程的解 $y(t,\cdot)$ 在 $H^1_0(\Omega)$ 中指数收敛至Poisson方程的解，从而支持渐近等价性。
• 对每个 $T > 0$，抛物型问题的极小化器 $\Omega_T$ 存在，且极限形状是相应椭圆问题的极小化器。
• 当强迫项 $f$ 为时间无关或指数收敛至稳态时，该收敛结果成立。
• 该方法对有界初值具有鲁棒性，可扩展至鲁棒或随机化形式，但收敛速率问题仍为开放问题。