答案:a
核心突破口:边界条件的偏导性质推导
题设在边界线 y=1 上恒有 f(x,1)=0(对任意 x∈[0,1] 恒成立)。由于该线上的函数值恒为常数 0,沿该水平边界线对自变量 x 求偏导必有:
∂x∂[f(x,1)]=fx′(x,1)=0.
同理,在垂直边界线 x=1 上恒有 f(1,y)=0(对任意 y∈[0,1] 恒成立)。
第 1 次分部积分:化累次积分,先对 y 积分
区域 D=[0,1]×[0,1] 为单位正方形。将二重积分写成先对 y、后对 x 的累次积分:
I=∫01xdx∫01yfxy′′(x,y)dy.
注意到 fxy′′(x,y)=∂y∂[fx′(x,y)],将 fxy′′(x,y)dy 凑入微分号:fxy′′(x,y)dy=d[fx′(x,y)]:
I=∫01xdx∫01yd[fx′(x,y)]=∫01x(yfx′(x,y)∣y=0y=1−∫01fx′(x,y)dy)dx.
计算内层分部积分产生的边界项:
- 代入上限 y=1:1⋅fx′(x,1)=1⋅0=0(应用了结论 fx′(x,1)=0);
- 代入下限 y=0:0⋅fx′(x,0)=0。
故边界项彻底归零:yfx′(x,y)∣y=0y=1=0−0=0。从而积分简化为:
I=−∫01x[∫01fx′(x,y)dy]dx=−∫01xdx∫01fx′(x,y)dy.
关键转折:交换积分次序(解决微分变量不匹配的问题)
此时内层是对 y 积分,但被积函数是对 x 的偏导数 fx′(x,y),与 dy 不匹配,无法凑出 d[f(x,y)]。
必须利用积分区域 D=[0,1]×[0,1] 的矩形性质,交换积分次序,化为先对 x、后对 y 的累次积分:
I=−∫01dy∫01xfx′(x,y)dx.
第 2 次分部积分:对 x 凑微分并还原原函数
此时内层是对 x 积分,可以顺利凑微分 fx′(x,y)dx=d[f(x,y)]:
I=−∫01dy∫01xd[f(x,y)]=−∫01(xf(x,y)∣x=0x=1−∫01f(x,y)dx)dy.
计算内层边界项:
- 代入上限 x=1:1⋅f(1,y)=1⋅0=0(利用题设 f(1,y)=0);
- 代入下限 x=0:0⋅f(0,y)=0。
边界项再次完全归零:xf(x,y)∣x=0x=1=0−0=0。
负负得正,化简即得:
I=∫01dy∫01f(x,y)dx=∬Df(x,y)dxdy.
代入题设已知条件 ∬Df(x,y)dxdy=a:
I=a.
Discussion
Comments
Thoughts, corrections, and follow-up notes are welcome here.