Nicht alle Lösungen besitzen die von dir genannte Form, aber einige.
Die Lösungsmenge ist ein Vektorraum, weil die Menge der differenzierbaren Funktionen ein Vektorraum ist und die Lösungsmenge die Kriterien für einen Untervektorraum erfüllen.
Dimension des Lösungsraums einer homogenen linearen Differentialgleichung n-ter Ordnung ist n.
Mit dem Ansatz y = e λx findet man n linear unabhängige Lösungen. Diese müssen also eine Basis des Lösungsraumes sein.
Deshalb kann "irgendeine andere Funktion", die sich nicht als Linearkombination der gefundenen Lösungen darstellen lässt, keine Lösung sein.