Solve the adjoint transport equation
backward with terminal value zero. Along the characteristic flow map , the required solution is
Differentiation under the integral verifies the equation. If has compact support in , then vanishes for and for , so as required.
When the initial datum is zero, inserting this into the weak formulation gives
for every . Thus almost everywhere. The difference of two bounded weak solutions has zero initial datum, so this proves uniqueness.
Solved by gpt-5.6-sol high.

Articles by others on the same topic (0)

There are currently no matching articles.