MATH2010 模拟卷 A — 解答与评分
按有依据的数学步骤给分;其他正确方法应获得相同分数。同一小题中,若前面的算术失误被一致地带入后续计算,仍保留后续正确推理应得的分数。
试题 · 复习路线
Q1. 平面、投影与体积 — 16 分
题目给出的两个方向都是三维空间中的向量。从 P P P 出发,加上这两个方向向量的任意倍数,就得到平面上的点。要用一个方程识别这个平面,需要找到一个同时垂直于两个方向的向量。求距离时,也正是这个法向量给出了所需垂线的方向。
(a) [6] 计算叉积,得到
u × v = ( 2 ⋅ 1 − 0 ⋅ ( − 1 ) , 0 ⋅ 2 − 1 ⋅ 1 , 1 ⋅ ( − 1 ) − 2 ⋅ 2 ) . u\times v=(2\cdot1-0\cdot(-1),\ 0\cdot2-1\cdot1,\ 1\cdot(-1)-2\cdot2). u × v = ( 2 ⋅ 1 − 0 ⋅ ( − 1 ) , 0 ⋅ 2 − 1 ⋅ 1 , 1 ⋅ ( − 1 ) − 2 ⋅ 2 ) .
n = u × v = ( 2 , − 1 , − 5 ) , ∥ n ∥ 2 = 30. n=u\times v=(2,-1,-5),\qquad \|n\|^2=30. n = u × v = ( 2 , − 1 , − 5 ) , ∥ n ∥ 2 = 30.
检查可得 n ⋅ u = 2 − 2 + 0 = 0 n\cdot u=2-2+0=0 n ⋅ u = 2 − 2 + 0 = 0 ,且 n ⋅ v = 4 + 1 − 5 = 0 n\cdot v=4+1-5=0 n ⋅ v = 4 + 1 − 5 = 0 。叉积非零,故两个方向向量线性无关。对于点 X = ( x , y , z ) X=(x,y,z) X = ( x , y , z ) ,从 P P P 到 X X X 的位移沿着平面,当且仅当该位移垂直于这个法向量。因此,平面方程为 n ⋅ ( ( x , y , z ) − P ) = 0 n\cdot((x,y,z)-P)=0 n ⋅ (( x , y , z ) − P ) = 0 ,即
2 ( x − 1 ) − ( y + 1 ) − 5 ( z − 2 ) = 0 , 2 x − y − 5 z + 7 = 0. 2(x-1)-(y+1)-5(z-2)=0,
\qquad 2x-y-5z+7=0. 2 ( x − 1 ) − ( y + 1 ) − 5 ( z − 2 ) = 0 , 2 x − y − 5 z + 7 = 0.
评分:叉积 3 分;点法式 2 分;与点法式一致的化简方程 1 分。取相反的法向量仍得到同一平面。
(b) [6] 把平面方程左侧的标量表达式记为 N ( x , y , z ) = 2 x − y − 5 z + 7 N(x,y,z)=2x-y-5z+7 N ( x , y , z ) = 2 x − y − 5 z + 7 。法向量 n n n 是向量,而 N N N 给每个点对应一个实数。其值 N ( O ) = 7 N(O)=7 N ( O ) = 7 衡量带符号的法向位移,但仍含有法向量本身的尺度。除以法向量的长度,才能消去这个任意尺度。于是,O O O 到平面的距离为
∣ N ( O ) ∣ ∥ n ∥ = 7 30 . \frac{|N(O)|}{\|n\|}=\frac7{\sqrt{30}}. ∥ n ∥ ∣ N ( O ) ∣ = 30 7 .
若要求垂足而不只是距离,就使用从 O O O 引出的垂线:X = λ n = ( 2 λ , − λ , − 5 λ ) X=\lambda n=(2\lambda,-\lambda,-5\lambda) X = λn = ( 2 λ , − λ , − 5 λ ) 。把这三个坐标代入平面方程,得到
2 ( 2 λ ) − ( − λ ) − 5 ( − 5 λ ) + 7 = ( 4 + 1 + 25 ) λ + 7 = 30 λ + 7 = 0. 2(2\lambda)-(-\lambda)-5(-5\lambda)+7
=(4+1+25)\lambda+7=30\lambda+7=0. 2 ( 2 λ ) − ( − λ ) − 5 ( − 5 λ ) + 7 = ( 4 + 1 + 25 ) λ + 7 = 30 λ + 7 = 0.
因此 λ = − 7 / 30 \lambda=-7/30 λ = − 7/30 ,垂足为
B = − 7 30 ( 2 , − 1 , − 5 ) = ( − 7 15 , 7 30 , 7 6 ) . B=-\frac7{30}(2,-1,-5)
=\left(-\frac7{15},\frac7{30},\frac76\right). B = − 30 7 ( 2 , − 1 , − 5 ) = ( − 15 7 , 30 7 , 6 7 ) .
代入可验证 N ( B ) = ( − 28 − 7 − 175 + 210 ) / 30 = 0 N(B)=(-28-7-175+210)/30=0 N ( B ) = ( − 28 − 7 − 175 + 210 ) /30 = 0 ,且根据构造,O B ∥ n OB\parallel n OB ∥ n 。参数 λ \lambda λ 本身不是距离:参数每增加一单位,移动的是一个非单位向量 n n n 。实际长度为 ∣ λ ∣ ∥ n ∥ = 7 / 30 |\lambda|\|n\|=7/\sqrt{30} ∣ λ ∣∥ n ∥ = 7/ 30 ,与前面结果一致。参数为负说明垂足位于所选法向量的反方向;距离本身则非负。评分:距离 2 分;沿法向量构造垂线 2 分;正确垂足 2 分。
(c) [4] 标量三重积为
( u × v ) ⋅ w = ( 2 , − 1 , − 5 ) ⋅ ( 0 , 1 , 1 ) = − 6. (u\times v)\cdot w=(2,-1,-5)\cdot(0,1,1)=-6. ( u × v ) ⋅ w = ( 2 , − 1 , − 5 ) ⋅ ( 0 , 1 , 1 ) = − 6.
这里,平行四边形底面的面积为 ∥ u × v ∥ = 30 \|u\times v\|=\sqrt{30} ∥ u × v ∥ = 30 。由 w w w 提供的垂直高度,是它在单位法向量上投影的绝对值,即 6 / 30 6/\sqrt{30} 6/ 30 。底面积乘以高度得到 6 6 6 ,这就解释了为什么体积等于标量三重积的绝对值。三重积的负号表示取向;交换两条棱会改变符号,但不会改变这个立体的体积。评分:三重积 2 分;取绝对值得到体积并解释取向 2 分。
若本题有困难,重温向量与投影 和平面与体积 。
Q2. 集合及其边缘 — 16 分
先把不等式翻译成几何图形:半径平方的限制给出从 1 1 1 到 2 2 2 的半径范围,而 y > 0 y>0 y > 0 保留上半平面。圆弧边缘包含在集合中,水平边缘则被排除。内部、闭包和边界的所有检验,都使用环境平面中的开球,球心取在正在检验的点上。
(a) [8] 内部由严格不等式描述;补上缺失的水平边缘后得到闭包:
Int S = { 1 < x 2 + y 2 < 4 , y > 0 } , S ‾ = { 1 ≤ x 2 + y 2 ≤ 4 , y ≥ 0 } . \operatorname{Int}S=\{1<x^2+y^2<4,\ y>0\},
\qquad
\overline S=\{1\le x^2+y^2\le4,\ y\ge0\}. Int S = { 1 < x 2 + y 2 < 4 , y > 0 } , S = { 1 ≤ x 2 + y 2 ≤ 4 , y ≥ 0 } .
边界为
∂ S = { x 2 + y 2 ∈ { 1 , 4 } , y ≥ 0 } ∪ { ( x , 0 ) : 1 ≤ ∣ x ∣ ≤ 2 } . \partial S=
\{x^2+y^2\in\{1,4\},\ y\ge0\}
\ \cup\,
\{(x,0):1\le |x|\le2\}. ∂ S = { x 2 + y 2 ∈ { 1 , 4 } , y ≥ 0 } ∪ {( x , 0 ) : 1 ≤ ∣ x ∣ ≤ 2 } .
对于内部,径向和竖直方向的严格不等式都留有余量,因此可以朝任意方向移动一小段,仍留在 S S S 中。在任意一条圆周上,跨过圆周移动就会离开允许的半径区间,所以这些虽然属于集合的点并不是内点。
对于闭包,把严格的竖直不等式改为非严格不等式,恰好补上缺失的水平边缘。对于每个新增点,都可以保持半径不变,让上半平面内的角度趋于 0 0 0 或 π \pi π ,从而用集合中的点趋近它。若一点不在上述闭包中,它就违反至少一个闭不等式,因此有一个与 S S S 不相交的邻域。
边界等于闭包除去内部后的部分,即两条上半圆弧与两段坐标轴线段。位于 − 1 -1 − 1 与 1 1 1 之间的坐标轴线段并不是另一条边界:它的内部点位于被挖去的洞内,存在不与 S S S 相交的小开球。具体而言,以原点为中心、半径为 1 / 2 1/2 1/2 的开球不可能与 S S S 相交,因为集合中各点的半径至少为 1 1 1 。所以原点是外点,而不是边界点。半径超过 2 2 2 的点也与 S S S 隔开。这样才逐一确定了全部边界部分,而没有把整条坐标轴都误当成边界。评分:内部 2 分;闭包 2 分;圆弧及两段水平线段 2 分;邻域或趋近论证 2 分。
(b) [6] S S S 不是开集 :( 0 , 1 ) ∈ S (0,1)\in S ( 0 , 1 ) ∈ S 位于内侧圆弧上,以该点为中心的每个开球都含有半径小于 1 1 1 的点。它不是闭集 :点列 ( 1 , 1 / k ) (1,1/k) ( 1 , 1/ k ) 中的每一点(k k k 为正整数)都属于 S S S ,却趋于 ( 1 , 0 ) ∉ S (1,0)\notin S ( 1 , 0 ) ∈ / S 。它有界 ,因为 ∥ ( x , y ) ∥ ≤ 2 \|(x,y)\|\le2 ∥ ( x , y ) ∥ ≤ 2 ;例如,以原点为中心、半径为 3 3 3 的开球包含整个集合。
对于道路连通性,把任意两点写成它们在上半平面中唯一的极坐标形式 ( r 0 , θ 0 ) , ( r 1 , θ 1 ) (r_0,\theta_0),(r_1,\theta_1) ( r 0 , θ 0 ) , ( r 1 , θ 1 ) ,其中 1 ≤ r i ≤ 2 1\le r_i\le2 1 ≤ r i ≤ 2 且 0 < θ i < π 0<\theta_i<\pi 0 < θ i < π 。对 0 ≤ s ≤ 1 0\le s\le1 0 ≤ s ≤ 1 ,令
r ( s ) = ( 1 − s ) r 0 + s r 1 , θ ( s ) = ( 1 − s ) θ 0 + s θ 1 , γ ( s ) = ( r ( s ) cos θ ( s ) , r ( s ) sin θ ( s ) ) . r(s)=(1-s)r_0+sr_1,\qquad
\theta(s)=(1-s)\theta_0+s\theta_1,
\qquad
\gamma(s)=(r(s)\cos\theta(s),r(s)\sin\theta(s)). r ( s ) = ( 1 − s ) r 0 + s r 1 , θ ( s ) = ( 1 − s ) θ 0 + s θ 1 , γ ( s ) = ( r ( s ) cos θ ( s ) , r ( s ) sin θ ( s )) .
半径是 [ 1 , 2 ] [1,2] [ 1 , 2 ] 中两个数的加权平均,因此仍在该区间内。角度是严格介于 0 0 0 与 π \pi π 之间的两个数的加权平均,因此也严格留在这两个界限之间。于是,第二个坐标始终为正。正弦、余弦以及插值得到的坐标函数都连续,路径的端点也正是指定的两点。这逐项验证了道路连通定义的所有要求。
直线段是另一种路径构造,不一定有效:连接半圆环两侧的线段可能穿过中间的洞。这里选用极坐标路径,在改变半径和角度的同时,保证整条路径始终满足集合限制。评分:开集、闭集判断及对应例证 2 分;有界性 1 分;正确路径及其包含于集合的论证 3 分。
(c) [2] 该点为
( 3 2 cos 2 π 3 , 3 2 sin 2 π 3 ) = ( − 3 4 , 3 3 4 ) . \left(\frac32\cos\frac{2\pi}3,\frac32\sin\frac{2\pi}3\right)
=\left(-\frac34,\frac{3\sqrt3}4\right). ( 2 3 cos 3 2 π , 2 3 sin 3 2 π ) = ( − 4 3 , 4 3 3 ) .
余弦值为 − 1 / 2 -1/2 − 1/2 ,正弦值为 3 / 2 \sqrt3/2 3 /2 ,因此得到上述两个乘积。半径平方为 9 / 16 + 27 / 16 = 9 / 4 9/16+27/16=9/4 9/16 + 27/16 = 9/4 ,介于 1 1 1 与 4 4 4 之间,而且第二个坐标为正,所以该点属于 S S S 。第一个坐标为负,也与题目指定的左上方角度一致。评分:坐标 1 分;验证属于集合 1 分。
重温点集与边界判断 和坐标转换 。
Q3. 怎样的趋近能证明极限? — 18 分
对于第一个函数,目标是控制所有邻近点,而不是收集若干成功路径的例子。对于第二个函数,只要找到一条得到不同结果的路径,就足以否定极限。先分清这两个目标,才能决定寻找哪一类方法。
(a) [6] 展开非负平方 ( x 2 − y 2 ) 2 ≥ 0 (x^2-y^2)^2\ge0 ( x 2 − y 2 ) 2 ≥ 0 ,得到 x 4 − 2 x 2 y 2 + y 4 ≥ 0 x^4-2x^2y^2+y^4\ge0 x 4 − 2 x 2 y 2 + y 4 ≥ 0 。两边加上 4 x 2 y 2 4x^2y^2 4 x 2 y 2 ,就有 4 x 2 y 2 ≤ ( x 2 + y 2 ) 2 4x^2y^2\le(x^2+y^2)^2 4 x 2 y 2 ≤ ( x 2 + y 2 ) 2 。在原点之外,分母为正,因此可以相除;记 r = x 2 + y 2 r=\sqrt{x^2+y^2} r = x 2 + y 2 ,得到
0 ≤ F ( x , y ) ≤ x 2 + y 2 4 = r 2 4 ⟶ 0. 0\le F(x,y)\le\frac{x^2+y^2}{4}=\frac{r^2}{4}\longrightarrow0. 0 ≤ F ( x , y ) ≤ 4 x 2 + y 2 = 4 r 2 ⟶ 0.
对于 ε > 0 \varepsilon>0 ε > 0 ,取 δ = 2 ε \delta=2\sqrt\varepsilon δ = 2 ε 。若 0 < r < δ 0<r<\delta 0 < r < δ ,则 r 2 / 4 < δ 2 / 4 = ε r^2/4<\delta^2/4=\varepsilon r 2 /4 < δ 2 /4 = ε ,进而 ∣ F ( x , y ) − F ( 0 , 0 ) ∣ < ε |F(x,y)-F(0,0)|<\varepsilon ∣ F ( x , y ) − F ( 0 , 0 ) ∣ < ε 。例如,当输出容许误差为 0.01 0.01 0.01 时,只要输入距离小于 0.2 0.2 0.2 ,就能保证误差要求。由于估计中不再含有角度或斜率因子,同一个半径适用于所有趋近方式。二元极限为零;再结合定义的原点函数值也是零,才得到原点连续这一结论。评分:正确的一致估计 3 分;极限与连续性结论 1 分;明确给出 δ \delta δ 并验证 2 分。
(b) [4] 沿 y = m x y=mx y = m x ,当 m ≠ 1 m\ne1 m = 1 时,
G ( x , m x ) = ( m − 1 ) x 3 x 4 + ( m − 1 ) 2 x 2 = ( m − 1 ) x x 2 + ( m − 1 ) 2 ( x ≠ 0 ) . G(x,mx)=\frac{(m-1)x^3}{x^4+(m-1)^2x^2}
=\frac{(m-1)x}{x^2+(m-1)^2}\quad(x\ne0). G ( x , m x ) = x 4 + ( m − 1 ) 2 x 2 ( m − 1 ) x 3 = x 2 + ( m − 1 ) 2 ( m − 1 ) x ( x = 0 ) .
G ( x , m x ) = ( m − 1 ) x x 2 + ( m − 1 ) 2 ⟶ 0. G(x,mx)=\frac{(m-1)x}{x^2+(m-1)^2}\longrightarrow0. G ( x , m x ) = x 2 + ( m − 1 ) 2 ( m − 1 ) x ⟶ 0.
取这个极限时斜率固定,因此分母趋于正数 ( m − 1 ) 2 (m-1)^2 ( m − 1 ) 2 。当 m = 1 m=1 m = 1 时,回到原商式:分子为零,在原点之外分母为 x 4 > 0 x^4>0 x 4 > 0 。沿竖直直线 x = 0 x=0 x = 0 ,分子也为零,分母则为 y 2 > 0 y^2>0 y 2 > 0 。所以沿每条直线的极限均为零。但斜率随着点趋近原点而变化的路径,仍未经过检验。评分:除斜率 1 外的所有有限斜率 2 分;斜率 1 和竖直直线 2 分。
(c) [4] 为找到有效的曲线,先比较分母中的 x 4 x^4 x 4 与 ( y − x ) 2 (y-x)^2 ( y − x ) 2 。令 y − x = x 2 y-x=x^2 y − x = x 2 ,就能让这两项保持相同量级,也让分子具有相同量级。由此选出曲线 y = x + x 2 y=x+x^2 y = x + x 2 。当 x ≠ 0 x\ne0 x = 0 时,
G ( x , x + x 2 ) = x 4 x 4 + x 4 = 1 2 . G(x,x+x^2)=\frac{x^4}{x^4+x^4}=\frac12. G ( x , x + x 2 ) = x 4 + x 4 x 4 = 2 1 .
这与沿直线 y = x y=x y = x 所得的零不同,因此二元极限不存在。原点连至曲线上当前点的直线斜率为 y / x = 1 + x y/x=1+x y / x = 1 + x 。它随所取点变化,所以这条曲线并不是前面检验过的某条固定斜率直线。在原点指定任何函数值,都无法补救这个不存在的二元极限。评分:正确的曲线及极限值 2 分;比较并得出结论 2 分。
(d) [4] 固定 x ≠ 0 x\ne0 x = 0 ,由商在 y = 0 y=0 y = 0 处的连续性可得
lim y → 0 G ( x , y ) = G ( x , 0 ) = − x 1 + x 2 . \lim_{y\to0}G(x,y)=G(x,0)=-\frac{x}{1+x^2}. y → 0 lim G ( x , y ) = G ( x , 0 ) = − 1 + x 2 x .
第一步中,分母趋于 x 4 + x 2 > 0 x^4+x^2>0 x 4 + x 2 > 0 ,所以直接代入 y = 0 y=0 y = 0 有依据。接着令 x → 0 x\to0 x → 0 ,外层极限为零。换一个次序时,固定 y ≠ 0 y\ne0 y = 0 。令 x → 0 x\to0 x → 0 ,分子趋于零,分母趋于 y 2 > 0 y^2>0 y 2 > 0 ,所以 lim x → 0 G ( x , y ) = 0 \lim_{x\to0}G(x,y)=0 lim x → 0 G ( x , y ) = 0 ;外层极限仍为零。
每一种累次过程都先固定一个坐标,完成另一个坐标的极限,因此并没有检验两个坐标同时沿曲线变化的情形。两个累次极限相等,不能证明二元极限存在;(c) 就是对这一推论的明确反例。真正的二元极限证明,需要例如 (a) 中那样的一致估计。评分:两个累次极限各 1 分;正确解释逻辑关系 2 分。
重温一致估计与趋近路径 和连续延拓 。
Q4. 对正确的变量求导 — 16 分
输入包含两个实坐标,输出是一个实数。每个偏导数是沿某一坐标方向的标量变化率。梯度把两个变化率收集成一个向量;混合偏导则是对变化率函数再次求导得到的标量。
(a) [6] 对 x x x 求导时,把 y y y 看作常数。指数 x y xy x y 的导数是 y y y ,而 log ( 1 + y ) \log(1+y) log ( 1 + y ) 是常数因子。对 y y y 求导时,指数的导数是 x x x ,log ( 1 + y ) \log(1+y) log ( 1 + y ) 的导数则是 1 / ( 1 + y ) 1/(1+y) 1/ ( 1 + y ) 。因此
H x = y e x y + 2 x log ( 1 + y ) , H y = x e x y + x 2 1 + y , ∇ H ( 1 , 0 ) = ( 0 , 2 ) . H_x=ye^{xy}+2x\log(1+y),\qquad
H_y=xe^{xy}+\frac{x^2}{1+y},\qquad
\nabla H(1,0)=(0,2). H x = y e x y + 2 x log ( 1 + y ) , H y = x e x y + 1 + y x 2 , ∇ H ( 1 , 0 ) = ( 0 , 2 ) .
代入指定点时,x y = 0 xy=0 x y = 0 、e 0 = 1 e^0=1 e 0 = 1 、log 1 = 0 \log1=0 log 1 = 0 、1 + y = 1 1+y=1 1 + y = 1 。所以 H x ( 1 , 0 ) = 0 ⋅ 1 + 2 ⋅ 1 ⋅ 0 = 0 H_x(1,0)=0\cdot1+2\cdot1\cdot0=0 H x ( 1 , 0 ) = 0 ⋅ 1 + 2 ⋅ 1 ⋅ 0 = 0 ,而 H y ( 1 , 0 ) = 1 ⋅ 1 + 1 2 / 1 = 2 H_y(1,0)=1\cdot1+1^2/1=2 H y ( 1 , 0 ) = 1 ⋅ 1 + 1 2 /1 = 2 。也可以先只固定 x = 1 x=1 x = 1 ,保留正在变化的变量,写成 H ( 1 , y ) = e y + log ( 1 + y ) H(1,y)=e^y+\log(1+y) H ( 1 , y ) = e y + log ( 1 + y ) 。它在零点的导数为 e 0 + 1 / ( 1 + 0 ) = 2 e^0+1/(1+0)=2 e 0 + 1/ ( 1 + 0 ) = 2 。如果一开始就把两个坐标全部代入,只会得到单独一个函数值 H ( 1 , 0 ) = 1 H(1,0)=1 H ( 1 , 0 ) = 1 ,而丢失求变化率所需的邻近函数值。评分:两个一阶偏导各 2 分;在正确点处计算梯度 2 分。
(b) [6] 这里,H x y H_{xy} H x y 表示对 H x H_x H x 关于 y y y 求导。乘积 y e x y ye^{xy} y e x y 提供两项:
∂ y ( y e x y ) = e x y + x y e x y , ∂ y ( 2 x log ( 1 + y ) ) = 2 x 1 + y . \partial_y(ye^{xy})=e^{xy}+xye^{xy},\qquad
\partial_y(2x\log(1+y))=\frac{2x}{1+y}. ∂ y ( y e x y ) = e x y + x y e x y , ∂ y ( 2 x log ( 1 + y )) = 1 + y 2 x .
对于 H y x H_{yx} H y x ,则对 H y H_y H y 关于 x x x 求导:
∂ x ( x e x y ) = e x y + x y e x y , ∂ x ( x 2 1 + y ) = 2 x 1 + y . \partial_x(xe^{xy})=e^{xy}+xye^{xy},\qquad
\partial_x\!\left(\frac{x^2}{1+y}\right)=\frac{2x}{1+y}. ∂ x ( x e x y ) = e x y + x y e x y , ∂ x ( 1 + y x 2 ) = 1 + y 2 x .
因此,两种计算都得到
H x y = e x y ( 1 + x y ) + 2 x 1 + y , H y x = e x y ( 1 + x y ) + 2 x 1 + y . H_{xy}=e^{xy}(1+xy)+\frac{2x}{1+y},\qquad
H_{yx}=e^{xy}(1+xy)+\frac{2x}{1+y}. H x y = e x y ( 1 + x y ) + 1 + y 2 x , H y x = e x y ( 1 + x y ) + 1 + y 2 x .
在 ( 1 , 0 ) (1,0) ( 1 , 0 ) 处,共同的表达式为 1 ( 1 + 0 ) + 2 / 1 = 3 1(1+0)+2/1=3 1 ( 1 + 0 ) + 2/1 = 3 。乘积法则的两项都必须保留:如果只对指数部分求导,就会漏掉单独的指数函数项。评分:两个混合偏导各 2 分;代入求值 2 分。
(c) [4] 一个充分条件定理是:若 H H H 在某点的开邻域上属于 C 2 C^2 C 2 ,则该点处的两个二阶混合偏导相等。这是在正则性假设下得到的保证,而不是允许不加检验地交换任意混合偏导的规则。
这里 D D D 是开集,1 + y > 0 1+y>0 1 + y > 0 ,指数、多项式及对数表达式和它们的所有导数都在 D D D 上连续。因此 H H H 是 C ∞ C^\infty C ∞ 函数(在 D D D 上),特别也是 C 2 C^2 C 2 函数。例如,对于所求值的点,取半径 1 / 2 1/2 1/2 的开球,球心为 ( 1 , 0 ) (1,0) ( 1 , 0 ) ,它完全位于 D D D 中。直线 y = − 1 y=-1 y = − 1 在函数定义域之外,因此这里没有对该直线上的点作出结论。评分:正确的充分条件 2 分;验证定义域为开集及导数连续性 2 分。仅在一点算出两个数相等,并不能验证定理的假设。
重温偏导与混合偏导 。
Q5. 带误差控制的线性化 — 18 分
线性化的目的是在基点附近,用一个常数加上线性预测的变化量,替代平方根的计算。增量有两个坐标,而预测变化量与误差各是一个实数。这里基点是原点,所以 ρ = x 2 + y 2 \rho=\sqrt{x^2+y^2} ρ = x 2 + y 2 是增量的长度。符号 t = x + 2 y t=x+2y t = x + 2 y 是为简化代数而作的标量代换,并不是时间或距离。要说明近似有依据,就必须把误差与整个增量的长度比较。
(a) [4] 由平方根的标量求导法则可得
f x ( x , y ) = 1 2 9 + x + 2 y , f y ( x , y ) = 2 2 9 + x + 2 y . f_x(x,y)=\frac1{2\sqrt{9+x+2y}},\qquad
f_y(x,y)=\frac2{2\sqrt{9+x+2y}}. f x ( x , y ) = 2 9 + x + 2 y 1 , f y ( x , y ) = 2 9 + x + 2 y 2 .
第二个分子中的因子 2 2 2 ,来自对 x + 2 y x+2y x + 2 y 关于 y y y 求导。在原点,f = 3 f=3 f = 3 、f x = 1 / 6 f_x=1/6 f x = 1/6 、f y = 1 / 3 f_y=1/3 f y = 1/3 。因此
L ( x , y ) = 3 + x + 2 y 6 = 3 + t 6 . L(x,y)=3+\frac{x+2y}{6}=3+\frac t6. L ( x , y ) = 3 + 6 x + 2 y = 3 + 6 t .
常数 3 3 3 是基点处的输出,x / 6 + y / 3 x/6+y/3 x /6 + y /3 预测输出的变化量。仿射函数 L L L 同时包含这两部分。如果把这个函数混同于导数的线性部分,就会遗漏基点的函数值。评分:函数值与偏导 2 分;仿射近似式 2 分。
(b) [6] 先有理化,再减去一次项:
9 + t − 3 = t 9 + t + 3 , \sqrt{9+t}-3=\frac{t}{\sqrt{9+t}+3}, 9 + t − 3 = 9 + t + 3 t ,
因为乘以共轭因子后,分子变为 ( 9 + t ) − 9 = t (9+t)-9=t ( 9 + t ) − 9 = t 。现在通分以减去 t / 6 t/6 t /6 ,再对 3 − 9 + t 3-\sqrt{9+t} 3 − 9 + t 有理化一次:
E = f − L = t 9 + t + 3 − t 6 = 6 t − t ( 9 + t + 3 ) 6 ( 9 + t + 3 ) = t ( 3 − 9 + t ) 6 ( 9 + t + 3 ) = − t 2 6 ( 9 + t + 3 ) 2 . \begin{aligned}
E&=f-L\\
&=\frac{t}{\sqrt{9+t}+3}-\frac t6\\
&=\frac{6t-t(\sqrt{9+t}+3)}{6(\sqrt{9+t}+3)}\\
&=\frac{t(3-\sqrt{9+t})}{6(\sqrt{9+t}+3)}\\
&=-\frac{t^2}{6(\sqrt{9+t}+3)^2}.
\end{aligned} E = f − L = 9 + t + 3 t − 6 t = 6 ( 9 + t + 3 ) 6 t − t ( 9 + t + 3 ) = 6 ( 9 + t + 3 ) t ( 3 − 9 + t ) = − 6 ( 9 + t + 3 ) 2 t 2 .
在所给定义域上,分母为正,而且整个推导不需要除以 t t t ,所以该恒等式在 t = 0 t=0 t = 0 时也成立。分子是平方的相反数,说明 f ≤ L f\le L f ≤ L :近似值高估了真实值。通过精确代数,我们同时确定了误差的大小和方向。评分:第一次有理化 2 分;通分 2 分;第二次有理化及最终表达式 2 分。
(c) [4] 取 ρ ≤ 1 \rho\le1 ρ ≤ 1 。对 ( 1 , 2 ) (1,2) ( 1 , 2 ) 与 ( x , y ) (x,y) ( x , y ) 使用柯西–施瓦茨不等式,得 ∣ t ∣ ≤ 5 ρ ≤ 5 < 9 |t|\le\sqrt5\rho\le\sqrt5<9 ∣ t ∣ ≤ 5 ρ ≤ 5 < 9 ,从而 9 + t > 0 9+t>0 9 + t > 0 ,整个邻域均位于定义域中。恒等式中的分母至少为 6 ⋅ 3 2 = 54 6\cdot3^2=54 6 ⋅ 3 2 = 54 。此外,
t 2 = ( x + 2 y ) 2 ≤ ( 1 2 + 2 2 ) ( x 2 + y 2 ) = 5 ρ 2 . t^2=(x+2y)^2\le(1^2+2^2)(x^2+y^2)=5\rho^2. t 2 = ( x + 2 y ) 2 ≤ ( 1 2 + 2 2 ) ( x 2 + y 2 ) = 5 ρ 2 .
因此,当 0 < ρ ≤ 1 0<\rho\le1 0 < ρ ≤ 1 时,
∣ E ∣ ≤ t 2 54 ≤ 5 ρ 2 54 , ∣ E ∣ ρ ≤ 5 ρ 54 ⟶ 0. |E|\le\frac{t^2}{54}\le\frac{5\rho^2}{54},
\qquad \frac{|E|}{\rho}\le\frac{5\rho}{54}\longrightarrow0. ∣ E ∣ ≤ 54 t 2 ≤ 54 5 ρ 2 , ρ ∣ E ∣ ≤ 54 5 ρ ⟶ 0.
这正是可微性条件。该估计说明,误差至多为增量长度平方的常数倍;再除以增量长度,就剩下一个趋于零的量。只证明误差本身趋于零,结论要弱得多。仅除以 x x x 也不合适,因为还必须检验 x = 0 x=0 x = 0 的增量。为了证明这个极限,常数 54 54 54 不必是可能取到的最精确下界。评分:正确的邻域与估计 2 分;归一化余项趋零 2 分。
(d) [4] 先代入实际增量:t = 0.06 + 2 ( − 0.015 ) = 0.03 t=0.06+2(-0.015)=0.03 t = 0.06 + 2 ( − 0.015 ) = 0.03 。预测变化量为 0.03 / 6 = 0.005 0.03/6=0.005 0.03/6 = 0.005 ,所以近似值为 L = 3.005 L=3.005 L = 3.005 。由于 t > 0 t>0 t > 0 ,有 9 + t + 3 > 6 \sqrt{9+t}+3>6 9 + t + 3 > 6 。于是
0 < L − f < 0.03 2 216 = 1 240000 . 0<L-f<\frac{0.03^2}{216}=\frac1{240000}. 0 < L − f < 216 0.0 3 2 = 240000 1 .
这个界来自 0.03 2 = 0.0009 0.03^2=0.0009 0.0 3 2 = 0.0009 与 0.0009 / 216 = 1 / 240000 0.0009/216=1/240000 0.0009/216 = 1/240000 。特别地,3.005 − 1 / 240000 < f ( 0.06 , − 0.015 ) < 3.005 3.005-1/240000<f(0.06,-0.015)<3.005 3.005 − 1/240000 < f ( 0.06 , − 0.015 ) < 3.005 。也就是说,真实值比近似值小,差值不到约 0.00000417 0.00000417 0.00000417 。这个区间解释了误差估计的实际含义,并没有断言仿射近似值等于平方根。评分:近似值 2 分;正确的绝对误差界 2 分。
重温可微性与线性化 。
Q6. 方向、速率与可微性 — 16 分
这里的输入是三维空间中的位置,输出是标量。梯度的三个分量是沿三个坐标方向的局部变化率。单位方向只指定朝向,不含速度大小;要问每单位距离的变化率,就必须先把题目给出的非单位向量单位化。
(a) [4] 多项式可微,且
∇ g = ( 2 x + 2 y , 2 x + 6 y , 2 z − 2 ) , ∇ g ( A ) = ( 0 , − 4 , 2 ) . \nabla g=(2x+2y,2x+6y,2z-2),\qquad
\nabla g(A)=(0,-4,2). ∇ g = ( 2 x + 2 y , 2 x + 6 y , 2 z − 2 ) , ∇ g ( A ) = ( 0 , − 4 , 2 ) .
例如,混合项 2 x y 2xy 2 x y 对第一个偏导贡献 2 y 2y 2 y ,对第二个偏导贡献 2 x 2x 2 x 。代入坐标后,三个分量分别为 2 − 2 = 0 2-2=0 2 − 2 = 0 、2 − 6 = − 4 2-6=-4 2 − 6 = − 4 与 4 − 2 = 2 4-2=2 4 − 2 = 2 。由于 ∥ v ∥ = 2 2 + ( − 1 ) 2 + 2 2 = 3 \|v\|=\sqrt{2^2+(-1)^2+2^2}=3 ∥ v ∥ = 2 2 + ( − 1 ) 2 + 2 2 = 3 ,单位方向为 v / 3 v/3 v /3 。所以
D v / 3 g ( A ) = ( 0 , − 4 , 2 ) ⋅ ( 2 / 3 , − 1 / 3 , 2 / 3 ) = 8 3 . D_{v/3}g(A)=(0,-4,2)\cdot(2/3,-1/3,2/3)=\frac83. D v /3 g ( A ) = ( 0 , − 4 , 2 ) ⋅ ( 2/3 , − 1/3 , 2/3 ) = 3 8 .
内积中的三项为 0 + 4 / 3 + 4 / 3 = 8 / 3 0+4/3+4/3=8/3 0 + 4/3 + 4/3 = 8/3 。结果为正,表示标量输出沿这个单位方向起初增加。未单位化时的内积 8 8 8 ,对应参数速度为 v v v 的运动:参数每变化一单位,运动距离为三单位。除以三消去额外的速度大小,才得到所求的每单位距离变化率。评分:梯度 2 分;单位化及方向变化率 2 分。
(b) [6] 限制为单位方向,才能比较走过相同空间距离时的变化。若允许把速度任意乘以正的常数,就可以让某个正的方向变化率任意大,因此对那种不同的问题,不存在有限的最快变化率。
梯度长度为 0 2 + ( − 4 ) 2 + 2 2 = 20 = 2 5 \sqrt{0^2+(-4)^2+2^2}=\sqrt{20}=2\sqrt5 0 2 + ( − 4 ) 2 + 2 2 = 20 = 2 5 。对 ∥ u ∥ = 1 \|u\|=1 ∥ u ∥ = 1 ,由柯西–施瓦茨不等式得 ∣ ∇ g ( A ) ⋅ u ∣ ≤ ∥ ∇ g ( A ) ∥ = 2 5 |\nabla g(A)\cdot u|\le\|\nabla g(A)\|=2\sqrt5 ∣∇ g ( A ) ⋅ u ∣ ≤ ∥∇ g ( A ) ∥ = 2 5 。等号要求方向与梯度平行。增加最快时将梯度单位化,减小最快时取其反方向:
u + = ( 0 , − 2 5 , 1 5 ) , u − = − u + . u_+=\left(0,-\frac2{\sqrt5},\frac1{\sqrt5}\right),\qquad
u_-=-u_+. u + = ( 0 , − 5 2 , 5 1 ) , u − = − u + .
每个向量的长度平方均为 4 / 5 + 1 / 5 = 1 4/5+1/5=1 4/5 + 1/5 = 1 。它们与梯度的内积分别为 2 5 2\sqrt5 2 5 与 − 2 5 -2\sqrt5 − 2 5 。因此,在这个点,增加最快的方向使 y y y 减小、z z z 增加。梯度的第一个分量为零,表示这里沿 x x x 方向没有一阶变化贡献,并不表示这个多项式与 x x x 无关。评分:界及等号条件 2 分;两个正确的方向与速率组合各 2 分。
(c) [6] 在确认可微性之前,不能使用梯度内积公式。应从方向导数的定义出发。对于单位向量 u = ( a , b ) u=(a,b) u = ( a , b ) 与 s ≠ 0 s\ne0 s = 0 ,直接代入得到 q ( s a , s b ) = s a 2 b / ( a 2 + 3 b 2 ) q(sa,sb)=s a^2b/(a^2+3b^2) q ( s a , s b ) = s a 2 b / ( a 2 + 3 b 2 ) ,故
q ( s a , s b ) − q ( 0 , 0 ) s = a 2 b a 2 + 3 b 2 . \frac{q(sa,sb)-q(0,0)}s=\frac{a^2b}{a^2+3b^2}. s q ( s a , s b ) − q ( 0 , 0 ) = a 2 + 3 b 2 a 2 b .
由于 u u u 非零,分母为正。这个表达式与 s s s 及其正负号无关,所以沿每个单位方向的双侧极限都存在。在两个坐标方向中,或者 a = 0 a=0 a = 0 ,或者 b = 0 b=0 b = 0 ,因此结果都为零,故 ∇ q ( 0 , 0 ) = ( 0 , 0 ) \nabla q(0,0)=(0,0) ∇ q ( 0 , 0 ) = ( 0 , 0 ) 。然而,对于 u = ( 1 , 1 ) / 2 u=(1,1)/\sqrt2 u = ( 1 , 1 ) / 2 ,分子为 1 / ( 2 2 ) 1/(2\sqrt2) 1/ ( 2 2 ) ,分母为 2 2 2 ,所以
D u q ( 0 , 0 ) = 1 4 2 ≠ 0. D_uq(0,0)=\frac1{4\sqrt2}\ne0. D u q ( 0 , 0 ) = 4 2 1 = 0.
假如 q q q 可微,坐标偏导就会迫使线性预测的变化量为零。于是,沿每个单位方向的方向导数都应等于 ∇ q ( 0 , 0 ) ⋅ u = 0 \nabla q(0,0)\cdot u=0 ∇ q ( 0 , 0 ) ⋅ u = 0 ,这与对角方向的结果矛盾。只需这一个不相容的方向,就足以否定可微性。每条直线各有自己的斜率还不够:这些斜率必须来自同一个相容的线性映射,而且所有增量的余项还必须足够小。即使逐一通过方向检验,也不能替代这一致余项条件。
直接检查也能看出同一问题。沿 ( x , y ) = ( s , s ) (x,y)=(s,s) ( x , y ) = ( s , s ) ,输出为 q ( s , s ) = s / 4 q(s,s)=s/4 q ( s , s ) = s /4 ,增量长度为 2 ∣ s ∣ \sqrt2|s| 2 ∣ s ∣ 。唯一可能的零线性近似,其误差绝对值除以这个长度后恒为 1 / ( 4 2 ) 1/(4\sqrt2) 1/ ( 4 2 ) ,对每个非零 s s s 都如此,并不趋于零。事实上,∣ q ( x , y ) ∣ ≤ ∣ y ∣ ≤ x 2 + y 2 |q(x,y)|\le |y|\le\sqrt{x^2+y^2} ∣ q ( x , y ) ∣ ≤ ∣ y ∣ ≤ x 2 + y 2 ,所以函数在原点连续;连续加上所有方向导数存在,仍然没有得到可微性。评分:所有方向的公式及存在性 2 分;坐标偏导 1 分;非零对角方向导数及正确的反证 3 分。
重温小余项条件 ,以及方向导数 中的单位方向导数与最速方向 部分。
选择下一步复习内容
记录每一小题的得分,并写下一种具体错误类型:算术、定义、成立条件、一致估计或方向单位化。遮住答案,重做对应笔记中的例题。然后在空白纸上重新完成该小题,解释此前出错的那一步。即使总分较高,也应重温所有未证明的断言或遗漏的边界情形。