[论文解读] On two functionals involving the maximum of the torsion function

Antoine Henrot, Ilaria Lucardesi+1 more|arXiv (Cornell University)|Feb 4, 2017

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

一句话总结

本文研究了涉及扭转函数最大值的两个形状泛函：$ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ 和 $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $，其中 $ T(\Omega) $ 为扭转刚度，$ M(\Omega) $ 为扭转函数的最大值，$ \lambda_1(\Omega) $ 为第一 Dirichlet 特征值。本文建立了 $ F $ 的精确上界，证明在凸区域中 $ F(\Omega) \leq 2/3 $，并表明 $ G(\Omega) \geq 1 $ 是精确的，但一般情况下不存在最大化器；对于凸集，存在优化器，但未明确识别，且在二维中怀疑等边三角形为最大化 $ G $ 的候选。

ABSTRACT

In this paper we investigate upper and lower bounds of two shape functionals involving the maximum of the torsion function. More precisely, we consider $T(Ω)/(M(Ω)|Ω|)$ and $M(Ω)λ_1(Ω) $, where $Ω$ is a bounded open set of $\mathbb{R}^d$ with finite Lebesgue measure $|Ω|$, $M(Ω)$ denotes the maximum of the torsion function, $T(Ω)$ the torsion, and $λ_1(Ω)$ the first Dirichlet eigenvalue. Particular attention is devoted to the subclass of convex sets.

研究动机与目标

• 建立涉及扭转函数最大值的两个泛函 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ 和 $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ 的精确上界和下界。
• 分析这些泛函在 $ \mathbb{R}^d $ 中有界开集上的行为，特别关注凸区域。
• 确定 $ G(\Omega) $ 在有界开集类中是否存在最大化器，特别是在凸集类中，并通过形状导数研究临界性条件。
• 探讨几何特征（如曲率和边界正则性）对 $ F $ 和 $ G $ 的界限的影响，特别是在二维中。

提出的方法

• 作者利用扭转刚度 $ T(\Omega) $ 和第一 Dirichlet 特征值 $ \lambda_1(\Omega) $ 的变分公式，借助其尺度不变性来分析 $ F $ 和 $ G $。
• 对于 $ F(\Omega) $，推导出精确上界 $ F(\Omega) \leq 1 $，并利用边界上的曲率估计证明在凸区域中 $ F(\Omega) \leq 2/3 $。
• 对于 $ G(\Omega) $，建立下界 $ G(\Omega) \geq 1 $，该下界是精确的，并利用拓扑导数证明在一大类区域中不存在最大化器。
• 通过穿孔集 $ \Omega_\epsilon(x) = \Omega \setminus \overline{B}_\epsilon(x) $ 对区域进行扰动，推导出 $ \lambda_1 $ 和扭转函数的渐近展开式，其表达式涉及 Green 函数和边界行为。
• 利用 $ G(\Omega) $ 的形状导数，证明等边三角形无法使导数为零，意味着它在所有正则区域中不是临界点。
• 应用 Hopf 原理和边界展开，表明在边界附近，通过小扰动可使泛函 $ G $ 增大，从而与最大化性矛盾。

实验结果

研究问题

• RQ1 泛函 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ 的最优上界和下界是什么，特别是在凸区域中？
• RQ2 在 $ \mathbb{R}^d $ 中有界开集类中，$ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ 是否存在最大化器？
• RQ3 在二维凸区域中，等边三角形是否为 $ G(\Omega) $ 的最大化器？它在形状变化下是否为临界点？
• RQ4 曲率和边界正则性等几何特征如何影响 $ F $ 和 $ G $ 的取值？
• RQ5 能否利用 $ G(\Omega) $ 的形状导数排除某些区域（如等边三角形）作为临界点？

主要发现

• 泛函 $ F(\Omega) = T(\Omega)/(M(\Omega)|\Omega|) $ 满足 $ F(\Omega) \leq 1 $，且该界是精确的，当退化区域趋于极限时等号成立。
• 在凸区域中，该界改进为 $ F(\Omega) \leq 2/3 $，对于正则平面凸区域，界限可用边界曲率表示。
• 泛函 $ G(\Omega) = M(\Omega)\lambda_1(\Omega) $ 满足 $ G(\Omega) \geq 1 $，且该下界是精确的，当薄区域趋于极限时等号成立。
• 在所有具有有限测度的有界开集类中，$ G(\Omega) $ 不存在最大化器，通过构造可使 $ G $ 增大的扰动已证明此结论。
• 对于凸区域，$ G(\Omega) $ 的最大化器存在，但未被识别；在二维中怀疑等边三角形为最优，尽管其形状导数不为零，故不是临界点。
• 通过在穿孔区域中的渐近展开，作者表明在边界附近，可通过小扰动严格增大 $ G(\Omega) $，与最大化性矛盾。