842
个编辑
更改
跳到导航
跳到搜索
第199行：
第199行： − − 在一般的[[动力系统]]中，Koopman[[算子]]的本征谱可能既有离散的[[点谱]]的结构，也会有[[连续谱]]的结构。在傅立叶平均里，离散谱意味着有限的几个[[特征函数]]不恒为0，它们对应着一些有序的周期或准周期结构，能量比较集中；而[[连续谱]]意味着在极限下[[特征函数]]几乎处处为0，此时往往对应的是[[混沌]]的性质，能量比较弥散不集中。
→傅立叶平均
其中第三步利用了移位后积分上下限对趋于无穷的平均值无影响。因此：<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>及其对应的[[特征值]]。
====应用案例：[[标准映射]]====
====应用案例：[[标准映射]]====