陰函数定理とは? わかりやすく解説

陰函数定理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2020/12/06 00:21 UTC 版)

ナビゲーションに移動 検索に移動

数学、特に多変数微分積分学において陰函数定理(いんかんすうていり、: implicit function theorem[注釈 1])は、解析的な多項関係多変数函数に読み替え、関係を函数のグラフとして表すことを可能にする基本的な道具である。関係の全体は一つの函数のグラフとして大域的に表せないものの、関係の一部は一つの函数のグラフとして局所的に表せることがある。陰函数定理はそのような函数(陰函数)が存在する十分条件を与える。

定理の主張する所は、函数 f(x, y) = f(x1, …, xn, y1, …, ym) がある零点偏微分係数に関して一種の非特異性を満足するならば、その開近傍において方程式

A の近傍では単位円上にある点の y 座標は x 座標の函数(具体的には y = 1 − x2)として表される。一方で点 B の近傍ではそのような函数は存在しない。

二変数函数 ff(x, y) = x2 + y2 − 1 と定めると、単位円をその等高線 f(x, y) = 0 として表すことができる。ところが各 −1 < x < 1 に対して y は相異なる二つの値(具体的には ±1 − x2)をとるので、単位円の全体を一変数函数 y = g(x)グラフとして表すことはできない。

しかしながら、単位円の一部であれば一変数函数のグラフとして表すことができることがある。たとえば

とすれば、y = g+(x) のグラフは単位円の上半分と一致する。同様に

とすれば、y = g(x) のグラフは単位円の下半分と一致する。

単位円に対する g±(x) のような陰函数が存在し、かつ十分に滑らかであることを、明示的な式を書き下せない状況下でさえ保証する一般的な命題が陰函数定理である。

定理の主張

開集合 ΩRn+m 上の連続微分可能な函数 f: ΩRm をとる。始域 Ω直積集合 Rn × Rm の部分集合と見做して、この直積に属する元を (x, y) = (x1, …, xn, y1, …, ym) と書く。そのような函数 f が与えられたところから始めて、最終的に函数 g: RnRm でそのグラフ (x, g(x))f(x, y)零点集合と一致するようなものを見つけることを考える。

既に述べたとおり、そのようなことは常に可能というわけではない。そこで f(x, y) の零点 (a, b) = (a1, …, an, b1, …, bm) を固定し、その近くで目的に合う g を見つけることに視点を移す。すなわち、U × VΩ を満たす点 a開近傍 U と点 b の開近傍 V、および函数 g: UV の三つ組 U, V, g で、 g のグラフが U × V 上で関係 f = 0 を満足するもの、式で書けば U × V 内の各点 (x, y)

を満足するものを求めたい。

陰函数定理を述べるためには、f = (f1, …, fm)ヤコビ行列(函数行列)が必要である。それは f のすべての偏微分によって形作られる行列で、(a, b) における値は

で与えられる。右辺において、X は変数 xi たちに関する偏微分からなる行列、Y は変数 yj に関する偏微分からなる行列である。陰函数定理が述べるのは、このときの行列 Y正則ならば、所期の通りの U, V, g が存在することである。以上全ての仮定をまとめれば以下の定理を得る。

陰函数定理 ― 開集合 ΩRn+m 上の連続微分可能な函数 f: ΩRm をとる。Rn+m は座標系 (x, y) を持つとし、f(x, y) の零点 (a, b) を固定する。このとき

ならば、 U × VΩ を満たす a の開近傍 U, b の開近傍 V および一意的な連続微分可能函数 g: UV で、 U × V 内の各点 (x, y)

を満足するものが存在する。さらに

が成り立つ。

正則性 (regularity) に関して以下のような一般化が可能である:

  1. fU × V 上で k 階連続微分可能ならば、定理にいう陰函数 gU 上で k 階連続微分可能である。
  2. 解析的陰函数定理: 同様に、fU × V の内側で解析的ならば、gU の内側で解析的である[2]

例の再考

ふたたび単位円の例に戻ろう。すなわち、定理において n = m = 1 および f(x, y) = x2 + y2 − 1 と置いた場合であり、ヤコビ行列は 1×2-行列

で与えられる。したがって定理に言う Y はここでは単に数 2b で、それが定める線型写像が正則であるための必要十分条件b ≠ 0 である。ゆえに陰函数定理によれば、単位円は、y ≠ 0 なる任意の点に対して局所的に y = g(x) の形に書くことができる。しかし、既に上でも述べたが、点 (±1, 0) においては問題が生じる。陰函数定理はこれら二つの点においても適用することは未だ可能であるが、それは xy の函数 x = h(y) と見てのことである。実際、そのグラフを (h(x), y) とすれば、b = 0 のとき a = 1 と取れるから、局所的にこの形の函数に表されるための条件は満足されている。

yx に関する陰函数微分、および xy に関する陰函数微分は、陰函数 x2 + y2 − 1全微分0 に等しいと置いた

から求めることができる。すなわち、dy/dx = −x/y および dx/dy = −y/x が成り立つ。

応用: 座標変換

以下、座標系 (x1, …, xm) で座標付けられた m-次元空間を考える。これに適当な函数系 h1, …, hm を施して、新たな座標系 (x'1, …, x'm) を導入する。すなわち、各点の新座標は旧座標から

と計算することができる。この逆が可能であるかどうか、すなわち各点の新座標 (x'1, …, x'm) から旧座標 (x1, …, xm) に戻せるか、を検証したいと考えるかもしれない。この問いに、陰函数定理は一つの答えを提供する。

新旧の座標の対、(x'1, …, x'm, x1, …, xm)

と置くことにより、f = 0 なる関係を持つ。ここに f の適当な点 (a, b) = (x'1, …, x'm, x1, …, xm) におけるヤコビ行列は

で与えられる。右辺の 1mm×m-単位行列J は各偏微分の (a, b) における値からなる行列である(これらは上で X および Y と書いていたものである。いまの例ではたまたまどちらの行列も a に依存しない)。陰函数定理の主張に従えば、この行列 J が正則であるときには、(x1, …, xm) は局所的に (x'1, …, x'm) の函数として表される。J が正則であることは det(J) ≠ 0 と同値であるから、J の行列式が非零であるとき、新座標は旧座標に引き戻すことができることが分かった。この主張もまた逆写像定理と呼ばれている。

例: 極座標系

簡単な例として、平面上の極座標系 (r, θ) を考える。新たな座標系として直交座標系を考えれば、変換は x(r, θ) = r cos(θ) および y(r, θ) = r sin(θ) で与えられる。これにより、任意の点 (r, θ) が与えられれば、対応する直交座標 (x, y) が計算できる。逆に直交座標を極座標に変換することができるのはいつなのかを考えよう。前節に従えば、ヤコビ行列

det(J) ≠ 0 を満たすことが十分であった。ここに det(J) = r が成り立つから、極座標に戻すためには r ≠ 0 が十分である。ゆえに残りの r = 0 の場合に関して確かめよう。この場合、座標変換が可逆でないことを確かめることは容易である。実際、原点において θ の値は定義可能でない。

一般化

バナッハ空間版

バナッハ空間における逆写像定理は、陰函数定理がバナッハ空間値の写像に対しても拡張できることに基づく[3]

X, Y, Zバナッハ空間で、写像 f: X × YZ は連続フレシェ微分可能とする。(x0, y0) ∈ X × Yf(x0, y0) = 0 を満たし、かつ yDf(x0, y0)(0, y)Y から Z の上へのバナッハ空間同型となるならば、x0 の近傍 Uy0 の近傍 V およびフレシェ微分可能函数 g: UV が存在して、任意の (x, y) ∈ U × V に対して f(x, g(x)) = 0 かつ f(x, y) = 0 y = g(x) とできる。

微分不能函数の定める陰函数

函数 f が微分可能でない場合の陰函数定理には様々な形のものが存在する。標準的な定理は一次元において成立するもの[4]である。以下に示すより一般の形の定理は、Jittorntrum の観察[5]に基づいて、Kumagai[6]が証明した。

定理
函数 f: Rn × RmRnf(x0, y0) = 0 を満たすとする。x0 および y0 それぞれの開近傍 ARn および BRm が存在して、任意の yB に対して f(• y): ARn が局所的に一対一となるならば、x0 および y0 それぞれの開近傍 A0Rn および B0Rm が存在して、方程式 f(x, y) = 0 が一意な解 x = g(y) ∈ A0 を持つ。ここで gB0 から A0 への連続函数である。

関連項目

  1. ^ イタリアの Pisan school によって、ウリッセ・ディニ英語版に因んで「ディニの定理」あるいは「ディニの補題」と呼ばれることもあるが、解析学でよく言われるディニの定理は別の定理である。
  1. ^ See Chiang 1984, pp. 204-206.
  2. ^ See Fritzsche & Grauert 2002, p. 34.
  3. ^ See Lang 1999, pp. 15–21 and Edwards 1994, pp. 417–418.
  4. ^ See Kudryavtsev 2001.
  5. ^ See Jittorntrum 1978, pp. 575–577.
  6. ^ See Kumagai 1980, pp. 285–288.

参考文献

  • Chiang, Alpha C. (1984). Fundamental Methods of Mathematical Economics (3rd ed.). McGraw-Hill 
  • Edwards, Charles Henry (1994) [1973]. Advanced Calculus of Several Variables. Mineola, New York: Dover Publications. ISBN 978-0-486-68336-2 
  • Jittorntrum, K. (1978). “An Implicit Function Theorem”. Journal of Optimization Theory and Applications 25 (4). doi:10.1007/BF00933522. 
  • Kumagai, S. (1980). “An implicit function theorem: Comment”. Journal of Optimization Theory and Applications 31 (2). doi:10.1007/BF00934117. 

陰函数定理

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

陰関数」の記事における「陰函数定理」の解説

詳細は「陰函数定理」を参照 R(x, y) が R2 内の滑らかな部分多様体 M によって与えられ、この部分多様体の点 (a, b) がその点における接空間垂直でない(つまり ∂R/∂y ≠ 0)ならば、M は点 (a, b) の十分小さな近傍において、f が滑らかな函数となるような媒介表示英語版) (x, f(x)) によって与えられることが示せる。 より俗な言い方をすれば、考えているグラフ接線垂直でない限り陰函数存在して微分することができるということである。方程式 R ( x , y ) = 0 {\displaystyle R(x,y)=0} が与えられている標準的な場合において、R に関する条件偏微分の意味確認することができる:§ 11.5。

※この「陰函数定理」の解説は、「陰関数」の解説の一部です。
「陰函数定理」を含む「陰関数」の記事については、「陰関数」の概要を参照ください。

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


英和和英テキスト翻訳>> 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