多元微积分 · 向量场

向量场

向量场给定义域里的每一点配一个箭头F(x, y) = (P, Q);把它读成速度,平面上的一切都会随之流动。放一滴墨水进去,看它怎样移动、转动、被剪斜、被拉长。

01

向量场与本页画面

平面上的向量场给定义域里的每一点(x,y)(x, y)配一个向量F(x,y)=(P(x,y), Q(x,y))\mathbf F(x, y) = (P(x, y),\ Q(x, y))。把它读成速度场,平面上的每一点都会随之移动:粒子满足下面的自治方程组,它走过的路是向量场的积分曲线(也叫流线)。本页画出这个场,让墨水和粒子随它流动,并在探针所在的地方算出F。

场里的一个粒子
x′(t)=P(x,y),y′(t)=Q(x,y)x'(t) = P(x, y), \qquad y'(t) = Q(x, y)

箭头只是这一刻的速度,所以粒子不会沿着一支箭头直走,而是沿着处处与箭头相切的曲线走:旋转场(−y,x)(-y, x)里,(1, 0)处的箭头竖直朝上,墨水的中心却绕着单位圆转。网格上的箭头用同一个比例缩短,比例写在画面下方(少数特别长的画到上限,杆上有一道斜杠);探针的箭头是按真实长度画的F(P),两条虚线是它的分量P和Q。

一小滴墨水能看出场在一点附近的结构。在一阶近似下,它被中心处的F带着走,又被场的导数矩阵变形:面积的相对增长率是div⁡F\operatorname{div}\mathbf F(有大小的墨水是散度在墨水上的平均),各方向的无穷小线元平均以12curl⁡F\tfrac12\operatorname{curl}\mathbf F的角速度转动,剩下的是剪切和拉伸,这两个数都描述不了。两条直径把这一点画了出来:剪切场里到t = 1,一条倾斜了45°,另一条仍然水平。

02

值得注意的现象

  • 背景粒子会在随机的地方重生,所以它们的疏密不代表任何量;要看胀缩,看墨水的面积(散度,E25)。粒子的短尾会消失,不是流线——流线是单独的一个键。
  • 每滴墨水放下时是它自己的t = 0,读数跟着最近放下的一滴。顺流让t增加,倒流让t减少,都可以经过0继续;流动中也可以随时再放墨水。负时间是从初始圆沿同一个场向过去推算,不需要先有一段播放记录。五个线性预设用矩阵指数,单摆和键入的场用有误差控制的数值积分。来回可逆的前提是解唯一、而且一直存在;途中已经停住的点不会因此恢复。
  • 墨水流出计算范围、碰到场爆破或没有定义的地方就停下,轮廓在那里断开,墨水不再填色。本页展示二维、与时间无关的向量场。
03

操作

  • 在画面上点一下放墨水,拖动放一串(最多三滴);打开“平移”后拖动移动画面。拖动P或键入它的坐标(−100到100),它会吸到箭头网格的格点上。P和Q可以用+ − × ÷ ^和sin, exp, ln, sqrt\texttt{sin, exp, ln, sqrt}等函数键入。
  • “演示模式”打开适合投影的全屏视图:空格开始或停下流动,→和←设定方向,H隐藏探针处F的值。“分享”复制一个链接,重新打开时场、探针和墨水都在原来的时刻。
04

相关概念

  • E15梯度
  • E10等高线图筹备中
  • E23曲线积分筹备中
  • E25散度
  • E26旋度筹备中
  • G07相图筹备中
  • D27斜率场

延伸阅读:维基百科:向量场;OpenStax:Calculus Volume 3, 6.1 Vector Fields(英文)。