Tenemos un teorema:
Existe un conjunto fundamental de soluciones para una ecuación lineal diferencial 2 homogénea $a_2(x)y''+a_1(x)y'+a_0(x)y=0$ en un intervalo $I$ .
Tienes una ecuación diferencial homogénea de segundo orden que además es lineal. Esto es esencial para tener un conjunto independiente de soluciones $\{y_1(x),y_2(x)\}$ para más objetivos. Como ha señalado, existe un método en el que podemos construir una segunda solución a partir de una solución conocida de forma que este último conjunto sea un conjunto fundamental (lo que se denomina reducir el orden). Se puede demostrar que si $y_1(x)$ es una solución conocida, entonces la segunda que satisface el teorema es $$y_2(x)=y_1(x)\int\frac{e^{-\int\frac{a_1(x)}{a_2(x)}dx}}{y_1^2(x)}dx$$
Así que en su ecuación tenemos $$y_2=\sin(x)\int\frac{e^{\int\frac{1}{x}dx}}{\sin^2(x)}dx=\sin(x)\int\frac{x}{\sin^2(x)}dx$$ $$y_2=\sin(x)(-x\cot(x)+\ln(\sin(x)))=-x\cos(x)+\sin(x)\ln(\sin(x))$$ Ahora, su solución general es como $y(x)=C_1y_1(x)+C_2y_2(x)$ .