以对称积表示的线性差分方程闭式解
符号计算
2013-01-22 v1
摘要
在本文中，我们展示了如何用二阶算子的解来表示三阶差分算子的闭式解。这项工作是对先前关于求递推方程闭式解结果的扩展，也是现有微分方程结果的对应。作为本工作的动机与应用，我们讨论了仅由定义递推关系给出的序列正定性证明问题。与解决同一问题的早期方法相比，本方法的主要优势在于我们的算法提供了人类可读且可验证的，即经认证的证明。
引用
@article{arxiv.1301.4983,
title = {Closed form solutions of linear difference equations in terms of symmetric products},
author = {Yongjae Cha},
journal= {arXiv preprint arXiv:1301.4983},
year = {2013}
}