疑惑：微分方程y''(x)+x²cosy(x)=0为何被判定为非线性？

嗨，我来帮你理清这个疑惑～你对线性方程的判断出现了一个关键的遗漏点，我们先从线性常微分方程的严格定义说起：

线性常微分方程的核心要求是：方程中所有包含因变量（这里是y(x)）及其各阶导数的项，必须是y(x)或其导数的线性组合——具体来说要满足：

• 只能是「仅关于x的系数」乘以「y或其某阶导数」的形式；
• 不能出现y或其导数的非线性函数（比如三角函数、幂次≠1的项、指数函数等）；
• 不能出现y与导数的乘积项（这点你已经注意到了）。

咱们对照你的方程y''(x) + x²cosy(x) = 0来看：

• 你提到的「二阶导数次数为1」「不存在因变量与导数的乘积」这两点是对的，但你忽略了cosy(x)这一项——它是y(x)的非线性函数，不是y(x)的一次线性项。线性方程里，y(x)必须以“一次幂”的形式直接出现，而不能被嵌套在诸如cos、sin、e^·这类非线性函数里，也不能出现y²、√y这类形式。

举个直观的对比例子：

• 线性方程示例：y''(x) + x²y(x) = 0（y(x)是一次项，符合线性要求）；
• 你的方程：y''(x) + x²cosy(x) = 0（cosy(x)是y的非线性映射，破坏了线性性）。

所以教材的判定是正确的，你的疏漏点在于没意识到「因变量y本身被嵌套在非线性函数中」也会导致方程非线性～

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