下册 9.2 第二型曲线积分 第24题
📝 题目
24.证明下列命题.
(1)设函数 $\varphi(x)$ 具有连续的导数,在围绕原点的任意光滑的简单闭曲线 $C$ 上,曲线积分 $\displaystyle \oint_{c} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}$ 的值为常数.
(1)设 $C$ 为正向闭曲线 $(x-2)^{2}+y^{2}=1$ ,证明:$\displaystyle \oint_{C} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}=0$ ;
(2)求函数 $\varphi(x)$ ;
(3)设 $C$ 是围绕原点的光滑简单正向闭曲线,求 $\displaystyle \oint_{C} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}$ .
(2)设函数 $\varphi(y)$ 具有连续的导数,在围绕原点的任意分段光滑简单闭曲线 $L$ 上,曲线积分 $\displaystyle \oint_{C} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}$ 的值恒为常数,试证明:对右半平面 $x>0$ 内的任意分段光滑简单闭曲线 $C \perp$ ,有 $\displaystyle \oint_{C} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}=0$ ,并求 $\varphi(y)$ 函数的表达式.
💡 答案解析
\section*{解题过程:}
(1)设 $\displaystyle \oint_{C} \frac{2 x y \mathrm{~d} \dot{x}+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}=I$ ,闭曲线 $C$ 由 $C=l_{1}+l_{2}$ 组成。设 $l_{3}$ 为不经过原点的光滑曲线,使得 $l_{1}+l_{3}$ 和 $l_{2}+l_{3}$ 分别组成围绕原点的分段光滑闭曲线 $C_{i}, i=1$ ,2.由曲线积分的性质和题设条件知
$$
\oint_{C} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}=\int_{l_{1}}+\int_{l_{2}}=\int_{l_{2}}+\int_{l_{3}}-\int_{l_{3}}-\int_{l_{1}}=\oint_{C_{1}}-\oint_{C_{2}}=I-I=0 .
$$
所以 $\displaystyle \int_{I_{1}} \frac{\varphi(x) \mathrm{d} y+2 x y \mathrm{~d} x}{x^{4}+y^{2}}=\int_{I_{2}} \frac{\varphi(x) \mathrm{d} y+2 x y \mathrm{~d} x}{x^{4}+y^{2}}$ 即 $\displaystyle \oint_{C} \frac{\varphi(x) \mathrm{d} y+2 x y \mathrm{~d} x}{x^{4}+y^{2}}=0$ .
由 $\displaystyle \frac{\partial P}{\partial y}=\frac{\partial Q}{\partial x}$ 有 $\displaystyle \frac{\varphi^{\prime}(x)\left(x^{4}+y^{2}\right)-4 x^{3} \varphi(x)}{\left(x^{4}+y^{2}\right)^{2}}=\frac{2 x^{5}-2 x y^{2}}{\left(x^{4}+y^{2}\right)^{2}}$ 。解得 $\varphi(x)=-x^{2}$ 。
\begin{figure}
\includegraphics[alt={},max width=\textwidth]{https://cdn.mathpix.com/cropped/468aa2e6-2fe6-41d5-b96d-487ad792954d-281.jpg?height=975&width=1161&top_left_y=3646&top_left_x=4434}
\captionsetup{labelformat=empty}
\caption{图 9.80(1)}
\end{figure}
设 $D$ 为正向闭曲线 $C_{a}: x^{4}+y^{2}=\varepsilon^{2}$ 所围区域.由于曲线积分与路径无关,所以
$$
\oint_{C} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}=\oint_{C_{a}} \frac{2 x y \mathrm{~d} x-x^{2} \mathrm{~d} y}{x^{4}+y^{2}}=\frac{1}{\varepsilon^{2}} \oint_{C_{a}} 2 x y \mathrm{~d} x-x^{2} \mathrm{~d} y
$$
利用 Green 公式和对称性得 $\oint_{C_{a}} 2 x y \mathrm{~d} x-x^{2} \mathrm{~d} y=\iint_{D}(-4 x) \mathrm{d} x \mathrm{~d} y=0$ .于是
$$
\oint_{C} \frac{2 x y \mathrm{~d} x+\varphi(x) \mathrm{d} y}{x^{4}+y^{2}}=\oint_{C_{a}} \frac{2 x y \mathrm{~d} x-x^{2} \mathrm{~d} y}{x^{4}+y^{2}}=\frac{1}{\varepsilon^{2}} \oint_{C_{a}} 2 x y \mathrm{~d} x-x^{2} \mathrm{~d} y=0 .
$$
(2)将 $C$ 分解为:$C=l_{1}+l_{2}$ ,另作一条曲线 $l_{3}$ 围绕原点且与 $C$ 相接,如图 9.80 所示.
$$
\oint_{C} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}=\oint_{l_{1}+l_{3}} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}-\oint_{l_{2}+l_{3}} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}=0 .
$$
这表明曲线积分与路径无关.
$$
\text { 记 } P=\frac{\varphi(y)}{2 x^{2}+y^{4}}, Q=\frac{2 x y}{2 x^{2}+y^{4}}, \text { 则 }
$$
\begin{figure}
\includegraphics[alt={},max width=\textwidth]{https://cdn.mathpix.com/cropped/468aa2e6-2fe6-41d5-b96d-487ad792954d-281.jpg?height=1017&width=1058&top_left_y=6630&top_left_x=4489}
\captionsetup{labelformat=empty}
\caption{图 9.80(2)}
\end{figure}
$P, Q$ 在单连通区域 $x>0$ 内具有一阶连续偏导数.由于曲线积分 $\displaystyle \int_{L} \frac{\varphi(y) \mathrm{d} x+2 x y \mathrm{~d} y}{2 x^{2}+y^{4}}$ 在该区域内与
路径无关,故当 $x>0$ 时有 $\displaystyle \frac{\partial Q}{\partial x}=\frac{\partial P}{\partial y}$ .于是
$$
\varphi^{\prime}(y)=-2 y, \varphi^{\prime}(y) y^{4}-4 \varphi(y) y^{3}=2 y^{5}
$$
解之得 $\varphi(y)=-y^{2}+C$ 。从而 $2 y^{5}-4 C y^{3}=2 y^{5}$ ,所以 $C=0$ 。从而 $\varphi(y)=-y^{2}$ 。
📋 详细解题步骤
步骤 1/6
目标:证明曲线积分值为常数
设 $\displaystyle \oint_{C} \frac{2xy\,dx+\varphi(x)\,dy}{x^4+y^2}=I$,对于任意两条围绕原点的光滑简单闭曲线 $C_1$ 和 $C_2$,作辅助曲线 $l_3$ 连接它们,使得 $C_1$ 和 $C_2$ 分别与 $l_3$ 组成新的闭曲线。由曲线积分的性质,有 $\oint_{C_1} - \oint_{C_2} = \oint_{C_1+l_3} - \oint_{C_2+l_3} = I - I = 0$,因此 $\oint_{C_1} = \oint_{C_2}$,即积分值与路径无关,为常数。
提示:注意辅助曲线 $l_3$ 不能经过原点,且要保证新闭曲线仍围绕原点。
步骤 2/6
目标:证明特定闭曲线积分为零
对于正向闭曲线 $C: (x-2)^2+y^2=1$,它不包含原点。取一条围绕原点的闭曲线 $C_1$,使得 $C$ 与 $C_1$ 之间构成一个不包含原点的区域。由曲线积分与路径无关(因为积分值常数),沿 $C$ 的积分等于沿 $C_1$ 的积分。但 $C_1$ 可以取为充分小的椭圆 $x^4+y^2=\varepsilon^2$,利用格林公式可证该积分为零,故 $\oint_C=0$。
提示:注意 $C$ 不包含原点,因此可以应用格林公式于 $C$ 与 $C_1$ 围成的区域。
步骤 3/6
目标:利用格林公式求 $\varphi(x)$
由曲线积分与路径无关,有 $\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}$,其中 $P=\frac{2xy}{x^4+y^2}$,$Q=\frac{\varphi(x)}{x^4+y^2}$。计算偏导数:
$$\frac{\partial P}{\partial y} = \frac{2x(x^4+y^2)-2xy\cdot 2y}{(x^4+y^2)^2} = \frac{2x^5-2xy^2}{(x^4+y^2)^2},$$
$$\frac{\partial Q}{\partial x} = \frac{\varphi'(x)(x^4+y^2)-\varphi(x)\cdot 4x^3}{(x^4+y^2)^2}.$$
令两者相等,得 $\varphi'(x)(x^4+y^2)-4x^3\varphi(x)=2x^5-2xy^2$。由于该式对所有 $y$ 成立,比较 $y^2$ 项系数:左边 $y^2$ 系数为 $\varphi'(x)$,右边 $y^2$ 系数为 $-2x$,故 $\varphi'(x)=-2x$;常数项($y^0$)左边为 $-4x^3\varphi(x)$,右边为 $2x^5$,代入 $\varphi(x)=-x^2$ 验证成立。因此 $\varphi(x)=-x^2$。
公式:$$\frac{\partial P}{\partial y} = \frac{\partial Q}{\partial x}$$
提示:注意比较 $y$ 的幂次时,$y^2$ 项和常数项要分别对应。
步骤 4/6
目标:计算围绕原点的闭曲线积分
取 $C_\varepsilon: x^4+y^2=\varepsilon^2$(正向),则
$$\oint_C \frac{2xy\,dx - x^2\,dy}{x^4+y^2} = \frac{1}{\varepsilon^2}\oint_{C_\varepsilon} (2xy\,dx - x^2\,dy).$$
应用格林公式:
$$\oint_{C_\varepsilon} 2xy\,dx - x^2\,dy = \iint_D \left(\frac{\partial(-x^2)}{\partial x} - \frac{\partial(2xy)}{\partial y}\right)dxdy = \iint_D (-2x - 2x)dxdy = -4\iint_D x\,dxdy.$$
由对称性($D$ 关于 $x$ 轴对称且被积函数 $x$ 为奇函数?实际上 $D$ 关于 $y$ 轴对称?注意 $D$ 由 $x^4+y^2\le\varepsilon^2$ 定义,关于 $x$ 和 $y$ 均对称,但 $x$ 是奇函数,故积分为零。因此原积分为零。
公式:格林公式:$$\oint_{C} P\,dx+Q\,dy = \iint_D \left(\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}\right)dxdy$$
提示:注意格林公式中 $\frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y}$ 的符号,以及对称性判断。
步骤 5/6
目标:第二问:证明右半平面内闭曲线积分为零
类似第一问,对于右半平面 $x>0$ 内的任意分段光滑简单闭曲线 $C$,作辅助曲线 $l_3$ 连接 $C$ 与一条围绕原点的闭曲线 $C_1$,使得 $C$ 与 $C_1$ 围成的区域不包含原点。由题设,沿 $C$ 的积分等于常数,且沿 $C_1$ 的积分也为该常数,故差为零,即 $\oint_C = 0$。
提示:注意右半平面 $x>0$ 是单连通区域,但原点在边界上,因此需要小心处理。
步骤 6/6
目标:第二问:利用路径无关求 $\varphi(y)$
记 $P=\frac{\varphi(y)}{2x^2+y^4}$,$Q=\frac{2xy}{2x^2+y^4}$。由路径无关得 $\frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}$。计算偏导数:
$$\frac{\partial Q}{\partial x} = \frac{2y(2x^2+y^4)-2xy\cdot 4x}{(2x^2+y^4)^2} = \frac{4x^2y+2y^5-8x^2y}{(2x^2+y^4)^2} = \frac{-4x^2y+2y^5}{(2x^2+y^4)^2},$$
$$\frac{\partial P}{\partial y} = \frac{\varphi'(y)(2x^2+y^4)-\varphi(y)\cdot 4y^3}{(2x^2+y^4)^2}.$$
令两者相等,得 $\varphi'(y)(2x^2+y^4)-4y^3\varphi(y) = -4x^2y+2y^5$。比较 $x^2$ 项系数:左边 $x^2$ 系数为 $2\varphi'(y)$,右边 $x^2$ 系数为 $-4y$,故 $\varphi'(y)=-2y$;常数项($x^0$)左边为 $\varphi'(y)y^4-4y^3\varphi(y)$,右边为 $2y^5$,代入 $\varphi(y)=-y^2$ 验证成立。因此 $\varphi(y)=-y^2$。
公式:$$\frac{\partial Q}{\partial x} = \frac{\partial P}{\partial y}$$
提示:注意比较 $x$ 的幂次,$x^2$ 项和常数项要分别对应。
📷 拍照上传批改
拍照上传批改功能已预留入口,后续接入图片上传、OCR识别与AI批改。