[论文解读] A note on solution of $ax+xb=c$ by Clifford algebras

A. Dargys, A. Acus|arXiv (Cornell University)|Feb 25, 2019

Algebraic and Geometric Analysis参考文献 6被引用 4

一句话总结

本文提出了一种在 Clifford 代数 $\mathrm{Cl}_{p,q}$ 中求解 Sylvester 方程 $ax + xb = c$ 的坐标无关方法，适用于 $p+q \leq 3$ 的情况，通过使用阶数否定和代数共轭运算。该方法通过从多向量构造类标量中心，推导出类似于四元数方法的显式解，当中心表达式非奇异时可实现基于逆的求解，并在 $\mathrm{Cl}_{3,0}$ 中展示了显式计算。

ABSTRACT

The coordinate-free solutions of the multivector equation $ax+xb=c$ are discussed and presented for the Clifford algebras $Cl_{p,q}$ when $p+q\le 3$.

研究动机与目标

• 开发适用于低维 Clifford 代数 $\mathrm{Cl}_{p,q}$（其中 $p+q \leq 3$）的 Sylvester 方程 $ax + xb = c$ 的坐标无关求解方法。
• 通过识别能生成可交换中心的合适代数共轭，将基于共轭的四元数求解技术推广至一般 Clifford 代数。
• 通过分析是否存在两个独立的中心不变量 $a + \bar{a}$ 和 $a\bar{a}$，确定哪些 Clifford 代数允许此类解。
• 在 $\mathrm{Cl}_{3,0}$ 中通过显式计算验证该方法，确认解满足原方程。

提出的方法

• 使用阶数否定运算 $a_{\bar{1},\bar{2}}$ 定义广义共轭，同时对向量和双向量进行反转，替代标准 Clifford 共轭。
• 将相同的代数结构应用于 $a$ 和 $b$，形成 $a + \bar{a}$ 和 $a\bar{a}$ 作为中心 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ 的元素，以确保其与所有多向量可交换。
• 推导出类似于四元数情形的解公式：$x = \left[(a^2 + b\bar{b}) + a(b + \bar{b})\right]^{-1}(ac + c\bar{b})$，当逆存在时成立。
• 采用三维多向量的逆公式：$A^{-1} = \frac{C(AC)_{\bar{3}}}{AC(AC)_{\bar{3}}}$，其中 $C = A_{\bar{1},\bar{2}}$，以计算系数多向量的逆。
• 通过将解直接代入原方程 $ax + xb = c$，对 $\mathrm{Cl}_{3,0}$ 的一个具体示例（给定 $a$、$b$ 和 $c$）进行验证。
• 探索更高维代数 $\mathrm{Cl}_{n,0}$、$\mathrm{Cl}_{0,n}$ 和 $\mathrm{Cl}_{p,q}$（$n=4,5,6$），但发现仅存在一个中心不变量而非两个，限制了该方法在 $p+q \leq 3$ 之外的适用性。

实验结果

研究问题

• RQ1 哪些满足 $p+q \leq 3$ 的 Clifford 代数 $\mathrm{Cl}_{p,q}$ 可通过广义共轭实现 $ax + xb = c$ 的坐标无关求解？
• RQ2 能否通过阶数否定将依赖于标量不变量 $b + \bar{b}$ 和 $b\bar{b}$ 的四元数求解技术推广至 $\mathrm{Cl}_{p,q}$ 中的多向量？
• RQ3 在 $\mathrm{Cl}_{p,q}$ 中，解公式 $x = \left[(a^2 + b\bar{b}) + a(b + \bar{b})\right]^{-1}(ac + c\bar{b})$ 成立的条件是什么？
• RQ4 中心 $\mathrm{Cen}(\mathrm{Cl}_{p,q})$ 的结构，特别是标量和伪标量分量的存在，如何影响方程的可解性？
• RQ5 为何该方法无法推广至 $\mathrm{Cl}_{1,3}$ 和 $\mathrm{Cl}_{3,1}$，尽管它们同构于 $\mathrm{Cl}_{4,0}$ 的偶子代数？

主要发现

• 该方法成功求解了 $\mathrm{Cl}_{2,0}$、$\mathrm{Cl}_{1,1}$、$\mathrm{Cl}_{0,2}$、$\mathrm{Cl}_{3,0}$、$\mathrm{Cl}_{2,1}$、$\mathrm{Cl}_{1,2}$ 和 $\mathrm{Cl}_{0,3}$ 中的 $ax + xb = c$，使用广义共轭 $a_{\bar{1},\bar{2}}$ 和推导出的解公式。
• 当系数多向量 $(a^2 + b\bar{b}) + a(b + \bar{b})$ 为零时，解出现奇异，这在 $b = a$ 且 $a + \bar{a} = 0$ 时发生，表明不可逆性丧失。
• 在 $\mathrm{Cl}_{3,0}$ 中，该方法给出了具体解：$x = \frac{1}{2177719}(359677 + 601305\mathbf{e}_1 - 155957\mathbf{e}_2 - 436078\mathbf{e}_3 + 209677\mathbf{e}_{12} + 1076362\mathbf{e}_{13} - 489350\mathbf{e}_{23} + 27015\mathbf{e}_{123})$，且满足原方程。
• 通过公式 $A^{-1} = \frac{C(AC)_{\bar{3}}}{AC(AC)_{\bar{3}}}$ 计算系数多向量的逆，其中 $C = A_{\bar{1},\bar{2}}$，结果经数值验证。
• 在更高维代数（$n=4,5,6$）中，仅发现一个中心不变量（$a + \bar{a}$ 或 $a\bar{a}$），而非两个，因此该方法无法推广至 $p+q \leq 3$ 之外。
• 该方法仅能通过其偶子代数应用于 $\mathrm{Cl}_{1,3}$ 和 $\mathrm{Cl}_{3,1}$，但因中心结构不足而失败，限制了其在相对论物理应用中的使用。