不一定是所有解的集合,高阶微分方程仍然有奇解或者奇点问题,例如你提到的齐次线性常微分方程,y==c/b就是它的一个奇解。奇解问题在利亚普诺夫稳定性理论当中有异常重要的地位,高阶微分方程或者微分方程组的奇解与其通解稳定性有至关重要的联系。
可以说,一般情况下只要存在奇解的方程通解就不是所有解,我记得我考研的时候好像做过一道证明题是说满足柯西问题的齐次线性常微分方程通解必不包含所有解。
对于二阶齐次方程
y'' + ay' + by =0
y=C1*y1+C2*y2+C,当C不为0时,不是方程的解。
你验证解的时候验错了。
通解的确是所有解的集合。
y=c1*y1+c2*y2+c是二阶非齐次方程y''+ay'+by=c的解,相当于在等式两边同是加上相同常数等式仍然成立。通解确实能通过取不同常数变成任何一个解,也就是说它确实是所有解的集合,但c1*y1+c2*y2不一定是通解,必须要满足y1,y2是其次方程的两个线性无关解
另外针对楼下说有奇点的问题,我想说的是,那些奇点通过c1,c2的组合都能够取到。
y=C1*y1+C2*y2+C只有当C=0的时候才会是解。