トーラス、円筒、二重円錐の幾何学的反転
デュパンのサイクリド
数学 において 、 デュパンサイクライド(Dupin cyclide) または デュパンのサイクライド(Dupin cyclide)は、 標準的なトーラス 、 円筒 、または 二重円錐 の 幾何 学的反転 である。特に、これら後者は、それ自体がデュパンサイクライドの例である。これらは、 シャルル・デュパンが 1802 年頃に エコール・ポリテクニーク の学生として ガスパール・モンジュ の講義を 聞いていた時に発見され、 彼にちなんで命名された。 [1] デュパンサイクライドの主な特性は、 2つの異なる方法で チャネル面(1パラメータの球族のエンベロープ)になることである。この特性は、デュパンサイクライドが リー球面幾何 学における自然なオブジェクトであることを意味する 。
デュパンサイクライドは単に サイクライド と呼ばれることが多いが、後者の用語は、 3 次元の ラプラス方程式 の変数分離理論で重要な、より一般的なクラスの 4 次 曲面 を指す場合にも使用される。
デュパン環化物はデュパンだけでなく、 A. ケイリー 、 J.C. マクスウェル 、 メイベル・M. ヤング によっても研究されました。
デュパンサイクライドは、サイクライド パッチが有理的な表現を持ち、キャナル サーフェス (円柱、円錐、トーラスなど) をブレンドするのに適しているため、
コンピュータ支援設計 で使用されます。
定義とプロパティ
デュパンサイクライドには、同等の定義がいくつかあります。 では 、それらはトーラス、円筒、二重円錐の任意の反転による像として定義できます。これは、デュパンサイクライドのクラスが メビウス変換(または共形変換) に対して不変であることを示しています。複素空間では、 後者の3つの多様体は反転によって互いにマッピングできるため、デュパンサイクライドはトーラス(または円筒、または二重円錐)の反転として定義できます。
R
3
{\displaystyle \mathbb {R} ^{3}}
C
3
{\displaystyle \mathbb {C} ^{3}}
標準的なトーラスはメビウス群の 2 次元アーベル 部分群 の下の点の軌道であるため 、サイクライドも同様であり、これがサイクライドを定義する 2 番目の方法となります。
デュパンサイクライドを特徴付ける3つ目の性質は、その 曲率線 がすべて円(おそらく 無限遠点 を通る)であることです。同様に、曲率球(接点における 主曲率 の 逆数 に等しい半径で曲面に 接する球)は、対応する曲率線に沿って一定です。つまり、曲率球は、対応する曲率線を 大円 として含む接球です 。同様に、 焦点面 の両方のシートは円錐曲線に退化します。 [2] したがって、任意のデュパンサイクライドは2つの異なる方法で チャネル面 (つまり、1パラメータの球族のエンベロープ)であり、これにより別の特徴付けが得られます。
球面による定義は、デュパンサイクライドのクラスがすべての リー球面変換 のより大きな群の下で不変であることを示す。つまり、任意の2つのデュパンサイクライドは リー同値である。それらは(ある意味で)球面の次にリー不変な曲面の最も単純なクラスを形成し、したがって リー球面幾何学 において特に重要である 。 [3]
この定義は、デュパン サイクライドが、与えられた 3 つの互いに接する球に接する 1 パラメータ球族の包絡線であることを意味します。したがって、デュパン サイクライドは、無限に多くの ソディの六角形 球構成に接します。
パラメトリック表現と暗黙的表現
(CS): デュパン サイクライドは 、球の 1 つのパラメータ ペンシルの エンベロープ として 2 つの方法で表現できます。つまり、 2 つの 準線を持つ 運河面 です。準線のペアは 焦点円錐 で、楕円と双曲線、または 2 つの放物線で構成されます。最初のケースでは、サイクライドは 楕円 として定義され、2 番目のケースでは 放物線 として定義されます。どちらの場合も、円錐は 2 つの相互に直交する平面に含まれます。極端な場合 (楕円が円の場合)、双曲線は直線に退化し、サイクライドは回転トーラスになります。
サイクリドのさらなる特別な性質は次のとおりです。
(CL): デュパンサイクライドの 任意の 曲率線は 円 です。
楕円サイクリド
楕円サイクライドは、次の式でパラメトリックに表すことができます (「チャネル面としてのサイクライド」のセクションを参照)。
設計パラメータの意味 : は楕円の共頂点における生成球の半径です 。xz平面にある中心を持つ2つの円の 半径は です 。 ここで: および
1つの
、
b
、
c
、
d
{\displaystyle a,b,c,d}
d
{\displaystyle d}
(
±
1つの
、
0
、
0
)
{\displaystyle (\pm a,0,0)}
d
∓
c
{\displaystyle d\mp c}
1つの
=
1
、
b
=
0.98
→
c
=
0.199
{\displaystyle a=1,\;b=0.98\to c=0.199}
d
=
0.3
{\displaystyle d=0.3}
x
=
d
(
c
−
1つの
コス
あなた
コス
ヴ
)
+
b
2
コス
あなた
1つの
−
c
コス
あなた
コス
ヴ
、
{\displaystyle x={\frac {d(ca\cos u\cos v)+b^{2}\cos u}{ac\cos u\cos v}}\ ,}
ええ
=
b
罪
あなた
(
1つの
−
d
コス
ヴ
)
1つの
−
c
コス
あなた
コス
ヴ
、
{\displaystyle y={\frac {b\sin u(ad\cos v)}{ac\cos u\cos v}}\ ,}
ず
=
b
罪
ヴ
(
c
コス
あなた
−
d
)
1つの
−
c
コス
あなた
コス
ヴ
、
{\displaystyle z={\frac {b\sin v(c\cos ud)}{ac\cos u\cos v}}\ ,}
0
≤
あなた
、
ヴ
<
2
π
。
{\displaystyle 0\leq u,v<2\pi \ .}
数字は 楕円の
長軸と短軸、および直線離心率です。
1つの
、
b
、
c
、
d
{\displaystyle a,b,c,d}
c
{\displaystyle c}
x
2
1つの
2
+
ええ
2
b
2
=
1
、
ず
=
0
。
{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1,z=0\ .}
双曲線
は楕円の焦点円錐です。つまり、楕円の焦点/頂点は双曲線の頂点/焦点です。2 つの円錐は、 サイクリッドの
2 つの退化した 焦点面を形成します。
x
2
c
2
−
ず
2
b
2
=
1
、
ええ
=
0
{\displaystyle {\frac {x^{2}}{c^{2}}}-{\frac {z^{2}}{b^{2}}}=1,y=0}
d
{\displaystyle d}
生成球の平均半径と考えることができます。
の場合 、 それぞれ表面の曲率線(円)が得られます。
あなた
=
c
o
ん
s
t
{\displaystyle u=const}
ヴ
=
c
o
ん
s
t
{\displaystyle v=const}
対応する 暗黙的な表現は 次のとおりです。
(
x
2
+
ええ
2
+
ず
2
+
b
2
−
d
2
)
2
−
4
(
1つの
x
−
c
d
)
2
−
4
b
2
ええ
2
=
0
。
{\displaystyle (x^{2}+y^{2}+z^{2}+b^{2}-d^{2})^{2}-4(ax-cd)^{2}- 4b^{2}y^{2}=0\ .}
の場合 、つまり楕円は円に なり 、双曲線は直線に退化します。対応するサイクライドは回転トーラスです。
1つの
=
b
{\displaystyle a=b}
c
=
0
{\displaystyle c=0}
より直感的な設計パラメータは、サイクライドと x 軸の交点です。「x 軸上の 4 つの点を通るサイクライド」セクションを参照してください。
放物線サイクライド
放物線サイクライドは、次のパラメトリック表現で表すことができます (「チャネル面としてのサイクライド」セクションを参照)。
放物線サイクライドとその準線(焦点放物線)
x
=
p
2
2
ヴ
2
+
け
(
1
−
あなた
2
−
ヴ
2
)
1
+
あなた
2
+
ヴ
2
、
{\displaystyle x={\frac {p}{2}}\,{\frac {2v^{2}+k(1-u^{2}-v^{2})}{1+u^{ 2}+v^{2}}}\ ,}
ええ
=
p
あなた
ヴ
2
+
け
1
+
あなた
2
+
ヴ
2
、
{\displaystyle y=pu\,{\frac {v^{2}+k}{1+u^{2}+v^{2}}}\ ,}
ず
=
p
ヴ
1
+
あなた
2
−
け
1
+
あなた
2
+
ヴ
2
、
{\displaystyle z=pv\,{\frac {1+u^{2}-k}{1+u^{2}+v^{2}}}\ ,}
−
∞
<
あなた
、
ヴ
<
∞
。
{\displaystyle -\infty <u,v<\infty \ .}
数値によって、 焦点円錐である両方の放物線の形状が決まります。
p
{\displaystyle p}
ええ
2
=
p
2
−
2
p
x
、
ず
=
0
{\displaystyle y^{2}=p^{2}-2px,\ z=0\ }
そして
ず
2
=
2
p
x
、
ええ
=
0
。
{\displaystyle \ z^{2}=2px,\ y=0\ .}
け
{\displaystyle k}
2 つの穴の直径の関係を決定します (図を参照)。 は、両方の直径が等しいことを意味します。図では です 。
け
=
0.5
{\displaystyle k=0.5}
け
=
0.7
{\displaystyle k=0.7}
対応する暗黙の表現は
(
x
+
(
け
2
−
1
)
p
)
(
x
2
+
ええ
2
+
ず
2
−
け
2
p
2
4
)
+
p
ず
2
=
0
。
{\displaystyle \left(x+\left({\frac {k}{2}}-1\right)p\right)\left(x^{2}+y^{2}+z^{2}-{\frac {k^{2}p^{2}}{4}}\right)+pz^{2}=0\ .}
注意 : 円を表示すると、パラメータの必要な制限によって生じるギャップが表示されます 。
あなた
、
ヴ
{\displaystyle u,v}
チャネル表面としてのサイクリド
チャネル面としてのデュパンサイクリド( 球族の 包絡線)
楕円デュパンサイクライドをチャネル面 として生成する方法は2つあります 。1つ目は楕円を準線として使用する方法、2つ目は双曲線を使用する方法です。 [4]
準線としての楕円
xy平面では準線は次式で表される楕円である。
x
2
1つの
2
+
ええ
2
b
2
=
1
、
ず
=
0
{\displaystyle {\frac {x^{2}}{a^{2}}}+{\frac {y^{2}}{b^{2}}}=1\ ,\ z=0\quad }
そして 。
1つの
>
b
{\displaystyle \ a>b}
パラメトリック表現を持つ
x
=
1つの
コス
φ
、
ええ
=
b
罪
φ
、
ず
=
0
。
{\displaystyle \ x=a\cos \varphi \;,\ y=b\sin \varphi \;,\ z=0\ .}
1つの
{\displaystyle a}
は長軸と 短軸です。は
楕円の直線離心率です。したがって、次の 式が成り立ちます。生成球の半径は
b
{\displaystyle b}
c
{\displaystyle c}
c
2
=
a
2
−
b
2
{\displaystyle c^{2}=a^{2}-b^{2}}
r
(
φ
)
=
d
−
c
cos
φ
.
{\displaystyle r(\varphi )=d-c\cos \varphi \ .}
d
{\displaystyle d}
は設計パラメータです。球の半径の平均として考えることができます。 楕円の場合は円、サイクライドの場合は 生成円 (母線) の半径を持つ回転トーラスです。
c
=
0
{\displaystyle c=0}
d
{\displaystyle d}
図では: .
a
=
1
,
b
=
0.99
,
d
=
0.25
{\displaystyle \;a=1,\;b=0.99,\ d=0.25\;}
マクスウェル: 準線楕円の焦点の特性。楕円は 青い円と紫の円の 等距離の集合です。
マクスウェルプロパティ
実際の球の中心(楕円の点)とそれに対応する球の半径の間には次のような単純な関係があり、これはマクスウェルによるものである。 [5]
球の半径と、球の中心(楕円の点)から焦点の 1 つ(ただし固定)までの距離の差/合計は一定です。
証拠
楕円の焦点 は です 。 を選択して 距離を計算すると 、 が得られます 。実際の球の半径 (上記参照) と合わせて が得られます 。
他の焦点を選択すると、次のようになります。
E
=
(
a
cos
φ
,
b
sin
φ
,
0
)
{\displaystyle \ E=(a\cos \varphi ,b\sin \varphi ,0)\ }
F
i
=
(
±
c
,
0
,
0
)
{\displaystyle \ F_{i}=(\pm c,0,0)\ }
F
1
=
(
c
,
0
,
0
)
{\displaystyle \ F_{1}=(c,0,0)\ }
|
E
F
1
|
{\displaystyle \ |EF_{1}|\ }
|
E
F
1
|
=
a
−
c
cos
φ
{\displaystyle \ |EF_{1}|=a-c\cos \varphi \ }
|
E
F
1
|
−
r
=
a
−
d
{\displaystyle \ |EF_{1}|-r=a-d\ }
|
E
F
2
|
+
r
=
a
+
d
.
{\displaystyle \ |EF_{2}|+r=a+d\ .}
したがって:
xy 平面では、球の円の包絡線は、楕円の焦点を中心とし、半径を持つ 2 つの円です (図を参照)。
a
±
d
{\displaystyle a\pm d}
x軸上の4点を通るサイクライド
与えられた実数に属する設計パラメータa、b、c、dを決定する
x
1
,
x
2
,
x
3
,
x
4
{\displaystyle x_{1},x_{2},x_{3},x_{4}}
上: リングサイクライド 中: ホーンサイクライド 下: スピンドルサイクライド
x
1
=
3
,
x
2
=
1
,
x
3
=
−
3
,
x
4
=
−
7
{\displaystyle x_{1}=3,x_{2}=1,x_{3}=-3,x_{4}=-7}
x
1
=
1
,
x
2
=
3
,
x
3
=
−
3
,
x
4
=
−
7
{\displaystyle x_{1}=1,x_{2}=3,x_{3}=-3,x_{4}=-7}
x
1
=
3
,
x
2
=
−
3
,
x
3
=
1
,
x
4
=
−
7
{\displaystyle x_{1}=3,x_{2}=-3,x_{3}=1,x_{4}=-7}
マクスウェル特性は、x 軸との交差を規定することによって環サイクライドを決定する根拠を与えます。
与えられたもの: x 軸上の
4 つの点(図を参照)。
x
1
>
x
2
>
x
3
>
x
4
{\displaystyle x_{1}>x_{2}>x_{3}>x_{4}}
求めるもの: 準線楕円の中心 、半軸 、直線離心率、焦点、および 対応する環サイクライドの
パラメータ。
m
0
{\displaystyle m_{0}}
a
,
b
{\displaystyle a,b}
c
{\displaystyle c}
d
{\displaystyle d}
マクスウェル特性から次の式が導かれる。
2
(
a
+
d
)
=
x
1
−
x
4
,
2
(
a
−
d
)
=
x
2
−
x
3
.
{\displaystyle 2(a+d)=x_{1}-x_{4}\;,\quad \ 2(a-d)=x_{2}-x_{3}\ .}
利回り
の解決
a
,
c
{\displaystyle a,c}
a
=
1
4
(
x
1
+
x
2
−
x
3
−
x
4
)
,
{\displaystyle a={\frac {1}{4}}\left(x_{1}+x_{2}-x_{3}-x_{4}\right),\quad }
d
=
1
4
(
x
1
−
x
2
+
x
3
−
x
4
)
.
{\displaystyle d={\frac {1}{4}}\left(x_{1}-x_{2}+x_{3}-x_{4}\right)\ .}
焦点(X軸上)は
f
1
=
1
2
(
x
2
+
x
3
)
,
f
2
=
1
2
(
x
1
+
x
4
)
{\displaystyle f_{1}={\frac {1}{2}}(x_{2}+x_{3}),\quad f_{2}={\frac {1}{2}}(x_{1}+x_{4})}
そしてそれゆえ
c
=
1
4
(
−
x
1
+
x
2
+
x
3
−
x
4
)
,
b
=
a
2
−
c
2
{\displaystyle c={\frac {1}{4}}\left(-x_{1}+x_{2}+x_{3}-x_{4}\right)\;,\quad \ b={\sqrt {a^{2}-c^{2}}}\ }
焦点円錐(楕円と双曲線)の中心のx座標は
m
0
=
1
4
(
x
1
+
x
2
+
x
3
+
x
4
)
.
{\displaystyle m_{0}={\frac {1}{4}}\left(x_{1}+x_{2}+x_{3}+x_{4}\right)\ .}
上記のパラメトリック表現を使用してサイクライドを表示する場合は、 中心の移動を考慮する必要があります。
m
0
{\displaystyle m_{0}}
数字の順序の意味
x
1
,
x
2
,
x
3
,
x
4
{\displaystyle x_{1},x_{2},x_{3},x_{4}}
(上記の計算では を前提としています 。図を参照してください。)
x
1
>
x
2
>
x
3
>
x
4
{\displaystyle x_{1}>x_{2}>x_{3}>x_{4}}
(H) スワップすると ホーンサイクライドが生成されます。 (S) スワップする とスピンデルサイクライドが生成されます。 (H1) の場合、 1ホーンサイクライドが生成されます。 (R) の場合、 原点で自分自身に接するリングサイクライドが生成されます。
x
1
,
x
2
{\displaystyle x_{1},x_{2}}
x
2
,
x
3
{\displaystyle x_{2},x_{3}}
x
1
=
x
2
=
2
{\displaystyle x_{1}=x_{2}=2}
x
2
=
x
3
=
0
{\displaystyle x_{2}=x_{3}=0}
平行面
パラメータを持つ環サイクリドの平行面
a
=
1
,
b
=
0.98
,
d
=
0.30
,
0.45
,
0.60
{\displaystyle a=1,b=0.98,\ d=0.30,0.45,0.60}
タイプが変わらないように パラメータ を増減すると、 同じタイプの
平行面( 平行曲線と同様)が得られます(図を参照)。
d
{\displaystyle d}
準線としての双曲線
環状サイクリドをチャネル面として生成する2番目の方法は、焦点双曲線を準線として使う。次の式で表される。
準線双曲線上に中心を持つ 2 つの接する球面を持つサイクリッド
x
2
c
2
−
z
2
b
2
=
1
,
y
=
0
.
{\displaystyle {\frac {x^{2}}{c^{2}}}-{\frac {z^{2}}{b^{2}}}=1\ ,\ y=0\ .}
この場合、球は 2 番目の円族 (曲率線) で外側からサイクライドに接します。双曲線の各腕には、円のサブファミリーが属します。1 つのファミリーの球はサイクライドを囲みます (図では紫色)。もう 1 つのファミリーの球は、サイクライドによって外側から接します (青色)。
双曲線のパラメトリック表現:
(
±
c
cosh
ψ
,
0
,
b
sinh
ψ
)
.
{\displaystyle (\pm c\cosh \psi ,0,b\sinh \psi )\ .}
対応する球の半径は
R
(
ψ
)
=
a
cosh
ψ
∓
d
.
{\displaystyle R(\psi )=a\cosh \psi \mp d\ .}
トーラス( )の場合、 双曲線はトーラスの軸に退化します。
c
=
0
{\displaystyle c=0}
双曲線の場合の Maxwell 特性。双曲線の腕は、 両方の灰色の円の等距離曲線です。
H
+
{\displaystyle H_{+}}
マクスウェル特性(双曲線の場合)
双曲線の焦点 は です。双曲線の点 から焦点まで の距離 は であり 、球の半径と合わせると に なります 。同様に になります 。双曲線の 2 番目の腕上の点については、次の方程式が導かれます。
H
±
(
ψ
)
=
(
±
c
cosh
ψ
,
0
,
b
sinh
ψ
)
{\displaystyle \;H_{\pm }(\psi )=(\pm c\cosh \psi ,0,b\sinh \psi )\;}
F
i
=
(
±
a
,
0
,
0
)
{\displaystyle \;F_{i}=(\pm a,0,0)\;}
H
+
(
ψ
)
=
(
c
cosh
ψ
,
0
,
b
sinh
ψ
)
{\displaystyle \;H_{+}(\psi )=(c\cosh \psi ,0,b\sinh \psi )\;}
F
1
{\displaystyle F_{1}}
|
H
+
F
1
|
=
a
cosh
ψ
−
c
{\displaystyle \;|H_{+}F_{1}|=a\cosh \psi -c\;}
R
+
(
ψ
)
=
a
cosh
ψ
−
d
{\displaystyle R_{+}(\psi )=a\cosh \psi -d}
|
H
+
F
1
|
−
R
+
=
d
−
c
{\displaystyle \;|H_{+}F_{1}|-R_{+}=d-c\;}
|
H
+
F
2
|
−
R
+
=
d
+
c
{\displaystyle \;|H_{+}F_{2}|-R_{+}=d+c\;}
R
−
−
|
H
−
F
1
|
=
d
−
c
,
R
−
−
|
H
−
F
2
|
=
d
+
c
.
{\displaystyle \;R_{-}-|H_{-}F_{1}|=d-c\;,\ R_{-}-|H_{-}F_{2}|=d+c\;.}
したがって:
xz 平面では、中心 と半径を持つ球の円には、エンベロープとして中心 と半径 を持つ 2 つの円 (図の灰色) があります 。
H
±
(
ψ
)
{\displaystyle H_{\pm }(\psi )}
R
±
(
ψ
)
{\displaystyle R_{\pm }(\psi )}
F
1
/
2
=
(
±
a
,
0
,
0
)
{\displaystyle F_{1/2}=(\pm a,0,0)}
d
∓
c
{\displaystyle d\mp c}
ポイント構築
パラメトリック表現の導出
楕円サイクライド
楕円と双曲線 (焦点円錐) は、楕円サイクライドの縮退した焦点面です。 楕円と双曲線の任意の点のペアについては、次のことが当てはまります (焦点面の定義による)。
E
,
H
{\displaystyle E,H}
1) この線は サイクライドの法線であり、
E
H
¯
{\displaystyle {\overline {EH}}}
2) サイクライドの対応する点は、 関係によって 弦を分割します (図を参照)。
P
{\displaystyle P}
E
H
{\displaystyle EH}
r
:
R
{\displaystyle r:R}
焦点円錐と球の半径のパラメトリック表現から
楕円:
E
(
u
)
=
(
a
cos
u
,
b
sin
u
,
0
)
,
r
(
u
)
=
d
−
c
cos
u
,
{\displaystyle \quad \ \ \ E(u)=(a\cos u,b\sin u,0),\quad r(u)=d-c\cos u\ \ ,}
双曲線:
H
(
v
)
=
(
c
cos
v
,
0
,
b
tan
v
)
,
R
(
u
)
=
a
cos
v
−
d
.
{\displaystyle \quad H(v)=({\frac {c}{\cos v}},0,b\tan v),\quad R(u)={\frac {a}{\cos v}}-d\ .}
サイクリッドの
対応する点が得られます(図を参照)。
P
{\displaystyle P}
P
(
u
,
v
)
=
R
(
v
)
r
(
u
)
+
R
(
v
)
E
(
u
)
+
r
(
u
)
r
(
u
)
+
R
(
v
)
H
(
v
)
.
{\displaystyle \ P(u,v)={\frac {R(v)}{r(u)+R(v)}}\;E(u)+{\frac {r(u)}{r(u)+R(v)}}\;H(v)\ .}
(双曲線の珍しいけれども便利なパラメトリック表現については、 双曲線を 参照してください。)
詳細な計算により、上記に示した楕円サイクライドのパラメトリック表現が得られます。
チャネル サーフェスに関する記事で示されているパラメトリック表現を使用する場合、一般に、パラメトリック曲線の 1 つのファミリのみが円で構成されます。
パラボリックサイクライド
チャネル面としての放物線サイクライドの生成
放物線の場合のパラメトリック表現の導出も同様に実行されます。
焦点放物線(縮退した焦点面)と球の半径のパラメトリック表現は次のとおりです。
P
1
(
u
)
=
(
p
2
(
1
−
u
2
)
,
p
u
,
0
)
,
r
1
=
p
2
(
1
−
k
+
u
2
)
{\displaystyle P_{1}(u)=\left({\frac {p}{2}}(1-u^{2}),pu,0\right),\quad r_{1}={\frac {p}{2}}(1-k+u^{2})\;}
P
2
(
v
)
=
(
p
2
v
2
,
0
,
p
v
)
,
r
2
=
p
2
(
k
+
v
2
)
{\displaystyle P_{2}(v)=\left({\frac {p}{2}}v^{2},0,pv\right),\qquad \qquad r_{2}={\frac {p}{2}}(k+v^{2})\ }
一つは
P
(
u
,
v
)
=
r
2
(
v
)
r
1
(
u
)
+
r
2
(
v
)
P
1
(
u
)
+
r
1
(
u
)
r
1
(
u
)
+
r
2
(
v
)
P
2
(
v
)
{\displaystyle \ P(u,v)={\frac {r_{2}(v)}{r_{1}(u)+r_{2}(v)}}\;P_{1}(u)+{\frac {r_{1}(u)}{r_{1}(u)+r_{2}(v)}}\;P_{2}(v)}
これは、放物線サイクライドの上記のパラメトリック表現を提供します。
デュパン環式と幾何学的反転
シクリドの研究における利点は以下の特性です:
(I):デュパンサイクライドは 、直円柱 、 直円二重円錐 、または 回転トーラスの 反転 (球面による反射) による 像です。
球面上の反転は次 のように解析的に記述できます。
x
2
+
y
2
+
z
2
=
R
2
{\displaystyle x^{2}+y^{2}+z^{2}=R^{2}}
(
x
,
y
,
z
)
→
R
2
⋅
(
x
,
y
,
z
)
x
2
+
y
2
+
z
2
.
{\displaystyle (x,y,z)\rightarrow {\frac {R^{2}\cdot (x,y,z)}{x^{2}+y^{2}+z^{2}}}\ .}
球面における反転の最も重要な特性は次のとおりです。
球と円は同じオブジェクトにマッピングされます。
原点(反転の中心)を含む平面と線は、それ自体にマッピングされます。
原点を含まない 平面 と線は、原点を通過する球または円上にマッピングされます。
反転は逆写像 と同じである (逆写像と同じ)。
反転すると角度が保存されます。
反転によって任意の表面をマッピングできます。上記の式は、表面がパラメトリックまたは暗黙的に与えられている場合、いずれの場合でも画像表面のパラメトリックまたは暗黙的な表現を与えます。パラメトリック表面の場合は次のようになります。
(
x
(
u
,
v
)
,
y
(
u
,
v
)
,
z
(
u
,
v
)
)
→
R
2
⋅
(
x
(
u
,
v
)
,
y
(
u
,
v
)
,
z
(
u
,
v
)
)
x
(
u
,
v
)
2
+
y
(
u
,
v
)
2
+
z
(
u
,
v
)
2
.
{\displaystyle (x(u,v),y(u,v),z(u,v))\rightarrow {\frac {R^{2}\cdot (x(u,v),y(u,v),z(u,v))}{x(u,v)^{2}+y(u,v)^{2}+z(u,v)^{2}}}\ .}
円筒を球に反転させて生成した環サイクリド(マゼンタ)
原点を含む円筒の反転によって生成される放物線環状サイクライド
円錐の反転によって生成される角サイクライド
トーラスの反転によって生成される環サイクリド
しかし、直円柱、円錐、回転トーラスの場合にのみデュパンサイクライドが得られ、その逆も同様です。
シリンダーの例
a) 原点を含まない直線は、球 (図ではマゼンタ) での反転によって原点を含む円上にマッピングされるため、円筒の像は、原点で互いに接触する円を持つ環状サイクライドになります。図に示されている線分の像として、線分上に像として円セグメントが表示されます。円筒の内側に接触する球は、サイクライドをチャネル面として生成する最初の球束にマッピングされます。円筒の接平面の像は、サイクライドに接触する 2 番目の球束になります。後者は原点を通ります。
b) 2 番目の例では、原点を含む円筒を反転します。原点を通過する線は、その線自体にマッピングされます。したがって、表面は無限であり、放物線サイクライドです。
円錐の例
円錐を生成する線は円上にマッピングされ、円は原点と円錐の頂点の像で交差します。円錐の像は二重角サイクライドです。図は円錐の線分像を示していますが、実際には円分です。
トーラスの例
トーラス上の円束は両方とも (図に示されています)、サイクライド上の対応する円束にマッピングされます。自己交差トーラスの場合は、スピンドル サイクライドになります。
ヴィラルソーサークル
ヴィラルソー円を伴う環式サイクリド
デュパン環サイクライドは適切な反転を介してトーラスの像として見ることができ、反転は円を円または線上にマッピングするため、 ヴィラルソー円 の像はサイクライド上にさらに 2 つの円族を形成します (図を参照)。
設計パラメータの決定
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
パラメトリック サーフェスの反転の式 (上記参照) は、円をパラメトリック曲線として持つサイクライド (トーラスの反転として) のパラメトリック表現を提供します。ただし、パラメトリック ネットのポイントは適切に分散されていません。そのため、設計パラメータを計算し 、上記のパラメトリック表現を使用する方が適切です。
a
,
b
,
c
,
d
{\displaystyle a,b,c,d}
サイクリッド(青)は、トーラス(黒)を単位球(赤)で反転させた画像です。
与えられたもの: x 軸に沿って標準位置からずれたトーラス。 トーラスと x 軸の交点を とします (図を参照)。すべてゼロではありません。そうでない場合、トーラスの反転はリングサイクライドになりません。 必要なのは、 楕円の半軸 と線形離心率 (準線)、および 単位球面における反転下のトーラスのイメージであるリングサイクライドのパラメーターです。
x
1
,
x
2
,
x
3
,
x
4
{\displaystyle x_{1},x_{2},x_{3},x_{4}}
a
,
b
{\displaystyle a,b}
c
{\displaystyle c}
d
{\displaystyle d}
反転は に写像され 、これは環サイクリドの4点のx座標である(図を参照)。 断面サイクリドからx軸上の4点を通ると、
x
i
{\displaystyle x_{i}}
1
x
i
{\displaystyle {\tfrac {1}{x_{i}}}}
a
=
1
4
(
1
x
1
+
1
x
2
−
1
x
3
−
1
x
4
)
,
{\displaystyle a={\frac {1}{4}}\left({\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}-{\frac {1}{x_{3}}}-{\frac {1}{x_{4}}}\right),\quad }
d
=
1
4
(
−
1
x
1
+
1
x
2
−
1
x
3
+
1
x
4
)
{\displaystyle d={\frac {1}{4}}\left(-{\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}-{\frac {1}{x_{3}}}+{\frac {1}{x_{4}}}\right)\ }
そして
c
=
1
4
(
1
x
1
−
1
x
2
−
1
x
3
+
1
x
4
)
,
b
=
a
2
−
c
2
{\displaystyle c={\frac {1}{4}}\left({\frac {1}{x_{1}}}-{\frac {1}{x_{2}}}-{\frac {1}{x_{3}}}+{\frac {1}{x_{4}}}\right)\;,\quad \ b={\sqrt {a^{2}-c^{2}}}\ }
焦点円錐の中心のx座標は
m
0
=
1
4
(
1
x
1
+
1
x
2
+
1
x
3
+
1
x
4
)
.
{\displaystyle m_{0}={\frac {1}{4}}\left({\frac {1}{x_{1}}}+{\frac {1}{x_{2}}}+{\frac {1}{x_{3}}}+{\frac {1}{x_{4}}}\right)\ .}
変数の分離
デュパンサイクライドは、サイクライドのより一般的な概念の特殊なケースであり、二次曲面 の概念の自然な拡張です。二次曲面は、直交座標 ( x 1 、 x 2 、 x 3 )の 2 次多項式の零点集合として記述できますが、サイクライドは、 ( x 1 、 x 2 、 x 3 、 r 2 ) の 2 次多項式の零点集合によって与えられます ( r 2 = x 1 2 + x 2 2 + x 3 2 )
。したがって、これは直交座標の 4 次曲面であり、次の形式の方程式を持ちます。
A
r
4
+
∑
i
=
1
3
P
i
x
i
r
2
+
∑
i
,
j
=
1
3
Q
i
j
x
i
x
j
+
∑
i
=
1
3
R
i
x
i
+
B
=
0
{\displaystyle Ar^{4}+\sum _{i=1}^{3}P_{i}x_{i}r^{2}+\sum _{i,j=1}^{3}Q_{ij}x_{i}x_{j}+\sum _{i=1}^{3}R_{i}x_{i}+B=0}
ここで Q は3x3行列、 P と R は3次元 ベクトル 、 A と Bは 定数である。 [6]
サイクリドのファミリーは、さまざまなサイクリド座標幾何学を生み出します。
マキシム・ボッチャー の1891年の学位論文『 ポテンシャル理論の理論について 』では 、 3変数の ラプラス方程式 は、17の共形的に異なる2次および循環座標幾何学における変数分離法を用いて解くことができることが示された。ラプラス方程式のR変数分離法を研究することで、他の多くの循環幾何学を得ることができる。 [7]
参照
外部リンク
注記
^ オコナー&ロバートソン 2000
^ ヒルベルト&コーン・ヴォッセン 1999
^ セシル 1992
^ W. Blaschke: Analytische Geometrie 、Springer-Verlag、2013、 ISBN 303486812X 、S. 115
^ W. Boehm著 「幾何学的モデリングにおけるサイクリッドについて 」Computer Aided Geometric Design 7、1990年、243~255頁 に記載。
^ ミラー 1977
^ ムーン&スペンサー 1961
参考文献
セシル、トーマス E. (1992)、 リー球面幾何学 、ニューヨーク:Universitext、Springer-Verlag、 ISBN 978-0-387-97747-8 。
アイゼンハート、ルーサー P. (1960)、「§133 デュパンのサイクリッド」、 曲線と曲面の微分幾何学に関する論文 、ニューヨーク: ドーバー、pp. 312–314 。
ヒルベルト、デイヴィッド 、 コーン=ヴォッセン、ステファン (1999) 『幾何学と想像力 』アメリカ数学会、 ISBN 0-8218-1998-4 。
ムーン、パリー、スペンサー、ドミナ・エベル(1961)、 場の理論ハンドブック:座標系、微分方程式、およびその解を含む 、シュプリンガー、 ISBN 0-387-02732-7 。
オコナー、ジョン J.、ロバートソン、エドマンド F. (2000)、「ピエール・シャルル・フランソワ・デュパン」、 MacTutor 数学史アーカイブ 。
Pinkall, Ulrich (1986)、「§3.3 デュパンのサイクリッド」、G. Fischer (編)、『 大学・博物館コレクションの数学的モデル』 、ブラウンシュヴァイク、ドイツ: Vieweg、pp. 28–30 。
ミラー、ウィラード(1977)、 対称性と変数の分離 。
A. Cayley (1873)「サイクリドについて」、 Quarterly Journal of Pure and Applied Mathematics 12: p. 148–163。
V. Chandru、D. Dutta、CM Hoffmann (1989)「Dupin cyclides の幾何学について」、 The Visual Computer。 (5)、p. 277–290。
C. Dupin (1822) 幾何学と機械の応用。 バシュリエ、パリ。
F. Klein、W. Blaschke (1926) Vorlesungen Über Höhere Geometrie。 Springer-Verlag、 ISBN 978-3-642-98494-5 、p. 56.
JC マクスウェル (1868)「サイクリドについて」、 Quarterly Journal of Pure and Applied Mathematics 9: p. 111–126。
MJ Pratt (1989) ソリッドモデリングにおけるサイクリドブレンディング。Wolfgang Strasser、Hans-Peter Seidel (Hrsg.) 共著 「幾何学モデリングの理論と実践」 Springer-Verlag、 ISBN 0-387-51472-4 、p. 235。
YL Srinivas、V. Kumar、D. Dutta (1996)「サイクリドパッチを使用した表面設計」、 Computer-Aided Design 28(4): 263–276。
メイベル・M・ヤング (1916)「デュパンのサイクリドの自己双対面」 アメリカ数学誌 38(3): 269–286
外部リンク
ウィキメディア・コモンズには、デュパン・シクリド に関連するメディアがあります 。