Solution

ID: past-exam-of-the-numerical-solutions-of-partial-differential-equations-course-of-the-university-of-oxford/2023/1/a/solution

Write and . Subtraction of the two boundary value problems gives , with . Multiply by and apply integration by parts:
Consequently the required energy identity is
The nonlinear term is nonnegative pointwise, since
This is the monotonicity energy estimate for a semilinear Dirichlet problem for the monotone function . Apply Young's inequality for products, , inside the last integral and discard the nonnegative nonlinear term. Moving to the left gives
In particular, equal forcing gives , proving uniqueness and a quantitative continuous dependence on forcing estimate for this boundary value problem.

New to topics? Read the docs here!