[論文レビュー] Two symmetry problems in potential theory

Tewodros Amdeberhan|ArXiv.org|Jun 9, 2001

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

ひとこと要約

本稿は、ポテンシャル論における2つの過剰決定境界値問題を証明しており、解が法線微分と動径距離に関連する特定の対称性を持つ境界条件を満たす場合、領域はユークリッド球でなければならないことを示している。最大原理と補助調和関数を用いて、解の径対称性を確立し、流体の流れやバーのねじりといった新しい物理的状況に、セリニの古典的結果を一般化している。

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年の対称性結果を、動径依存性を含む新しい境界条件へ一般化すること。
• $\Omega \subset \mathbb{R}^N$ が $C^2$ 境界を持つ有界領域であり、 $\Delta u = -1$ を満たす解が $\partial\Omega$ で $\partial u/\partial\nu = -cr$ を満たすならば、その領域 $\Omega$ は球でなければならないことを示すこと。
• $\Delta u = -r^\alpha$ と、 $\partial\Omega$ で $x_i u_i + c_0 r^{\alpha+2} + c_1 = 0$ を満たす境界条件を含む場合に、対称性結果を拡張すること。
• ポホジャエフの恒等式のような重い道具を避け、最大原理とグリーンの恒等式を用いた初等的証明を提供すること。
• 流体力学や弾性論における物理的モデルと結びつけ、対称性が円形または球形断面を意味することを示すこと。

提案手法

• 与えられた条件下で調和的（ $\Delta h = 0$ ）であることが示される補助関数 $h = 2u - x_i u_i$ を導入する。
• グリーンの恒等式を用いて、 $\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$ に適用し、積分恒等式と組み合わせて $\varPhi \equiv 0$ を導出し、結果として $u_{ij} + \frac{\delta_{ij}}{N} \equiv 0$ を得る。
• $u$ の径対称性を $u = a - \frac{r^2}{2N}$ として導出し、境界条件 $u = 0$ on $\partial\Omega$ から $\Omega$ が球であることを結論づける。
• 第二の問題では、 $V = x_i u_i + c_0 r^{\alpha+2} + c_1 + \beta u$ を定義し、 $\Delta V = 0$ を証明する。境界条件 $V = 0$ を用いて、 $\Omega$ 内で $V \equiv 0$ を得る。
• 得られた偏微分方程式を解くことで、 $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$ on $\partial\Omega$ が、 $\Omega$ が球であることを示唆するか？
• RQ4 パrameter $\beta = (\alpha+2)(c_0(\alpha+N) - 1)$ は、解の正則性と径対称性を保証するために果たす役割は何か？
• RQ5 最大原理と調和関数の技法を用いて、ポホジャエフの恒等式に依存せずに対称性を証明できるか？

主な発見

• $\Delta u = -1$ in $\Omega$, $u = 0$ on $\partial\Omega$, かつ $\partial u/\partial\nu = -cr$ on $\partial\Omega$ ならば、 $\Omega$ は $N$ 次元球でなければならない。
• 命題1の条件下で、グリーンの恒等式と補助関数 $h$ を用いて導かれる恒等式 $\int_\Omega u\,dx = c^2 \int_\Omega r^2\,dx$ が成り立つ。
• $\varPhi = u_i u_i - c^2 r^2$ は $\Delta \varPhi \geq 0$ を満たし、 $\partial\Omega$ で $\varPhi = 0$ であるため、 $\varPhi \equiv 0$ が導かれ、結果として $u$ の径対称性が得られる。
• 解 $u$ は径対称的形 $u = a - \frac{r^2}{2N}$ を取り、 $u = 0$ on $\partial\Omega$ の条件から $\Omega$ は半径 $R = \sqrt{2Na}$ の球である。
• $\Delta u = -r^\alpha$, $x_i u_i + c_0 r^{\alpha+2} + c_1 = 0$ on $\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$ は球でなければならない。