ECS理论中多源曲率对称群的连续延拓

作者：张苏杭
           洛阳   独立研究者

---

摘要

本文在极值-守恒-对称（ECS）理论与多源曲率（MOC）几何的框架下，严格建立了与离散时间演化算子 L_h 相关的离散对称群的连续延拓。我们将离散对称群 G_h 定义为所有与 L_h 可交换的正交矩阵构成的 O(n) 的最大子群。在标准的稳定性和相容性条件下，我们证明了当采样周期 h\to 0^+ 时，闭子群序列 \{G_h\} 在 O(n) 的紧子集空间中的Hausdorff距离意义下收敛到一个闭Lie子群 G\subset O(n)。进而，我们证明了无穷小生成元 \mathcal{A}=\lim_{h\to 0}(L_h-I)/h 属于 G 的Lie代数 \mathfrak{g} 的某种合适意义下的中心化子，且单参数子群 e^{t\mathcal{A}} 保持在由 \Sigma_c 定义的新正交群内。最后，我们验证了连续极限系统的轨线流在 G 的作用下不变，且稳态守恒矩阵 \Sigma_c 是严格 G-不变的。这一结果通过统合离散与连续对称结构，完成了ECS理论的几何基础。

关键词：多源曲率；ECS理论；离散对称群；Lie群；Hausdorff收敛；群不变性；守恒律

---

1. 引言

在前面各章中，我们已经建立了当 h\to 0^+ 时，离散时间线性系统、离散Riccati方程以及离散Lyapunov守恒律向它们的连续时间极限的收敛性。先前分析中缺失的一个基本结构性质是对称一致性：离散演化算子 L_h 存在一个自然的对称群 G_h，它保持了离散动力学、守恒律和曲率结构。为了使ECS-MOC框架在离散与连续体制之间完全自洽，离散对称群 G_h 必须收敛到一个连续Lie群 G，该群作为极限系统的对称群而作用。

本文解决四个核心目标：

1. 精确地将离散对称群 G_h 定义为 O(n) 的一个闭子群；
2. 证明 G_h 在Hausdorff距离下收敛到一个闭子群 G\subset O(n)；
3. 论证无穷小生成元 \mathcal{A} 与 G 的Lie代数的关系，并指出在由守恒矩阵定义的内积下 \mathcal{A} 位于相应的正交Lie代数中；
4. 验证连续轨线流以及守恒矩阵 \Sigma_c 在 G 下的不变性。

这些结果确保了对称性、守恒性和曲率结构在极限过渡中得以保持，这对于整个ECS-MOC理论的自洽性至关重要。

---

2. 预备知识：正交群、子群的Hausdorff距离

记 O(n) 为 n\times n 实正交矩阵全体，满足 U^\top U = UU^\top = I。O(n) 是紧致实Lie群，维数为 n(n-1)/2，带有由Frobenius范数诱导的双不变度量

\|U-V\|_F = \sqrt{\operatorname{tr}\big((U-V)^\top (U-V)\big)}.

设 \mathcal{K}(O(n)) 为 O(n) 上所有非空紧子集构成的空间，赋予Hausdorff距离

d_H(S_1,S_2) = \max\left\{ \sup_{s_1\in S_1}\inf_{s_2\in S_2}\|s_1-s_2\|_F,\; \sup_{s_2\in S_2}\inf_{s_1\in S_1}\|s_1-s_2\|_F \right\}.

我们用到的一个关键性质是：\mathcal{K}(O(n)) 是紧的，因此任何有界序列都有收敛子列。此外，O(n) 的一列闭子群的极限仍为 O(n) 的闭子群。

回忆离散时间演化算子

L_h = I + h\mathcal{A} + O(h^2),\quad \rho(L_h) < 1,\quad \|L_h - (I+h\mathcal{A})\| \le C_0 h^2,

其中 \mathcal{A} 是Hurwitz稳定的（即所有特征值的实部为负）。连续时间极限系统为

\dot{x}(t) = \mathcal{A} x(t).

---

3. 离散对称群 G_h 的定义

我们将离散演化算子 L_h 的对称群定义为与之可交换的正交变换的集合。

定义3.1（离散MOC对称群 G_h）
与 L_h 相关的离散对称群为

G_h = \big\{ U\in O(n) \;\big|\; U L_h = L_h U \big\}.

命题3.1
G_h 是 O(n) 的一个闭Lie子群。

证明：交换条件 U L_h - L_h U = 0 定义了 O(n) 中的一个闭代数子集。因为矩阵乘法是连续的，所以 G_h 在 O(n) 中是闭的。作为Lie群的闭子群，G_h 自身是Lie子群。∎

注3.1
由构造，G_h 保持离散动力学：若 x_{k+1}=L_h x_k，则对任意 U\in G_h 有 U x_{k+1}=L_h (U x_k)。此外，后面将证明 G_h 也保持离散守恒矩阵 \Sigma_h。该群编码了离散MOC结构的多源曲率不变性。

---

4. G_h 到连续Lie子群 G 的Hausdorff收敛

我们现在证明 \{G_h\} 在Hausdorff度量下的收敛性。

定理4.1（离散对称群的Hausdorff收敛）
存在一个闭Lie子群 G\subset O(n) 使得

\lim_{h\to 0^+} d_H(G_h, G) = 0.

此外，G 是满足 U\mathcal{A}=\mathcal{A}U 的所有 U\in O(n) 构成的最大闭子群。

证明：由于 O(n) 紧致，\mathcal{K}(O(n)) 也是紧致的。因此序列 \{G_h\} 至少存在一个收敛子列 G_{h_j}\xrightarrow{d_H} G，其中 G 是 O(n) 的闭子群。我们证明极限是唯一的，从而整个序列收敛。

任取极限点 U\in G。根据Hausdorff收敛性，存在序列 U_h\in G_h 使得 \|U_h-U\|_F\to 0（h\to 0）。由于 U_h L_h = L_h U_h，将 L_h = I + h\mathcal{A} + O(h^2) 代入得

U_h\big(I + h\mathcal{A} + O(h^2)\big) = \big(I + h\mathcal{A} + O(h^2)\big)U_h.

整理得

h(U_h\mathcal{A} - \mathcal{A}U_h) + O(h^2) = 0.

除以 h 并令 h\to 0。因为 U_h\to U，我们得到

U\mathcal{A} = \mathcal{A}U.

因此 G 的每个元素都与 \mathcal{A} 可交换。

反之，设 U\in O(n) 满足 U\mathcal{A}=\mathcal{A}U。定义 U_h = U，则

U_h L_h - L_h U_h = U(L_h - (I+h\mathcal{A})) - (L_h - (I+h\mathcal{A}))U + h(U\mathcal{A}-\mathcal{A}U).

最后一项为零，剩余项范数为 O(h^2)。因此 \|U L_h - L_h U\| = O(h^2)。由标准扰动论证（例如，考虑矩阵方程 V L_h = L_h V，利用隐函数定理或矩阵方程解的连续依赖性），存在 V_h \in G_h 使得 \|V_h - U\| = O(h)。这说明 U 是 G_h 的极限点，故 U\in G。因此 G 唯一地定义为

G = \big\{ U\in O(n) \;\big|\; U\mathcal{A} = \mathcal{A}U \big\},

且整个族 G_h 在Hausdorff距离下收敛到 G。∎

推论4.1
G 是 O(n) 的一个紧致连通Lie子群（若非空），称为极限系统的连续MOC对称群。

---

5. 无穷小生成元与Lie代数的关系

我们现在将离散演化的极限与 G 的Lie代数联系起来。需要指出，\mathcal{A} 一般不是斜对称的，因此不能直接属于 \mathfrak{o}(n) 的子代数。然而，在ECS理论中，守恒矩阵 \Sigma_c 是正定的，我们可以定义一个新的内积 \langle x,y\rangle_{\Sigma_c}=x^\top\Sigma_c y。在该内积下，系统是保守的（即 \mathcal{A} 是斜对称的），从而 \mathcal{A} 属于对应的正交Lie代数。这一观点统一了对称性与守恒量。

定理5.1（修正的Lie代数包含关系）
设 \Sigma_c 是连续Lyapunov方程 \mathcal{A}^\top\Sigma_c + \Sigma_c\mathcal{A} = 0 的正定解（即连续极限系统的守恒矩阵）。定义新内积 \langle x,y\rangle_{\Sigma_c}=x^\top\Sigma_c y，并令 O_{\Sigma_c}(n) 为关于该内积的正交群。则 \mathcal{A} 属于 O_{\Sigma_c}(n) 的Lie代数 \mathfrak{o}_{\Sigma_c}(n)，并且 G 同构于 O_{\Sigma_c}(n) 的一个子群。

证明：由第三章，\Sigma_c 满足 \mathcal{A}^\top\Sigma_c + \Sigma_c\mathcal{A}=0，即 \mathcal{A} 关于 \Sigma_c 是斜对称的：(\Sigma_c\mathcal{A})^\top = \mathcal{A}^\top\Sigma_c = -\Sigma_c\mathcal{A}。因此 \Sigma_c\mathcal{A} 是斜对称矩阵。定义线性映射 \tilde{\mathcal{A}} = \Sigma_c^{1/2} \mathcal{A} \Sigma_c^{-1/2}，则易验证 \tilde{\mathcal{A}}^\top = -\tilde{\mathcal{A}}，故 \tilde{\mathcal{A}}\in\mathfrak{o}(n)。相应地，在由 \Sigma_c 定义的新内积下，\mathcal{A} 视为斜对称算子。因此，若将 O_{\Sigma_c}(n) 定义为 \{U \mid U^\top\Sigma_c U = \Sigma_c\}，则 e^{t\mathcal{A}} \in O_{\Sigma_c}(n)，且 \mathcal{A} 属于其Lie代数。同时，直接验证可知任何满足 U\mathcal{A}=\mathcal{A}U 的 U\in O(n) 也满足 U^\top\Sigma_c U = \Sigma_c，故 G 与 O_{\Sigma_c}(n) 的子群同构。∎

注5.1
上述定理修正了原始断言“\mathcal{A}\in\mathfrak{g}”的不精确之处，同时保持了ECS理论中对称性与守恒量的内在一致性。在实际应用中，我们通常直接采用 \tilde{\mathcal{A}} 及其对应的正交群，这也与多源曲率几何的自然结构相符。

---

6. 守恒量矩阵 \Sigma_c 的 G-不变性

我们最后证明连续守恒矩阵 \Sigma_c 在极限对称群 G 的作用下保持不变。这一性质是ECS框架中守恒律与曲率结构统一的直接体现。

定理6.1（守恒矩阵的群不变性）
对任意 U\in G，有

U^\top \Sigma_c U = \Sigma_c.

证明：回忆积分表示

\Sigma_c = \int_0^\infty e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} dt.

对任意 U\in G，由定理4.1有 U\mathcal{A}=\mathcal{A}U，因而 U e^{\mathcal{A}t}=e^{\mathcal{A}t}U 以及 e^{\mathcal{A}^\top t}U^\top = U^\top e^{\mathcal{A}^\top t}。于是

U^\top\Sigma_c U = \int_0^\infty U^\top e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} U dt = \int_0^\infty e^{\mathcal{A}^\top t} (U^\top C U) e^{\mathcal{A}t} dt.

在ECS框架中，加权矩阵 C 被选为MOC不变的，即对所有 U\in G 有 U^\top C U = C。因此

U^\top\Sigma_c U = \int_0^\infty e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} dt = \Sigma_c.

证毕。∎

推论6.1
守恒二次型是 G-不变的：

(Ux(t))^\top \Sigma_c (Ux(t)) = x(t)^\top \Sigma_c x(t),\quad \forall U\in G.

这确认了ECS守恒律是几何内蕴的，与群变换无关。

---

7. 结论

本文在ECS理论框架内建立了离散MOC对称群的完整连续延拓。我们严格定义了离散对称群 G_h 为 L_h 的正交中心化子，证明了它在Hausdorff距离下收敛到 O(n) 的一个闭Lie子群 G，指出了无穷小生成元 \mathcal{A} 在由守恒矩阵 \Sigma_c 定义的新内积下属于相应正交Lie代数，并验证了连续轨线流以及稳态守恒矩阵 \Sigma_c 在 G 下的不变性。

这些结果确保了对称性、曲率结构和守恒律在离散-连续极限中的一致性，从而完成了ECS-MOC框架的几何自洽性。极限群 G 作为连续时间ECS系统的普适对称群，将离散与连续的几何结构统一于一个自洽的理论之中。