Wronskian

The Wronskian is a determinant built from functions and their derivatives, used as a quick test for whether several functions are linearly independent. Stack the functions in the first row, their first derivatives in the second row, second derivatives in the third, and so on; the determinant of that matrix, evaluated at a point, is the Wronskian. If it is nonzero somewhere, the functions cannot satisfy a linear dependence — a clean import of determinant theory into analysis.

For functions f_1, ..., f_n that are (n-1)-times differentiable, W(x) = det of the matrix whose row k is the (k-1)-th derivatives [f_1^(k-1)(x), ..., f_n^(k-1)(x)]. If W(x_0) != 0 at even a single point x_0, then f_1, ..., f_n are linearly independent over their domain. The logic is direct: a dependence sum c_1 f_1 + ... + c_n f_n = 0 holds identically, so differentiating it repeatedly gives a homogeneous linear system A c = 0 with coefficient matrix the Wronskian; a nonzero determinant forces c = 0.

Its main habitat is linear differential equations. For solutions of a single n-th order linear ODE, the Wronskian is even sharper: Abel's identity says it is either identically zero or never zero on an interval, so checking it at one point decides independence of the whole solution set, and a nonzero Wronskian certifies a fundamental system of solutions.

Caveat: the converse fails in general. A zero Wronskian does NOT prove dependence for arbitrary functions — there are classic independent pairs (like x^2 and x|x|) whose Wronskian vanishes identically. The clean two-way equivalence only holds in the special, well-behaved setting of solutions to a linear ODE (or analytic functions). Use the Wronskian to PROVE independence; do not use a vanishing Wronskian to claim dependence.