[论文解读] An extension and trace theorem for functions of H-bounded variation in Carnot groups of step 2

Christina Selby|ArXiv.org|Oct 17, 2005

Dermatological and Skeletal Disorders参考文献 1被引用 6

一句话总结

本文建立了在步长为2的Carnot群中H有界变差函数的扩展与迹定理。引入了H-可容许区域的概念——涵盖非特征区域和Heisenberg型区域的对称区域——并证明了在$BV_H(\theta)$中的函数可被扩展至$BV_H(\mathbb{G})$，且总变差受控。关键结果为一个迹定理，表明在约化边界上的迹的$L^1$-范数被$BV_H$-半范数所控制。

ABSTRACT

This paper provides an extension for a function $u \in BV_H(Ω)$ to a function $u_0 \in BV_H(G)$ when $Ω$ is ``H-admissible,'' and G is a step 2 Carnot group. It is shown that H-admissible domains include non-characteristic domains and domains in groups of Heisenberg type which have a partial symmetry about characteristic points. An example is given of a domain that is $C^{1,α}$, $α<1$, that is not H-admissible. Further, when $Ω$ is H-admissible a trace theorem is proved for $u \in BV_H(Ω)$.

研究动机与目标

• 在步长为2的Carnot群$\mathbb{G}$中，当$\Omega$为H-可容许区域时，将$BV_H(\Omega)$中的函数扩展至$BV_H(\mathbb{G})$。
• 通过上近似极限与下近似极限定义并刻画$u \in BV_H(\Omega)$在$\partial\Omega$上的迹。
• 证明一个迹不等式，表明迹的$L^1$-范数由$u$的$BV_H$-半范数所控制。
• 建立跳跃集$F$的可矩形性与积分收敛性质，其中近似极限不同。
• 展示$C^{1,\alpha}$区域在$\alpha < 1$时可能不满足H-可容许性，从而凸显H-可容许性条件的紧致性。

提出的方法

• 通过两个条件定义H-可容许区域：(i) $\mathcal{S}^{Q-1}_d(\partial\Omega \setminus \partial^*_{*,H}\Omega) = 0$，以及 (ii) 在$\partial^*_{*,H}\Omega$上的局部测度比较条件。
• 利用Franchi, Serapioni与Serra Cassano（2004）关于有限H-曲率集的结构定理，确保$\partial^*_{*,H}\Omega$是$\mathcal{S}^{Q-1}_d$-可矩形的。
• 将迹$u^*(x) = \mu_{u_0}(x) + \lambda_{u_0}(x)$定义为扩展函数$u_0$的上近似极限与下近似极限之和。
• 应用[12]中的爆破定理，在可矩形点处识别出半空间$S_H^\pm(\nu)$，并分析单侧极限。
• 利用Garofalo与Nheiu（1998）的Poincaré不等式及修正的John-Nirenberg型估计，控制在$F$附近的$u - U(x)$的$L^{Q/(Q-1)}$-范数。
• 利用$BV_H$函数的面积公式及水平集的结构，通过$BV_H$-半范数有界迹范数。

实验结果

研究问题

• RQ1 哪些区域$\Omega \subset \mathbb{G}$允许将$u \in BV_H(\Omega)$扩展为$u_0 \in BV_H(\mathbb{G})$，且总变差得到统一控制？
• RQ2 在步长为2的Carnot群中，H-可容许区域的精确定义及其几何意义为何？
• RQ3 当$\Omega$为H-可容许区域时，如何定义并刻画$BV_H(\Omega)$中函数在$\partial\Omega$上的迹？
• RQ4 $F$中近似跳跃间断点附近的$u$具有怎样的$L^{Q/(Q-1)}$-平均性质？
• RQ5 $C^{1,\alpha}$区域在$\alpha < 1$时是否可能不满足H-可容许性？这说明了H-可容许性条件的紧致性如何？

主要发现

• H-可容许区域包括非特征区域以及Heisenberg型群中某些对称区域，其由测度论条件与局部比较条件定义。
• 迹$u^*$被良好定义为扩展函数$u_0$的上近似极限与下近似极限之和，且满足$\int_{\partial_{*,H}\Omega} |u^*|\, d\mathcal{S}^{Q-1}_d \leq M \|u\|_{BV_H(\Omega)}$，其中$M = M(\Omega)$。
• 近似不连续点的跳跃集$F$是可数$\mathcal{S}^{Q-1}_d$-可矩形的，且对$\mathcal{S}^{Q-1}_d$-几乎处处的$x \in F$，存在法向量$\nu(x)$，使得对$\lambda(x) < s < \mu(x)$，有$\nu_{A_s}(x) = \nu(x)$。
• 对$\mathcal{S}^{Q-1}_d$-几乎处处的$x \in F$，函数$u$沿半空间$S_H^\pm(\nu(x))$的单侧极限存在，分别等于$\mu(x)$与$\lambda(x)$。
• $u - U(x)$的$L^{Q/(Q-1)}$-范数在以$x \in \mathbb{G} \setminus F$为中心的球内随$r \to 0$趋于零，且在$F$附近的半空间中同样成立，确认了强Lebesgue点行为。
• 构造了一个反例：一个$C^{1,\alpha}$区域在$\alpha < 1$时不是H-可容许的，表明H-可容许性条件不能由标准光滑性推出。