[论文解读] Compactness of $M$-uniform domains and optimal thermal insulation problems

Hengrong Du, Qinfeng Li+1 more|arXiv (Cornell University)|Aug 25, 2020

Nonlinear Partial Differential Equations参考文献 26被引用 5

一句话总结

本文通过利用紧致性与变分法，在 $M$-一致区域类中建立了热绝缘问题最优形状的存在性。当源项为常数时，证明了球体是稳定且唯一的极小化器，解决了 $\mathbb{R}^n$ 中绝缘构型存在性与最优性方面的开放问题。分析依赖于 $\Gamma$-收敛、一致 Poincaré 不等式与 Sobolev 延拓性质，以及球体边界上的二阶形状导数。

ABSTRACT

In this paper, we will consider an optimal shape problem of heat insulation introduced by Bucur-Buttazzo-Nitsch. We will establish the existence of optimal shapes in the class of $M$-uniform domains. We will also show that balls are stable solutions of the optimal heat insulation problem.

研究动机与目标

• 解决 Bucur-Buttazzo-Nitsch 提出的两个开放问题：在热绝缘问题中，最优形状的存在性与球体作为极小化器的唯一性。
• 建立 $M$-一致区域的紧致性性质，以确保变分问题中极小化序列的收敛性。
• 通过二阶形状导数证明球体在体积保持变形下是稳定的临界形状。
• 通过引入具有统一几何控制的 $M$-一致区域类，将存在性理论扩展至凸区域之外。
• 分析由厚度趋于零且导热系数趋于零的薄绝缘层导出的极限能量泛函，得到一个边界积分项。

提出的方法

• 应用 $\Gamma$-收敛，从依赖于 $\epsilon$ 的能量泛函 $F_\epsilon$ 推导出 $\epsilon \to 0$ 时的极限泛函 $\mathcal{F}_m$，得到包含绝缘分布 $h$ 的边界积分项。
• 在 $h \in \mathscr{H}_m$ 上最小化极限泛函，导出最优绝缘分布 $h = m|u| / \int_{\partial\Omega} |u|\,d\sigma$，从而将问题约化为最小化仅依赖于 $u$ 和 $\Omega$ 的泛函 $\mathcal{J}_m(u,\Omega)$。
• 利用 $M$-一致区域上的统一 Poincaré 不等式与 Sobolev 延拓性质，获得极小化序列的统一 $H^1$ 有界性。
• 通过由向量场 $\eta \in C_0^\infty(\mathbb{R}^n)$ 生成的光滑单参数变形 $F_t$（满足散度为零）进行形状微分，计算 $\mathcal{J}_m$ 的一阶与二阶变分。
• 利用球体 $B_R$ 的显式解 $u_{B_R}(x) = \frac{R^2 - |x|^2}{2n} + \frac{m}{n^2\omega_n R^{n-2}}$ 与 $\partial B_R$ 上的曲率恒等式，计算 $\mathcal{J}_m$ 在球体处的二阶形状导数。
• 利用球面 $\partial B_R$ 上的 Poincaré 不等式与第一 Stekloff 特征值 $1/R$，证明二阶变分的非负性，从而确认稳定性。

实验结果

研究问题

• RQ1 在固定体积与总绝缘质量的 $M$-一致区域类中，热绝缘问题是否存在最优形状？
• RQ2 当 $f \equiv 1$ 时，球体 $B_R$ 是否是能量泛函 $\mathcal{J}_m(u,\Omega)$ 的唯一极小化器？
• RQ3 通过引入 $M$-一致区域条件，能否在非凸区域中保证极小化序列的紧致性？
• RQ4 $\mathcal{J}_m$ 在球体处的二阶形状导数是什么？它是否确认了稳定性？
• RQ5 边界积分项 $\frac{1}{2m}\left(\int_{\partial\Omega} |u|\,d\sigma\right)^2$ 如何影响球形构型的最优性？

主要发现

• 本文在 $M$-一致区域类中建立了能量泛函 $\mathcal{J}_m(u,\Omega)$ 的极小化器存在性，将先前在凸区域中的结果进行了推广。
• 球体被证明是稳定的极小化器：$\mathcal{J}_m$ 在 $B_R$ 处的二阶形状导数非负，确认了其局部极小性。
• 最优绝缘分布被显式导出为 $h = m|u| / \int_{\partial\Omega} |u|\,d\sigma$，从而将问题约化为仅依赖于 $u$ 与 $\Omega$ 的泛函 $\mathcal{J}_m(u,\Omega)$。
• 当 $f \equiv 1$ 时，球体上的极小化器显式给出为 $u_{B_R}(x) = \frac{R^2 - |x|^2}{2n} + \frac{m}{n^2\omega_n R^{n-2}}$，其中 $\omega_n$ 为 $\mathbb{R}^n$ 中单位球的体积。
• 由于 $\partial B_R$ 上的 Poincaré 不等式与第一 St ekloff 特征值 $1/R$，$\mathcal{J}_m$ 在球体处的二阶变分非负，从而确认了稳定性。
• $M$-一致区域上的统一 Poincaré 不等式与 Sobolev 延拓性质确保了极小化序列的紧致性，使得超越凸性的存在性证明成为可能。