[论文解读] Linear quaternion-valued Dynamic Equations on Time Scales

Dong Cheng, Kit Ian Kou+1 more|arXiv (Cornell University)|Jul 1, 2016

Matrix Theory and Algorithms被引用 7

一句话总结

本文通过引入基于 p-行列式的新 Wronskian，将线性四元数值微分方程推广至任意时间尺度，实现了齐次与非齐次系统的基本解矩阵解法的 Liouville 公式和 Putzer 算法。该研究建立了非齐次方程的常数变易公式，为非交换四元数的动态系统提供了统一的四元数微分方程（QDE）框架。

ABSTRACT

The study of dynamic equations on time scales provides a unified analysis of different types of dynamic equations such as differential equations and difference equations. Recently, the theory of linear quaternion-valued differential equations (QDEs) was established. In this paper, we generalize the theory of QDEs to quaternion-valued dynamic equations on arbitrary time scales (QDETs). The definition of Wronskian determinant for QDEs is inconvenient to be used for QDETs due to the differences between traditional derivative and delta derivative. Using $p$-determinant, we define a novel Wronskian for QDETs. And the Liouville's formula is given. We also present the Putzer's algorithm to compute fundamental solution matrix for homogeneous QDETs and deduce the variation of constants formula to solve nonhomogeneous QDETs. Finally, examples are given to illustrate our results.

研究动机与目标

• 将线性四元数值微分方程推广至任意时间尺度，统一微分方程与差分方程的框架。
• 解决传统 Wronskian 定义在时间尺度动力学中与 delta 导数不兼容的问题。
• 基于 p-行列式为时间尺度上的四元数值动态方程提出新的 Wronskian 构造方法。
• 为非齐次四元数值动态方程建立 Liouville 公式与常数变易公式。
• 提供 Putzer 算法等计算工具，用于在四元数设定下构造基本解矩阵。

提出的方法

• 提出一种基于 p-行列式的新型 Wronskian 行列式，以克服经典 Wronskian 在时间尺度动力学中的局限性。
• 为四元数矩阵定义 p-行列式，以处理时间尺度背景下非交换乘法的问题。
• 基于基于 p-行列式的 Wronskian 推导四元数值动态方程在时间尺度上的 Liouville 公式。
• 将 Putzer 算法适配至时间尺度上齐次四元数值动态方程的基本解矩阵计算。
• 为非齐次四元数值动态方程建立常数变易公式，以实现通过积分构造解。
• 通过具体实例说明理论方法的应用。

实验结果

研究问题

• RQ1 如何重新定义经典 Wronskian，使其适用于任意时间尺度上的四元数值动态方程，以适配 delta 导数？
• RQ2 在时间尺度上的四元数值动态方程背景下，Liouville 公式的适当推广形式是什么？
• RQ3 Putzer 算法能否被适配以计算时间尺度上齐次四元数值动态方程的基本解矩阵？
• RQ4 如何推导并应用常数变易公式于非齐次四元数值动态方程？
• RQ5 p-行列式在确保非交换四元数系统中 Wronskian 的一致性与实用性方面发挥何种作用？

主要发现

• 基于 p-行列式的新型 Wronskian 被定义于时间尺度上的四元数值动态方程，解决了传统 Wronskian 在 delta 导数下存在的问题。
• 基于 p-行列式 Wronskian，成功将 Liouville 公式推广至时间尺度上的四元数值动态方程。
• Putzer 算法被适配用于计算时间尺度上齐次四元数值动态方程的基本解矩阵。
• 为非齐次四元数值动态方程推导出常数变易公式，可通过积分实现解的构造。
• 通过具体示例验证了理论结果，展示了所提框架的实际适用性。