Harnack's inequality
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 Poincare 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.
Harmonic functions
Let be an open disk in the plane and let f be a harmonic function on D such that f(z) is non-negative for all . Then the following inequality holds for all :
For general domains in the inequality can be stated as follows: If is a bounded domain with , then there is a constant such that
for every twice differentiable, harmonic and nonnegative function . The constant is independent of ; it depends only on the domain.
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 infimium, possibly with an added term containing a functional norm of the data:
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 be a smooth domain in and consider the linear parabolic operator
with smooth and bounded coefficients. Suppose that is a solution of
in such that in .
Let be a compact subset of and choose . Then for each there exists a constant (depending only on , and the coefficients of ) such that
References
- Caffarelli, Luis A. (1995). Fully Nonlinear Elliptic Equations. Providence, Rhode Island: American Mathematical Society. pp. 31–41. ISBN 0-8218-0437-5.
{{cite book}}
: Unknown parameter|coauthors=
ignored (|author=
suggested) (help) - Gilbarg, David (1988). Elliptic Partial Differential Equations of Second Order. Springer. ISBN 3-540-41160-7.
{{cite book}}
: Unknown parameter|coauthors=
ignored (|author=
suggested) (help) - Hamilton, Richard S. (1993), "The Harnack estimate for the Ricci flow", Journal of Differential Geometry, 37 (1): 225–243, ISSN 0022-040X, MR1198607
- Harnack, A. (1887), Die Grundlagen der Theorie des logarithmischen Potentiales und der eindeutigen Potentialfunktion in der Ebene, Leipzig: V. G. Teubner
- Kamynin, L.I. (2001) [1994], "Harnack theorem", Encyclopedia of Mathematics, EMS Press
- Kamynin, L.I.; Kuptsov, L.P. (2001) [1994], "Harnack's inequality", Encyclopedia of Mathematics, EMS Press
- Moser, Jürgen (1961), "On Harnack's theorem for elliptic differential equations", Communications on Pure and Applied Mathematics, 14: 577–591, ISSN 0010-3640, MR0159138
- Moser, Jürgen (1964), "A Harnack inequality for parabolic differential equations", Communications on Pure and Applied Mathematics, 17: 101–134, ISSN 0010-3640, MR0159139
- Serrin, James (1955), "On the Harnack inequality for linear elliptic equations", Journal d'Analyse Mathématique, 4: 292–308, ISSN 0021-7670, MR0081415
- ^ Theorem 10, p. 370 in L. C. Evans (1998) \emph{Partial differential equations}. American Mathematical Society, USA.