Harnack's inequality

From Wikipedia, the free encyclopedia

In mathematics, Harnack's inequality is an inequality relating the values of a positive harmonic function at two points, introduced by A. Harnack (1887). J. Serrin (1955) and J. Moser (1961, 1964) generalized Harnack's inequality to solutions of elliptic or parabolic partial differential equations. Perelman's solution of the Poincaré conjecture uses a version of the Harnack inequality, found by R. Hamilton (1993), for the Ricci flow. Harnack's inequality is used to prove Harnack's theorem about the convergence of sequences of harmonic functions. Harnack's inequality also implies the regularity of the function in the interior of its domain.

The statement

A harmonic function (green) over a disk (blue) is bounded from above by a function (red) that coincides with the harmonic function at the disk center and approaches infinity towards the disk boundary.

Harnack's inequality applies to a non-negative function f defined on a closed ball in Rⁿ with radius R and centre x₀. It states that, if f is continuous on the closed ball and harmonic on its interior, then for any point x with |x - x₀| = r < R

$\displaystyle {{1-(r/R) \over [1+(r/R)]^{{n-1}}}f(x_{0})\leq f(x)\leq {1+(r/R) \over [1-(r/R)]^{{n-1}}}f(x_{0}).}$

In the plane R² (n = 2) the inequality can be written:

${R-r \over R+r}f(x_{0})\leq f(x)\leq {R+r \over R-r}f(x_{0}).$

For general domains $\Omega$ in ${\mathbf {R}}^{n}$ the inequality can be stated as follows: If $\omega$ is a bounded domain with ${\bar {\omega }}\subset \Omega$ , then there is a constant $C$ such that

$\sup _{{x\in \omega }}u(x)\leq C\inf _{{x\in \omega }}u(x)$

for every twice differentiable, harmonic and nonnegative function $u(x)$ . The constant $C$ is independent of $u$ ; it depends only on the domain.

Proof of Harnack's inequality in a ball

By Poisson's formula

$\displaystyle {f(x)={1 \over \omega _{{n-1}}}\int _{{|y-x_{0}|=R}}{R^{2}-r^{2} \over R|x-y|^{n}}\cdot f(y)\,dy,}$

where ω_{n − 1} is the area of the unit sphere in Rⁿ and r = |x - x₀|.

Since

$\displaystyle {R-r\leq |x-y|\leq R+r,}$

the kernel in the integrand satisfies

$\displaystyle {{R-r \over R(R+r)^{{n-1}}}\leq {R^{2}-r^{2} \over R|x-y|^{n}}\leq {R+r \over R(R-r)^{{n-1}}}.}$

Harnack's inequality follows by substituting this inequality in the above integral and using the fact that the average of a harmonic function over a sphere equals it value at the center of the sphere:

$\displaystyle {f(x_{0})={1 \over R^{{n-1}}\omega _{{n-1}}}\int _{{|y-x_{0}|=R}}f(y)\,dy.}$

Elliptic partial differential equations

For elliptic partial differential equations, Harnack's inequality states that the supremum of a positive solution in some connected open region is bounded by some constant times the infimum, possibly with an added term containing a functional norm of the data:

$\sup u\leq C(\inf u+||f||)$

The constant depends on the ellipticity of the equation and the connected open region.

Parabolic partial differential equations

There is a version of Harnack's inequality for linear parabolic PDEs such as heat equation.

Let ${\mathcal {M}}$ be a smooth domain in ${\mathbb {R}}^{n}$ and consider the linear parabolic operator

${\mathcal {L}}u=\sum _{{i,j=1}}^{n}a_{{ij}}(t,x){\frac {\partial ^{2}u}{\partial x_{i}\,\partial x_{j}}}+\sum _{{i=1}}^{n}b_{i}(t,x){\frac {\partial u}{\partial x_{i}}}+c(t,x)u$

with smooth and bounded coefficients and a nondegenerate matrix $(a_{{ij}})$ . Suppose that $u(t,x)\in C^{2}((0,T)\times {\mathcal {M}})$ is a solution of

${\frac {\partial u}{\partial t}}-{\mathcal {L}}u\geq 0$ in $(0,T)\times {\mathcal {M}}$

such that

$\quad u(t,x)\geq 0$ in $\quad (0,T)\times {\mathcal {M}}.$

Let $K$ be a compact subset of ${\mathcal {M}}$ and choose $\tau \in (0,T)$ . Then there exists a constant $\quad C>0$ (depending only on $K$ , $\tau$ and the coefficients of ${\mathcal {L}}$ ) such that, for each $\quad t\in (\tau ,T)$ ,

$\sup _{K}u(t-\tau ,\cdot )\leq C\inf _{K}u(t,\cdot ).\,$

References

Caffarelli, Luis A.; Xavier Cabre (1995), Fully Nonlinear Elliptic Equations, Providence, Rhode Island: American Mathematical Society, pp. 31–41, ISBN 0-8218-0437-5 Cite uses deprecated parameters (help)
Folland, Gerald B. (1995), Introduction to partial differential equations (2nd ed.), Princeton University Press, ISBN 0-691-04361-2
Gilbarg, David; Neil S. Trudinger (1988), Elliptic Partial Differential Equations of Second Order, Springer, ISBN 3-540-41160-7 Cite uses deprecated parameters (help)
Hamilton, Richard S. (1993), "The Harnack estimate for the Ricci flow", Journal of Differential Geometry 37 (1): 225–243, ISSN 0022-040X, MR 1198607
Harnack, A. (1887), Die Grundlagen der Theorie des logarithmischen Potentiales und der eindeutigen Potentialfunktion in der Ebene, Leipzig: V. G. Teubner
John, Fritz (1982), Partial differential equations, Applied Mathematical Sciences 1 (4th ed.), Springer-Verlag, ISBN 0-387-90609-6
Kamynin, L.I. (2001), "Harnack theorem", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Kamynin, L.I.; Kuptsov, L.P. (2001), "H/h046600", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
Moser, Jürgen (1961), "On Harnack's theorem for elliptic differential equations", Communications on Pure and Applied Mathematics 14 (3): 577–591, doi:10.1002/cpa.3160140329, MR 0159138
Moser, Jürgen (1964), "A Harnack inequality for parabolic differential equations", Communications on Pure and Applied Mathematics 17 (1): 101–134, doi:10.1002/cpa.3160170106, MR 0159139
Serrin, James (1955), "On the Harnack inequality for linear elliptic equations", Journal d'Analyse Mathématique 4 (1): 292–308, doi:10.1007/BF02787725, MR 0081415
L. C. Evans (1998), Partial differential equations. American Mathematical Society, USA. For elliptic PDEs see Theorem 5, p. 334 and for parabolic PDEs see Theorem 10, p. 370.

This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.