ページ内リンク：
▷絶対値で表した関数を含む合成関数の微分
▷合成関数の全ての変数の範囲の微分が合成関数の微分の公式では求められない例
以下の合成関数の微分の公式があります。
この式で、左辺のｙは、
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）という合成関数をあらわしています。
また、右辺の導関数（ｄｙ／ｄｔ）のｙは、
ｙ＝ｆ（ｔ）という関数をあらわし、
公式の左辺の関数ｙ＝ｈ（ｘ）とは異なる関数をあらわしています。
すなわち、この合成関数の微分の公式は、
関数ｆ（ｔ）とｇ（ｘ）があり、
その関数の合成関数の、
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）
という関数を作った場合に、
ｆ’（ｔ）＝（ｄｙ／ｄｔ）と、
ｇ’（ｘ）＝（ｄｔ／ｄｘ）との積が、
ｈ’（ｘ）＝（ｄｙ／ ｄｘ）になる、
という公式です。
どの関数ｆ（ｔ）とｇ（ｘ）についても、公式の成立条件が満足されれば、公式が成り立つ、という公式です。
この公式には一定の縛り（成立条件）があります。それは、「（ｄｙ／ｄｔ）＝ｆ’（ｔ）の有限の微分係数が存在し、（ｄｔ／ｄｘ）＝ｇ’（ｘ）の有限の値の微分係数が存在する（微分可能）」という前提条件です。
▷絶対値で表した関数を含む合成関数の微分
▷合成関数の全ての変数の範囲の微分が合成関数の微分の公式では求められない例
以下の合成関数の微分の公式があります。
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）という合成関数をあらわしています。
また、右辺の導関数（ｄｙ／ｄｔ）のｙは、
ｙ＝ｆ（ｔ）という関数をあらわし、
公式の左辺の関数ｙ＝ｈ（ｘ）とは異なる関数をあらわしています。
すなわち、この合成関数の微分の公式は、
関数ｆ（ｔ）とｇ（ｘ）があり、
その関数の合成関数の、
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）
という関数を作った場合に、
ｆ’（ｔ）＝（ｄｙ／ｄｔ）と、
ｇ’（ｘ）＝（ｄｔ／ｄｘ）との積が、
ｈ’（ｘ）＝（ｄｙ／ ｄｘ）になる、
という公式です。
どの関数ｆ（ｔ）とｇ（ｘ）についても、公式の成立条件が満足されれば、公式が成り立つ、という公式です。
この公式には一定の縛り（成立条件）があります。それは、「（ｄｙ／ｄｔ）＝ｆ’（ｔ）の有限の微分係数が存在し、（ｄｔ／ｄｘ）＝ｇ’（ｘ）の有限の値の微分係数が存在する（微分可能）」という前提条件です。
「関数が微分可能（有限の値の確定した値の微分係数が存在する）」という意味は、
「関数が、その変数のその値に限って、その変数で微分可能であれば良く、その変数のその他の値での関数の微分可能性は関係しない」
という意味です。
《絶対値で表した関数を含む合成関数の微分》
以下の合成関数 f(x) を微分します。
この合成関数は、絶対値記号まで関数と見て絶対値記号をつけたまま微分して掛け合わせます。
（合成関数の微分おわり）
《合成関数の全ての変数の範囲の微分が合成関数の微分の公式では求められない例》
関数の微分が存在しない例として、以下の２つの図の関数：
ｙ＝ｆ（ｔ）
ｔ＝ｇ（ｘ）
の合成関数を使って、
合成関数の微分の公式の信頼性を調べてみます。
ｙ＝ｆ（ｔ）：
（図１）
ｔ＝ｇ（ｘ）：
（図２）
関数ｆ（ｔ）はｔ＝０でｔによる微分が存在しません。
そのため、ｔ≠０の場合だけに、合成関数の微分の公式を適用します。
ここで、この問題の意図が良く分かるようにするため、この合成関数の形を下図に描きます。
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）：
（図３）
この合成関数ｈ（ｘ）の、ｘがー１から１までの間の関数の値は良く分からないので、点線でごまかしました。
このあいまいさが気持ち悪い人のために、関数ｆ（ｔ）を以下のグラフのように定義することができます。
（図４）
この場合に、関数ｔ＝ｇ（ｘ）は図２の関数を用いると、合成関数ｈ（ｘ）＝f(g(x))は、以下の図５になります。
（図５）
以下で、関数ｆ（ｔ）の微分で、有限の確定した微分係数が存在する変数 ｔ の定義域である、
ｔ≠０
の場合だけに合成関数の微分の公式を適用します。
先ず、ｔ＝ｇ（ｘ）≠０を満足する条件の１つの、
ｘ＜－１の場合を計算します。
次に、ｔ＝ｇ（ｘ）≠０を満足する残りの条件の、
ｘ＞１の場合を計算します。
以上で得た結果をまとめると、
関数ｙ＝ｆ（ｔ）については、（ｄｙ／ｄｔ）＝ｆ’（ｔ）の有限の微分係数が存在するｔの範囲は、ｔ≠０である範囲である。
関数ｔ＝ｇ（ｘ）については、ｘのどの値でも有限の微分係数が存在するので問題無い。
制限された範囲であるｔ≠０を満足するｔ＝ｇ（ｘ）のｘの範囲は、
ｘ＜－１ ｏｒ ｘ＞１
である。
そのｘの範囲内で、
合成関数の微分を計算すると、以下の結果が得られた。
（計算おわり）
（補足）
ここで、合成関数ｙ＝ｈ（ｘ）が図５の形になる場合に、
－１＜ｘ＜１の間で
ｈ’（ｘ）＝０
になっています。
しかし、合成関数の微分の公式では、
－１＜ｘ＜１の間で
ｈ’（ｘ）＝０
となることを導き出すことができませんでした。
このことから、
合成関数の微分の公式では、０を０で割り算することになる部分で、合成関数の一部の微分係数が計算できないことがある、
ということがわかりました。
（補足２）
以上の調査の結果を見ると、
合成関数の微分の公式の縛り（成立条件）である
「ｙ＝ｆ（ｔ）の微分が存在し（確定した有限値になる）、
ｔ＝ｇ（ｘ）の微分が存在する（確定した有限値になる）」
という前提条件は、
「式を０で割り算する計算をしてはいけない」
という計算の縛りと同じ様な意味を持っていることがわかります。
すなわち、「微分可能」という前提条件は、
「０で割り算しない場合に限る」という前提条件 、
言いかえると、
「計算の違反が無い計算に限る」という前提条件、
を加えて微分の式を書くことだと考えます。
そういう「万能の条件」を正しく組み込んで計算するならば、どの様な計算もできてしまいます。
（その条件を正しく組み込まないでその計算をまねした計算は計算違反がある誤った計算になります）
その通りに、どの様な計算もできるのが、合成関数の微分の公式やその他の公式が成り立つ根拠だと考えます。
リンク：
高校数学の目次
「関数が、その変数のその値に限って、その変数で微分可能であれば良く、その変数のその他の値での関数の微分可能性は関係しない」
という意味です。
《絶対値で表した関数を含む合成関数の微分》
以下の合成関数 f(x) を微分します。
この合成関数は、絶対値記号まで関数と見て絶対値記号をつけたまま微分して掛け合わせます。
（合成関数の微分おわり）
《合成関数の全ての変数の範囲の微分が合成関数の微分の公式では求められない例》
関数の微分が存在しない例として、以下の２つの図の関数：
ｙ＝ｆ（ｔ）
ｔ＝ｇ（ｘ）
の合成関数を使って、
合成関数の微分の公式の信頼性を調べてみます。
ｙ＝ｆ（ｔ）：
ｔ＝ｇ（ｘ）：
関数ｆ（ｔ）はｔ＝０でｔによる微分が存在しません。
そのため、ｔ≠０の場合だけに、合成関数の微分の公式を適用します。
ここで、この問題の意図が良く分かるようにするため、この合成関数の形を下図に描きます。
ｙ＝ｆ（ｇ（ｘ））＝ｈ（ｘ）：
この合成関数ｈ（ｘ）の、ｘがー１から１までの間の関数の値は良く分からないので、点線でごまかしました。
このあいまいさが気持ち悪い人のために、関数ｆ（ｔ）を以下のグラフのように定義することができます。
この場合に、関数ｔ＝ｇ（ｘ）は図２の関数を用いると、合成関数ｈ（ｘ）＝f(g(x))は、以下の図５になります。
以下で、関数ｆ（ｔ）の微分で、有限の確定した微分係数が存在する変数 ｔ の定義域である、
ｔ≠０
の場合だけに合成関数の微分の公式を適用します。
ｘ＜－１の場合を計算します。
ｘ＞１の場合を計算します。
関数ｙ＝ｆ（ｔ）については、（ｄｙ／ｄｔ）＝ｆ’（ｔ）の有限の微分係数が存在するｔの範囲は、ｔ≠０である範囲である。
関数ｔ＝ｇ（ｘ）については、ｘのどの値でも有限の微分係数が存在するので問題無い。
制限された範囲であるｔ≠０を満足するｔ＝ｇ（ｘ）のｘの範囲は、
ｘ＜－１ ｏｒ ｘ＞１
である。
そのｘの範囲内で、
合成関数の微分を計算すると、以下の結果が得られた。
（補足）
ここで、合成関数ｙ＝ｈ（ｘ）が図５の形になる場合に、
－１＜ｘ＜１の間で
ｈ’（ｘ）＝０
になっています。
しかし、合成関数の微分の公式では、
－１＜ｘ＜１の間で
ｈ’（ｘ）＝０
となることを導き出すことができませんでした。
このことから、
合成関数の微分の公式では、０を０で割り算することになる部分で、合成関数の一部の微分係数が計算できないことがある、
ということがわかりました。
（補足２）
以上の調査の結果を見ると、
合成関数の微分の公式の縛り（成立条件）である
「ｙ＝ｆ（ｔ）の微分が存在し（確定した有限値になる）、
ｔ＝ｇ（ｘ）の微分が存在する（確定した有限値になる）」
という前提条件は、
「式を０で割り算する計算をしてはいけない」
という計算の縛りと同じ様な意味を持っていることがわかります。
すなわち、「微分可能」という前提条件は、
「０で割り算しない場合に限る」という前提条件 、
言いかえると、
「計算の違反が無い計算に限る」という前提条件、
を加えて微分の式を書くことだと考えます。
そういう「万能の条件」を正しく組み込んで計算するならば、どの様な計算もできてしまいます。
（その条件を正しく組み込まないでその計算をまねした計算は計算違反がある誤った計算になります）
その通りに、どの様な計算もできるのが、合成関数の微分の公式やその他の公式が成り立つ根拠だと考えます。
リンク：
高校数学の目次
0 件のコメント:
コメントを投稿