[论文解读] Slicing and fine properties for functions with bounded $\mathcal A$-variation

Adolfo Arroyo-Rabasa|arXiv (Cornell University)|Sep 28, 2020

Advanced Harmonic Analysis Research参考文献 23被引用 4

一句话总结

本文为具有有界 $\mathcal{A}$-变差的函数建立了在一维切片理论，其中 $\mathcal{A}$ 是一个具有常系数的齐次线性微分算子。它刻画了使得每个 $u \in \mathrm{BV}^\mathcal{A}$ 可分解为一维 $\mathrm{BV}$ 截面的算子 $\mathcal{A}$，从而能够从这些截面的经典导数中恢复 $\mathcal{A}u$ 的绝对连续部分、Cantor 部分和跳跃部分。主要贡献是一个统一的结构与精细性质定理，将经典 $\mathrm{BV}$ 和 $\mathrm{BD}$ 结果推广到一大类 $\mathrm{BV}^\mathcal{A}$ 空间。

ABSTRACT

We study the slicing and fine properties of functions in $\mathrm{BV}^{\mathcal A}$, the space of functions with bounded $\mathcal A$-variation. Here, $\mathcal A$ is a homogeneous linear differential operator with constant coefficients (of arbitrary order). Our main result is the characterization of all $\mathcal A$ satisfying the following one-dimensional structure theorem: every $u \in \mathrm{BV}^{\mathcal A}$ can be sliced into one-dimensional $\mathrm{BV}$-sections. Moreover, decomposing $\mathcal A u$ into an absolutely continuous part $\mathcal A^a u$, a Cantor part $\mathcal A^c u$ and a jump part $\mathcal A^j u$, each of these measures can be recovered from the corresponding classical $D^a,D^c$ and $D^j$ $BV$-derivatives of its one-dimensional sections. By means of this result, we are able to analyze the set of Lebesgue points as well as the set of jump points where these functions have approximate one-sided limits. Thus, proving a structure and fine properties theorem in $\mathrm{BV}^{\mathcal A}$. Our results extend most of the classical fine properties of $\mathrm{BV}$ (and all of those known for $\mathrm{BD}$). In particular, we establish a slicing theory and fine properties for $\mathscr {BV}^k, \mathrm{BD}^k$ and a whole class of $\mathrm{BV}^{\mathcal A}$-spaces that is not covered by the existing theory.

研究动机与目标

• 发展 $\mathrm{BV}^\mathcal{A}$ 中函数的一般切片理论，将 $\mathrm{BV}$ 和 $\mathrm{BD}$ 的经典结果推广至高阶及非梯度算子。
• 刻画使得每个 $u \in \mathrm{BV}^\mathcal{A}$ 均可分解为一维 $\mathrm{BV}$ 截面的算子 $\mathcal{A}$ 的类。
• 在 $\mathrm{BV}^\mathcal{A}$ 框架内建立精细性质——如近似连续性、跳跃点处一维极限的存在性以及跳跃集的可矩形性。
• 通过避免依赖于面积公式或有限周长集，统一分析 $\mathscr{BV}^k$、$\mathrm{BD}^k$ 及其他 $\mathrm{BV}^\mathcal{A}$ 空间。
• 识别 $\mathcal{A}$ 的代数条件，如混合性质 $\mathfrak{m}_k$，以确保切片与精细性质定理的有效性。

提出的方法

• 引入向量 $w \in \mathbb{R}^M$ 的 $\operatorname{rank}_{\mathcal{A}}(w)$ 概念，将经典的一秩性质推广至高阶及非梯度算子。
• 证明存在 $\mathcal{A}$-一秩向量的生成族当且仅当满足混合性质 $\bigcap_{\dim \pi = n-1} \operatorname{span}\{\operatorname{Im} \mathbb{A}^k(\xi) : \xi \in \pi\} = \{0\}$。
• 应用分解技术，沿方向 $\xi$ 将 $\mathcal{A}u$ 分解为一维截面，从而从截面的经典 $D^a$、$D^c$ 和 $D^j$ 导数中恢复 $\mathcal{A}^a u$、$\mathcal{A}^c u$ 和 $\mathcal{A}^j u$。
• 利用复椭圆算子的符号演算与迹理论，分析 $\mathcal{A}$-梯度测度的结构及其可矩形性。
• 证明 $u \in \mathrm{BV}^\mathcal{A}$ 的 Lebesgue 点集与一维截面在几乎处处几乎每条直线上具有 Lebesgue 点的性质一致。
• 表明当且仅当 $\mathcal{A}$ 满足混合性质 $\mathfrak{m}_k$ 时，切片理论成立，该性质确保通过 $\mathcal{A}$ 对方向导数有足够控制。

实验结果

研究问题

• RQ1 对于哪些具有常系数的齐次线性微分算子 $\mathcal{A}$，每个 $u \in \mathrm{BV}^\mathcal{A}$ 几乎处处沿 $\mathbb{R}^n$ 中每条直线都可分解为一维 $\mathrm{BV}$ 截面？
• RQ2 能否从 $u$ 的一维截面的经典导数中恢复测度 $\mathcal{A}u$ 的绝对连续部分、Cantor 部分和跳跃部分？
• RQ3 何种代数条件可确保 $\mathrm{BV}^\mathcal{A}$ 函数的切片理论成立，从而推广 $\mathrm{BV}$ 和 $\mathrm{BD}$ 中的一秩性质？
• RQ4 函数 $u \in \mathrm{BV}^\mathcal{A}$ 的精细性质（如近似连续性与一维极限的存在性）如何与其一维截面的行为相关联？
• RQ5 哪些经典 $\mathrm{BV}$-型算子（如拉普拉斯算子或散度-旋度）由于违反混合性质 $\mathfrak{m}_k$ 而不满足切片与精细性质？

主要发现

• 一维结构定理成立当且仅当算子 $\mathcal{A}$ 满足混合性质 $\mathfrak{m}_k$，即对所有余维数为一的平面 $\pi$，$\mathbb{A}^k(\xi)$ 的像在 $\xi \in \pi$ 上的交集为平凡。
• 测度 $\mathcal{A}u$ 的绝对连续部分、Cantor 部分与跳跃部分均可完全从 $u$ 的一维截面的经典 $D^a$、$D^c$ 与 $D^j$ 导数中恢复。
• $u \in \mathrm{BV}^\mathcal{A}$ 的 Lebesgue 点集与一维截面在几乎处处几乎每条直线上具有 Lebesgue 点的点集完全一致。
• $u \in \mathrm{BV}^\mathcal{A}$ 的跳跃集是可矩形的，且在 $\mathcal{H}^{n-1}$-几乎处处的跳跃点处函数具有单侧极限，推广了经典 $\mathrm{BV}$ 的精细性质。
• 拉普拉斯算子、$\bar{\partial}$、散度-旋度算子及共形梯度等算子不满足混合性质 $\mathfrak{m}_k$，因此不满足本文建立的切片与精细性质。
• 该理论可推广至 $\mathscr{BV}^k$、$\mathrm{BD}^k$ 及其他现有框架未涵盖的 $\mathrm{BV}^\mathcal{A}$ 空间，为梯度之外的精细分析提供了统一基础。