数学BI(微分積分)(情報理工学科クラス)・講義内容と予定


春学期・月曜3時限・6-402教室


期末試験のお知らせ(終了)

中間試験のお知らせ(終了)

お知らせ

授業時のプロジェクタ資料を掲載する予定です。 各授業日の項から見て下さい。 但し、各授業中の前回の復習部分を含んでいるので、内容に重複があります。 印刷時には必要なページだけ印刷するなどして下さい。

講義概要

一変数の場合を中心に、微分積分など数学に於ける解析的手法を扱う。 高校までの「等式の数学」で余り触れられない「不等式による評価」の話から始めて、 Taylor展開の理論を大きなテーマとし、 極限・収束・無限和・微分・積分・近似計算などを関連付けて講義する。 高校までで学んだ知識も活用する一方、それらのより確かな基礎付けも与える。 問題演習や多くの例を通じて理論的な事項を実感すると共に、 将来出会う様々な実例に馴染んでもらいたい。 この科目は、多変数の微積分(数学BII)・微分方程式・複素関数論・フーリエ解析など 引き続いて学ぶ数学の基礎としてだけでなく、 物理学・工学等の理工系のあらゆる科目の基礎として重要である。

講義計画

不等式による評価から始めて、Taylor 展開を主な切口に、 一変数の微分積分について以下の事柄を中心に解説する。 時間があれば更に各週読み切りで幾つかのトピックを紹介したい。

主な参考書

「数学演習I」との連携について

併設の演習科目「数学演習I」の微分積分演習(隔週)と連携して進めるので、 そちらの演習問題もここに置いておく予定。

  1. 第1回(第1週)4/12:プロジェクタ資料(pdf,22KB)
  2. 第1回(第1週)4/12:微分・積分の計算(pdf,17KB)
  3. 第2回(第3週)4/26:不等式による評価・関数の極限と連続性(pdf,18KB)
  4. 第3回(第5週)5/17:Taylor展開の計算と利用(pdf,20KB)
  5. 第4回(第7週)5/31:級数和の収束と発散・Taylor展開の剰余項の評価(pdf,27KB)
  6. 第5回(第9週)6/14:Taylor展開(補足)・逆三角関数などの新しい関数(pdf,31KB)
  7. 第6回(第11週)6/28:色々な積分の計算(pdf,19KB)
  8. 第7回(第13週)7/12:定積分の基礎づけ・広義積分の収束と発散(pdf,33KB)
  9. 補足課題(7/12配布)(pdf,32KB)

講義内容

第1回:4/16

配ったプリント [page 0(pdf,13KB) ] ・プロジェクタ資料 [4/16授業時(pdf,39KB) |4/16印刷用(pdf,33KB) ]

前振り (理工系1年次の数学の授業・ノートの取り方など)。 不等式による評価。解析学は不等式の数学である。 三角不等式の使い方。収束・極限の定式化に向けて。

第2回:4/23

配ったプリント [演習1(pdf,6KB) ] ・プロジェクタ資料 [4/23授業時(pdf,45KB) |4/23印刷用(pdf,40KB) ]

不等式による評価(続き)。極限と近似。 所謂「ε-δ」流の極限の定式化、証明の例。 関数の連続性・微分可能性。

4/30

「昭和の日」の振替休日につき、本授業なし。

第3回:5/07

配ったプリント [演習2(pdf,9KB) ] ・ プロジェクタ資料 [5/07授業時(pdf,47KB) |5/07印刷用(pdf,30KB) ]

Taylor展開の導入。形式的 Taylor 展開の幾つかの例。 Taylor展開の利用(極限計算・近似値計算)。 Taylor展開の計算例。

第4回:5/14

配ったプリント [page 1〜2(pdf,27KB) (page 1のみ(pdf,19KB) |page 2のみ(pdf,16KB)) ] ・ プロジェクタ資料 [5/14授業時(pdf,57KB) |5/14印刷用(pdf,53KB) ]

Taylor展開の計算例(続き)。

無限級数の収束・発散の例。調和級数に関する"奇怪な"現象の例。 有限和と異なり、無限和では、項の順番を入れ替えると、 任意の実数値に収束せしめたり、発散せしめたりし得ることがある。 調和級数 Σ_{n=1}^∞ 1/n が発散することを、1/x の積分と比較した評価で示す。 絶対収束・条件収束。

第5回:5/21

プロジェクタ資料 [5/21授業時(pdf,52KB) |5/21印刷用(pdf,45KB) ]

絶対収束・条件収束。 正項級数は部分和が(上に)有界なら収束し、しかも項の順番に依らない。 絶対収束する級数は項の順番を任意に入替えても同じ値に収束する。

正項級数の収束判定。比較判定法。「無限等比級数の和」を比較基準に。 簡単な収束性判定(d'Alembertの比テスト・Cauchyのn乗根テスト)。

第6回:5/28

プロジェクタ資料 [5/28授業時(pdf,45KB) |5/28印刷用(pdf,40KB) ](誤記訂正・一部追加済)

正項級数の収束判定。 簡単な収束性判定(d'Alembertの比テスト・Cauchyのn乗根テスト)。 判定が微妙な例:s>1 ならば Σ_{n=1}^∞ 1/n^s は収束。 Riemannのζ関数とその特殊値(お話)。 冪級数とその収束半径。

第7回:6/04

配ったプリント [演習3(pdf,8KB) |page 3,4(pdf,29KB) ] ・プロジェクタ資料 [6/04授業時(pdf,50KB) |6/04印刷用(pdf,43KB) ]

冪級数とその収束半径(補足)。

Taylorの定理(剰余項の評価)。 形式的Taylor展開級数については、

という点が問題となる。収束性についてはここまでで論じた。 剰余項が 0 に収束すれば元の関数と一致することが保証されるので、 そのために剰余項の評価に関するTaylorの定理を紹介、 Rolleの定理・平均値の定理を用いて証明。

第8回:6/11

配ったプリント [page 5・6(pdf,31KB) ] ・プロジェクタ資料 [6/11授業時(pdf,41KB) |6/11印刷用(pdf,37KB) ]

Taylor展開の利用と応用: 近似値計算と誤差評価(丸め誤差・打切誤差)・項別微積分・極限計算・二項展開。

第9回:6/18

中間試験を行なった。 [中間試験問題(pdf,31KB)]

第10回:6/25

配ったプリント [page 7・8(pdf,29KB) ]・ プロジェクタ資料 [6/25授業時(pdf,57KB) |6/25印刷用(pdf,49KB) ]

今までの補足。 形式的Taylor展開級数が収束しても元の関数と一致しない例。

逆関数。或る種の微分方程式を満たす関数の逆関数は積分で表される。 逆三角関数 arcsin x,arctan x とそのTaylor展開。 冪級数は複素数の範囲で考えると本性を表わす。 Euler の公式:e^{ix}=cos x+i sin x。双曲線関数。

第11回:7/02

配ったプリント [演習4(pdf,14KB) ]・ プロジェクタ資料 [7/02授業時(pdf,69KB) |7/02印刷用(pdf,59KB) ]

積分。区分求積から積分の定義に向けて。 積分の基礎付け(Riemann積分)。有界閉区間上で有界な関数の積分の定義。 定義で苦労することによって証明が見通し良くなる道を選ぶのが、現代数学の流儀。 (Riemann積分の意味で)積分できない関数の例。 不連続でも積分可能な関数の例。

第12回:7/09

プロジェクタ資料 [7/09授業時(pdf,45KB) |7/09印刷用(pdf,38KB) ]

積分の基礎付け(Riemann積分)。 連続関数の積分可能性。微分積分学の基本定理。

「連続関数に対しては、 積分の理論の範疇である定積分関数や不定積分と 微分の理論の範疇である原始関数(逆微分)とが一致する」 というのが、微分積分学の基本定理の内容である。 これにより、定積分の計算自体は高校で学習したように 原始関数が判れば計算できる。

第13回:7/16

配ったプリント [page 9〜10(pdf,32KB) |page 9のみ(pdf,24KB) |page 10のみ(pdf,21KB) ]・プロジェクタ資料 [7/16授業時(pdf,36KB) |7/16印刷用(pdf,34KB) ]

「海の日」であるが、授業実施日である。

広義積分(変格積分)とその簡単な収束判定。 広義積分を用いて定義される関数の例:Γ関数・Β関数。

第14回:7/23

配ったプリント [page 11〜12(pdf,25KB) |page 11のみ(pdf,18KB) |page 12のみ(pdf,17KB) ]・プロジェクタ資料 [7/23授業時(pdf,36KB) |7/23印刷用(pdf,36KB) ]

授業アンケート。

広義積分を用いて定義される関数の例(補足):Γ関数・Β関数。

積分の計算法。 簡単に見える関数でも不定積分が初等関数の範囲で得られないこともあるので、 積分の計算が一般的にいつでも出来る方法はなく、 個別のテクニックに頼らざるを得ないが、 或る程度の範囲については原理的に出来る方法がある。 その例として、 有理関数の不定積分・無理関数の不定積分・三角関数の有理関数の不定積分。 これら積分の計算法が何故うまく機能するのかという幾何的な背景。

7/30

期末試験を行なった。 [期末試験問題(pdf,42KB)]