其中第三步利用了移位后积分上下限对趋于无穷的平均值无影响。因此:<math> \tilde{g}_\omega (\mathbf{F}^s(\mathbf{x})) = e^{i\omega s} \tilde{g}_\omega(\mathbf{x}), </math>即 <math> \tilde{g}_\omega(\mathbf{x}) </math> 是特征值为 <math> e^{i\omega s} </math> 的Koopman特征函数。这样看来,似乎随便取一个<math> \omega</math>,就可以得到一个特征值和特征函数,它们都是有意义的吗?实际上,很多<math> \omega</math>会使得<math> \tilde{g}_\omega(\mathbf{x})</math>恒等于0,这就没有意义了,所以我们要关注的是那些特征函数不恒等于0的<math> \omega</math>及其对应的特征值。 | 其中第三步利用了移位后积分上下限对趋于无穷的平均值无影响。因此:<math> \tilde{g}_\omega (\mathbf{F}^s(\mathbf{x})) = e^{i\omega s} \tilde{g}_\omega(\mathbf{x}), </math>即 <math> \tilde{g}_\omega(\mathbf{x}) </math> 是特征值为 <math> e^{i\omega s} </math> 的Koopman特征函数。这样看来,似乎随便取一个<math> \omega</math>,就可以得到一个特征值和特征函数,它们都是有意义的吗?实际上,很多<math> \omega</math>会使得<math> \tilde{g}_\omega(\mathbf{x})</math>恒等于0,这就没有意义了,所以我们要关注的是那些特征函数不恒等于0的<math> \omega</math>及其对应的特征值。 |