[論文レビュー] A maximum principle on unbounded domains and a Liouville theorem for fractional p-harmonic functions

Wenxiong Chen, Leyun Wu|arXiv (Cornell University)|May 24, 2019

Nonlinear Partial Differential Equations参考文献 22被引用数 10

ひとこと要約

本稿は、p ≥ 2 および 0 < s < 1 の条件下で、R^n 上の有界かつ全域に定義された分数階 p-調和関数に対して、Liouvilleの定理を確立し、それが定数でなければならないことを証明する。著者らは、非有界な半空間における反対称関数のための新しい最大原理を導入し、動く平面法を用いた対称性の議論により、任意の有界解がすべての超平面に関して対称であることを示し、その結果、定数性が保証される。

ABSTRACT

In this paper, we establish the following Liouville theorem for fractional \emph{p}-harmonic functions. {\em Assume that $u$ is a bounded solution of $$(-\lap)^s_p u(x) = 0, \;\; x \in \mathbb{R}^n,$$ with $0

研究の動機と目的

• R^n 上の分数階 p-ラプラシアン方程式 (-Δ)_p^s u = 0 に対して、Liouville 型の定理を確立すること。
• 分数階 p-ラプラシアンのような非線形非局所作用素に対して、対称性や最大原理のツールが不足している問題に取り組むこと。
• 古典的手法（フーリエ解析やポアソン表現など）が失敗する状況を克服するため、非有界な半空間における反対称関数のための新しい最大原理を開発すること。
• 有界な分数階 p-ラプラシアン解が、R^n 内のすべての超平面に関して対称であることを示すことにより、それが定数であることを証明すること。
• 完全非線形の分数階 p-ラプラシアンに対して、フーリエ変換やポアソン核に依存しない、従来とは異なる新しいアプローチを提供すること。

提案手法

• 非有界な半空間における反対称関数のための新しい最大原理を導入し、証明の中心的役割を果たす。
• 非局所的・非線形作用素に適応した、動く平面法の新規な応用により、有界解の任意の超平面に関する対称性を確立する。
• 作用素 |u(x) - u(y)|^{p-2}(u(x) - u(y)) / |x - y|^{n+sp} の構造を活用して、比較原理を導出する。
• テスト関数 ψ ∈ C₀^∞(R^n) を用いた摂動論法により、分数階 p-ラプラシアンの小さな摂動における挙動を分析する。
• p > 2 および t₂ ≥ t₁ に対して G(t₂) - G(t₁) ≥ C(t₂ - t₁)^{p-1} を満たすという、キーレイム (Lemma 3) を用いる。
• 局所的およびグローバルな推定を組み合わせる：原点付近の特異積分はテイラー展開と O(|x-y|^2) の誤差項で制御し、尾部は減少性と滑らかさを用いて有界化する。

実験結果

リサーチクエスチョン

• RQ1 p ≥ 2 および 0 < s < 1 の条件下で、R^n 上の分数階 p-ラプラシアン方程式 (-Δ)_p^s u = 0 の有界解に対して、Liouville の定理を確立できるか？
• RQ2 フーリエ変換やポアソン核といった線形的手法に依存せずに、任意の超平面に関して有界解の対称性を証明することは可能か？
• RQ3 特に R^n 内の半空間において、非有界領域における反対称関数のための最大原理を定式化し、証明することは可能か？
• RQ4 完全非線形性を有する分数階 p-ラプラシアンを扱うために、古典的手法（調和解析）が使えない状況で、どのような新しい解析的ツールが必要か？
• RQ5 R^n 内のすべての超平面に関して解が対称であることは、その解が定数であることを示唆するか？

主な発見

• R^n 上で (-Δ)_p^s u = 0 を満たし、u ∈ C_loc^{1,1} ∩ L_{sp}(R^n) である有界解 u は、p ≥ 2 および 0 < s < 1 の下で必ず定数である。
• 著者らは、非有界な半空間における反対称関数のための新しい最大原理を確立し、これは重要な技術的進歩である。
• 非局所的・非線形作用素に適応した洗練された動く平面法を用いて、任意の与えられた超平面に関する u の対称性を証明する。
• 非線形性 G(t) = |t|^{p-2}t に対する新しい不等式（補題 3）に依拠しており、これは片側 Hölder 型の成長条件を満たすことを示している。
• フーリエ変換やポアソン表現といった古典的手法を回避しており、これは分数階 p-ラプラシアンの非線形性のため、それらが機能しないからである。
• この結果は、調和関数に対する古典的 Liouville の定理および s-調和関数に関する既知の結果を、完全非線形の分数階 p-ラプラシアンの場合に拡張する。