Anisotropic gradient rearrangement of BV functions and applications

技术摘要：BV 函数的各向异性梯度重排及其应用

问题陈述
本文致力于将对称化和重排技术从欧几里得环境推广至有界变差（BV）函数的各向异性环境。虽然经典对称化（例如施瓦茨对称化）将一般域上偏微分方程（PDE）的解与对称球上的解进行比较，但文献 [10] 中的最新进展为欧几里得情形下的 BV 函数引入了梯度重排。该过程将梯度的绝对连续部分与其奇异部分分离，重排前者，同时将后者集中在对称化域的边界上。

此处解决的具体问题是将该结果推广至各向异性环境，其中的几何结构由一个凸的、正 1-齐次函数 $H$（各向异性范数或芬斯勒范数）而非欧几里得范数所支配。在此背景下，自然的几何对象是 Wulff 形状（各向异性周长的极小化元），而非欧几里得球。挑战在于定义一种重排，使其保持各向异性全变差，并建立函数与其对称化对应物之间的 $L^1$ 比较，同时考虑分布导数的奇异部分。

方法论
作者采用了一种与 [10] 中欧几里得情形类似但适配于各向异性框架的策略：

1. 定义与预备知识：本文建立了各向异性范数（$H$）、极范数（$H^\circ$）和 Wulff 球（$W_R$）的必要记号。它定义了各向异性全变差 $|Du|_H$，并回顾了各向异性余面积公式和等周不等式。
2. 截断与测度分解：对于非负函数 $u \in BV_0(\Omega)$，作者考虑截断 $v_s = (u - u^*(s))_+$。他们分析了这些截断的各向异性全变差 $G(s) = |Dv_s|_H(\mathbb{R}^n)$，将其分解为绝对连续部分（$G_{H,1}$）和奇异部分（$G_{H,2}$）。
3. 梯度重排构造：
   • 各向异性能量密度的绝对连续部分 $H(\nabla_a u)$ 被重排为 Wulff 球 $\Omega^\star$ 上的增函数 $g^\sharp$。
   • 在 $\Omega^\star$ 上构造一个新函数 $u^\star$，使其梯度几乎处处满足 $H(\nabla u^\star) = g^\sharp$。
   • 至关重要的是，原始导数的奇异部分 $D_s u$ 并未被丢弃。相反，它被编码为 $\partial \Omega^\star$ 上的常数边界迹 $c_0$。该常数定义为总奇异各向异性变差与 Wulff 球各向异性周长之比：$c_0 = |D_s u|_H(\mathbb{R}^n) / P_H(\Omega^\star)$。
4. 比较证明：主要定理通过建立联系 $u$ 的分布函数与重排所诱导测度的微分不等式来证明。通过积分该不等式并利用 Hardy-Littlewood 不等式，作者推导出了 $L^1$ 比较。

主要贡献与结果

• 定理 1.2（主要结果）：对于非负函数 $u \in BV_0(\Omega)$，设 $u^\star$ 为定义在 Wulff 球 $\Omega^\star$（满足 $|\Omega^\star| = |\Omega|$）上的各向异性梯度重排。本文证明了 $L^1$ 比较：
  $$\|u\|_{L^1(\Omega)} \leq \|u^\star\|_{L^1(\Omega^\star)}$$
  该结果将 [10] 中的欧几里得 $L^1$ 比较推广到了各向异性环境。

• 各向异性全变差的保持：该构造确保了对称化下总各向异性变差得以保持：
  $$|Du^\star|_H(\mathbb{R}^n) = |Du|_H(\mathbb{R}^n)$$
  导数的奇异部分被明确地作为对称化函数中的边界项恢复。

• 在扭转刚度中的应用：作者应用主要定理推导了各向异性环境中与扭转刚度相关的两个泛函的圣维南（Saint-Venant）型不等式：

  1. 惩罚扭转刚度（$T^H_F$）：对于涉及各向异性狄利克雷能量和基于梯度支撑测度的惩罚项的泛函，本文证明了当域为 Wulff 球时，该泛函达到极小值（或刚度达到极大值）。这是通过证明各向异性梯度重排保持能量和惩罚项不变，同时增加函数的 $L^1$ 范数来实现的。
  2. 各向异性绝缘泛函（$T^H_G$）：对于涉及各向异性狄利克雷能量和与函数迹相关的边界项的泛函，本文建立了类似的圣维南不等式。一个关键的技术步骤（引理 4.4）将迹的边界积分与函数零延拓的各向异性变差的奇异部分联系起来，从而使主要重排定理得以适用。

意义与主张
本文声称提供了对 [10] 中引入的梯度对称化技术的严谨各向异性对应物。其主要意义在于：

• 处理奇异性：它通过将导数的奇异部分通过边界数据显式追踪，而非在对称化过程中丢失，成功地将重排方法扩展到了 BV 函数。
• 几何普遍性：它用 Wulff 形状取代了欧几里得球，Wulff 形状是各向异性表面能量的自然极小化元，从而使结果适用于涉及晶体表面张力和界面能量的模型。
• 变分应用：它展示了这种重排在证明自然几何为各向异性的变分问题的等周型不等式中的实用性。

局限性与谦逊
作者对其唯一性主张的范围持谦逊态度。在 Wulff 球上的惩罚扭转刚度背景下（命题 4.1），他们建立了对称极小化元的存在性，但明确表示不主张唯一性。他们指出，唯一性或刚性结果需要各向异性情形下对应于 [33] 中欧几里得情形所证明的刚性定理的各向异性类比，而当前各向异性环境中尚不具备这些定理。因此，本文侧重于比较原理和对称极小化元的存在性，而非完整的刚性刻画。