[论文解读] A note on the elliptic Kirchhoff equation in R^N perturbed by a local nonlinearity

Antonio Azzollini|arXiv (Cornell University)|Jun 9, 2013

Advanced Mathematical Physics Problems参考文献 1被引用 7

一句话总结

本文通过尺度变换与变分法，建立了 $\mathbb{R}^N$ 上带局部非线性项扰动的椭圆型 Kirchhoff 方程的基态解的存在性与表征。该工作修正并完善了先前结果，尤其针对 $N=4$ 的情形，证明了解存在的充要条件为 $b\int_{\mathbb{R}^N}|\nabla \bar{v}|^2 < 1$，其中 $\bar{v}$ 是极限方程的基态解，并为 $N \geq 5$ 提供了显式条件。在这些条件下，作用泛函达到其下确界。

ABSTRACT

In this note we complete the study made in a previous paper on a Kirchhoff type equation with a Berestycki-Lions nonlinearity. We also correct Theorem 0.6 inside.

研究动机与目标

• 完成并修正具有 Berestycki-Lions 类型非线性项的 $\mathbb{R}^N$ 上椭圆型 Kirchhoff 方程解的存在性分析，尤其针对先前工作中存在的错误。
• 通过尺度变换将 Kirchhoff 方程的解与标准非线性 Schrödinger 型方程的解联系起来，实现对解的表征。
• 确定在所有维度 $N \geq 3$ 下，基态解存在的精确参数条件，包括 $a$、$b$ 与基态解范数的关系。
• 证明在所推导的存在性条件下，Kirchhoff 方程相关的作用泛函达到其下确界。

提出的方法

• 使用尺度变换 $u(x) = v(tx)$ 将 Kirchhoff 方程的解与标准方程 $-\Delta v = g(v)$ 的解联系起来。
• 将 Kirchhoff 方程解的存在性问题转化为求解方程 $t^2 a + t^{4-N} b \int_{\mathbb{R}^N} |\nabla v|^2 = 1$ 的正解 $t > 0$ 及极限方程的解 $v$。
• 将作用泛函 $I(u)$ 表示为关联解 $v$ 的 $\mathcal{D}^{1,2}$-范数形式，从而分析其强制性与下有界性。
• 应用 Pohozaev 恒等式，推导出 $I(u)$ 关于 $\int_{\mathbb{R}^N} |\nabla u|^2$ 的显式表达式，这对于比较作用值至关重要。
• 利用对称化论证与 $H^1_r(\mathbb{R}^N)$ 上径向函数的泛函 $\int G_1(u)$ 的紧性，证明下确界可达到。
• 对函数 $f(t) = a t^2 + b_0 t^{4-N}$（$t > 0$）进行详细分析，以推导出 $N \geq 5$ 情形下解存在的必要与充分条件。

实验结果

研究问题

• RQ1 在 $N=4$ 时，$\mathbb{R}^N$ 上的 Kirchhoff 方程在何种条件下存在基态解？
• RQ2 Kirchhoff 方程的解与极限方程 $-\Delta v = g(v)$ 的解之间存在何种精确关系？
• RQ3 Kirchhoff 方程解的作用泛函行为如何？在何种条件下其达到最小值？
• RQ4 在 $N=4$ 时，决定解存在的参数 $b$ 的临界阈值是什么？
• RQ5 在 $N \geq 5$ 时，$a$、$b$ 与基态解范数的何种显式条件可确保解的存在？

主要发现

• 当 $N=3$ 时，对所有 $a>0$、$b>0$，Kirchhoff 方程均存在基态解。
• 当 $N=4$ 时，基态解存在的充要条件为 $b \int_{\mathbb{R}^N} |\nabla \bar{v}|^2 < 1$，其中 $\bar{v}$ 是方程 $-\Delta v = g(v)$ 的基态解。
• 当 $N \geq 5$ 时，基态解存在的充要条件为 $a \leq \left(\frac{N-4}{N-2}\right)^{\frac{N-2}{N-4}} \left(\frac{2}{(N-4)b \int_{\mathbb{R}^N} |\nabla \bar{v}|^2}\right)^{\frac{2}{N-4}}$。
• 当 $N \geq 5$ 时，作用泛函 $I(u)$ 在 $H^1(\mathbb{R}^N)$ 上有下界且强制，确保其下确界可达到。
• 当 $N \geq 5$ 的存在性条件以严格不等式成立时，由于尺度方程存在两个解 $t_1 < t_2$，因此存在两个不同的解。
• 若 $N \geq 5$ 的存在性条件不成立，则作用泛函 $I(u)$ 在 $H^1(\mathbb{R}^N)$ 上为非负。