善食之犬吧 关注:7贴子:121
  • 1回复贴,共1

学渣的力学笔记

取消只看楼主收藏回复

1.余切丛的典范1-形式
命z属于T*M, ξ属于T_z(T*M), 则dπ(ξ)属于T_π(z)M. 定义典范1-形式θ_z(ξ)=z(dπ(ξ)).
在余切丛的局部坐标(q1,...,qn,p1,...,pn)下,易得θ=(∑i)pidqi.
命φ:M1→M2为(局部)微分同胚,θ1,θ2分别是T*M1,T*M2的典范1-形式,可以验证微分同胚δ(φ^-1):T*M1→T*M2将θ2拉回为θ1. 特别地,命φ_t为M上一个流我们有δ(δφ_-t)θ=θ, 因此L_T*X(θ)=0, 其中T*X表示T*M上的流δφ_-t的无穷小生成元。


IP属地:安徽来自Android客户端1楼2013-10-26 14:38回复
    2.余切丛的典范辛形式
    定义典范辛形式Ω=dθ=(∑i)dpi∧dqi, 易看出她是非奇异闭2-形式即辛形式。余切丛上的向量场Y与1-形式ω相联系,是指i(Y)Ω=ω, 记Y为X_ω.
    X是余切丛上的辛向量场,是指L_X(Ω)=0即d(i(X)Ω)=0. 可以验证全体辛向量场在Lie括号下构成R-lie代数,全体与恰当1-形式相联系的向量场是其子lie代数。
    命F属于C^inf(T*M), 则X_dF存在且为(∑i)(∂F/∂qi*∂/∂pi-∂F/∂pi*∂/∂qi), 故可在C^inf(T*M)上定义Poisson括号{F,G}=X_dF(G)=(∑i)(∂F/∂qi*∂G/∂pi-∂F/∂pi*∂G/∂qi), 使得C^inf(T*M)成为R-lie代数。


    IP属地:安徽来自Android客户端4楼2013-10-26 16:03
    回复