| 第103行: |
第103行: |
| | | | |
| | ===数据回归=== | | ===数据回归=== |
| | + | |
| | + | ==不变特征子空间== |
| | + | |
| | + | 应用的Koopman分析并不是在希尔伯特空间中捕捉所有测量函数的演化,而是近似在由有限组测量函数张成的不变子空间上描述系统的演化。一个Koopman不变子空间被定义为一组函数<math>{g_1, g_2, \ldots, g_p}</math>的张成空间,如果该子空间中的所有函数<math>g</math>都满足 |
| | + | |
| | + | <math> g = \alpha_1 g_1 + \alpha_2 g_2 + \cdots + \alpha_p g_p </math> |
| | + | |
| | + | 在经过Koopman算子<math>\mathcal{K}</math>作用后,仍然留在该子空间: |
| | + | |
| | + | <math> \mathcal{K}g = \beta_1 g_1 + \beta_2 g_2 + \cdots + \beta_p g_p </math> |
| | + | |
| | + | 将Koopman算子限制在由有限个函数<math>{g_j}_{j=1}^p</math>张成的不变子空间上,可以获得它的有限维矩阵表示。矩阵<math>\mathbf{K}</math>作用在<math>\mathbb{R}^p</math>上的向量空间,其坐标由各个<math>g_j(\mathbf{x})</math>的取值给定。这将诱导出一个有限维的线性系统。 |
| | + | |
| | + | Koopman算子的任意有限组特征函数都将张成一个不变子空间。把这些特征函数作为系统的“本征坐标”是Koopman分析中很重要的一步,因为沿这些特征函数方向,系统动力学本质上线性化。实际操作中,通常只能识别一个近似不变子空间,由一组函数<math>{g_j}_{j=1}^p</math>张成,并且每个函数<math>g_j</math>都可以由有限组特征函数近似表示<math> g_j \approx \sum_{k=1}^p v_{jk} \varphi_k </math>。 |
| | | | |
| | =Koopman算子应用的简单案例= | | =Koopman算子应用的简单案例= |