Vés al contingut

Funció convexa

De la Viquipèdia, l'enciclopèdia lliure
Funció convexa en un interval [x, y].

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

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]