弧上Kuramoto振荡器同步的半定规划证书

摘要

本文研究了一类具有一般耦合函数的Kuramoto模型，该耦合函数可表示为有限谐波项之和。利用三角多项式的迹参数化性质和Gram矩阵表示，结合Putinar的Positivstellensatz，提出了半定规划证书来验证局部相位同步，从而保证原始系统的同步性。