Solution

ID: past-exam-of-the-fixed-point-methods-for-nonlinear-partial-differential-equations-course-of-the-university-of-oxford/2023/1/d/solution

Let be the nonnegative portion of the unit sphere specified in the paper. If for some , then this nonzero vector is an eigenvector with eigenvalue zero, which already proves the assertion.
Otherwise for every , and
is a continuous map from to itself. Indeed, every entry of is nonnegative because is a nonnegative matrix and every entry of is nonnegative. By the supplied homeomorphism , the continuous map maps the finite-dimensional closed unit ball into itself. The Brouwer fixed-point theorem supplies a fixed point, hence for some . Therefore
Together with the zero case this proves that has a nonnegative eigenvalue, with a nonnegative eigenvector. For , the auxiliary closed unit ball is the one-point space and the argument remains valid. No claim of strict positivity of every entry of the eigenvector is needed.

New to topics? Read the docs here!