Funció convexa

(S'ha redirigit des de: Convexa)

En matemàtica, una funció real f definida en un interval (o en qualsevol subconjunt convex d'algun espai vectorial) es diu funció convexa o còncava cap amunt , si per dos punts qualsevol x i y en un domini C i qualsevol t a [0,1], es compleix

Funció convexa en un interval [x, y].

En altres paraules, una funció és convexa si i només si si el seu epígraf (el conjunt de punts situats en o sobre el graf) és un conjunt convex.

Una funció estrictament convexa és aquella en què

per a qualsevol t en (0,1) i

Una funció és còncava si la funció és convexa.

Propietats

modifica
 
Una funció (en blau) és convexa si i només si la regió del graf (en verd) és un conjunt convex.

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

 

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) = x4.

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 aR 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   és una variable aleatòria que pren valors en el domini de f , llavors   (Aquí   denota l'esperança matemàtica.)

Càlcul de funció convexa

modifica
  • Si   i   són funcions convexes, llavors també ho són   i  
  • Si   i   són funcions convexes i   és creixent, llavors   és convexa.
  • La convexitat és invariant sota mapejaments afins, és a dir, si   és convexa, amb  , llavors també ho és  , on  
  • Si   és convexa en   i   és un conjunt convex no buit, llavors   és convexa en   sempre que   per algun  

Exemples

modifica
  • La funció    en tots els punts, després f és una funció (estrictament) convexa.
  • La funció valor absolut   és convexa, fins i tot malgrat que no és derivable en el punt x = 0.
  • La funció   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   és convexa, però no estrictament convexa, ja que si f és lineal, després   Això també s'aplica si substituïm "convex" per "còncau".
  • Tota funció afí amb domini en  , és a dir, cada funció de la forma  , és alhora convexa i còncava.
  • Tota norma vectorial és una funció convexa, per la desigualtat triangular.
  • Si   és convexa, la funció perspectiva   és convexa per  
  • Les funcions   i   són monòtonament creixents però no convexes.
  • Les funcions   i   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.

Vegeu també

modifica

Referències

modifica
  • 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.

Enllaços externs

modifica