Harnack inequality

$$ \newcommand{\dd}{\mathrm{d}} \newcommand{\R}{\mathbb{R}} $$

The Harnack inequality refers to a control of the maximum of a nonnegative solution of an equation by its minimum. Unlike the local case (either De Giorgi-Nash-Moser theorem or Krylov-Safonov theorem), for nonlocal equations one needs to assume that the function is nonnegative in the full space.

The Harnack inequality is tightly related to Holder estimates for solutions to elliptic/parabolic equations. For a large class of problems both statements are equivalent. But there are simple cases (stable processes with the spectral measure consisting of atoms) where the Harnack inequality fails but Hölder estimates still hold true.

The result can hold either in the parabolic or elliptic setting. The parabolic Harnack inequality trivially implies the elliptic one. The reverse implication is not automatic, and the proof in the parabolic case may have some extra difficulties compared to the elliptic case.

Elliptic case

In the elliptic setting, the Harnack inequality refers to the following type of result: if a function $u: \R^n \to \R$ satisfies an elliptic equation $ L_x u (x) = f(x)$ in the unit ball $B_1$ and is nonnegative in the full space $\R^n$, then \[ \sup_{B_{1/2}} u \leq C \left( \inf_{B_{1/2}} u + ||f|| \right). \]

The norm $||f||$ may depend on the type of equation.

Parabolic case

In the parabolic setting, the Harnack inequality refers to the following type of result: if a function $u: [-1,0] \times \R^n \to \R$ satisfies a parabolic equation $ u_t - L_x u (x) = f(x)$ in the unit cylinder $(-1,0) \times B_1$ and is nonnegative in the full space $[-1,0] \times \R^n$, then \[ \sup_{[-1/2,-1/4] \times B_{1/2}} u \leq \left(\inf_{[-1/4,0] \times B_{1/2}} u + ||f|| \right). \]

The norm $||f||$ may depend on the type of equation.

Concrete examples

The Harnack inequality as above is known to hold in the following situations.

• Generalizad elliptic and parabolic Krylov-Safonov. If $L_x u(x)$ is a symmetric integro-differential operator of the form

\[ L_x u(x) = \int_{\R^n} (u(x+y)-u(x)) K(x,y) \dd y \] with $K$ symmetric ($K(x,y)=K(x,-y)$) and uniformly elliptic of order $s$: $(2-s)\lambda |y|^{-n-s} \leq K(x,y) \leq (2-s) \Lambda |y|^{-n-s}$.

In this case both the elliptic and parabolic Harnack inequality is known to hold with a constant $C$ which does not blow up as $s\to 2$, and $||f||$ refers to $||f||_{L^\infty(B_1)}$ }}