[论文解读] On symmetry and asymmetry in a problem of shape optimization

Alexander I. Nazarov|arXiv (Cornell University)|Aug 17, 2012

Analytic and geometric function theory参考文献 5被引用 6

一句话总结

本文研究了涉及Sobolev范数和加权$L^p$-半范数的多维形状优化问题中的对称性破缺。研究证明，当$q > \widehat{q} = \left(\frac{r-1}{n}+1\right)^2p - \frac{(r-1)^2}{n}$时，最优区域为一对不等半径的球体，这与先前认为当$q = r-1$时等半径球体始终最优的结论相矛盾。

ABSTRACT

We investigate a shape optimization problem of the Polya-Szego type and prove some results on symmetry and asymmetry of extremal domains.

研究动机与目标

• 解决在$L^r$零均值约束下泛函$\lambda(p,q,r;\Omega) = \inf \frac{\|\nabla u\|_{L^p}}{\|u\|_{L^q}}$的形状优化问题。
• 确定当$q = r-1$时，最优区域是否始终为一对等半径球体，如先前猜想所述。
• 确定对称性破缺在极小化器中发生的临界阈值$\widehat{q}$。
• 建立极小化器为非对称的条件，特别是在$q > \widehat{q}$的区域。
• 推翻[7]中提出的观点，即对所有$p \in (1,\infty)$和$q = r-1$，等半径球体均为最优。

提出的方法

• 使用Schwarz对称化方法，证明除非区域为两个不相交球体的并集，否则下确界严格减小。
• 推导极小化器的Euler-Lagrange方程，导出涉及拉格朗日乘子$\lambda$和$\mu$的系统。
• 将问题约化为单位球上的径向常微分方程，通过伸缩和常数乘法进行缩放。
• 将最小化问题转化为依赖于两个球体相对半径的函数$F(y)$。
• 分析$F(y)$在$y = 0$附近的泰勒展开，以确定其凸性/凹性，从而确定最小值的位置。
• 利用泰勒级数二次项中的指数$\gamma$判断对称性是否被破坏（$\gamma < 0$）或保持（$\gamma > 0$）。

实验结果

研究问题

• RQ1 当$q = r-1$时，形状优化问题的最优区域是否始终为一对等半径球体，如[7]所述？
• RQ2 临界值$\widehat{q}$为何值，使得当$q > \widehat{q}$时，极小化器变为非对称？
• RQ3 当$q > (2r-1)p$时，多维情形下是否会发生对称性破缺，如同一维情形一样？
• RQ4 临界指数$\widehat{q}$如何依赖于$p, r, n$？其在$r-1 \to p^*$时的行为如何？
• RQ5 能否通过约化泛函的变分与渐近分析，精确刻画对称性破缺的阈值？

主要发现

• 当$q > \widehat{q} = \left(\frac{r-1}{n}+1\right)^2p - \frac{(r-1)^2}{n}$时，最优形状为一对非等半径球体，证明了多维情形下的对称性破缺。
• 当$q = r-1$时，最优形状为一对等半径球体，且该条件是精确的：当$q = r-1 + \delta$且$\delta > 0$时，随着$r-1 \to p^*$，对称性被打破。
• 临界阈值$\widehat{q}$在一维情形下严格大于$(2r-1)p$，表明高维情形下存在不同的分岔点。
• 建模能量比的函数$F(y)$在$q = r-1$时具有严格凸的分子和常数分母，确保在$y = 0$处存在唯一最小值，即等半径球体。
• 当$q > \widehat{q}$时，二阶泰勒系数$\gamma < 0$，意味着在$y = 0$处为局部最大值，因此最小值出现在$y \neq 0$处，即非等半径球体。
• 该结果推翻了[7, 定理1]，其声称对所有$p \in (1,\infty)$和$q = r-1$，等半径球体均为最优，通过证明当$q$超过$\widehat{q}$时会出现非对称性。