微分几何方法与非线性控制系统(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 。.
文档信息
文档格式:PDF
文档页数:6
下载积分:600
上传日期:2010-08-25 22:15:51
浏览次数:1
文档星级:
推荐文档
copyright © 2008-2011 道客巴巴网站
下载步骤: 1,注册成为网站会员并登录;
2,查看帐户积分(点击'我的文档'),如果积分不足,请参考
'如何获得积分';
3,点击本页面的'下载'按钮;
4,在'文档下载'页面,点击'确认';
5,操作成功后,下载文档,请勿使用下载工具。
- 正在处理,请稍候...
No comments:
Post a Comment