Elementary Brezis-Browder type results and Representation formulae for s-harmonic functions

这是一份关于 Damiano Greco 论文《Elementary Brezis–Browder Type Results and Representation Formulae for s–Harmonic Functions》（分数阶 Brezis–Browder 型结果与 s-调和函数表示公式）的详细技术总结。

1. 研究背景与核心问题

本文主要研究分数阶拉普拉斯算子 $(−\Delta)^s$ 相关的两个核心数学问题：

1. s-调和函数的性质与表示：在 $\mathbb{R}^d$ 上，研究满足 $(−\Delta)^s u = 0$ 的分布解（s-调和函数）的结构，以及分数阶泊松方程 $(−\Delta)^s u = T$ 的解的表示公式。特别是，在什么条件下，分布解可以表示为 Riesz 势（Riesz potential）加上一个多项式。
2. 分数阶 Sobolev 空间中的 Brezis–Browder 型结果：经典 Brezis–Browder 定理指出，在某些 Sobolev 空间条件下，若分布 $T$ 与函数 $u$ 的乘积有下界，则 $Tu$是可积的，且对偶配对$\langle T, u \rangle$等于积分$\int Tu$。本文旨在将这一结果推广到分数阶 Sobolev 空间 $\dot{H}^{s,p}(\mathbb{R}^d)$ 和 $H^{s,p}(\mathbb{R}^d)$ 中。

关键难点：

• 分数阶算子的非局部性导致其作用在紧支集光滑函数上通常不具有紧支集，仅具有多项式衰减。因此，定义分布解需要特定的增长控制空间（如 $L^1_{2s}(\mathbb{R}^d)$）。
• 在分数阶情形下，传统的截断技术（Hedberg 截断）不能直接应用，因为截断后的序列可能不再属于目标 Sobolev 空间，或者无法保持所需的有界性。

2. 主要方法论

作者采用了以下数学工具和方法：

• 傅里叶分析与 Riesz 势：利用傅里叶变换定义分数阶拉普拉斯算子，并通过 Riesz 核 $I_{2s}$ 构建基本解。
• 正则化与核估计：在研究 s-调和函数的内部正则性时，作者构造了特定的截断函数和核函数（基于 $L_{m,s}$ 算子），通过精细的积分估计（涉及 $C^\infty$ 函数的导数估计）来证明解的光滑性。
• 逼近序列构造：
  • 对于一般分数阶 $s > 0$，利用光滑函数的乘积序列 $u_\lambda = u \phi_\lambda$ 来逼近 Sobolev 空间中的元素，并结合局部可积性条件（$T \in L^{\bar{q}}_{loc}$）来克服非整数阶截断的困难。
  • 对于低阶情形 $0 < s < 1$，利用 Gagliardo–Slobodeckiĭ 半范数定义的空间，构造有界截断序列（$u_n = \min(\phi_n, u)$），从而无需额外的局部可积性假设。
• Liouville 定理与渐近分析：通过分析解在无穷远处的行为（多项式增长控制），结合 Liouville 定理，确定解的多项式部分。

3. 关键贡献与主要结果

3.1 s-调和函数与泊松方程的表示公式

• Liouville 型定理 (Theorem 1.1)：

  • 条件：$d \ge 1, 0 < s < d/2$。若 $u \in L^1_{2s}(\mathbb{R}^d)$ 且满足 $(−\Delta)^s u = 0$（在分布意义下）。
  • 结论：$u$ 是一个次数严格小于 $2s$ 的多项式。
  • 意义：将经典结果从 $s \in (0,1)$ 推广到了 $s \in (0, d/2)$ 的更广泛范围。

• 分数阶泊松方程的表示公式 (Theorem 1.2)：

  • 条件：$T \in \dot{H}^{-s}(\mathbb{R}^d) \cap L^1_{loc}(\mathbb{R}^d)$ 且 $T \ge 0$。
  • 结论：分布解 $u$ 满足特定无穷远衰减条件（平均增长有界）当且仅当 $u$ 可以表示为：
    $$u(x) = A_{2s} \int_{\mathbb{R}^d} \frac{T(y)}{|x-y|^{d-2s}} dy + l$$
    其中 $l \in \mathbb{R}$ 是常数。
  • 意义：证明了在适当条件下，Riesz 势是唯一的分布解（模去常数），这是多调和算子情形结果的分数阶推广。

• Riesz 势的正则性 (Corollary 3.2)：证明了若 $T \in L^q$，则其 Riesz 势属于特定的 Sobolev 空间，并给出了具体的嵌入关系。

3.2 分数阶 Brezis–Browder 型结果

• 一般情形 (Theorem 4.1)：

  • 设定：$X$ 为齐次或非齐次分数阶 Sobolev 空间 $\dot{H}^{s,p}$ 或 $H^{s,p}$。
  • 条件：$T \in X' \cap L^{\bar{q}}_{loc}(\mathbb{R}^d)$，其中 $\bar{q}$ 是根据 $s, p, d$ 定义的特定指数（见公式 1.7）。若 $Tu \ge -|f|$ ($f \in L^1$)。
  • 结论：$Tu \in L^1(\mathbb{R}^d)$ 且对偶配对等于积分：
    $$\langle T, u \rangle_{X', X} = \int_{\mathbb{R}^d} T(x)u(x) dx$$
  • 创新点：通过引入额外的局部可积性条件 $\bar{q}$，解决了非整数阶 $s$ 下截断序列不在 $L^\infty$ 中的问题。

• 低阶情形改进 (Theorem 4.2)：

  • 设定：$0 < s < 1$，空间基于 Gagliardo–Slobodeckiĭ 半范数定义。
  • 条件：无需额外的局部可积性条件（即 $T$ 只需在 $Y' \cap L^1_{loc}$ 中）。
  • 结论：同样的 Brezis–Browder 等式成立。
  • 意义：当 $p=2$ 且 $0<s<1$ 时，该结果比 Theorem 4.1 更优，因为它去除了对 $T$ 的额外正则性要求，利用了分数阶 Sobolev 空间特有的截断性质。

4. 技术细节与证明策略亮点

1. 核函数估计 (Lemma 3.1)：作者没有直接使用分数阶泊松核，而是构造了一个基于 $L_{m,s}$ 算子的积分表示。通过精细估计核函数 $J_R(x, z)$ 及其导数，证明了 s-调和函数在球内的 $C^\infty$ 正则性及导数界的定量估计。
2. 多项式部分的消除：在证明表示公式时，利用解在无穷远处的平均行为（$\liminf$ 条件）来排除非零次数的多项式部分，仅保留常数项。
3. 逼近序列的构造：
   • 在 Theorem 4.1 中，利用 $\phi_\lambda(x) = \phi(x/\lambda)$ 进行缩放逼近，结合 $T$ 的局部可积性控制误差。
   • 在 Theorem 4.2 中，利用 $u_n = \min(\phi_n, u)$ 这种截断方式，直接利用了 $0 < s < 1$ 时半范数的次可加性性质，使得截断后的序列仍属于 Sobolev 空间且保持有界。

5. 研究意义

• 理论完善：填补了分数阶算子理论中关于分布解表示公式和 Brezis–Browder 型定理在一般 $s > 0$ 和 $p \neq 2$ 情形下的空白。
• 应用价值：
  • 为 Thomas–Fermi 型积分方程的研究提供了新的正则性工具和表示公式。
  • 为处理涉及非局部算子的非线性问题（如分数阶 PDE 中的非线性项处理）提供了坚实的线性理论基础，特别是在处理 $Tu$ 项的积分定义时。
• 方法创新：展示了如何通过调整局部可积性条件或改变逼近策略，来克服分数阶算子非局部性带来的技术障碍，为后续相关研究提供了范式。

综上所述，该论文通过严谨的分析和精细的估计，成功地将经典调和分析与变分法中的关键结果推广到了分数阶领域，具有重要的理论价值。