Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2018/iii/paper-107/5/a/solution

Interpret strict ellipticity as uniform ellipticity up to the boundary, as required for the global elliptic boundary value problem. Mere pointwise positive definiteness in the interior is insufficient: on has trivial homogeneous Dirichlet kernel but has no solution up to .
Set and . The Fredholm alternative for an elliptic Dirichlet problem says is a Fredholm operator of index zero. Its null space is finite dimensional, its range is closed, and the range codimension equals . Hence ; in this case every forcing has a unique solution.
Otherwise there are nonzero homogeneous solutions and finitely many compatibility conditions: is solvable exactly when for every continuous linear functional on vanishing on . When solvable, its solutions are . This Fredholm solvability condition can be expressed with formal-adjoint null solutions for smoother coefficients. The functional formulation avoids differentiating the merely coefficients.

New to topics? Read the docs here!