I am going to discuss two fundamental lemmas appearing in the method of moving spheres. They have been used repeatedly in many works. For the full of account, the paper due to Y.Y. Li published in J. Eur. Math. Soc. (2004) is the best.
Lemma. For and , let be a function defined on and valued in satisfying
Then is constant or .
Proof. For all and with , let
Our lemma follows since are arbitrary.
By what we have discussed in here, it is worth noticing that , the reflection of on the sphere with center at and radius . Therefore, the lemma has its own geometric meaning. For example, when , the unique function satisfying
is constant or .
The second fundamental lemma will concern the case of equality. The shape of such functions plays an important role in PDEs. Having discuss these lemmas, I am going to introduce several variants of the moving spheres and their applications to PDEs.