[论文解读] Identification of a connection from Cauchy data on a Riemann surface with boundary

Colin Guillarmou, Leo Tzou|arXiv (Cornell University)|Jul 5, 2010

Advanced Mathematical Physics Problems参考文献 25被引用 34

一句话总结

该论文证明了紧致带边Riemann流形上磁Schödinger算子的Cauchy数据空间唯一确定了规范等价类下的连接1-形式以及完全相等的势函数。通过使用Carleman估计和边界确定技术，证明了相同的Cauchy数据意味着连接是规范相关的，势函数完全相等，从而解决了非单连通流形上磁Laplacian的逆问题。

ABSTRACT

We consider a connection $\ abla^X$ on a complex line bundle over a Riemann surface with boundary $M_0$, with connection 1-form $X$. We show that the Cauchy data space of the connection Laplacian (also called magnetic Laplacian) $L:={\ abla^X}^*\ abla^X + q$, with $q$ a complex valued potential, uniquely determines the connection up to gauge isomorphism, and the potential $q$.

研究动机与目标

• 通过磁Schödinger算子的Cauchy数据，解决在带边Riemann流形上确定连接和势函数的逆问题。
• 刻画在非单连通Riemann流形上磁Laplacian逆问题中的规范不变性。
• 建立Cauchy数据空间唯一确定连接（模规范同构）和势函数（精确相等）的结论。
• 将已知结果从欧氏区域推广至具有非平凡拓扑的通用Riemann流形。
• 完整刻画两个此类算子具有相同Cauchy数据空间的条件。

提出的方法

• 使用带调和Morse权的Carleman估计，控制磁Schödinger算子解的性质。
• 应用Lax-Milgram定理和Riesz表示定理，构造受控范数的扰动算子解。
• 通过复几何光学解与指数权函数结合的边界确定方法，辅以微局部分析。
• 依赖于解的积分恒等式，推导出势函数在边界上的逐点相等性。
• 利用相对上同调与holonomy不变量刻画连接的规范等价类。
• 通过Dirac型算子及其扰动分析系统，将问题约化为势函数的比较。

实验结果

研究问题

• RQ1 在何种条件下，磁Schödinger算子的Cauchy数据空间能唯一确定连接和势函数？
• RQ2 在具有非平凡一阶上同调的Riemann流形上，规范不变性如何影响磁Laplacian的逆问题？
• RQ3 能否从Cauchy数据中恢复磁势的通量模 $2\pi\mathbb{Z}$？
• RQ4 Riemann流形的拓扑结构在逆问题唯一性中起何种作用？
• RQ5 是否能从Cauchy数据中唯一重构连接（模规范等价）和精确确定势函数？

主要发现

• Cauchy数据空间唯一确定势函数 $q$，且为完全相等，而非仅模规范等价。
• 连接 $X$ 唯一确定于规范同构类，即满足 $X_1 - X_2 = df$，其中 $f=0$ 在 $\partial M_0$ 上，且对所有闭合环路 $\gamma$ 有 $\int_\gamma (X_1 - X_2) \in 2\pi\mathbb{Z}$。
• 规范等价性通过第一相对上同调群 $H^1(M_0, \partial M_0)$ 刻画，形式为 $X_1 = X_2 + 2\pi \sum n_m \omega_m$，$n_m \in \mathbb{Z}$，其中 $\{\omega_m\}$ 是非边界平行环路的对偶基。
• 通过带指数权的复几何光学解实现边界确定，证明 $i_{\partial M_0}^* V_1 = i_{\partial M_0}^* V_2$ 蕴含对所有 $p \in \partial M_0$ 有 $v_1(p) = v_2(p)$。
• 为磁Schödinger算子建立了Carleman估计，采用基于 $L^2$ 的控制，使得解满足 $||u||_{L^2} \leq C\sqrt{h}||f||_{L^2}$ 和 $||du||_{L^2} \leq C||f||_{L^2}$。
• 该结果是首次对一般带边Riemann流形上固定频率椭圆算子的Cauchy数据空间相等性作出完整刻画。