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.

Articles by others on the same topic (0)

There are currently no matching articles.