Wronskian and Linear Independence of ODE Solutions

The Wronskian is a determinant built from candidate solutions of a differential equation and their derivatives. For two functions it is W(y1, y2) = y1y2′ − y2y1′. Its job is to test linear independence: if the Wronskian is nonzero at even one point, the solutions are independent and can serve as a fundamental set.

This matters because the general solution of an nth-order linear ODE needs n independent solutions, and guessing two formulas is not enough — you must verify they are genuinely different. The Wronskian gives that verification in one determinant, and Abel's identity predicts its shape without computing it.

Key Concepts

• Wronskian (2 functions). W = y1y2′ − y2y1′. For n functions it is the determinant of the matrix of derivatives up to order n − 1.
• Linear independence. y1, …, yn are independent if c1y1 + … + cnyn = 0 forces all ci = 0.
• Fundamental set. n independent solutions of an nth-order homogeneous linear ODE; every solution is a combination of them.
• Abel's identity. For y″ + P(x)y′ + Q(x)y = 0, the Wronskian satisfies W(x) = Ce^{−∫P(x)dx}.
• Standard form. Abel's identity needs the equation divided through so the y″ coefficient is 1.

Formulas

• Definition: W(y1, y2)(x) = |y1 y2; y1′ y2′| = y1y2′ − y2y1′.
• Abel's identity: W(x) = C·exp(−∫P(x)dx) for y″ + P(x)y′ + Q(x)y = 0 with P, Q continuous.
• Independence test: if W(x0) ≠ 0 at one point x0, the solutions are linearly independent on the whole interval.
• Assumptions and limits: the test applies to solutions of a linear homogeneous ODE; for arbitrary functions a vanishing Wronskian does not prove dependence.

Worked Example

Test y1 = e^x and y2 = e^{2x} as solutions of y″ − 3y′ + 2y = 0.

1. Derivatives: y1′ = e^x, y2′ = 2e^{2x}.
2. Wronskian: W = y1y2′ − y2y1′ = e^x · 2e^{2x} − e^{2x} · e^x = 2e^{3x} − e^{3x} = e^{3x}.
3. Since e^{3x} ≠ 0 for every x, y1 and y2 are linearly independent and form a fundamental set; the general solution is y = C1e^x + C2e^{2x}.
4. Cross-check with Abel's identity: the ODE in standard form has P(x) = −3, so W(x) = Ce^{−∫(−3)dx} = Ce^{3x}.
5. Matching with the computed W = e^{3x} gives C = 1. The determinant computation and Abel's identity agree perfectly.

Common Misconceptions

• Thinking W = 0 somewhere means dependence. For ODE solutions, Abel's identity forces the Wronskian to be either identically zero or never zero; one nonzero point settles independence everywhere.
• Applying the test to arbitrary functions. There exist dependent-free pairs of non-solution functions with W ≡ 0; the clean conclusion needs the ODE structure.
• Forgetting standard form in Abel's identity. For 2y″ − 6y′ + 4y = 0 you must divide by 2 first, giving P = −3, not −6.

Real-World Applications

• Building general solutions: verifying a guessed pair of solutions is independent before writing y = C1y1 + C2y2.
• Reduction of order: knowing y1 and the Wronskian's form lets you construct a second solution via an integral formula.
• Numerical ODE solvers: independence of basis solutions guarantees the solver's fundamental matrix stays invertible.

The Wronskian y1y2′ − y2y1′ is the independence detector for ODE solutions: nonzero at one point means independent everywhere, and Abel's identity W = Ce^{−∫Pdx} predicts its exact shape. For e^x and e^{2x} it gives e^{3x}, confirming a fundamental set in one line.