Funcție convexă

Graficul unei funcţii convexe

În matematică, o funcție reală de o variabilă reală este convexă pe un interval atunci când graficul său se află sub dreapta care unește punctele ce reprezintă valoarea funcției în extremitățile intervalului.

Funcțiile convexe jocă un rol important în multe domenii din matematică, de exemplu în probleme de optimizare, în rezolvarea inecuațiilor prin utilizarea inegalității lui Jensen și a inegalității lui Hölder, și în rezolvarea anumitor ecuații.

Noțiuni introductive

Definiție: Fie $I\subseteq ℝ$ un interval și $f:I\to ℝ$ o funcție.

$f$ este convexă dacă $\mathrm{\forall }{x}_1,x_2\in I$ și $\mathrm{\forall }\lambda \in (0,1)$ este satisfăcută inegalitatea $f((1-\lambda )x_1+\lambda x_2)\le (1-\lambda )f(x_1)+\lambda f(x_2).$

$f$ este strict convexă dacă $\mathrm{\forall }{x}_1,x_2\in I$ și $\mathrm{\forall }\lambda \in (0,1)$ este satisfăcută inegalitatea $f((1-\lambda )x_1+\lambda x_2)<(1-\lambda )f(x_1)+\lambda f(x_2).$

$f$ este concavă dacă $\mathrm{\forall }{x}_1,x_2\in I$ și $\mathrm{\forall }\lambda \in (0,1)$ este satisfăcută inegalitatea $f((1-\lambda )x_1+\lambda x_2)\ge (1-\lambda )f(x_1)+\lambda f(x_2).$

$f$ este strict concavă dacă $\mathrm{\forall }{x}_1,x_2\in I$ și $\mathrm{\forall }\lambda \in (0,1)$ este satisfăcută inegalitatea $f((1-\lambda )x_1+\lambda x_2)>(1-\lambda )f(x_1)+\lambda f(x_2).$

Semnificație geometrică

Fie $f:I\to ℝ$; fixăm $x_1,x_2\in I,x_1<x_2$ și $0<\lambda <1$, evident $x_0=(1-\lambda )x_1+\lambda x_2\in (x_1,x_2)$. Punctul $C(x_0,f(x_0))$ se află pe graficul funcției $f$, iar punctul $C_1(x_0,(1-\lambda )f(x_1)+\lambda f(x_2))$ se găsește pe segmentul $[AB]$, unde $A(x_1,f(x_1)),B(x_2,f(x_2))$. Dacă $f$ este convexă atunci graficul funcției se află sub coarda care trece prin punctele $A$ și $B$.

Proprietăți

Teoremă (criteriu de convexitate). Fie $I\subseteq ℝ$ un interval și $f:I\to ℝ$ o funcție de două ori derivabilă pe I. Funcția $f$ este convexă pe $I$ dacă și numai dacă $f^{″}(x)\ge 0$.

Teoremă. Fie $f_1,f_2$ funcții convexe definite pe mulțimea convexă $\mathrm{\Omega }$. Atunci funcția $a_1{f}_1+a_2{f}_2$ este convexă pe $\mathrm{\Omega }$, oricare $a_1,a_2\in [0,\mathrm{\infty })$.

Teoremă (Inegalitatea lui Jensen). Fie funcția convexă $f:I\to ℝ$. Pentru $\mathrm{\forall }$ $n\in \mathbb{N}$ cu $n\ge 2$ și $\mathrm{\forall }$ $t_1,...,t_n\in I$, $\mathrm{\forall }$ ${\alpha }_1,...,{\alpha }_n\in {ℝ}_{\mathbb{+}}$ cu $\sum _{i=1}^n{\alpha }_i=1$ are loc inegalitatea $f\left(\sum _{i=1}^n{\alpha }_i{t}_i\right)\le \sum _{i=1}^n{\alpha }_{i}f(t_i)$.

Demonstrație: Se demonstrează prin inducție.
Cazul $n=2$ este chiar definiția funcției convexe. Presupunem adevărată afirmația pentru $n$ și să demonstrăm pentru $n+1$.
Fie deci $t_1,...,t_{n+1}\in I$ și ${\alpha }_1,...,{\alpha }_{n+1}\in {ℝ}_{\mathbb{+}}$ cu ${\alpha }_1+...+{\alpha }_{n+1}=1$.

1. Dacă ${\alpha }_{n+1}=1$ atunci concluzia rezultă imediat.
2. Dacă ${\alpha }_{n+1}\ne 1$ atunci
   

$t:=\sum _{k=1}^{n+1}{\alpha }_k{t}_k=(1-{\alpha }_{n+1})s+{\alpha }_{n+1}{t}_{n+1}$

unde $s=\sum _{k=1}^n\frac{{\alpha }_k}{1-{\alpha }_{n+1}}{t}_k.$
Conform ipotezei avem: $f(t)\le (1-{\alpha }_{n+1})f(s)+{\alpha }_{n+1}f(t_{n+1})\le (1-{\alpha }_{n+1})\sum _{k=1}^n\frac{{\alpha }_k}{1-{\alpha }_{n+1}}f(t_k)+{\alpha }_{n+1}f(t_{n+1})=\sum _{k=1}^{n+1}{\alpha }_{k}f(t_k).$

Exemple

• Funcția $f:ℝ\to ℝ,f(x)=x^2$ este convexă.
• Funcția $f:ℝ\to ℝ,f(x)=a^x,a>0,a\ne 1$ este convexă.

Bibliografie

1. Viorel Lupușor, Vasile Pop, Matematică pentru grupele de performanță, clasa a XI-a, Dacia Educațional, 2004.
2. Mihail Megan, Bazele Analizei Matematice, vol. 2, Editura Eurobit Timișoara, 1997.
3. Gheorghe Sirețchi, Calcul Diferențial și Integral, Ed. Științifică și Enciclopedică, București, 1985.

Vezi și

• Convexitate
• Funcție concavă