[论文解读] Isoperimetric Inequalities and Sharp Estimate for Positive Solution of Sublinear Elliptic Equations

Qiuyi Dai, Renchu He+1 more|arXiv (Cornell University)|Mar 19, 2010

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

一句话总结

本文通过施瓦茨对称化和重排技术，为次线性椭圆方程的正解建立了精确的等周估计。证明了在解于体积相等的球体内取值时，解的 $ L^{q+1} $-范数和本质上确界被上界控制，且等号成立当且仅当区域为球形，从而通过对称化与球面上模型问题的比较，实现了精确估计。

ABSTRACT

In this paper, we prove some isoperimetric inequalities and give a sharp bound for the positive solution of sublinear elliptic equations.

研究动机与目标

• 推导有界区域中次线性椭圆方程正解的 $ L^{k} $-范数和本质上确界的精确上界。
• 为方程 $ -\Delta u = u^q $（其中 $ 0 < q < 1 $）的解建立等周型不等式，将特征函数型对称化方法推广至非线性问题。
• 证明当且仅当区域 $ \Omega $ 为球形时，最优上界可达到，从而通过对称性刻画极值性。
• 将特征函数对称化技术（如 Chiti 的工作）推广至次线性方程正解的背景中。

提出的方法

• 使用施瓦茨对称化将原区域 $ \Omega $ 变为体积相等的球形区域 $ \Omega^* $，保持测度并实现比较。
• 在 $ \Omega^* $ 上构造辅助问题：$ -\Delta h = h^q $ 在 $ \Omega^* $ 内，$ h = 0 $ 在 $ \partial\Omega^* $ 上，作为比较解。
• 应用重排方法比较 $ u $ 和 $ h $ 的递减重排，利用 Chiti 工作中已知的精确不等式。
• 通过归一化与缩放推导上界：$ u $ 的 $ L^k $-范数和上确界范数由 $ h $ 的对应范数控制，缩放因子为 $ u $ 的 $ L^{q+1} $-范数。
• 利用类 Faber-Krahn 不等式与格林函数估计控制 $ h $ 的最大值，从而获得对区域体积的显式依赖关系。
• 采用泛函 $ S_q(\Omega) = \|u\|_{L^{q+1}(\Omega)}^{q-1} $ 关联不同区域间的范数，并在对称化下建立单调性。

实验结果

研究问题

• RQ1 在有界区域 $ \Omega $ 中，方程 $ -\Delta u = u^q $ 的正解的 $ L^k $-范数的精确上界是什么？其表达式应以 $ u $ 的 $ L^{q+1} $-范数表示。
• RQ2 解的最大点态值能否被其 $ L^{q+1} $-范数的泛函上界控制，且等号成立当且仅当 $ \Omega $ 为球形？
• RQ3 次线性椭圆方程解的等周不等式与拉普拉斯算子特征函数的已知不等式相比有何异同？
• RQ4 施瓦茨对称化与在球面上与径向解比较，在推导非线性问题精确估计中起何作用？
• RQ5 估计的精确性是否可通过区域对称性表征？在何种条件下等号成立？

主要发现

• 解 $ u $ 的 $ L^k $-范数满足 $ \int_\Omega u^k dx \leq C(q,k,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_1} $，其中 $ \sigma_1 = \frac{2(1+q)k + (1-q^2)n}{n+2 - (n-2)q} $，等号成立当且仅当 $ \Omega $ 为球形。
• 解 $ u $ 的本质上确界满足 $ \max_x u(x) \leq C(q,\Omega^*) \|u\|_{L^{q+1}(\Omega)}^{\sigma_2} $，其中 $ \sigma_2 = \frac{2(1+q)}{n+2 - (n-2)q} $，等号成立当且仅当 $ \Omega $ 为球形。
• 常数 $ C(q,\Omega^*) $ 定义为 $ \max_{x\in\Omega^*} h(x) / \|h\|_{L^{q+1}(\Omega^*)}^{\sigma_2} $，其中 $ h $ 是 $ \Omega^* $ 上对称化问题的解，可通过格林函数估计显式计算。
• $ h $ 在 $ \Omega^* $ 上的最大值满足 $ \left[ \frac{ |\Omega| }{ \omega_n (2n)^{n/2} } \right]^{2/((1-q)n)} $，从而导出 $ \|u\|_{L^\infty} $ 的体积依赖型精确上界。
• 在 $ k \geq q+1 $ 的假设下，有 $ \int_\Omega u^k dx \leq \int_{\Omega^*} h^k dx $，等号成立当且仅当 $ \Omega $ 为球形。
• 通过在对称化比较中等号成立的条件证明了估计的精确性，该条件仅在 $ \Omega $ 为球形时成立，从而确认了径向区域的极值性。