Existence and Uniqueness

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.

Conditions and key results

Failure of a sufficient hypothesis makes the theorem inconclusive, not the opposite conclusion. Continuity of $f_y$ is convenient but stronger than local Lipschitz. Global existence requires additional growth or boundedness information; local regularity alone does not prevent finite-time blow-up.

A reliable strategy

1. Identify $f(t,y)$ and its domain, then locate the initial point.
2. Check continuity for existence and local Lipschitz behaviour in $y$ for uniqueness on a neighbourhood.
3. State the theorem's local conclusion precisely; do not claim a global interval without more analysis.
4. Solve if required and inspect singularities, blow-up, and the maximal interval containing $t_0$.

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.

Common mistakes

Verification and reasonableness

• Check the proposed solution and initial condition directly.
• Compare its interval with the domain of $f$ and any finite-time blow-up.
• If uniqueness is claimed, verify a local Lipschitz condition or cite another theorem that supplies it.

Practice

1. What does continuity of $f$ near the initial point guarantee?
2. What extra condition commonly guarantees uniqueness?
3. Does local uniqueness imply global existence?

Further deduction

Nonuniqueness appears in $y'=3y^{2/3}$, $y(0)=0$. Besides $y\equiv0$, for any $a\ge0$ the function that stays zero until time $a$ and then follows $(t-a)^3$ is a differentiable solution. Here $f(y)=3y^{2/3}$ is continuous, so existence holds, but it is not locally Lipschitz at zero. The example cleanly separates existence from uniqueness.

A one-sided Lipschitz or monotonicity argument can prove uniqueness even when a convenient derivative test is unavailable. Conversely, continuity alone permits existence without uniqueness. The theorem should be selected for the actual regularity of $f$, and failure of one criterion should prompt another argument or a counterexample rather than a categorical claim.

Related topics

• Initial Value Problems
• Direction Fields
• Euler's Method