[论文解读] The elliptic Kirchhoff equation in $\R^N$ perturbed by a local nonlinearity

Antonio Azzollini|arXiv (Cornell University)|Jan 2, 2010

Nonlinear Partial Differential Equations参考文献 17被引用 48

一句话总结

该论文在 $\mathbb{R}^N$（$N \geq 3$）上建立了椭圆 Kirchhoff 方程至少一个非平凡正解的存在性，其非线性项具有局部 Berestycki-Lions 型。通过在自然约束（Pohozaev 流形）上使用极小化方法，利用变分法证明了基态解的存在性，借助径向对称性和紧性来克服整个空间中缺乏紧嵌入的问题。

ABSTRACT

In this paper we present a very simple proof of the existence of at least one non trivial solution for a Kirchhoff type equation on $\RN$, for $N\ge 3$. In particular, in the first part of the paper we are interested in studying the existence of a positive solution to the elliptic Kirchhoff equation under the effect of a nonlinearity satisfying the general Berestycki-Lions assumptions. In the second part we look for ground states using minimizing arguments on a suitable natural constraint.

研究动机与目标

• 在 $\mathbb{R}^N$（$N \geq 3$）上建立 Kirchhoff 方程非平凡正解的存在性。
• 将 Berestycki-Lions 框架扩展至整个空间中的非局部 Kirchhoff 设置。
• 通过在自然约束（Pohozaev 流形）上使用极小化方法，证明基态解的存在性。
• 通过利用径向对称性和集中紧性技术，克服 $\mathbb{R}^N$ 中缺乏紧性的困难。
• 提供一种简单直接的变分证明，无需依赖 Ambrosetti-Rabinowitz 条件或山路结构。

提出的方法

• 定义与 $\mathbb{R}^N$ 上 Kirchhoff 方程相关的能量泛函 $I(u)$，其中包含非局部项 $M(\|\nabla u\|_{L^2}^2) = a + b\|\nabla u\|_{L^2}^2$。
• 引入 Pohozaev 流形 $\mathcal{P}$ 作为解必须位于其上的自然约束，该流形由 Pohozaev 恒等式导出。
• 利用径向对称性确保 $H^1_r(\mathbb{R}^N)$ 中有界序列的相对紧性，从而保证弱收敛性和范数的下半连续性。
• 在 $\mathcal{P} \cap H^1_r(\mathbb{R}^N)$ 中构造能量泛函 $I|_{\mathcal{P}}$ 的极小化序列 $\{u_n\}$。
• 证明子列的弱极限 $u$ 非零，且经过适当缩放 $\bar{\theta} > 0$ 后，得到 $\bar{u} \in \mathcal{P}$，满足 $I(\bar{u}) = \mu = \inf_{\mathcal{P}} I$。
• 利用 $\mathcal{D}^{1,2}$-范数的下半连续性和 Fatou 引理，通过极限传递验证极小化子满足 Euler-Lagrange 方程。

实验结果

研究问题

• RQ1 在 $\mathbb{R}^N$（$N \geq 3$）上，Kirchhoff 方程在 Berestycki-Lions 型非线性条件下是否允许存在非平凡正解？
• RQ2 在缺乏紧性的情况下，能否通过在 Pohozaev 流形上使用极小化方法获得基态解？
• RQ3 径向对称性是否足以恢复紧性，并在全空间中确保极小化子的存在性？
• RQ4 能否在不依赖山路定理或 Ambrosetti-Rabinowitz 条件的前提下，使证明更简化并更具直接性？
• RQ5 零质量假设在该类方程的存在性框架中起什么作用？

主要发现

• 在满足 Berestycki-Lions 条件下，$\mathbb{R}^N$（$N \geq 3$）上的 Kirchhoff 方程至少存在一个非平凡正解。
• 基态解作为能量泛函 $I$ 在 Pohozaev 流形 $\mathcal{P}$ 上的极小化子存在，且 $\mu = \inf_{\mathcal{P}} I > 0$。
• 极小化序列弱收敛于一个非零函数 $u$，经适当缩放 $\bar{u} = u(\cdot / \bar{\theta})$ 后，$\bar{u}$ 属于 $\mathcal{P}$ 且达到下确界。
• 该证明依赖于径向对称性以确保紧性，从而可利用弱下半连续性和 Fatou 引理通过极限传递。
• 该方法避免了 Ambrosetti-Rabinowitz 条件，且无需依赖山路结构，为先前方法提供了更简洁的替代方案。
• 即使对于零质量非线性项，只要满足 Berestycki-Lions 假设 (g1)–(g4) 或其零质量变体，结论依然成立。