目录

参数方程和空间曲面

发布于 2023/08/09 更新于 2023/08/09

作者 趣宽科技 码云上的源文件

在前面的章节中我们介绍了空间曲面可以通过显式函数或隐式函数来表示。因很多二元函数无法显化,因此显式函能表现的空间曲面类型极其有限,且曲面形状无法调整(比如将抛物面z轴方向的曲面保持平行)。隐式函数几乎可以表示所有二元函数的空间曲面,但必须通过特定的算法,也无法做到调整曲面形状,由于算法的缘故,隐函数曲面在计算过程中难免会增加交叉冗余的曲线,曲面的表面不够光滑。在空间解析几何中,使用参数方程可以很好的表达空间曲面,提高曲面光滑度和通过参数对曲面形状的调整,从而实现显示和隐式函数无法表现的空间曲面效果。

本文分析了常用的参数方程推导过程以及如何通过算法在OpenGL中绘制它们的曲面,帮助用户了解在三维空间中常用曲面的空间解析几何算法和实现过程。

H1

旋转曲面的参数方程

设空间曲线的参数方程为: $$ \ \begin{cases} x = \varphi(t) \\ y = \psi(t) && (a \leq t \leq b) \\ z = \omega(t) \end{cases} \ $$ 设圆心处于原点位置,曲线上的点\(P(\varphi(t), \psi(t), \omega(t))\)绕\(z\)轴旋转,因动点的高度\(z=\omega(t)\)保持不变,所以动点到\(z\)轴的距离是(旋转半径)为: $$ r(t) = \sqrt{\varphi(t)^2 + \psi(t)^2} $$ 如下图所示,在极坐标系下,圆的方程可表示为: $$ \ \begin{cases} x = r(t)\cos\theta \\ y = r(t)\sin \theta \end{cases} \ $$ 由此可以得到旋转曲面的参数方程: $$ \ \begin{cases} x = \sqrt{\varphi(t)^2 + \psi(t)^2} \cos \theta \\ y = \sqrt{\varphi(t)^2 + \psi(t)^2} \sin \theta && (a \leq t \leq b, 0 \leq \theta \leq 2\pi) \\ z = \omega(t) \end{cases} \ $$

/assets/images/article/math/5e344583-7db9-4fc8-ad4e-e2ccb897fa7a

/assets/images/article/math/dccccdc0-90b5-440e-982f-a6c4362b91a0

H1

球面参数方程

如下图所示,\(zOx\)面上的半圆 $$ \ \begin{cases} x = a\sin \varphi \\ y = 0 && (0 \leq \varphi \leq \pi) \\ z = a\cos \varphi \end{cases} \ $$ 这里的\(a\)表示半径,绕\(z\)轴旋转得球面,求该球面的参数方程。

/assets/images/article/math/c540e6ee-159b-4602-ba53-c17906fb6572

我们可以求得旋转半径 $$ r(t) = \sqrt{(a\sin \varphi)^2 + 0^2} = a\sin \varphi $$ 根据上述旋转曲面的参数方程,代入\(r(t)\)后得到球面的参数方程: $$ \ \begin{cases} x = a \sin \varphi \cos \theta \\ y = a \sin \varphi \sin \theta && ( 0 \leq \varphi \leq \pi, 0 \leq \theta \leq 2\pi) \\ z = a \cos \varphi \end{cases} \ $$ 上述公式中,\(a\)表示半径,\(\varphi\)是圆的弧度,相当于线条上的点与\(z\)轴的夹角,\(\theta\)是绕\(z\)轴旋转时与\(x\)轴的夹角,我们也可以计算得到: $$ x^2+y^2+z^2 = a^2\sin^2\varphi\cos^2\theta + a^2\sin^2\varphi \sin^2\theta + a^2\cos^2\varphi $$ $$ =a^2[\sin^2\varphi\cdot(\cos^2\theta + \sin^2\theta) + \cos^2\varphi] $$ 所以可以得到: $$ x^2+y^2+z^2=a^2 $$ 结果是它与球面方程是一致的。它的图形如下:

/assets/images/article/math/e43b71ad-ffc8-45c9-835e-7fa1fb5d8264

H1

旋转抛物面

我们知道抛物面方程是 $$ z=x^2+y^2 $$ 现令\(r=\sqrt{z},z=r^2\),根据旋转曲面的参数方程可得到旋转抛物面的参数方程: $$ \ \begin{cases} x = r\cos\theta \\ y = r\sin\theta && ( a \leq r \leq b, 0 \leq \theta \leq 360) \\ z = r^2 \end{cases} \ $$ 该曲面的函数图形如下:

/assets/images/article/math/199a4364-47a4-4744-a3ee-029060635314

H1

单叶双曲面

它是由直线: $$ x=1, y=t, z=2t \quad (-2 \leq t \leq 2) $$ 绕\(z\)轴旋转而成的旋转曲面。因半径\(r=\sqrt{1+t^2}\),故它的曲面参数方程为 $$ \ \begin{cases} x = \sqrt{1+t^2} \cos \theta \\ y = \sqrt{1+t^2} \sin \theta && (-2 \leq t, 0 \leq \theta \leq 2\pi) \\ z = 2t \end{cases} \ $$ 该曲面的图像如下:

/assets/images/article/math/1c20d68a-8b08-4823-a905-f9d5c0d59b85

H1

使用旋转变换建立旋转曲面的参数方程

上面介绍的旋转曲面参数方程使用了旋转半径来建立参数方程,下介绍通过旋转变换来建立旋转曲面参数方程,在通过二维旋转绘制线段箭头一文中,我们介绍了平面上旋转的公式。

/assets/images/article/math/57cc3ed3-8440-459a-b7a9-8e0aca259112

以\((x_r, y_r)\)为原点,点\(P\)旋转\(\theta\)角到点\(P'\)的计算公式如下: $$ x\,'=x_r+(x - x_r)\cos \theta - (y - y_r) \sin \theta $$ $$ y\,' = y_r + (y - y_r) \cos\theta + (x - x_r)\sin \theta $$ 如果\((x_r, y_r)\)为原点,那么上述公式可写成: $$ \ \begin{cases} x\,' = x\cos\theta -y \sin\theta \\ y\,' = x\sin \theta + y \cos \theta \end{cases} \ $$ 通过旋转变化,求空间曲线 $$ \ \begin{cases} x = \varphi(t) \\ y = \psi(t) && ( a \leq t \leq b)\\ z = \omega(t) \end{cases} \ $$ 绕\(z\)轴旋转而成的曲面的参数方程。曲线上的点\(P(\varphi(t), \psi(t), \omega(t))\),绕\(z\)轴旋转时,动点坐标为: $$ \ \begin{cases} x = \varphi(t) \cos \theta - \psi(t) \sin \theta \\ y = \varphi(t) \sin \theta + \psi(t) \cos \theta && (a \leq t \leq b, 0 \leq \theta \leq 2 \pi)\\ z = \omega(t) \end{cases} \ $$ 我们利用该旋转曲面的参数方程,构建单叶双曲面: $$ x=1, y=t, z=2t \quad (-2 \leq t \leq 2) $$ 它的参数方程为: $$ \ \begin{cases} x = \cos \theta - t \sin\theta \\ y = \sin \theta + t \cos \theta && (-2 \leq t \leq 2, 0 \leq \theta \leq 2 \pi)\\ z = 2t \end{cases} \ $$ 结果如下图:

/assets/images/article/math/1ad94140-6f6f-4ffb-9aa8-648045cd44dc

用这个参数方程绘制的曲面有两组母线:一组母线是纬线,另一组母线是曲线在旋转过程中留下的痕迹(动直线)

H1

双叶双曲面

双叶双曲面是由曲线方程\(x=t, y = t^2, z=t^3 \quad (-1 \leq t \leq 1)\)绕\(z\)轴旋转一周得到的曲面,它的参数方程是: $$ \ \begin{cases} x = t\cos\theta - t^2\sin\theta \\ y = t\sin\theta + t^2\cos\theta && (-1 \leq t \leq 1, 0 \leq \theta \leq 2 \pi) \\ z = t^3 \end{cases} \ $$ 它的函数图形如下:

/assets/images/article/math/7028c3f6-dca5-41e1-9210-a1a942a731c2

H1

圆环面

求\(yOz\)面上的圆:\((y-a)^2+z^2=R^2 \quad (0 < R < a) \)绕\(z\)轴旋转一周得到的旋转曲面参数方程。通过该方程我们可以得知,该圆是以\((a, 0)\)为圆心,半径为\(R\)的圆,如下图所示:

/assets/images/article/math/bdb41403-247e-4c14-b28f-d1804b4632af

通过该方程我们可以求得到\(y=a\pm\sqrt{R^2-z^2},z=\sqrt{R^2-(y-a)^2}\)该圆的参数方程,由于\(\sqrt{R^2-z^2}=a+R\cos (t) = y, \sqrt{R^2-(y-a)^2}=R\sin (t)=z\),通过上面的旋转变换公式可以得到该圆的旋转曲面参数方程: $$ \ \begin{cases} x = 0 \cdot \cos \theta - (a + R\cos t) \sin \theta = -(a + R\cos t) \sin \theta \\ y = 0 \cdot \sin \theta + (a + R\cos t) \cos \theta = (a + R\cos t) \cos \theta \\ z = R\sin t \qquad (0 \leq t \leq 2\pi, 0 \leq \theta \leq 2 \pi,0 < R < a) \end{cases} \ $$ 该参数方程有4个参数,分别是距离圆心的位置\(a\),圆环半径\(R\),圆环上的点和\(y\)轴的夹角\(t\),旋转角度\(\theta\)。该函数图像如下:

/assets/images/article/math/df1e8aab-2802-4b92-80a5-1ca8d847e401

H1

柱面的参数方程

H2

空间曲线形成的柱面

求以空间曲线 $$ x = f(t), y=g(t), z = h(t), \quad (a \leq t \leq b) $$ 为准线,母线平行于非零向量\( \textbf{s} = (m, n, p)\)的柱面的参数方程。我们在准线上任取一点\(P(f(t), g(t), h(t))\),则过\(P\)的母线且平行于向量\(\textbf{s}\)的方程满足: $$ \frac{x-f(t)}{m}=\frac{y-g(t)}{n}=\frac{z-h(t)}{p}=S $$ 令上述方程的结果为\(S\),则母线平行于向量\(\textbf{s}\)的一般曲面参数方程为: $$ \ \begin{cases} x = f(t) + mS \\ y = g(t) + nS && ( -\infty < S < +\infty, a \leq t \leq b)\\ z = h(t) + pS \end{cases} \ $$ 举例来说:求以曲线\(x=t, y=2t^2, z=t^3 \quad (-1 \leq t \leq 1)\)为准线,母线平行于直线 $$ \frac{x-1}{2} = \frac{y}{1}=\frac{z-3}{-1} $$ 柱面的参数方程。上述直线的向量为\((2,1,-1)\)。因此柱面的参数方程为 $$ \ \begin{cases} x = t + 2S \\ y = 2t^2 + S && (-\infty < S < +\infty, -1 \leq t \leq 1)\\ z = t^3 - S \end{cases} \ $$ 该函数的图形如下:

/assets/images/article/math/2566f8ae-55d4-4f05-a5e5-05be8e77b500

H2

空间圆形成的柱面

求以\(xOy\)面上的圆\((x-1)^2 + (y-1)^2 = 1\)为准线,母线平行于向量\(\textbf{s}=(e_1, e_2, e_3)=(-1,-2,1)\)的柱面参数方程。如下图所示:

/assets/images/article/math/1252f0cd-eef7-49cf-a914-af9bd1f36417

由此可知准线的参数方程是:\(x = 1 + \cos t, y = 1+\sin t, z= 0, \quad (0 \leq t \leq 2 \pi)\)。根据上述母线平行于向量\(\textbf{s}\)的一般曲面方程得到圆柱面的参数方程: $$ \ \begin{cases} x = 1 + R\cos t + e_1S \\ y = 1 + R\sin t + e_2S \\ z = e_3S \end{cases} \implies \begin{cases} x = 1 + R\cos t - S \\ y = 1 + R\sin t - 2S \\ z = S \end{cases} \ $$

$$
(-\infty < S < +\infty, 0 \leq t \leq 2 \pi)
$$
该函数图形如下:

/assets/images/article/math/87ef87b0-d181-42dd-8ba7-5106779c6d36

H1

莫比乌斯带

是一种只有一个面(表面)和一条边界的曲面,也是一种重要的拓扑学结构,它的参数方程如下:

$$ \ \begin{cases} x = (2 + u\cos \frac{v}{2}) \cos v \\ y = (2 + u\cos \frac{v}{2}) \sin v && (-1 \leq u \leq 1, 0 \leq v \leq 2\pi) \\ z = u \sin \frac{v}{2} \end{cases} \ $$ 它的函数图形如下:

/assets/images/article/math/9e635210-2da2-4ff8-ac6e-599945b39736

H1

Qklabs中的实现

在Qklabs中实现了上述参数方程的空间曲面,用户可以调整参数观察空间曲面的变化情况。

/assets/images/article/math/d3f9ee61-e83f-41c0-a621-c5388a7b72f4