微分積分学における平均値の定理(へいきんちのていり、: mean-value theorem)または有限増分の定理 (: Théorème des accroissements finis[注釈 1]) は、実函数に対して有界な領域上の積分に関わる大域的な値を、微分によって定まる局所的な値として実現する点が領域内に存在することを主張する。平均値の定理にはいくつかバリエーションがあるが、単に 「平均値の定理」 と言った場合は、ラグランジュの平均値の定理と呼ばれる微分に関する平均値の定理のことを指す場合が多い。

[a, b] で連続かつ (a, b) で微分可能な関数に対して、平均変化率に等しい傾きを持つ接線を与える点 c が (a, b) 内に存在する。

平均値の定理は微積分学の他の定理の証明(例えば、テイラーの定理微分積分学の基本定理)にしばしば利用される、大変有用なものである。平均値の定理の証明自体にはロルの定理を用いる。その一方で、平均値の定理はそのまま多変数の関数に適用することはできない。また、もっと弱い条件の元でも同じ定理が成り立つ。その他種々の理由から、平均値の定理を使うこと避ける数学者もいる。多変数関数にも使えて、平均値の定理の代わりになるような定理として、有限増分不等式がある。これは存在型ではない。あるいは、積分を持ち込んで微積分学の基本定理で代用することもある。

歴史

編集

平均値の定理の特別の場合について、最古の記述はインドのケーララ学派Parameshvara (1370–1460) によるGovindasvāmiおよびバースカラ2世に関する解説の中に見られる[1]。制限された形の平均値定理は、1691年にミシェル・ロルが今日ロルの定理と呼ばれるものを、多項式に限って、微分積分学の手法を用いることなく示した。現代的な形の平均値定理を定式化し証明したのはオーギュスタン・ルイ・コーシーで、1823年のことである[2]

微分の平均値定理

編集

有限増分の定理

編集

有限増分の定理と呼ばれる定理にもいくつか異なるバージョンがあり、後で述べる平均値の定理の別名でしかない場合もある[3]

弱い有限増分の定理
函数 f は閉区間 [a, b] 上で有限かつ連続、開区間 (a, b) で微分可能であるとき、  とすれば   が成立する。
強い有限増分の定理
函数 f, g は閉区間 [a, b] 上で有限かつ連続、開区間 (a, b) で微分可能であるとき、区間 [a, b] 上で   となる定数 m, M が存在するならば   が成立する。

微分可能性に関しては、殆ど至る所微分可能や、殆ど至る所左側(resp. 右側)微分可能に緩めたもの、あるいは微分係数が∞となることを許す場合でも、適当な仮定のもとで成り立つ[4]。また、絶対値をとれば結論の不等式を   のような形に書くこともできる。[5]

ラグランジュの平均値の定理

編集

a < b とし、f(x) を閉区間 [a, b] で連続で、開区間 (a, b) で微分可能な関数とする。このとき開区間 (a, b) 上に、ある点 c が存在して

 

が成り立つ。これを微分に関するラグランジュの平均値の定理という。左辺は、グラフにおいて (a, f(a)), (b, f(b)) を結ぶ線分(曲線の弦と呼ぶ)の傾き(= 平均変化率)であるから、ラグランジュの平均値の定理は弦と平行な接線(= 瞬間の変化率)を持つ点が ab の間に存在するということがこの定理の主張である。つまり平均値の定理は存在型の定理である。

またラグランジュの平均値の定理は    とおくと、(ただし 0 < θ < 1 )

 

とも表せる。

証明

編集

  は定数)とすると、関数 が閉区間[a, b]で連続で、開区間(a, b)で微分可能ならば関数 も同様となる。

このとき、 となるならば、

 

だから、ロルの定理より となるc(a, b)が存在し、

 

∴  となるc(a, b)が存在する。

コーシーの平均値の定理

編集

ラグランジュの平均値の定理の拡張として、f(x), g(x) を閉区間 [a, b] で連続で、開区間 (a, b) で微分可能な関数、区間内の各点 x において g' (x) ≠ 0, g(b) − g(a) ≠ 0 であるならば

 

なる c ∈ (a, b) が存在する。これをフランスの数学者コーシーにちなんでコーシーの平均値の定理という。特に g(x) = x である時がラグランジュの平均値の定理である。仮定「区間内の各点 x に対し g' (x) ≠ 0」はもう少し弱めて「区間内の各点 xf' (x), g' (x) は同時に 0 にならない」としてよい。

ロピタルの定理

編集

コーシーの平均値の定理から極限をとると、系としてロピタルの定理(またはベルヌーイの定理)が導かれる。f(x), g(x) を f(a) = g(a) = 0 でありかつ a の十分近くで 0 にならない微分可能な関数とするとき、以下の定理を得る。

 

左の等号は f(a) = g(a) = 0 による。右の等号はコーシーの平均値の定理による。

積分の平均値定理

編集

関数 f(x) が有限の容積 vol(E) をもつ集合 E 上で有界かつ可積分ならば、f(x) の E における積分値を E において平均化した値は、 E における f(x) の上限 sup f(x) と下限 inf f(x) の間にある:

 

これを積分の第一平均値定理という。また、もう少し一般に拡張した形のものを指すこともあり、それは次のように述べられる。集合 E 上で f(x) が有界、g(x) が可積分ならば、積 f(x)g(x) は可積分であって、

 

となる定数 μ のうちに等式

 

を満たすものが存在する。ここで f(x) が連続ならば、E の点 ξ を適当に取れば μ = f(ξ) と書けることが中間値の定理から従う。特に一変数の場合を考えれば、有界な関数 f(x) が区間 [a, b] で連続かつ積分可能ならば

 

を満たす ξ が a < ξ < b の範囲に存在する。この式の左辺は、関数 f(x) が区間 [a, b] で掃く“符号付き”面積 ∫ab f(x) dx を区間の全長(図形の横の長さ)ba で割ったものである。したがってこの等式は、関数 f(x) が区間 [a, b] において掃く図形の平均の“符号付き”高さ(その符号付き面積を持つ図形を一定の符号付き高さに均したときの高さ)を実現する点が区間内に存在することを保証する。

第一平均値定理の系として、開区間 (a,b) において有界変動かつ連続な関数 F(x) と有界な単調関数 φ(x) に対して、φ(x) はルベーグ・スティルチェスの意味で F(x) に関して可積分であって、a < ξ < b

 

を満たすものが存在することが示せる。これを第二平均値定理という。特に、開区間 (a,b) において、f(x) が可積分で φ(x) が有界かつ単調な関数であるならば、f(x) の不定積分が第二平均値定理にいう F(x) の条件を満たしているので、この場合の第二平均値定理の等式は

 

の形に表せる。

注釈

編集
  1. ^ 英語転写すれば theorem of finite increments

出典

編集
  1. ^ J. J. O'Connor and E. F. Robertson (2000). Paramesvara, MacTutor History of Mathematics archive.
  2. ^ A. Besenyei, Historical development of the mean value theorem, http://abesenyei.web.elte.hu/publications/meanvalue.pdf
  3. ^ 高木『解析概論』改訂第三版 p. 48 「上記の公式[平均値の定理のこと]をフランス系では`有限増加の公式’ともいう.」
  4. ^ ブルバキ数学原論「実一変数関数」pp. 18–19, 定理 2.
  5. ^ 日本大百科全書『平均値の定理』 - コトバンク

関連項目

編集

外部リンク

編集
  • 平均値の定理』 - コトバンク
  • 平均値の定理を利用する不等式の証明 - 受験の月
  • {{{2}}}』 - 高校数学の美しい物語
  • {{{2}}}』 - 高校数学の美しい物語
  • The Mean Value Theorem in nLab
  • Weisstein, Eric W. "Gauss's Mean-Value Theorem". mathworld.wolfram.com (英語).
  • Weisstein, Eric W. "Mean-Value Theorem". mathworld.wolfram.com (英語).
  • complex mean-value theorem - PlanetMath.(英語)
  • mean-value theorem - PlanetMath.(英語)
  • Mean Value Theorem at ProofWiki
  • Kudryavtsev, L.D. (2001), “Finite-increments formula”, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Finite-increments_formula