多元微积分 · 参数曲面

参数曲面

参数曲面是一个映射r(u, v),把一张平的参数矩形里的每个点送到空间里的一个点。矩形里的每条线成了曲面上的一条曲线;一个小格子成了一小片弯曲的面,它的面积约等于小格子的面积乘以r的两个偏导数叉积的长度。矩形的边可以被粘在一起,也可以被捏成一个点。

这个演示里的参数曲面

参数曲面是一个映射r(u,v)r(u, v),把一张平的参数矩形里的每个点P=(u,v)P = (u, v)送到空间里的一个点;所有像点合起来就是曲面。固定v、让u变,rr在曲面上画出一条曲线,叫u线,和参数曲线一样;固定u得到v线。两组线织成玻璃上刻的网格,也就是下面矩形里那套网格的像。在球面上,u是经度,v从南极往上量,所以u线就是纬线圈。

边上发生了什么

这五个例子里,矩形内部不同的点落到曲面上不同的点。边就不一样了。圆柱、球面、环面上r(0,v)=r(2π,v)r(0, v) = r(2\pi, v):左右两条边落在同一条曲线上,矩形被粘成一根管子;环面还把上下两条边也粘起来。莫比乌斯带两端翻过来粘:r(2π,v)=r(0,−v)r(2\pi, v) = r(0, -v)。球面上,整条下边都到了南极,整条上边都到了北极。矩形边上的箭头标出哪两条边粘在一起、朝哪个方向粘。

切向量与法向

偏导数rur_u、rvr_v是沿过P的u线和v线走的速度。ru×rv≠0r_u \times r_v \ne 0时,它们张成r(P)r(P)处的切平面,ru×rvr_u \times r_v是切平面的法向量。ru×rv=0r_u \times r_v = 0的地方,参数化退化:球面两极处ru=0r_u = 0,因为一整条边被挤成了一个点。球面本身在那里完全光滑,和别处一样有切平面;坏掉的只是这一套参数。

小格子放大多少

在P附近,r(u+Δu,v+Δv)r(u + \Delta u, v + \Delta v) ≈r(u,v)+ru Δu+rv Δv\approx r(u, v) + r_u\,\Delta u + r_v\,\Delta v。所以一个小格子Δu×Δv\Delta u \times \Delta v变成的一小片,和以ru Δur_u\,\Delta u、rv Δvr_v\,\Delta v为边的平行四边形(旁边的虚线)很接近。叉积的长度就是两个向量张成的平行四边形的面积,所以这一小片的面积约为∣ru×rv∣ Δu Δv|r_u \times r_v|\,\Delta u\,\Delta v。面积放大倍数是∣ru×rv∣=∣ru∣ ∣rv∣sin⁡θ|r_u \times r_v| = |r_u|\,|r_v| \sin\theta,θ是两条参数线的夹角;只有两条线成直角的地方,它才等于∣ru∣ ∣rv∣|r_u|\,|r_v|。把小块调小,格子缩到无穷小时,读数“小块面积 ÷ ΔuΔv”趋于放大倍数。像这几个例子这样、除边以外只把曲面盖一遍的参数化,把所有小格子加起来就是曲面面积∬D∣ru×rv∣ du dv\iint_D |r_u \times r_v|\,du\,dv,这是曲面积分的起点。

值得注意

  • 函数图像z=f(x,y)z = f(x, y)就是曲面r(u,v)=(u,v,f(u,v))r(u, v) = (u, v, f(u, v)),放大倍数是1+fx2+fy2\sqrt{1 + f_x^2 + f_y^2}。
  • 圆柱上rur_u、rvr_v处处是互相垂直的单位向量:曲面上曲线的长度和曲线之间的夹角都不变,所以圆柱沿接缝剪开就能摊平。
  • 同一张曲面有很多种参数化。球面换一套参数,退化的点就换到别处,球面还是那个球面。

操作

  • 在视图下面的矩形里按下或拖动来移动P;拖过P的线只改一个参数,也可以拖小块。
  • 沿曲面拖动点r(P);拖动别处转动视角。
  • 用键盘时,Tab到矩形上,用方向键:左右改u,上下改v;按住Shift一次走一格。

相关