[論文レビュー] A note on the moving hyperplane method

Céline Azizieh, Luc Lemaire|ArXiv.org|Jan 29, 2001

Nonlinear Partial Differential Equations参考文献 4被引用数 41

ひとこと要約

本稿は、1 < p < 2 における p-ラプラシアンに対する移動超平面法を精緻化し、関数 λ₁(ν) および a(ν) の連続性と下半連続性を保証するための、領域 Ω における最小限の正則性条件を同定する。C¹ 正則性が λ₁(ν) の下半連続性を十分であることを証明し、強い凸性が完全な連続性を保証することを示す。これは、境界が滑らかである必要があると仮定した以前の証明におけるギャップを解消する。この結果により、1 < p < 2 における p-調和方程式の対称性および単調性定理が強化される。

ABSTRACT

We give more precision on the regularity of the domain that is needed to have the monotonicity and symmetry results recently proved by Damascelli and Pacella, result concerning p-Laplace equations. For this purpose, we study the continuity and semicontinuity of some parameters linked with the moving hyperplane method.

研究の動機と目的

• 1 < p < 2 における p-ラプラシアン問題における移動超平面法が機能するための最小限の正則性を特定すること。
• 古典的な移動平面法（C² 領域で機能）と最近の p-ラプラシアンへの拡張（パラメータの連続性を C² で仮定）との間の不一致を解消すること。
• C¹ 正則性の領域 Ω が λ₁(ν) の下半連続性を十分であることを示すこと。また、強い凸性が完全な連続性を保証することを示すこと。
• C∞ で凸だが強い凸でない領域が、λ₁(ν) の連続性を欠く可能性がある反例を提示し、完全な連続性のための強い凸性の必要性を強調すること。

提案手法

• a(ν) = inf_{x∈Ω} x·ν および λ₁(ν) を、移動超平面法が対称性と単調性を保つ λ の上限として定義する。
• C¹ 境界正則性のもとで、νₙ → ν なる列に対するコンパクトネスおよび収束の議論を用いて、a(ν) の連続性を証明する。
• C¹ 正則性と領域の幾何構造にのみ依存する背理法を用いて、λ₁(ν) の下半連続性を確立する。
• 強い凸性のもとで、極限における境界接線や法線の退化を排除することで、λ₁(ν) の完全な連続性を証明する。
• ℝ² における平坦な境界線分を有する C∞ 凸領域の反例を構成し、λ₁(ν) が方向 ν が平坦線分に平行な場合に不連続であることを示す。
• 反射 Rₗ^ν および集合 Ωₗ^ν, (Ωₗ^ν)′ を用いて、移動超平面に関する反射下での解の挙動を分析する。

実験結果

リサーチクエスチョン

• RQ1 移動超平面法における p-ラプラシアン問題において、関数 a(ν) の連続性を保証するための領域 Ω の正則性は、どのようなものが必要かつ十分か？
• RQ2 C¹ 正則性が、対称性と単調性の臨界閾値である λ₁(ν) の下半連続性を十分に満たすか？
• RQ3 強い凸性は λ₁(ν) の連続性に必要か？ もしくは、より弱い条件で十分か？
• RQ4 C∞ で凸だが強い凸でない領域が、λ₁(ν) の不連続性を引き起こす可能性があるか？ もしそうなら、その仕組みは？
• RQ5 λ₁(ν) の連続性の欠如が、p-ラプラシアン問題における対称性および単調性定理の妥当性にどのように影響するか？

主な発見

• Ω が C¹ 境界を持つ場合、関数 a(ν) は単位球面 S^{N−1} 上で連続である。
• 任意の有界な C¹ 領域 Ω に対して、関数 λ₁(ν) は S^{N−1} 上で下半連続である。
• Ω が強い凸性をもち、C¹ 境界を持つ場合、λ₁(ν) は S^{N−1} 上で連続である。
• ℝ² における反例により、平坦な境界線分を有する C∞ 凸領域では、λ₁(ν) が平坦線分に平行な方向で不連続である可能性がある。
• 不連続性は、反射点における法線ベクトルが方向 ν に直交する場合に生じ、λ₁(ν) の定義における条件 ν(x)·ν ≠ 0 が満たされなくなることに起因する。
• これらの結果により、Damascelli と Pacella (2001) の対称性および単調性定理は、C¹ 正則性のもとで成立するが、λ₁(ν) の完全な連続性を得るためには強い凸性の仮定が必要であることが示唆される。