2025-11-25T13:07:17.742025

On positive solutions of Lane-Emden equations on the integer lattice graphs

Chen, Hua, Zhou
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.
academic

On positive solutions of Lane-Emden equations on the integer lattice graphs

基本信息

  • 论文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=Qup2u-\Delta u = Q|u|^{p-2}udd维整数格图Zd\mathbb{Z}^d以及半空间和象限域上正解的存在性和不存在性问题。其中d2d \geq 2p>0p > 0QQ是Hardy型正势函数,满足Q(x)(1+x)αQ(x) \sim (1+|x|)^{-\alpha}α[0,+]\alpha \in [0,+\infty]。作者识别了参数对(α,p)(\alpha, p)的Sobolev超临界区域,在该区域内通过变分方法建立了正解的存在性;相反,在Serrin次临界区域内,通过迭代分析无穷远处的衰减行为证明了不存在性。值得注意的是,在全空间和半空间域中,Sobolev临界线和Serrin临界线之间存在中间区域,正解的存在性仍是开放问题,而在象限域中不存在这样的中间区域。

研究背景与动机

问题背景

Lane-Emden方程是半线性椭圆微分方程的经典模型,起源于天体物理学,用于描述自引力、球对称多方流体在流体静力平衡状态下的结构。标准形式为: ΔRdu=up2uRd-\Delta_{\mathbb{R}^d}u = |u|^{p-2}u \quad \text{在} \mathbb{R}^d \text{中}

研究动机

  1. 从连续到离散的扩展:虽然连续情况下的Lane-Emden方程已被广泛研究,但在离散格图上的研究相对较少。
  2. 临界指数的识别:需要确定在不同域(全空间、半空间、象限)上正解存在性的精确临界指数。
  3. 势函数的影响:研究Hardy型势函数Q(x)Q(x)对解的存在性的影响。
  4. 几何依赖性:探索不同几何域对临界指数的影响。

现有研究局限性

  • Gu-Huang-Sun 15建立了d3d \geq 3pdd2+1p \leq \frac{d}{d-2}+1时方程无正解
  • Hua-Li 16证明了p>2dd2p > \frac{2d}{d-2}时存在正解
  • 在范围dd2+1<p2dd2\frac{d}{d-2}+1 < p \leq \frac{2d}{d-2}内的存在性问题仍然开放

核心贡献

  1. 完整的临界理论:为三种不同域(全空间Zd\mathbb{Z}^d、半空间Z+d\mathbb{Z}^d_+、象限Zd\mathbb{Z}^d_*)建立了完整的临界指数理论。
  2. 统一的分析框架:通过积分方程方法和变分技术,提供了处理不同域的统一框架。
  3. 精确的临界指数:识别了依赖于域几何的Serrin指数和Sobolev指数:
    • 全空间:Serrin指数 1+dαd21+\frac{d-\alpha}{d-2},Sobolev指数 1+dαd2+2αd21+\frac{d-\alpha}{d-2}+\frac{2-\alpha}{d-2}
    • 半空间:Serrin指数 1+dαd11+\frac{d-\alpha}{d-1},Sobolev指数 1+dαd1+1αd11+\frac{d-\alpha}{d-1}+\frac{1-\alpha}{d-1}
    • 象限:Serrin指数 1+dαd1+\frac{d-\alpha}{d},Sobolev指数 1+dαdαd1+\frac{d-\alpha}{d}-\frac{\alpha}{d}
  4. 开放问题的识别:明确了在全空间和半空间中存在的中间区域,其中正解的存在性仍然开放。

方法详解

任务定义

研究Lane-Emden方程在三种不同域上的正解存在性:

  1. 全空间:Δu=Qup2u-\Delta u = Q|u|^{p-2}uZd\mathbb{Z}^d
  2. 半空间:{Δu=Qup2u\{-\Delta u = Q|u|^{p-2}uZ+d\mathbb{Z}^d_+ 中,u=0u = 0Z+d\partial\mathbb{Z}^d_+}\}
  3. 象限:{Δu=Qup2u\{-\Delta u = Q|u|^{p-2}uZd\mathbb{Z}^d_* 中,u=0u = 0Zd\partial\mathbb{Z}^d_*}\}

核心方法框架

1. 积分方程变换

将原始的微分方程转化为积分方程: u=Φd,β(Qup2u)u = \Phi_{d,\beta} * (Q|u|^{p-2}u) 其中Φd,β\Phi_{d,\beta}是对应域的基本解。

2. 变量替换技术

引入替换v=Q1/pup2uv = Q^{1/p'}|u|^{p-2}u,将方程转化为: vp2v=Q1/pΦd,β(Q1/pv)|v|^{p'-2}v = Q^{1/p}\Phi_{d,\beta} * (Q^{1/p}v) 这具有变分结构。

3. 能量泛函

定义能量泛函: J0(v)=1pZdvpdx12ZdvKp,β(v)dxJ_0(v) = \frac{1}{p'}\int_{\mathbb{Z}^d}|v|^{p'}dx - \frac{1}{2}\int_{\mathbb{Z}^d}vK_{p,\beta}(v)dx 其中Kp,β(v)=Q1/pΦd,β(Q1/pv)K_{p,\beta}(v) = Q^{1/p}\Phi_{d,\beta} * (Q^{1/p}v)是Birman-Schwinger算子。

技术创新点

1. 基本解的精确估计

为每个域构造了精确的基本解估计:

  • 全空间Φd(x,y)c1(1+xy)2d\Phi_d(x,y) \leq c_1(1+|x-y|)^{2-d}
  • 半空间Φd,+(x,y)c1(1+xy)1d\Phi_{d,+}(x,y) \leq c_1(1+|x-y|)^{1-d}Φd,+(x,y)1cx1(1+xy)d\Phi_{d,+}(x,y) \geq \frac{1}{c}x_1(1+|x-y|)^{-d}
  • 象限Φd,(x,y)c1(1+xy)d\Phi_{d,*}(x,y) \leq c_1(1+|x-y|)^{-d}Φd,(x,y)1cx1x2(1+xy)d2\Phi_{d,*}(x,y) \geq \frac{1}{c}x_1x_2(1+|x-y|)^{-d-2}

2. 非消失性引理

证明了关键的非消失性结果(Lemma 3.1),确保Palais-Smale序列的紧性。

3. 迭代不存在性证明

通过构造测试函数wτ(x)=xτw_\tau(x) = |x|^{-\tau}和迭代序列{τj}\{\tau_j\},系统地证明了次临界情况下的不存在性。

实验设置

理论验证框架

本文主要是理论研究,通过严格的数学证明验证结果,包括:

1. 存在性证明策略

  • Sobolev超临界情况:使用Mountain Pass定理
  • 临界情况:使用特征值理论
  • 次线性情况:使用上下解方法

2. 不存在性证明策略

  • 构造适当的测试函数
  • 使用积分发散论证
  • 迭代改进下界估计

3. 基本解构造

  • 半空间Φd,+(x,y)=Φd(xy)Φd(xy)\Phi_{d,+}(x,y) = \Phi_d(x-y) - \Phi_d(x-y^*)
  • 象限Φd,(x,y)=12(2Φd(xy)Φd(xy)Φd(xy#))\Phi_{d,*}(x,y) = \frac{1}{2}(2\Phi_d(x-y) - \Phi_d(x-y^*) - \Phi_d(x-y^\#))

主要结果

定理1.1(全空间Zd\mathbb{Z}^d

  1. 存在性:当α[0,+]\alpha \in [0,+\infty]p(2,+)(21,α,+)p \in (2,+\infty) \cap (2^*_{1,\alpha},+\infty)时,问题有至少一个正解。
  2. 次线性存在性:当α>2\alpha > 2p[1+dαd2,2)(1,2)p \in [1+\frac{d-\alpha}{d-2}, 2) \cap (1,2)时,问题有唯一正解。
  3. 不存在性:当α(,d)\alpha \in (-\infty,d)p(1,1+dαd2)p \in (1, 1+\frac{d-\alpha}{d-2})p=1+dαd2>2p = 1+\frac{d-\alpha}{d-2} > 2时,问题无正解。

定理1.2(半空间Z+d\mathbb{Z}^d_+

类似的结果,但临界指数变为:

  • Serrin指数:1+dαd11+\frac{d-\alpha}{d-1}
  • Sobolev指数:21/2,α=2(dα)d12^*_{1/2,\alpha} = \frac{2(d-\alpha)}{d-1}

定理1.3(象限Zd\mathbb{Z}^d_*

  • Serrin指数:1+dαd1+\frac{d-\alpha}{d}
  • 注意:象限域中不存在中间开放区域

关键发现

1. 几何依赖性

临界指数强烈依赖于域的几何:

  • 维数减少导致临界指数降低
  • 边界条件的数量影响临界行为

2. 开放区域

在全空间和半空间中识别了开放区域: {(α,p):α(0,2),1+dαd2<p1+d+22αd2}\{(\alpha,p) : \alpha \in (0,2), 1+\frac{d-\alpha}{d-2} < p \leq 1+\frac{d+2-2\alpha}{d-2}\}

3. 衰减估计

QC>0Q \geq C > 0时,所有正解满足limxu(x)=0\lim_{|x|\to\infty} u(x) = 0

相关工作

连续情况研究

  • Pohožaev恒等式:在p(1,2dd2)p \in (1, \frac{2d}{d-2})时无正解
  • Aubin-Talenti气泡解:临界情况p=2dd2p = \frac{2d}{d-2}的精确解
  • 变分方法p>2dd2p > \frac{2d}{d-2}时的存在性

离散情况研究

  • Gu-Huang-Sun 15d3d \geq 3pdd2+1p \leq \frac{d}{d-2}+1时的不存在性
  • Hua-Li 16p>2dd2p > \frac{2d}{d-2}时的存在性
  • 图上椭圆方程:一般图上的半线性椭圆问题

势函数研究

  • Ni 26:共形几何中的标量曲率方程
  • Bianchi等 3:径向对称递减势的存在性
  • Cao-Peng 5:无穷远处消失势的多项式衰减解

结论与讨论

主要结论

  1. 完整分类:为三种域提供了参数空间(α,p)(\alpha,p)的完整分类。
  2. 几何效应:证明了域的几何对临界指数有根本影响。
  3. 开放问题:识别了需要进一步研究的精确区域。

局限性

  1. 中间区域:全空间和半空间中的中间区域仍然开放。
  2. 一般势函数:结果主要针对Hardy型势Q(x)(1+x)αQ(x) \sim (1+|x|)^{-\alpha}
  3. 高维推广:某些技术可能难以推广到更一般的图结构。

未来方向

  1. 中间区域的解决:需要新的技术处理临界线之间的区域。
  2. 一般图:扩展到更一般的图结构。
  3. 数值验证:数值实验验证理论预测。

深度评价

优点

  1. 理论完整性:提供了三种域上Lane-Emden方程的完整理论框架。
  2. 技术创新:积分方程方法和精确的基本解估计是重要贡献。
  3. 几何洞察:揭示了域几何对临界行为的深刻影响。
  4. 开放问题识别:明确指出了需要进一步研究的方向。

不足

  1. 计算复杂性:基本解的构造和估计涉及复杂的计算。
  2. 技术性较强:某些证明技术可能难以推广。
  3. 实际应用:缺乏实际应用背景的讨论。

影响力

  1. 理论贡献:为离散Lane-Emden方程理论奠定了基础。
  2. 方法论价值:积分方程方法可应用于其他离散椭圆问题。
  3. 跨学科影响:连接了分析、几何和组合数学。

适用场景

  1. 数学物理:离散化的物理模型
  2. 网络科学:大型网络上的扩散过程
  3. 数值分析:连续问题的离散化研究

参考文献

论文引用了45篇重要文献,涵盖了椭圆方程理论、变分方法、图论分析等多个领域的经典和前沿工作。


总体评价:这是一篇高质量的理论数学论文,在离散Lane-Emden方程理论方面做出了重要贡献。论文技术深度高,结果完整,为该领域的进一步发展奠定了坚实基础。