Foundations: What a Differential Equation Is

arbitrary constant

Why does solving a differential equation leave a stray letter C floating in the answer? Because solving involves undoing derivatives — integrating — and integration always forgets a constant. The derivative of x^2 and of x^2 + 7 are identical, so going backward you cannot tell which one you started from. That leftover, unfixable-by-the-equation-alone freedom shows up as an arbitrary constant.

Precisely, an arbitrary constant is a symbol (typically C, or C1, C2, ... for higher order) in the general solution that may take any value, each choice giving a different valid solution. It is the algebraic trace of the freedom the differential equation leaves open: a first-order equation produces one such constant, an nth-order equation produces n of them, exactly matching the order. In y' = k y the solution y = C e^(kt) holds for every C — substitute it back and the C cancels through, confirming any value works. The constants are not yet determined because the equation governs only the rate of change, not the starting amount.

Arbitrary constants are precisely the slots that initial or boundary conditions fill: each condition is one equation in the constants, and you solve for them to pin down a particular solution. Two cautions worth keeping. First, count carefully — an nth-order general solution must carry exactly n independent constants; too few means you have missed solutions, and constants that secretly collapse into one (like C and 2C) do not count as independent. Second, after integration you may absorb stray constants together (writing one C instead of C1 - C2), which is legitimate housekeeping, not cheating.

Integrating y' = 2x gives y = x^2 + C, where C is arbitrary: C = 0, C = 5, C = -3 all give valid solutions, because each differentiates back to 2x. The single condition y(0) = 5 then fixes C = 5, removing the arbitrariness.

Integration leaves a constant; an initial condition pins it down.

An nth-order general solution must carry exactly n INDEPENDENT constants. Constants that collapse into one another (C and 2C, or C1 + C2 acting as a single C) are not independent and do not count toward the total.

Also called
積分常數constant of integration