Disuguaglianza di Minkowski — ingegnerismo.it

La disuguaglianza di Minkowski è la forma generale della disuguaglianza triangolare per vettori, successioni e funzioni misurati con una norma $p$ . Dice che la grandezza della somma non può superare la somma delle grandezze:

\|f+g\|_p\le\|f\|_p+\|g\|_p.

È il risultato che permette di chiamare davvero “norma” la quantità $\|\cdot\|_p$ per $p\ge1$ . Senza Minkowski, mancherebbe la proprietà geometrica fondamentale: andare direttamente da un punto a un altro non deve costare più che passare attraverso un punto intermedio.

Forma discreta

Per due vettori $x,y\in\mathbb{R}^n$ e per $p\ge1$ , la norma $p$ è

\|x\|_p= \left(\sum_{i=1}^n |x_i|^p\right)^{1/p}.

La disuguaglianza di Minkowski afferma che

\left(\sum_{i=1}^n |x_i+y_i|^p\right)^{1/p} \le \left(\sum_{i=1}^n |x_i|^p\right)^{1/p} + \left(\sum_{i=1}^n |y_i|^p\right)^{1/p}.

Per $p=2$ è la disuguaglianza triangolare della norma euclidea. Per $p=1$ segue direttamente da $|x_i+y_i|\le |x_i|+|y_i|$ sommata su tutte le componenti.

Forma integrale

In uno spazio di funzioni, la norma $L^p$ è

\|f\|_p= \left(\int_\Omega |f(x)|^p\,dx\right)^{1/p}, \qquad 1\le p<\infty.

Minkowski diventa

\left(\int_\Omega |f(x)+g(x)|^p\,dx\right)^{1/p} \le \left(\int_\Omega |f(x)|^p\,dx\right)^{1/p} + \left(\int_\Omega |g(x)|^p\,dx\right)^{1/p}.

Questa forma è centrale in analisi funzionale, equazioni differenziali, meccanica dei continui e metodi variazionali, dove le incognite non sono numeri ma campi, segnali o distribuzioni spaziali.

Collegamento con Hölder

La dimostrazione standard di Minkowski per $1<p<\infty$ usa la disuguaglianza di Hölder. Se $q$ è l’esponente coniugato di $p$ , cioè

\dfrac{1}{p}+\dfrac{1}{q}=1,

Hölder consente di controllare integrali del tipo

\int |f|\,|f+g|^{p-1}.

La struttura è importante: Hölder controlla prodotti, Minkowski controlla somme. Insieme costruiscono la geometria degli spazi $L^p$ .

Significato geometrico

Minkowski dice che le “palle” della norma $p$ sono insiemi convessi. Se due vettori hanno norma limitata, anche le loro combinazioni intermedie restano controllate. Questo fatto è cruciale in ottimizzazione convessa e nella stabilità dei problemi numerici: la somma di due perturbazioni non può esplodere oltre la somma dei contributi separati.

Nel caso $0<p<1$ , invece, la quantità

\left(\sum_i |x_i|^p\right)^{1/p}

non soddisfa la disuguaglianza triangolare. Per questo non definisce una norma, anche se viene talvolta usata come quasi-norma in problemi di sparsità.

Uso operativo

Minkowski viene usata per:

dimostrare convergenza in norma di successioni di funzioni;
stimare l’errore complessivo come somma di errori parziali;
provare continuità e limitatezza di operatori lineari;
controllare termini non lineari in equazioni differenziali;
giustificare metriche basate su norme $p$ in analisi dati e calcolo scientifico.

Errori comuni

applicarla per $0<p<1$ , dove la disuguaglianza triangolare può fallire;
confonderla con Hölder: Minkowski riguarda $\|f+g\|_p$ , Hölder riguarda $\|fg\|_1$ ;
dimenticare le condizioni di integrabilità delle funzioni coinvolte;
trattare il caso $p=\infty$ con la stessa formula integrale senza passare alla norma essenziale suprema.

Vedi anche: Norme equivalenti, Disuguaglianza di Hölder, Spazi Lp, Formulario di Analisi Matematica II.