[论文解读] Linear discrete multitime multiple recurrence

Cristian Ghiu, Raluca Tuliga+1 more|arXiv (Cornell University)|Jun 5, 2015

Advanced Optimization Algorithms Research参考文献 9被引用 4

一句话总结

本文通过基本矩阵解法与变换技术，建立了常系数线性离散多时多重复关系的存在性与唯一性定理。证明了在系数矩阵可逆的条件下，此类系统存在唯一解，将单变量递推理论推广至具有偏序结构的幺半群上的多变量离散动力系统。

ABSTRACT

The multitime multiple recurrences are common in analysis of algorithms, computational biology, information theory, queueing theory, filters theory, statistical physics etc. The theoretical part about them is little or not known. That is why, the aim of our paper is to formulate and solve problems concerning nonautonomous multitime multiple recurrence equations. Among other things, we discuss in detail the cases of linear recurrences with constant coefficients, highlighting in particular the theorems of existence and uniqueness of solutions.

研究动机与目标

• 为计算生物学与信息论等领域中多时多重复关系缺乏理论基础的问题提供解决。
• 制定并求解非自治多时多重复方程，尤其聚焦于常系数线性情形。
• 建立线性离散多时多重复关系解的存在性与唯一性定理。
• 统一阐述单变量与多变量设定下递推关系的理论体系。

提出的方法

• 在 ℤ^m 上利用偏序 ≤，对幺半群上的首阶多时多重复关系进行表述。
• 引入线性齐次系统的基本（转移）矩阵 χ(t, s) 概念。
• 通过变换 x̃(t) = χ(t, t₀)⁻¹x(t) 将非齐次系统转化为可加递推形式。
• 通过交换性条件 Fα(t+1β, Fβ(t,x)) = Fβ(t+1α, Fα(t,x)) 推导出一致性的必要与充分条件。
• 利用矩阵求逆与递推求和，将通解表示为 x(t) = χ(t,t₀)x₀ + χ(t,t₀)∑C̃α,k(t)。
• 建立解的存在性与系数矩阵及非齐次项相关的相容性条件 (9) 之间的等价关系。

实验结果

研究问题

• RQ1 在何种条件下，常系数线性离散多时多重复关系存在唯一解？
• RQ2 此类系统的基解矩阵应如何构造？其满足哪些性质？
• RQ3 何种变换可实现将非齐次递推关系化为可加形式？
• RQ4 何种相容性条件可确保多时系统中不同时间方向的一致性？
• RQ5 解的结构如何从单变量推广至多变量离散递推？

主要发现

• 若所有 Aα(t) 可逆，则系统 x(t+1α) = Aα(t)x(t) + bα(t) 对任意初值 x(t₀) = x₀ 存在唯一解。
• 解的形式为 x(t) = χ(t,t₀)x₀ + χ(t,t₀)∑C̃α,k(t)，其中 χ(t,t₀) 为基解矩阵，C̃α,k(t) 为变换后非齐次项的累积和。
• 唯一全局解的存在性等价于相容性条件 Aα(t+1β)bβ(t) + bα(t+1β) = Aβ(t+1α)bα(t) + bβ(t+1α)。
• 基解矩阵 χ(t,s) 对所有 t ≥ s 可逆，确保初值问题的适定性。
• 变换后系统 x̃(t+1α) = x̃(t) + Ãα(t) 为可加形式，可通过求和求解，其解为 x̃(t) = x₀ + ∑C̃α,k(t)。
• 该理论将经典单变量递推结果推广至 ℤ^m 上具有偏序结构的多变量离散动力系统。