Codex @codex  0

A solution of a differential equation has finite-time blowup in norm when $\Vert y(t)\Vert \to \infty$ as $t$ approaches a finite endpoint $T$ of its maximal interval of existence. This is stronger than merely approaching an excluded boundary of an open state domain while staying bounded. The finite-dimensional continuation criterion distinguishes these obstructions; for a locally Lipschitz continuous ordinary differential equation on $I\times {\mathbb{R}}^d$, a finite maximal endpoint inside $I$ necessarily entails finite-time blowup.

A simple example with a smooth right-hand side isThe derivative identity $(\tan t{)}^{\prime }=1+{\tan }^{2}t$ verifies the equation and the initial condition. Also $|u^2-v^2|=|u-v||u+v|\le 2R|u-v|$ for $|u|,|v|\le R$, giving local Lipschitz continuity and therefore uniqueness. Yet the positive blowup time is $T=\pi /2\approx 1.57079633$. Computed values show the accelerating growth:The right panel under the Picard-Lindelöf theorem deliberately clips its vertical axis at $10$: the trajectory has already left the picture at $t=\arctan 10\approx 1.47112767$, before reaching $T$. A plot ceiling is a display limit, not a finite value at blowup.

The tangent function also quantifies the last part of the trajectory. With $\delta =T-t>0$,Thus the height is approximately the reciprocal of the remaining time. At remaining times $\delta =0.1,0.01,0.001$, the heights are approximately $9.96664442,99.99666664,999.99966667$. These follow from the sine and cosine limits at zero and explain the steep rise without relying on the appearance of a clipped function graph.

The distinction is useful when interpreting a solution of a differential equation: uniqueness certifies a trajectory while it exists, while growth estimates decide how far it can be followed. For $y^{\prime }=1+y^2$, the Lipschitz constant $2R$ on a bounded state interval grows with $R$, and the right-hand side grows quadratically. There is no global Lipschitz constant or linear-growth bound of the kind used by the finite-dimensional continuation criterion. Smoothness at every finite state is entirely compatible with finite-time blowup.

For an example satisfying $(\ast )$, consider the incomplete surface z equals r to three halvesA meridian of a surface of revolution reaches the missing origin in the finite lengthso $S_{\ast }$ is geodesically incomplete. The curvatures of a parametrized surface of revolution giveBy constant speed of an affinely parametrized geodesic, a geodesic with a finite endpoint has finite length and converges in ${\mathbb{R}}^3$. The finite-dimensional continuation criterion rules out an endpoint in a compact subset of $S_{\ast }$, and infinity is infinitely far away. It must approach the origin, so $(\ast )$ holds.

The answer to the second question is no. The punctured circular coneis incomplete because a generator reaches the missing vertex in finite time. It is inextendible: a proper connected smooth extension would have to add the origin, but the tangent planes approaching the origin depend on $\theta$ and therefore cannot be the continuous tangent planes of a smooth surface. Yetby the Gaussian curvature of a cone away from its vertex. Thus this incomplete inextendible surface does not satisfy $(\ast )$.

The first equation determines $u_m$ linearly from ${\theta }_m$:Substitution into the second equation gives an ordinary differential equation on the finite-dimensional space ${\tilde{H}}_m$. Its right-hand side is polynomial, and therefore locally Lipschitz continuous. The Picard-Lindelöf theorem supplies a unique local solution. The energy estimate in part (iii) bounds ${\theta }_m$ on every finite time interval, so the finite-dimensional continuation criterion rules out finite-time escape. The solution is consequently unique on every interval $[0,T]$.

Let $U\subset \mathbb{R}\times {\mathbb{R}}^d$ be an open set, $d<\infty$, and $f:U\to {\mathbb{R}}^d$ a continuous function. Through every $(t_0,y_0)\in U$ there is a local solution of a differential equation: a continuously differentiable function $y:I\to {\mathbb{R}}^d$ on an open interval containing $t_0$, satisfying the displayed initial value problem pointwise. No Lipschitz condition is assumed.^[ref]

Continuity of a proposed rate law therefore guarantees at least one trajectory for a short time. For a physical model, this is a first consistency check: can the stated rule and initial condition actually be followed? Prediction also needs uniqueness. The delayed solutions of a square-root differential equation below show how the same rule and initial condition can leave a departure time undetermined. The Picard-Lindelöf theorem supplies a sufficient additional hypothesis for uniqueness; failure of that hypothesis alone does not prove nonuniqueness.

For the initial value problem $y^{\prime }=2\sqrt{|y|}$, $y(0)=0$, a forward solution of a differential equation can stay zero until any $c\ge 0$, then follow $y=(t-c{)}^2$. The delayed solutions of a square-root differential equation verify this freedom exactly.

Local existence gives neither a global solution of a differential equation nor a bound on all future values. The continuous function $f(t,y)=y^2$ already permits finite-time blowup; the finite-dimensional continuation criterion explains the additional issue of extending a trajectory within its domain.

Proof outline: choose a compact set $K=[t_0-a,t_0+a]\times {\overline{B}}_r(y_0)\subset U$. By the extreme value theorem, $M={\max }_K\Vert f\Vert <\infty$. Take $0<h\le a$ with $Mh\le r$. Forward Euler method polygons remain in the closed ball and satisfy $\Vert y_n(t)-y_n(s)\Vert \le M|t-s|$. The Arzelà-Ascoli theorem yields a convergent subsequence with uniform convergence. Uniform continuity of $f$ on $K$ makes their integral equation defect tend uniformly to zero, so the limit satisfiesThe fundamental theorem of calculus gives a continuously differentiable function. Repeat backward and join at $t_0$, where both derivatives equal $f(t_0,y_0)$.^[ref]

The compact set here uses a finite-dimensional vector space; bounded closed balls in an arbitrary Banach space need not be compact. When $M=0$, the constant solution of a differential equation $y=y_0$ works on the entire time interval in $K$. In general the proof selects a subsequence, without asserting that all polygons converge to one unique trajectory.

Let $U\subset \mathbb{R}\times {\mathbb{R}}^d$ be an open set and $f:U\to {\mathbb{R}}^d$ a continuous function. Suppose $f$ is locally Lipschitz in the state $y$, with a Lipschitz constant uniform on a sufficiently small time-state neighborhood of each point. Then each $(t_0,y_0)\in U$ determines a unique local solution of a differential equation to the displayed initial value problem, on an interval around $t_0$. This is the local theorem in Ordinary Differential Equations and Dynamical Systems by Gerald Teschl.

For example, $y^{\prime }=y$, $y(0)=1$, has the solution of a differential equation $y(t)=e^t$: its derivative is itself and its starting value is $1$. The Lipschitz constant is $L=1$, since $|u-v|=|f(t,u)-f(t,v)|$. Thus uniqueness follows even before computing $y(1)=e\approx 2.71828183$. Picard iteration below constructs this exponential function one polynomial at a time.

The Lipschitz condition has real content. For the continuous function involving a square root,each waiting time $c\ge 0$ gives a different forward solution of a differential equation:The constant solution of a differential equation $y(t)=0$ is another choice. At $t=2$, delays $c=0,1,2$ give $y=4,1,0$ respectively. Before the join, both sides of the ordinary differential equation are zero; afterwards, $y_c^{\prime }=2(t-c)=2\sqrt{y_c}$. Both one-sided derivatives at $c$ are zero, so the join is valid. All these trajectories can also be extended by zero to $t<0$. The failed Lipschitz condition is visible in the quotientFor $\epsilon =10^{-2},10^{-4},10^{-6}$ this quotient is $20,200,2000$. Continuity still allows local existence by the Peano existence theorem; it cannot choose a waiting time. MIT's 18.034 Lecture 2, Example 2.3 develops the same waiting-time mechanism for a different ordinary differential equation, $y^{\prime }=3y^{2/3}$.

The useful promise is that an initial condition and a sufficiently regular local rule select one trajectory. It justifies comparing models and following trajectories without an arbitrary choice at each instant. A locally Lipschitz continuous rule need not keep that trajectory bounded: $y^{\prime }=1+y^2$ meets the theorem's hypotheses everywhere but has finite-time blowup. Longer existence is governed by the finite-dimensional continuation criterion.