# Funció convexa

En matemàtiques, una funció real $f$ definida sobre un interval $I$ (o en qualsevol subconjunt convex d'un espai vectorial) és convexa o còncava cap amunt si sempre que prenem dos punts de la gràfica, la funció està per sota del segment que els uneix. Dit d'una altra manera, per tot parell de punts $x$ i $y$ del domini de la funció i per qualsevol $t$ a $[0,1]$ es compleix la següent desigualtat.
    $f(tx+(1-t)y)\leq tf(x)+(1-t)f(y)$
Una definició equivalent és: una funció és convexa si el seu epígraf (conjunt de punts situats per sobre o en la gràfica) és un conjunt convex.
Una funció és estrictament convexa si per tot parell de punts $x$ i $y$ del domini de la funció i per qualsevol $t$ a $[0,1]$ es compleix la següent desigualtat.
    $f(tx+(1-t)y)<tf(x)+(1-t)f(y)\,$
Una funció $f$ és còncava si i només si la funció $-f$ és convexa.

## Propietats

Una funció convexa f definida en un interval obert C és contínua en C i diferenciable en tots els punts numerables. Si C és tancat, f pot no ser continu en els punts crítics o finals de C .
Una funció és punt-mig convexa ( midpoint convex ) en un interval "C" si
    $f\left({\frac {x+y}{2}}\right)\leq {\frac {f(x)+f(y)}{2}}$
per a tot x i y en C . Aquesta condició és només lleugerament més relaxada que la de convexitat. En particular, una funció contínua que és punt-mitjà convexa serà també convexa.
Una funció diferenciable d'una variable és convexa en un interval si i només si la seva derivada és una monòtonament no-decreixent en aquest interval.
Una funció contínuament diferenciable d'una variable és convexa en un interval si i només si la funció es troba per sobre de totes les seves tangent s: f ( i ) ≥ f ( x ) f '( x ) ( i - x ) per a tot x i i en l'interval. En particular, si f '( c ) = 0 , després c és un mínim absolut de f ( x ).
Una funció doblement diferenciable d'una variable és convexa en un interval si i només si la seva segona derivada és no negativa en aquest interval, això proporciona una prova pràctica per verificar la convexitat. Si la segona derivada és positiva, llavors és estrictament convexa, però la doble implicació no es compleix, com podem veure per exemple en f(x) = x$^4$.
En general, una funció contínua doblement diferenciable de moltes variables és convexa en un conjunt convex si i només si la seva matriu Hessiana és semidefinida positiva a l'interior d'aquest conjunt convex.
Qualsevol mínim local d'una funció convexa és també un mínim absolut. Una funció estrictament convexa tindrà al més un mínim absolut.
Per a una funció convexa f , els conjunts de nivell { x | f ( x ) < a 'i{ x | f ( x ) ≤ a } amb a ∈ R són conjunts convexos. No obstant això, una funció els conjunts de nivell són conjunts convexos pot no resultar ser convexa, una funció d'aquest tipus s'anomena funció quasi-convexa .
La inequació de Jensen s'aplica a tota funció convexa f . Si $X$ és una variable aleatòria que pren valors en el domini de f , llavors $If(X)\geq f(EX).$ (Aquí $E$ denota l'esperança matemàtica.)

## Càlcul de funció convexa

* Si $f$ i $g$ són funcions convexes, llavors també ho són $m(x)=\max\{f(x),g(x)\}$ i $h(x)=f(x)g(x).$
* Si $f$ i $g$ són funcions convexes i $g$ és creixent, llavors $h(x)=g(f(x))$ és convexa.
* La convexitat és invariant sota mapejaments afins, és a dir, si $f(x)$ és convexa, amb $x\in \mathbb {R} ^{n}$, llavors també ho és $g(i)=f(Aib)$, on $A\in \mathbb {R} ^{n\times m},\,b\in \mathbb {R} ^{m}.$
* Si $f(x,y)$ és convexa en $(x,y)$ i $C$ és un conjunt convex no buit, llavors $g(x)=\inf _{i\in C}f(x,y)$ és convexa en $x,$ sempre que $g(x)>-\infty$ per algun $x.$

## Exemples

* La funció $f(x)=x^{2}$ té $f''(x)=2>0$ en tots els punts, després f és una funció (estrictament) convexa.
* La funció valor absolut $f(x)=|x|$ és convexa, fins i tot malgrat que no és derivable en el punt x = 0.
* La funció $f(x)=|x|^{p}$ per 1 ≤ p és convexa.
* La funció f amb domini [0,1] definida per f (0) = f (1) = 1, f ( x ) = 0 per 0 < x <1 és convexa, és contínua en l'interval obert (0,1), però no en 0 ni a 1.
* La funció x $^3$ té segona derivada 6 x , després ella és convexa en el conjunt on x ≥ 0 i còncava en el conjunt on x ≤ 0.
* Tota transformació lineal amb domini en $\mathbb {R}$ és convexa, però no estrictament convexa, ja que si f és lineal, després $f(ab)=f(a)f(b).$ Això també s'aplica si substituïm "convex" per "còncau".
* Tota funció afí amb domini en $\mathbb {R}$, és a dir, cada funció de la forma $f(x)=a^{T}xb$, és alhora convexa i còncava.
* Tota norma vectorial és una funció convexa, per la desigualtat triangular.
* Si $f$ és convexa, la funció perspectiva $g(x,t)=tf(x/t)$ és convexa per $t>0.$
* Les funcions $f(x)={\sqrt {x}}$ i $g(x)=\log(x).$ són monòtonament creixents però no convexes.
* Les funcions $h(x)=x^{2}$ i $k(x)=-x$ són convexes però no monòtonament creixents.
* La funció f ( x ) = 1/ x $^2$, amb f (0) = ∞, és convexa en els intervals (0, ∞) i (- ∞, 0), però no és convexa en (- ∞, ∞), a causa del punt x = 0.

## Referències

* Rockafellar, R. T.. Convex analysis. Princeton: Princeton University Press, 1970.
* Luenberger, David. Linear and Nonlinear Programming. Addison-Wesley, 1984.
* Luenberger, David. Optimization by Vector Space Methods. Wiley & Sons, 1969.
* Bertsekas, Dimitri. Convex Analysis and Optimization. Athena Scientific, 2003.
* Thomson, Brian. Symmetric Properties of Real Functions. CRC Press, 1994.
* Hiriart-Urruty, Jean-Baptiste, i Lemaréchal, Claude. (2004). Fundamentals of Convex analysis. Berlin: Springer.
* Krasnosel'skii MA, Rutickii Ya.B.. Convex Functions and Orlicz Spaces. Groningen: P. Noordhoff Ltd, 1961.
* Borwein, Jonathan, and Lewis, Adrian. (2000). Convex Analysis and Nonlinear Optimization. Springer.

## Vegeu també

* Convexitat
* Funció còncava
* Polígon convex

## Enllaços externs

* Stephen Boyd i Lieven Vandenbergh, Boyd/cvxbook/Convex Optimization (PDF)