[论文解读] An isoperimetric inequality for extremal Sobolev functions

Tom Carroll, Jesse Ratzkin|arXiv (Cornell University)|Aug 7, 2012

Nonlinear Partial Differential Equations参考文献 16被引用 3

一句话总结

本文在具有Lipschitz边界的有界区域中，为精确Sobolev常数的极值函数建立了反向-Hölder不等式，证明了极值函数的 $ L^{p-1} $-范数相对于其 $ L^p $-范数有下界，且等式成立当且仅当区域为球体。该结果推广了Payne与Rayner对特征函数的不等式，依赖于面积分公式、对称化方法以及一维变分分析，推导出Sobolev极值函数的精确等周型不等式。

ABSTRACT

Let D be a bounded domain in n-dimensional Euclidean space, where n>2, and let 1

研究动机与目标

• 在具有Lipschitz边界的有界区域中，为精确Sobolev常数的极值函数建立反向-Hölder不等式。
• 将Laplacian特征函数的Payne-Rayner等周不等式推广至更广泛的极值Sobolev函数类。
• 刻画不等式中等式成立的条件，表明其成立当且仅当区域为球体。
• 在 $ L^p $-范数与Sobolev常数的表达下，为极值函数的 $ L^{p-1} $-范数导出一个精确的下界。

提出的方法

• 使用面积分公式定义辅助函数 $ H(t) = \int_{D_t} \phi^{p-1} \, d\mu $，其中 $ D_t = \{x \in D : \phi(x) > t\} $。
• 应用面积分公式与散度定理，将 $ H $ 关于体积 $ V(t) = |D_t| $ 的导数联系起来，得到 $ \frac{dH}{dV} = t^{p-1} $。
• 利用柯西-施瓦茨不等式与PDE $ \Delta\phi + \lambda \phi^{p-1} = 0 $，推导出 $ H(V) $ 的微分不等式，从而得到 $ \frac{d^2H}{dV^2} $ 的下界。
• 将问题约化为在球体上的一维径向特征值问题，分析涉及 $ \rho^{1-n} f^2 $ 与 $ \rho^{1-n} f'^{p/(p-1)} $ 的Rayleigh商的最小化问题。
• 通过与等体积球体区域 $ D^* $ 的对称化比较，比较Sobolev常数 $ \mathcal{C}_p(D) $ 与 $ \mathcal{C}_p(D^*) $。
• 应用径向极小化器的Euler-Lagrange方程，通过广义商 $ \Lambda_* $ 导出精确界，并将其与 $ \mathcal{C}_p(D^*) $ 关联。

实验结果

研究问题

• RQ1 在何种条件下，极值Sobolev函数的 $ L^{p-1} $-范数在反向-Hölder意义下控制其 $ L^p $-范数？
• RQ2 Laplacian特征函数的Payne-Rayner不等式能否推广至 $ p \in (1, \frac{2n}{n-2}) $ 范围内精确Sobolev常数的极值函数？
• RQ3 所提出的反向-Hölder不等式中，等式在何时成立？何种几何条件迫使等式成立？
• RQ4 精确Sobolev常数 $ \mathcal{C}_p(D) $ 与区域的几何结构有何关系，特别是与球体的比较？

主要发现

• 本文建立了反向-Hölder不等式：$ \left(\int_D \phi^{p-1} \, d\mu\right)^2 \geq |D|^{\frac{n-2}{n}} \left(\int_D \phi^p \, d\mu\right)^{\frac{2(p-1)}{p}} \left[ \frac{2n^2 \omega_n^{2/n}}{p \, \mathcal{C}_p(D)} - (n-2) \frac{n \, \omega_n^{\frac{2}{n} + \frac{p^2 - p + 2}{p(p-1)}}}{\mathcal{C}_p(D^*)} \right] $。
• 等式成立当且仅当区域 $ D $ 为球体，且极值函数 $ \phi $ 为径向对称。
• 当 $ p = 2 $ 时，该不等式退化为Payne-Rayner结果；当 $ n = 2 $ 时，退化为文献[2]中的反向-Hölder不等式。
• 球体的精确常数 $ \mathcal{C}_p(D^*) $ 满足 $ \mathcal{C}_p(D^*) \leq (n\omega_n)^{\frac{p-2}{p}} \Lambda_* $，其中 $ \Lambda_* $ 为一维Rayleigh商的最小值。
• 证明依赖于通过对称化将问题转化为径向设置，并利用面积分公式将水平集与体积函数 $ V(t) $ 关联。
• 分析表明，当 $ D $ 为球体时，$ \phi $ 的 $ L^{p-1} $-范数相对于其 $ L^p $-范数达到最小，反映了其几何极值性。