Disuguaglianza di Harnack

In matematica, la disuguaglianza di Harnack è una disuguaglianza che mette in relazione i valori di una funzione armonica in due punti diversi, introdotta da Carl Harnack nel 1887. Serrin e Moser generalizzarono successivamente la disuguaglianza per le soluzioni di equazioni alle derivate parziali ellittiche e paraboliche. Nella dimostrazione della congettura di Poincaré, Perelman utilizzò una versione della disuguaglianza di Harnack, scoperta da Richard Hamilton, per il flusso di Ricci. La disuguaglianza di Harnack viene inoltre utilizzata per dimostrare il teorema di Harnack sulla convergenza di successioni di funzioni armoniche, e inoltre viene usata per mostrare la hölderianità delle soluzioni deboli di equazione alle derivate parziali.

La disuguaglianza di Harnack si applica a una funzione non negativa ${\displaystyle f}$ definita su una palla chiusa di ${\displaystyle \mathbb {R} ^{n}}$ con raggio ${\displaystyle R}$ e centro ${\displaystyle x_{0}}$. Se ${\displaystyle f}$ è continua sulla palla chiusa e armonica nella sua parte interna, allora per ogni punto ${\displaystyle x}$ con ${\displaystyle \|x-x_{0}\|=r<R}$ si ha

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

Nel piano ${\displaystyle \mathbb {R} ^{2}}$ (${\displaystyle n=2}$), la disuguaglianza assume la forma:

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

Nel caso di domini generali ${\displaystyle \Omega }$ in ${\displaystyle \mathbb {R} ^{n}}$, la disuguaglianza afferma che, se ${\displaystyle \omega }$ è un dominio limitato con ${\displaystyle {\bar {\omega }}\subset \Omega }$, allora esiste una costante ${\displaystyle C}$ tale

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

per ogni funzione ${\displaystyle u(x)}$ non negativa, armonica e derivabile due volte. La costante ${\displaystyle C}$ è indipendente dalla funzione ${\displaystyle u}$, infatti dipende solo dai domini ${\displaystyle \Omega }$ e ${\displaystyle \omega }$.

Per la formula di Poisson,

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

dove ${\displaystyle \omega _{n-1}}$ è l'area della sfera unitaria di ${\displaystyle \mathbb {R} ^{n}}$ e ${\displaystyle r=\|x-x_{0}\|}$.

Poiché

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

il nucleo integrale soddisfa

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

La disuguaglianza di Harnack si ottiene sostituendo quest'ultima stima nell'integrale precedente, e usando il fatto che la media di una funzione armonica su una sfera è uguale al valore al centro della palla:

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

Per l'equazioni alle derivate parziali ellittiche, la disuguaglianza di Harnack afferma che l'estremo superiore di una soluzione positiva in una qualche regione aperta e connessa è limitato da una certa costante moltiplicata per l'estremo inferiore, con un possibile termine additivo che contiene una norma funzionale dei dati:

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

La costante dipende dall'ellitticità dell'equazione e dalla regione aperta e connessa.

Esiste una versione della disuguaglianza di Harnack per EDP lineari paraboliche come l'equazione del calore.

Sia ${\displaystyle {\mathcal {M}}}$ un dominio liscio e limitato di ${\displaystyle \mathbb {R} ^{n}}$ e si consideri l'operatore lineare ellittico

${\displaystyle {\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}$

con coefficienti lisci e limitati, e ${\displaystyle (a_{ij})}$ una matrice definita positiva. Si supponga che ${\displaystyle u(t,x)\in C^{2}((0,T)\times {\mathcal {M}})}$ sia una soluzione di

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

tale che

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

Sia ${\displaystyle K}$ contenuto in modo compatto in ${\displaystyle {\mathcal {M}}}$ e si scelga ${\displaystyle \tau \in (0,T)}$. Allora esiste una costante ${\displaystyle C>0}$ (che dipende solo da ${\displaystyle K}$, ${\displaystyle \tau }$ e i coefficienti di ${\displaystyle {\mathcal {L}}}$) tali che, per ogni ${\displaystyle t\in (\tau ,T)}$,

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

• Luis A. Caffarelli e Cabré Xavier, Fully Nonlinear Elliptic Equations, Providence, Rhode Island, American Mathematical Society, 1995, pp. 31–41, ISBN 0-8218-0437-5.
• Gerald B. Folland, Introduction to partial differential equations, 2nd, Princeton University Press, 1995, ISBN 0-691-04361-2.
• David Gilbarg e Neil S. Trudinger, Elliptic Partial Differential Equations of Second Order, Springer, 1988, ISBN 3-540-41160-7.
• Richard S. Hamilton, The Harnack estimate for the Ricci flow, in Journal of Differential Geometry, vol. 37, n. 1, 1993, pp. 225–243, ISSN 0022-040X (WC · ACNP), MR 1198607.
• A. Harnack, Die Grundlagen der Theorie des logarithmischen Potentiales und der eindeutigen Potentialfunktion in der Ebene, Leipzig, V. G. Teubner, 1887.
• Fritz John, Partial differential equations, in Applied Mathematical Sciences, vol. 1, 4th, Springer-Verlag, 1982, ISBN 0-387-90609-6.
• Kamynin, L.I.; Kuptsov, L.P. (2001) [1994], H/h046600, su encyclopediaofmath.org., in Hazewinkel, Michiel (ed.), Encyclopedia of Mathematics, Springer Science+Business Media B.V. / Kluwer Academic Publishers, ISBN 978-1-55608-010-4
• Moritz Kassmann, Harnack Inequalities: An Introduction, in Boundary Value Problems, vol. 2007, n. 3, 7 febbraio 2013, DOI:10.1155/2007/81415, MR 2291922.
• Jürgen Moser, On Harnack's theorem for elliptic differential equations, in Communications on Pure and Applied Mathematics, vol. 14, n. 3, 1961, pp. 577–591, DOI:10.1002/cpa.3160140329, MR 0159138.
• Jürgen Moser, A Harnack inequality for parabolic differential equations, in Communications on Pure and Applied Mathematics, vol. 17, n. 1, 1964, pp. 101–134, DOI:10.1002/cpa.3160170106, MR 0159139.
• James Serrin, On the Harnack inequality for linear elliptic equations, in Journal d'Analyse Mathématique, vol. 4, n. 1, 1955, pp. 292–308, DOI:10.1007/BF02787725, MR 0081415.
• L. C. Evans, Partial differential equations, Providence, American Mathematical Society, 1998, ISBN 0-8218-0772-2. Per le EDP ellittiche, vedere Teorema 5, p. 334, mentre quelle paraboliche Teorema 10, p. 370.

• Teoria del potenziale
• Equazione differenziale alle derivate parziali ellittica
• Lemma di Hopf
• Principio del massimo

Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica