Convexe functie

Convexe functie op interval $[x,y]$

In de analyse, een deelgebied van de wiskunde, wordt een reëelwaardige functie $f$, gedefinieerd op een bepaald interval, een convexe functie genoemd over dat interval als voor twee willekeurige punten $x$ en $y$ in dat interval en voor elke $t$ in $[0,1]$ geldt dat

$f(tx+(1-t)y)\le tf(x)+(1-t)f(y)$

Een functie is convex dan en slechts dan als de verzameling van alle punten die op of boven de grafiek van de functie liggen een convexe verzameling is. Dat is hetzelfde als dat alle punten op de functie in het bedoelde interval onder het lijnstuk liggen dat deze twee punten met elkaar verbindt. Een convexe functie wordt ook een bolle functie genoemd.

Een functie wordt strikt convex genoemd als

$f(tx+(1-t)y)<tf(x)+(1-t)f(y)$

voor alle $t$ in $(0,1)$, waarbij $x\ne y$.

Concave functie

Een functie $f$ waarvoor de tegengestelde functie $-f$ een convexe functie is, wordt een concave of holle functie genoemd. De grafiek van een convexe functie heeft de vorm van een $\cup$ en een concave functie de vorm van een $\cap$.

Eigenschappen

Als $f$ convex is op het interval $I$ en $I_0$ het inwendige van $I$ is, dus zodat eventuele randpunten worden weggelaten, dan heeft $f$ op $I_0$ overal een linkerafgeleide ${f_{-}}^{\prime }$ en een rechterafgeleide ${f_{+}}^{\prime }$. Beiden zijn stijgende functies, en ${f_{-}}^{\prime }\le {f_{+}}^{\prime }$. Ze zijn gelijk, dus is de afgeleide van $f$ gedefinieerd, op hoogstens een aftelbaar aantal punten na.

Een functie $f$ is convex op het open interval $I$ dan en slechts dan als $f$ kan worden geschreven als integraal van een stijgende functie $g$ op dat interval:

$\mathrm{\exists }c\in I,\mathrm{\forall }x\in I:f(x)-f(c)=\underset{t=c}{\overset{x}{\int }}g(t)\mathrm{d}t$