conjugate exponent

Two exponents are conjugate when their reciprocals are partners that add up to a whole — to exactly one. Think of a fixed unit of ‘weight’ to be split between two players: if one player takes the fraction 1/p of it, the other must take 1/q so that the whole is used up. This bookkeeping is precisely what makes Hölder's inequality balance, pairing an L^p factor with an L^q factor.

Formally, for 1 < p < infinity the conjugate exponent q is defined by 1/p + 1/q = 1, equivalently q = p/(p - 1). The relation is symmetric: p is the conjugate of q just as q is of p. The endpoints are handled by convention: the conjugate of 1 is infinity and the conjugate of infinity is 1, matching the pairing of L^1 with L^infinity. The self-conjugate value is p = q = 2.

A useful sanity check: as p increases toward infinity, q decreases toward 1, and vice versa — large p (sensitive to spikes) is paired with small q (sensitive to total mass). The conjugate exponent is the silent partner in Hölder, Minkowski's proof, the duality of L^p, and interpolation theory; nearly every L^p estimate quietly invokes it.