In this paper, we investigate the existence and nonexistence of positive solutions to the Lane-Emden equations $$ -Îu = Q |u|^{p-2}u $$ on the $d$-dimensional integer lattice graph $\mathbb{Z}^d$, as well as in the half-space and quadrant domains, under the zero Dirichlet boundary condition in the latter two cases. Here, $d \geq 2$, $p > 0$, and $Q$ denotes a Hardy-type positive potential satisfying $Q(x) \sim (1+|x|)^{-α}$ with $α\in [0, +\infty]$. \smallskip
We identify the Sobolev super-critical regions of the parameter pair $(α, p)$ for which the existence of positive solutions is established via variational methods. In contrast, within the Serrin sub-critical regions of $(α, p)$, we demonstrate nonexistence by iteratively analyzing the decay behavior at infinity, ultimately leading to a contradiction. Notably, in the full-space and half-space domains, there exists an intermediate regions between the Sobolev critical line and the Serrin critical line where the existence of positive solutions remains an open question. Such an intermediate region does not exist in the quadrant domain.
- 论文ID: 2510.08947
- 标题: On positive solutions of Lane-Emden equations on the integer lattice graphs
- 作者: Huyuan Chen (复旦大学), Bobo Hua (复旦大学), Feng Zhou (华东师范大学)
- 分类: math.AP (Analysis of PDEs)
- 发表时间: 2025年10月10日
- 论文链接: https://arxiv.org/abs/2510.08947v1
本文研究Lane-Emden方程 −Δu=Q∣u∣p−2u 在d维整数格图Zd以及半空间和象限域上正解的存在性和不存在性问题。其中d≥2,p>0,Q是Hardy型正势函数,满足Q(x)∼(1+∣x∣)−α,α∈[0,+∞]。作者识别了参数对(α,p)的Sobolev超临界区域,在该区域内通过变分方法建立了正解的存在性;相反,在Serrin次临界区域内,通过迭代分析无穷远处的衰减行为证明了不存在性。值得注意的是,在全空间和半空间域中,Sobolev临界线和Serrin临界线之间存在中间区域,正解的存在性仍是开放问题,而在象限域中不存在这样的中间区域。
Lane-Emden方程是半线性椭圆微分方程的经典模型,起源于天体物理学,用于描述自引力、球对称多方流体在流体静力平衡状态下的结构。标准形式为:
−ΔRdu=∣u∣p−2u在Rd中
- 从连续到离散的扩展:虽然连续情况下的Lane-Emden方程已被广泛研究,但在离散格图上的研究相对较少。
- 临界指数的识别:需要确定在不同域(全空间、半空间、象限)上正解存在性的精确临界指数。
- 势函数的影响:研究Hardy型势函数Q(x)对解的存在性的影响。
- 几何依赖性:探索不同几何域对临界指数的影响。
- Gu-Huang-Sun 15建立了d≥3且p≤d−2d+1时方程无正解
- Hua-Li 16证明了p>d−22d时存在正解
- 在范围d−2d+1<p≤d−22d内的存在性问题仍然开放
- 完整的临界理论:为三种不同域(全空间Zd、半空间Z+d、象限Z∗d)建立了完整的临界指数理论。
- 统一的分析框架:通过积分方程方法和变分技术,提供了处理不同域的统一框架。
- 精确的临界指数:识别了依赖于域几何的Serrin指数和Sobolev指数:
- 全空间:Serrin指数 1+d−2d−α,Sobolev指数 1+d−2d−α+d−22−α
- 半空间:Serrin指数 1+d−1d−α,Sobolev指数 1+d−1d−α+d−11−α
- 象限:Serrin指数 1+dd−α,Sobolev指数 1+dd−α−dα
- 开放问题的识别:明确了在全空间和半空间中存在的中间区域,其中正解的存在性仍然开放。
研究Lane-Emden方程在三种不同域上的正解存在性:
- 全空间:−Δu=Q∣u∣p−2u 在 Zd 中
- 半空间:{−Δu=Q∣u∣p−2u 在 Z+d 中,u=0 在 ∂Z+d 上}
- 象限:{−Δu=Q∣u∣p−2u 在 Z∗d 中,u=0 在 ∂Z∗d 上}
将原始的微分方程转化为积分方程:
u=Φd,β∗(Q∣u∣p−2u)
其中Φd,β是对应域的基本解。
引入替换v=Q1/p′∣u∣p−2u,将方程转化为:
∣v∣p′−2v=Q1/pΦd,β∗(Q1/pv)
这具有变分结构。
定义能量泛函:
J0(v)=p′1∫Zd∣v∣p′dx−21∫ZdvKp,β(v)dx
其中Kp,β(v)=Q1/pΦd,β∗(Q1/pv)是Birman-Schwinger算子。
为每个域构造了精确的基本解估计:
- 全空间:Φd(x,y)≤c1(1+∣x−y∣)2−d
- 半空间:Φd,+(x,y)≤c1(1+∣x−y∣)1−d且Φd,+(x,y)≥c1x1(1+∣x−y∣)−d
- 象限:Φd,∗(x,y)≤c1(1+∣x−y∣)−d且Φd,∗(x,y)≥c1x1x2(1+∣x−y∣)−d−2
证明了关键的非消失性结果(Lemma 3.1),确保Palais-Smale序列的紧性。
通过构造测试函数wτ(x)=∣x∣−τ和迭代序列{τj},系统地证明了次临界情况下的不存在性。
本文主要是理论研究,通过严格的数学证明验证结果,包括:
- Sobolev超临界情况:使用Mountain Pass定理
- 临界情况:使用特征值理论
- 次线性情况:使用上下解方法
- 构造适当的测试函数
- 使用积分发散论证
- 迭代改进下界估计
- 半空间:Φd,+(x,y)=Φd(x−y)−Φd(x−y∗)
- 象限:Φd,∗(x,y)=21(2Φd(x−y)−Φd(x−y∗)−Φd(x−y#))
- 存在性:当α∈[0,+∞],p∈(2,+∞)∩(21,α∗,+∞)时,问题有至少一个正解。
- 次线性存在性:当α>2,p∈[1+d−2d−α,2)∩(1,2)时,问题有唯一正解。
- 不存在性:当α∈(−∞,d),p∈(1,1+d−2d−α)或p=1+d−2d−α>2时,问题无正解。
类似的结果,但临界指数变为:
- Serrin指数:1+d−1d−α
- Sobolev指数:21/2,α∗=d−12(d−α)
- Serrin指数:1+dd−α
- 注意:象限域中不存在中间开放区域
临界指数强烈依赖于域的几何:
- 维数减少导致临界指数降低
- 边界条件的数量影响临界行为
在全空间和半空间中识别了开放区域:
{(α,p):α∈(0,2),1+d−2d−α<p≤1+d−2d+2−2α}
当Q≥C>0时,所有正解满足lim∣x∣→∞u(x)=0。
- Pohožaev恒等式:在p∈(1,d−22d)时无正解
- Aubin-Talenti气泡解:临界情况p=d−22d的精确解
- 变分方法:p>d−22d时的存在性
- Gu-Huang-Sun 15:d≥3,p≤d−2d+1时的不存在性
- Hua-Li 16:p>d−22d时的存在性
- 图上椭圆方程:一般图上的半线性椭圆问题
- Ni 26:共形几何中的标量曲率方程
- Bianchi等 3:径向对称递减势的存在性
- Cao-Peng 5:无穷远处消失势的多项式衰减解
- 完整分类:为三种域提供了参数空间(α,p)的完整分类。
- 几何效应:证明了域的几何对临界指数有根本影响。
- 开放问题:识别了需要进一步研究的精确区域。
- 中间区域:全空间和半空间中的中间区域仍然开放。
- 一般势函数:结果主要针对Hardy型势Q(x)∼(1+∣x∣)−α。
- 高维推广:某些技术可能难以推广到更一般的图结构。
- 中间区域的解决:需要新的技术处理临界线之间的区域。
- 一般图:扩展到更一般的图结构。
- 数值验证:数值实验验证理论预测。
- 理论完整性:提供了三种域上Lane-Emden方程的完整理论框架。
- 技术创新:积分方程方法和精确的基本解估计是重要贡献。
- 几何洞察:揭示了域几何对临界行为的深刻影响。
- 开放问题识别:明确指出了需要进一步研究的方向。
- 计算复杂性:基本解的构造和估计涉及复杂的计算。
- 技术性较强:某些证明技术可能难以推广。
- 实际应用:缺乏实际应用背景的讨论。
- 理论贡献:为离散Lane-Emden方程理论奠定了基础。
- 方法论价值:积分方程方法可应用于其他离散椭圆问题。
- 跨学科影响:连接了分析、几何和组合数学。
- 数学物理:离散化的物理模型
- 网络科学:大型网络上的扩散过程
- 数值分析:连续问题的离散化研究
论文引用了45篇重要文献,涵盖了椭圆方程理论、变分方法、图论分析等多个领域的经典和前沿工作。
总体评价:这是一篇高质量的理论数学论文,在离散Lane-Emden方程理论方面做出了重要贡献。论文技术深度高,结果完整,为该领域的进一步发展奠定了坚实基础。