微分可能函数とは? わかりやすく解説

微分可能関数

(微分可能函数 から転送)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/01 06:14 UTC 版)

ナビゲーションに移動 検索に移動
ある微分可能関数
絶対値関数は x = 0 において微分可能ではない
微分可能関数は線型関数によって局所的に近似できる

数学の一分野である微分積分学において、可微分函数あるいは微分可能関数(びぶんかのうかんすう、: differentiable function)とは、その定義域内の各点において導関数が存在するような関数のことを言う。微分可能関数のグラフには、その定義域の各点において非垂直な接線が存在しなければならない。その結果として、微分可能関数のグラフは比較的なめらかなものとなり、途切れたり折れ曲がったりせず、尖点(カスプ)や、垂直接線を伴う点などは含まれない。

より一般に、ある関数 f の定義域内のある点 x0 に対し、導関数 f′(x0) が存在するとき、fx0 において微分可能であるといわれる。そのような関数 f はまた、点 x0 の近くでは線型関数によってよく近似されるため、x0 において局所線型(locally linear)とも呼ばれる。

微分可能性と連続性

ワイエルシュトラス関数は連続であるが、どの点においても微分可能ではない

f が点 x0 において微分可能であるなら、f はその点 x0 において連続である。特に、微分可能関数はどのようなものでも、その定義域内のすべての点において連続である。しかしその逆は成立しない:すなわち、連続関数は必ずしも微分可能ではない。例えば、折れ(bend)や尖点、あるいは垂直接線を伴う関数は連続であることもあり得るが、それら例外的な箇所においては微分可能性は失われている。

現実に現れる多くの関数は、すべての点あるいはほとんどすべての点において導関数を持つものである。しかし、バナッハによる一つの結果として、ある点において導関数を持つ関数の集合は、すべての連続関数からなる空間におけるやせた集合英語版であることが示されている[1]。くだけた言い方をすると、このことはつまり、微分可能関数は連続関数の中でも珍しいものであることを意味している。至る所で連続であるが、どこにおいても微分可能ではない関数の最もよく知られた例は、ワイエルシュトラス関数である。

微分可能性のクラス

関数 f は、それ自体連続であるような導関数 f′(x) が存在するなら、連続的微分可能(continuously differentiable)であると言われる。微分可能関数の導関数が跳躍不連続点を持つことは無いが、真性不連続点を持つことはある。例えば、関数

は点 0 において微分可能である。なぜならば、

が存在するからである。しかし、x≠0 に対して、

であるが、これは x → 0 に対する極限を持たない(したがってこの関数 f は原点を含む区間において微分可能ではあるが連続的微分可能ではない)。それにもかかわらず、ダルブーの定理英語版によれば、任意の関数の導関数に対して中間値の定理は成立する。

しばしば連続的微分可能関数は、C1-級であると言われる。関数に一階および二階の導関数が存在し、それらが両方とも連続であるとき、その関数は C2-級にであると言われる。より一般的に、k-階までの導関数 f′(x), f″(x), ... , f(k)(x) が存在し、すべて連続であるなら、その関数は Ck-級であると言われる。すべての正の整数 n に対して導関数 f(n) が存在するなら、その関数は滑らか、あるいは、C-級であると言われる。

高次の微分可能性

関数 f: RmRn が点 x0 において微分可能であるとは、

を満たすような線型写像 J: RmRn存在することを言う。関数が x0 において微分可能であるなら、そのすべての偏導関数は x0 において存在しなければならず、そのような場合、線型写像 Jヤコビ行列となる。高階導函数に関する同様の定式化は、一変数微分積分学でいうところの有限増分の補題英語版によって与えられる。

ここで、偏導関数の存在は(あるいは、すべての方向微分の存在でさえも)、ある点における関数の微分可能性を保証するものではない、ということに注意されたい。例えば、

で定義される関数 f: R2R は、(0, 0) において微分可能でないが、そのすべての偏微分と方向微分はその点において存在している。連続的な例として、関数

(0, 0) において微分可能でないが、ふたたびその偏導関数と方向微分はすべて存在する。

関数のすべての偏導関数が存在し、ある点の近傍において連続であるなら、その関数はその点において微分可能でなければならず、実際 C1-級である。

複素解析における微分可能性

複素解析において、ある点の近傍で複素微分可能な関数はすべて正則と呼ばれる。そのような関数は必ず無限回微分可能であり、実は解析的である。

多様体上の微分可能関数

M微分可能多様体であるとき、M 上の実あるいは複素数値関数 f がある点 p において微分可能であるとは、それが p の周りで定義されるある(あるいは、任意の)座標に関して微分可能であることを言う。より一般的に、MN が微分可能多様体であるとき、関数 fM → N がある点 p において微分可能であるとは、それが pf(p) の周りで定義されるある(あるいは、任意の)座標に関して微分可能であることを言う。

脚注

  1. ^ Banach, S. (1931). “Uber die Baire'sche Kategorie gewisser Funktionenmengen”. Studia. Math. (3): 174–179. . Cited by Hewitt, E and Stromberg, K (1963). Real and abstract analysis. Springer-Verlag. Theorem 17.8 

関連項目


微分可能函数

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/10/21 15:46 UTC 版)

アスコリ=アルツェラの定理」の記事における「微分可能函数」の解説

定理仮定は、一様有界導函数を持つ一様有界な微分可能函数の列 { fn } に対して満たされる実際導函数一様有界であれば平均値の定理より、すべての x と y に対して次が成立する。 | f n ( x ) − f n ( y ) | ≤ K | x − y | . {\displaystyle \left|f_{n}(x)-f_{n}(y)\right|\leq K|x-y|.} ここで K はその列に含まれる函数導函数の上限であり、n に依存しない。したがって ε > 0 が与えられたとき、δ = .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}ε/2K とすることで列の同程度連続性の定義を確かめることが出来る。これにより次の系が成り立つ: {fn} を [a, b] 上で一様有界実数値微分可能函数で、導函数 {fn′} も一様有界あるようなものの列とする。このとき、[a, b] 上で一様収束する部分列 {fnk} が存在する。 さらに二階導函数の列も一様有界であるなら、一階導函数も(部分の違いを除いて一様収束する。その他、連続的微分可能函数に対して一般化成立する函数fn  は連続的微分可能で、その導函数 f′n は一様同程度連続かつ一様有界であり、列 { fn } は各点ごとに有界(あるいはただ一つの点で有界)とする。このとき、ある連続的微分可能函数一様収束する { fn } の部分列が存在する

※この「微分可能函数」の解説は、「アスコリ=アルツェラの定理」の解説の一部です。
「微分可能函数」を含む「アスコリ=アルツェラの定理」の記事については、「アスコリ=アルツェラの定理」の概要を参照ください。

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


英和和英テキスト翻訳>> 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のアスコリ=アルツェラの定理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS