Statement

Let uu be a function with values in a finite-dimensional normed space. If points (xj,tj)(x_j,t_j) in its domain satisfy

(xj,tj)(x,T),u(xj,tj),(x_j,t_j)\to(x_*,T),\qquad |u(x_j,t_j)|\to\infty,

then uu has no extension to a neighborhood of (x,T)(x_*,T) agreeing with its original values.

Proof and comparison use

Continuity of an extension would give u(xj,tj)u(x,T)u(x_j,t_j)\to u(x_*,T), a finite value. Equivalently, a continuous extension is bounded on a sufficiently small compact neighborhood. Thus a divergent sequence inside that neighborhood is impossible.

If a uniqueness theorem forces a proposed extension or competing solution to agree with uu before TT, the same sequence rules out that competitor. The uniqueness statement and its hypotheses must be supplied separately. The spatial points must remain near a finite point; growth only along points escaping to infinity gives no such local contradiction.