[论文解读] Sharp criteria of Liouville type for some nonlinear systems

Yutian Lei, Congming Li|arXiv (Cornell University)|Jan 26, 2013

Nonlinear Partial Differential Equations参考文献 25被引用 23

一句话总结

本文建立了非线性HLS型、Lane-Emden方程、Wolff型积分方程以及γ-Laplace方程系统正解不存在性的精确判别准则。通过一种新颖的迭代方法、一种新的打靶法，以及积分与微分形式的Pohozaev恒等式，作者推导出了解存在性与不存在性的必要且充分条件，其中临界指数 $\frac{n+2k}{n-2k}$ 决定了 $2k$ 阶系统的阈值，而 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 则为耦合系统的阈值条件。

ABSTRACT

In this paper, we establish the sharp criteria for the nonexistence of positive solutions to the Hardy-Littlewood-Sobolev (HLS) type system of nonlinear equations and the corresponding nonlinear differential systems of Lane-Emden type equations. These nonexistence results, known as Liouville type theorems, are fundamental in PDE theory and applications. A special iteration scheme, a new shooting method and some Pohozaev type identities in integral form as well as in differential form are created. Combining these new techniques with some observations and some critical asymptotic analysis, we establish the sharp criteria of Liouville type for our systems of nonlinear equations. Similar results are also derived for the system of Wolff type integral equations and the system of $γ$-Laplace equations. A dichotomy description in terms of existence and nonexistence for solutions with finite energy is also obtained.

研究动机与目标

• 建立非线性HLS型与Lane-Emden型方程系统正解不存在性的精确必要且充分条件。
• 解决当 $k=1$ 且 $n \geq 5$ 时Lane-Emden系统存在性/不存在性的长期悬而未决问题，并推广已有结果。
• 开发新的分析工具——特别是新颖的迭代方案与新的打靶法——以处理非局部与高阶非线性系统。
• 利用相同框架将解的分类结果推广至Wolff型积分方程与 $\gamma$-Laplace系统。
• 通过临界指数描述有限能量解的二分性，明确区分存在性与不存在性。

提出的方法

• 引入一种新型迭代方案，用于分析涉及分数阶Laplacian与高阶微分算子的非线性系统解的渐近行为。
• 设计一种专为临界增长系统定制的新打靶法，以实现对解衰减与爆破行为的精确控制。
• 推导出Pohozaev型恒等式的积分与微分两种形式，以利用系统中的对称性与能量约束。
• 应用临界渐近分析，将解在无穷远处的行为与可积性及衰减速率相联系。
• 采用积分形式的移动平面法，在可积性假设下建立解的径向对称性与单调性。
• 将上述方法与星形区域上的边值分析相结合，通过能量型恒等式导出反证法的非存在性证明。

实验结果

研究问题

• RQ1 对于 $\mathbb{R}^n$ 上的 $2k$ 阶Lane-Emden系统 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$，正解不存在性的指数 $p$, $q$, $k$ 的必要且充分条件是什么？
• RQ2 临界指数 $\frac{n+2k}{n-2k}$ 与 $\frac{1}{p+1} + \frac{1}{q+1} = \frac{n-2k}{n}$ 如何决定此类系统中存在性与不存在性的阈值？
• RQ3 是否可以将经典Lane-Emden方程的精确非存在性结果推广至更一般的系统，包括HLS型与Wolff型积分方程系统？
• RQ4 积分与微分形式的新型Pohozaev型恒等式在证明非局部与高阶系统Liouville型定理中起到何种作用？
• RQ5 有限能量解的行为如何？此类解中存在性与不存在性之间存在何种二分性？

主要发现

• 对于 $\mathbb{R}^n$ 上的 $2k$ 阶系统 $(-\Delta)^k u = v^q$, $(-\Delta)^k v = u^p$，当且仅当 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 时存在正解对，其中 $k \in [1, \frac{n}{2})$ 为整数。
• 临界指数 $\frac{n+2k}{n-2k}$ 对单个方程 $(-\Delta)^k u = u^p$ 是精确的，即解存在当且仅当 $p \geq \frac{n+2k}{n-2k}$。
• 当 $k=1$ 且 $n \leq 4$ 时，系统存在正解当且仅当 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2}{n}$，从而在低维情形证实了Lane-Emden猜想。
• 作者证明：在星形区域上，Navier边值问题在 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 条件下无正径向解，其反证法基于能量恒等式。
• 建立了二分性：有限能量解存在当且仅当指数条件 $\frac{1}{p+1} + \frac{1}{q+1} \leq \frac{n-2k}{n}$ 成立，从而实现了解的完整分类。
• 结果可推广至Wolff型积分方程与 $\gamma$-Laplace系统，表明相同的临界指数条件决定了存在性与非存在性。