---
abstract: 'Based on the recently proved Khavinson conjecture, we establish an inequality of Schwarz-Pick type for harmonic functions on the unit ball of $\mathbb{R}^n$.'
address: |
    School of Mathematical Sciences, University of Science and Technology of China\
    Hefei, Anhui 230026, People’s Republic of China\
    and\
    CAS Wu Wen-Tsun Key Laboratory of Mathematics\
    USTC, Hefei, China
author:
- Congwen Liu
title: 'Schwarz-Pick lemma for harmonic functions'
---

Introduction
============

This is a sequel to the paper [@Liu20]. There we proved the Khavinson conjecture, which says for bounded harmonic functions on the unit ball of ${\mathbb{R}}^n$, the sharp constants in the estimates for their radial derivatives and for their gradients coincide. In this paper, we further prove the following

\[thm:main\] Let $u$ be a real-valued harmonic function on the unit ball ${\mathbb{B}_n}$ of $\mathbb{R}^n$ and $|u| < 1$ on ${\mathbb{B}_n}$.

1.  When $n=2$ or $n\geq 4$, the following sharp inequality holds: $$\label{eqn:main}
    |\nabla u(x)| \leq \frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \frac{1}{1-|x|^2}, \qquad x\in {\mathbb{B}_n},
    $$ where $m_n$ denotes the Lebesgue measure on $\mathbb{R}^n$. Equality holds if and only if $x=0$ and $u = U \circ T$ for some orthogonal transformation $T$, where $U$ is the Poisson integral of the function that equals $1$ on a hemisphere and $-1$ on the remaining hemisphere.

2.  When $n=3$ we have $$\label{eqn:maincase3}
    |\nabla u(x)| < \frac {8}{3\sqrt{3}} \frac{1}{1-|x|^2}, \qquad  x\in \mathbb{B}_3.$$ The constant $\frac {8}{3\sqrt{3}}$ here is the best possible.

Curiously, the inequality fails when $n=3$. Note that $\frac {8}{3\sqrt{3}}\approx 1.5396$, while the constant $\frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})}$ in equals $\frac {3}{2}$ when $n=3$. According to [@Kha92], given $x_0\in \mathbb{B}_3$, there is a $u_0$ harmonic in $\mathbb{B}_3$, $|u_0|<1$, satisfying $$\left|\left\langle\nabla u_0(x_0), \frac {x_0}{|x_0|}\right\rangle\right|
~=~ \frac {(9-|x_0|^2)^2} {3\sqrt{3} (1-|x_0|^2) [(|x_0|^2+3)^{3/2}+ 3\sqrt{3} (1-|x_0|^2)]}.$$ Since $$\lim_{t\to 1-} \frac {(9-t^2)^2} {3\sqrt{3} [(t^2+3)^{3/2}+ 3\sqrt{3} (1-t^2)]} = \frac {8}{3\sqrt{3}} > \frac {3}{2},$$ we see that if $x_0$ is sufficiently near the boundary $\mathbb{S}^2$ then $|\nabla u_0(x_0)|> \frac {3}{2} \frac {1}{1-|x_0|^2}$, which contradicts the inequality . See Remark 2 in the next section for more explanations.

We refer to Theorem \[thm:main\] as the Schwarz-Pick lemma for harmonic functions, for (1) it is in analogy to a weaker version of the classical Schwarz-Pick lemma, which states that every holomorphic mapping $f$ of the unit disk onto itself satisfies the inequality: $$|f^{\prime}(z)| \leq \frac {1}{1-|z|^2}, \qquad |z|<1;$$ (2) it is a generalization of the following harmonic Schwarz lemma:

If $u$ is a real-valued harmonic function on ${\mathbb{B}_n}$ and $|u| < 1$ on ${\mathbb{B}_n}$, then $$\label{eqn:ABR01}
|\nabla u(0)| \leq \frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})}.$$ Equality holds if and only if $u = U \circ T$ for some orthogonal transformation $T$, where $U$ is as in Theorem \[thm:main\].

Some special cases of Theorem \[thm:main\] are known. When $n=2$, the inequality reads $$\label{eqn:Lindelof}
|\nabla u(z)| \leq  \frac{4}{\pi }\frac{1}{1-|z|^2}, \qquad |z|<1,$$ which is a reformulation of the Lindelöf inequality in the unit disc (see [@Col89 Theorem 3]). Recently, Kalaj [@Kal17] established the inequality for $n=4$. When $n=3$, although not explicitly stated, the inequality is an easy consequence of the main result of [@Mel19].

When $n=2$ or $n\geq 4$, Theorem \[thm:main\] can be restated as $$\label{eqn:main2}
|\nabla u(x)| \leq \frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \frac{1}{1-|x|^2}
\sup_{y\in {\mathbb{B}_n}} |u(y)|$$ for bounded harmonic functions $u$ on ${\mathbb{B}_n}$. This is obviously related to the following classical estimate (see for instance [@PW84 p.139, (6)]) $$\label{eqn:PW6}
|\nabla u(x)|\leq \frac {m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \frac{1}{d(x)} \operatorname{osc}_{\Omega}(u)$$ for harmonic functions $u$ in $\Omega\subset \mathbb{R}^n$, where $\operatorname{osc}_{\Omega}(u)$ is the oscillation of $u$ in $\Omega$ and $d(x)$ denotes the distance of $x \in
\Omega$ to the boundary $\partial\Omega$. In particular, if $\Omega={\mathbb{B}_n}$ and $u$ is a harmonic function on ${\mathbb{B}_n}$ with $|u| < 1$, then reads $$|\nabla u(x)| \leq \frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \frac{1}{1-|x|}.$$ Compare this with the inequality .

It is also interesting to compare the inequality with the following sharp inequality in [@KM10b] (see also [@KM12 p.131]): $$\label{eqn:KMhalfspace}
|\nabla v (x)|\leq
\frac {4\, (n-1)^{\frac {n+1}{2}}\, m_{n-1}(\mathbb{B}_{n-1})} { n^{\frac {n+2}{2}}\, m_n({\mathbb{B}_n})}
\frac {1}{x_n} \sup_{y\in \mathbb{R}_{+}^n} |v(y)|.$$ Here, $v$ is a bounded harmonic function in the half–space $\mathbb{R}^n_+:=\{(x^{\prime},x_n)\in \mathbb{R}^{n}:x_n>0\}$.

Recently, several versions of Schwarz lemma for harmonic functions or harmonic mappings were established. See [@Che13; @Kal16; @KV12; @Mar15; @Mat18; @Mel18]. In particular, Kalaj and Vuorinen [@KV12] obtained the following refinement of the inequality : $$\label{eqn:KV12}
|\nabla u(z)| \leq~  \frac{4}{\pi }\frac{1-|u(z)|^2}{1-|z|^2}, \qquad |z|<1.$$ This, together with our Theorem \[thm:main\], suggests the following

Under the hypotheses of Theorem \[thm:main\](i), we have $$|\nabla u(x)| \leq \frac {2m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \frac{1-|u(x)|^2}{1-|x|^2}, \qquad x\in {\mathbb{B}_n}.
$$

We are not able to prove this conjecture and leave it as an open question.

Outline of the proof
====================

Since the cases $n=2$ and $n=3$ are known, we shall prove only Theorem \[thm:main\] for $n\geq 4$.

Recall that we proved in [@Liu20] the following

Let $n\geq 3$ and let $u$ be a real-valued bounded harmonic function on ${\mathbb{B}_n}$. We have the following sharp inequality: $$|\nabla u(x)| \leq C(x) \sup_{y\in {\mathbb{B}_n}} |u(y)|, \qquad x\in {\mathbb{B}_n},$$ with $$C(x):=\frac {(n-1) m_{n-1}(\mathbb{B}_{n-1})}{m_n({\mathbb{B}_n})} \left\{\int\limits_{-1}^1
\frac {\left| t - \frac{n-2}n |x| \right| (1-t^2)^{\frac {n-3}{2}}}
{(1-2t|x|+|x|^2)^{\frac {n-2}{2}}} dt \right\} \frac{1}{1-|x|^2}.$$

Thus, in order to prove the inequality , it suffices to prove the following

\[pro:monotonicity\] When $n\geq 4$, the function $$\label{eqn:funPhi}
\Phi(\rho) := \int\limits_{-1}^1 \frac {\left| t - \frac{n-2}n \rho \right| (1-t^2)^{\frac {n-3}{2}}}
{(1 - 2 t\rho + \rho^2)^{\frac {n-2}{2}}} dt$$ is strictly decreasing on $[0, 1]$ and $$\max_{\rho\in [0,1]} \Phi(\rho) = \Phi(0) =\frac {2}{n-1}.$$

In contrast to the case $n\geq 4$, if $n=3$ then $$\Phi(\rho)
= \frac {2}{3} \frac {(1+\frac {1}{3}\rho^2)^{\frac {3}{2}}-1+\rho^2}{\rho^2}$$ is strictly increasing on $[0, 1]$ and attains its maximum at $\rho=1$. This explains why the inequality fails when $n=3$, as well as why, unlike , the inequality is sharp but always strict.

Assuming Proposition \[pro:monotonicity\] for the moment, we shall prove the second assertion of Theorem \[thm:main\](i). In view of Theorem B, it follows from the strict monotonicity of $\Phi$ that the equality in takes place if and only if $x=0$. Then, by Theorem A, $u$ must be of the form $u = U \circ T$, with $T$ an orthogonal transformation and $U$ the Poisson integral of the function that equals $1$ on a hemisphere and $-1$ on the remaining hemisphere.

We now turn to the proof of Proposition \[pro:monotonicity\]. An easy computation leads to $\Phi^{\prime}(0)=0$. Thus, the problem is further reduced to the following

\[pro:concave\] If $n\geq 4$ then $\Phi$ is a strictly concave function on the interval $(0, 1)$.

We divide the proof of Theorem \[pro:concave\] into the following two propositions.

\[prop:2ndderofPhi\] We have $$\begin{aligned}
\label{eqn:2ndderofPhi}
\Phi^{\prime\prime}(\rho) &~=~  \frac {2(n-2)}{\rho^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
\left(1-\frac {n-4}{n} \rho^2 \right)^{-\frac {n}{2}} \\
&\qquad \times \Biggl\{ \left[1-\frac {(n-2)(n-3)}{n^2} \rho^2 \right] \left(1-\frac {n-4}{n} \rho^2 \right) \notag\\
& \qquad \qquad \quad - \left[1-\frac {(n-2)(n-3)}{n(n-1)} \rho^2 \right] \left(1-\frac {(n-2)^2}{n^2} \rho^2 \right) \notag\\
& \qquad \qquad \qquad \quad \times \left(1-\frac {n-2}{n} \rho^2 \right) {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]} \Biggr\}.\notag\end{aligned}$$

Here and throughout the paper, ${\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]}$ denotes the Gauss hypergeometric function defined by $$\label{eq:hypergdefin}
{\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]} := \sum_{k=0}^{\infty}\frac{(a)_k(b)_k}{(c)_k\, k!} z^k$$ for $|z|<1$, with $(\lambda)_k$ the Pochhammer symbol (or the extended factorial), which is defined by $$(\lambda)_0 := 1, \quad (\lambda)_k := \lambda(\lambda+1)\ldots(\lambda+k-1)
\quad \text{ for } k\geq 1.$$

\[lem:technical\] If $n \geq 4$ then $$\label{eqn:technical}
{\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {t \left[1-\frac {(n-2)^2}{n^2} t\right]} {1-\frac {n-4}{n} t} \right]}
 ~>~ \frac {\left( 1-\frac {n-4}{n} t \right) \left[ 1-\frac {(n-2)(n-3)}{n^2} t \right]}
{\left(1-\frac {n-2}{n} t\right) \left[ 1-\frac {(n-2)^2}{n^2} t \right] \left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]}$$ holds for all $t\in [0,1]$.

As we will see in the proof, if $n=3$ then the inequality in is reversed.

Propositions \[prop:2ndderofPhi\] and \[lem:technical\] will be proved in the next two sections.

The proof of Proposition \[prop:2ndderofPhi\]
=============================================

The proof will be divided into three steps.

Step 1 {#step-1 .unnumbered}
------

We express the function $\Phi$ as follows. $$\begin{aligned}
\label{eqn:reprn}
\Phi(\rho) ~=~& \int\limits_{-1}^1 \left| t- \frac {n-2}{n} \rho  \right| (1-t^2)^{\frac {n-3}{2}} dt \\
&\quad +~  (n-2)\rho  \int\limits_{-1}^1 \left| t- \frac {n-2}{n} \rho \right| (1-t^2)^{\frac {n-3}{2}} t dt \notag\\
& \quad +~ \sum_{k=2}^{\infty} \frac {2n(n-2)} {k(k-1)(k+n-2)(k+n-1)} \notag \\
& \quad \qquad \quad \times \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}} C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho\right) \rho^k, \notag\end{aligned}$$ where $C_k^{\lambda}(x)$ is the Gegenbauer polynomial (also known as the ultraspherical polynomials) of degree $k$ associated to $\lambda$, which is defined by the generating relation $$\label{eqn:generatingformula}
(1-2xz+z^2)^{-\lambda} = \sum_{k=0}^{\infty} C_k^{\lambda}(x) z^k, \qquad -1<x<1,\; |z|<1 .$$

Using the generating relation and noting that $$C_k^{\frac{n-2}{2}} (t) \equiv 1 \quad \text{and} \quad  C_k^{\frac{n-2}{2}} (t) = (n-2) t,$$ we obtain $$\begin{aligned}
\Phi(\rho) ~=~& \sum_{k=0}^{\infty} \left\{ \int\limits_{-1}^{1} \left| t - \frac {n-2}{n} \rho \right|
(1-t^2)^{\frac{n-3}2} C_k^{\frac{n-2}{2}} (t)  dt \right\} \rho^k\\
=~& \int\limits_{-1}^1 \left| t- \frac {n-2}{n} \rho  \right| (1-t^2)^{\frac {n-3}{2}} dt \\
& \qquad +  (n-2)\rho  \int\limits_{-1}^1 \left| t- \frac {n-2}{n} \rho \right| (1-t^2)^{\frac {n-3}{2}} t dt \notag\\
& \qquad + \sum_{k=2}^{\infty} \left\{ \int\limits_{-1}^{1} \left| t - \frac {n-2}{n} \rho \right|
(1-t^2)^{\frac{n-3}2} C_k^{\frac{n-2}{2}} (t)  dt \right\} \rho^k.\end{aligned}$$ Then follows by an application of Lemma \[lem:intbyterms\] below, with $\lambda=\frac {n-2}{2}$ and $s=\frac {n-2}{n}\rho$.

\[lem:intbyterms\] Let $\lambda>-1/2$ and $-1<s<1$. Then we have $$\begin{aligned}
\label{eqn:intbyterms}
\int\limits_{-1}^{1} & |x-s| (1-x^2)^{\lambda-\frac {1}{2}} C_k^{\lambda}(x) dx \\
&~=~ \frac {8\lambda(\lambda+1)} {k(k-1)(k+2\lambda)(k+2\lambda+1)}
(1-s^2)^{\lambda+\frac {3}{2}}  C_{k-2}^{\lambda+2} (s) \notag\end{aligned}$$ for $k=2,3,\ldots$.

Step 2 {#step-2 .unnumbered}
------

We claim the formula $$\begin{aligned}
\label{eqn:Phi2ndder1}
\Phi^{\prime\prime}(\rho)
~=~& \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}} \sum_{k=0}^{\infty}
C_k^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k \\
&\quad -~ \frac {4 (n-2)^2}{n(n-1)} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\sum_{k=0}^{\infty} \frac {(n-1)_k}{(n)_k} C_k^{\frac {n}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k \notag\\
&\quad +~ \frac {2(n-2)}{n+1}  \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
\sum_{k=0}^{\infty} \frac {(n)_k}{(n+2)_k} C_k^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k. \notag\end{aligned}$$

The proof is similar to that of Lemma 8 in [@Liu20]. In view of , we write $$\begin{aligned}
\Phi_1(\rho) :=& \int\limits_{-1}^1 \left| \frac {n-2}{n} \rho  -x \right| (1-x^2)^{\frac {n-3}{2}} dx, \\
\Phi_2(\rho) :=& (n-2)\rho  \int\limits_{-1}^1 \left| \frac {n-2}{n} \rho  -x \right| (1-x^2)^{\frac {n-3}{2}} x dx, \notag\\
\Phi_3(\rho) :=&  \sum_{k=2}^{\infty} \frac {2n(n-2)}{k(k-1)(k+n-2)(k+n-1)} \notag\\
& \hspace{1cm} \times \left\{\left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \right\} \rho^k.\end{aligned}$$ Straightforward computations yield $$\Phi_1^{\prime\prime}(\rho) = \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
C_0^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho\right)$$ and $$\begin{aligned}
\Phi_2^{\prime\prime}(\rho)
=~& \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
C_1^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho\right) \, \rho \\
& \quad -~ \frac {4(n-2)^2}{n(n-1)} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
C_0^{\frac {n}{2}} \left(\frac {n-2}{n} \rho\right).\end{aligned}$$ So, it remains to show that $$\begin{aligned}
\label{eqn:2ndderPhi3}
\Phi_3^{\prime\prime}(\rho)
~=&~ \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}} \sum_{k=2}^{\infty}
C_k^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k \\
&\quad -~ \frac {4 (n-2)^2}{n(n-1)} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\sum_{k=1}^{\infty} \frac {(n-1)_k}{(n)_k} C_k^{\frac {n}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k \notag\\
&\quad +~ \frac {2(n-2)}{n+1}  \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
\sum_{k=0}^{\infty} \frac {(n)_k}{(n+2)_k} C_k^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k. \notag\end{aligned}$$ We need the following lemma.

\[lem:diffofgeng2\] If $\lambda\neq 1$ then $$\label{eqn:diffofgeng2}
\frac {d}{dx} \left\{(1-x^2)^{\lambda-\frac {1}{2}} C_k^{\lambda}(x) \right\}
~=~  - \frac {(k+1)(k+2\lambda-1)}{2(\lambda-1)} (1-x^2)^{\lambda-\frac {3}{2}} C_{k+1}^{\lambda-1}(x).$$

Applying Lemma \[lem:diffofgeng2\] successively, it follows that $$\begin{aligned}
\frac {d}{d\rho} & \left\{\left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \right\}\\
&\quad = - \frac {n-2}{n} \frac {(k-1) (k+n-1)} {n} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
C_{k-1}^{\frac {n}{2}} \left(\frac {n-2}{n} \rho \right)\end{aligned}$$ and $$\begin{aligned}
\frac {d^2}{d\rho^2} & \left\{\left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \right\}\\
&\quad =~ \frac {(n-2)^2}{n^2} \frac {k (k+n-2) (k-1) (k+n-1)} {n (n-2)} \\
& \qquad \qquad \times \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
C_{k}^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho \right),\end{aligned}$$ and hence $$\begin{aligned}
 \Phi_3^{\prime\prime}(\rho) &~=~  \sum_{k=2}^{\infty} \frac {2n(n-2)}{k(k-1)(k+n-2)(k+n-1)} \notag\\
& \quad \times \Biggl( \frac {d^2}{d\rho^2} \biggl\{\left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \biggl(\frac {n-2}{n} \rho \biggr) \biggr\}\, \rho^k\\
& \quad \hspace{1cm} +~ 2 \frac {d}{d\rho} \biggl\{\left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \biggr\} \, \frac {d}{d\rho} \left(\rho^k\right)\\
& \quad \hspace{1cm} +~ \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right)\, \frac {d^2}{d\rho^2} \left(\rho^k\right) \Biggr)\\
&~=~ \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}} \sum_{k=2}^{\infty}
C_k^{\frac {n-2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^k \\
&\quad - \frac {4 (n-2)^2}{n} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}} \sum_{k=2}^{\infty} \frac {1}{k+n-2}
C_{k-1}^{\frac {n}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^{k-1} \notag \\
&\quad + \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}} \sum_{k=2}^{\infty} \frac {2n(n-2)}{(k+n-2)(k+n-1)}
C_{k-2}^{\frac {n+2}{2}} \left(\frac {n-2}{n} \rho \right) \, \rho^{k-2}.\end{aligned}$$ This is precisely the desire identity , in view of that $$\frac {(n-1)_k}{(n)_k} = \frac {n-1}{n+k-1} \quad \text{and} \quad \frac {(n)_k}{(n+2)_k} = \frac {n(n+1)}{(n+k)(n+k+1)}.$$

Step 3 {#step-3 .unnumbered}
------

We are now ready to conclude the proof of the Proposition \[prop:2ndderofPhi\].

Denote the three terms in the right hand side of by $I$, $II$ and $III$ respectively. By the generating relation , we have $$\begin{aligned}
I ~=~& \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
\left[1- 2 \left(\frac {n-2}{n} \rho\right)\rho + \rho^2 \right]^{-\frac {n-2}{2}} \label{eqn:termI}\\
~=~& \frac {2(n-2)^2}{n^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-3}{2}}
\left(1- \frac {n-4}{n} \rho^2 \right)^{-\frac {n-2}{2}}. \notag\end{aligned}$$ For $II$, we shall make use of the following

Suppose that $\nu, \lambda\in \mathbb{R}$ and $2\lambda \neq 0, -1, -2, \ldots$. Then the identity $$\label{eqn:generatingformula2}
(1-xz)^{-\nu} {\: _2\! F_1\! \left[\!\! \begin{array}{c} \frac {\nu}{2},\, \frac {\nu+1}{2} \\[4pt] \lambda+\frac {1}{2} \end{array}\!\! ;\,  \frac {z^2(x^2-1)}{(1-xz)^2} \right]}
~=~ \sum_{k=0}^{\infty} \frac {(\nu)_k}{(2\lambda)_k} C_k^{\lambda}(x) z^k$$ holds, whenever both sides make sense.

We apply with $\nu=n-1$ and $\lambda=\frac {n}{2}$ to obtain $$\begin{aligned}
\label{eqn:termII0}
II ~=~ & - \frac {4 (n-2)^2}{n(n-1)} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\left(1-\frac {n-2}{n} \rho^2 \right)^{-n+1}\\
& \quad \times {\: _2\! F_1\! \left[\!\! \begin{array}{c} \frac {n-1}{2},\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[\frac {(n-2)^2}{n^2} \rho^2 -1\right]} {(1-\frac {n-2}{n} \rho^2 )^2} \right]}. \notag\end{aligned}$$ On the other hand, $$\begin{aligned}
\label{eqn:hyperg1}
&{\: _2\! F_1\! \left[\!\! \begin{array}{c} \frac {n-1}{2},\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[\frac {(n-2)^2}{n^2} \rho^2 -1\right]} {(1-\frac {n-2}{n} \rho^2 )^2} \right]}\\
&\qquad \hspace{1cm} ~=~ \frac {\left(1-\frac {n-2}{n} \rho^2 \right)^n}
{\left(1-\frac {n-4}{n} \rho^2 \right)^{\frac {n}{2}}}
{\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}, \notag\end{aligned}$$ which follows from Pfaff’s transformation formula ([@EMOT53a p.105, (4)]) $${\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]} = (1-z)^{-b} {\: _2\! F_1\! \left[\!\! \begin{array}{c} c-a,\, b \\[4pt] c \end{array}\!\! ;\,  \frac {z}{z-1} \right]}.$$ Substituting into yields $$\begin{aligned}
\label{eqn:termII}
II ~=~ & - \frac {4 (n-2)^2}{n(n-1)} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\left(1-\frac {n-2}{n} \rho^2 \right) \\
& \quad \times \left(1-\frac {n-4}{n} \rho^2 \right)^{-\frac {n}{2}}
{\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}. \notag\end{aligned}$$ In the same way, $$\begin{aligned}
\label{eqn:term3}
III ~=~& \frac {2(n-2)}{n+1} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}} \left(1-\frac {n-2}{n} \rho^2 \right)^{-n} \\
& \quad \times {\: _2\! F_1\! \left[\!\! \begin{array}{c} \frac {n}{2},\, \frac {n+1}{2} \\[4pt] \frac {n+3}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[\frac {(n-2)^2}{n^2} \rho^2 -1\right]} {(1-\frac {n-2}{n} \rho^2 )^2} \right]} \notag\\
=~& \frac {2(n-2)}{n+1} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n+1}{2}} \left(1-\frac {n-4}{n} \rho^2 \right)^{-\frac {n}{2}} \notag\\
& \quad \times  {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+3}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}.\notag\end{aligned}$$ Applying Gauss’ contiguous relation ([@EMOT53a p.103, (38)]) $$(c-b)\, z {\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c+1 \end{array}\!\! ;\,  z \right]} ~=~ c {\: _2\! F_1\! \left[\!\! \begin{array}{c} a-1,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]} - c\, (1-z) {\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]},$$ with $a$=1, $b=\frac {n}{2}$, $c=\frac {n+1}{2}$ and $$z=  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2},$$ we have $$\begin{aligned}
&{\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+3}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}\\
& \qquad \quad ~=~ \frac {n+1}{\rho^2} \frac {1-\frac {n-4}{n} \rho^2} {1-\frac {(n-2)^2}{n^2} \rho^2 }\\
& \qquad \qquad - \frac {n+1}{\rho^2} \frac {\left(1-\frac {n-2}{n} \rho^2\right)^2} {1-\frac {(n-2)^2}{n^2} \rho^2 }
{\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}.\end{aligned}$$ Substituting this into , we obtain $$\begin{aligned}
\label{eqn:termIII}
III ~=~ & \frac {2(n-2)}{\rho^2} \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\left(1-\frac {n-4}{n} \rho^2 \right)^{\frac {2-n}{2}} \\
&\quad  - \frac {2(n-2)}{\rho^2}  \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]^{\frac {n-1}{2}}
\left(1-\frac {n-4}{n} \rho^2 \right)^{-\frac {n}{2}} \notag\\
& \qquad \quad \times \left(1-\frac {n-2}{n} \rho^2 \right)^2 {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \frac {\rho^2 \left[1-\frac {(n-2)^2}{n^2} \rho^2 \right]} {1-\frac {n-4}{n} \rho^2} \right]}.\notag\end{aligned}$$ Summing up , and leads to the desired equality .

Proof of Proposition \[lem:technical\]
======================================

The proof of Proposition \[lem:technical\] is rather lengthy, we only sketch it.

Write $$\varphi(t):=\frac {t \left[1-\frac {(n-2)^2}{n^2} t\right]} {1-\frac {n-4}{n} t}, \qquad t\in [0,1].$$ It is easy to check that the inequality is equivalent to $$\begin{aligned}
\varphi(t)^{\frac {n-1}{2}} \left[1-\varphi(t)\right]^{\frac {1}{2}} {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \varphi(t) \right]}
~>~ \frac {t^{\frac {n-1}{2}} \left[ 1-\frac {(n-2)^2}{n^2} t \right]^{\frac {n-3}{2}}\left[ 1-\frac {(n-2)(n-3)}{n^2} t \right]}
{\left( 1-\frac {n-4}{n} t \right)^{\frac {n-2}{2}} \left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]}. \notag\end{aligned}$$ So we define $$\begin{aligned}
\Psi(t) ~:=~& \varphi(t)^{\frac {n-1}{2}}  \left[1-\varphi(t)\right]^{\frac {1}{2}} {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \varphi(t) \right]} \\
& \quad -~ \frac {t^{\frac {n-1}{2}} \left[ 1-\frac {(n-2)^2}{n^2} t \right]^{\frac {n-3}{2}}\left[ 1-\frac {(n-2)(n-3)}{n^2} t \right]}
{\left( 1-\frac {n-4}{n} t \right)^{\frac {n-2}{2}} \left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]}, \qquad t\in [0,1],  \notag\end{aligned}$$ and claim that $\Psi(t) > 0$ for all $t\in (0,1)$. Since $\Psi(0)=0$, it suffices to show that $\Psi^{\prime} (t)> 0$ for all $t\in (0,1)$.

Applying the elementary relation ([@EMOT53a p.102, (23)]) $$\begin{aligned}
\frac {d}{dz} & \left\{z^{c-a} (1-z)^{a+b-c} {\: _2\! F_1\! \left[\!\! \begin{array}{c} a,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]}\right\} \label{eqn:diffhyperg}\\
& \qquad =~ (c-a)\, z^{c-a-1} (1-z)^{a+b-c-1} {\: _2\! F_1\! \left[\!\! \begin{array}{c} a-1,\, b \\[4pt] c \end{array}\!\! ;\,  z \right]} \notag\end{aligned}$$ and noting that $$\varphi^{\prime}(t) = \frac {\left(1-\frac {n-2}{n} t\right) \left[ 1-\frac {(n-2)(n-4)}{n^2} t \right]}
{\left(1-\frac {n-4}{n} t\right)^2},$$ we obtain $$\begin{aligned}
\frac {d}{dt}  & \Bigg\{ \varphi(t)^{\frac {n-1}{2}} \left[1-\varphi(t)\right]^{\frac {1}{2}} {\: _2\! F_1\! \left[\!\! \begin{array}{c} 1,\, \frac {n}{2} \\[4pt] \frac {n+1}{2} \end{array}\!\! ;\,  \varphi(t) \right]} \Bigg\}\\
&~=~ \frac {n-1}{2}\, \varphi(t)^{\frac {n-3}{2}} \left[1-\varphi(t)\right]^{-\frac {1}{2}} \varphi^{\prime}(t)\\
&~=~ \frac {n-1}{2} t^{\frac {n-3}{2}} \left(1-\frac {n-4}{n} t\right)^{-\frac {n}{2}} \left[1-\frac {(n-2)^2}{n^2} t\right]^{\frac {n-3}{2}}
\left[ 1-\frac {(n-2)(n-4)}{n^2} t \right] \\
& \quad ~=~ t^{\frac {n-3}{2}} \left(1-\frac {n-4}{n} t\right)^{-\frac {n}{2}} \left[1-\frac {(n-2)^2}{n^2} t\right]^{\frac {n-5}{2}}
\left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]^{-2} \notag \\
& \qquad \times \Bigg\{ \frac {n-1}{2} - \frac {12 -46 n + 56 n^2 - 26 n^3 + 4n^4}{2 n^2(n-1)}\, t \notag\\
&\qquad \hspace{1.6cm} + \frac {(n-2)(-8 + 62 n - 119 n^2 + 87 n^3 - 27 n^4 + 3 n^5)}{ n^4 (n-1)}\, t^2 \notag\\
&\qquad \hspace{1.6cm} - \frac {(n-2)^2 (n-3) (32 - 108 n + 98 n^2 - 34 n^3 + 4 n^4)}{2 n^5 (n-1)}\, t^3\notag\\
&\qquad \hspace{1.6cm} + \frac{(n-2)^5 (n-3)^2 (n-4)}{2 n^6 (n-1)}\, t^4 \Bigg\}.\end{aligned}$$ Also, a direct calculation yields $$\begin{aligned}
\frac {d}{dt} & \left\{ \frac {t^{\frac {n-1}{2}} \left[ 1-\frac {(n-2)^2}{n^2} t \right]^{\frac {n-3}{2}}\left[ 1-\frac {(n-2)(n-3)}{n^2} t \right]} {\left( 1-\frac {n-4}{n} t \right)^{\frac {n-2}{2}} \left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]} \right\}\\
& \quad ~=~ t^{\frac {n-3}{2}} \left(1-\frac {n-4}{n} t\right)^{-\frac {n}{2}} \left[1-\frac {(n-2)^2}{n^2} t\right]^{\frac {n-5}{2}}
\left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]^{-2} \notag \\
& \qquad \times \Bigg\{ \frac {n-1}{2} - \frac{10 -49 n +57 n^2 -26 n^3 +4 n^4}{2 n^2 (n-1)}\, t\\
&\qquad \hspace{1.6cm} +\frac {(n-2) (-12 + 75 n - 126 n^2 + 88 n^3 - 27 n^4 + 3 n^5)}{ n^4 (n-1)}\, t^2\\
&\qquad \hspace{1.6cm} -\frac {(n-2)^2 (n-3) (48 -116 n +99 n^2 -34 n^3 +4 n^4)}{2 n^5 (n-1)}\, t^3\\
&\qquad \hspace{1.6cm} +\frac {(n-2)^5 (n-3)^2 (n-4)}{2 n^6 (n-1)}\, t^4 \Bigg\}.\end{aligned}$$ It follows that $$\begin{aligned}
\Psi^{\prime}(t) =~& \frac {t^{\frac {n-1}{2}}}{2n^5 (n-1)} \left(1-\frac {n-4}{n} t\right)^{-\frac {n}{2}}
\left[1-\frac {(n-2)^2}{n^2} t\right]^{\frac {n-5}{2}} \left[ 1-\frac {(n-2)(n-3)}{n(n-1)} t \right]^{-2} \notag \\
& \quad \times \Big[n^3(n^2-3n-2) - 2n (n-2) (n-4) (n^2 -3 n + 1)\, t \\
&\quad \hspace{3.1cm} +(n-2)^2 (n-3) (n-4)^2\, t^2\Big].\end{aligned}$$ It is easily seen that, when $n\geq 4$, the quadratic polynomial $$n^3(n^2-3n-2) - 2n (n-2) (n-4) (n^2 -3 n + 1)\, t
+(n-2)^2 (n-3) (n-4)^2 \, t^2$$ is always positive on the interval $[0,1]$. Consequently $\Psi^{\prime}(t)>0$ for all $t\in [0,1]$. This completes the proof.

[99]{}

R. Askey, Orthogonal Polynomials and Special Functions, SIAM, Philadelphia, 1975.

G. Andrews, R. Askey R. Roy, Special Functions, , 71, Cambridge University Press, Cambridge, 1999.

S. Axler, P. Bourdon W. Ramey, Harmonic Function Theory, second edition, Graduate Texts in Mathematics, vol. 137, Springer-Verlag, New York, 2001.

H. Chen, The Schwarz-Pick lemma and Julia lemma for real planar harmonic mappings, Sci. China Math., 56(2013), 2327–2334.

F. Colonna, The Bloch constant of bounded harmonic mappings, , 38(1989), 829-840.

A. Erdélyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi, , Vol. I. McGraw-Hill, New York, 1953.

A. Erdélyi, W. Magnus, F. Oberhettinger, and F. G. Tricomi, , Vol. II. McGraw-Hill, New York, 1953.

D. Kalaj, Heinz-Schwarz inequalities for harmonic mappings in the unit ball. Ann. Acad. Sci. Fenn. Math. 41 (2016), no. 1, 457–464.

D. Kalaj, A proof of Khavinson conjecture in $\mathbb{R}^4$, , 49(4)(2017), 561–570.

D. Kalaj M. Vuorinen, On harmonic functions and the Schwarz lemma, , 140(2012), 161-165.

D. Khavinson, An extremal problem for harmonic functions in the ball, , 35(1992), 218–220.

G. Kresin V. Maz’ya, Sharp pointwise estimates for directional derivatives of harmonic function in a multidimensional ball, , 169(2010), 167–187.

G. Kresin V. Maz’ya, Optimal estimates for the gradient of harmonic functions in the multidimensional half-space, 28(2010), 425–440.

G. Kresin V. Maz’ya, Maximum Principles and Sharp Constants for Solutions of Elliptic and Parabolic Systems 183, American Mathematical Society, 2012.

C. Liu, A proof of the Khavinson conjecture. , to appear. (https://doi.org/10.1007/s00208-020-01983-w)

M. Marković, On harmonic functions and the hyperbolic metric, 26(2015), 19-23.

M. Marković, Solution to the Khavinson problem near the boundary of the unit ball, , 45(2)(2017), 243–271.

M. Mateljević, Schwarz lemma and Kobayashi Metrics for harmonic and holomorphic functions, 464(1)(2018), 78-100.

P. Melentijević, Invariant gradient in refinements of Schwarz and Harnack inequalities, 43(2018), 391-399.

P. Melentijević, A proof of the Khavinson conjecture in $\mathbb{R}^3$. 352 (2019), 1044–1065.

M. H. Protter H. F. Weinberger, Maximum Principles in Differential Equations, Springer, Berlin-Heidelberg-New York, 1984.

E.D. Rainville, Special Functions. The Macmillan Co. Inc., New York, 1960.
