Set and . Balancing , diffusion and the cubic gives , hence . The drift term cancels the contribution in , leavingMultiply by and integrate. The limiting equilibrium has , fixing the constant and giving . The increasing branch from zero to one obeys . ThereforeThe first integral also shows why another turning branch cannot reach the required limit from zero.
At a space-time interior maximum, and . The equation would then give , so . Hence a positive interior maximum is impossible. In particular, a global maximum cannot be attained at an interior point, since the far-field boundary has positive values. If “maximum” instead means every local maximum of an arbitrary signed solution, the calculation only excludes positive local maxima; nonnegativity must be added for the broader usual interpretation. Positive boundary values alone do not impose nonnegativity on arbitrary initial data.
For uniqueness in the standard bounded classical solution class on finite time strips, set , , and . The equation becomeswith , and prescribed . For two solutions let . ThenThe bracket is at most since . Thus solves with , zero initial data and zero boundary difference.
For completeness on the unbounded interval, compare with on a large rectangle. This is a strict positive supersolution becauseFinite-strip boundedness lets its right boundary dominate when the rectangle is sufficiently wide. The weak parabolic maximum principle then bounds by this barrier. Send the width to infinity and then to zero. Hence , giving . The boundedness or a suitable uniform far-field/growth condition is the usual hypothesis that makes this unbounded-domain argument valid; pointwise limits at spatial infinity should not silently replace it. This is similarity reduction for a cubic absorption equation with dilating drift.
The transformation , , gives . Thus the stationary half-line profile yields , with zero value at the origin and far-field value . For two bounded classical solutions, their difference has reaction coefficient . Multiplying it by therefore produces a linear parabolic equation with nonnegative absorption. A positive growing quadratic spatial barrier and the maximum principle give uniqueness on the unbounded half-line. This proof identifies the finite-time boundedness or growth hypothesis needed at spatial infinity rather than assuming a supremum is automatically attained there.
Spatial infinity 2026-10-31
A boundary condition at spatial infinity specifies limiting behaviour as the spatial coordinate leaves every bounded set, such as on a half-line. A pointwise limit for each time is different from uniform control over a time interval. Maximum-principle and uniqueness proofs on unbounded domains must use a suitable uniform boundedness, growth restriction or barrier hypothesis to justify passage from finite domains to infinity.