Past exam of the mathematics course of the University of Cambridge / 2016 / ia / Paper 2 / 6A / a

For the stated order of the two solutions, define their Wronskian byTaking a derivative cancels the two mixed products: $W^{\prime }=y_1{y}_2^{\prime \prime }-y_1^{\prime \prime }{y}_2$. Substituting the second-order linear differential equation for each second derivative cancels the $q$ terms and leavesThis is the Abel identity. On an interval with continuous coefficients, linear independence means $W(x_0)\ne 0$; hence the Wronskian never vanishes anywhere on that interval.

The defining Wronskian identity gives the first-order linear differential equationWork first on an interval where $y_1\ne 0$. Dividing by $y_1$ recognizes a derivative:This is reduction of order. Choose the nonzero Wronskian from the Abel identity to obtain linear independence. The constant $C$ only adds a multiple of $y_1$. If $y_1$ has zeros, this quotient formula is local; the resulting solution can be continued across ordinary zeros using the original second-order linear differential equation.