Kellogg's Theorem, Gilbarg and Trudinger This is a long shot but...
In Gilbarg and Trudinger, they prove a specific case for Kellogg's theorem for a ball (Theorem 4.13):
let $B$ be a ball in $\mathbb{R}^n$ and $u$ and $f$ functions on $\bar{B}$ satisfying $u\in C^2(B)\cap C^0 (\bar{B})$, $f\in C^\alpha (\bar{B})$, $\Delta u =f$ in $B$, $u=0$ on $\partial B$. Then $u\in C^{2,\alpha}(\bar B)$.
As opposed to the general theory for linear elliptic operators, this special case is proven using the Kelvin transform. 
Could anyone explain to me the logic of the proof. I get the feeling that details have been left out and I can't seem to bridge the gap. How exactly is Theorem 4.11 used?
(I'm guessing only people with the text can really answer this question, sorry)
 A: By earlier results (Theorem 4.6 should do) we already know that $u \in C^{2,\alpha}(B\setminus \partial B)$, so the question is whether this regularity continues up to the boundary. Thus it suffices to show that each point on the boundary has a neighbourhood in which $u$ is $C^{2,\alpha}$.
Theorem 4.11 gives the same result but with the ball $B$ replaced by a half-ball $B^+$ - the idea is to transfer this result to $B$ via the Kelvin transform. If we translate our ball so that $p \in \partial B$ is the origin, then the Kelvin transform sends $B$ to a half-space, and more pertinently sends some neighbourhood of the boundary point $q$ opposite $p$ to a half-ball. Here's an illustration with $B$ having radius $1$ (small half-ball in red):

The transformed versions of $u$ and $f$ satisfy the hypotheses of Theorem 4.11 on a small enough half-ball; so the transform $v$ of $u$ is $C^{2,\alpha}$ there. You should be able to verify that the transform preserves regularity, so $u \in C^{2,\alpha}$ on the region highlighted in blue, which is a neighbourhood of $q$.
Since any $q \in \partial B$ has a corresponding opposite point $p$, we can get regularity near $q$ by performing this inversion about $p$; and thus we have regularity on the entire boundary.
