[论文解读] A Remark on the Kelvin Transform for a Quasilinear Equation

Peter Lindqvist|arXiv (Cornell University)|Jun 8, 2016

Scientific Research and Discoveries参考文献 6被引用 5

一句话总结

本文研究当 $ p \neq 2 $ 且 $ p \neq n $ 时，p-调和函数是否存在类似凯尔文（Kelvin）的变换。结果表明，除了 $ p = 2 $（拉普拉斯方程）和 $ p = n $（临界情况）外，不存在任何径向缩放函数 $ \rho(|x|) $ 能在球面对称反演下保持 p-调和性，从而揭示了在一般 p-调和情形下共形不变性存在的根本障碍。

ABSTRACT

The p-harmonic functions are preserved under reflections in spheres only if the exponent p > 1 is equal to the dimension of the underlying Euclidean space. In the linear case p = 2 the Kelvin transform corrects this lack of invariance. We shall show that the Kelvin transform has no reasonable counterpart for general values of the exponent p.

研究动机与目标

• 确定在球面对称反演下，p-调和函数是否存在广义凯尔文变换。
• 研究径向缩放因子 $ \rho(|x|) $ 是否能在反射区域中保持 p-调和性。
• 解决长期存在的问题：p-调和函数是否在 $ p = 2 $ 和 $ p = n $ 之外也具有类似莫比乌斯（Mobius）的不变性。
• 为一般 $ p \in (1, \infty) $ 建立此类变换不存在的结论，排除已知情况。
• 阐明将共形不变性技术推广至非线性 p-拉普拉斯框架时的局限性。

提出的方法

• 分析 p-调和函数在球面对称反演 $ x^* = x / |x|^2 $ 下的行为，重点关注径向缩放变换。
• 以已知的径向 p-调和解 $ u(x) = |x|^{(p-n)/(p-1)} $（当 $ p \neq n $ 时）作为测试案例，推导 $ \rho(|x|) $ 的必要形式。
• 应用变换 $ v(x) = \rho(|x|) u(x / |x|^2) $，并计算 $ \mathrm{div}(|\nabla v|^{p-2} \nabla v) $ 以检验 p-调和性。
• 应用一个技术性引理，分析 $ v(x) = |x|^\alpha x_1 $，推导其为 p-调和的条件。
• 对 $ v(x) = |x|^\alpha x_1 $ 显式计算散度表达式，识别出仅在四种情况下满足 p-调和方程。
• 将论证扩展至广义反演 $ x^* = x / |x|^\beta $，表明即使 $ \beta $ 可变，此类变换也不存在。

实验结果

研究问题

• RQ1 是否存在一个径向函数 $ \rho(|x|) $，使得当 $ u $ 为 p-调和函数时，$ v(x) = \rho(|x|) u(x / |x|^2) $ 在反射区域中也为 p-调和函数，且适用于一般 $ p \in (1, \infty) $？
• RQ2 凯尔文变换在 $ p = 2 $ 和 $ p = n $ 时成立，是否可推广至所有 $ p \neq 2, n $？
• RQ3 是否可通过径向缩放因子使 p-调和方程在 $ p \neq 2, n $ 时于球面对称反演下保持不变？
• RQ4 是否存在非平凡的 $ \alpha $ 和 $ p $，使得 $ v(x) = |x|^\alpha x_1 $ 为 p-调和函数？
• RQ5 当 $ p \neq 2, n $ 时共形不变性失效，是否意味着 p-调和函数理论中无法使用反演技术？

主要发现

• 当且仅当 $ p = 2 $ 或 $ p = n $ 时，不存在非零径向函数 $ \rho(|x|) \not\equiv 0 $，使得 $ v(x) = \rho(|x|) u(x / |x|^2) $ 在反射区域中为 p-调和函数。
• 仅当 $ p = 2 $ 和 $ p = n $ 时，变换 $ v(x) = |x|^{(p-n)/(p-1)} u(x / |x|^2) $ 才能保持 p-调和性，与已知的凯尔文变换和共形不变性情况一致。
• 函数 $ v(x) = |x|^\alpha x_1 $ 仅在以下四种情况下为 p-调和函数：$ \alpha = 0 $，$ \alpha = -2 $ 且 $ p = n $，$ \alpha = -n $ 且 $ p = 2 $，以及 $ \alpha = -1 $ 且 $ p = 3 - n $；其中最后一种情况在 $ 1 < p < \infty $ 范围内无效。
• 对 $ v(x) = \rho(|x|) u(x / |x|^2) $ 直接计算 $ \mathrm{div}(|\nabla v|^{p-2} \nabla v) $ 会得到一个复杂表达式，仅在已知情况下为零。
• 即使考虑广义反演 $ x^* = x / |x|^\beta $，也无法为 $ p \neq 2, n $ 构造出有效的 p-调和变换，从而排除了该变换的其他形式。
• 此类变换的缺失严重限制了在 p-调和分析中使用反演技术将无界区域映射为有界区域的应用。