[论文解读] Symmetry of singular solutions of degenerate quasilinear elliptic equations

Giovanni Alessandrini, Edi Rosset|arXiv (Cornell University)|Dec 21, 2007

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

一句话总结

本文通过改进的移动平面法，建立了具有过度确定边界条件的退化拟线性椭圆方程奇异解的径向对称性。证明了若解在边界上满足常数法向导数条件且在原点具有正奇点，则区域必为以原点为中心的球体，解必为径向对称，从而将对称性结果推广至一大类退化p-Laplacian型方程。

ABSTRACT

We prove radial symmetry of singular solutions to an overdetermined boundary value problem for a class of degenerate quasilinear elliptic equations.

研究动机与目标

• 建立具有内部点奇点的退化拟线性椭圆方程奇异解的对称性性质。
• 研究过度确定边界条件（特别是常数法向导数条件）是否迫使区域为球体且解为径向对称。
• 将移动平面法推广至具有奇异解的退化方程，克服奇点穿过移动平面所引发的挑战。
• 在非线性项 $ a(|\nabla u|) $ 的一般结构条件下，严格证明径向对称性，包括p-Laplacian型方程。
• 更正先前文献中关于非线性项对 $ u $ 的依赖性的错误陈述，明确指出 $ a $ 仅依赖于 $ |\nabla u| $。

提出的方法

• 将移动平面法适配于具有奇异解的退化拟线性椭圆方程，使用关于超平面 $ \Pi_t^\xi $ 的反射。
• 采用正则化解 $ u_\epsilon $，其满足一致椭圆方程，以继承Harnack不等式与比较原理。
• 应用弱比较原理与强比较原理，比较解 $ u $ 与其反射 $ v = R_t^\xi u $，在反射区域中建立 $ v \leq u $。
• 利用Hopf引理由与Serrin的变体，推导出比较中的严格不等式或等式，从而得出 $ u = v $ 在边界邻域上成立。
• 应用椭圆方程的唯一延拓性，证明若两个解具有相同的边界条件与相同方程，则在梯度非零处必处处相等。
• 基于 $ t a(t) $ 的反函数构造一个径向模型解 $ v(r) $，并与原解 $ u $ 匹配，从而得出 $ x_0 = O $ 且解为径向对称。

实验结果

研究问题

• RQ1 当解在原点具有正奇点并满足退化拟线性椭圆方程时，过度确定的法向导数条件 $ \partial u / \partial \nu = -c $ 在 $ \partial\Omega $ 上是否迫使区域 $ \Omega $ 必为球体？
• RQ2 尽管奇点可能干扰反射过程，移动平面法是否仍可成功应用于退化拟线性方程的奇异解？
• RQ3 在非线性项 $ a(|\nabla u|) $ 的何种条件下，解 $ u $ 在区域未预先假设对称时仍保持径向对称？
• RQ4 原点处的奇点是否为这类解的唯一可能奇点，且能否通过边界数据与对称性唯一确定？
• RQ5 对于梯度非零的退化方程解，唯一延拓性是否成立，从而可将解与径向模型解相等识别？

主要发现

• 区域 $ \Omega $ 必为以原点 $ O $ 为中心的球体，这是过度确定法向导数条件与解对称性的直接结果。
• 解 $ u $ 关于原点径向对称，即存在某个递减函数 $ v $，使得 $ u(x) = v(|x|) $。
• 在p-Laplacian情形下，奇点值 $ M = \lim_{x \to O} u(x) $ 有限当且仅当 $ p > n $；否则 $ M = +\infty $，与已知结果一致。
• 解 $ u $ 与径向模型解 $ v(r) = \int_r^R b(K\rho^{1-n})\,d\rho $ 一致，其中 $ b $ 是 $ t a(t) $ 的反函数，且 $ K = R^{n-1} c a(c) $。
• 唯一延拓性保证了对所有 $ x \neq O $ 有 $ u(x) = v(|x|) $，从而迫使奇点与球心重合。
• 本证明通过澄清非线性项 $ a $ 仅依赖于 $ |\nabla u| $ 而非 $ u $，解决了先前工作中存在的一个技术性问题，纠正了文献[1]中的错误。