Funzione convessa

In matematica, una funzione ${\displaystyle f(x)}$ a valori reali definita su un intervallo si dice convessa se il segmento che congiunge due qualsiasi punti del suo grafico si trova al di sopra del grafico stesso. Per esempio, sono funzioni convesse la funzione quadratica ${\displaystyle f(x)=x^{2}}$ e la funzione esponenziale ${\displaystyle f(x)=e^{x}}$.

Disambiguazione – Se stai cercando altri significati, vedi Convesso.

Una funzione convessa: presi due punti del grafico, il segmento che li congiunge si trova al di sopra della funzione

Le funzioni convesse sono di notevole importanza in molte aree della matematica. Per esempio, sono importanti nei problemi di ottimizzazione, e sono tra le più studiate nel calcolo delle variazioni. In analisi e nella teoria della probabilità, sono le funzioni per cui vale la disuguaglianza di Jensen.

Il concetto duale a quello di funzione convessa è quello di funzione concava, ovvero di una funzione in cui il segmento che congiunge due qualsiasi punti del grafico si trovi al di sotto del grafico stesso. Una funzione ${\displaystyle f(x)}$ è concava se il suo opposto ${\displaystyle -f(x)}$ è una funzione convessa.

Definizione

Spiegazione grafica della convessità di ${\displaystyle f}$

Una funzione ${\displaystyle f:I\to \mathbb {R} }$ a valori reali, definita su un intervallo ${\displaystyle I}$ (o, più in generale, su un sottoinsieme convesso di uno spazio vettoriale reale), si dice convessa nel suo dominio se:

${\displaystyle f(\lambda x+(1-\lambda )y)\leq \lambda f(x)+(1-\lambda )f(y)\qquad \forall x,y\in I\quad \forall \lambda \in [0,1].}$^[1]

Se l'uguaglianza vale solo nel caso in cui ${\displaystyle x=y}$ oppure se ${\displaystyle \lambda =0}$ o ${\displaystyle \lambda =1}$, allora si parla di funzione strettamente convessa.

Invece, ${\displaystyle f}$ si dice concava se:

${\displaystyle \quad \ f(\lambda x+(1-\lambda )y)\geq \lambda f(x)+(1-\lambda )f(y)\qquad \forall x,y\in I\quad \forall \lambda \in (-\infty ,0]\cup [1,+\infty ).}$

Nel caso in cui ${\displaystyle f}$ sia una funzione definita nell'intervallo reale ${\displaystyle I=(a,b)}$, è possibile mostrare che essa è convessa se e solo se:

${\displaystyle {\frac {f(x)-f(y)}{x-y}}\leq {\frac {f(t)-f(x)}{t-x}}\quad a<y<x<t<b}$

Si dimostra inoltre che se una funzione è convessa in un intervallo ${\displaystyle I}$ aperto, allora è continua in ${\displaystyle I}$. La funzione risulta inoltre lipschitziana in ogni intervallo chiuso contenuto in ${\displaystyle I}$ ed i cui estremi non coincidono con gli estremi di ${\displaystyle I}$.

Convessità in più variabili

Una funzione differenziabile ${\displaystyle f:A\to \mathbb {R} }$ si dice strettamente convessa con parametro m > 0 se per ogni coppia di punti ${\displaystyle x,y\in A}$ del dominio si ha:^[2]:

${\displaystyle (\nabla f(x)-\nabla f(y))^{T}(x-y)\geq m\|x-y\|_{2}^{2}.}$

Se ${\displaystyle f:A\to \mathbb {R} }$ ha derivate parziali seconde continue, allora ${\displaystyle f}$ è convessa se e solo se la matrice hessiana ${\displaystyle Hf(x)}$ è semidefinita positiva in ogni punto ${\displaystyle x\in A}$, ed è strettamente convessa se ${\displaystyle Hf(x)}$ è definita positiva in ogni punto ${\displaystyle x\in A}$.

Altre definizioni

L'epigrafico di una funzione convessa è un insieme convesso

Una funzione ${\displaystyle f}$ in ${\displaystyle I}$ è convessa:

• Se e solo se il rapporto incrementale:

${\displaystyle R_{f}(x,y)={\frac {f(y)-f(x)}{y-x}}}$

è crescente in entrambe le variabili.

• Solo se:

${\displaystyle \forall x,y\in I~:~f\left({\frac {x+y}{2}}\right)\leq {\frac {f(x)+f(y)}{2}}}$

Tale fatto deriva direttamente dalla definizione ponendo ${\displaystyle \lambda =1/2}$. L'implicazione inversa può essere affermata se ${\displaystyle f}$ è anche continua in ${\displaystyle I}$, esclusi eventualmente gli estremi se ${\displaystyle I}$ è un intervallo, oppure se è superiormente limitata in ${\displaystyle I}$, oppure se è misurabile in ${\displaystyle I}$ secondo Lebesgue.

• Se e solo se l'epigrafico di ${\displaystyle f}$ è un sottoinsieme convesso del piano, dove l'epigrafico di una funzione è l'insieme:

${\displaystyle \operatorname {epi} f=\left\{(x,y)\in \mathbb {R} ^{2}:y\geq f(x)\right\}}$

In alcuni articoli la definizione di funzione convessa si basa su questo criterio, che però non è equivalente alla definizione oggi comunemente usata:

• Una funzione è convessa se e solo se ha derivate destra e sinistra definite su ${\displaystyle I}$, crescenti, con ${\displaystyle f'_{-}\leq f'_{+}}$ .
• Se una funzione è derivabile in ${\displaystyle I}$ allora è convessa se e solo se ${\displaystyle \displaystyle f'(x)}$ è crescente. In particolare, funzioni derivabili due volte sono convesse se e solo se ${\displaystyle \forall x\in I~:~f''(x)\geq 0}$.

Disuguaglianza di Jensen

Lo stesso argomento in dettaglio: Disuguaglianza di Jensen.

Uno dei principali teoremi riguardanti le funzioni convesse è la disuguaglianza di Jensen. Sia ${\displaystyle (\Omega ,{\mathfrak {F}},\mu )}$ uno spazio di misura, tale che ${\displaystyle \mu (\Omega )=1}$. Se ${\displaystyle g}$ è una funzione integrabile da ${\displaystyle \Omega }$ a valori reali, e ${\displaystyle \varphi }$ è una funzione convessa sull'immagine di ${\displaystyle g}$, allora:^[3]

${\displaystyle \varphi \left(\int _{\Omega }g\,d\mu \right)\leq \int _{\Omega }\varphi \circ g\,d\mu .}$

Note

1. W. Rudin, Pag. 60.
2. p. 72, Convex Analysis and Optimization, by Dimitri Bertsekas, Athena Scientific, 2003
3. W. Rudin, Pag. 61.

Bibliografia

• Paolo Marcellini, Carlo Sbordone, Analisi Matematica Uno, Liguori Editore, 1998, ISBN 9788820728199, paragrafi 63 e 69.
• Nicola Fusco, Paolo Marcellini, Carlo Sbordone, Lezioni di Analisi Matematica Due, Zanichelli, 2020, ISBN 9788808520203, paragrafi 39 e (per la disuguaglianza di Jensen) 83.
• (EN) Walter Rudin, Real and Complex Analysis, Mladinska Knjiga, McGraw-Hill, 1970, ISBN 0-07-054234-1.

Voci correlate

• Combinazione convessa
• Disuguaglianza di Jensen
• Epigrafico (matematica)
• Insieme convesso
• Inviluppo convesso
• Insieme stellato
• Funzione logaritmicamente convessa

Controllo di autorità	Thesaurus BNCF 19549 · LCCN (EN) sh85031728 · BNF (FR) cb12274506n (data) · J9U (EN, HE) 987007557820805171 · NDL (EN, JA) 00573442

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