2025-11-17T16:37:19.965161

The Fujita exponent for a heat equation with mixed local and nonlocal nonlinearities on the Heisenberg group

Fino, Kirane
This article deals with the problems of local and global solvability for a semilinear heat equation on the Heisenberg group involving a mixed local and nonlocal nonlinearity. The characteristic features of such equations, arising from the interplay between the geometric structure of the Heisenberg group and the combined nonlinearity, are analyzed in detail. The need to distinguish between subcritical and supercritical regimes is identified and justified through rigorous analysis. On the basis of the study, the author suggests precise conditions under which local-in-time mild solutions exist uniquely for regular, nonnegative initial data. It is proved that global existence holds under appropriate growth restrictions on the nonlinear terms. To complement these results, it is shown, by employing the capacity method, that solutions cannot exist globally in time when the nonlinearity exceeds a critical threshold. As a result, the Fujita exponent is formulated and identified as the dividing line between global existence and finite-time blow-up. In addition, lifespan estimates were obtained in the supercritical regime, providing insight into how the size of the initial data influences the time of blow-up.
academic

The Fujita exponent for a heat equation with mixed local and nonlocal nonlinearities on the Heisenberg group

基本信息

  • 论文ID: 2507.16411
  • 标题: The Fujita exponent for a heat equation with mixed local and nonlocal nonlinearities on the Heisenberg group
  • 作者: Ahmad Z. Fino (American University of the Middle East), Mokhtar Kirane (Khalifa University)
  • 分类: math.AP (Analysis of PDEs)
  • 发表时间: 2025年7月22日 (arXiv预印本)
  • 论文链接: https://arxiv.org/abs/2507.16411

摘要

本文研究了Heisenberg群上涉及混合局部和非局部非线性项的半线性热方程的局部和全局可解性问题。文章详细分析了由Heisenberg群的几何结构与混合非线性项相互作用产生的特征性质，通过严格分析识别并论证了区分亚临界和超临界制度的必要性。研究为正则非负初始数据的局部时间温和解的唯一存在性提供了精确条件，证明了在非线性项适当增长限制下的全局存在性，并运用容量方法证明了当非线性项超过临界阈值时解不能全局存在。最终确定了作为全局存在性和有限时间爆破分界线的Fujita指数，并在超临界制度下获得了生存时间估计。

研究背景与动机

问题背景

  1. 经典Fujita问题: 1966年Fujita研究了经典半线性热方程 ut=Δu+upu_t = \Delta u + u^p 在 Rn\mathbb{R}^n 上的行为，发现临界指数 pF=1+2/np_F = 1 + 2/n，该指数决定了解的全局存在性与有限时间爆破的分界线。
  2. Heisenberg群上的扩展: Heisenberg群 HnH^n 作为次黎曼流形的典型例子，其上的次拉普拉斯算子 ΔH\Delta_H 具有强次椭圆性和次黎曼尺度性质。Zhang、Pohožaev-Véron和Pascucci等学者已经建立了纯幂型问题在Heisenberg群上的Fujita型结果。
  3. 混合非线性项的挑战: 同时包含非局部记忆项（时间卷积）和幂型反应项的混合局部-非局部非线性使问题变得更加丰富和具有挑战性。

研究动机

  • 现有文献很少涉及混合局部-非局部非线性的扩散方程
  • Heisenberg群的几何结构为次椭圆扩散提供了自然设置
  • 需要理解记忆效应与瞬时反应项的相互作用如何影响解的行为

核心贡献

  1. 建立了Heisenberg群上混合非线性热方程的完整理论框架，包括局部存在性、全局存在性和爆破结果
  2. 确定了精确的Fujita临界指数，刻画了全局存在性与有限时间爆破的分界线
  3. 发展了适用于混合非线性的分析技术，结合了Banach不动点定理和容量方法
  4. 获得了超临界制度下的生存时间估计，揭示了初始数据大小对爆破时间的影响
  5. 建立了比较原理，为混合非线性问题提供了重要的分析工具

方法详解

任务定义

研究半线性热方程：

\partial_t u - \Delta_H u = \int_0^t (t-s)^{-\gamma} |u|^{p_1-1}u(s) ds + |u|^{p_2-1}u, & \eta \in H^n, t > 0 \\ u(\eta, 0) = u_0(\eta), & \eta \in H^n \end{cases}$$ 其中 $\Delta_H$ 是Heisenberg群上的次拉普拉斯算子，$\gamma \in [0,1)$，$p_1, p_2 > 1$。 ### 核心数学框架 #### 1. Heisenberg群结构 - **群运算**: $\eta \circ \eta' = (x+x', y+y', \tau+\tau'+2(x \cdot y' - x' \cdot y))$ - **齐次维数**: $Q = 2n + 2$ - **Korányi范数**: $|\eta|_H = ((|x|^2 + |y|^2)^2 + \tau^2)^{1/4}$ - **次拉普拉斯算子**: $\Delta_H = \sum_{i=1}^n (X_i^2 + Y_i^2)$ #### 2. 温和解定义 温和解满足积分方程： $$u(t,\eta) = S_H(t)u_0(\eta) + \Gamma(\alpha)\int_0^t S_H(t-s)I^\alpha_{0|s}(|u|^{p_1-1}u)(s,\eta) ds + \int_0^t S_H(t-s)|u|^{p_2-1}u(s,\eta) ds$$ 其中 $S_H(t)$ 是由 $\Delta_H$ 生成的半群。 #### 3. 临界指数 定义关键的临界指数： - $p_1^* = \max\{1/\gamma, p_\gamma\}$，其中 $p_\gamma = 1 + \frac{2(2-\gamma)}{Q-2+2\gamma}$ - $p_2^* = 1 + \frac{2}{Q}$ - $p_2^{**} = \max\{\frac{\gamma-\gamma^2+1}{\gamma(2-\gamma)}, 1 + \frac{2}{Q-2+2\gamma}\}$ ### 技术创新点 #### 1. 比较原理的建立 通过Picard迭代序列构造了适用于混合非线性的比较原理，这是处理此类问题的关键工具。 #### 2. 三种情况的分类分析 在全局存在性证明中，巧妙地将问题分为三种情况： - $p_2 = \tilde{p}_2$：直接构造解 - $p_2 > \tilde{p}_2$：利用比较原理 - $p_2^{**} < p_2 < \tilde{p}_2$：交换 $p_1$ 和 $p_2$ 的角色 #### 3. 尺度不变性的利用 充分利用了Heisenberg群的尺度变换性质和热核的齐次性质。 ## 实验设置 ### 理论验证框架 作为纯理论数学论文，本文不包含数值实验，而是通过严格的数学证明验证理论结果： #### 1. 局部存在性验证 - 使用Banach不动点定理 - 验证算子的压缩性 - 确保解的正则性 #### 2. 全局存在性验证 - 构造合适的函数空间 - 验证解在该空间中的有界性 - 使用bootstrap论证扩展正则性 #### 3. 爆破结果验证 - 应用容量方法（rescaled test function method） - 构造下解和比较原理 - 验证临界指数的精确性 ## 主要结果 ### 1. 局部存在性定理（定理1.1） 对于 $u_0 \in C_0(H^n)$，$p_i > 1$（$i=1,2$），存在最大时间 $T_{\max} > 0$ 和唯一的温和解。要么 $T_{\max} = +\infty$（全局解），要么 $T_{\max} < +\infty$ 且解在有限时间内爆破。 ### 2. 全局存在性定理（定理1.2） 当 $p_1 > p_1^*$ 且 $p_2 > p_2^{**}$ 时，对于充分小的初始数据，问题存在唯一的全局温和解。 ### 3. 爆破定理（定理1.3） 当 $p_1 \leq p_1^*$ 或 $p_2 \leq p_2^*$ 时，所有非平凡非负解在有限时间内爆破。 ### 4. 生存时间估计（定理1.4-1.5） 在超临界情况下，给出了精确的生存时间估计： - 当 $p_1 < p_1^{sc} := 1 + \frac{2(2-\gamma)}{Q}$ 时：$T_\varepsilon \leq C\varepsilon^{-(\frac{2-\gamma}{p_1-1} - \frac{Q}{2})^{-1}}$ - 当 $p_2 < p_2^*$ 时：$T_\varepsilon \leq C\varepsilon^{-(\frac{1}{p_2-1} - \frac{Q}{2})^{-1}}$ ## 相关工作 ### 经典理论基础 - **Fujita (1966)**: 建立了经典Fujita问题的理论框架 - **Zhang, Pohožaev-Véron, Pascucci**: 将Fujita理论扩展到Heisenberg群 ### 混合非线性研究 - **Cazenave等 (2008)**: 研究了欧氏空间中的纯非局部方程 - **Souplet (1998)**: 分析了有界域中的反应-扩散方程 - **Zhang (2023)**: 考虑了分数阶扩散方程 ### 本文的位置 本文首次系统研究了Heisenberg群上的混合局部-非局部非线性热方程，填补了该领域的重要空白。 ## 结论与讨论 ### 主要结论 1. 成功建立了Heisenberg群上混合非线性热方程的完整理论 2. 确定了精确的Fujita临界指数，完全刻画了全局存在性与爆破的分界线 3. 获得了超临界制度下的精确生存时间估计 ### 局限性 1. **开放问题**: 当 $p_1 > p_1^*$ 且 $p_2^* < p_2 \leq p_2^{**}$ 时的行为仍未确定 2. **技术限制**: 某些生存时间估计仅覆盖部分爆破情形 3. **推广性**: 结果主要限于特定形式的混合非线性 ### 未来方向 1. 扩展到时间-空间分数阶算子 2. 考虑更奇异的初始数据 3. 研究其他类型的非局部项在不同李群或流形上的影响 ## 深度评价 ### 优点 1. **理论完整性**: 建立了从局部存在性到全局行为的完整理论框架 2. **技术创新**: 发展了处理混合非线性的新技术，特别是比较原理的建立 3. **结果精确性**: 获得了精确的临界指数和生存时间估计 4. **方法系统性**: 巧妙结合了不动点理论、半群理论和容量方法 ### 不足 1. **完整性**: 存在一个参数区域的行为未完全确定 2. **推广性**: 方法可能难以直接推广到更一般的非线性形式 3. **应用性**: 作为纯理论研究，实际应用价值有限 ### 影响力 1. **学术贡献**: 为非线性抛物方程理论提供了重要的理论补充 2. **方法价值**: 发展的技术可能适用于其他几何设置 3. **研究启发**: 为后续研究混合非线性问题提供了重要参考 ### 适用场景 - 数学物理中的扩散过程建模 - 几何分析中的非线性发展方程 - 次黎曼几何中的抛物型方程理论研究 ## 参考文献 论文引用了21篇重要参考文献，涵盖了Heisenberg群理论、半线性抛物方程、Fujita型结果等关键领域的经典和最新研究成果，为本文的理论基础提供了坚实支撑。