Disuguaglianza di Harnack
# 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.

## Enunciato

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

    ${\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 $\mathbb {R} ^{2}$ ($n=2$), la disuguaglianza assume la forma:

    ${\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 $\Omega$ in $\mathbb {R} ^{n}$, la disuguaglianza afferma che, se $\omega$ è un dominio limitato con ${\bar {\omega }}\subset \Omega$, allora esiste una costante $C$ tale

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

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

## Dimostrazione in una palla

Per la formula di Poisson,

    $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 $\omega _{n-1}$ è l'area della sfera unitaria di $\mathbb {R} ^{n}$ e $r=\|x-x_{0}\|$.

Poiché

    $R-r\leq \|x-y\|\leq R+r,$

il nucleo integrale soddisfa

    ${\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:

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

## Equazioni alle derivate parziali ellittiche

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:

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

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

## Equazioni alle derivate parziali paraboliche

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

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

    ${\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 $(a_{ij})$ una matrice definita positiva. Si supponga che $u(t,x)\in C^{2}((0,T)\times {\mathcal {M}})$ sia una soluzione di

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

tale che

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

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

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