[论文解读] Geometric Rigidity Estimates for Incompatible Fields in Dimension $\ge$ 3

Gianluca Lauteri, Stephan Luckhaus|arXiv (Cornell University)|Mar 9, 2017

Geometric Analysis and Curvature Flows被引用 5

一句话总结

该论文在维度 $ n \geq 3 $ 下建立了非相容矩阵场的几何刚性估计，证明了对于 $ p > 1^* = \frac{n}{n-1} $ 的尺度不变 $ L^p $ 估计，以及在临界指数处的弱 $ L^{1^*} $ 估计。论文引入了一种平均线性同伦算子，用于分解非相容场，从而实现了对 $ SO(n) $-值场的 $ BV $ 估计，其前提是场的 $ \operatorname{Curl} $ 有界，这表明若此类场的 $ \operatorname{Curl} $ 有限，则其属于 $ BV $。

ABSTRACT

We prove geometric rigidity inequalities for incompatible fields in dimension higher than 2. We are able to obtain strong scaling-invariant $L^p$ estimates in the supercritical regime, while for critical exponent $1^* = \frac{n}{n-1}$ we have a scaling invariant inequality only for the weak-$L^1$ norm. Although not optimal, such an estimate in $L^{1 ,\infty}$ is enough in order to infer a useful lemma which gives $BV$ bounds for $SO(n)$-valued fields with bounded Curl.

研究动机与目标

• 将几何刚性估计扩展至维度 $ n \geq 3 $ 的非相容场，此时经典基于梯度的估计方法失效。
• 为非相容场在 $ p > 1^* = \frac{n}{n-1} $ 的超临界区域建立尺度不变的 $ L^p $ 估计。
• 在临界指数 $ 1^* $ 处推导弱 $ L^{1^*} $ 估计，足以推导出 $ SO(n) $-值场的 $ BV $ 估计。
• 证明当 $ A \in SO(n) $ 几乎处处成立且 $ \operatorname{Curl}(A) \in \mathcal{M}^n(\Omega) $ 时，有 $ A \in BV(\Omega, SO(n)) $，在较弱正则性条件下成立。

提出的方法

• 使用平均线性同伦算子 $ T $ 将非相容场 $ A $ 分解为相容部分与余项，其中 $ T $ 是一个弱奇性积分算子。
• 利用恒等式 $ \omega = T\,\mathrm{d}\omega + \mathrm{d}T\,\omega $，将场表示为其 $ \operatorname{Curl} $ 与一个由 Calderón-Zygmund 算子控制的余项。
• 应用基于核 $ \frac{1}{|x-y|^{n-1}} $ 推导出的 $ T $ 的逐点 $ L^p $ 估计，以在 $ p > 1^* $ 时控制余项的 $ L^p $ 范数。
• 借助 Conti、Dolzmann 与 Müller 的弱几何刚性估计，获得临界指数下弱 $ L^{1^*} $ 空间中的尺度不变不等式。
• 在边长为 $ \varrho $ 的立方体上构造场 $ A $ 的分段常数逼近 $ A_\varrho $，其中每个立方体上使用最小化 $ \operatorname{dist}(A, SO(n)) $ 的旋转 $ R_i^{(\varrho)} $。
• 通过 $ \varrho^{\frac{n-2}{2}} \|\operatorname{dist}(A, SO(n))\|_{L^2} + |\operatorname{Curl}(A)|(\Omega) $ 控制总变差 $ |DA_\varrho| $ 与 $ L^1 $ 误差 $ \|A - A_\varrho\|_{L^1} $。

实验结果

研究问题

• RQ1 能否将几何刚性估计扩展至维度 $ n \geq 3 $ 的非相容场，特别是在超临界区域 $ p > 1^* $？
• RQ2 在临界指数 $ 1^* $ 处是否可能获得尺度不变估计？若可能，其在何种函数空间中成立？
• RQ3 弱 $ L^{1^*} $ 估计是否足以推导出具有有限 $ \operatorname{Curl} $ 的 $ SO(n) $-值场的有界变差（BV）正则性？
• RQ4 此类场的分段常数逼近在 $ \varrho $ 下的 $ L^1 $ 误差与总变差的最优量纲关系为何？
• RQ5 场的 $ \operatorname{Curl} $ 是否控制其在 $ SO(n) $ 几乎处处成立时的 $ BV $-半范数？

主要发现

• 对于 $ p > 1^* = \frac{n}{n-1} $，本文在维度 $ n \geq 3 $ 下建立了非相容场的尺度不变 $ L^p $ 几何刚性估计，常数仅依赖于 $ n $。
• 在临界指数 $ 1^* $ 处，获得了弱 $ L^{1^*} $ 空间中的尺度不变估计，足以推导出 $ SO(n) $-值场的 $ BV $ 估计。
• 弱 $ L^{1^*} $ 估计表明：若 $ A \in SO(n) $ 几乎处处成立且 $ \operatorname{Curl}(A) \in \mathcal{M}^n(\Omega) $，则 $ A \in BV(\Omega, SO(n)) $，且满足 $ |DA|(\Omega) \leq C_n |\operatorname{Curl}(A)|(\Omega) $。
• 分段常数逼近 $ A_\varrho $ 满足不等式 $ \frac{1}{\varrho}\|A - A_\varrho\|_{L^1} + |DA_\varrho|(\Omega) \leq C_n \left( \varrho^{\frac{n-2}{2}} \|\operatorname{dist}(A, SO(n))\|_{L^2} + |\operatorname{Curl}(A)|(\Omega) \right) $。
• 当 $ \varrho \to 0 $ 时，有 $ A_\varrho \to A $ 在 $ L^1 $ 中强收敛，且总变差 $ |DA_\varrho| $ 关于 $ \varrho $ 一致有界，这表明当 $ A \in SO(n) $ 几乎处处成立且 $ \operatorname{Curl}(A) $ 有限时，必有 $ A \in BV(\Omega, SO(n)) $。