离散时间 Zames-Falb 乘子的对偶界

我们基于 Banach 空间分离定理发展了离散时间 Zames-Falb 乘子的相位限制。与连续时间对应情形相比，它们可导出数值高效的结果，这些结果既可用闭式表达也可通过线性规划计算。闭式相位限制是紧的，其意义在于我们可以构造与之取等号的乘子。我们讨论了数值算例，其中这些限制强于文献中的其他限制。数值结果补充了文献中对乘子的搜索；它们使我们能够通过构造证明，存在合适 Zames-Falb 乘子的对象集合是非凸的。