[論文レビュー] Super Polyharmonic Property of Solutions for PDE Systems and Its Applications

Wenxiong Chen, Congming Li|arXiv (Cornell University)|Oct 12, 2011

Nonlinear Differential Equations Analysis参考文献 34被引用数 16

ひとこと要約

本稿では、多項型微分方程式系の正の解に対して、すべての反復ラプラシアン $k-1$ 階までが正であることを示す超多項型性を確立する。さらに、$\alpha = 2k < n$ のとき、このような微分方程式系と積分方程式系の間の同値性を証明し、積分形の移動平面法を用いて積分方程式系から得られる対称性および分類結果を微分方程式系へと移すことが可能になる。

ABSTRACT

In this paper, we prove that all the positive solutions for the PDE system (-Δ)^{k}u_{i} = f_{i}(u_{1},..., u_{m}), x \in R^{n}, i = 1, 2,..., m are super polyharmonic, i.e. (-Δ)^{j}u_{i} &gt; 0, j = 1, 2,..., k - 1; i = 1, 2,...,m. To prove this important super polyharmonic property, we introduced a few new ideas and derived some new estimates. As an interesting application, we establish the equivalence between the integral system u_{i}(x) = \int_{R^{n}} \frac{1}{|x - y|^{n-α}}f_{i}(u_{1}(y),..., u_{m}(y))dy, x \in R^{n} and PDE system when α? = 2k &lt; n

研究の動機と目的

• 正の解に対する $m$ 成分多項型微分方程式系 $(-\Delta)^k u_i = f_i(u_1, \dots, u_m)$ が $\mathbb{R}^n$ 上に存在する場合の超多項型性を確立すること。
• 多項型微分方程式系 $(-\Delta)^k u_i = f_i(u_1, \dots, u_m)$ と対応する積分方程式系との同値性を、$\alpha = 2k < n$ のとき証明すること。
• 確立された同値性を通じて、積分方程式系から得られる対称性、事前推定、非存在結果を微分方程式系へと拡張すること。
• 局所的最大原理に依存しない状況下で、超多項型性を証明するための新しい解析的技法および推定を導入すること。
• 分布的解とフーリエ解析を用いて、積分形の移動平面法を多項型微分方程式系へと一般化すること。

提案手法

• 解の無限遠における挙動を解析するため、スケーリング性 $\phi_r(x) = r^{-(n-2k)} \phi_1(x/r)$ を持つ新しいテスト関数 $\phi_r(x)$ のクラスを導入する。
• 部分積分とグリーンの表現公式を用いて、微分方程式の解を基本解 $|x|^{-(n-2k)}$ を含む積分に結びつける。
• ルベーグ収束定理を適用し、$r \to \infty$ の極限に移行することで、境界積分が列 $r_h \to \infty$ に沿って消えることを示す。
• フーリエ変換を用いて分布的解を定義し、$u_i \in H^{\alpha/2}(\mathbb{R}^n)$ を要請し、微分方程式が弱い意味で成り立つことを検証する。
• フーリエ逆変換と畳み込み恒等式を用いて、微分方程式系と積分方程式系の同値性を確立する。これにより、片方の解が定数倍の違いを除いてもう片方の解を満たすことが示される。
• 証明された同値性を通じて、積分方程式系から得られる既知の結果を微分方程式系へと移すことで、積分形の移動平面法を応用する。

実験結果

リサーチクエスチョン

• RQ1 多項型微分方程式系 $(-\Delta)^k u_i = f_i(u_1, \dots, u_m)$ のすべての正の解は、超多項型であるか。すなわち、$j = 1, \dots, k-1$ に対して $(-\Delta)^j u_i > 0$ が成り立つか。
• RQ2 多項型微分方程式系が $\alpha = 2k < n$ のとき、どのような条件下で対応する積分方程式系と同値になるか。
• RQ3 積分形の移動平面法によって得られた積分方程式系の対称性および分類結果を、微分方程式系へと拡張できるか。
• RQ4 局所的最大原理に依存しない状況下で、解の非局所的性質を考慮して、超多項型性をどのように証明できるか。
• RQ5 フーリエ変換と畳み込みの観点から、微分方程式の分布的解と積分方程式の解との間の明確な関係は何か。

主な発見

• 多項型微分方程式系 $(-\Delta)^k u_i = f_i(u_1, \dots, u_m)$ のすべての正の解は、超多項型である：$j = 1, \dots, k-1$ および $i = 1, \dots, m$ に対して $(-\Delta)^j u_i > 0$ が成り立つ。
• $\alpha = 2k < n$ のとき、微分方程式系は積分方程式系 $u_i(x) = c \int_{\mathbb{R}^n} |x-y|^{-(n-2k)} f_i(u(y)) \, dy$ と同値である。すなわち、片方の系の解は定数倍の違いを除いてもう片方の系の解である。
• 同値性は分布的意味で成立する：$u_i \in H^{\alpha/2}(\mathbb{R}^n)$ で微分方程式が弱い意味で解かれるならば、積分方程式も満たされ、逆も同様である。
• 同値性を介して、積分形の移動平面法が今や微分方程式系に適用可能となり、球対称性および分類結果の移行が可能になる。
• 証明は境界積分の漸近的減衰推定と、$|x|^{-(n-2k)}$ の減衰を示す基本解の使用に依存しており、フーリエ解析によって裏付けられる。
• 同値性はフーリエ変換と畳み込みを用いて確立される：$\hat{u}_i(\xi) = c |\xi|^{-\alpha} \widehat{f_i(u)}(\xi)$ であり、これにより微分方程式と積分方程式の定式化が結びつけられる。