媒介変数のソースを表示

[[数学]]において'''媒介変数'''（ばいかいへんすう、パラメータ、パラメタ、''parameter''）とは、主たる[[変数 (数学)|変数]]（自変数）あるいは[[関数 (数学)|関数]]に対して補助的に用いられる変数のことである。なおこの意味でのパラメータは'''助変数'''（じょへんすう）とも呼び、また古くは'''径数'''（けいすう）とも訳された（後者は[[リー群]]の一径数部分群（1-パラメータ部分群）などに残る）。[[母数]]と呼ぶこともある。

媒介変数の役割にはいくつかあるがその主なものとして、主たる変数たちの間に陰に存在する関係を記述すること、あるいはいくつもの対象をひとまとまりのものとして扱うことなどがある。前者では関数の[[媒介変数表示]]とか陰関数などとよばれるもの、後者では[[集合]]族とか[[数列]]などが一つの例である。後者の意味を持つ媒介変数はしばしば文字の肩や斜め下に本文より少し小さな文字 (script style) で書かれ、'''添字''' (''index'') と呼ばれる。

== 陰関数 ==
'''陰関数'''（いんかんすう、''implicit function''）とは、
:<math>y=f(x_1,x_2,\ldots,x_r)</math>
のような陽な（明示的な）従属関係（これを陰関数に対して、陽関数 explicit function ということがある）で表されないような関数関係をいう。陰関数は一般に、関数の零点として
:<math>F(x_1,x_2,\ldots,x_n) = 0</math>
のような形で与えられる。ここで、媒介変数 ''t''<sub>1</sub>, ..., ''t''<sub>''m''</sub> を導入して
:<math>\begin{cases}
x_1 = f_1(t_1,\dots,t_m), \\
x_2 = f_2(t_1,\dots,t_m), \\
\quad \ \, \vdots \\
x_n = f_n(t_1,\dots,t_m)
\end{cases}</math>
のように、各変数を媒介変数の陽関数としてあらわすことができる場合がある。これをもとの陰関数の媒介変数表示とよぶ。

=== 例 ===
''x''<sup>2</sup> + ''y''<sup>2</sup> = 1 という陰関数表示をもつ関数は
:<math>\begin{cases}
  x = \cos\theta,\\
  y = \sin\theta
\end{cases}</math>
と媒介変数表示される。なおこの陰関数は媒介変数を用いずに
:<math>y=\pm\sqrt{1-x^2} \quad(-1\leq x \leq 1)</math>
という二つの陽関数の組としても表されるので 0 &le; ''u'' &le; 1 なる媒介変数を用いて
:<math>\begin{cases}
  x^2 = u,\\
  y = \pm\sqrt{1-u}
\end{cases}</math>
と表すこともできる（ただしこれは陽な表示とは言えない）。

=== 例２ ===
陰関数表示の１階常微分方程式<ref name="diffequ-2005nfzd"/><ref name="susemi-1986nfzd"/>，

::<math>F\Bigl(\,a+bx+cy, \; \; \frac{\,dy\,}{dx} \; \Bigr) = 0</math>

の一般解は，媒介変数 <math>t</math> を用いて，
:<math>\begin{cases}
\; x =\displaystyle \int \dfrac{\dfrac{\;d\phi(t)\;}{dt}}{\;\;b+c\,\psi(t)\;\;} \, dt+C_1,\\[2.2ex]
\; a+bx+c\,y=\phi(t),\\[1.2ex]
\; F(\phi(t),\; \psi(t) )\equiv 0\\[1.2ex]
\end{cases}</math>
と書ける。
これは解を媒介変数表示する実例となってる。 <math>a,\;b,\;c</math> は実数で，<math>C_1</math> は積分定数である。
この微分方程式 <math>F\bigl(\,a+bx+c\,y, \; \; dy/dx \; \bigr) = 0</math> は，媒介変数を用いなければ解を表示できない。なお，<math>F</math> は既知関数である。

=== 例３ ===
陰関数表示の２階常微分方程式<ref name="diffequ-2005nfzd">長島 隆廣 『常微分方程式80余例とその厳密解』　近代文芸社、2005年 ISBN 4-7733-7282-6 (4773372826)。</ref>，

::<math>F\Bigl(\,y, \; \; \frac{d^2 y}{dx^2} \; \Bigr) = 0</math>

の一般解は，媒介変数 <math>t</math> を用いて，
:<math>\begin{cases}
\; x = \pm \displaystyle \int \dfrac{\,d\phi(t)\,}{dt}
  \left(C_1 + 2 \displaystyle \int\psi(t) \cdot \dfrac{\,d\phi(t)\,}{dt}\,dt \right)^{\!\! -1/2}dt+C_2,\\[1.5ex]
\; y=\phi(t),\\[1.2ex]
\; F(\phi(t),\; \psi(t) )\equiv 0\\[1.2ex]
\end{cases}</math>
と書ける<ref name="susemi-1986nfzd">長島 隆廣 『数学セミナー』 日本評論社，1986年5月号，第25巻，第5号，通巻294号，pp.94-95。</ref>。
これは解を媒介変数表示する実例となる。 <math>C_1,\, C_2</math> は積分定数である。
この微分方程式 <math>F\bigl(\,y, \; \; {d^2 y}/{dx^2} \, \bigr) = 0</math> は，媒介変数を用いなければ解を表示できない。
実に，媒介変数の重要性を示している例である。なお， <math>F</math> は既知関数である。

=== 例４ ===
２種類の媒介変数を用いる例を以下で示す。
陰関数表示の連立常微分方程式<ref name="diffequ-2005nfzd"/><ref name="susemi-1986nfzd"/>，
:<math>\begin{cases}
\; F \Bigl( z,\; \dfrac{\,dy\,}{dx} \Bigr)=0,\\[1.5ex]
\; G \Bigl( y,\; \dfrac{\,dz\,}{dx} \Bigr)=0
\end{cases}</math>
は，媒介変数 <math>s</math> と <math>t</math> を用いて，一般解が，
:<math>\begin{cases}
\; \; x=C_1 + \displaystyle \int \Bigl( \dfrac{1}{\,\eta{}(s)\,} \cdot \dfrac{\,d\phi(t)\,}{dt} \Bigr)\, dt,\\[1.5ex]
\; \; y=\xi{}(s),\\[1.5ex]
\; \; z=\phi{}(t),\\[1.5ex]
\; \; \displaystyle \int \Bigl( \dfrac{\,d\phi(t)\,}{dt} \cdot \psi{}(t) \Bigr)\, dt
    = \displaystyle \int \Bigl( \dfrac{\,d\xi(s)\,}{ds} \cdot \eta{}(s) \Bigr)\, ds + C_2,\\[2.5ex]
\; \; F \bigl( \phi(t),\; \psi{}(t)  \bigr) \equiv{}0, \; \; \; \; \;
\; \; G \bigl( \xi{}(s),\; \eta{}(s) \bigr) \equiv{}0 \\[1ex]
\end{cases}</math>
で表示される<ref name="susemi-1986nfzd"/>。なお，<math>F, \; G</math> は既知関数であり，<math>C_1,\, C_2</math> は積分定数である。

== 座標変換 ==
[[解析幾何学]]において[[座標系]] (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) が与えられているとき、''m'' 個の助変数 ''t''<sub>1</sub>, ..., ''t''<sub>''m''</sub> を用いて各座標の値を
:<math>\begin{cases}
x_1 = f_1(t_1,\dots,t_m), \\
x_2 = f_2(t_1,\dots,t_m), \\
\quad \ \, \vdots \\
x_n = f_n(t_1,\dots,t_m)
\end{cases}</math>
のように媒介変数表示で与えることによって、[[図形]]を描くことができる。''m'' = 1 ならば[[曲線]]が、''m'' = 2 ならば[[曲面]]が一般に得られる。またこの表示は座標系 (''t''<sub>1</sub>, ..., ''t''<sub>''m''</sub>) で表される空間から座標系 (''x''<sub>1</sub>, ..., ''x''<sub>''n''</sub>) で表される空間への[[写像]]を与えるものであり、このような写像を'''座標変換'''と呼ぶ。変換を与える写像 (''f''<sub>1</sub>, ..., ''f''<sub>''n''</sub>) によっては変換に特別の名前がついていることもある。たとえば、全て斉一次式ならば[[線形写像|線形変換]]、全て[[一次関数|一次式]]ならば[[アフィン写像|アフィン変換]]と呼ばれる。

例えば、
:<math>
\begin{cases}
x = r\cos \theta \\
y = r\sin \theta
\end{cases}
</math>
は[[極座標系]] (''r'', &theta;) から[[直交座標系]] (''x'', ''y'') への座標変換を与える。

[[微分幾何学]]などにおいては、座標変換において逆変換を持たない点を[[特異点]]と呼ぶ。特異点は[[関数行列式]]を用いて記述することができる。

== 参考文献 ==
 <references />  

== 関連項目 ==
* [[関数 (数学)]]
* [[曲線]]
* [[集合]]

{{DEFAULTSORT:はいかいへんすう}}
[[Category:解析学]]
[[Category:解析幾何学]]
[[Category:座標]]
[[Category:数学に関する記事]]