関数の微分とは? わかりやすく解説

関数の微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2018/10/04 10:12 UTC 版)

Jump to navigation Jump to search

微分積分学における関数の微分: differential of a function)とは、直感的には変数無限小増分に対する関数の増分であり、独立変数を変化させた時の関数値の変化の主要部英語版を表す。具体的には、実変数関数 y = f(x) が与えられた時、y微分 (differential) dy は次のように定義される。

x0 における関数 ƒ(x) の微分

現代的な微分学において、微分は以下の様に定義される[1][2]。一変数 x の関数 f(x) の微分 (differential) は次の式で与えられる2つの独立実変数 xΔx の関数 df である:

引数の一方あるいは両方を省いて、df(x) や単に df とも書かれる。y = f(x) であれば、微分はまた dy とも書かれる。dx(x, Δx) = Δx であるから、dx = Δx と書くのが慣習であり、次の等式が成り立つ:

微分のこの概念は関数の線型近似を求めたいとき(このとき増分 Δx の値は十分小さい)に、広く適用可能である。より正確には、fx において微分可能な関数であれば、y の値の差

を満たす。ここで近似における誤差 ε は、Δx → 0 のとき ε/Δx → 0 を満たす。言い換えると、近似式

が成り立ち、その誤差は Δx に対して相対的にいくらでも小さくすることが、Δx を十分小さく取るすることによってできる。つまり、Δx → 0 のとき

である。この理由のために、関数の微分は関数の増分の主要(線型)部英語版 (principal (linear) part) と呼ばれる:微分は増分 Δx線型関数であり、誤差 ε は非線型かもしれないが、Δx が 0 に向かうとき急速に 0 に向かう。

多変数関数の微分

多変数関数の微分は以下の様に定義される[3]

で定義される多変数関数を考える。n 個の独立変数うち任意の一つ xi の増分 dxi に対する y の増分の主要部は、yxi に関する偏微分を用いて

と表される。全ての独立変数について以下の様に総和を取ったものを全微分(total differential)または単に微分と呼び、これが独立変数 x1xn の増分に対する y の増分の主要部にあたる。

より正確には、多変数関数の微分は以下の様に定義される[4]f が微分可能関数であるならばフレシェ微分可能の定義より、その増分は

で与えられ、この時増分Δxi が全て0に漸近するならば、誤差項εi は0に漸近する。よって全微分は厳密には以下の様に定義される。

一変数の場合と同様に、

であるから、

となる。このdy は、

と見なせる。この誤差は変数の増分を十分に小さく取ることにより、 に対して任意に小さくすることが出来る。

高階の微分

独立変数 x に関する一変数関数 y = f(x) の2階の微分は以下の様に表される[5]

より高階の場合について一般化すると、

これは以下の形に書くことにより、高階導関数のライプニッツ表記に合致するものである。

変数 x 自体が他の変数に依存する関数である時は、 x の高階の微分も式に含まれるため、上記よりも複雑な形となる。2階、3階の場合の例を挙げる。


多変数関数についても同様に高階の微分を考えることが出来る。例えば、f が変数 xy の2変数関数である時、

ここで 二項係数である。より一般の多変数の場合にも、多項係数を用いて拡張することにより同様の式に表すことが出来る[6]

多変数関数の場合も、変数が他の変数に依存する場合は高階の微分がより複雑な形となる。f が変数 xy の2変数関数であり、かつ xy がそれぞれ他の補助変数に依存する関数である時、f の2階の微分は以下の様になる。

より一般的には、x の関数f の増分Δx に対するn 階の微分は、以下の様に定義される。

もしくは等価な表現として、

ここで は、増分tΔx に対するn 階の前進差分演算子である。f が多変数関数の場合にもx を引数ベクトルと見なすことにより同様の形でf の微分を定義出来る。すると定義により、n 階の微分はベクトルx の増分Δx に関する斉次関数となる。さらに、f の点x におけるテーラー展開が以下の式で与えられる。

高階のガトー微分はこれを無限次元関数空間に拡張したものと考えることが出来る。

性質

微分のいくつかの性質は、それぞれ対応する導関数の性質をそのまま当てはめた形で表現出来る[7]

  • 線型性: 定数 ab と微分可能な関数fgに対して、

抽象代数学においては、これら2つの性質を満たす作用素d導分英語版 (derivation) と呼ぶ。

またこの性質により、累乗の微分に関して以下の関係が成り立つ。


さらに、様々な形に一般化された連鎖律が成り立つ[8]

  • y = f(u) が変数u に関する微分可能関数で、かつu = g(x) が変数x に関する微分可能関数である時、
  • 多変数関数 y = f(x1, ..., xn) について、その全ての変数x1, ..., xn が他の変数t の関数である時、

多次元への一般化

ユークリッド空間における関数f : Rn → Rm に対し、前述の微分の概念を一般化した関数f の微分を考えることが出来る。

ベクトルx, Δx ∈ Rn に対し、関数f の増分Δf

ここで、以下の式

においてベクトルΔx → 0 のとき ε → 0 となるm ×n 行列 A が存在するならば、定義より関数f は点 x において微分可能である。この行列Aヤコビ行列とも呼ばれ、そしてΔx ∈ Rn線形写像 AΔx ∈ Rm は、関数f の点xにおける微分df (x) と呼ばれる。これは即ちフレシェ微分であり、任意のバナッハ空間における関数に対しても同様に定式化することが出来る。

脚注

  1. ^ Courant 1937i, Kline 1977, Goursat 1904, Hardy 1908 などを参照。
  2. ^ 高木貞治. 解析概論 改訂第3版. ISBN 4-00-005171-7. pp36-37 も参照
  3. ^ Goursat (1904, I, §15)
  4. ^ Courant (1937ii)
  5. ^ Cauchy 1823, Goursat 1904, I, §14
  6. ^ Goursat 1904, I, §14
  7. ^ Goursat 1904, I, §17
  8. ^ Goursat 1904, I, §§14,16

参考文献

外部リンク

関連項目


関数の微分

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/02/26 03:09 UTC 版)

可微分多様体」の記事における「関数の微分」の解説

可微分多様体上の関数の微分を定義する様々な方法があるが、最も基本的なのは方向微分である。方向微分の定義は多様体ベクトル定義する適切なアフィン構造欠いているという事実によって複雑である。したがって方向微分ベクトル代わりに多様体内の曲線を見る。

※この「関数の微分」の解説は、「可微分多様体」の解説の一部です。
「関数の微分」を含む「可微分多様体」の記事については、「可微分多様体」の概要を参照ください。

ウィキペディア小見出し辞書の「関数の微分」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ

「関数の微分」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

カテゴリ一覧

すべての辞書の索引



Weblioのサービス

「関数の微分」の関連用語











関数の微分のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



関数の微分のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの関数の微分 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの可微分多様体 (改訂履歴)、余接空間 (改訂履歴)、接ベクトル空間 (改訂履歴)、1-形式 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS