[論文レビュー] 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-ラプラシアン型方程式の広いクラスにまで対称性の結果を拡張する。

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-ラプラシアン型方程式を含む。
• 先行文献における非線形性が $ u $ に依存するという誤った記述を是正し、$ a $ が $ |\nabla u| $ のみに依存する必要があることを明確にすること。

提案手法

• 特異解をもつ退化準線形楕円型方程式に移動平面法を適応し、超平面 $ \Pi_t^\xi $ に関する反射を用いる。
• 正則化された解 $ u_\epsilon $ を用い、一様楕円型方程式を満たすようにし、ハルナックの不等式と比較原理を継承する。
• 弱および強比較原理を用いて、解 $ u $ とその反射 $ v = R_t^\xi u $ を比較し、反射領域内で $ v \leq u $ を確立する。
• ホフプの補題とセリニの変種を用いて、比較における厳密な不等式または等式を導出し、境界近傍で $ u = v $ を得る。
• 楕円型方程式の唯一の連続性を用いて、勾配が非ゼロである領域で、境界データと方程式が同一の二つの解が一致することを示す。
• 関数 $ t a(t) $ の逆関数に基づく回転対称モデル解 $ v(r) $ を構成し、元の解 $ u $ と一致させることで、$ x_0 = O $ および回転対称性を結論づける。

実験結果

リサーチクエスチョン

• RQ1 解 $ u $ が原点に正の特異性をもち、退化準線形楕円型方程式を満たすとき、境界上で $ \partial u / \partial \nu = -c $ という過剰なノイマン条件が成り立つならば、領域 $ \Omega $ は原点を中心とする球に強制されるか？
• RQ2 特異性が反射プロセスを妨げる可能性があるにもかかわらず、特異解をもつ退化準線形方程式に移動平面法を適用することが可能か？
• RQ3 非線形性 $ a(|\nabla u|) $ にどのような条件下で、解 $ u $ は領域が初期には対称的でない場合でも回転対称のままであるか？
• RQ4 このような解において、原点の特異点が唯一の可能な特異点であるか、境界データと対称性によって一意に特定可能か？
• RQ5 勾配がゼロでない解に対して、退化方程式の唯一の連続性が成り立ち、解を回転対称モデルと同一視できるか？

主な発見

• 過剰なノイマン条件と解の対称性のおかげで、領域 $ \Omega $ は原点 $ O $ を中心とする球でなければならない。
• 解 $ u $ は原点の周りに回転対称であり、ある減少関数 $ v $ を用いて $ u(x) = v(|x|) $ と表せる。
• $ p $-ラプラシアンの場合に、特異値 $ M = \lim_{x \to O} u(x) $ が有限であるのは $ p > n $ のときに限る。それ以外の場合は $ M = +\infty $ であり、既知の結果と整合する。
• 解 $ u $ は、$ b $ を $ t a(t) $ の逆関数とし、$ K = R^{n-1} c a(c) $ とおくと、$ v(r) = \int_r^R b(K\rho^{1-n})\,d\rho $ という回転対称モデル解と一致する。
• 唯一の連続性の性質により、すべての $ x \neq O $ で $ u(x) = v(|x|) $ が成り立ち、特異点が球の中心と一致することを強制する。
• 先行研究における技術的問題を解決し、非線形性 $ a $ が $ u $ に依存するのではなく $ |\nabla u| $ のみに依存する必要があることを明確にし、[1]における誤りを是正した。