=============================
包絡線
=============================
関数が何かパラメータを含んでいるとき、パラメータを変化させれば関数の形も変わっていきます。そのとき、これらの関数に全て接するような曲線を包絡線と呼びます。例えば、 $(x-c)^2 +(y-c^2)^2 =1$ という関数で、パラメータ $c$ を次々と変化させていくと、次の図に描いてあるように半径 $1$ の円が中心を曲線 $y=x^2$ 上に置きながら動いていくことになります。


.. image:: Joh-envelope2.gif

このときの包絡線は、図で赤く示した二本の曲線になります。全ての円がこの赤い曲線に接しているというのが分かると思います。




陰関数の包絡線
----------------------------------------------------
陰関数というのは $f(x,y,c)=0$ のように左辺が関数、右辺が $0$ の形の関数のことでした。( $y=f(x,c)$ のように、『ある変数=右辺』の形になっているものを陽関数と言うのでした。)



陰関数 $f(x,y,c)=0$ の包絡線は、次の連立方程式を解いて $c$ を消去することで与えられます。 [*]_ 

<tex>
\frac{\partial f}{\partial c} =0  \tag{1}
</tex>

<tex>
f(x,y,c)=0 \tag{2}
</tex>

.. [*] 式(1)は曲線群 $f$ に接するということ、式(2)は曲線群 $f$ 上の点であるという意味ですから、式(1)(2)を連立して得られる曲線が、曲線群 $f$ の包絡線になっているというのは明らかだと思います。ただし、やや上級レベルの話になりますが、曲線に特異点がある場合、曲線群の特異点を結ぶ曲線もやはり式(1)(2)によって表されることに注意しなければなりません。意味します。つまり上の包絡線の式は必要条件にすぎないのです。本稿では特異点を持つ曲線群は考えませんが、読者のみなさんが一般の曲線群に対して包絡線を考える場合には注意する必要があります。


.. image:: Joh-envelope6.gif

例
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
長さ $l$ の線分が、 $x$ 軸と $y$ 軸に接しながら滑るように動く場合を考えます。このときの包絡線はどうなるでしょう？

.. image:: Joh-envelope1.gif

線分が次々と滑って行くと、上左図のようになることが想像できるでしょうか。一本一本の線分は上右図のようになっています。図の直線の方程式は $y=-x\tan \theta +L\sin \theta$ と書けますので、少し変形すれば、線分の方程式は $\theta$ をパラメータとして次のように書くことが出来ます。

<tex>
\frac{x}{L\cos \theta}+\frac{y}{L\sin \theta}=1  \tag{3}
</tex>


式(3)の両辺に $L\cos \theta \sin \theta$ を掛けて、次のように陰関数の形にまとめましょう。 これで公式が使える形になりました。

<tex>
F(x,y,\theta)=x\sin \theta +y\cos \theta -L\sin \theta \cos \theta =0  \tag{4}
</tex>


これを $\theta$ で偏微分すると次のようになります。

<tex>
\frac{\partial F}{\partial \theta}=x\cos \theta -y\sin \theta - L\cos^2 \theta +L\sin^2 \theta =0  \tag{5}
</tex>


式(4)と式(5)を連立して $\theta$ を消去します。

<tex>
{\rm (2)}\times \cos \theta - {\rm(3)} \times \sin \theta = y  -L\sin^3 \theta =0 \tag{6}
</tex>

<tex>
{\rm (2)}\times \sin \theta + {\rm(3)} \times \cos \theta = x -L\cos^3 \theta =0\tag{7}
</tex>


式(6)(7)より、 $x$ , $y$ が次のように求められました。
<tex>
x=L\cos^3 \theta 
</tex>
<tex>
y=L\sin^3 \theta
</tex>

この $x$ , $y$ に対して、 $\cos^2 \theta + \sin^2 \theta =1$ の関係を利用して $\theta$ を消去すると次の式が得られます。これが包絡線の方程式になります。かなりきれいな形にまとまりました。


<tex>
x^{\frac{2}{3}}+y^{\frac{2}{3}}=L^{\frac{2}{3}} \tag{8}
</tex> 

これは星芒形(アステロイドとも呼ぶ)と呼ばれる次のような図形です。



.. image:: Joh-envelope4.gif





関数がパラメータ表示になっている場合の包絡線
----------------------------------------------------
関数が $y=y(t,c)$ , $x=x(t,c)$ のようにパラメータ表示されている場合、包絡線は次の式で表されます。 [*]_ 


<tex>
\frac{\partial y}{\partial t}\frac{\partial x}{\partial c}-\frac{\partial y}{\partial c}\frac{\partial x}{\partial t}=0
</tex>




.. [*] 曲線 $y=y(t,c)$ , $x=x(t,c)$ とその包絡線を考えます。包絡線に接している、ある点における曲線傾きは、 $xy$ 平面上で $\frac{dy}{dx}=\frac{\frac{\partial y}{\partial t}}{\frac{\partial x}{\partial t}}$ と与えられるでしょう。一方、パラメーター $c$ が少し変化したとき、この点は $x$ 方向に $\frac{\partial x}{\partial c}$ , $y$ 方向に $\frac{\partial y}{\partial c}$ だけ変化するはずなので、傾き $\frac{dy}{dx}=\frac{\frac{\partial y}{\partial c}}{\frac{\partial x}{\partial c}}$ の曲線に沿って変化することになります。もしも $\frac{\frac{\partial y}{\partial t}}{\frac{\partial x}{\partial t}}=\frac{\frac{\partial y}{\partial c}}{\frac{\partial x}{\partial c}}$ が成り立てば、この点は $c$ が変化するとき、接線にそって動いて行くことになります。この点の軌跡は包絡線に他なりません。この条件を少し見やすくまとめたのが上の公式です。ただし、陰関数のセクションで註に書いたことと同じですが、この公式は曲線に特異点がある場合には包絡線以外の曲線をも含みます。また、包絡線の存在そのものを保障するものでもありません。




例
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
次のようなパラメータ表示の関数を考えてみます。
<tex>
x=c\cos \theta \tag{9}
</tex>

<tex>
y=(1-c)\sin \theta \tag{10}
</tex>

これは楕円のパラメータ表示です。長軸と短軸の関係に注意すると、だいたい次のような曲線群が描けます。


.. image:: Joh-envelope31.gif


では実際に包絡線の方程式を求めてみましょう。さきほどの公式に、これらの関数を代入します。

<tex>
\frac{\partial y}{\partial \theta}\frac{\partial x}{\partial c}
-\frac{\partial y}{\partial c}\frac{\partial x}{\partial \theta}
&=(1-c)\cos \theta \cos \theta -c\sin \theta \sin \theta \\
&=\cos^2 \theta -c \\
&=0 \tag{11}
</tex>

これより $c=\cos^2 \theta$ が求まりますので、これを式(7)(8)に代入すると次のようになります。

<tex>
x=\cos^3 \theta \tag{12}
</tex>

<tex>
y=\sin^3 \theta \tag{13}
</tex>

これが求める包絡線のパラメータ表示です。このままパラメータ表示にしておいてもいいのですが、たまたま $\theta$ を簡単に消去できる形なのでまとめてしまいましょう。再び $\cos^2 \theta + \sin^2 \theta =1$ の関係を使うと次のようになります。


<tex>
x^{\frac{2}{3}}+y^{\frac{2}{3}}=1 
</tex> 


おや、これは先ほど陰関数の包絡線の例題で求めた、線分が動くときに出来る包絡線と全く同じ星芒形ですね。


このように、一見、全く異なる関数の包絡線が同じになるということが分かると、関数の大局的な振る舞いだけを知りたい時に便利なことがあるかも知れません。



補足
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
星芒形という図形が出てきましたが、これを円に内接するように直径四分の一の小円を転がすとき、小円の描く サイクロイド_ として定義することも出来ます。このように、円の内側に小円を転がして描くサイクロイドを内サイクロイド( $hypocycloid$ )と呼びます。


内サイクロイドが描かれる様子は、次のJava-appletで見ることが出来ます。動円と定円の半径比を $0$ から $1$ の範囲で変えられますので、色々変えて遊んでみて下さい。(半径比 $0.25$ のとき、先ほどの星芒形になります。)


.. raw:: html

  <applet archive="HypoCycloid.jar" code="jp/maxwell/applet/hypocycloid/HypoCycloid.class" width="220" height="250">
      <param name="r" value="0.3">
  </applet>


サイクロイドは最初、変分法で有名なヨハン・ベルヌーイ、ロピタルの定理で有名なロピタル公爵、微積分法で有名なライプニッツの三人によって研究されました。(この三人の人間関係については、 最速降下曲線_ でより詳しく触れてあります。また、彼らのライバルであったニュートンによって伸開曲線(インボリュート)や伸閉曲線(エボリュート)が研究されました。)


ヨハン・ベルヌーイ等の研究したような古典的な問題では、なぜか包絡線として放物曲線、楕円、双曲線、サイクロイドなどがよく出てきます。

次のようなホームページでは、包絡線の描かれる様子をJavaApletで見ることが出来ます。 数学のいずみ_ , Eichan_ .




外国語で何と言うか
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
英語では包絡線を $envelope$ と言います。日常会話で $envelope$ と言えば封筒や包装のことです。確かに包絡線は図形をすっぽりと包む線ですが、封筒と全く同じ言葉だとは、さすが、英語は直接的です。ドイツ語では $H\ddot{u} llkurve$ と言います。 $H\ddot{u} ll$ は外殻、 $kurve$ はカーブの意味ですから、さすがドイツ語は説明的です。中国語では包迹と呼ぶようです。迹という字はあまり日本では見かけませんが、軌跡というような意味ですので、やはり意味は明快です。(日本語と同じ包絡線という言葉も使うようです。そもそも、この絡という字はあまり日本では馴染みのない字ですので、日本語の包絡線が中国語から来ているという可能性があるかも知れません。由来を御存知の方は御一報下さい。)



.. _サイクロイド: http://www12.plala.or.jp/ksp/mathInPhys/determinant/index.html

.. _最速降下曲線: 

.. _数学のいずみ: http://www.nikonet.or.jp/spring/Envelope/Envelope.htm

.. _Eichan: http://www.shirakami.or.jp/~eichan/java/java55/envelope.html

@@author:Joh@@
@@accept: 2005-03-31@@