李群理论在流体力学中应用的初探-流体力学专业论文.docxVIP

李 李 群 理 论 在 流 体 力 学 中 应 用 的 初 探 复 旦 大 学 硕 士 学 位 论文 w a re s in th e f or th e h a P te r. T h e se P ro g ra m s w ill a s sist u s to e a le u la te th e sy nn llle tr y g ro u P s o f d if fe re n tia l e q u a tio n sy ste m s . K e y w o rd s : L ie G ro u P ，L ie sy m m e try m e t ho d ，d if fe re n tia l e q u a tio n ， N a v ie r -S to k e s e q u a tio n C la ssif ie a tio n e o d e : 0 3 0 2 ， 0 3 5 李 群 理 李 群 理 论 在 流 体 力 学 中 应 用 的 初 探 复 旦 大学 硕 士 学 位 论 文 第 零 章 引 言 流 动 分 析 首 先 需 要 明 确 物 理 对 象 的 运 动 规 律 ，然 后 提 出 相 适 应 的 数 学 力 学 模 型 ，进 而 建 立 方 程 、求 解 方 程 。在 这 个 过 程 中 ，正 确 分 析 流 体 运 动 的 规 律 和 准 确 求 解 相 应 的 方 程 尤 为 重 要 。 基 于 牛 顿 流 体 分 析 而 得 到 的 N一S 方 程 在 流 体 力 学 中扮 演 着 十 分 重 要 的 角 色 。 很 遗 憾 的 是 ，尽 管 一 个 世 纪 以来 众 多 研 究 者 己对 这 个 非 线 性 偏 微 分 方 程 进 行 了 大 量 的 努 力 ，但 N 一S 方 程 光 滑 解 的存 在 性 仍 然 未 知 。诚 然 ，理 论 上 难 以求 出 一 般 解 析 解 并 没 有 妨 碍 N 一S 方 程 应 用 于 工 程 。因 为 在 一 定 精 度 下 得 到 的 数 值 解 也 能 足 够 满 足 实 际 需 要 。但 是 N 一S 方 程 的 精 确 解 不 管 是 对 于 认 识 物 质 的 客 观 规 律 还 是 工 程 上 的 应 用 都 有 更 大 的 价 值 。基 于 对 完 美 的 追 求 ，研 究 人 员 并 没 有 满 足 于 数 值 解 及 相 关 近 似 方 法 ，将 众 多 的 现 代 数 学 、物 理 工 具 用 来 分 析 N一S 方 程 ，拓 展 了解 决 问 题 的 新 思 路 ， 并 创 造 了 一 些 处 理 问 题 的 新 方 法 。 0.1 研 究 背 景 流 体 动 力 学 中 最 为 简 单 也 最 为 重 要 的 数 学 模 型 是 各 向 同 性 的 理 想 流 体 「’了，从 现 代 数 学 的 观 点 看 ，这 种 流 体 理 论 不 过 是 对 保 持 体 积 元 的 微 分 同 胚 群 上 测 地 线 的 研 究 [2] ， 因 而 ， 由变 换 群 的 观 点 出 发 来 研 究 流 体 就 是 很 自然 的 事 情 了 。 李 群 ( L ie G r ou p ) 最 初 是 挪 威 数 学 家 M ar iu S S o p h us L ie 在 研 究 微 分 方 程 的 过 程 中 发 现 的 川 。李 群 首 先 作 为 群 具 有 很 好 的 代 数 结 构 ，又 因 为 其 作 为 光 滑 流 形 而 具 有 微 分 结 构 和 拓 扑 结 构 ，这 种 看 似 分 离 的 数 学 对 象 的 复 合 体 把 群 论 中 的 代 数 方 法 和 解 析 几 何 中 的 微 积 分 有 机 地 结 合 在 一 起 。李 群 理 论 如 今 己经 被 广 泛 地 应 用 到 理 论 物 理 和 现 代 几 何 学 等 诸 多 领 域 中 [4一7〕， 并 逐 渐 成 为 有 力 的 分 析 工 具 。 在 数 学 上 ，我 们 总 是 可 以把 流 形 上 的 光 滑 切 向量 场 看 成 无 穷 维 李 代 数 ，根 据 李 群 的 基 本 定 理 叫可 以得 到 一 个 局 部 李 群 。这 就 是 说 ，如 果 物 理 空 间 的 流 动 中 的 拓 扑 结 构 具 有 李 群 的 性 质 ，便 可 以 此 来 进 行 流 动 分 析 。这 是 将 李 群 理 论 直 接 、直 观 地 应 用 于 流 体 力 学 的 一 种 方 法 。 另 外 ，基 于 李 群 理 论 的 对 称 分 析 在 处 理 非