Disuguaglianza di Poincaré

In analisi funzionale, una branca della matematica, con il nome di disuguaglianza di Poincaré si intendono due risultati simili riguardanti gli spazi di Sobolev che permettono di controllare la norma di una funzione con quella della sua derivata debole. È un risultato di fondamentale importanza nel moderno calcolo delle variazioni.

Disuguaglianza di Poincaré classica

Sia $1\le p<\mathrm{\infty }$ e $\mathrm{\Omega }$ un insieme aperto limitato di ${ℝ}^n$. Allora esiste una costante $C$ dipendente solo da $\mathrm{\Omega }$ e $p$ tale che

$\Vert u{\Vert }_{L^p(\mathrm{\Omega })}\le C\Vert \mathrm{\nabla }u{\Vert }_{L^p(\mathrm{\Omega })}$

per ogni $u\in W_0^{1,p}(\mathrm{\Omega })$, dove quest'ultimo spazio è dato dalla chiusura di $C_c^{\mathrm{\infty }}(\mathrm{\Omega })$ nello spazio di Sobolev $W^{1,p}(\mathrm{\Omega })$. Col simbolo $\mathrm{\nabla }u$ si intende il gradiente debole, essendo in uno spazio di Sobolev.

La conseguenza più immediata, e che rappresenta la grandezza del risultato, è che in questo sottospazio (che è il dominio più naturale per studiare equazioni alle derivate parziali con condizioni al bordo omogenee) la norma del gradiente di $u$ è una quantità equivalente, ai fini della topologia indotta e quindi delle convergenze, alla usuale norma $\Vert u{\Vert }_{W^{1,p}}$. Si ha infatti

$\Vert \mathrm{\nabla }u{\Vert }_p^p\le \Vert u{\Vert }_{W^{1,p}}^p=\Vert u{\Vert }_p^p+\Vert \mathrm{\nabla }u{\Vert }_p^p\le (1+C^p)\Vert \mathrm{\nabla }u{\Vert }_p^p$

In particolare, per $p=2$ si ha che nello spazio di Hilbert $H_0^1(\mathrm{\Omega })$ un prodotto scalare equivalente all'usuale è

$(u,v{)}_{H_0^1(\mathrm{\Omega })}=\underset{\mathrm{\Omega }}{\int }\mathrm{\nabla }u\mathrm{\nabla }v{\text{d}}^{n}x$

Un'altra conseguenza immediata di tale disuguaglianza è che l'unica funzione costante su $\mathrm{\Omega }$ appartenente all'insieme $W_0^{1,p}(\mathrm{\Omega })$ è la funzione identicamente nulla (mentre $c\in W^{1,p}(\mathrm{\Omega })$ con $c\ne 0$ se e solo se $\mathrm{\Omega }$ ha misura finita).

La costante ottimale

Determinare la costante $C$ ottimale che si può utilizzare nella disuguaglianza è un compito arduo e dipendente fortemente da $p$ e dalla geometria del dominio. Tale costante è data dal reciproco di

$\inf \{\Vert \mathrm{\nabla }u{\Vert }_{L^p(\mathrm{\Omega })}:\Vert u{\Vert }_{L^p(\mathrm{\Omega })}=1\}$

Per la disuguaglianza di Poincaré, tale estremo inferiore è strettamente positivo. Si può dimostrare che per $p=2$ tale valore coincide con ${\lambda }_1^{-1}$, con $-{\lambda }_1$ il primo autovalore dell'operatore laplaciano con condizioni di Dirichlet omogenee, cioè ${\lambda }_1$ è il più piccolo numero reale positivo tale che il seguente problema di Dirichlet ammetta soluzioni non nulle in $W_0^{1,2}(\mathrm{\Omega })$

$\begin{array}{ccc}-\mathrm{\Delta }u=\lambda u& & \text{ in }\mathrm{\Omega }\\ u=0& & \text{ su }\partial \mathrm{\Omega }\end{array}$

Disuguaglianza di Poincaré-Wirtinger

Un risultato correlato è la disuguaglianza di Poincaré-Wirtinger: sia $1\le p\le \mathrm{\infty }$ e $\mathrm{\Omega }$ un aperto connesso di ${ℝ}^n$ con bordo sufficientemente regolare (ad esempio lipschitziano). Allora esiste una costante $C$ dipendente da $\mathrm{\Omega }$ e da $p$ tale che

$\Vert u-u_{\mathrm{\Omega }}{\Vert }_{L^p(\mathrm{\Omega })}\le C\Vert \mathrm{\nabla }u{\Vert }_{L^p(\mathrm{\Omega })},$

per ogni $u\in W^{1,p}(\mathrm{\Omega })$, dove

$u_{\mathrm{\Omega }}=\frac{1}{|\mathrm{\Omega }|}\underset{\mathrm{\Omega }}{\int }u(y)\mathrm{d}y$

è la media integrale di $u$. Si osservi che se si rimuove l'ipotesi di connessione su $\mathrm{\Omega }$, la disuguaglianza non sussiste più. Analogamente al caso precedente, si può mostrare che la migliore costante coincide con $1/\sqrt{{\mu }_2}$, ove ${\mu }_2$ è il primo autovalore non nullo dell'operatore laplaciano con condizioni di Neumann omogenee.

Da questo risultato si deduce, grazie alla disuguaglianza di Sobolev, che se $p<n$

$\Vert u-u_{\mathrm{\Omega }}{\Vert }_{L^{p^{*}}(\mathrm{\Omega })}\le C\Vert \mathrm{\nabla }u{\Vert }_{L^p(\mathrm{\Omega })}$

per ogni $u\in W^{1,p}(\mathrm{\Omega })$, dove $p^{*}=\frac{np}{n-p}$.

Bibliografia

• Haïm Brezis, Analisi funzionale. Teoria e applicazioni, Liguori Editore, ISBN 978-88-207-1501-4

Voci correlate

• Spazio di Sobolev
• Derivata debole
• Equazione differenziale alle derivate parziali
• Autovettore e autovalore
• Disuguaglianza di Friedrichs
• Henri Poincaré
• Wilhelm Wirtinger
• Teorema di Brothers-Ziemer

Collegamenti esterni

• Template:SpringerEOM