[论文解读] Variational problems on classes of convex domains

Nicolas Van Goethem|arXiv (Cornell University)|Mar 25, 2007

Advanced Mathematical Modeling in Engineering参考文献 14被引用 6

一句话总结

本文在有界集 $D \subset \mathbb{R}^N$ 内的固定体积凸区域类上建立了变分问题极小化元的存在性。通过使用一致收敛（等价于Hausdorff距离）和下半连续性，证明了诸如椭圆算子特征值和牛顿最小阻力问题等泛函在此类区域上达到其下确界，且结果推广至一般偶数阶椭圆算子。

ABSTRACT

We prove the existence of minimizers for functionals defined over the class of convex domains contained inside a bounded set D of R^N and with prescribed volume. Some applications are given, in particular we prove that the eigenvalues of differential operators of second and fourth order with non-constant coefficients as well as integral functionals depending on the solution of an elliptic equation can be minimized over this class of domains. Another application of this result is related to the famous Newton problem of minimal resistance. In general, all the results we shall develop hold for elliptic operators of any even order larger that 0.

研究动机与目标

• 在有界集 $D \subset \mathbb{R}^N$ 内的固定体积凸区域类上建立泛函极小化元的存在性。
• 通过将一致收敛作为凸区域类上的拓扑，解决形状优化中的紧致性挑战。
• 通过放宽齐次性和单调性等假设，推广现有的形状优化结果。
• 证明一大类泛函（包括具有非恒定系数的二阶与四阶椭圆算子特征值）的极小化元存在性。
• 将抽象框架应用于具体问题，如牛顿的最小阻力问题。

提出的方法

• 将 $D$ 中具有固定体积 $m$ 的开凸区域类 $C_m(D)$ 作为优化的定义域空间。
• 采用一致收敛（等价于Hausdorff距离）作为收敛拓扑，以确保凸区域空间中的紧致性。
• 通过证明泛函在一致收敛下满足下半连续性，应用变分法的直接法。
• 依赖Rademacher定理及凸集的性质，确保边界几乎处处可微且法向量存在。
• 利用Fatou引理及通过边界之间几乎处处可微映射的雅可比行列式收敛性，证明面积分的下半连续性。
• 在 $L^p(S^{N-1})$ 中应用Riesz-Kolmogorov紧致性定理，提取边界上法向量的收敛子列。

实验结果

研究问题

• RQ1 在有界集 $D \subset \mathbb{R}^N$ 内的固定体积凸区域类上，一般泛函的极小化元是否存在？
• RQ2 是否可在不假设泛函齐次性或单调性的情况下建立极小化元的存在性？
• RQ3 牛顿的最小阻力问题在固定体积凸区域类中是否可解？
• RQ4 能否在凸区域上最小化具有非恒定系数的二阶与四阶椭圆算子的特征值？
• RQ5 在凸区域上的一致收敛是否足以保证紧致性与下半连续性，从而使直接法适用？

主要发现

• 在有界集 $D \subset \mathbb{R}^N$ 内的固定体积凸区域类在一致收敛（Hausdorff距离）下是紧致的。
• 若 $f$ 关于法向量 $\nu(x)$ 可测且下半连续，则泛函 $F(\Omega) = \int_{\partial\Omega} f(x,\nu(x))\,d\mathcal{H}^{N-1}$ 沿一致收敛是下半连续的。
• 总阻力泛函 $\int_{\partial\Omega} \left( (\nu(x) \cdot A(x))^+ \right)^3 d\mathcal{H}^{N-1}$ 存在极小化元，从而在凸类中解决了牛顿的最小阻力问题。
• 该结果可推广至任意正偶数阶椭圆算子的特征值，包括具有非恒定系数的情形。
• 在凸区域一致收敛下，边界点处法向量的收敛性得以保持，确保了几何量在极限下的一致性。