A moving jump cannot have an ordinary spatial derivative at its location. Yet a conservation statement can still compare the amount inside an interval with the flux through its ends. Start with uₜ + F(u)ₓ = 0, where F is a specified flux. Integrating over [a,b] gives the rate of change of ∫u as F(u(a,t)) − F(u(b,t)). The sign records inflow minus outflow.
Try a step with left value 3 and right value 1 for Burgers flux F(u) = u²/2. Its speed should account for the difference in both transported amount and flux.
Predict
Would either characteristic speed, 3 or 1, conserve the jump? Compute the flux difference first: 9/2 − 1/2 = 4. Divide by the state difference 2. Predict the shock speed before looking at the integrated derivation.
Experiment
The jump moves at speed 2. Track its position x = 2t and the values on both sides.
Quantity
Left
Right
Right minus left
State u
3
1
−2
Flux F(u)
9/2
1/2
−4
The ratio of the last column is 2. Reverse the states. The same algebra still gives speed 2. This is an important experiment: the conservation equation alone has not distinguished a compressive jump from an expanding one.
Understand
A bounded measurable u is a weak solution with initial data f if, for every smooth compactly supported test function φ on space and nonnegative time,
∫∫ [u φₜ + F(u) φₓ] dx dt + ∫ f(x)φ(x,0) dx = 0.
The support is bounded in space and time, and the initial boundary term is included. Multiplication and integration by parts derive this identity from a classical solution. Conversely, it defines the equation when ordinary derivatives do not exist. Values changed on a set of space-time measure zero do not change the integrals.
For a jump at x = st, write [u] for right state minus left state and [F] similarly. The time derivative contributes −s[u] times a delta measure on the jump, while the spatial flux derivative contributes [F]. Cancellation requires s[u] = [F], the Rankine–Hugoniot condition. When the states differ, s = [F]/[u]. If they agree, there is no genuine jump and division is inappropriate.
This condition is local to the moving interface. It must accompany the equation in each smooth region and the initial data. For Burgers, the factorization of the difference of squares makes s the arithmetic average of the two states. For a general nonlinear flux, there is no reason to use that average.
Apply
For F(u) = 2u, verify that every jump travels at speed 2, matching linear transport. Then examine Burgers data with left value 0 and right value 2. A jump at speed 1 satisfies Rankine–Hugoniot, but characteristics on either side move away from it. Explain why conservation has left a selection problem. Your argument should identify the weak identity, not merely assert that the picture looks unnatural.
Continue
Entropy inequalities select a physically and mathematically useful weak continuation for scalar conservation laws. They are additional admissibility conditions, not a replacement for conservation or the initial trace.
Apply · explain · revise
Practice and reasoning
Drafts save locally as you type. Reveal worked solutions when useful; the site remembers that exposure. Automatic matches check the requested answer, while written arguments require review against the rubric.
For Burgers flux F(u)=u²/2, left state 4 and right state 0, what is shock speed?
Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.
For flux F(u)=3u and distinct constant states, what is the jump speed?
Integers, fractions and finite decimals are accepted. Expressions such as sqrt(2) are not parsed by this checker.
Derive the weak identity for uₜ+F(u)ₓ=0 with initial f and compactly supported smooth tests on t≥0.
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
Derive s(u_R−u_L)=F(u_R)−F(u_L) for a jump along x=st.
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
Explain why a discontinuous step can solve the weak equation while its ordinary derivatives do not exist at the interface.
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
For Burgers data 0 on the left and 2 on the right, explain why a speed 1 discontinuity is weak but physically inadmissible under the usual entropy condition.
Structure your argument and preserve revisions
These optional planning fields save locally. Recording your response saves an immutable copy of the argument and these fields. Older records may contain only first/latest responses; missing intermediate revisions are not reconstructed.
Each field allows 2,000 characters. Keep a specific claim, state where it applies, cite the facts you use, and explain what still needs checking. Blank fields are allowed and are not evidence of mastery.
Reflect and continue
Before marking this lesson complete, explain one key idea without the worked solution and identify a condition that matters. Marking complete records participation, not independent mastery.
