[论文解读] Hyperbolic Cauchy Integral Formula for the Split Complex Numbers

Matvei Libine|ArXiv.org|Dec 3, 2007

Algebraic and Geometric Analysis参考文献 3被引用 10

一句话总结

本文为分裂复数代数 ℝ¹,¹（其中 j² = 1）建立了双曲型柯西积分公式。通过引入在光锥上正则化奇点的核函数 K_{Z₀,ε}(Z)，该公式将经典柯西公式推广至分裂复数情形，给出了波动方程 □₁,₁F = 0 解的积分表示。关键结果为：对于 ∂₁,₁⁺F = 0 的光滑有界解，F(Z₀) 可表示为 |N(Z)| = R 上的围线积分，该公式在极限下成立。

ABSTRACT

In our joint papers [FL1-FL2] we revive quaternionic analysis and show deep relations between quaternionic analysis, representation theory and four-dimensional physics. As a guiding principle we use representation theory of various real forms of the conformal group. We demonstrate that the requirement of unitarity of representations naturally leads us to the extensions of the Cauchy-Fueter and Poisson formulas to the Minkowski space, which can be viewed as another real form of quaternions. However, the Minkowski space formulation also brings some technical difficulties related to the fact that the singularities of the kernels in these integral formulas are now concentrated on the light cone instead of just a single point in the initial quaternionic picture. But the same phenomenon occurs when one passes from the complex numbers to the split complex numbers (or hyperbolic algebra). So, as a warm-up example we proved an analogue of the Cauchy integral formula for the split complex numbers. On the other hand, there seems to be sufficient interest in such formula among physicists. For example, see [KS] and the references therein.

研究动机与目标

• 将经典柯西积分公式推广至分裂复数代数 ℝ¹,¹，其中 j² = 1，且波动算子取代拉普拉斯算子。
• 解决双曲型四元数分析中光锥奇点引发的技术难题。
• 通过正则化核函数，为二维空间中波动方程 □₁,₁F = 0 的解提供严格的积分表示。
• 通过引入截断函数 φ，将公式推广至非有界函数，确保其在有界解之外仍具适用性。

提出的方法

• 将分裂复数代数 ℝ¹,¹ 定义为 ℝ² 上的代数，其乘法形式为 x + jy，其中 j² = 1，并引入微分算子 ∂₁,₁ 和 ∂₁,₁⁺，使得 ∂₁,₁∂₁,₁⁺ = ¼□₁,₁。
• 将 ∂₁,₁⁺F = 0 的解表征为 F(x,y) = (f(x+y) + jf(x+y)) + (g(x−y) − jg(x−y))，其中 f,g: ℝ → ℝ 为光滑函数。
• 通过符号函数与 ε-正则化构造正则化核函数 K_{Z₀,ε}(Z)，以处理光锥 N(Z) = x² − y² = 0 上的奇点。
• 在有界区域 U = {Z : |N(Z)| < R} 上应用斯托克斯定理，其边界 ∂U 通过外法向量与切向量对定向。
• 引入截断函数 φ，通过在 Z₀ 附近局部化函数 F 的方式，将公式扩展至无界解，同时保持全纯性。
• 通过极限过程证明积分公式：当 ε → 0⁺ 且 S → ∞ 时，围线积分收敛于 F(Z₀)，利用泊松核极限 ∫ 2ε/((u−u₀)²+ε²) du → 2πi。

实验结果

研究问题

• RQ1 如何将经典柯西积分公式推广至分裂复数代数 ℝ¹,¹（其中 j² = 1，且波动算子 □₁,₁ 取代拉普拉斯算子）？
• RQ2 在 ℝ¹,¹ 中，方程 ∂₁,₁⁺F = 0 的解具有何种结构？其与 x+y 和 x−y 的函数有何关联？
• RQ3 如何对光锥上（即 N(Z) = 0 处）的奇点进行正则化，以在双曲几何设定下定义有意义的积分核？
• RQ4 能否通过截断函数将积分公式推广至 ∂₁,₁⁺F = 0 的无界解？
• RQ5 当 ε → 0⁺ 时，正则化核函数 K_{Z₀,ε}(Z) 的极限行为如何？其如何恢复 F(Z₀)？

主要发现

• ∂₁,₁⁺F = 0 的解恰好为形如 F(x,y) = (f(x+y) + jf(x+y)) + (g(x−y) − jg(x−y)) 的函数，其分量仅依赖于 x+y 和 x−y。
• 核函数 K_{Z₀,ε}(Z) 由两项构成，每项对应一个特征方向（x+y 与 x−y），通过 ε-正则化与符号函数处理光锥奇点。
• 积分 ∫_{|N(Z)|=R} K_{Z₀,ε}(Z) · F(Z) dZ 在 ε → 0⁺ 时收敛于 2πi · F(Z₀)，从而确立了双曲型柯西公式。
• 对于有界解，由于 d(F dZ) = 2j · (∂₁,₁⁺F) dx∧dy，当 ∂₁,₁⁺F = 0 时，有 ∫_{∂U} F dZ = 0。
• 通过引入 K_{Z₀,φ,ε} 的截断版本，公式被扩展至无界解，方法为在 Z₀ 附近局部化 F 的同时保持其全纯性。
• 利用极限 ∫_{-∞}^{∞} 2ε/((u−u₀)²+ε²) du → 2πi（当 ε → 0⁺ 时）通过泊松核恢复 F(Z₀)，从而验证了正则化的正确性。