Locate the limit of a classical characteristic solution

Try

Suppose a field travels at its own local value: uₜ + u uₓ = 0. A characteristic carrying value 4 moves faster than one carrying value 1. Sketch two such paths with the faster one initially behind the slower one. Their intersection is a warning that a classical solution cannot keep assigning both transported values to one point.

This inviscid Burgers equation is a mathematical model of nonlinear transport. Interpreting it as traffic or fluid flow requires additional modeling assumptions; the characteristic calculation itself is independent of those interpretations.

Predict

For increasing initial data f(ξ) = ξ, will neighboring paths separate or collide? For decreasing data f(ξ) = −ξ, predict the first collision time. Label initial position by ξ so it cannot be confused with the evolving position x.

Experiment

Along a characteristic, x′ = u and the PDE makes u constant. Therefore x = ξ + t f(ξ), and the value remains f(ξ). For f(ξ) = −ξ, this is x = (1 − t)ξ.

Initial label ξ	Position at t = 0	Position at t = 1/2	Position at t = 1
−2	−2	−1	0
0	0	0	0
2	2	1	0

Before time 1, invert the map: ξ = x/(1 − t), hence u = −x/(1 − t). Its slope is −1/(1 − t), which becomes unbounded. For f(ξ) = ξ instead, u = x/(1 + t); verify both derivatives directly. These unbounded linear data are explicit local mechanisms, not claims about bounded physical profiles.

Understand

For general C¹ initial data, local inversion requires ∂x/∂ξ = 1 + t f′(ξ) to be nonzero. Differentiating the implicit formula yields

uₓ = f′(ξ)/(1 + t f′(ξ)).

If bounded C¹ data have derivative bounded below by −m with m positive, the map remains strictly increasing for times less than 1/m. Under the usual boundedness assumptions it also maps the whole line onto itself. When the minimum derivative −m is attained, the denominator first vanishes at time 1/m. If only an infimum is known, distinguish a uniform breakdown threshold from an attained collision at a particular finite label.

The value u need not blow up when the derivative does. A bounded decreasing transition can remain bounded in amplitude while its slope steepens without bound. Continuing the characteristic construction beyond crossing gives several candidate values at the same point. Choosing one by drawing a convenient branch is not a valid classical solution procedure.

The conservative form uₜ + (u²/2)ₓ = 0 suggests a different continuation: allow discontinuities and interpret derivatives weakly. That continuation requires both a conservation condition and an admissibility condition, developed next.

Apply

Choose a smooth bounded profile with a negative derivative somewhere, estimate its most negative slope and predict a breakdown time. Explain which assumption makes your estimate an attained first time. Compare it with a nondecreasing bounded profile, whose characteristic map has derivative at least 1 for all positive times. Do not infer smooth global behavior for a different nonlinear PDE merely from this Burgers example.

Continue

The next lesson replaces pointwise derivatives at jumps with an integrated conservation identity. Keep the characteristic picture: it will explain why compressive shocks and expanding fans require different treatments.