关于线性微分方程$y' + y \tan(x) = \cos^2(x)$求解过程的正确性问询

嘿，你的推导思路完全正确，而且关于区间的考虑非常关键——咱们来一步步理清楚：

1. 积分因子的推导正确性确认 #

首先，线性一阶微分方程的标准形式是：
$$y' + P(x)y = Q(x)$$
对应的积分因子公式是：
$$\mu(x) = \exp\left(\int P(x) dx\right)$$
对于你的方程 $y' + y \tan(x) = \cos^2(x)$，$P(x)=\tan x$，积分得：
$$\int \tan x dx = -\ln|\cos x| + C = \ln|\sec x| + C$$
因此积分因子 $\mu(x) = \exp(\ln|\sec x|) = |\sec x|$，这部分推导完全正确！

2. 区间$(0, \pi/2)$上去掉绝对值的合理性 #

你提到的考虑非常必要且正确：

• $\tan(x)$在$(0, \pi/2)$上连续（此区间内$\cos x$恒正，不会出现分母为0的奇点）；
• $\cos^2(x)$在整个实数域都连续，自然在$(0, \pi/2)$上也连续。

微分方程的解是在**$P(x)$和$Q(x)$都连续的区间**上定义的，所以我们可以把求解范围限定在$(0, \pi/2)$内。此时$\cos x > 0$，所以$|\sec x| = \frac{1}{|\cos x|} = \frac{1}{\cos x} = \sec x$，完全可以去掉绝对值，用$\sec x$作为积分因子来简化计算。

3. 完整求解过程演示 #

用$\sec x$作为积分因子，给方程两边同时乘以它：

\sec x \cdot y' + \sec x \cdot y \tan x = \sec x \cdot \cos^2x

左边刚好是乘积的导数（用乘积法则验证：$(y \cdot \sec x)' = y'\sec x + y \cdot \sec x \tan x$），因此方程可改写为：

\frac{d}{dx}(y \cdot \sec x) = \cos x

两边积分：

\int \frac{d}{dx}(y \cdot \sec x) dx = \int \cos x dx

得到：

y \cdot \sec x = \sin x + C

最后解出$y$：

y = (\sin x + C) \cos x = \sin x \cos x + C \cos x

也可以化简为$y = \frac{1}{2}\sin 2x + C \cos x$，两种形式都正确。

补充说明 #

如果换一个区间，比如$(\pi/2, \pi)$，此时$\cos x < 0$，$|\sec x| = -\sec x$，这时候用$-\sec x$作为积分因子，最终解的形式会和上面的结果只差一个常数符号（因为$C$是任意常数），本质上是等价的。但在$(0, \pi/2)$这个连续区间内，你的处理方式完全没问题。

内容的提问来源于stack exchange，提问作者Skm