On the fractional logarithmic $p$-Laplacian

技术摘要：关于分数对数 p-Laplacian

问题陈述与动机
本文引入并研究了分数对数 p-Laplacian，记为 $(-\Delta)^{s+\log}_p$。该算子定义为分数 p-Laplacian $(-\Delta)^t_p$ 关于阶参数 $t$ 的一阶导数，在任意点 $s \in (0, 1)$ 处取值。虽然线性情形（$p=2$）以及极限情形 $s \to 0$（导致对数 Laplacian $L_\Delta$）近期已由 Chen 等人及 Dyda 等人研究，但本工作将理论推广至 $1 < p < \infty$ 的非线性拟线性情形。

主要动机源于理解分数算子的渐近行为，并为由这一新型非局部算子驱动的问题建立严格的泛函框架。所解决的一个重大挑战是在积分号下对非局部积分核进行微分，这引入了对数奇异性 $|x-y|^{-N-sp} \ln|x-y|$。该对数因子改变了奇异性结构，特别是在 $1 < p < 2$ 的范围内，并且对于 $|x-y| > 1$ 改变了核的符号，使得关于强制性（coercivity）和正性的标准变分论证变得复杂。

方法论与泛函框架
作者建立了一个完全基于实变量方法的综合泛函分析框架，避免了傅里叶变换技术（因为当 $p \neq 2$ 时该技术不可用）。

1. 算子定义与表示：
   本文证明了对于 $u \in C^2_c(\mathbb{R}^N)$，映射 $t \mapsto (-\Delta)^t_p u(x)$ 在 $(0, 1)$ 上是 $C^1$ 的。该导数给出了显式的积分表示：
   $$(-\Delta)^{s+\log}_p u(x) = B(N, s, p)(-\Delta)^s_p u(x) - p C(N, s, p) \text{P.V.} \int_{\mathbb{R}^N} \frac{|u(x)-u(y)|^{p-2}(u(x)-u(y)) \ln|x-y|}{|x-y|^{N+sp}} dy$$
   其中 $C(N, s, p)$ 是一个特定的归一化常数，确保在 $s \to 0$ 和 $s \to 1$ 时具有正确的极限，且 $B(N, s, p) = \frac{d}{ds} \ln C(N, s, p)$。核 $K^{s+\log}_p$ 被证明是变号的，可分解为正部和负部。

2. 能量空间：
   引入了自然能量空间 $W^{s+\log,p}_0(\Omega)$，其定义涉及包含对数核正部的 Gagliardo 型半范数。作者证明了该空间是一个可分的、一致凸的且自反的 Banach 空间。他们确立了该空间严格位于标准分数 Sobolev 空间 $W^{s+\epsilon,p}_0(\Omega)$ 和 $W^{s,p}_0(\Omega)$ 之间。

3. 关键不等式：
   本文推导了若干对分析至关重要的基本不等式：

   • Poincaré 型不等式： 建立了 $L^p$ 范数由分数对数半范数控制的关系。
   • Hardy 型不等式： 一个在边界附近带有对数权重的边界 Hardy 不等式。
   • Díaz-Saa 不等式： 在几何条件 $\text{diam}(\Omega) < e^{-1/sp}$ 下证明，导出了唯一性结果。
   • Gagliardo-Nirenberg 不等式： 在 $L^p$ 和分数对数范数之间进行插值。
   • Pohozaev 恒等式： 推导了一个修正的 Pohozaev 恒等式，揭示了由于对数权重破坏了经典核的齐次性而产生的严格正的“缺陷测度” $\Gamma_{s,p}(u)$。

主要结果

• 嵌入性质： 本文建立了 $W^{s+\log,p}_0(\Omega)$ 到 $L^q(\Omega)$ 的连续嵌入，其中 $1 \le q \le p^*_s$（这里 $p^*_s = Np/(N-sp)$）。至关重要的是，作者证明了在临界指数 $p^*_s$ 处的紧嵌入。这将分数对数情形与经典分数 Sobolev 空间区分开来，在后者中紧性在临界指数处失效。这一结果意味着 Dirac 质量集中不会形成，从而在有界域上无需使用集中紧性论证。

• Dirichlet 特征值问题： 作者研究了非线性特征值问题：
  $$(-\Delta)^{s+\log}_p u = \lambda |u|^{p-2}u \quad \text{in } \Omega, \quad u = 0 \quad \text{in } \mathbb{R}^N \setminus \Omega.$$
  在几何假设 $\text{diam}(\Omega) < e^{-1/sp}$（确保核在 $\Omega \times \Omega$ 上保持严格正）以及 $B(N, s, p) \ge 0$ 的条件下，他们证明了：

  1. 存在性： 第一个特征值 $\lambda^{s+\log}_{1,p}$ 通过变分法的直接方法获得。
  2. 正性与简单性： 第一个特征值严格为正，且对应的特征函数 $\phi^{s+\log}_{1,p}$ 是简单的（在相差一个标量倍数下唯一）且在 $\Omega$ 中几乎处处严格为正。
  3. 有界性： 特征函数是全局有界的（属于 $L^\infty(\Omega)$）。
  4. 强极小值原理： 为弱超解建立了强极小值原理，扩展了此前关于分数算子的结果。

• Pohozaev 非存在性与存在性： 推导出的 Pohozaev 恒等式包含一个缺陷项 $\Gamma_{s,p}(u) > 0$。作者指出，与经典的分数 p-Laplacian 不同（在星形域上，Pohozaev 恒等式通常导致临界指数的非存在性结果），对数情形中正缺陷测度的存在使得临界和超临界解成为可能。

意义与主张
本文声称提供了非线性区域（$p \neq 2$）中分数对数 p-Laplacian 的第一个严格变分框架。其意义在于：

1. 扩展线性理论： 成功将线性对数 Laplacian 理论推广至拟线性情形，克服了缺乏傅里叶乘子所带来的困难。
2. 临界紧性： 证明了对数修正诱导了临界 Sobolev 指数处更强的紧性性质，这是标准分数 Sobolev 空间中所不具备的特征。
3. 结构洞察： 揭示了对数权重如何破坏尺度不变性，导致带有缺陷测度的修正 Pohozaev 恒等式，从而根本性地改变了临界问题存在性的理论。
4. 谱性质： 在特定几何约束下确立了第一个特征值的存在性、简单性和正性，为具有对数奇点的非局部算子的进一步谱分析奠定了基础。

该工作被呈现为一个基础性步骤，旨在开发必要的工具（泛函空间、不等式和正则性估计），以研究由该算子驱动的边值问题，而未在非线性现象的数学背景之外提出具体的物理应用。