Thursday, March 7, 2013

diffgeom01 其 某一 动态 系统 , 动 态演 变 是 在 M 上 进 行 , 一 比如 , 质 点 在球 面 上  球 我 还 运 动 , 面 可视 为二 维微 分 流 形 , 们 所关 心 的 不仅 是 质 点 的 位 置 , 有 点 的 速 度 向量 ,正是 点  在 速 的位 置 和 速 度 向量 才 完 全 描 述 质 点 的 运 动 . 欧 氏空 间 中 , 度 向 量 的 几 何 解 释是 动 点 运 动 轨  为 我 必   迹 的 切 向量 或 曲线 的切 线 . 了研 究微 分 流 形 上 的速 度 向量 , 们 设 想 在  的 每 一 点处 , 自 称 速 实 它  然 方 式 关 联 着 一 个 向量 空 间 , 为该 点 的 切 空 间 , 度 向量 或 切 向量 就 包 含 在其 上, without 嵌 入 到 相 应 的 欧 氏 空 间 中

這是 Google 對 http://www.doc88.com/p-17330608853.html 的快取。 這是該網頁於 2013年2月10日 09:48:28 GMT 顯示時的快照。 在此期間,目前網頁可能已經變更。 瞭解更多資訊
提示:如要在這個網頁上快速尋找您所搜尋的字詞,請按下 Ctrl+F 鍵或 ⌘-F 鍵 (Mac),然後使用尋找列進行搜尋。

微分几何方法与非线性控制系统(2) - 人工智能 - 道客巴巴 弓 呵     帮   毳拳 期 患 箍融 。 。。   V. 。9 or12 A1 o  I.9 p,. 2N   2  微 分 几 何 方 法 与 非线 性 控制 系统 ( ) l - o / o -! 毛 张嗣瀛 王景才 刘晓   ● I   _   平 _ _ - 一 - _ _ _ _ 一   东 沈 1 0 6  ( 北 工 学 院 自控 系 . 阳 .1 0 0 ) 4 向量场 与动 态 系统  众所周知 ,现代控 制理 论的研究是在状态空间上 , 使用状态方程. 特 但有些动态 系统 , 别是  其 演 描 非线 性 系统 , 动 态 演变 是 在 微 分 流 形 上 进 行 的 , 化 结果 是 流 形 上 的 一 条 曲线 . 述 无 穷 小  因 研 就 演 化 的微 分 方 程是 定 义 在 流形 上 的 向量 场 , 此 , 究 流形 上 的 动 态 系 统 , 要 分 析 流 形 上 的  向量 场 . 在 向 流形 上 向量 场 的 局部 坐标 表 示 是  中的 微分 方 程组 . 状 态 空 间 中 , 量 场 就是 状 态  方 程 的几 何 解 释 . 就   应用 向量 场 来 研 究 动 态 系 统 的 方法 , 是 几 何 方 法 . . 4 1 切 向量 与切 空 间  设 M 为  维 微 分 流 形 . 其 某一 动态 系统 , 动 态演 变 是 在 M 上 进 行 , 一 比如 , 质 点 在球 面 上  球 我 还 运 动 , 面 可视 为二 维微 分 流 形 , 们 所关 心 的 不仅 是 质 点 的 位 置 , 有 点 的 速 度 向量 ,正是 点  在 速 的位 置 和 速 度 向量 才 完 全 描 述 质 点 的 运 动 . 欧 氏空 间 中 , 度 向 量 的 几 何 解 释是 动 点 运 动 轨  为 我 必   迹 的 切 向量 或 曲线 的切 线 . 了研 究微 分 流 形 上 的速 度 向量 , 们 设 想 在  的 每 一 点处 , 自 称 速 实 它  然 方 式 关 联 着 一 个 向量 空 间 , 为该 点 的 切 空 间 , 度 向量 或 切 向量 就 包 含 在其 上. 际上 , 是欧 氏空 间 中光 滑 曲线 或 曲面 ( 在 这 高 即微 分 流 形 ) 每 点处 切 线 或 切 平 面 . 种 想 法 , 明 之处 在 于  象 再   只需 用 流形 本 身 而 没 有 将 M , 前 面 那 样 , 嵌 入 到 相 应 的 欧 氏 空 间 中 . 既 然将 流形 M 的 切 空 间 作 为 曲 面切 平 面 的推 广 ,有必 要 分 析 R    中 曲线 的切 线. 设 yER X ∈R ,是 在 ‰ 邻 域 有 定义 的 C "是 一 向 量 , o  是 一 定 点 , 柑  函数 , Y方 向 的方 向  导 数 为  x ) )= Df(   (   Y  -I 7   对  ( , ( ( ,这 就 给 出 一个 映  应 注意 的是 向 量 Y是导 数 的 方 向. 每 一 个 ,∈c   ) 令 ,一 四r  ) ) c  。一 射 D : ( ) R,直观 上看 D 相 当于  ● =  ~ 1  耄   4 _1 () 1线 2乘 这 对 , 易证 它 具 有 导 致 的性 质 ( ) 性 性 和 () 法 法 则 . 样 , 任何 一个 向量 yER  就 存 在 一 个  满 反过来 , 可证 明, 线性映射 D, 足线性性 和乘法法则 l 也 对任 一具有线性性并满足乘法法则的  都  使 线 性 映 射 D, 有 唯 一 的 向 量 yER , 得  D( x ) ) ,)一 Df( 。 (   映 从 Y是 R 于是 , 射 D 与 向 量 Y建 立 了 对 应 关 系 . 前 面 的分 析 得 知 , 表  中 的 向量 , 示 函 数 的 导  数方 向, 那 正 ( 一 我 即切 线 方 向 . 么 自然 会 想 到 , 象 把 导 数 定 义 为 线 性 映 射 口r‰ ) 样 , 们 把 具 有  C  ) 作 线 性 性 并满 足 乘 法 法 则 的映 射 D: (。一 R, 为  中 向量 或 说 是 函 数 的 切 线 方 向是 完 全  可以理解的. 因   由于 微 分 流 形 局 部 与  相 同 , 此 可直 接 应 用 于 微分 流形 中去 . 信 息与控倒 9Z I9 年 l 第0眷 第 0期  c M 户一   微 分 流 形 M 在 P点 处 的 切 向 量 是 一 映射  : ( , ) R 并具 有 下 面 的性 质 ; 1  x,a ) x   x,g) ( ) 线性 性 : (,+ } 一a ( +卢 (   2  X ,·g 一 , 户) ( +g( x ,  () 乘法法则 : ( ) ( x,g) 户) ( ) gEC M , ; ,其 中 f, 另  ( 户)a ∈R. 外       ( )+ 8 ( + 8 ( 一 a   g  , g ( 户)· 户) ( · ) 户)一 ,( g(   我  至 此 , 们 又一 次将 切 向量 定 义 为 映射 . 记微分 流形 M 上在 P ,M) 并定 义如 下运 算  ∈M 处 的全体切 向量所构成 的集合 为 T ( , a (X +  ( X,,)+  ),)= a ( ( ) X, Y , , , ,∈  M , , ( ) a卢∈ R    9    即  M 构 成一个向量空间 , 其称 为微分流形 M 在 P点 的切空 可 以证 明, +I ∈T M , 将 实 它  间 . 际 上 , 就 是 欧 氏空 间 曲面 在 P点 的 切 平 面 的 推 广 . u, 坐标 函数为( ' · )立刻 会想到 , 向量 墨 应和 』 中  设 M 含 声的局部坐标 (   , .  一 ., , 切  一 具有形 式( . ) 而  , =1 … , 应是基底 , 样, 41 , i , m,   事实就是这样. 映 , 。 M户 R   ) 设 射  l (,    一 乱 ,    脚) 6 f (  则可证 明 i M 且 dmT。 =m, 基 底 为  ’   , ’   . l lz (2 4) _j ‘  ∈ 可并 且 任 意 X,   M , 表 示 为  一   昙  3 一  ) 一 , X,, 为 42 的分 解 系 数 , 切 向量 其 中  ( ) … , ( ) 基 底 ( . ) 称 u, )   关于局部坐 标 ( 声 的坐标 , 随基底的不同而变. 为一常数 , 切 当明确基底后 , 向量 可简写 为一个 向量  一 n ’. a ] · X。 [ 。. ,    4 4  (. )  (  ) 则若 任 给 ,∈c M , , 有  =   5  “一 )     这正 是 』 中 的方 向导 数 . . 42 对 偶 向量 场 与 对 偶 空 间  可 因 为  肘 是 一个 m 维 向 量 空 间 , 以 在 其 上 定 义 线 性 泛 函. T, 令  : M — R 是 实 线 性 泛  由泛 函分析得知 , 函应具有如下形式  函, 泛 X )一 < ,    w( ,   X ) 4 6  (. )这里( 表 它 ·,·) 示 内积 , 显然 是 线 性 的. T, 称瑟 函 m为 对 偶 向量 或 余 切 向量 .   上 的 所 有 对  记 M 现 设  , ∈丁 偶 向量 构 成 一 新 的 空 间 , 为 T; . 定 义 如 下运 算 ,   a p∈R, ∈  M ,  M , , X, 令  口   ) X, ( )+ 舢   X,  (  + 卢 2 ( )= 彻 lXP ( ) M 称   则 T; 构 成 线 性 空 间 , 其 为 对偶 空 间 或余 切 空 间. 张嗣 瀛等 微分 几何 方法 与非 线性 控制 系统  0  13夸  一   一 … d =构 成 丁  的一 组 基 底 , 为 对偶 基 . 给  ∈丁; , 局 部 坐 标 下 均 可 表 示 为 则 d , ,x M 称 任 M 在 = 1  + … +   d " bd f   4 8  ( . )为方便起见 , - . b . b     简记 为  一 [ … , ] E M 由 4 4得 设 X, T, , ( . )    ,, = b ( X ) ∑    49  (.)设 f  ( P) 在 Ec   , , 局 部 坐 标 下  lf e 一  .   . + _ +则 d X ) , =∑n f 厂 ( ,,一X () f   40 .   ( 1) .4 3 诱 导 映 射  F M 设 M 和 N 分 别 是 m 维 和 一维 微 分 流形 , … 应 可 Ⅳ 为光滑 映射 , 用此 映射 , 诱导 出  将 将 把  ( 函数 新 的 映射 ; P 点 的 切空 间 线 性 映 射 到 N 中 去 ; 对 偶 空 间 丁;N 映 回到 丁  } C Ⅳ )  ( 上  映 回到 C   ) 。具 体 定 义 如 下 : 1 )对  ( , 令  (  函数 fEC Ⅳ) 也 称 微 分 0型 , ( )垒 厂 。 一 厂( z)  F。 厂 F F( ) 4 1) ( . 1   : ( 一  ( 将 EC Ⅳ 拉 因 有  映 射 F C Ⅳ) c   ) 函数 f  ( ) 回到 流形 M 上 , 此 , 时 也 称 为拉 回映 射 . 2 设  ( F( ) 令  ( )切 映 射 或 推 前 映 射 : gEc Ⅳ , 户) , , , ( )垒 Xpg 。.

微分几何方法与非线性控制系统(2)

文档简介
微分几何方法与非线性控制系统(2)
文档日志
暂无日志信息
文档留言
暂无留言信息
copyright © 2008-2011 道客巴巴网站

No comments:

Post a Comment