ライプニッツの記法のソースを表示

'''ライプニッツの記法'''（ライプニッツのきほう, [[英語|英]]: Leibniz's notation）とは, [[数学]]における[[微分]]の記法のひとつである.
<math>\Delta x</math> と <math>\Delta y</math> がそれぞれ <math>x</math> と <math>y</math> の有限微小変化量を表すように, <math>x</math> と <math>y</math> の微小変化量すなわち[[無限小]]変化量を表す記号として <math>{\rm d}x</math> と <math>{\rm d}y</math> を用いる. 17世紀の[[ドイツ]]の[[哲学者]]・[[数学者]]である[[ゴットフリート・ライプニッツ]]により提唱された. <math>x</math> の[[関数 (数学)|関数]] <math>y</math> すなわち:
:<math>y=f(x),</math>
において, <math>x</math> に関する <math>y</math> の微分が,
:<math>\lim_{\Delta x\to 0}\frac{\Delta y}{\Delta x} = \lim_{\Delta x\to 0}\frac{f(x + \Delta x)-f(x)}{\Delta x},</math>
で表されるとき, それはライプニッツによると, <math>x</math> の微小変化量と <math>y</math> の微小変化量の比, すなわち:
:<math>\frac{{\rm d}y}{{\rm d}x}=f'(x),</math>
で表される. ここに, 右辺は <math>x</math> における微分 <math>f</math> の[[ラグランジュの記法]]である. 同様に, 現代の数学者はしばしば[[不定積分]]:
:<math>\int f(x)\,{\rm d}x,</math>
を次の極限で表す.
:<math>\lim_{\Delta x\to 0}\sum_{i} f(x_i)\,\Delta x.</math>

ここに, <math>\Delta x</math> は <math>x_i</math> の間隔であり, ライプニッツは無限小 <math>f(x)\,{\rm d}x</math> の総和（積分記号は総和を意味する）として表現した.

このライプニッツによる考え方の長所は, その[[次元解析]]との整合性である. 例えば, ライプニッツの記法では二階導関数は, 

:<math>\frac{{\rm d}^2 y}{{\rm d}x^2} =f''(x),</math>

であり, <math>\tfrac{y}{x^2}</math> と同じ次元を持つ{{Ref_label|A|a|none}}. また, 多くの微積分に関する公式の表現との整合性があることも特筆できる（[[#微分に関するライプニッツの記法]]）.

==歴史==
微分積分学に対する[[アイザック・ニュートン]]と[[ゴットフリート・ライプニッツ]]のアプローチは17世紀にさかのぼる. 19世紀には, 数学者たちは微分と積分に対してライプニッツの記法を表現上のものとして採用したことにより決着した. それは, [[無限小]]の考え方にはその開発過程で論理的な矛盾があることを見いだしていた. 19世紀の多くの数学者（[[オーギュスタン＝ルイ・コーシー]], [[カール・ワイエルシュトラス]]ら）は, 前項で示したように微分と積分を無限小ではなく極限を用いて厳密に扱う論理的な方法を発見した. それにも関わらず, ライプニッツの記法が現代でも一般的に用いられている. ライプニッツの記法が記法として扱われることが必須ではないが, 微分方程式の解法における[[変数分離]]の技術的方法の使用の際には他の記法よりも簡単に利用できるのである. 物理学的な応用では例えば, 時間あたりの距離（速度）である関数 <math>f(x)</math> においては <math>{\rm d}x</math> は時間であるので, <math>f(x)\,{\rm d}x</math> は距離, すなわち積分である. このようにライプニッツの記法は[[次元解析]]との調和性がある.

しかし, 1950〜1960年代では[[アブラハム・ロビンソン]]は微小量を記法的にも厳密に扱う方法を導入し, その観点から微分積分学を見直した. しかしロビンソンの方法はほとんどの数学者には採用されなかった. 一人の数学者{{仮リンク|ハワード・ジェローム・キースラー|en|Howard Jerome Keisler}}はロビンソンの考え方を支持し, 大学一年次用の微分積分学教科書『[[Elementary Calculus: An Infinitesimal Approach]]』<ref>Jerome Keisler: "first-year-calculus textbook": http://www.math.wisc.edu/~keisler/calc.html</ref>を執筆している.

==微分に関するライプニッツの記法==
[[微分]]に対するライプニッツの記法では関数 <math>f(x)</math> の導関数は次のように表現される.
:<math>\frac{{\rm d}\bigl(f(x)\bigr)}{{\rm d}x}.</math>

関数を表す[[従属変数]]により, 一例として,

:<math>y =f(x),</math>

のように表すとすれば, その導関数を次のように書き表すことができる:

:<math>\frac{{\rm d}y}{{\rm d}x}.</math>

[[ラグランジュの記法]]により, 次のように書き表すことができる.

:<math>\frac{{\rm d}\bigl(f(x)\bigr)}{{\rm d}x} = f'(x).</math>

[[ニュートンの記法]]を用いると, 次のように書き表すこともできる。

:<math>\frac{{\rm d}x}{{\rm d}t} = \dot{x}.</math>

高階導関数に対しては, 次のように表現する.

:<math>\frac{{\rm d}^n\bigl(f(x)\bigr)}{{\rm d}x^n} = \frac{{\rm d}^n y}{{\rm d}x^n}.</math>

それぞれ, <math>f(x)</math> あるいは <math>y</math> の <math>n</math> 階導関数である. 歴史的にはこのことは, 例えば3階導関数は, 

:<math>\dfrac{{\rm d} \left(\dfrac{{\rm d} \left( \tfrac{{\rm d} \left(f(x)\right)} {{\rm d}x}\right)} {{\rm d}x}\right)} {{\rm d}x},</math>

のように表したことに起因しており, これを簡易的に次のように表現することができる:

:<math>\left(\frac{{\rm d}}{{\rm d}x}\right)^3 \bigl(f(x)\bigr) = \frac{{\rm d}^3}{\left({\rm d}x\right)^3} \bigl(f(x)\bigr).</math>

現代ではそのカッコを省略し, 次のように記す.

:<math>\frac{{\rm d}^3}{{\rm d}x^3}\bigl(f(x)\bigr) =  \frac{{\rm d}^3 y}{{\rm d}x^3}.</math>

これによって, [[連鎖律]]（[[微分法#微分方程式|合成関数の微分法]]）あるいは[[積分法#積分不等式|置換積分法]]の表現では <math>{\rm d}</math> の項が約分されることになることよりその表現が簡単であり整合性がある.

:<math>\frac{{\rm d}y}{{\rm d}x} = \frac{{\rm d}y}{{\rm d}u_1} \cdot \frac{{\rm d}u_1}{{\rm d}u_2} \cdot \frac{{\rm d}u_2}{{\rm d}u_3}\cdots \frac{{\rm d}u_n}{{\rm d}x},</math>

:<math>\int y \, {\rm d}x = \int y \frac{{\rm d}x}{{\rm d}u} \, {\rm d}u.</math>

==関連項目==
*[[ニュートンの記法]]
*[[微分の記法]]
*[[積分記号]]
*[[ライプニッツとニュートンの微分積分学論争]] ([[:en:Leibniz and Newton calculus controversy|en]])

== 注釈 ==
'''a.''' {{Note_label|A|a|none}} <math>\frac{{\rm d}^2 y}{{\rm d} x^2}</math> は <math>\frac{{\rm d}{\frac{{\rm d}y}{{\rm d}x}}}{{\rm d}x}</math> の短縮形, すなわち「（<math>x</math> の一階無限小の二乗）分の（<math>y</math> の二階無限小）」である. 分母は <math>x</math> の二乗の無限小でも <math>x</math> の二階無限小でもない.

== 出典 ==
{{Reflist}}

{{DEFAULTSORT:らいふにつつのきほう}}
[[Category:微分積分学]]
[[Category:解析学]]
[[Category:数学の表記法]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]
[[Category:ゴットフリート・ライプニッツ]]