4.2.4 数字锁相环动态方程