陰関数
テンプレート:Calculus 数学の特に解析学における陰函数（いんかんすう、テンプレート:Lang-en-short; 陰伏函数）は、陰伏方程式すなわち適当な多変数函数（しばしば多変数多項式）テンプレート:Mvar によって テンプレート:Math の形に表される関係によって（その函数の引数のうちの一つの変数のテンプレート:仮リンクを残りの変数に関係付けることによって）陰伏的 (implicitly) に定義される函数を言う[1]テンプレート:Rp。
例えば、単位円を定める陰伏方程式は テンプレート:Math であり、このときの テンプレート:Mvar に対する陰函数 テンプレート:Math は、テンプレート:Math によって陰伏的に定められる。この陰伏方程式が、テンプレート:Mvar の連続函数として テンプレート:Mvar を定めるのは テンプレート:Math に対してのみ、かつ函数の値として非負の値のみ（あるいは非正の値のみ）を取るものとしたときである（非負または非正の二つの連続な枝がある）。陰函数定理はこのような関係がいつ陰伏函数を定義するのかという十分条件を与えるものである。
テンプレート:Mvar が多変数多項式であるときの テンプレート:Math なる形の関係に対して、この関係を満足する変数の値の組全体の成す集合を、テンプレート:Math のときは陰伏曲線、テンプレート:Math のときはテンプレート:Ill2と呼ぶ。このような陰伏方程式は代数幾何学の基盤であり、古典的な代数幾何学では多項式の零点を記述する陰伏方程式からなる連立方程式の解を研究する。そのような零点集合はアフィン代数的集合と呼ばれる。
微分方程式の解は一般には陰函数の形で得られる[2]。
例
逆函数
よくある種類の陰函数は逆函数である。函数 テンプレート:Mvar の逆函数は、テンプレート:Mvar の独立変数と従属変数の役割を入れ替えると得られる。つまり、テンプレート:Mvar が テンプレート:Mvar の函数であるとき、テンプレート:Mvar の逆函数 テンプレート:Math は、テンプレート:Mvar を テンプレート:Mvar の式として方程式 テンプレート:Math を解くことで与えられ、その解が テンプレート:Math である。別な言い方をすると、陰伏方程式 テンプレート:Math を テンプレート:Mvar について解いたものが逆函数である。例えばランベルトのオメガ函数は、陰伏方程式 テンプレート:Math を テンプレート:Mvar について解いた陰伏函数（つまり テンプレート:Mvar の逆函数）として与えられる。
代数函数
テンプレート:Main 代数函数は係数がそれ自身多項式であるような多項式方程式を満足する函数である。例えば一変数 テンプレート:Mvar に関する代数函数は、陰伏方程式
を テンプレート:Mvar について解くことで与えられる。ここで、各係数 テンプレート:Math は テンプレート:Mvar の多項式である。代数函数は解析学および代数幾何学において重要な役割を果たす。代数函数の簡単な例は、単位円の方程式 テンプレート:Math を テンプレート:Mvar について解いた テンプレート:Math である。
ただし、この陽に表された解を特定することをせずとも、この単位円の陰伏的な解に言及することは可能である。例えば テンプレート:Mvar に関する二次、三次および四次方程式に対しては同様に陽に表された解を求めることができるが、例えば
のような五次あるいはより高次の方程式においては、一般には解を陽にすることはできない。それにもかかわらず、陰伏多価函数 テンプレート:Mvar を含む陰伏解 テンプレート:Math に関して考えることができる。
注意
単位円の方程式の場合を一つの特徴的な例として、必ずしも任意の方程式 テンプレート:Math が一価函数のグラフを導くわけではないことに注意すべきである。あるいは テンプレート:Mvar が三次多項式でそのグラフに「起伏」がある（つまり極大値と極小値を持つ）ようなものとしたとき、方程式 テンプレート:Math の陰伏的に定義する函数もそのような例を与える。したがって、陰函数が「真の」（つまり一価の）函数となるためには、陰伏方程式のグラフの一部分に話を限る必要があることがわかる。陰函数は、テンプレート:Mvar-軸のある部分に「ズームイン」して、函数の不都合な枝を「取り払って」しまった後でのみ、真の函数を得ることに成功するということがしばしばある。そうすれば、テンプレート:Mvar を表す方程式を他の変数の陰函数として書くことができる。
定義方程式 テンプレート:Math が他の病的な性質を持つこともある。例えば、垂直線の方程式 テンプレート:Math は テンプレート:Mvar について解くことで与えられる函数 テンプレート:Math というものを導くことは全くない。このような問題を避ける目的で、許される方程式の種類や定義域に様々な制約条件を課すことが頻繁に行われる。陰函数定理はこのような病的な性質の種類を扱う一様な方法を提供する。
陰函数微分
微分積分学において陰函数微分法 (implicit differentiation) と呼ばれる手法は、連鎖律を用いて陰伏的に定義された函数を微分する。[3]
陰伏函数 テンプレート:Math を微分するに際して、定義方程式 テンプレート:Math を テンプレート:Mvar について陽に解いてからそれを微分するということは、一般には可能でない。その代わり、テンプレート:Math を テンプレート:Mvar および テンプレート:Mvar に関して微分して、それから テンプレート:Math に関する一次方程式を解いて テンプレート:Mvar および テンプレート:Mvar の式として陽に書かれた導函数を得るということができる。方程式が陽に解けるという場合であってさえも、陰函数微分で得られる式は、一般により単純で扱いが容易である。
テンプレート:Math theorem 上記の公式は、テンプレート:Mvar の両辺の（テンプレート:Mvar に関する）全微分を得るために多変数の連鎖律を適用すれば、
となることから導かれる。
陰函数定理
テンプレート:Math が テンプレート:Math 内の滑らかな部分多様体 テンプレート:Mvar によって与えられ、この部分多様体の点 テンプレート:Math がその点における接空間が垂直でない（つまり テンプレート:Math）ならば、テンプレート:Mvar は点 テンプレート:Math の十分小さな近傍において、テンプレート:Mvar が滑らかな函数となるようなテンプレート:仮リンク テンプレート:Math によって与えられることが示せる。
より俗な言い方をすれば、考えているグラフの接線が垂直でない限り、陰函数は存在して微分することができるということである。方程式
が与えられている標準的な場合において、テンプレート:Mvar に関する条件は偏微分の意味で確認することができる[4]テンプレート:Rp。
関連項目
参考文献
外部リンク
- ↑ テンプレート:Cite book
- ↑ テンプレート:Cite book
- ↑ テンプレート:PlanetMath
- ↑ 引用エラー: 無効な
<ref>タグです。「Stewart1998」という名前の注釈に対するテキストが指定されていません