12.07.2015 Views

Part1: Optimization and Nonsmooth Analysis

Part1: Optimization and Nonsmooth Analysis

Part1: Optimization and Nonsmooth Analysis

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

講 題 : 微 積 分 與 高 等 微 積 分 的 銜 接 及 未 來 發 展演 講 者 : 陳 嘉 文日 期 :2008 年 6 月 3 日如 何 迎 戰 二 十 一 新 世 紀 未 來 教 育 發 展 趨 勢 !陳 嘉 文 小 檔 案學 歷 : 清 華 大 學 數 學 博 士現 職 : 國 立 嘉 義 大 學 應 用 數 學 系 教 授 兼 系 主 任新 禾 美 司 軟 體 研 發 中 心 主 任美 司 多 媒 體 文 化 事 業 股 份 有 限 公 司 技 術 指 導 ( 顧 問 )百 立 生 物 科 技 股 份 有 限 公 司 技 術 指 導 ( 顧 問 )經 歷 : 義 守 大 學 應 用 數 學 系 教 授 兼 系 主 任國 立 高 雄 大 學 應 用 數 學 系 兼 任 教 授國 立 中 山 大 學 應 用 數 學 系 兼 任 副 教 授Chinese Institute of Industrial Engineers(EI) 編 輯 委 員


微 積 分 與 高 等 微 積 分 課 程 的 銜 接微 積 分 課 程 的 架 構 與 內 容 :微 積 分 是 一 門 數 理 科 學 研 究 的 基 礎 課 程 , 其 所 建 構 的 科 學 理 論與 方 法 , 已 廣 泛 整 合 應 用 在 我 們 日 常 生 活 中 , 因 此 舉 凡 一 切 科 學 研 究皆 有 其 身 影 , 深 深 影 響 我 們 一 切 科 學 探 討 與 發 展 , 故 微 積 分 已 為 各 大學 校 院 理 工 、 管 理 或 社 會 科 學 等 領 域 的 必 修 基 礎 課 程 。微 積 分 課 程 是 銜 接 在 高 中 數 學 的 基 礎 上 , 是 其 它 高 等 數 學 的 基礎 , 介 紹 數 系 架 構 、 函 數 的 極 限 概 念 、 連 續 性 、 微 分 與 積 分 方 法 、 以及 在 數 學 與 相 關 學 科 上 的 應 用 , 其 基 本 內 容 如 下 :課 程 內 容 :一 、 集 合 ( 實 數 系 基 本 概 念 ): 單 一 空 間 結 構 概 念集 合 、 數 學 語 句 與 符 號 , 介 紹 實 數 系 的 基 本 架 構 及 性 質 , 如 :有 理 數 的 稠 密 性 與 實 數 系 的 完 備 性 。二 、 函 數 : 連 接 二 空 間 結 構 的 轉 換 或 轉 變函 數 、 基 本 函 數 ( 如 : 多 項 式 、 有 理 函 數 、 冪 次 函 數 、 三 角 函數 、 反 三 角 函 數 、 指 數 函 數 、 對 數 函 數 、 雙 曲 函 數 等 等 )、 單變 數 函 數 的 極 限 與 連 續 、 函 數 在 有 限 點 與 無 窮 遠 處 的 極 限 與 單II


側 極 限 、 數 列 的 極 限 、 極 限 與 連 續 函 數 的 基 本 性 質 、 中 間 值 定理 、 最 大 最 小 值 定 理 及 其 應 用 。三 、 單 變 數 函 數 的 導 數 及 其 應 用 :導 數 的 意 義 、 基 本 函 數 微 分 、 微 分 公 式 、 導 函 數 、 隱 微 分 法 、變 率 、 均 值 定 理 、 函 數 的 遞 增 及 遞 減 、 函 數 的 極 值 、 函 數 圖 形的 漸 近 線 與 凹 性 、L'Hospital 法 則 、Taylor 多 項 式 、Newton 法 。四 、 單 變 數 函 數 的 積 分 及 其 應 用 :基 本 函 數 積 分 、 不 定 積 分 的 各 種 技 巧 ( 如 : 分 部 積 分 法 、 變 數代 換 法 、 分 項 分 式 法 )、 定 積 分 的 意 義 及 其 基 本 性 質 、Riemann和 、 連 續 函 數 的 可 積 分 性 、 微 積 分 基 本 定 理 、 積 分 的 均 值 定 理 ,定 積 分 的 近 似 求 法 、 瑕 積 分 、 定 積 分 的 應 用 。五 、 無 窮 級 數 :收 斂 級 數 的 基 本 性 質 、 正 項 級 數 、 交 錯 級 數 、 絕 對 收 斂 、 斂 散性 的 檢 驗 、 冪 級 數 、Taylor 級 數 。六 、 多 變 數 函 數 的 微 積 分 :偏 導 數 的 概 念 與 應 用 、 重 積 分 的 概 念 與 應 用 、 線 積 分 、 面 積 分 、Green 定 理 、Gauss 定 理 、Stoke 定 理 、 散 度 定 理 。III


高 等 微 積 分 課 程 的 架 構 與 內 容 :先 修 科 目 : 微 積 分高 等 微 積 分 是 微 積 分 的 進 階 課 程 , 是 近 代 分 析 數 學 的 最 基 本 科 目 , 其目 的 在 承 接 微 積 分 課 程 , 加 強 微 積 分 基 本 概 念 、 理 論 架 構 、 原 理 及 方法 。 以 培 養 學 生 的 科 學 分 析 能 力 及 推 理 能 力 , 作 為 學 習 其 他 進 階 數理 、 數 學 及 應 用 數 學 之 基 礎 。課 程 內 容 :一 、 基 本 概 念 :集 合 與 函 數 的 概 念 及 運 算 , 包 括 有 限 集 、 無 限 及 、 可 數 集 與 不可 數 集 等 。二 、 實 數 系 :完 備 性 及 其 相 關 性 質 的 證 明 。三 、 高 維 度 空 間 的 基 本 拓 樸 性 質 :高 維 度 空 間 中 的 距 離 、 開 集 、 閉 集 、 連 通 性 、 緊 緻 性 、 並 包 括Bolzano-Weierstrass 定 理 、Heine-Borel 定 理 、Cantor 交 集 定 理 。四 、 序 列 與 級 數 :高 維 度 空 間 中 序 列 的 收 斂 性 、 實 數 數 列 的 上 極 限 與 下 極 限 、 函數 序 列 的 均 勻 收 斂 、 函 數 均 勻 收 斂 與 連 續 性 、 函 數 序 列 微 分 與IV


積 分 , 函 數 級 數 的 收 斂 性 、 函 數 級 數 的 絕 對 收 斂 、 函 數 級 數 的斂 散 性 檢 驗 法 、 函 數 項 級 數 的 均 勻 收 斂 及 檢 驗 法 。五 、 結 構 保 持 定 理 :含 連 通 性 與 緊 緻 性 之 結 構 保 持 定 理 及 其 應 用 、 連 續 函 數 序 列 的極 限 函 數 的 性 質 、Bernstein 近 似 定 理 、Weierstrass 近 似 定 理 ,均 勻 連 續 。六 、 函 數 微 分 :一 維 空 間 的 微 分 理 論 ( 如 : 均 值 定 理 ,L'Hospital 法 則 )、 偏 導數 、 方 向 導 數 、 微 分 、Jacobian 矩 陣 、 連 鎖 律 、 高 維 度 空 間 上的 均 值 定 理 及 其 應 用 、Taylor 定 理 、 反 函 數 定 理 與 隱 函 數 定 理 、極 值 的 求 法 ( 含 :Lagrange's 乘 子 法 )。七 、 函 數 積 分 :Riemann-Stieltjes 和 、Riemann 和 、 可 積 性 判 別 定 理 、Fubini 定 理 、零 測 度 的 概 念 、Riemann 可 積 性 判 別 定 理 、 變 數 變 換 公 式 。八 、 積 分 應 用 :瑕 積 分 的 迭 代 積 分 ,Gamma 函 數 與 Beta 函 數 、 線 積 分 與 面 積分 、Gauss 定 理 、Stoke 定 理 、Green 定 理 與 散 度 定 理 。V


高 等 微 積 分 課 程 的 延 伸 與 銜 接高 等 微 積 分 的 先 修 科 目 是 微 積 分 , 因 此 高 等 微 積 分 是 微 積 分 的 進 階 課程 , 事 實 上 高 等 微 積 分 近 代 分 析 數 學 的 最 基 本 科 目 , 除 了 在 承 接 微 積分 課 程 之 外 , 加 強 微 積 分 基 本 概 念 、 理 論 架 構 、 原 理 及 方 法 , 同 時 亦加 入 許 多 新 的 內 容 與 元 素 , 如 :• 拓 樸 學 ( 位 相 學 )• 測 度 學 ( 測 度 、Riemann-Stieltjes 積 分 、、 等 等 。)• 結 構 保 持 理 論 與 原 理• 近 似 理 論 與 原 理• 函 數 級 數 、、、 等 等 。並 延 伸 加 強 學 生 的 科 學 分 析 能 力 及 推 理 能 力 , 作 為 未 來 學 習 其 他 進 階數 理 、 數 學 及 應 用 數 學 之 基 礎 , 如 : 實 變 函 數 論 、 複 變 函 數 論 、 泛 函分 析 、 微 分 幾 何 、、、 等 等 課 程 。VI


微 積 分 與 高 等 微 積 分 課 程 的 未 來 發 展• 微 積 分 的 改 變 , 帶 動 未 來 科 技 的 改 變 與 發 展• 不 連 續 函 數 , 是 否 可 微 分 ? 新 數 學 科 學 知 識 的 發 展 ,數 學 教 育 正 面 臨 空 前 的 挑 戰 !從 十 七 世 紀 末 , 人 類 科 技 的 發 展 深 受 到 微 積 分 影 響 至 今 , 因 此 微 積 分 的 改變 , 將 帶 動 未 來 科 技 的 改 變 與 發 展 。從 十 七 世 紀 末 至 二 十 世 紀 初 所 有 自 然 科 學 的 發 展 , 含 蓋 愛 因 斯 坦 (AlbertEinstein, 1879-1955) 的 量 子 物 理 研 究 , 其 中 數 理 理 論 的 探 討 , 主 要 建 構 在 牛 頓 (S.I.Newton,1642-1727) 與 萊 布 尼 茲 (G..W. Leibnitz,1646-1716) 微 積 分 原 理 上 ,自 從 量 子 物 理 崛 起 到 二 十 世 紀 末 , 短 短 數 十 年 間 , 開 啟 了 人 類 令 人 目 不 暇 給 的 科學 領 域 , 如 : 原 子 核 的 分 裂 、 細 胞 核 的 分 解 與 人 類 基 因 圖 譜 的 定 序 , 讓 我 們 對 物質 和 生 命 現 象 有 了 基 本 了 解 ; 微 電 腦 的 發 明 , 網 路 時 代 的 來 臨 , 更 改 變 了 所 有 產業 和 生 活 方 式 。 但 在 這 二 十 世 紀 科 技 發 展 過 程 中 , 許 多 科 學 家 發 現 在 自 然 界 中 ,常 常 充 斥 著 『 奇 異 點 』 的 物 理 現 象 , 如 : 折 點 、 尖 點 、 跳 躍 點 與 不 連 續 點 , 這 些奇 異 點 的 變 化 對 整 個 系 統 非 常 重 要 , 常 常 影 響 系 統 的 穩 定 性 , 因 此 奇 異 點 變 化 的基 本 性 質 之 研 究 , 是 二 十 一 世 紀 非 常 重 要 的 課 題 , 深 究 其 科 學 原 理 , 發 現 牛 頓 與萊 布 尼 茲 所 建 構 的 微 積 分 理 論 無 法 有 效 來 說 明 這 些 奇 異 點 現 象 變 化 , 這 些 現 象 簡稱 為 非 平 滑 現 象 或 奇 異 點 現 象 。近 年 來 , 我 們 在 微 積 分 教 學 課 程 中 方 面 : 重 新 定 義 微 分 , 引 入 廣 義 微 分 概 念於 微 積 分 課 程 , 同 時 處 理 以 往 無 法 處 理 的 實 際 重 要 問 題 , 如 : 血 管 蠕 動 現 象 、 人體 動 力 學 、、、 等 等 , 編 著 『 近 代 微 積 分 』。VII


近 代 微 積 分Modern Calculus與高 等 微 積 分Advanced CalculusVIII


前 言「 牛 頓 與 萊 布 尼 茲 的 微 積 分 , 影 響 人 類 科 技 發 展從 十 七 世 紀 末 至 二 十 世 紀 初 , 甚 至 到 未 來 , 其 中橫 跨 愛 因 斯 坦 的 量 子 物 理 研 究 , 二 十 世 紀 末 非 平滑 分 析 將 補 強 人 類 在 奇 異 點 變 化 方 面 的 研 究 , 預計 將 未 來 科 學 研 究 提 升 到 另 一 高 峰 」非 平 滑 分 析 的 介 紹對 於 這 些 奇 異 點 現 象 一 直 困 擾 科 學 家 們 , 至 1960 後 , 部 分 數 學 家 與 學 者 開始 討 論 如 何 有 效 來 解 決 這 些 現 象 , 例 如 :R.T. Rockafellar(1965-)、F.H. Clarke(1975-)、A.D. Ioffe(1972)、V.L. Levin(1972)、J. P. Aubin(1978)、Hang-ChinLai(1992),Jia-Wen Chen(1992) 等 等 , 他 們 重 新 定 義 函 數 的 微 分 理 論 , 同 時得 到 一 些 好 的 結 果 , 特 別 地 , 美 國 成 立 Clarke 講 座 從 事 這 方 面 的 研 究 , 研 究 範圍 包 括 :Lagrangian 力 學 、 近 代 力 學 (Modern Mechanics)、 追 蹤 控 制 (TrackingControl)、 最 佳 控 制 (Optimal Control) 及 動 態 系 統 (Dynamical Systems) 等 方 面技 術 研 究 及 應 用 , 這 些 結 果 引 起 國 際 上 廣 泛 討 論 與 研 究 。本 書 將 引 進 新 的 微 積 分 理 論 , 重 新 建 構 新 的 微 積 分 課 程 , 稱 為 『 近 代 微 積分 』, 即 重 新 定 義 函 數 的 微 分 , 討 論 牛 頓 無 法 解 決 的 奇 異 點 問 題 。 本 書 所 建 構 新的 教 材 , 以 培 育 前 瞻 數 理 科 技 人 材 為 主 要 目 標 , 提 升 競 爭 力 , 對 於 未 來 科 學 研 究及 應 用 影 響 非 常 深 遠 , 我 們 將 使 用 一 段 話 來 加 以 註 解 「 牛 頓 與 萊 布 尼 茲 的 微 積分 , 影 響 人 類 科 技 發 展 從 十 七 世 紀 末 至 二 十 世 紀 初 , 甚 至 到 未 來 , 其 中 橫 跨 愛 因斯 坦 的 量 子 物 理 研 究 , 二 十 世 紀 末 非 平 滑 分 析 將 補 強 人 類 在 奇 異 點 變 化 方 面 的 研究 , 預 計 將 未 來 科 學 研 究 提 升 到 另 一 高 峰 」。圖 : 充 滿 奇 異 點 現 象 的 世 界IX


近 代 微 積 分 目 錄教 材 內 容第 ○ 章 集 合0.1 數 系0.2 自 然 數 與 數 學 歸 納 法0.3 數 的 大 小0.4 數 的 綢 密 性0.5 實 數 的 完 備 性第 一 章 函 數1.1 函 數1.2 函 數 的 圖 形 與 性 質1.3 合 成 函 數1.4 反 函 數第 二 章 函 數 的 極 限 與 連 續2.1 極 限 的 定 義2.2 極 限 的 性 質2.3 單 邊 極 限2.4 連 續2.5 無 窮 極 限 與 漸 近 線第 三 章 導 數3.1 導 數 與 導 函 數3.2 導 數 的 基 本 性 質3.3 基 本 函 數 的 導 數3.4 連 鎖 法 則3.5 隱 函 數 微 分 法3.6 高 階 導 函 數3.7 反 函 數 的 導 函 數第 四 章 導 函 數 的 應 用4.1 函 數 的 極 值4.2 羅 雷 定 理 與 均 值 定 理4.3 單 調 ( 遞 增 或 遞 減 ) 函 數 與 相 對 極 值 判 別 法4.4 函 數 的 凹 性 及 反 曲 點 分 析 與 其 判 別 法4.5 函 數 圖 形 的 討 論4.6 極 大 值 和 極 小 值 的 應 用 問 題4.7 牛 頓 法X


第 五 章 積 分5.1 定 積 分5.2 定 積 分 的 性 質5.3 一 般 面 積 的 概 念5.4 微 積 分 的 基 本 定 理5.5 變 數 代 換 法 求 定 積 分5.6 不 定 積 分5.6 不 定 積 分 的 應 用第 六 章 定 積 分 的 應 用6.1 兩 曲 線 之 間 的 面 積6.2 立 體 的 體 積6.3 平 面 曲 線 的 弧 度6.4 旋 轉 體 曲 面 的 表 面 積6.5 平 面 區 域 的 力 矩 與 重 心第 七 章 三 角 函 數 與 反 三 角 函 數7.1 反 函 數7.2 三 角 函 數 與 其 極 限7.3 三 角 函 數 的 導 數 與 積 分7.4 反 三 角 函 數 與 其 極 限7.5 反 三 角 函 數 的 導 數 及 積 分第 八 章 對 數 函 數 與 指 數 函 數8.1 對 數 函 數8.2 對 數 函 數 之 微 分 和 積 分8.3 指 數 函 數8.4 指 數 函 數 之 微 分 和 積 分8.5 對 數 函 數 的 微 分 法8.6 一 階 線 性 微 分 方 程 式8.6 對 數 函 數 與 指 數 函 數 的 應 用8.7 雙 曲 函 數第 九 章 積 分 技 巧 與 方 法9.1 不 定 積 分 的 概 念 與 公 式9.2 分 部 積 分 法9.3 三 角 函 數 的 積 分 法9.4 三 角 代 換 積 分 法9.5 有 理 函 數 的 部 分 分 式 積 分 法 、 其 他 積 分 法9.6 數 值 積 分 法 與 計 算 ( 辛 普 森 法 )XI


第 十 章 不 定 型 與 瑕 積 分10.1 不 定 型 與10.2 不 定 型 與10.3 不 定 型 , 與10.4 瑕 積 分第 十 一 章 參 數 方 程 式 與 極 坐 標11.1 平 面 曲 線 的 參 數 方 程 式11.2 參 數 方 程 式 圖 形 的 切 線11.3 面 積 與 弧 長11.4 極 坐 標11.5 使 用 極 坐 標 求 面 積11.6 使 用 極 坐 標 求 弧 長第 十 二 章 數 列 與 無 窮 級 數12.1 數 列12.2 無 窮 級 數12.3 正 項 級 數12.4 交 錯 級 數12.5 絕 對 收 斂12.6 冪 級 數12.7 泰 勒 級 數 與 麥 克 勞 林 級 數12.8 二 項 級 數12.9 泰 勒 級 數 的 應 用第 十 三 章 三 維 空 間 概 念13.1 三 維 空 間 直 角 坐 標 系13.2 三 維 空 間 中 的 直 線 與 平 面13.3 三 維 空 間 中 的 曲 面13.4 柱 面 坐 標 與 球 面 坐 標第 十 四 章 偏 導 數14.1 多 變 數 函 數14.2 偏 導 函 數14.3 偏 導 數 的 幾 何 意 義14.4 全 微 分14.5 連 鎖 法 則14.6 方 向 導 數 、 梯 度 與 切 平 面14.7 極 大 值 與 極 小 值14.8 受 限 制 條 件 的 極 大 值 與 極 小 值XII


第 十 五 章 廣 義 方 向 導 數 與 廣 義 微 分15.1 廣 義 方 向 導 數15.2 廣 義 方 向 導 數 的 性 質15.3 廣 義 微 分 與 廣 義 梯 度15.4 廣 義 梯 度 的 性 質15.5 非 平 滑 函 數 的 極 大 值 與 極 小 值15.6 廣 義 均 值 定 理 與 連 鎖 法 則第 十 六 章 重 積 分16.1 矩 形 區 域 上 的 二 重 積 分16.2 二 重 積 分 與 富 比 尼 定 理16.3 非 矩 形 區 域 上 的 二 重 積 分16.4 極 坐 標 下 的 二 重 積 分16.5 曲 面 面 積16.6 三 重 積 分16.7 柱 面 座 標 與 球 面 座 標 下 的 三 重 積 分16.8 重 積 分 的 的 變 數 轉 換第 十 七 章 向 量 分 析17.1 線 積 分17.2 保 守 向 量 函 數17.3 與 路 徑 無 關 的 線 積 分17.4 格 林 定 理17.5 散 度 與 旋 度17.6 面 積 分17.7 散 度 定 理 與 史 托 克 定 理XIII


高 等 微 積 分 (Advanced Calculus) 目 錄CONTENTSChapter 1. The Real <strong>and</strong> Complex Number Systems• The fieled axioms <strong>and</strong> the order axioms• Least upper bound <strong>and</strong>• The completeness axiomChapter 2. Set Theory• Relations <strong>and</strong> functions• Sequences• Countable <strong>and</strong> uncountable sets• Countable collection of countable setsChapter 3. Elements of Point Set Topology• Open balls <strong>and</strong> open sets• Closed sets• Adherent points <strong>and</strong> Accumulation points• The Bolzano-Weierstrass theorem• The Lindelof covering theorem• The Heine-Borel covering theorem• Compactness in metric spacesChapter 4. Limits <strong>and</strong> continuity• Convergent in a metric space• Cauchy sequences• Complete metric spaces• Bolzano’s theorem• Connectedness <strong>and</strong> Arcwise connectedness in metric spaces• Uniform continuity <strong>and</strong> compact sets• Fixed-point theorem for contractions• Discontinuities of real-valued functionsChapter 5. Differentiation• The derivative of a function• Derivatives <strong>and</strong> continuity• The chain rule• Roll’s theorems• The mean value theorems for derivatives• Indeterminate-value theorem for derivatives• Taylor’s formula with remainderXIV


Chapter 6. Integration• Definition of the Riemann-Stieltjes integral• Existence of the Riemann-Stieltjes integral• The fundamental theorem of the Integral Calculus• Functions of Bounded variation• Integration by parts• Miscellaneous theorems on integrationChapter 7. Infinite Series with Constant Terms• Convergence of Infinite Series• Series with Non-negative Terms• The Upper <strong>and</strong> Lower Limits of a Sequence• The Root <strong>and</strong> Ratio Tests• The Dirichlet’s Test• Rearrangement of Series• Multiplication of Series <strong>and</strong> Infinite ProductsChapter 8. Infinite Series of Functions• Uniform Convergence• Term by Term Integration <strong>and</strong> Differentiation• Power Series• Operations with Power Series• The Taylor Expansion• Abel’s Theorem on Power SeriesChapter 9. Partial Differentiation• The Gradient• Partial Derivatives of Higher Order• Tayloe’s FormulaChapter 10. Applications of Partial Differentiation• Extremal Problems <strong>and</strong> Extremal Problems with Constraints• The Implicit Function Theorem for One Unknown• The Implicit Function Theorem for Several Unknown• Inverse TransformationsChapter 11. Multiple Integral• Definition of Multiple Integrals <strong>and</strong> Their Properties• Interated Integrals, Fubini Theorem• Applications of Multiple Integrals• Change of Variables for Multiple IntegralsXV

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!