[论文解读] Symmetry and monotonicity results for positive solutions of p-Laplace systems

Céline Azizieh|ArXiv.org|Aug 7, 2001

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

一句话总结

该论文通过移动超平面法将标量 p-Laplace 方程正解的对称性与单调性结果推广至 p-Laplace 方程组，证明在指数 $ p_1, p_2 \in (1,2) $ 或其中之一为 2 的条件下，当非线性项为递增且局部利普希茨连续时，解在方向对称区域中具有对称性且严格递减。

ABSTRACT

We extend to the case of a system involving p-Laplacians, the monotonicity and symmetry results of Damascelli and Pacella obtained in the case of a scalar p-Laplace equation with $1

研究动机与目标

• 将 Damascelli 与 Pacella 关于标量 p-Laplace 方程的单调性与对称性结果推广至耦合的 p-Laplace 方程组。
• 分析涉及两个具有不同指数 $ p_1, p_2 \in (1,2) $ 或其中之一为 2 的 p-Laplace 算子的系统之正弱解的行为。
• 在非线性项 $ f $ 与 $ g $ 的正则性要求最低的前提下，建立解的方向单调性与对称性，其中 $ f $ 与 $ g $ 为非减且局部利普希茨连续。
• 证明当区域具有对称性且非线性项严格递增时，解在对称方向上具有对称性且严格递减。
• 解决在 $ p_1, p_2 \neq 2 $ 的系统中应用移动超平面法的技术难题，此时标准比较原理效果较弱。

提出的方法

• 采用移动超平面法分析有界区域 $ \Omega \subset \mathbb{R}^N $（具有 $ C^1 $ 光滑边界）中解的对称性与单调性。
• 定义关于超平面 $ T_{\lambda}^{\nu} $ 的反射 $ x_{\lambda}^{\nu} $，并利用集合 $ \Omega_{\lambda}^{\nu} $ 与 $ (\Omega_{\lambda}^{\nu})' $ 在超平面上下比较解。
• 应用 p-Laplace 算子的强最大值原理与霍普夫引理，推导出在移动超平面设置下法向导数的严格正性。
• 采用适用于系统的比较原理，特别是在 $ p_1 \in (1,\infty), p_2 = 2 $ 以及 $ p_1, p_2 \in (1,2) $ 的情形下，后者因比较工具较弱而需格外小心处理。
• 利用紧致性与连续性论证，证明存在一个临界超平面 $ \lambda_1(\nu) $，超过该平面后对称性与单调性将不成立。
• 证明在反射区域边界上，$ u $ 与 $ v $ 达到最大值的点集必为单点或零测度集，若对称性被破坏则导致矛盾。

实验结果

研究问题

• RQ1 移动超平面法能否从标量 p-Laplace 方程推广至具有不同指数的 p-Laplace 方程组？
• RQ2 在何种 $ p_1, p_2 $ 及非线性项 $ f, g $ 条件下，该系统的正解表现出单调性与对称性？
• RQ3 当 $ p_1, p_2 \in (1,2) $ 时，与其中一个指数为 2 的情形相比，系统的行为有何不同？
• RQ4 非线性项 $ f $ 与 $ g $ 的局部利普希茨连续性与单调性在保证解的对称性与单调性方面起何作用？
• RQ5 在球形等径向对称区域中，是否可在 $ f $ 与 $ g $ 满足适当条件时推出解的径向对称性？

主要发现

• 当 $ p_1 \in (1,\infty), p_2 = 2 $，且 $ f, g $ 为非减且局部利普希茨连续时，对所有 $ x \in \Omega_{\lambda}^{\nu} $，有 $ u(x) \leq u(x_{\lambda}^{\nu}) $ 与 $ v(x) \leq v(x_{\lambda}^{\nu}) $，且对所有 $ \lambda < \lambda_1(\nu) $，有 $ \partial v / \partial \nu > 0 $ 在 $ \Omega_{\lambda}^{\nu} $ 中成立。
• 当 $ p_1, p_2 \in (1,2) $，且 $ f, g $ 严格递增且局部利普希茨连续时，对所有 $ \lambda \in (a(\nu), \lambda_1(\nu)] $，相同的单调性与对称性结果成立。
• 若区域 $ \Omega $ 关于超平面 $ T_0^{\nu} $ 对称，且 $ \lambda_1(\nu) = \lambda_1(-\nu) = 0 $，则在 $ \Omega_0^{\nu} $ 中，$ u $ 与 $ v $ 沿 $ \nu $ 方向具有对称性且严格递减。
• 在球 $ B_R(0) $ 情形下，若对所有 $ x > 0 $ 有 $ f(x) > 0 $ 与 $ g(x) > 0 $，则解 $ u $ 与 $ v $ 关于 $ r = |x| $ 具有径向对称性且严格递减。
• 证明依赖反证法：若 $ u $ 在反射点集上为常数，则该集合上必有 $ \nabla u = 0 $，这与强最大值原理矛盾，除非对称性完全成立。
• 在紧致方向集合上关于反射映射的像在 $ \mathbb{R}^{N-1} $ 中包含一个完整球体，这确保了对称点集具有非空内部，若对称性失败则导致矛盾。