Editing Harnack's principle

{{Short description|Theorem regarding the convergence of harmonic functions.}}
In the mathematical field of [[partial differential equation]]s, '''Harnack's principle''' or '''Harnack's theorem''' is a corollary of [[Harnack's inequality]] which deals with the convergence of sequences of [[harmonic function]]s.

Given a sequence of [[harmonic function]]s {{math|''u''<sub>1</sub>, ''u''<sub>2</sub>, ...}} on an [[Open set|open]] [[Connected set|connected]] [[subset]] {{mvar|G}} of the [[Euclidean space]] {{math|'''R'''<sup>''n''</sup>}}, which are pointwise monotonically nondecreasing in the sense that
:<math>u_1(x) \le u_2(x) \le \dots</math>
for every point {{mvar|x}} of {{mvar|G}}, then the [[Limit of a sequence|limit]]
:<math> \lim_{n\to\infty}u_n(x)</math>
automatically exists in the [[extended real number line]] for every {{mvar|x}}. Harnack's theorem says that the limit either is infinite at every point of {{mvar|G}} or it is finite at every point of {{mvar|G}}. In the latter case, the convergence is [[Compact convergence|uniform on compact sets]] and the limit is a harmonic function on {{mvar|G}}.{{sfnm|1a1=Courant|1a2=Hilbert|1y=1962|1pp=273–274|2a1=Gilbarg|2a2=Trudinger|2y=2001|2loc=Theorem 2.9|3a1=Protter|3a2=Weinberger|3y=1984|3loc=Section 2.10}}

The theorem is a corollary of Harnack's inequality. If {{math|''u''<sub>''n''</sub>(''y'')}} is a [[Cauchy sequence]] for any particular value of {{mvar|y}}, then the Harnack inequality applied to the harmonic function {{math|''u''<sub>''m''</sub> − ''u''<sub>''n''</sub>}} implies, for an arbitrary compact set {{mvar|D}} containing {{mvar|y}}, that {{math|sup<sub>''D''</sub> {{!}}''u''<sub>''m''</sub> − ''u''<sub>''n''</sub>{{!}}}} is arbitrarily small for sufficiently large {{mvar|m}} and {{mvar|n}}. This is exactly the definition of uniform convergence on compact sets. In words, the Harnack inequality is a tool which directly propagates the Cauchy property of a sequence of harmonic functions at a single point to the Cauchy property at all points.

Having established uniform convergence on compact sets, the harmonicity of the limit is an immediate corollary of the fact that the [[harmonic function|mean value property]] (automatically preserved by uniform convergence) fully characterizes harmonic functions among continuous functions.{{sfnm|1a1=Gilbarg|1a2=Trudinger|1y=2001|1loc=Theorems 2.7 and 2.8}}

The proof of uniform convergence on compact sets holds equally well for any linear second-order [[elliptic partial differential equation]], provided that it is linear so that {{math|''u''<sub>''m''</sub> − ''u''<sub>''n''</sub>}} solves the same equation. The only difference is that the more general [[Harnack inequality]] holding for solutions of second-order elliptic PDE must be used, rather than that only for harmonic functions. Having established uniform convergence on compact sets, the mean value property is not available in this more general setting, and so the proof of convergence to a new solution must instead make use of other tools, such as the [[Schauder estimates]].

==References==
{{reflist}}
'''Sources'''
* {{cite book|mr=0140802|last1=Courant|first1=R.|last2=Hilbert|first2=D.|title=Methods of mathematical physics. Volume II: Partial differential equations|publisher=[[John Wiley & Sons|Interscience Publishers]]|location=New York–London|year=1962|author-link1=Richard Courant|author-link2=David Hilbert|doi=10.1002/9783527617234|isbn=9780471504399 |zbl=0099.29504}}
* {{cite book|last1=Gilbarg|last2=Trudinger|mr=1814364|first1=David|first2=Neil S.|title=Elliptic partial differential equations of second order|edition=Reprint of the 1998|series=Classics in Mathematics|publisher=[[Springer-Verlag]]|location=Berlin|year=2001|isbn=3-540-41160-7|author-link1=David Gilbarg|author-link2=Neil Trudinger|doi=10.1007/978-3-642-61798-0|zbl=1042.35002}}
* {{cite book|mr=0762825|last1=Protter|author-link1=Murray H. Protter|author-link2=Hans Weinberger|first1=Murray H.|last2=Weinberger|first2=Hans F.|title=Maximum principles in differential equations|edition=Corrected reprint of the 1967 original|publisher=[[Springer-Verlag]]|location=New York|year=1984|isbn=0-387-96068-6|doi=10.1007/978-1-4612-5282-5|zbl=0549.35002}}

==External links==
*{{springer|id=h/h046620|title=Harnack theorem|first=L.I.|last= Kamynin}}

[[Category:Harmonic functions]]
[[Category:Theorems in complex analysis]]
[[Category:Mathematical principles]]