markdown
微分積分の応用md 2ad8e6d
lecture/math/calculus/calculus-applications.lecture.n.md
Download PDF

微分積分びぶんせきぶんの応用おうよう

date2026-07-15document_iddoc_a8836c05a3377b058a8821f1a194227edescription局所的な変化、区間上の累積、導関数の総変化を区別し、応用問題で微分と積分を選択する基準を整理する。prerequisites微分法の基本 / 局所線型近似と微分可能性 / 微分公式と計算法 / 積分法の基本 / 積分公式と計算法 / 微分積分学の基本定理 / 関数のグラフtype講義content_typelecturestatusactiverelateddata/lecture/math/calculus/differentiation-basics.lecture.n.md / data/lecture/math/calculus/local-linear-approximation-and-differentiability.lecture.n.md / data/lecture/math/calculus/differentiation-rules-and-computation.lecture.n.md / data/lecture/math/calculus/integration-basics.lecture.n.md / data/lecture/math/calculus/integration-rules-and-computation.lecture.n.md / data/lecture/math/calculus/fundamental-theorem-of-calculus.lecture.n.md / data/exercise/math/calculus/advanced-calculus-applications.exercise.n.md
mathcalculushighschoollecture

1導入どうにゅう

この講義こうぎでは、問題もんだいが局所的きょくしょてきな変化へんか、区間上くかんじょうの累積るいせき、または導関数どうかんすうの総変化そうへんかのいずれを要求ようきゅうするかを分類ぶんるいし、微分びぶんと積分せきぶんを選択せんたくする基準きじゅんを説明せつめいする。接線せっせん・瞬間速度しゅんかんそくど・増減ぞうげん・極値きょくちには微分びぶんを、面積めんせき・質量しつりょう・平均値へいきんち・変位へんいには積分せきぶんを使用しようする。微分積分学びぶんせきぶんがくの基本定理きほんていりは、局所的きょくしょてきな変化率へんかりつと区間全体くかんぜんたいの変化量へんかりょうを接続せつぞくする。

2局所量きょくしょりょうと微分びぶん

f が a で微分可能びぶんかのうならば、h→0 のとき

f(a+h)=f(a)+f′(a)h+r(h),r(h)h→0

である。この一次近似いちじきんじは、f′(a) が a における局所的きょくしょてきな変化率へんかりつであり、誤差項ごさこう r(h) が h より高次こうじであることを示しめす。したがって、接線せっせん、瞬間速度しゅんかんそくど、局所近似きょくしょきんじでは導関数どうかんすうを計算けいさんする。

f が区間くかんで微分可能びぶんかのうならば、f′(x)>0 の区間くかんで f は増加ぞうかし、f′(x)<0 の区間くかんで f は減少げんしょうする。定義域ていぎいきの内点ないてん c で f′(c)=0 となるか、f が c で微分不能びぶんふのうであるとき、c を臨界点りんかいてんcritical pointと呼よぶ。内点ないてん c で局所的きょくしょてきな極値きょくちを取とり、f が c で微分可能びぶんかのうならば、フェルマーの停留条件ていりゅうじょうけんFermat's stationary-point theoremにより f′(c)=0 である。ただし、f′(c)=0 は極値きょくちの十分条件じゅうぶんじょうけんではない。導関数どうかんすうの符号変化ふごうへんかまたは別べつの判定法はんていほうを確認かくにんする必要ひつようがある。

2.1極値きょくちの例れい

f(x)=x3-3x ならば、

f′(x)=3(x-1)(x+1)

である。f′ の符号ふごうは x=-1 で正せいから負ふへ、x=1 で負ふから正せいへ変化へんかする。したがって、x=-1 で極大値きょくだいちを取とり、x=1 で極小値きょくしょうちを取とる。

3累積量るいせきりょうと積分せきぶん

積分せきぶんは、区間くかんを細分さいぶんして局所的きょくしょてきな寄与きよを加算かさんし、その極限きょくげんを取とる操作そうさである。連続関数れんぞくかんすう f が [a,b] 上じょうで非負ひふならば、

∫abf(x)dx

は f のグラフと x 軸じくの間あいだの面積めんせきである。棒ぼうの線密度せんみつどを位置いちについて積分せきぶんすれば質量しつりょう、流量りゅうりょうを時間じかんについて積分せきぶんすれば総量そうりょうとなる。このとき、被積分関数ひせきぶんかんすうの単位たんいに積分変数せきぶんへんすうの単位たんいを乗じょうじると、累積量るいせきりょうの単位たんいを得える。

3.1関数かんすうの平均値へいきんち

a<b とし、f を [a,b] 上じょうの連続関数れんぞくかんすうとする。f の平均値へいきんちは、同おなじ総量そうりょうを与あたえる定数ていすう

favg=1b-a∫abf(x)dx

である。たとえば f(x)=x2 の [0,3] 上じょうの平均値へいきんちは

13∫03x2dx=3

となる。定積分ていせきぶんそのものは総量そうりょうであり、区間長くかんちょうで除じょした値あたいが平均値へいきんちである。

4総変化量そうへんかりょうと基本定理きほんていり

s を位置いち、v=s′ を速度そくどとする。v が [a,b] 上じょうで連続れんぞくならば、基本定理きほんていりにより

∫abv(t)dt=s(b)-s(a)

である。左辺さへんは瞬間変化率しゅんかんへんかりつの累積るいせき、右辺うへんは位置いちの総変化量そうへんかりょうである。

変位へんいと移動距離いどうきょりは区別くべつする。変位へんいは

∫abv(t)dt

であるが、移動距離いどうきょりは

∫ab|v(t)|dt

である。速度そくどが符号ふごうを変かえる場合ばあい、変位へんいでは逆向ぎゃくむきの移動いどうが相殺そうさいされるが、移動距離いどうきょりでは相殺そうさいされない。

4.1変位へんいと距離きょりの例れい

v(t)=t-1 を 0[PARSE ERROR: Undefined("Command(\"le\")")]t[PARSE ERROR: Undefined("Command(\"le\")")]2 で考かんがえる。変位へんいは

∫02(t-1)dt=0

である。一方いっぽう、t=1 で速度そくどの符号ふごうが変化へんかするため、移動距離いどうきょりは

∫01(1-t)dt+∫12(t-1)dt=1

となる。

5選択基準せんたくきじゅん

要求ようきゅうされる量りょう主おもな方法ほうほう確認事項かくにんじこう
接線せっせん、瞬間速度しゅんかんそくど、局所近似きょくしょきんじ微分びぶん評価点ひょうかてんで微分可能びぶんかのうか
増減ぞうげん導関数どうかんすうの符号ふごう各部分区間かくぶぶんくかんで f′ の符号ふごうは何なにか
局所的きょくしょてきな極値きょくち臨界点りんかいてんの前後ぜんごの増減ぞうげんf′ の符号ふごうが変化へんかするか
面積めんせき、質量しつりょう、総量そうりょう積分せきぶん局所的きょくしょてきな寄与きよと積分区間せきぶんくかんは何なにか
平均値へいきんち積分せきぶんを区間長くかんちょうで除じょするa<b か
総変化量そうへんかりょう導関数どうかんすうの積分せきぶん基本定理きほんていりの仮定かていが成立せいりつするか
移動距離いどうきょり速度そくどの絶対値ぜったいちの積分せきぶん速度そくどの符号ふごうが変化へんかする点てんで区間くかんを分割ぶんかつしたか

6適用上てきようじょうの注意ちゅうい

f′(c)=0 だけでは c が極値きょくちであると結論けつろんできない。また、f が微分不能びぶんふのうな点てんや定義域ていぎいきの端点たんてんも極値きょくちの候補こうほとなりうる。f が閉区間へいくかん [a,b] 上じょうで連続れんぞくであるとき、最大値さいだいちまたは最小値さいしょうちを求もとめるには、内部ないぶの臨界点りんかいてんと両端点りょうたんてんにおける関数値かんすうちを比較ひかくする。

幾何学的面積きかがくてきめんせきを求もとめる場合ばあいは、上下関係じょうげかんけいまたは関数かんすうの符号ふごうが変化へんかする点てんで区間くかんを分割ぶんかつする。定積分ていせきぶんは符号付ふごうつき累積量るいせきりょうであり、常つねに幾何学的面積きかがくてきめんせきを表あらわすわけではない。

7演習えんしゅう

次つぎの演習えんしゅうは、本講義ほんこうぎの一変数微積分いちへんすうびせきぶんに加くわえて、偏微分へんびぶんと重積分じゅうせきぶん、微分方程式びぶんほうていしきを含ふくむ。対応たいおうする後続講義こうぞくこうぎを履修後りしゅうごに使用しようすること。

data/exercise/math/calculus/advanced-calculus-applications.exercise.n.md

8関連資料かんれんしりょう

data/lecture/math/calculus/differentiation-rules-and-computation.lecture.n.md data/lecture/math/calculus/local-linear-approximation-and-differentiability.lecture.n.md data/lecture/math/calculus/integration-rules-and-computation.lecture.n.md data/lecture/math/calculus/fundamental-theorem-of-calculus.lecture.n.md
raw .n.md をコピー
loc をコピー (filepath:line ~ line)
copy share link
copy encoded share link
path をコピー
copy share link
copy encoded share link
copy share link
copy encoded share link
タブを全て閉じる