En konvex funktion i en variabel är en matematisk funktion vars graf kännetecknas av att om en rät linje dras mellan två valfria punkter på grafen, skall alla punkter på grafen mellan de två punkterna ligga på eller under linjen. Man säger att en linjär funktion skall överskatta funktionen. Ligger alla punkter under linjen oavsett hur linjedragningen väljs, kallas funktionen strikt konvex. Motsatsen är konkav funktion. För en konkav funktion ska alla mellanliggande punkter i exemplet ovan ligga på eller över linjen. Detta resonemang kan utökas till att gälla funktioner med godtyckligt antal variabler.

En funktion som är konvex på ett intervall.

Detta kan formuleras som att en funktion f är konvex på sin definitionsmängd om för alla x och y i definitionsmängden och t i :

Om olikheten ovan är strikt är funktionen strikt konvex. Gäller den omvända olikheten är funktionen konkav.

Man kan även säga att en funktion är "konvex i ett begränsat intervall" eller "styckvis konvex" om den är konvex på en respektive flera delmängder av sin definitionsmängd.

Egenskaper redigera

Villkor för konvexitet redigera

Om funktionen har en andraderivata kan man avgöra konvexitet utan att rita upp grafen eller räkna med olikheten ovan. Det nödvändiga och tillräckliga villkoret är då att andraderivatan är   överallt. Om andraderivatan är >0 överallt är funktionen strikt konvex. På motsvarande sätt är en konkav funktions andraderivata   eller   (strikt).

För funktioner från ändligdimensionella vektorrum ska hessianen vara positivt semidefinit för att funktionen ska vara konvex och positivt definit för att funktionen ska vara strikt konvex.

Summor och sammansättningar redigera

Om   är konvexa funktioner från   och   är positiva skalärer så är även

 

en konvex funktion.

Låt   och  . Om   är konvex och icke-minskande och   är konvex så är den sammansatta funktionen

 

konvex.

Kontinuitet och minimum redigera

En konvex funktion definierad på ett öppet intervall är kontinuerlig på intervallet och deriverbar på alla utom högst ett uppräkneligt antal punkter. Om intervallet är slutet kan funktionen vara diskontinuerlig vid ändpunkterna.

Varje lokalt minimum till en konvex funktion på en konvex mängd är även globalt minimum. En strikt konvex funktion har som mest ett globalt minimum.

Exempel redigera

  • Varje affin avbildning från   till   (funktioner på formen  ) är både konkav och konvex.
  •   har andraderivatan   och är därmed strikt konvex på hela  .
  •   har andraderivatan   är därmed strikt konvex på hela  
  •   är konvex och kontinuerlig överallt men har ingen derivata i  .
  • Triangelolikheten ger att varje norm är konvex: om   är ett normrum,   och   så är
 

Se även redigera

Referenser redigera

  • Andréasson, Niclas; Anton Evgrafov, Michael Patriksson (2005). An Introduction to Continous Optimization. Lund: Studentlitteratur. ISBN 91-44-04455-0