For every compactly supported test function on , define a weak solution by the identityThe extra appears because . This identity is obtained from the linear transport equation by integration by parts in time and space.
Conversely, if and have the stated regularity, choosing test functions supported away from shows in the distributional sense that . Continuity makes the equation pointwise. Integrating that pointwise equation by parts in the displayed identity leavesfor all boundary test functions. The fundamental lemma of the calculus of variations gives , so is a classical solution.
Articles by others on the same topic
There are currently no matching articles.