1、非 线 性 系 统 的 自 适 应 控 制 导 论周 东 华 编 著清 华 大 学 出 版 社 施 普 林 格 出 版 社( 京 ) 新 登 字 158 号内 容 简 介本 书 主 要 介 绍 线 性 系 统 自 适 应 控 制 的 典 型 方 法 , 以 及 基 于 强 跟 踪 滤 波 器 理 论 的 非 线 性 系 统 的 自 适应 控 制 , 基 于 模 糊 集 理 论 的 非 线 性 系 统 的 自 适 应 控 制 , 基 于 神 经 元 网 络 理 论 的 非 线 性 系 统 的 自 适 应 控 制 , 鲁 棒 自 适 应 控 制 的 基 本 知 识 , 以 及 非 线 性 系 统
2、的 鲁 棒 自 适 应 控 制 方 法 。本书 适 于 作 为 机 电 控 制 类 的 研究 生 教 材 , 同时 对 从 事 自 动 化 系 统 的 研 究 、 设 计 、 开 发 和 应 用 的 广 大 工 程 技 术 人 员 也 有 一 定 的 参 考 价 值 。书 名 : 非 线 性 系 统 的 自 适 应 控 制 导 论 作 者 : 周 东 华 编 著出 版 者 : 清 华 大 学 出 版 社 施 普 林 格 出 版 社 北 京 清 华 大 学 学 研 大 厦 , 邮 编 100084 h tt p : / / www .t up .t singhu a .edu .cn印 刷 者
3、: 印 刷 厂 发 行 者 : 新 华 书 店 总 店 北 京 发 行 所开 本 : 787 1092 1/ 16 印 张 : 10 .25 字 数 : 217 千 字版 次 : 2001 年 9 月 第 1 版 2001 年 9 月 第 1 次 印 刷书 号 : ISB N 7-302-04479-1/ T P 2643印 数 : 0001 0000定 价 : 00 .00 元前 言自 适 应 控 制 的 发 展 已 有 40 多 年 的 历 史 , 并 且 在 近 20 多 年 里 得 到 了 飞 速 的 发 展 , 已 成 为 当 代 自 动 控 制 界 的 少 数 热 门 前 沿 研
4、究 领 域 之 一 。 大 批 的 科 技 工 作 者 在 从 事 自 适 应 控 制 的 研 究 与 应 用 开 发 工 作 , 每 年 都 有 数 千 篇 的 学 术 论 文 与 研 究 报 告 问 世 。 自 适 应 控 制 理 论已 经 在 航 空 航 天 、 机 器 人 、 冶 金 、 造 纸 、 啤 酒 酿 造 、 航 海 、 水 电 站 、 机 车 控 制 、 化 工 、 窑 炉 控 制 、 水 下 勘 探 等 众 多 的 工 程 技 术 领 域 得 到 了 成 功 的 应 用 , 取 得 了 显 著 的 社 会 效 益 与 经 济 效 益 。任 何 自 适 应 控 制 系 统
5、都 是 非 线 性 系 统 。 自 适 应 控 制 的 主 要 理 论 基 础 是 随 机 过 程 、 线 性 代 数 、 系 统 辨 识 、 稳 定 性 理 论 等 。 一 些 新 兴 的 理 论 与 技 术 , 如 : 模 糊 集 理 论 、 人 工 神 经 元网 络 、 小 波 变 换 和 遗 传 算 法 等 , 对 自 适 应 控 制 理 论 的 发 展 也 起 到 了 很 大 的 推 动 作 用 。我 们 在 清 华 大 学 自 动 化 系 研 究 生 课 程 的 教 学 过 程 中 发 现 , 国 内 还 没 有 一 本 比 较 系 统性 地 介 绍 非 线 性 系 统 自 适 应
6、 控 制 的 教 材 , 而 非 线 性 系 统 的 自 适 应 控 制 已 成 为 当 前 自 适 应控 制 领 域 的 热 点 研 究 方 向 。 因 此 在 机 电 类 研 究 生 中 开 设 非 线 性 系 统 的 自 适 应 控 制 课 程 已具 有 一 定 的 迫 切 性 , 这 正 是 我 们 撰 写 这 本 教 材 的 源 动 力 之 一 。 我 们 深 信 , 本 书 的 出 版 将 会 对 我 国 非 线 性 系 统 的 自 适 应 控 制 理 论 的 教 学 与 科 研 工 作 起 到 一 定 的 促 进 作 用 。作 为 一 本 非 线 性 系 统 自 适 应 控 制
7、的 导 论 性 教 材 , 本 书 共 分 为 7 章 。 第 1 章 介 绍 一 些基 础 知 识 , 包 括 : 特 殊 矩 阵 ; Lp 空 间 , 范 数 及 矩 阵 的 几 种 重 要 分 解 ; 动 态 系 统 的 稳 定 性 ; 指数 稳 定 性 定 理 ; 正 实 函 数 ; 超 稳 定 性 的 基 本 概 念 等 。 第 2 章 介 绍 一 些 线 性 系 统 自 适 应 控制 的 典 型 方 法 , 包 括 : 最 小 方 差 自 校 正 调 节 器 , 广 义 最 小 方 差 控 制 器 , P ID 自 整 定 控 制 器 , 基 于 L yap unov 稳 定 性
8、理 论 的 模 型 参 考 自 适 应 控 制 器 , 以 及 基 于 超 稳 定 性 理 论 的 模 型 参考 自 适 应 控 制 器 的 基 本 内 容 。 这 些 内 容 构 成 了 经 典 线 性 系 统 自 适 应 控 制 的 最 核 心 部 分 。 第 3 章 介 绍 基 于 强 跟 踪 滤 波 器 理 论 的 非 线 性 系 统 的 自 适 应 控 制 方 法 , 这 也 是 作 者 近 年 来的 研 究 成 果 。 第 4 章 介 绍 基 于 模 糊 集 理 论 的 非 线 性 系 统 的 自 适 应 控 制 方 法 。 第 5 章 给 出 前 言基 于 神 经 元 网 络 理
9、 论 的 非 线 性 系 统 的 自 适 应 控 制 方 法 。 第 6 章 介 绍 鲁 棒 自 适 应 控 制 的 基 础 知 识 , 包 括 : 鲁 棒 性 的 基 本 概 念 , Rohrs 的 关 于 存 在 未 建 模 动 态 时 的 自 适 应 算 法 的 鲁 棒性 问 题 , 以 及 吴 宏 鑫 教 授 等 提 出 的 黄 金 分 割 法 在 鲁 棒 自 适 应 控 制 器 设 计 中 的 应 用 。 本 书的 最 后 一 章 介 绍 三 种 非 线 性 系 统 的 鲁 棒 自 适 应 控 制 方 法 , 分 别 是 : 具 有 结 构 非 线 性 扰 动的 一 类 动 态 系
10、统 的 鲁 棒 自 适 应 采 样 数 据 控 制 , 具 有 测 量 干 扰 的 基 于 神 经 网 络 的 非 线 性 系统 的 鲁 棒 自 适 应 控 制 , 以 及 机 械 臂 的 鲁 棒 自 适 应 控 制 。本 书 的 主 要 内 容 都 选 自 近 年 来 发 表 在 国 际 著 名 学 术 刊 物 上 的 代 表 性 文 章 。 因 此 , 本 书 也 适 用 于 立 志 从 事 非 线 性 系 统 自 适 应 控 制 理 论 研 究 的 学 者 作 为 导 论 性 的 读 物 。 由 于 时 间 仓 促 和 编 者 的 学 术 水 平 有 限 , 书 中 肯 定 会 有 不
11、少 错 误 , 恳 请 广 大 读 者 批 评 指 正 。本 书 第 3 章 所 介 绍 的 研 究 成 果 曾 得 到 了 国 家 自 然 科 学 基 金 会 和 教 育 部 有 关 项 目 的 资 助 , 本 书 的 出 版 还 得 到 了 清 华 大 学 985 学 科 建 设 经 费 的 资 助 , 在 此 表 示 衷 心 的 感 谢 。周 东 华2001 年 3 月于 清 华 园目 录第 1 章 基 础 知 识 11 .1 记 号 11 .2 特 殊 矩 阵 11 .3 Lp 空 间 、 范 数 及 矩 阵 的 几 种 重 要 分 解 41 .3 .1 矩 阵 的 U R 分 解 及
12、 其 推 论 51 .3 .2 舒 尔 引 理 与 正 规 矩 阵 的 分 解 71 .3 .3 矩 阵 的 奇 异 值 分 解 91 .4 动 态 系 统 的 稳 定 性 111 .4 .1 稳 定 性 定 义 131 .4 .2 Lya punov 稳 定 性 理 论 141 .5 指 数 稳 定 性 定 理 151 .5 .1 线 性 时 变 系 统 ( L T V ) 的 指 数 稳 定 性 151 .5 .2 线 性 时 不 变 系 统 ( L T I ) 的 指 数 稳 定 性 161 .6 正 实 函 数 171 .7 超 稳 定 性 的 基 本 概 念 20参 考 文 献 21
13、第 2 章 线 性 系 统 的 自 适 应 控 制 222 .1 最 小 方 差 自 校 正 调 节 器 222 .1 .1 最 小 方 差 调 节 器 的 特 性 242 .1 .2 自 校 正 最 小 方 差 调 节 器 的 算 法 25 目 录2 .2 自 校 正 控 制 器 : 广 义 最 小 方 差 控 制 策 略 272 .3 具 有 辅 助 模 型 的 自 校 正 控 制 器 282 .3 .1 稳 态 误 差 分 析 302 .3 .2 自 校 正 控 制 器 算 法 302 .4 用 广 义 最 小 方 差 原 理 设 计 P ID 自 整 定 控 制 器 322 .5 用
14、Ly apunov 稳 定 性 理 论 设 计 模 型 参 考 自 适 应 控 制 系 统 362 .6 用 超 稳 定 性 理 论 设 计 MR A C 系 统 38参 考 文 献 43第 3 章 基 于 强 跟 踪 滤 波 器 理 论 的 非 线 性 系 统 的 自 适 应 控 制 443 .1 引 言 443 .2 一 般 模 型 控 制 的 基 本 原 理 453 .3 强 跟 踪 滤 波 器 483 .4 基 于 参 数 估 计 的 自 适 应 G MC 方 法 503 .4 .1 基 于 参 数 估 计 的 自 适 应 GMC 的 基 本 原 理 503 .4 .2 CST R 的
15、 仿 真 结 果 513 .4 .3 三 容 水 箱 的 仿 真 和 实 验 结 果 533 .5 基 于 输 入 等 价 干 扰 的 自 适 应 G MC 方 法 603 .5 .1 输 入 等 价 干 扰 的 定 义 603 .5 .2 基 于 输 入 等 价 干 扰 的 自 适 应 GMC 的 基 本 原 理 613 .5 .3 模 型 的 状 态 能 观 性 证 明 623 .5 .4 三 容 水 箱 的 实 验 结 果 643 .6 基 于 线 性 辨 识 模 型 的 鲁 棒 G MC 方 法 683 .6 .1 基 本 原 理 683 .6 .2 问 题 和 假 设 693 .6
16、.3 鲁 棒 GMC 控 制 器 设 计 703 .6 .4 强 跟 踪 滤 波 器 设 计 713 .6 .5 仿 真 结 果 723 .7 结 束 语 74参 考 文 献 75第 4 章 基 于 模 糊 集 理 论 的 非 线 性 系 统 的 自 适 应 控 制 774 .1 引 言 774 .2 模 糊 控 制 器 的 基 本 特 性 784 .3 模 糊 模 型 参 考 自 适 应 控 制 81目 录 目 录4 .4 仿 真 研 究 834 .5 结 束 语 87参 考 文 献 87第 5 章 基 于 神 经 元 网 络 理 论 的 非 线 性 系 统 的 自 适 应 控 制 885
17、.1 引 言 885 .2 输 入 输 出 反 馈 线 性 化 895 .2 .1 问 题 的 形 成 895 .2 .2 理 想 的 隐 含 反 馈 线 性 化 控 制 905 .3 多 层 神 经 元 网 络 925 .4 基 于 MN N s 的 直 接 自 适 应 控 制 945 .5 仿 真 研 究 995 .6 结 束 语 102参 考 文 献 103第 6 章 鲁 棒 自 适 应 控 制 的 基 本 知 识 1056 .1 自 适 应 控 制 的 鲁 棒 性 问 题 1056 .2 存 在 未 建 模 动 态 时 自 适 应 算 法 的 鲁 棒 性 问 题 1066 .2 .1
18、一 个 有 代 表 性 的 自 适 应 算 法 的 误 差 模 型 结 构 1076 .2 .2 无 穷 增 益 算 子 1096 .2 .3 仿 真 研 究 1136 .2 .4 小 结 1166 .3 黄 金 分 割 原 理 在 鲁 棒 自 适 应 控 制 器 设 计 中 的 应 用 1186 .3 .1 差 分 方 程 系 数 的 取 值 范 围 1186 .3 .2 黄 金 分 割 在 稳 定 对 象 自 适 应 鲁 棒 控 制 器 设 计 中 的 应 用 1196 .3 .3 黄 金 分 割 在 不 稳 定 对 象 自 适 应 鲁 棒 控 制 器 设 计 中 的 应 用 1236 .
19、3 .4 仿 真 研 究 1236 .3 .5 小 结 124参 考 文 献 125第 7 章 非 线 性 系 统 的 鲁 棒 自 适 应 控 制 方 法 1267 .1 具 有 结 构 非 线 性 扰 动 的 一 类 动 态 系 统 的 鲁 棒 自 适 应 采 样 数 据 控 制 1267 .1 .1 系 统 与 控 制 器 结 构 1277 .1 .2 离 散 模 型 的 稳 定 性 及 采 样 间 隔 的 自 适 应 律 1307 .1 .3 仿 真 例 子 131 目 录7 .1 .4 小 结 1327 .2 具 有 测 量 干 扰 的 基 于 神 经 网 络 的 非 线 性 系 统
20、的 鲁 棒 自 适 应 控 制 1327 .2 .1 问 题 的 描 述 1327 .2 .2 鲁 棒 自 适 应 镇 定 1347 .2 .3 仿 真 例 子 1387 .2 .4 小 结 1437 .3 机 械 臂 的 鲁 棒 自 适 应 控 制 1447 .3 .1 问 题 的 形 成 1447 .3 .2 自 适 应 控 制 算 法 1457 .3 .3 鲁 棒 性 分 析 及 其 修 正 1477 .3 .4 仿 真 例 子 1507 .3 .5 小 结 152参 考 文 献 152T T第 1 章基 础 知 识本 章 介 绍 本 书 用 到 的 一 些 基 础 知 识 , 包 括
21、: 特 殊 矩 阵 ; Lp 空 间 , 范 数 及 矩 阵 的 几 种 重要 分 解 ; 动 态 系 统 的 稳 定 性 ; 指 数 稳 定 性 定 理 ; 正 实 函 数 ; 超 稳 定 性 的 基 本 概 念 等 。1 .1 记 号标 量 和 向 量 用 小 写 字 母 表 示 。 矩 阵 、 算 子 、 集 合 用 大 写 字 母 表 示 。 u( s) 表 示 u( t) 的 拉 氏 变 换 。线 性 时 不 变 系 统 , 简 记 为 L T I ( Lin ea r Tim e Inva ria nt ) 。L T I 系 统 的 传 递 函 数 用 H ( s) 表 示 。1
22、.2 特 殊 矩 阵定 义 1 .2 .1 一 个 方 阵 A Rn n 是 半 正 定 的 ( positive se mi-d efinite ) , 如 果 xT Ax 0对 所 有 的 向 量 x 成 立 .定 义 1 .2 .2 一 个 方 阵 A Rn n 是 正 定 的 ( positive definit e ) , 如 果 v 0 , 使 得x Ax x x = | x| 2 对 所 有 的 x 成 立 。第 1 章 基 础 知 识20 0 10 w101 0 0A Tk*2 2半 正 定 矩 阵 的 特 征 值 都 位 于 右 半 闭 平 面 ( closed righ t
23、 h alf p la ne, R H P ) 。 正 定 矩 阵的 特 征 值 都 位 于 右 半 开 平 面 。定 义 1 .2 .3 若 A 0 , 并 且 A = AT , 那 么 称 A 是 对 称 的 半 正 定 阵 。 对 称 矩 阵 的 特 征值 都 是 实 数 , 这 样 的 矩 阵 有 n 个 正 交 的 特 征 向 量 。 因 此 我 们 可 以 分 解 A 为TA = U U ( 1 .2 .1)其 中 , U 是 特 征 向 量 矩 阵 , 满 足 UT U = I。 是 对 角 矩 阵 , 对 角 元 素 正 是 A 的 n 个 特 征 值 。定 义 1 .2 .4
24、 平 方 根 矩 阵 1/ 2 是 对 角 矩 阵 , 其 对 角 元 素 是 由 对 称 矩 阵 A 的 特 征 根 的 平 方 根 构 成 , 并 且 有是 A 的 平 方 根 阵 , 即1/ 2 = U 1/ 2 U ( 1 .2 .2)A = A1/ 2 A1/ 2 , ( A1/ 2 ) T = A1/ 2若 A 0 , B 0 , 则 必 有 A + B 0 , 但 是 , AB 0 并 不 一 定 成 立 。若 A, B 是 对 称 的 半 正 定 阵 , 那 么 AB 虽 然 不 一 定 是 对 称 阵 , 但 AB 的 特 征 值 都 是 实 数 。对 称 、 半 正 定 阵
25、 A 的 另 一 个 特 性 是 m in ( A) | x | xT Ax m a x ( A) | x | ( 1 .2 .3)若 A 是 正 定 的 , 则 又 有 A = m a x ( A) ( 1 .2 .4) A- 1 = 1/ min ( A) ( 1 .2 .5)定 义 1 .2 .5 称 矩 阵 A 为 幂 等 矩 阵 , 若 A2 = A。命 题 1 .2 .1 任 何 一 个 幂 等 矩 阵 都 是 半 正 定 的 3 。定 义 1 .2 .6 满 足 条 件 AT = - A 的 正 方 矩 阵 称 为 反 对 称 矩 阵 或 斜 对 称 矩 阵 。 显 然 ,为 了
26、 满 足 反 对 称 性 , 主 对 角 线 上 的 元 素 必 须 为 零 , 并 且 有aij = - aj i , i j ( 1 .2 .6)反 对 称 矩 阵 具 有 以 下 性 质 :(1 ) 若 A 和 B 都 是 反 对 称 矩 阵 , 则 A- 1 , A + B 仍 是 反 对 称 矩 阵 。 并 且 当 k 为 偶 数 时 ,A 为 对 称 矩 阵 ; 当 k 为 奇 数 时 , Ak 为 反 对 称 矩 阵 3 。(2 ) 任 意 正 方 矩 阵 A 都 可 以 分 解 为 一 个 对 称 矩 阵 12 ( A + A ) 和 一 个 反 对 称 矩 阵1 *2 ( A
27、 - A) 之 和 。定 义 1 .2 .7 交 换 矩 阵 J 定 义 如 下 :J = ( 1 .2 .7)iCRi jHH1. 2 特 殊 矩 阵 3它 仅 在 交 叉 对 角 线 上 具 有 元 素 1 , 而 所 有 其 他 元 素 全 等 于 零 。 J 矩 阵 可 以 使 一 个 矩 阵 的行 或 列 的 顺 序 反 转 ( 互 换 ) 。 如 用 Jm 左 乘 m n 的 矩 阵 A, 将 使 A 的 行 的 顺 序 反 转 :am1 am2 am n w Jm A =容 易 验 证 , JT = J, J2 = JJ = I。a21 a22 a2 na11 a12 a1 n(
28、 1 .2 .8)定 义 1 .2 .8 我 们 称 向 量 x1 , , xk Cm 组 成 一 正 交 组 , 若 xH x = 0 ( 1 i j 的 正 方 矩 阵 A = aij 称 为 上 三 角 矩 阵 , 其 一 般 形 式 为A = (1 .2 .13)特 别 地 , 若 aii 0 , i = 1 , 2 , , n, 则 称 矩 阵 A 为 正 线 上 三 角 矩 阵 。1 .3 Lp 空 间 、 范 数 及 矩 阵 的 几 种 重 要 分 解如 果 x 是 标 量 , 则 | x | 表 示 x 的 绝 对 值 ; 若 x 是 向 量 , | x | 则 表 示 x 的
29、 欧 氏 范 数 ( l2 范数 ) 。 一 般 用 来 表 示 算 子 的 诱 导 范 数 , 如 矩 阵 的 诱 导 范 数 :1 .3 Lp 空间 、 范 数 及 矩阵 的 几 种 重 要 分 解 51limnn A = sup| x| = 1| Ax | ( 1 .3 .1)对 时 间 函 数 , 此 记 号 表 示 Lp 范 数 : 1/ p u p =0| u( ) | p d ( 1 .3 .2)对 p 1 , ) 成 立 。 其 中 , 定 义 : u = supt 0| u( t) | ( 1 .3 .3)定 义 1 .3 .1 若 u p 存 在 , 我 们 称 u Lp
30、空 间 。 当 p 省 略 时 , u 表 示 L2 范 数 ,即 u = u 2 =0u2 ( ) d定 义 1 .3 .2 截 头 函 数 定 义 为f s ( t) =定 义 1 .3 .3 扩 展 的 Lp 空 间 定 义 为f ( t) , t s0 , t s ( 1 .3 .4)Lp e = f | “ s n, 则 存 在 酉 矩 阵 U Cm m 及 正 线 上 三 角 矩 阵 R , 使n得R1A = UO1( 1 .3 .8)其 中 , O C( m - n) n , R Cn n1 n 。证 明 4 : 记 A = a , a , , a , 则 a Cm , i =
31、1 , 2 , , n。 又 因 为 A 为 列 满 秩 , 故1 2 n ia1 , a2 , , an 为 Cm 中 线 性 无 关 向 量 组 , 将 它 扩 充 为 Cm 的 基 底 , 记 为 a1 , a2 , , an , an+ 1 , , am 由 引 理 1 .3 .2 得 知 , 可 将 这 组 基 底 标 准 化 , 得 到 Cm 中 的 一 组 标 准 正 交 基 底 : u1 , u2 , , um 且 有 正 线 上 三 角 形 R, 使 得 a1 , a2 , , an , an+ 1 , , am = u1 , u2 , , um R ( 1 .3 .9)将
32、R 分 块 表 示 , 有R1 CR =O R2 Cm n (1 .3 .10)其 中 , R1 Cn n ( m - n) ( m - n) n ( m - n) ( m - n)2 , 且 R1 , R2 均 为 正 线 上 三角 形 矩 阵 。 将 ( 1 .3 .10 ) 式 代 入 ( 1 .3 .9) 式 , 并 由 分 块 矩 阵 相 乘 的 性 质 得R1 a1 , a2 , , an = u1 , u2 , , um O (1 .3 .11)即其 中 , U 显 然 为 酉 矩 阵 。R1A = UO (1 .3 .12) 证 毕 1 .3 Lp 空间 、 范 数 及 矩阵
33、的 几 种 重 要 分 解 7rrrHH推 论 1 .3 .3 4 设 A Cm n , 则 存 在 酉 矩 阵 U Cm m 和 酉 矩 阵 V Cn n , 以 及 正 线 上三 角 阵 R Cr r , 使 得A = UR Or ( n - r) VO( m - r) r O( n - r)( m - r)(1 .3 .13)推 论 1 .3 .4 设 A 为 一 个 实 对 称 正 定 矩 阵 , 则 存 在 正 线 上 三 角 矩 阵 R, 使 得 A= RT R。 证 明 : 因 为 A 为 对 称 正 定 矩 阵 , 因 此 , A 可 以 经 过 一 系 列 行 变 换 和 一
34、 系 列 同 名 的 列 变换 化 为 单 位 矩 阵 , 即 存 在 满 秩 矩 阵 P, 使 得 A = PT P。 又 由 推 论 1 .3 .2 对 P 存 在 正 交 矩 阵Q 及 正 线 上 三 角 矩 阵 R, 使 得 P = QR, 因 此A = PT P = RT QT QR = RT R (1 .3 .14) 证 毕 定 义 1 .3 .4 称 定 理 1 .3 .1 给 出 的 分 解 式 为 满 秩 方 阵 的 U R 分 解 ; 称 推 论 1 .3 .3 给 出 的 分 解 为 长 方 阵 的 正 交 分 解 ; 称 推 论 1 .3 .4 给 出 的 分 解 为
35、Choles ky 分 解 或 三 角 -三 角分 解 。定 理 1 .3 .3( 满 秩 分 解 定 理 ) 4 设 A Cm n , 则 存 在 列 满 秩 矩 阵 B Cm r 和 行 满 秩r r矩 阵 C Cr n , 使 得A = BC (1 .3 .15)1 .3 .2 舒 尔 引 理 与 正 规 矩 阵 的 分 解定 理 1 .3 .4( 舒 尔 引 理 ) 4 设 A Cn n , 则 存 在 酉 矩 阵 U Cn n 及 上 三 角 矩 阵 T = n ti j Cn , 使 得U AU = T (1 .3 .16)且 T 的 主 对 角 元 素 均 为 A 的 特 征 值
36、 。定 义 1 .3 .5 若 A Cn n 满 足 条 件 :AH A = AAH (1 .3 .17)则 称 A 为 正 规 矩 阵 。由 定 义 可 知 , 下 列 方 阵 均 为 正 规 矩 阵 : (1 ) 实 对 称 矩 阵 ( AT = A, A Rn n ) ;(2 ) 实 反 对 称 矩 阵 ( AT = - A, A Rn n ) ; (3 ) He r mitia n 矩 阵 ( AH = A, A Cn n ) ;(4 ) 反 H er mitia n 矩 阵 ( AH = - A, A Cn n ) ; (5 ) 正 交 矩 阵 ( AT = A- 1 , A Rn
37、n ) ;(6 ) 酉 矩 阵 ( UH = U - 1 , U Cn n ) 。正 规 矩 阵 具 有 如 下 重 要 性 质 :定 理 1 .3 .5 设 A Cn n , 则 A 是 正 规 矩 阵 的 充 要 条 件 为 : 存 在 一 个 n 阶 酉 矩 阵 U 及第 1 章 基 础 知 识8t11 t12 t1 n0t22wt2 n0 0 tn n2t2 i | = | t12nH H2 2H H H H H H H HH H H HHHH一 个 n 阶 对 角 矩 阵 = dia g 1 , 2 , , n , 使 得A = U UH (1 .3 .18)这 时 称 U UH 为
38、 A 的 酉 相 似 对 角 化 分 解 式 , 简 称 为 A 的 酉 相 似 对 角 分 解 。 证 明 : ( 1) 必 要 性若 A 为 正 规 矩 阵 , 则 有 :A A = AA (1 .3 .19)由 舒 尔 引 理 , 存 在 酉 矩 阵 U Cn n 及 上 三 角 矩 阵 T Cn n , 使 得 A = UTUH 。 将 此 式 代 入(1 .3 .19) 式 可 得( UTUH )H ( UTUH ) = ( UTUH ) ( UTUH )H注 意 到 UH U = I, 则 由 上 式 可 以 推 出TH T = TTH (1 .3 .20)令T = (1 .3 .
39、21)将 (1 .3 .21) 式 代 入 (1 .3 .20) 式 , 比 较 等 式 两 边 矩 阵 对 应 位 置 上 的 元 素 , 可 得ni = 1ni = 1| t1 i | 2 = | t1 1 | 2 (1 .3 .22)| + | t22 | (1 .3 .23)i = 1| tn i | 2 = | tn n | 2 (1 .3 .24)n由 (1 .3 .22) 式 得知 , 必有 t12 = t13 = = t1 n = 0, 因 此 , (1 .3 .23 ) 式 变成 了 i = 2| t2 i |2 =| t22 | 2 , 由 此 又 可 以 推 出 t23
40、= t24 = = t2 n = 0 。 如 此 递 推 下 去 , 可 推 出 T 必 须 为 对 角 矩 阵 。 令 T 的 主 对 角 线 上 元 素 tii ( i = 1 , 2 , , n) 为 i , 并 记 = diag 1 , 2 , , n , 因 此 有(2 ) 充 分 性A = UTU = U UH (1 .3 .25)若 A 酉 相 似 于 对 角 矩 阵 , 则 ( 1 .3 .25 ) 式 成 立 。 由 于 为 对 角 阵 , 因 此 有 H = H (1 .3 .26)所 以 有A A = ( U U ) ( U U ) = U U U UH = U UH =
41、 U UAA = U UH ( U UH ) = U UH U UH = U U1 .3 Lp 空间 、 范 数 及 矩阵 的 几 种 重 要 分 解 9H H H HHrHirH H2即 AH A = AH A 成 立 , A 为 正 规 矩 阵 。定 理 1 .3 .6 ( Schur 不 等 式 ) 4 若 n 阶 复 方 阵 A = ( a 证 毕 ) 的 特 征 值 为 , , , ,ij 1 2 n则 有n n n2 2 | i | | ai j | (1 .3 .27)i = 1其 中 , 等 号 当 且 仅 当 A 是 正 规 矩 阵 时 成 立 。i = 1 j = 1证 明
42、 : 由 舒 尔 引 理 , 存 在 酉 矩 阵 U 及 上 三 角 阵 T , 使 得UH AU = T (1 .3 .28)因 此 有TTH = UH AAH U (1 .3 .29)由 矩 阵 求 迹 的 性 质 , 对 任 意 方 阵 B 和 C, 有 t r BC = t r CB , 因 此 ,t r TT = tr U AA U = tr A UU A = t r A An n= tr AA = | ai j | (1 .3 .30)i = 1 j = 1由 于 T 的 主 对 角 元 就 是 A 的 特 征 值 , 因 此 有n n n n j - 1 n n | i | 2
43、= | tii | 2 | tii | 2 + | tij | 2 = tr TTH = | aij | 2i = 1 i = 1 i = 1 j = 2 i = 1 i = 1 j = 1上 述 不 等 式 中 的 等 号 当 且 仅 当 tij = 0 ( i j) 时 成 立 , 即 当 且 仅 当 A 为 正 规 矩 阵 时 成 立 。 证 毕 推 论 1 .3 .5 4 若 A Rn n 为 实 对 称 阵 , 则 A 的 特 征 值 , , , 皆 为 实 数 , 且 存在 正 交 阵 Q Rn n , 使 得T - 11 2 nQ AQ = Q AQ = dia g 1 , 2
44、, , n (1 .3 .31)1 .3 .3 矩 阵 的 奇 异 值 分 解由 推 论 (1 .3 .3 ) 得 知 , 对 每 个 复 矩 阵 A Cm nR OA = UO O都 有 分 解 式 :V其 中 , U, V 分 别 为 m 阶 和 n 阶 的 酉 矩 阵 , 而 R 是 一 个 r 阶 的 正 线 上 三 角 矩 阵 。 下 面 我 们 对 上 述 形 式 进 一 步 简 化 , 将 R 化 成 一 个 对 角 矩 阵 , 且 主 对 角 元 取 A 的 奇 异 值 , 由 此 得 到 A 的 奇 异 值 分 解 。定 义 1 .3 .6 设 A Cm n , 则 矩 阵
45、AH A 的 n 个 特 征 值 , i = 1 , 2 , , n 的 算 术 平 方 根 i = i 称 作 A 的 奇 异 值 。定 理 1 .3 .7( 矩 阵 的 奇 异 值 分 解 定 理 ) 设 A Cm n , 则 存 在 酉 矩 阵 U Cm m 及 V 第 1 章 基 础 知 识10(1 .3 .35)(1 .3 .36)(1 .3 .37)(1 .3 .38)C0 0 1 2 1 r CUUHUHH1 2 rHmHn n 使 得 4 S OU AV =O O ( 1 .3 .32 )其 中 , S= dia g 1 , 2 , , r , 且 1 2 r 0 ; i ,
46、i = 1 , 2 , , r 为 A 的 正 奇 异 值 。 证 明 : 由 于 AH A 为 H er mitia n 矩 阵 , 并 且 为 半 正 定 的 , 它 的 秩 为 r, 因 此 可 以 令 它 的特 征 值 为 2 , 2 , , 2 , 并 满 足 1 2 r 0 , r + 1 = r + 2 = = n = 0 。 由 定 义1 2 n1 .3 .6得 知 , i , i = 1 , 2 , , n 都 是 A 的 奇 异 值 。另 外 , 由 于 AH A 为 H er mitia n 矩 阵 , 当 然 为 正 规 矩 阵 , 因 此 由 定 理 1 .3 .5
47、得 知 , 存 在 n H 2 2酉 矩 阵 U0 Cn 2, 以 及 对 角 矩 阵 T( T 的 主 对 角 线 上 的 元 素 为 A A 的 特 征 值 1 , 2 , ,r , 0 , , 0 ) , 使 得UH H0 A AU0 = T (1 .3 .33)现 在 将 U 写 成 分 块 形 式 : U = U , U , 其 中 U Cn r , U2 n ( n - r) n - r , 因 此H 10 =U2将 此 式 代 入 (1 .3 .33) 式 , 有H 1 AH AU1 , U2 = TU2即H H H H 2U1 A AU1 U1 A AU2 S= O12 (1 .3 .34)UH H H H2 A AU1 U2 A AU2 O21 O22其 中 , S2 = dia g 2 , 2 , , 2 ; O1 2 , O21 , O2 2 分 别 为 r ( n - r) , ( n - r) r 和 ( n - r) ( n - r) 的 零 矩 阵 。现 比 较 (1 .3 .34) 等 式 两 端 的 各 分 块 矩 阵 , 可