微分方程求解：恰当方程、分组凑微分法及特解

3.2) (33分) 对于下列方程

(sin'x' + 2xy^2 + 1/y)dx + (1/y^2 + 2x^2y - xy^2)dy = 0.

3.2. a) (3分) 确定其定义区域，验证其是否为恰当方程。

3.2. b) (12分) 利用3.1) 的通解公式求其在不同区域上的隐式通解。

3.2. c) (8分) 利用'分组凑微分法'求其通解。

3.2. d) (5分) 求满足条件 y(1) = 2的特解。

3.2. a) 要确定方程的定义区域并验证其是否为恰当方程，我们可以计算方程的偏导数并检查它们的连续性。给定方程：

(sin'x' + 2xy^2 + 1/y)dx + (1/y^2 + 2x^2y - xy^2)dy = 0

计算偏导数： ∂M/∂y = 2x + 2y ∂N/∂x = 4xy - y^2

检查连续性： ∂M/∂y在整个定义域上连续，∂N/∂x在整个定义域上连续。

由于偏导数连续，该方程为恰当方程。

3.2. b) 根据恰当方程的性质，我们可以使用公式 ∫Mdx + ∫Ndy = C 来求解方程的通解。

首先，我们计算∫Mdx和∫Ndy： ∫Mdx = ∫(sin'x' + 2xy^2 + 1/y)dx = ∫sin'x'dx + ∫2xy^2dx + ∫ydx = -cos'x' + x^2y^2 + xy + C1 ∫Ndy = ∫(1/y^2 + 2x^2y - xy^2)dy = ∫y^2dy + ∫2x^2ydy - ∫xy^2dy = y^3/3 + x^2y^2/2 - xy^3/3 + C2

将上述结果代入方程 ∫Mdx + ∫Ndy = C，得到隐式通解： -cos'x' + x^2y^2 + xy + y^3/3 + x^2y^2/2 - xy^3/3 = C

3.2. c) 利用'分组凑微分法'我们可以将方程的左边进行适当的组合，以便可以写成一个完全微分的形式。

给定方程： (sin'x' + 2xy^2 + 1/y)dx + (1/y^2 + 2x^2y - xy^2)dy = 0

我们可以将方程进行分组凑微分： (sin'x' + 2xy^2)dx + (1/y + 2x^2y - xy^2)dy + ydy = 0

将方程重新组合为： d(cos'x') + d(x^2y^2) + ydy = 0

现在可以看出，方程的左边可以写成d函数的形式。我们可以应用积分的概念来求解。

∫d(cos'x') + ∫d(x^2y^2) + ∫ydy = ∫0dx

其中，∫d(cos'x') = cos'x' + C1，∫d(x^2y^2) = x^2y^2 + C2，∫ydy = y^2/2 + C3。

将结果代入方程，得到隐式通解： cos'x' + x^2y^2 + y^2/2 = C

3.2. d) 现在我们需要求满足条件y(1) = 2的特解。将该条件代入隐式通解中，我们可以解出C的值。

cos'1' + (1^2)(2^2) + (2^2)/2 = C C = cos'1' + 8 + 2 = cos'1' + 10

因此，满足条件y(1) = 2的特解为： cos'x' + x^2y^2 + y^2/2 = cos'1' + 10