What Is the Wronskian?
The Wronskian of two differentiable functions f and g is the determinant
W(f, g)(x) = f(x)g′(x) − g(x)f′(x)
and for three functions it grows to a 3×3 determinant whose rows are the functions, their first derivatives, and their second derivatives. Named after the Polish mathematician Józef Wroński, it is the standard test for linear independence of solutions to differential equations: if W is nonzero at even one point, the functions are linearly independent there. This calculator differentiates your functions symbolically, expands the determinant, simplifies the result, evaluates it at your chosen point, and then samples W across an interval to report an independence verdict.
How to Use the Wronskian Calculator
Enter two functions f(x) and g(x); add an optional third function h(x) to switch to the 3×3 case, the one that appears with third-order linear ODEs. Set the evaluation point and press compute. The steps list every derivative, the determinant expansion, and the simplified Wronskian as a formula in x. The graph draws each function along with W(x) as a dashed curve, so you can see where the Wronskian vanishes and where it does not. The sampled test scans [−3, 3]: a Wronskian that is zero at every sampled point signals linear dependence, while any nonzero value proves independence outright.
Worked Example
For f(x) = ex and g(x) = e−x, the derivatives are ex and −e−x, so
W = ex(−e−x) − e−x(ex) = −1 − 1 = −2
The Wronskian is the constant −2, never zero, so ex and e−x are linearly independent everywhere: exactly what makes them a valid fundamental set for y″ − y = 0, with general solution c₁ex + c₂e−x. Contrast the dependent pair chip, f = x and g = 2x: every entry of the second column is twice the first, the determinant collapses to zero identically, and no combination of the two can produce anything beyond multiples of x.
The Wronskian and Differential Equations
The determinant earns its keep in the theory of linear ODEs. An n-th order linear homogeneous equation has an n-dimensional solution space, and a set of n solutions spans it precisely when their Wronskian is nonzero. Abel's theorem sharpens this beautifully: for y″ + p(x)y′ + q(x)y = 0, the Wronskian of any two solutions satisfies W(x) = W(x₀)e−∫p dx. Since an exponential never vanishes, the Wronskian of two solutions is either identically zero or never zero on the interval. That dichotomy is why checking W at a single convenient point, often x = 0, settles independence for solutions once and for all. The same determinant also drives variation of parameters, where the particular solution of a forced equation is built from integrals with W in the denominator, and it appears in reduction of order when one solution is known and a second must be manufactured.
Independence for General Functions: A Caveat
For arbitrary functions, the implication only runs one way. Nonzero Wronskian forces independence, but a vanishing Wronskian does not force dependence: the classic counterexample is f(x) = x³ and g(x) = |x|³, independent functions whose Wronskian is identically zero. The rescue is Abel's theorem: when the functions are solutions of a common linear ODE, identically zero W does imply dependence. This calculator reports the sampled behavior and states the conclusion with the appropriate caution, which is also how the distinction should be written on an exam.
Common Mistakes to Avoid
- Swapping rows and columns inconsistently. W = fg′ − gf′, not fg′ − f′g′. Keep functions in the top row and derivatives below, then expand carefully; a sign slip turns independence into a false zero.
- Concluding dependence from W = 0 at one point. sin(x) and cos(x) have W = −1 everywhere, but many independent pairs have Wronskians with isolated zeros. Only identically zero W (for ODE solutions) means dependence.
- Forgetting the second-derivative row in the 3×3 case. Three functions need rows f, f′, f″; stopping at first derivatives produces a 2×3 array with no determinant at all.
- Testing at a singular point of the equation. Abel's theorem holds on intervals where p and q are continuous. Evaluating W at a point where the ODE itself breaks down, like x = 0 for the Euler equation x²y″ + xy′ = 0, gives no information.
Real-World Applications
Whenever a physical system is modeled by a linear differential equation, mechanical vibrations, RLC circuits, beam deflection, quantum wells, the general solution is a combination of basis solutions, and the Wronskian certifies that the basis is genuine. In structural dynamics, independent mode shapes guarantee that measured vibrations decompose uniquely. In quantum mechanics, the Wronskian of two solutions of the Schrödinger equation is constant and links reflection and transmission coefficients in scattering problems. Numerical ODE software uses the same idea to detect when candidate solutions have degenerated into near-dependence, a warning sign of an ill-conditioned computation. Continue the workflow with the second-order ODE calculator to build the solutions whose independence you test here, or the initial value problem calculator to fit constants to data.
Frequently Asked Questions
What does a nonzero Wronskian tell me?
That the functions are linearly independent on any interval containing that point: no constants c₁, c₂ (not all zero) make c₁f + c₂g identically zero. One nonzero evaluation is a complete proof; independence never needs the whole graph.
Does W = 0 everywhere always mean the functions are dependent?
Not for arbitrary functions; x³ and |x|³ are independent with identically zero Wronskian. But when the functions are solutions of the same linear homogeneous ODE with continuous coefficients, Abel's theorem upgrades identically zero W to a genuine proof of dependence.
Why does the Wronskian of sin(x) and cos(x) equal −1?
W = sin(x)(−sin(x)) − cos(x)(cos(x)) = −(sin²x + cos²x) = −1 by the Pythagorean identity. The constant value reflects Abel's theorem for y″ + y = 0, where p = 0 makes W constant, and confirms the pair as a fundamental set.
What is a fundamental set of solutions?
A collection of n solutions of an n-th order linear homogeneous ODE whose Wronskian is nonzero. Every solution of the equation is then a unique linear combination of the set, which is exactly what "general solution" means in a differential equations course.
How does Abel's theorem compute the Wronskian without solving the ODE?
For y″ + p(x)y′ + q(x)y = 0, differentiating W and substituting the equation gives W′ = −p(x)W, a first-order equation with solution W = Ce−∫p dx. You learn W up to a constant from p alone, before knowing a single solution.
When do I need the 3×3 Wronskian?
For third-order equations, or any time three functions must be certified independent. The determinant uses rows f, f′, f″ and is expanded by cofactors; the chip with 1, x, x² gives W = 2, proving the monomials independent, as the polynomial basis should be.
Where does the Wronskian appear in variation of parameters?
The particular solution of y″ + py′ + qy = g is yₚ = −y₁∫(y₂g/W)dx + y₂∫(y₁g/W)dx. The Wronskian sits in every denominator, which is why the method requires a fundamental set: dividing by zero W is the algebraic symptom of a dependent pair.
Can the Wronskian change sign?
For solutions of a linear ODE, no: W = Ce−∫p dx keeps one sign or is identically zero. For general functions it can oscillate freely; watching the dashed W curve cross zero on the graph is a quick visual sign that the pair cannot both solve one second-order linear equation.
Is the Wronskian related to the determinant of a matrix of vectors?
Directly: it is the determinant of the matrix whose columns are the "value vectors" (f, f′, ...) of each function at x. Just as vectors are independent when their determinant is nonzero, functions are independent when some evaluation point makes this determinant nonzero.
Why evaluate the Wronskian at x = 0 so often?
Pure convenience: for ODE solutions the either-always-zero-or-never-zero dichotomy means any point works, so pick the one where the arithmetic is easiest. Initial value problems also state their data at x₀, making W(x₀) the natural quantity for checking that the initial conditions determine unique constants.