[论文解读] Two symmetry problems in potential theory

Tewodros Amdeberhan|ArXiv.org|Jun 9, 2001

Quantum chaos and dynamical systems参考文献 2被引用 6

一句话总结

本文证明了位势理论中的两个过定边界值问题，表明若解满足涉及法向导数与径向距离的特定对称性边界条件，则区域必为欧几里得球。作者利用最大值原理与辅助调和函数，建立了解的径向对称性，将塞尔林的经典结果推广至流体流动和杆件扭转等新物理情境。

ABSTRACT

We consider two eliiptic overdetermined boundary value problems. There are variants on J. Serrin's 1971 classical results and having the same conclusion that the domains should be forcibly Euclidean balls.

研究动机与目标

• 将塞尔林1971年关于过定椭圆问题的对称性结果推广至涉及径向依赖的新边界条件。
• 证明若有界区域 $Ω \subset \mathbb{R}^N$ 具有 $C^2$ 光滑边界，且 $\Delta u = -1$ 的解满足 $\partial u/\partial\nu = -cr$ 于 $\partial\Omega$，则 $\Omega$ 必为球。
• 将对称性结果推广至 $\Delta u = -r^\alpha$ 的情形，其中边界条件为 $x_i u_i + c_0 r^{\alpha+2} + c_1 = 0$ 于 $\partial\Omega$。
• 通过最大值原理与格林恒等式提供初等证明，避免使用如波霍扎耶夫恒等式等复杂工具。
• 将结果与流体力学和弹性力学中的物理模型联系起来，其中对称性意味着截面为圆形或球形。

提出的方法

• 引入辅助函数 $h = 2u - x_i u_i$，在给定条件下可证其为调和函数（即 $\Delta h = 0$）。
• 应用格林恒等式，将 $\Omega$ 与 $\partial\Omega$ 上 $u$ 和 $h$ 的积分关联，导出关键恒等式 $\int_\Omega u\,dx = c^2 \int_\Omega r^2\,dx$。
• 定义泛函 $\varPhi = u_i u_i - c^2 r^2$，在假设 $cN \leq 1$ 下证明 $\Delta \varPhi \geq 0$，且 $\varPhi = 0$ 于 $\partial\Omega$。
• 结合最大值原理与积分恒等式，推导出 $\varPhi \equiv 0$，从而推出 $u_{ij} + \frac{\delta_{ij}}{N} \equiv 0$。
• 由此导出 $u$ 的径向对称形式 $u = a - \frac{r^2}{2N}$，并由边界条件 $u = 0$ 于 $\partial\Omega$ 推出 $\Omega$ 为球体。
• 对于第二个问题，定义 $V = x_i u_i + c_0 r^{\alpha+2} + c_1 + \beta u$，证明 $\Delta V = 0$，并由边界条件 $V = 0$ 推出 $V \equiv 0$ 于 $\Omega$。
• 求解所得偏微分方程，表明 $u$ 必为径向函数：$u = u(0) - c_0 \frac{r^{\alpha+2}}{\beta + \alpha + 2}$，其中 $\beta = (\alpha+2)(c_0(\alpha+N) - 1)$ 不为负整数。

实验结果

研究问题

• RQ1 在法向导数与径向依赖满足何种条件时，区域 $\Omega$ 必为球体？
• RQ2 经典塞尔林对称性结果能否推广至边界条件为 $\partial u/\partial\nu = -cr$ 而非常数的情形？
• RQ3 过定问题 $\Delta u = -r^\alpha$，$x_i u_i + c_0 r^{\alpha+2} + c_1 = 0$ 于 $\partial\Omega$ 是否意味着 $\Omega$ 为球体？
• RQ4 参数 $\beta = (\alpha+2)(c_0(\alpha+N) - 1)$ 在保证解的正则性与径向对称性中起何作用？
• RQ5 如何利用最大值原理与调和函数技术证明对称性，而无需依赖波霍扎耶夫恒等式？

主要发现

• 若 $\Delta u = -1$ 于 $\Omega$，$u = 0$ 于 $\partial\Omega$，且 $\partial u/\partial\nu = -cr$ 于 $\partial\Omega$，则 $\Omega$ 必为 $N$ 维球体。
• 在命题1条件下，恒等式 $\int_\Omega u\,dx = c^2 \int_\Omega r^2\,dx$ 成立，其推导基于格林恒等式与辅助函数 $h$。
• 泛函 $\varPhi = u_i u_i - c^2 r^2$ 满足 $\Delta \varPhi \geq 0$ 且 $\varPhi = 0$ 于 $\partial\Omega$，由此推出 $\varPhi \equiv 0$，进而得出 $u$ 的径向对称性。
• 解 $u$ 具有径向形式 $u = a - \frac{r^2}{2N}$，且由 $u = 0$ 于 $\partial\Omega$ 可推出 $\Omega$ 为半径 $R = \sqrt{2Na}$ 的球体。
• 对于问题 $\Delta u = -r^\alpha$，$x_i u_i + c_0 r^{\alpha+2} + c_1 = 0$ 于 $\partial\Omega$，若 $\beta = (\alpha+2)(c_0(\alpha+N) - 1)$ 不为负整数，则区域 $\Omega$ 为球体。
• 解为径向函数：$u = u(0) - c_0 \frac{r^{\alpha+2}}{\beta + \alpha + 2}$，且 $u$ 在 $\partial\Omega$ 上为零迫使 $\Omega$ 为球体。