[论文解读] The Yang-Mills heat equation with finite action

Leonard Gross|arXiv (Cornell University)|Jun 13, 2016

Numerical methods in inverse problems被引用 6

一句话总结

本文在 $\mathbb{R}^3$ 及 $\mathbb{R}^3$ 中有界凸区域上，建立了 Yang-Mills 热方程在临界 Sobolev 空间 $H^{1/2}$ 初始数据下的解的存在性与唯一性。通过求解一个增强的严格抛物方程，并利用具有临界规范群 $\mathcal{G}_{3/2}$ 的函数进行规范变换，作者构造了模规范等价的强解，借助能量不等式与 Neumann 控制不等式来控制初始行为并确保有限作用量。

ABSTRACT

The existence and uniqueness of solutions to the Yang-Mills heat equation is proven over three dimensional Euclidean space and over a bounded open convex set therein. The initial data is taken to lie in the Sobolev space of order one half, which is the critical Sobolev index for this equation over a three dimensional manifold. The existence is proven by solving first an augmented, strictly parabolic equation and then gauge transforming the solution to a solution of the Yang-Mills heat equation itself. The gauge functions needed to carry out this procedure lie in the critical gauge group of Sobolev regularity three halves, which is a complete topological group in a natural metric but is not a Hilbert Lie group. The nature of this group must be understood in order to carry out the reconstruction procedure. Solutions to the Yang-Mills heat equation are shown to be strong solutions modulo these gauge functions. Energy inequalities and Neumann domination inequalities are used to establish needed initial behavior properties of solutions to the augmented equation.

研究动机与目标

• 在 $\mathbb{R}^3$ 及 $\mathbb{R}^3$ 中有界凸区域上，建立初始数据属于临界 Sobolev 空间 $H^{1/2}$ 的 Yang-Mills 热方程解的存在性与唯一性。
• 通过引入一个增强的严格抛物系统，克服 Yang-Mills 热方程弱抛物性的问题，该问题无法对初始数据进行光滑化。
• 发展并分析具有 Sobolev 正则性 $3/2$ 的临界规范群 $\mathcal{G}_{3/2}$，证明其为完备的拓扑群，但不是 Hilbert-Lie 群。
• 证明增强方程的解具有有限作用量，并通过能量不等式与 Neumann 控制不等式控制其初始行为。
• 证明原始 Yang-Mills 热方程的解为模规范变换的强解，从而确保解在规范等价意义下的唯一性。

提出的方法

• 在具有有限作用量的函数路径空间中，利用压缩映射原理求解增强的、严格抛物的 Yang-Mills 热方程。
• 利用能量不等式与 Neumann 控制不等式，推导增强方程解的初始行为估计，特别是 $t=0$ 附近 $L^p$ 与 $L^2$ 范数的行为。
• 通过 ZDS 方法构造规范变换，确保规范函数 $g$ 属于临界规范群 $\mathcal{G}_{3/2}$，该群在自然度量下是完备的。
• 建立 $g^{-1}dg$ 及其时间导数的估计，以控制变换过程并确保规范修正解的收敛性。
• 应用积分表示与卷积不等式，控制曲率与规范势的高阶 $L^p$ 范数。
• 通过证明两个具有相同初始数据的解满足 $\|A_1(t) - A_2(t)\|_2^2 = o(t^{1/2})$ 当 $t \downarrow 0$ 时，利用 Gronwall 型论证证明唯一性。

实验结果

研究问题

• RQ1 当初始数据属于临界 Sobolev 空间 $H^{1/2}(\mathbb{R}^3)$ 时，Yang-Mills 热方程的解是否存在，尽管该方程具有弱抛物性？
• RQ2 当标准抛物理论因线性部分 $-d^*d$ 的非椭圆性而失效时，如何构造解？
• RQ3 规范群 $\mathcal{G}_{3/2}$ 的结构与正则性如何？它如何支持规范变换过程？
• RQ4 能量不等式与 Neumann 控制不等式在控制增强方程解的初始行为中起什么作用？
• RQ5 当初始数据仅属于 $H^{1/2}$ 时，Yang-Mills 热方程解的唯一性是否仍成立，即使解在正时间可能不光滑？

主要发现

• 当初始数据属于 $H^{1/2}(\mathbb{R}^3)$ 或 $\mathbb{R}^3$ 中有界凸区域时，Yang-Mills 热方程的解在模规范变换的意义下存在且唯一。
• 增强方程（严格抛物）在具有有限作用量的路径空间 $\mathcal{P}_T^a$ 中存在弱解，其存在性通过压缩估计与积分方程方法建立。
• 规范群 $\mathcal{G}_{3/2}$ 是在自然度量下完备的拓扑群，但不是 Hilbert-Lie 群，对重构原始方程的解至关重要。
• 增强方程的解满足 $\|A(t) - A_0\|_2 = o(t^{1/4})$ 当 $t \downarrow 0$ 时，表明具有强初始行为控制。
• 通过抽象作用量估计与由 Neumann 控制不等式及卷积不等式导出的逐点界，证明了解具有有限作用量。
• 通过证明 $\|A_1(t) - A_2(t)\|_2^2 = o(t^{1/2})$ 当 $t \downarrow 0$ 时，并利用归纳法与 Gronwall 型论证，最终得出对所有 $t \geq 0$ 有 $A_1(t) = A_2(t)$，从而确立强解的唯一性。