Yo pensaba que se podía hacer dando la vuelta a los otros, pero a lo mejor es muy complicado, haremos lo mismo que aquí, únicamente cambiaré una cosa que tiene mal el profesor hay que tener mucho cuidado con los límites de integración y la variable respecto de la que se integra, no sirve cualquier cosa.
$$\begin{align}&y''+y=sen\,x\qquad con\quad y(0)=0,\;\;y'(0)=0\\&\\&Hacemos\\&y''(x)=u(x)\\&\\&\text{cambiamos la variable a t y hacemos esta integral}\\&\\&\int_0^xy''(t)dt=\int _0^x u(t)dt\\&\\&y'(x)-y'(0) = \int_0^xu(t)dt\\&\\&\text{Como }y'(0)=0\\&\\&y'(x)=\int_0^xu(t)\,dt\\&\\&\text{volvemos a ponerlo en función de t}\\&\\&y'(t) = \int_0^t u(z)dz\\&\\&\text{e integramos respecto de t entre 0 y x}\\&\\&\int_0^x y'(t)dt =\int_0^x\int_0^tu(z)dzdt\\&\\&y(x)-y(0) =\int_0^x\int_0^tu(z)dzdt\\&\\&\text{Como }y(0)=0\\&\\&y(x) =\int_0^x\int_0^tu(z)dzdt\\&\\&\text{Y ahora viene un paso impresionante en tu texto.}\\&\text{Yo no conozco el teorema, solo puedo verificarlo.}\\&\\&\int_0^x(x-t)u(t)dt=\int_0^xx·u(t)dt-\int_0^xt·u(t)dt=\\&\\&x\int_0^xu(t)dt-\int_0^xt·u(t)dt=\\&\\&\text {integrando por partes}\\&\\&u=t\qquad\qquad du=dt\\&dv=u(t)dt\quad \;v=\int_0^tu(z)dz\\&\\&=x\int_0^xu(t)dt-\left[t·\int _0^tu(z)dz\right]_0^x+\int_0^x\int_0^tu(z)dz\,dt=\\&\\&x\int_0^xu(t)dt-x\int_0^xu(z)dz+\int_0^x\int_0^tu(z)dz\,dt=\\&\\&\int_0^x\int_0^tu(z)dz\,dt\\&\\&\text{luego queda verificado y queda}\\&\\&y(x)=\int_0^x(x-t)u(t)dt\\&\\&\text{Y vamos a la ecuación inicial}\\&\\&y''+y=sen\,x\\&\\&\text{Y sustituimos todo lo hallado}\\&\\&u(x)+\int_0^x(x-t)u(t)dt=senx\\&\\&\text{Que suelen escribir así en esta forma}\\&\\&u(x)=sen x-\int_0^x(x-t)u(t)dt\\&\\&u(x)=senx+\int_0^x(t-x)u(t)dt\\&\\&\text{esa es la forma canónica}\end{align}$$
:
: