The trace-free Beurling--Ahlfors transform and the Bourgain--Brezis problem for Hodge systems

技术摘要：无迹 Beurling–Ahlfors 变换与 Hodge 系统的 Bourgain–Brezis 问题

问题陈述
本文研究了关于临界欠定偏微分方程（即 $\mathbb{R}^n$ 上的 Hodge 系统）的 Bourgain–Brezis 问题。核心问题在于：对于给定的临界 Sobolev 空间 $\dot{W}^{n/p,p}\Lambda^l$（或更广义的 Triebel–Lizorkin 与 Besov 空间）中的精确微分形式 $dv$，是否存在一个原函数$u$，使得$du = dv$且$u$属于该临界空间与$L^\infty$ 的交集。

由于规范解 $u = -|D|^{-2}\nabla f$（在散度情形下）或其 Hodge 类比形式往往因临界 Sobolev 嵌入的失效（$\dot{W}^{n/p,p} \not\subset L^\infty$）而无法保持有界，Bourgain 和 Brezis 此前已针对特定情形（例如散度方程中 $p=n$，或 Hodge 系统中 $p=2$ 的 Hilbert 空间情形）证明了存在有界解。一般的猜想认为，这一现象对于所有 $1 < p < \infty$ 以及所有微分形式阶数 $1 \le l \le n-1$ 均成立。在此项工作之前，进展受到了限制：对偶方法仅限于 Hilbert 空间情形（$p=2$），而逼近方法仅在 $p$ 较大时（具体为 $n < p+l$ 时）才有效，这使得 $1 < p \le 2$ 的范围在很大程度上难以触及。

方法论
本文在问题的对偶表述框架内引入了一种新颖的方法。其核心方法论依赖于对无迹 Beurling–Ahlfors 变换（$S$）作用于微分形式的识别与利用。

1. $S$ 的定义： 作者将 $S$ 定义为广义 Beurling–Ahlfors 变换 $\tilde{S} = P - P^\perp$ 的一种规范化，其中 $P$ 和 $P^\perp$ 分别是向精确形式和共精确形式投影的 Hodge 投影。该变换定义为：
   $$S = \frac{n-l}{n}P - \frac{l}{n}P^\perp = \frac{1}{2}\left(\tilde{S} - \frac{2l-n}{n}\text{Id}\right).$$
   这种规范化确保了算子符号 $S(\xi)$ 的迹在所有 $\xi \neq 0$ 时均为零。

2. 反射抵消（Reflection Cancellation）： 一个关键的技术洞察是，$S$ 的矩阵符号可以分解为形式为 $\frac{\xi_i^2 - \xi_j^2}{|\xi|^2}$ 和 $\frac{\xi_i \xi_j}{|\xi|^2}$ 的标量乘数。这些乘数在特定的正交反射下是奇函数。通过这种对称性，作者证明了一个端点抵消估计：算子 $|D|^{-n}S$ 能将有限 Radon 测度（特别是 $L^1_0$ 函数）有界地映射到 $L^\infty$。相比于恒等算子（恒等算子不具备从测度到 $L^\infty$ 的这种有界性），这是一个显著的改进。

3. 对偶原理： 本文利用一个对偶原理（命题 3.2），将原 Hodge 系统的有界选择的存在性，等价于对偶空间中可积形式的共精确分量的端点估计。具体而言，证明对于共精确形式 $\|\omega\|_X \lesssim \|\omega\|_{L^1_0} + \|P\omega\|_X$，可以恢复 Bourgain–Brezis 选择估计。

4. 多线性扩展： 为了超越 Hilbert 空间情形（$p=2$），作者将线性反射抵消扩展到了多线性设定中。通过展开对角块的幂次（利用 Littlewood–Paley 理论）并利用乘数的反射对称性，作者推导出了非 Hilbert 指数下的估计。这涉及控制形式为 $\int (\Delta_j S\omega) (\Delta_j u)^{k}$ 的多线性表达式，其中利用了乘数的奇函数性质。

主要贡献与结果

• 完成 Hilbert 空间情形： 本文证明了 Bourgain–Brezis 猜想在每个维度 $n \ge 2$ 以及每个微分形式阶数 $1 \le l \le n-1$ 下的 Hilbert 空间情形（$p=2$）。这解决了此前对偶方法受限于特定阶数（如 $l=1$ 或 $l=n-1$）的空白。

  • 结果： $d[\dot{H}^{n/2}\Lambda^l] = d[(\dot{H}^{n/2} \cap L^\infty)\Lambda^l]$。

• 新的非 Hilbert 指数范围： 本文确定了一系列无限接近 $p=1$ 的新指数族的 Bourgain–Brezis 估计。

  • Triebel–Lizorkin 标度： 对于 $1 < p \le q \le 2$，若 $q'$ 为偶数且 $p'/q' \in \mathbb{N}$，则猜想成立。
  • Besov 标度： 对于 $1 < p \le 2$ 且 $1 \le q \le p$，若 $p'$ 为偶数，则猜想成立。
  • Sobolev 后果： 通过设置 $q=2$（识别 $\dot{W}^{n/p,p} = \dot{F}^{n/p}_{p,2}$），本文证明了对于 $p = \frac{2k}{2k-1}$（其中 $k \ge 1$ 为整数），该猜想成立。这提供了一系列收敛于 1 的指数序列，在这些指数下，猜想对所有维度和微分形式阶数均成立。

• 端点 Hodge 分解： 研究结果产生了新的 Hodge 分解，使得精确势和共精确势均可以被选为有界的。具体而言，对于确定的临界空间，精确形式空间 $d[\dot{X}\Lambda^{l-1}]$ 允许一种分解，其势函数属于 $(\dot{X} \cap L^\infty)\Lambda^{l-1}$。

• 内在非线性： 本文证明了这些估计所保证的有界选择不能由有界线性算子实现（除非是在临界空间已经嵌入到 $L^\infty$ 的平凡情况，即 $q=1$ 的 Besov 空间）。这证实了将奇异规范解“修正”为有界解的过程本质上是非线性的。

意义
本文声称，对偶方法对于 Bourgain–Brezis 问题的处理比此前理解的“具有显著的灵活性”。通过分离出无迹 Beurling–Ahlfors 结构，作者展示了对偶方法并不局限于 Hilbert 空间情形（$p=2$），而是可以通过多线性反射估计扩展到覆盖靠近 $p=1$ 的临界指数。这补充了现有的逼近方法（在 $p$ 较大时有效），并为整个临界参数范围内的猜想提供了一个统一的框架。这项工作同时也阐明了使这些估计成为可能的端点抵消背后的结构性原因（乘数的反射对称性），从而为 Hodge 系统的行为提供了更深层的几何理解，尤其是在临界正则性条件下。