オイラーの連鎖式 のバックアップ(No.14) |
凌宮読取術:任意の2変数関数について、オイラーの連鎖式と呼ばれる恒等式が成立する*1。
問題は、などを約分してにしたどころで、そんな期待を裏切るである。 しかし、それだけで「偏微分は約分できない」と諦めるのは、まだ早計である。 凌宮数学では、オイラーの連鎖式は以下のように読み替える: ここで、は全て係数であり、約分も符号も小学校同様に扱って良い。 基礎知識オイラーの連鎖式の符号は、「」を直感的に捉えられれば、ことが済む。 陽関数と陰関数一般に、3つの変数、、の関係を記述するには、以下の2つの書き方が可能である。
陽関数では、変数を独立変数と呼ばれる既知の変数と従属変数と呼ばれる未知の変数に分け、 陰関数では、全ての変数を平等に扱い、それらの間にある関係を与える。 任意の2変数の陽関数に対し、 微分係数としての微分微分の捉え方の一つに、微分係数という考え方がある。
1変数関数と2変数関数で微分記号がとで異なるのは歴史的理由で、本質ではない。微分係数という考え方は、偏微分と相性が良く、1変数は多変数の特殊例として全てに統一しても問題ない*4。 ポイント2:関数の関数値と従属変数は同値関係ではあるが、等価ではない。関数には出力となる関数値の他に、入力となる独立変数の情報も持つが、従属変数には値しかない。 例えば、陽関数の例では、やが陽微分になる。 2変数関数は一般的にで一次近似できる。 陽関数の文脈では、の一次近似がになり、 一方で、陰微分はを変形して求める必要がある。 重要なので、強調しながら纏めると、 *4
逆に全てに統一するのは、同じく歴史的理由により簡単には行かない。
*5 偏微分の定義からを定数と見なすため、陽関数でも陰関数と同じになる。 *6 この「」の付く・付かない性質が、陰微分・陽微分と名付けた本来の理由である。 陰関数のオイラーの連鎖式オイラーの連鎖式自体は陽関数でも陰関数でも成り立つ。 オイラーの連鎖式は3つの変数に関する公式であるため、陰関数で考える場合は3変数関数で考える必要がある:
この時点で、オイラーの連鎖式に登場する3つの微分が全て陰微分で、掛け合わせると 具体的にオイラーの連鎖式を1次近似の係数で読み替えると以下のようになる。 まず、式1を1次近似すると: 次に、真面目に計算しても良いが、以下のように対応する係数を逆さに書いて、「」を付ければ完成: このように作るオイラーの連鎖式に現われる3つの微分を表に纏めると:
したがって、陰関数のオイラーの連鎖式は以下のように読み替えできる: 陽関数のオイラーの連鎖式(参考)陰関数で考えた方が例外が少なくて楽だが、 オイラーの連鎖式は3つの変数についての公式であるが、陽関数で考える場合は1つを従属変数にするため、2変数関数で済む:
この時点で、オイラーの連鎖式に登場する3つの微分の内、を含む2つが陽微分で、残り1つが陰微分であるのが分かる。 具体的にオイラーの連鎖式を1次近似の係数で読み替えると以下のようになる。 まず、式3を1次近似すると: 次は計算になるが、陽関数のため3パターンに増える:
以上の結果を表に纏めると:
したがって、陽関数のオイラーの連鎖式は以下のように読み替えできる: |