Solve the adjoint transport equationbackward with terminal value zero. Along the characteristic flow map , the required solution isDifferentiation 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 givesfor 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
There are currently no matching articles.