[论文解读] A shape optimization problem for the $p$-Laplacian

Anisa M. H. Chorwadwala, Rajesh Mahadevan|arXiv (Cornell University)|Jun 19, 2012

Advanced Mathematical Modeling in Engineering参考文献 15被引用 4

一句话总结

该论文将经典拉普拉斯算子的形状优化结果推广至非线性 $p$-拉普拉斯算子，证明当穿孔球体的孔与外球同心时，$p$-张量刚度被最小化，且第一狄利克雷特征值被最大化。作者利用形状导数、移动平面法以及非线性PDE的比较原理，建立了 $1 < p < \infty$ 情况下的对称性与极值性结果。其核心贡献在于将同心性作为唯一最优解的结论从线性情形推广至非线性情形。

ABSTRACT

It is known that the torsional rigidity for a punctured ball, with the puncture having the shape of a ball, is minimum when the balls are concentric and the first eigenvalue for the Dirichlet Laplacian for such domains is also a maximum in this case. These results have been obtained by Ashbaugh and Chatelain (private communication), Harrell et. al., by Kesavan and, by Ramm and Shivakumar. In this paper we extend these results to the case of $p$-Laplacian for $1 &lt; p &lt; \infty$. For proving these results, we follow the same line of ideas as in the aforementioned articles, namely, study the sign of the shape derivative using the moving plane method and comparison principles. In the process, we obtain some interesting new side results such as the Hadamard perturbation formula for the torsional rigidity functional for the Dirichlet $p$-Laplacian, the existence and uniqueness result for a nonlinear pde and some extensions of known comparison results for nonlinear pdes.

研究动机与目标

• 将已知的线性拉普拉斯算子的极值形状结果推广至 $1 < p < \infty$ 情形下的非线性 $p$-拉普拉斯算子。
• 证明当内球与外球同心时，穿孔球体区域的 $p$-张量刚度达到最小值。
• 证明在相同同心构型下，$p$-拉普拉斯算子的第一狄利克雷特征值达到最大值。
• 为 $p$-拉普拉斯算子建立形状微分学框架，包括哈达玛型扰动公式。
• 建立新的比较原理及非线性 $p$-拉普拉斯PDE的存在性/唯一性结果，作为技术工具。

提出的方法

• 利用形状导数概念分析区域变化，计算 $p$-张量刚度与第一特征值泛函的一阶变分。
• 应用移动平面法证明解在区域扰动下的对称性与单调性性质。
• 采用针对具有非零边界条件的 $p$-拉普拉斯算子的弱比较原理，其证明见定理3.1。
• 建立非负解在非线性 $p$-拉普拉斯PDE中的存在性与唯一性结果（命题4.1），以支持比较论证。
• 通过区域变化技术推导出 $p$-拉普拉斯算子张力刚度与第一特征值的哈达玛扰动公式。
• 利用一致椭圆算子的最大值原理分析形状导数的符号，从而确认极值性。

实验结果

研究问题

• RQ1 对于具有球形边界的双连通区域，当内球与外球同心时，$p$-张量刚度是否达到最小值？
• RQ2 在相同同心构型下，$p$-拉普拉斯算子的第一狄利克雷特征值是否达到最大值？
• RQ3 移动平面法与比较原理能否被适配至非线性 $p$-拉普拉斯算子情形，以证明对称性与极值性？
• RQ4 $p$-拉普拉斯算子张力刚度与第一特征值的哈达玛扰动公式的具体形式为何？
• RQ5 为将线性形状优化推广至非线性 $p$-拉普拉斯算子，需要哪些新的比较原理与存在性结果？

主要发现

• 当且仅当内球与外球同心时，$p$-张量刚度泛函 $E(\Omega) = \int_\Omega |\nabla y|^p\,dx$ 达到最小值。
• 当且仅当球体同心时，$p$-拉普拉斯算子的第一狄利克雷特征值 $\lambda_1(\Omega)$ 达到最大值。
• 建立了一个关于具有非零边界条件的 $p$-拉普拉斯算子的新弱比较原理，该结果本身具有独立兴趣。
• 证明了一个非线性 $p$-拉普拉斯PDE的解的存在性与唯一性结果，该结果对应用比较技术至关重要。
• 推导出 $p$-拉普拉斯算子张力刚度的哈达玛型扰动公式，将经典结果推广至非线性情形。
• 通过移动平面法与最大值原理分析形状导数的符号，确认了同心构型的极值性。