Existence and Uniqueness

A precise account of local existence, uniqueness, maximal intervals, and what theorem hypotheses do—and do not—guarantee.

Open the full lesson →

A direction field supplies a local slope at every point; a solution curve must follow those slopes. A grid of short oriented arrows is crossed by a smooth solution curve that follows their local slopes. A dashed equilibrium line separates regions where the indicated slope directions differ.

Precise definition

For $y'=f(t,y)$, $y(t_0)=y_0$, a standard local theorem says: if $f$ is continuous near $(t_0,y_0)$, at least one local solution exists; if additionally $f$ is locally Lipschitz in $y$—for example $f_y$ is continuous nearby—the local solution is unique. These are sufficient conditions, not necessary conditions.

Notation and mathematical language

A rectangle $R=\{|t-t_0|\le a,|y-y_0|\le b\}$ supports a guaranteed interval whose size depends on a bound for $|f|$. Local means some interval around $t_0$, not all real $t$. A maximal solution interval ends when the solution blows up, hits a singularity, or cannot be continued within the equation's domain.

Conceptual picture

Continuity prevents the slope field from tearing so severely that no curve can follow it; Lipschitz control prevents nearby slopes from separating enough to permit multiple curves through one point. Uniqueness explains why solution curves cannot cross where the theorem applies.

Fully worked example

Interpretation and application

Well-posed initial value problems support deterministic modelling and numerical approximation. If uniqueness fails, the same measured initial state may be compatible with multiple mathematical futures, so choosing one computed trajectory requires additional modelling information.