凌宮読取術：$$ \int_{x_a}^{x_b} \!\!\!\! f(x) dx = F(x_b) - F(x_a) $$ ⇒ $$ \int_{x_a}^{x_b} \!\! \ddd{F}{x} dx $$$$ = $$$$ \int_{F_a}^{F_b} \!\!\!\! dF $$$$ = $$$$ \gDl F $$ EditToHeaderToFooter

微分積分学には、「微分積分学の基本公式」と呼ばれる微分と積分を結ぶ関係式がある。

$$ \int_{x_a}^{x_b} \!\! f(x) dx $$$$ = $$$$ F(x_b) $$$$ - $$$$ F(x_a) $$　　　ただし、$$ f(x) $$$$ = $$$$ \ddd{F(x)}{x} $$

これは、歴史的に別々に発展した微分法と区分求積法を繋げた超重要定理の一部*1である。
また、現在のベクトル解析においては、重要な置換積分公式*2*3*4が全てこの公式の拡張と言える。

問題は、図形と密接に繋がっている公式にも関わらず、図による直観的な説明は見掛けない。
微分積分学の基本公式では、微分の結果に対して積分を行うため、
一般的に教えられる「微分は傾き、積分は面積」という考え方では両立せず、１枚の絵に纏まらない。

これに対し、凌宮数学では、線積分に基づき、積分の解釈を面積ではなく線長とし、
微分積分の基本公式を１枚の図に纏めて、微積関係を直観的に読み取る：

図１： 微積同図の基本
Fx微分.png　$$ \int_{x_a}^{x_b} \!\! f(x) dx $$$$ = $$$$ F(x_b) $$$$ - $$$$ F(x_a) $$
　　　⇒ $$ \int_{x_a}^{x_b} \!\! \ddd{F}{x} \, dx \, $$$$ = $$$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$
　　　⇒ $$ \sum_{i} \! \ddd{F_i}{x_i} dx_i $$$$ = $$$$ \sum_{i} dF_i $$$$ = $$$$ \gDl F $$　　
*1 Wikipedia/微分積分学の基本定理 http://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E7%A9%8D%E5%88%86%E5%AD%A6%E3%81%AE%E5%9F%BA%E6%9C%AC%E5%AE%9A%E7%90%86
*2 勾配の線積分：$$ \int_{\:a}^{\:b}\! $$$$ \:\nabla F $$$$ \sx $$$$ d\:r $$$$ = $$$$ F(\:b) $$$$ - $$$$ F(\:a) $$ ── 微分積分の基本公式のベクトル版。なぜか慣用名は無い。
*3 回転の面積分：$$ \int_{S}\! $$$$ \:\nabla \!\vx\! \:F $$$$ \sx d\:S $$$$ = $$$$ \int_{R} $$$$ \:F $$$$ \sx $$$$ d\:r $$ ── 面積分と線積分を繋ぐ置換積分公式。ストークスの定理。
*4 発散の体積分：$$ \int_{V}\! $$$$ \:\nabla $$$$ \sx $$$$ \:F $$$$ \,\, dV $$$$ = $$$$ \int_{S} $$$$ \:F $$$$ \sx $$$$ d\:S $$ ── 体積分と面積分を繋ぐ置換積分公式。ガウスの定理。

変数の微分積分 ── 関数でない、もう一種類の微分積分 EditToHeaderToFooter

独立変数の微分積分 EditToHeaderToFooter

第１段階では、問題を簡単にするべく、１つの変数$$ x $$から始める。
今の$$ x $$は、他からの影響を一切受けない、自由な変数である。

x差.png

まずは、$$ x $$軸と軸上に２点$$ x_a $$と$$ x_b $$がある場合を考える。
２点によって$$ x_a $$$$ \le $$$$ x $$$$ \le $$$$ x_b $$になる区間$$ x_a::x_b $$*5が区切られる。
区間$$ x_a::x_b $$の長さは、２点の差$$ \Delta x $$$$ = $$$$ x_b $$$$ - $$$$ x_a $$で与えられる。

x差分.png

つぎに、区間$$ x_a::x_b $$を$$ N $$分割して、分割点を$$ x_a $$から順に$$ x_0 $$、$$ x_1 $$…$$ x_N $$と名付ける。
小さくなるが、$$ \gDl x $$と同様に、区間$$ x_{i-1}::x_i $$の長さは端点の差分$$ \gdl x_i $$$$ = $$$$ x_{i} $$$$ - $$$$ x_{i-1} $$で与えられる*6。
差分と呼ぶが、$$ x_i $$が数列っぽく、$$ \gdl x_i $$が小さいというだけで、差$$ \gDl x $$とは本質的に何も変わらない。

ポイントは、区間を単純に分割しているため、$$ \gdl x_i $$を繋ぎ合わせば必ず$$ \gDl x $$に戻るという関係。

式１：　$$ \sum_{i=1}^N \delta x_i $$$$ = $$$$ \gDl x $$

x微分.png

続けて、分割数$$ N $$を無限に増やしてみる。
$$ N $$が$$ \infty $$に近づくため、$$ \gdl x_i $$は$$ 0 $$に近づく。
この$$ 0 $$に近い微小量という意味を込めて$$ \gdl x_i $$を$$ dx_i $$と表記し、$$ x $$の微分*7と呼ぶ。

一方で、式１は分割数$$ N $$に無関係に成り立つため、無限に分割ても同様の式が成り立つ：

式２：　$$ \sum_{i=1}^{\infty} $$$$ dx_i $$$$ = $$$$ \gDl x $$

最後に、左辺の$$ \sum_{i=1}^{\infty} $$$$ dx_i $$は微小量$$ dx_i $$の総和であるため、$$ \int_{i=1}^{\infty} \!\! dx_i $$に書き換えできる*8
今は$$ dx_1 $$の下端が$$ x_a $$、$$ dx_{\infty} $$の上端が$$ x_b $$であるため、$$ \int_{i=1}^{\infty} \!\! dx_i $$$$ = $$$$ \int_{x_0}^{x_\infty} \!\!\!\!\!\! dx_i $$$$ = $$$$ \int_{x_a}^{x_b} \!\! dx_i $$は全て同じ意味である。
区間の端点で表せたため、範囲の指定に使っていた$$ {}_i $$は今や不要となる*9：

式３：　$$ \int_{x_a}^{x_b} \!\! dx $$$$ = $$$$ \gDl x $$

*5 $$ a::b $$は凌宮数学の閉区間表記である。
一般的に閉区間は括弧表記$$ [a,b] $$で表記されるが、優先順位の括弧と紛らわしいため凌宮数学では用いない。
*6 通常は$$ x_i::x_{i+1} $$を$$ \gdl x_i $$と対応させるように、下端の添字を揃える場合が多い。
今は、$$ N $$$$ - $$$$ 1 $$や$$ \infty $$$$ - $$$$ 1 $$になる煩雑を避けるため、上端に揃えた。そのため、総和の下端は1から始る。
*7 $$ \ddd{f}{x} $$のような一般的な微分とは全く別物である。区別のため「全微分」で呼ばれる場合がある。
*8 「微小量の総和」というのが$$ \int $$の本来の意味である。
*9 その代わり、$$ dx $$と書くだけで、各点における$$ dx_i $$の意味合いを持つ。

従属変数の微分積分 EditToHeaderToFooter

第２段階として、$$ F(x) $$を想定した、従属変数$$ F $$を考える。
従属変数も変数である以上、独立変数$$ x $$と同じように考えられる。
以下は、従属変数らしく縦軸で描くが、$$ x $$の纏めも兼ねて要点に絞る。

F差.pngF差分.pngF微分.png

まずは、$$ F $$軸と２点$$ F_a $$、$$ F_b $$があれば、長さ$$ \gDl F $$の区間$$ F_a::F_b $$が１つ区切られる。
つぎに、$$ F_a::F_b $$を分割すれば、長さ$$ \gdl F_i $$の区間が大量に作られ、繋げば$$ \gDl F $$に戻る。

式４：$$ \sum_{i=1}^{N} $$$$ \gdl F_i $$$$ = $$$$ \gDl F $$

続けて、無限に分割すれば、長さ$$ dF_i $$の区間が無限に作られ、繋げばやはり$$ \gDl F $$に戻る。

式５：$$ \sum_{i=1}^{\infty} $$$$ dF_i $$$$ = $$$$ \gDl F $$

最後に、$$ \sum_{i=1}^{\infty} dF_i $$$$ = $$$$ \int_{i=1}^{\infty} \!\!\!\! dF_i $$$$ = $$$$ \int_{F_0}^{F_\infty} \!\!\!\!\!\! dF_i $$$$ = $$$$ \int_{F_a}^{F_b} \!\! dF $$は、全て同じ意味であり、積分らしく〆て：

式６：　$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$

纏めると、$$ dx $$や$$ dF $$などの全微分は区間の無限分割、対する積分は微小区間の足し合わせ。
微分積分学の基本公式の１つ目の読み方は：

$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$： 細かく切っても、足したら戻る

「独立変数の微分」と「従属変数の微分」の関係 EditToHeaderToFooter

第３段階として、$$ F $$と$$ x $$の関係を考える。
ここに来て初めて２つの変数が出揃うので、横軸$$ x $$、縦軸$$ F $$の見慣れた２次元グラフが登場する。
手口はこれまで同様、２点の場合、適当に分割した場合、無限に分割した場合を順に進める。

Fx差.pngFx差分.pngFx微分.png

まずは、$$ x $$軸と２点$$ x_a $$と$$ x_b $$、直交する$$ F $$軸と２点$$ F_a $$$$ = $$$$ F(x_a) $$、$$ F_b $$$$ = $$$$ F(x_b) $$について考える。
軸上に２点があれば、長さ$$ \gDl x $$の区間$$ x_a::x_b $$と長さ$$ \gDl F $$の区間$$ F_a::F_b $$が区切られる。
２つの差$$ \gDl x $$と$$ \gDl F $$の関係を無理やり式で表すと*10*11*12：

式７：　$$ \gDl F $$$$ = $$$$ \ffd{\gDl F}{\gDl x} $$$$ \gDl x $$

つぎに、$$ x_a::x_b $$を分割し、$$ F_i $$$$ = $$$$ F(x_i) $$の関係を保ちながら$$ F_a::F_b $$も分割する。
対応する２つの差分$$ \gdl x_i $$と$$ \gdl F_i $$に着目すると、式７の差と全く同じ関係が成り立つ：

式８：　$$ \gdl F_i $$$$ = $$$$ \ffd{\gdl F_i}{\gdl x_i} $$$$ \gdl x_i $$

続けて、$$ x_a::x_b $$を無限に分割する。
$$ \gdl x_i $$と$$ \gdl F_i $$が小さくなるだけで何も変わらないため、式８の差分と全く同じ関係が成り立つ：

式９：　$$ dF_i $$$$ = $$$$ \ddd{F_i}{x_i} $$$$ dx_i $$

最後に、対応していることが分かれば良いので、添字$$ {}_i $$を省けば：

式10：　$$ dF $$$$ = $$$$ \ddd{F}{x} $$$$ dx $$

纏めると、$$ dx $$や$$ dF $$などの全微分の乗算と除算は差分量に同じ。微分積分学の基本公式の２つ目の読み方は：

$$ dF $$$$ = $$$$ \ddd{F}{x} $$$$ dx $$： 割って掛ければ元のまま

*10 一般に、$$ \gDl F $$$$ \neq $$$$ F(\gDl x) $$であることに注意。
*11 $$ x $$も$$ F $$の関係も具体的に分からない場合、$$ \gDl F $$$$ = $$$$ \gDl F(\gDl x) $$と関数記号で書くは王道だが、強引に恒等式で書く手法もある。
*12 恒等式も$$ \gDl F $$$$ = $$$$ \gDl F $$$$ - $$$$ \gDl x $$$$ + $$$$ \gDl x $$など色々作れて、除算と乗算を選ぶ理由は特に無いが、除算と乗算を選べば微分と積分に繋がる。

微分積分の基本公式 EditToHeaderToFooter

これまで、「差$$ \gDl $$」→「差分$$ \gdl $$」→「微分$$ d $$」と区間を小さくする手順を繰り返してきた。
それぞれで得た式を並べば、区間を小さくしただけで、他は何も変わらないことは直観で分かる。

差差分微分
Fx差.pngFx差分.pngFx微分.png
 差と和商と積微分・積分の基本公式
差$$ \iro[hi]{\sum} $$$$ \gDl F $$$$ = $$$$ \gDl F $$$$ \gDl F $$$$ = $$$$ \ffd{\gDl F}{\gDl x} $$$$ \gDl x $$$$ \iro[hi]{\sum} $$$$ \ffd{\gDl F}{\gDl x} $$$$ \gDl x $$$$ = $$$$ \iro[hi]{\sum} $$$$ \gDl F $$$$ = $$$$ \gDl F $$
差分$$ \sum_{i=1}^{N} $$$$ \gdl F_i $$$$ = $$$$ \gDl F $$$$ \gdl F_i $$$$ = $$$$ \ffd{\gdl F_i}{\gdl x_i} $$$$ \gdl x_i $$$$ \sum_{i=1}^{N} $$$$ \ffd{\gdl F}{\gdl x_i} $$$$ \gdl x $$$$ = $$$$ \sum_{i=1}^{N} $$$$ \gdl F_i $$$$ = $$$$ \gDl F $$
微分$$ \sum_{i=1}^{\infty} $$$$ dF_i $$$$ = $$$$ \gDl F $$$$ dF_i $$$$ = $$$$ \ddd{F_i}{x_i} $$$$ dx_i $$$$ \sum_{i=1}^{\infty} $$$$ \ddd{F_i}{x_i} $$$$ dx_i $$$$ = $$$$ \sum_{i=1}^{\infty} $$$$ dF_i $$$$ = $$$$ \gDl F $$
$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$$$ dF $$$$ = $$$$ \ddd{F}{x} $$$$ dx $$$$ \int_{x_a}^{x_b} $$$$ \ddd{F}{x} $$$$ dx $$$$ = $$$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$

また、微分積分学の基本公式の一般的な説明では「近似誤差」と「極限で$$ 0 $$に収束する概念」が必須である*13*14が、
上記の区間を狭める各過程において、差と和、商と積の式は常に厳密に一致していることに注意する必要がある。
これは差分商を上手く設定しているためで、通常の説明で用いられる微分ありきの差分商とは条件が異なっている。

*13 例： 物理のかぎしっぽ/物理数学/和と積分の関係（上の話と結構似ている） http://hooktail.sub.jp/mathInPhys/riemannIntegra/
*14 例： 青空学園数学課/数学対話/基礎分野/定積分の定義/微積分の基本定理 http://aozoragakuen.sakura.ne.jp/taiwa/taiwaNch01/node55.html

まとめ・つなぎ EditToHeaderToFooter

これまで、微分積分の基本公式を直観的に理解するため、全微分と全積分に基づく一連の図を描いた。
これらの図では、差→差分→微分と変化させながら、基本公式を不変の関係として直観的に捉えられる。

微分積分の基本公式は、ベクトル解析の分野で大きな影響力を持っている。
この考え方は、線積分、面積分、体積分の間にある置換積分公式の図による直観的理解に繋ぐ。

補足： ２種類の微分積分 EditToHeaderToFooter

微分積分の直観的理解のため、変数の微分$$ dF $$とその積分$$ \int_{F_a}^{F_b} dF $$について考えた。
$$ dF $$は全微分とも呼ばれ、偏微分など*15と呼ばれる微分とは異なる*16*17*18*19。
$$ \int_{F_a}^{F_b} dF $$は被積分関数が$$ 1 $$の積分として括られるが、凌宮数学では微分に対応させ全積分と呼び分ける。

系統名（仮案）全微分偏微分全積分偏積分
変数の微分関数の微分変数の積分関数の積分
慣用名略称微分微分積分
１変数全微分常微分定積分
多変数偏微分線積分
表記例$$ dF $$、$$ dx $$$$ \ddd{F}{x} $$$$ \int_{F_a}^{F_b} dF $$、$$ \int_{x_a}^{x_b} dx $$$$ \int_{x_a}^{x_b} f\,dx $$

全微分は特定の変数だけの微小量であり、全積分はその逆演算として、微小量の総和である差を表す。
偏微分は関数と変数の関係であり、偏積分はその逆演算として、やはり関数と変数の関係を表す。
また、偏微分は２つの全微分の商とも見なせて、この解釈では偏積分は$$ \int_{x_a}^{x_b} \!\! \int_{0}^{f} df\,dx $$として２つの全微分の積と見なせる。

微分積分の基本公式$$ \int_{x_a}^{x_b} $$$$ \ddd{F}{x} $$$$ dx $$$$ = $$$$ \int_{F_a}^{F_b} \!\! dF $$$$ = $$$$ \gDl F $$では、
$$ \int_{x_a}^{x_b} $$$$ \ddd{F}{x} $$$$ dx $$が導関数$$ \ddd{F}{x} $$と変数$$ dx $$の偏積分、$$ \int_{F_a}^{F_b} \!\! dF $$が変数$$ dF $$の全積分と見なせるため、
微分積分の基本公式は偏積分と全積分を結ぶ変換公式であるとも言える。

※　日本語の「微分」も「全微分」も複数の概念を表している*20。
英語でも多少の揺れはあるが、$$ \iro[ak]{dF} $$の形の微分を「differential」と、$$ \iro[ak]{\ddd{F}{x}} $$の形の微分を「derivative」と呼び分けている*21*22*23。
漢字を使う中国語でも結構の揺れはあるが、$$ \iro[ak]{dF} $$の形の微分を「微分」と、$$ \iro[ak]{\ddd{F}{x}} $$の形の微分を「導数」と呼び分けている。
現時点で「全微分」と「偏微分」で微分・積分対象の有無の違いを表すのは不適切と認識している*24*25。

【追記】「全導関数」の用例*26が見つかった。「全導関数・偏導関数」vs「全微分・偏微分」の使い分けが既に存在するなら、そのまま使うのもアリかと。その場合、積分の方は「全原関数・偏原関数」vs「全積分・偏積分」と呼べば対応関係を表せる。

*15 他に、常微分、微分係数、導関数、微分商とも呼ばれる。
*16 EMANの物理学/解析力学/全微分： 偏微分 vs 全微分 vs 常微分 http://homepage2.nifty.com/eman/analytic/total_dif.html
*17 Wikipedia/微分法： 微分係数や導関数と微分 http://ja.wikipedia.org/wiki/%E5%BE%AE%E5%88%86%E6%B3%95
*18 Wikipedia/偏微分/全微分： 全微分と微分 http://ja.wikipedia.org/wiki/%E5%85%A8%E5%BE%AE%E5%88%86#.E5.85.A8.E5.BE.AE.E5.88.86
*19 ブラックショールズのモデルを導出への道しるべ／微分積分学／導関数： http://mathematical.jp/black_scholes/derivative.html
*20 物理のかぎしっぽ/掲示板：「微分」の混用 http://hooktail.maxwell.jp/bbslog/24837.html
*21 芝浦工業大学/.../微分積分学入門： 導関数(derivative,P62) vs 微分(differential, P66) http://next1.msi.sk.shibaura-it.ac.jp/MULTIMEDIA/calcpubpdf.pdf
*22 Simon Fraser University/.../経済学 Multivariable Calculus： differential vs derivative： http://www.sfu.ca/~wainwrig/Econ331/notes-partials1.pdf
*23 日本語の英語に誤訳が出るほどなので、要注意。
*24 第１仮案は、「変数の」か「関数の」かで接頭語を付ける方式。「変数の微分」は微分対象が「１」であるように、「変数」ではないので誤解を招く。
*25 第２仮案は、中国語に倣い「微分」と「導関数」に基づく方式。対応する積分の命名（「積分」と「積関数」？）との折り合いが付かない。
*26 西南学院大学/経済学部/../経済学/第８章 一般線型モデルの比較静学分析： http://www.seinan-gu.ac.jp/~shito/courses/pluginfile.php/479/mod_resource/content/0/lecnote/ch08-students.pdf

補足３：ベクトルとして見た、全微分・偏微分・不完全微分 EditToHeaderToFooter

全微分自体をベクトルとして扱う視点で、微分の用語をベクトルの用語と照らし合わせて分類すると以下の表になる。
ここで、具体例は以下の場合について考える：

  • 関数$$ F $$$$ = $$$$ F(x(t),y(t)) $$の微分$$ dF $$$$ = $$$$ \ppd{F}{x} $$$$ dx $$$$ + $$$$ \ppd{F}{y} $$$$ dy $$$$ = $$$$ \ddd{F}{t} $$$$ dt $$
  • ベクトル$$ \:F $$の成分分解$$ \:F $$$$ = $$$$ F_x $$$$ \:e_x $$$$ + $$$$ F_y $$$$ \:e_y $$$$ = $$$$ F_t \:e_t $$
  • 参考に勾配$$ \:\nabla F $$と方向微分係数$$ \;\nabla F $$$$ \sx $$$$ \:n $$を示す。
微分ベクトル
具体例用語具体例用語
$$ dF \fracstrut $$ 全微分完全微分微分$$ \:F $$ベクトルベクトル
$$ \ppd{F}{x} $$$$ dx $$  不完全微分 $$ F_x $$$$ \:e_x $$成分ベクトル成分
$$ \ppd{F}{x} $$ 偏微分   偏導関数 偏微分係数$$ F_x $$スカラ成分
成分		スカラ
$$ \ddd{F}{t} $$微分常微分 微分商導関数全導関数微分係数 $$ F_t $$
$$ \:\nabla F $$ 勾配   全導関数 全微分係数  
$$ \:\nabla F $$$$ \sx $$$$ \:n $$     方向導関数 方向微分係数
  • 【メモ】勾配を全微分係数と呼ぶ例はあったが、用法は要調査*27*28。
  • 【メモ】勾配を全導関数と呼ぶ例はあったが、用法は要調査*29。
    • 【メモ】常微分を全導関数と呼ぶ用法も要調査*30。
*27 http://www.math.nagoya-u.ac.jp/~shinichi/K109.pdf
*28 http://www.em.eng.chiba-u.jp/~takei/kougyousuugaku/7-2.pdf
*29 http://www.ipc.shimane-u.ac.jp/~kakizawa/lectures/c3_2014/lecture.pdf
*30 http://www.takachiho.ac.jp/~mkusumi/files/math_002.pdf
fileFx微分.png 102件 [詳細] fileFx差分.png 103件 [詳細] fileFx差.png 100件 [詳細] fileF微分.png 94件 [詳細] fileF差分.png 106件 [詳細] fileF差.png 100件 [詳細] filex微分.png 104件 [詳細] filex差分.png 102件 [詳細] filex差.png 104件 [詳細] fileF対xの微分商.png 2406件 [詳細] fileF対xの差分商.png 2383件 [詳細] fileF対xの差商.png 96件 [詳細] fileFの微分.png 94件 [詳細] fileFの差.png 84件 [詳細] fileFの差分.png 83件 [詳細] filexの微分.png 2391件 [詳細] filexの差分.png 2355件 [詳細] filexの差.png 2359件 [詳細]
リロード   新規 編集 凍結 差分 添付 複製 改名   数学 一覧 検索 最新 バックアップ リンク元   ヘルプ   最終更新のRSS
Last-modified: 2016.1013 (木) 0859.0500 (343d)