Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-107/4/b/v/solution

Fix and choose a boundary neighbourhood of on which . The positive continuous barrier has a positive minimum on the compact set . Choosing large enough makes
on all of . The left function is subharmonic and belongs to the Perron family; the right function is superharmonic and dominates every family member by part (ii). Therefore
As , continuity gives . Letting proves . Such a is a barrier for the Dirichlet problem, and is a regular boundary point.

New to topics? Read the docs here!