春学期・月曜3時限・9-349教室
上智大学の学部シラバス内の本授業のページ [数学B(微分積分)(物質生命理工学科1クラス)]
授業時のプロジェクタ資料を掲載する予定です。 各授業日の項から見て下さい。 但し、各授業中の前回の復習部分を含んでいるので、内容に重複があります。 印刷時には必要なページだけ印刷するなどして下さい。
一変数の場合を中心に、微分積分など数学に於ける解析的手法を扱う。 高校までの「等式の数学」で余り触れられない「不等式による評価」の話から始めて、 Taylor展開の理論を大きなテーマとし、 極限・収束・無限和・微分・積分・近似計算などを関連付けて講義したい。 高校までで学んだ知識も活用する一方、それらのより確かな基礎付けも与える。 問題演習や多くの例を通じて理論的な事項を実感すると共に、 将来出会う様々な実例に馴染んでもらいたい。
不等式による評価から始めて、Taylor 展開を主な切口に、 一変数の微分積分について以下の事柄を中心に解説する。 時間があれば更に各週読み切りで幾つかのトピックを紹介したい。
配ったプリント [page 0(pdf,16KB) ] ・プロジェクタ資料 [4/12授業時(pdf,54KB) |4/12印刷用(pdf,45KB) ]
前振り (物質生命理工学科に於ける数学の授業の意義・1年次の数学の授業・ノートの取り方など)。 不等式による評価。解析学は不等式の数学である。
配ったプリント [演習1(pdf,11KB) ] ・プロジェクタ資料 [4/19授業時(pdf,44KB) |4/19印刷用(pdf,42KB) ]
不等式による評価(続き)。極限と近似。所謂「ε-δ」流の極限の定式化。
Taylor展開の導入。
関数 f(x)=x^2 において、 x を -4 に近付けると f(x) は 16 に近付くようだが、 その誤差について、
- |f(x)-16| < 0.1 となるためには、x をどの程度 -4 に近付ければ良いか (つまり、|x-(-4)| < δ ⇒ |f(x)-16| < 0.1 と言えるためには、 δの値をどれくらいにすれば良いか)。 (ヒント: x=-4+h と置くと計算し易い。)
- |f(x)-16| < 0.0001=1/10000 となるためには ?
- 一般に、εを任意の正の数として、|f(x)-16| < ε となるためには、 δの値をどれくらいにすれば良いか。 (ヒント: 同じ要領の評価を変数εのまま行なえば良い。)
配ったプリント [演習2(pdf,10KB) ] ・プロジェクタ資料 [4/26授業時(pdf,67KB) |4/26印刷用(pdf,47KB) ]
所謂「ε-δ」流の極限の証明の例。
Taylor展開の導入。形式的 Taylor 展開の幾つかの例。 Taylor展開の利用(極限計算・近似値計算)。
- f(x)=sin x の Taylor 展開を求めよ。
- これを利用して、
- 極限 lim_{x→0}(sin x-x)/x^3 を求めよ。
- sin 1 の近似値を小数第 4 位まで求めよ。
「憲法記念日」でお休み。
配ったプリント [演習3(pdf,10KB) ] ・プロジェクタ資料 [5/10授業時(pdf,52KB) |5/10印刷用(pdf,50KB) ]
前回の演習問題の解説。 Taylor 展開の利点・欠点・課題点。
無限級数の収束・発散の例。 有限和と異なり、無限和では、項の順番を入れ替えると、 任意の実数値に収束せしめたり、発散せしめたりし得ることがある。
プロジェクタ資料 [5/17授業時(pdf,73KB) |5/17印刷用(pdf,59KB) ]
無限級数の収束・発散の例。 調和級数 Σ_{n=1}^∞ 1/n が発散することを、1/x の積分と比較した評価で示す。 絶対収束・条件収束。 正項級数は部分和が(上に)有界なら収束し、しかも項の順番に依らない。 絶対収束する級数は項の順番を任意に入替えても同じ値に収束する。
正項級数の収束判定。比較判定法。「無限等比級数の和」を比較基準に。
配ったプリント [page 1(pdf,25KB) |演習4(pdf,10KB) ] ・プロジェクタ資料 [5/24授業時(pdf,65KB) |5/24印刷用(pdf,58KB) ]
正項級数の収束判定。比較判定法。「無限等比級数の和」を比較基準に。 簡単な収束性判定(d'Alembertの比テスト・Cauchyのn乗根テスト)。 冪級数とその収束半径。
次の級数が絶対収束するような $x$ の範囲は？
- Σ_{n=1}^∞ x^n/(n 3^n)
- Σ_{n=0}^∞ n 2^n x^n
- Σ_{n=0}^∞ x^n/n!
- Σ_{n=0}^∞ n! x^n
- Σ_{n=0}^∞ n^n/n! x^n
判定が微妙な例: s>1 ならば Σ_{n=1}^∞ 1/n^s は収束。 Riemannのζ関数とその特殊値(お話)。
Taylorの定理(剰余項の評価)。
配ったプリント [page 2,3(pdf,39KB) |演習5(pdf,11KB) ] ・プロジェクタ資料 [5/31授業時(pdf,50KB) |5/31印刷用(pdf,41KB) ]
Taylorの定理(剰余項の評価)。 形式的Taylor展開級数については、
という点が問題となる。収束性についてはここまでで論じた。 剰余項が 0 に収束すれば元の関数と一致することが保証されるので、 剰余項の評価に関するTaylorの定理を、平均値の定理を用いて証明。
近似値計算と誤差評価の演習。
f(x)=e^x のTaylor展開の剰余項 R_N(f;x) について、
- |R_N(f;1)| < 10^{-4} となる(なるべく小さい) N を与えよ。
- e の近似値を小数第 3 位まで求めよ。
- 誤差が 10^{-3} 以下であることを保証せよ。
配ったプリント [page 4(pdf,19KB) ] ・プロジェクタ資料 [6/7授業時(pdf,57KB) |6/7印刷用(pdf,51KB) ]
前回出題の問題について解説。特に、 打切り誤差と丸め誤差とについて。 項別微積分。二項展開。
中間試験を行なった。 [中間試験問題(pdf,32KB) ]
配ったプリント [演習6(pdf,6KB) ]・プロジェクタ資料 [6/21授業時(pdf,64KB) |6/21印刷用(pdf,61KB) ]
形式的Taylor展開級数が収束しても元の関数と一致しない例。
逆関数。或る種の微分方程式を満たす関数の逆関数は積分で表される。 逆三角関数 arcsin x,arctan x とそのTaylor展開。
arcsin の時の真似をして、次の手順で y=arctan x のTaylor展開を求めよ。
- x=tan y の満たす微分方程式を求める
- arctan x を積分で表す
- 被積分関数をTaylor展開して項別積分する
配ったプリント [演習7(pdf,16KB) ]・プロジェクタ資料 [6/28授業時(pdf,111KB) |6/28印刷用(pdf,100KB) ]
中間試験の答案返却。前回の演習問題の解説。
冪級数は複素数の範囲で考えると本性を表わす。 Euler の公式 : e^{ix}=cos x+i sin x。双曲線関数。
積分。区分求積から積分の定義に向けて。
f(x)=x^2 の [0,a] での定積分 I=∫_0^a f(x)dx を計算したい。 分割 Δ_n: 0=x_0<x_1<…<x_n=a を n 等分な分割 (即ち x_i=ia/n)とする。
- 各小区間 [x_{i-1},x_i] での f(x) の下限 m_i および上限 M_i は?
- s_{Δ_n}=Σ_{i=1}^n m_i (x_i-x_{i-1}) 及び S_{Δ_n}=Σ_{i=1}^n M_i (x_i-x_{i-1}) を計算せよ。
- 任意の n に対して s_{Δ_n}≦I≦S_{Δ_n} であることから、I=∫_0^a f(x)dx を求めよ。 (lim_{n→∞}s_{Δ_n},lim_{n→∞}S_{Δ_n}$ が、 それぞれ存在して等しくなることを確かめよ。)
プロジェクタ資料 [7/5授業時(pdf,104KB) |7/5印刷用(pdf,84KB) ](補講予定更新済)
積分の基礎付け(Riemann積分)。有界閉区間上で有界な関数の積分の定義。 定義で苦労することによって証明が見通し良くなる道を選ぶのが、現代数学の流儀。 (Riemann積分の意味で)積分できない関数の例。
連続関数の積分可能性。微分積分学の基本定理。 連続関数に対しては、 積分の理論の範疇である定積分関数や不定積分と 微分の理論の範疇である原始関数(逆微分)とが一致する、 というのが、微分積分学の基本定理の内容である。 これにより、定積分の計算自体は高校で学習したように 原始関数が判れば計算できる。
配ったプリント [page 5,6(pdf,38KB) |page 7(pdf,20KB) ] ・プロジェクタ資料 [7/12授業時(pdf,68KB) |7/12印刷用(pdf,64KB) ]
広義積分(変格積分)とその簡単な収束判定。 Γ関数・Β関数。
補講(質問会)を行なった。
配ったプリント [演習8(pdf,9KB) ](提出不要) ・プロジェクタ資料 [7/19授業時(pdf,82KB) |7/19印刷用(pdf,81KB) ]
「海の日」であるが授業実施日である。
積分の計算法。 簡単に見える関数でも不定積分が初等関数の範囲で得られないこともあるので、 積分の計算が一般的にいつでも出来る方法はなく、 個別のテクニックに頼らざるを得ないが、 或る程度の範囲については原理的に出来る方法がある。 その例として、 有理関数の不定積分(続き)・無理関数の不定積分・三角関数の有理関数の不定積分。 これら積分の計算法が何故うまく機能するのかという幾何的な背景。
期末試験を行なった。 [期末試験問題(pdf,45KB)]