[论文解读] Defect measures on graded lie groups

Véronique Fischer, Clotilde Fermanian Kammerer|arXiv (Cornell University)|Jul 13, 2017

Advanced Mathematical Physics Problems参考文献 16被引用 5

一句话总结

本文通过发展适配于其表示理论的伪微分演算，将微局部缺陷测度（MDMs）推广至分次幂零李群。它建立了0次齐次符号的$C^*$-代数框架，并通过缺陷测度证明了二次型的收敛性，将补偿紧致性与旋度-散度结果推广至非欧几里得设定，适用于振荡与集中序列。

ABSTRACT

In this article, we define a generalisation of microlocal defect measures (also known as H-measures) to the setting of graded nilpotent Lie groups. This requires to develop the notions of homogeneous symbols and classical pseudo-differential calculus adapted to this setting and defined via the representations of the groups. Our method relies on the study of the C *-algebra of 0-homogeneous symbols. Then, we compute microlocal defect measures for concentrating and oscillating sequences, which also requires to investigate the notion of oscillating sequences in graded Lie groups. Finally, we discuss compacity compactness approaches in the context of graded nilpotent Lie groups.

研究动机与目标

• 将微局部缺陷测度（MDMs）的理论从欧几里得空间推广至分次幂零李群的设定。
• 利用酉表示与齐次符号，在这些群上发展经典伪微分演算。
• 通过缺陷测度表征有界序列的二次型弱极限，特别是振荡与集中序列。
• 在子黎曼与分层李群的背景下，建立缺陷测度与补偿紧致性之间的联系，包括旋度-散度引理。

提出的方法

• 通过在酉对偶$\widehat{G}$上的逆傅里叶变换，在分次李群上构造伪微分演算，其中符号为$G \times \widehat{G}$上的算子值场。
• 通过渐近展开与主符号，定义齐次符号类$\dot{S}^m$与经典演算$\Psi^m_{\text{cl}}(\Omega)$。
• 引入0次齐次正则符号的$C^*$-代数$C^*(\widetilde{S}^0)$，分析其谱与状态，以描述缺陷测度。
• 利用Gelfand-Naimark-Segal构造，将$C^*$-代数上的状态表示为向量状态，从而通过弱-*极限识别缺陷测度。
• 通过分析序列在$C^*$-代数中相关状态的行为，将理论应用于具有空间集中或振荡的函数序列。
• 通过将问题嵌入更大的算子框架并验证矩阵值符号的旋度性质，证明了分层李群上的新旋度-散度引理。

实验结果

研究问题

• RQ1 如何将微局部缺陷测度推广至分次幂零李群的非欧几里得设定？
• RQ2 在分次李群上，何种伪微分演算能支持齐次符号与主符号的定义？
• RQ3 在分次李群上，振荡与集中序列在$L^2$中的行为如何？其微局部行为如何通过缺陷测度捕捉？
• RQ4 能否通过此缺陷测度框架将补偿紧致性原理与旋度-散度引理推广至子黎曼李群？

主要发现

• 本文通过$C^*$-代数方法与算子值符号，建立了分次幂零李群上微局部缺陷测度的明确定义理论。
• 证明了对于$L^2_{\text{loc}}(\Omega)$中的有界序列，二次型$\langle A(u_k - u), u_k - u \rangle$的弱极限由$\Omega \times \widehat{G}$上的正缺陷测度$\gamma$的积分表征。
• 缺陷测度同时捕捉了由酉表示引起的时空集中与振荡，后者与0次齐次符号$C^*$-代数上状态的弱-*极限相关联。
• 在分层李群上证明了新的旋度-散度引理：若$\text{div}(V_k) \to \text{div}(V)$在$L^2_{-1}(\Omega,\text{loc})$中收敛，且$\text{Op}(\rho)W_k \to \text{Op}(\rho)W$在$L^2_{-m}(G,\text{loc})$中收敛，则$\langle V_k, W_k \rangle \to \langle V, W \rangle$在分布意义下收敛，前提是$\rho$满足旋度性质。
• 证明依赖于将向量场嵌入更大的算子框架，并应用$C^*$-代数上状态的紧致性结果，矛盾源于对状态泛函的负下界假设。
• 该理论与海森堡群与卡诺群设定下的已知结果一致，并为通过李群上的微局部分析统一分析$L^2$中紧致性的缺失提供了框架。