La lipschitzianità di una funzione è una proprietà molto interessante in analisi matematica grazie alla flessibilità, alle proprietà delle funzioni lipschitziane e alla generalità dell’ambiente dove il concetto di funzione lipschitziana si può trattare. Allo scopo chiarificatore della domanda posta trattiamo però solo il caso di una variabile reale, lasciando perdere ogni tipo di generalizzazione.
Definizione. Sia I un intervallo in R, eventualmente illimitato. Una funzione f : I → R si dice lipschitziana se esiste una costante L>0 tale per cui si abbia
|f(x)-f(y)|≤L|x-y| per ogni x,y∈I. (1)
La miglior costante (ovvero la più bassa) che rende vera la (1) viene anche detta costante di Lipschitz di f.
Esempi. La funzione f : R → R data da f(x)=|x| è una funzione lipschitziana con costante di Lipschitz L=1. Infatti per note proprietà del valore assoluto si ha
|f(x)-f(y)|=||x|-|y||≤|x-y|
e inoltre se x,y>0 allora ||x|-|y||=|x-y|, per cui L=1 è effettivamente la miglior costante per cui valga la condizione (1). Si noti che in particolare quindi la lipschitzianità non implica la derivabilità, almeno in ogni punto. La funzione f : R → R data da f(x)=x2 non è una funzione lipschitziana; infatti se lo fosse allora dovrebbe esistere L>0 tale per cui |x2-y2|≤L|x-y| per ogni x,y∈R. Se consideriamo x,y>0 con x>y si ha quindi che dovrebbe essere x2-y2≤L(x-y) che equivale a x+y≤L, che è assurdo potendo mandare y→+∞.
Una funzione f è quindi lipschitziana se il suo grafico non si "impenna troppo"; questa suggestiva idea geometrica può essere resa precisa dal seguente risultato:
Proposizione 1. Sia (a,b) un intervallo aperto in R eventualmente illimitato e sia f : (a,b) → R una funzione derivabile. Allora f è lipschitziana se e solo se la funzione f’ : (a,b) → R è limitata.
Dimostrazione. Supponiamo f lipschitziana con costante di Lipschitz L. Allora per ogni x∈(a,b) e per ogni h>0 abbastanza piccolo si ha, utilizzando la (1), |f(x+h)-f(x)|≤L|h|. Dividendo per h e passando al limite si ottiene |f'(x)|≤L. Viceversa supponiamo f derivabile con |f'(x)|≤c per ogni x∈(a,b), per una certa costante c>0. Siano x,y∈(a,b) supponiamo x<y. Allora per il Teorema di Lagrange esiste z∈(x,y) tale per cui f(x)-f(y)=f'(z)(x-y) da cui f(x)-f(y)≤c(x-y)≤c|x-y|. Scambiando il ruolo di x e y si ha la tesi.
Osservazione. In genere non è facile determinare esattamente la costante di Lipschitz di una funzione lipschitziana, mentre il test fornito dalla Proposizione 1 consente facilmente di capire se una funzione regolare è lipschitziana.
La lipschitzianità è una proprietà che dipende poco dal dominio della funzione data; vi è invece una condizione più debole della lipschitzianità, detta uniforme continuità, che però dipende fortemente, in un certo senso come vedremo, dall’insieme di definizione della funzione stessa.
Definizione. Sia I un intervallo in R, eventualmente illimitato. Una funzione f : I → R si dice uniformemente continua se per ogni x,y∈I e per ogni ε>0 esiste δ>0 tale per cui si abbia
|x-y|<δ ⇒ |f(x)-f(y)|≤ε. (2)
Si faccia bene attenzione alla differenza tra la nozione di continuità e la nozione di uniforme continuità: nella definizione di uniforme continuità si richiede infatti che δ non dipenda dalla scelta di x e y, come invece può accadere nel caso della sola continuità.