[论文解读] $\mathrm{L}^1$-estimates for constant rank operators

Bogdan Raiţă|arXiv (Cornell University)|Nov 25, 2018

Advanced Harmonic Analysis Research参考文献 18被引用 5

一句话总结

该论文证明了：对于所有紧支集光滑向量场 u，临界 L¹-估计 ‖D^{k-1}(u - πu)‖_{L^{n/(n-1)}} ≤ c ‖ℬ(D)u‖_{L^1} 成立的充要条件是 k-齐次常秩微分算子 ℬ(D) 为消去型。证明依赖于傅里叶乘子表示与通过精确消去子的对偶性，将 Van Schaftingen 的椭圆情形结果推广至更广泛的常秩情形。

ABSTRACT

We show that the inequality $$ \|D^{k-1}(u-πu)\|_{\mathrm{L}^{n/(n-1)}(\mathbb{R}^n)}\leq c\|\mathbb{B}(D) u\|_{\mathrm{L}^1(\mathbb{R}^n)} $$ holds for vector fields $u\in\mathrm{C}^\infty_c$ if and only if $\mathbb{B}$ is canceling. Here $π$ denotes the $\mathrm{L}^2$-orthogonal projection onto the kernel of the $k$-homogeneous differential operator $\mathbb{B}(D)$ of \emph{constant rank} on $\mathbb{R}^n$. Other critical embeddings are established.

研究动机与目标

• 将 Van Schaftingen 对椭圆算子的临界 L¹-估计推广至更广泛的常秩算子类。
• 刻画哪些常秩微分算子允许涉及在核上 L² 投影的临界 L¹-估计。
• 建立消去性既是该估计 ‖D^{k-1}(u - πu)‖_{L^{n/(n-1)}} ≤ c ‖ℬ(D)u‖_{L^1} 成立的必要条件也是充分条件。
• 统一并完成常秩算子在 Sobolev 尺度上的临界嵌入理论。

提出的方法

• 利用傅里叶乘子表示将 u - πu 表示为 ℬ(D)u 的乘子。
• 通过对偶性论证应用 Van Schaftingen [26, Thm. 1.4] 的对偶估计。
• 借助常秩算子的精确消去子的最新构造 [17] 来处理非椭圆情形。
• 使用 L² 正交投影 π 将 u 中的核分量去除。
• 利用符号映射 ℬ(ξ) 及其 Moore-Penrose 逆 ℬ^†(ξ) 分析齐次性与正则性。
• 通过类似的对偶性与乘子技术，将结果推广至分数阶、Lorentz、Hardy 与 Hardy-Sobolev 尺度。

实验结果

研究问题

• RQ1 对于哪些常秩微分算子 ℬ(D)，对所有 u ∈ C^∞_c，临界 L¹-估计 ‖D^{k-1}(u - πu)‖_{L^{n/(n-1)}} ≤ c ‖ℬ(D)u‖_{L^1} 成立？
• RQ2 在常秩情形下，消去性是否为该临界 L¹-估计成立的必要且充分条件？
• RQ3 椭圆情形下使用的对偶方法能否被适配至非椭圆常秩算子？
• RQ4 对于消去型常秩算子，临界嵌入在完整的 Sobolev、Lorentz 与 Hardy 尺度上如何表现？

主要发现

• 对于所有 u ∈ C^∞_c(ℝ^n, V)，不等式 ‖D^{k-1}(u - πu)‖_{L^{n/(n-1)}} ≤ c ‖ℬ(D)u‖_{L^1} 成立当且仅当 ℬ(D) 是消去型。
• 证明依赖于将 u - πu 表示为 ℬ(D)u 的傅里叶乘子，这一表示依赖于常秩算子存在精确消去子。
• 该结果将 Van Schaftingen 的椭圆 L¹-估计推广至更大的常秩算子类，此时不再需要椭圆性条件。
• 临界嵌入不仅在经典 Sobolev 尺度上成立，也在分数阶、Lorentz 与 Hardy 尺度上建立。
• 对于非消去型算子如 div，如例 11 所示，该估计不成立，从而证实了消去性的必要性。
• 该方法允许从原始估计推导出对偶估计，展示了消去型与共消去型算子之间的对偶对称性。