更改

添加106字节 、 2025年11月2日 (日) 17:01
无编辑摘要
第200行: 第200行:  
[435]和Brunton等人<ref name=Brunton_2016>S. L. Brunton, B. W. Brunton, J. L. Proctor, and J. N. Kutz, Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control, PLoS ONE, 11 (2016), art. e0150171. (Cited on pp. 234, 247, 248, 254, 284, 285, 286, 288, 295, 308, 309, 312, 318)</ref>[62]详细研究过的一个具有单个不动点的示例系统,其方程为:
 
[435]和Brunton等人<ref name=Brunton_2016>S. L. Brunton, B. W. Brunton, J. L. Proctor, and J. N. Kutz, Koopman invariant subspaces and finite linear representations of nonlinear dynamical systems for control, PLoS ONE, 11 (2016), art. e0150171. (Cited on pp. 234, 247, 248, 254, 284, 285, 286, 288, 295, 308, 309, 312, 318)</ref>[62]详细研究过的一个具有单个不动点的示例系统,其方程为:
   −
<math> \dot{\mathbf{x}}_1 = μx_1 </math>
+
<math> \dot\x_1 = μx_1 </math>
−
<math> \dot{\mathbf{x}}_2 = (x_2 - x_1^2 </math>
      +
<math> \dot{\mathbf{x}}_2 = (x_2 - x_1^2) </math>
   −
当 λ<μ<0时,系统会表现出一个缓慢的吸引流形,方程为 <math> x_2 = x_1^2 </math>
     −
我们可以通过引入一个非线性测量 <math> g = x_1^2 </math>
+
当 λ<μ<0时,系统会表现出一个缓慢的吸引流形,方程为 <math> x_2 = x_1^2 </math>,
   −
来扩充状态x,从而定义一个三维的Koopman不变子空间。在这些新坐标下,动态系统变成了线性系统:
+
我们可以通过引入一个非线性测量 <math> g = x_1^2 </math> 来扩充状态x,从而定义一个三维的Koopman不变子空间。在这些新坐标下,动态系统变成了线性系统:
    
<math>
 
<math>
第219行: 第218行:  
Koopman算子的左特征向量可以产生Koopman本征函数。 对应于特征值μ和 λ的Koopman本征函数为:
 
Koopman算子的左特征向量可以产生Koopman本征函数。 对应于特征值μ和 λ的Koopman本征函数为:
   −
<math> g = x_1 </math>
+
<math> g = x_1 </math>
 
和
 
和
 
<math> g = x_2 - bx_1^2 </math>
 
<math> g = x_2 - bx_1^2 </math>
    +
通过这种方式,可以从Koopman算子在不变子空间上的矩阵表示的左特征向量所定义的可观测量函数中,确定出一组本征坐标。明确地说:
   −
通过这种方式,可以从Koopman算子在不变子空间上的矩阵表示的左特征向量所定义的可观测量函数中,确定出一组本征坐标。明确地说:
+
<math>\displaystyle{ \varphi(\μ) = x_1 }</math>
 +
和
 +
<math>\displaystyle{ \varphi(\μ) = x_2 - bx-1^2 }</math>
    
这些本征可观测量定义了在Koopman算子下保持不变的可观测量子空间,即使在坐标变换后也是如此。因此,它们可以被视为Koopman不变子空间上的本征坐标[448]。
 
这些本征可观测量定义了在Koopman算子下保持不变的可观测量子空间,即使在坐标变换后也是如此。因此,它们可以被视为Koopman不变子空间上的本征坐标[448]。
235

个编辑