Learn with Amar
Teaching video
A teaching recording for this chapter has not been published yet. Start with the worked example below and explore the related animations where available.
Graduate chapters and video availability01 · Read and understand
What you will learn
- Recognize the energy estimate behind a weak–strong uniqueness argument.
- Justify the conclusion "If E≥0, then E(t)=0 throughout the interval" using the stated assumptions.
Before you start
Energy methods, Grönwall's inequality, and weak solutions.
Keep paper nearby. Read the question once for the context, then again to identify what is known and what you need to find.
Start with a question
Suppose a comparison estimate gives E′(t)≤C(t)E(t), E(0)=0, with C integrable. What follows, and why is the coefficient condition essential?
Why this math matters
Recognize the energy estimate behind a weak–strong uniqueness argument. This worked micro-lesson connects a precise mathematical condition to a conclusion you can check. The transfer task asks you to change the setting and decide which parts of the reasoning still apply.
Set up the model
A useful answer starts with clear assumptions:
- E is nonnegative and absolutely continuous, and the differential inequality holds almost everywhere.
- The coefficient C is integrable on the comparison interval.
02 · Work through the example
Follow the reasoning, one step at a time.
Try to predict the next step before reading it. After each calculation, explain why the operation makes sense and how it helps answer the original question.
Work through it with Amar
See this example unfold.
The complete worked example, one idea at a time.
See how one regular solution can control a comparison
PausedQuestion: Start with the question. Paused.
Question
Start with the question
Suppose a comparison estimate gives E′(t)≤C(t)E(t), E(0)=0, with C integrable. What follows, and why is the coefficient condition essential?
Before you calculate
Read what is known and what you need to find. Make a prediction before moving to the first calculation.
Starts paused. Play advances through the full text at a reading pace; pause whenever you need more time. Previous, Next, and the phase buttons let you set your own pace. Playback pauses when this walkthrough leaves the screen or you switch tabs.
Your device’s reduced-motion setting keeps each phase still. Manual controls remain available. The full written solution stays below.
Build the model
Multiply by exp(−∫₀ᵗC(s)ds)
This integrating factor compensates for the possible growth rate.
Work through the mathematics
The derivative of the weighted E is nonpositive
The differential inequality becomes a monotonicity statement.
Check the conclusion
If E≥0, then E(t)=0 throughout the interval
In a valid weak–strong comparison, E can measure the squared difference of velocities; the required regular solution makes the growth coefficient integrable.
The result
If E≥0, then E(t)=0 throughout the interval
In a valid weak–strong comparison, E can measure the squared difference of velocities; the required regular solution makes the growth coefficient integrable.
Common mistakes to catch
- Do not assume the needed gradient bound without proof.
- A conditional uniqueness theorem is not an unconditional smoothness theorem.
03 · Practice independently
Try it before revealing the answer.
Use paper or a calculator as needed. Write your units and reasoning, then open the hint or explanation to check your approach.
Practice 1
If E(0)=δ>0, what bound results?
Show a hint
Retain the nonzero initial value.
Reveal answer and explanation
E(t)≤δ exp(∫₀ᵗC)
This is the quantitative Grönwall estimate.
Practice 2
Does this prove uniqueness among all arbitrary weak solutions?
Show a hint
Check how the comparison coefficient was obtained.
Reveal answer and explanation
No
The weak–strong argument depends on one solution meeting additional regularity conditions.
Take the idea with you
Locate the exact regularity estimate that turns a formal difference calculation into a theorem.
04 · Reflect and continue
Can you explain it in your own words?
Before moving on, explain the main idea without looking at the worked example. Try both practice questions, check your reasoning, and name one mistake you now know how to avoid. Return to a step if you still need support.
Up next: Read the September 2026 Navier–Stokes announcement precisely
Completion is your own study record, not a test score. It stays in this browser, does not sync to another device, and can be removed by clearing browser data.