257
§ 2. Funkcje wypukłe i wklęsłe
jest spełniona dla wszystkich liczb dodatnich qx i q2 dających w sumie jedność: q,+q2 = 1. Funkcja nazywa się wklęsła (wypukła do góry), jeśli zamiast (1) spełniona jest nierówność
(la) f(qix1 + q2x2)^qif(xi) + q2f(x2)(1 2).
Jeśli funkcja f(x) jest wypukła (wklęsła), to funkcja —f(x) jest oczywiście wklęsła (wypukła), i na odwrót. Ta prosta uwaga pozwala nam w wielu wypadkach ograniczyć się do badania tylko funkcji wypukłych.
Przytoczona definicja funkcji wypukłej ma prosty sens geometryczny. Zwróćmy przede wszystkim uwagę na to, że wyrażenie
x = q1xl + q2x2 (x1<x2)
przy nałożonych na qt i q2 warunkach jest zawarte między xi i x2. Na odwrót, każda liczba x zawarta między xx i x2 może być jednoznacznie przedstawiona we wskazanej postaci ze współczynnikami
x2— X
X — Xi
4i:
x2-x2
Jeśli rozpatrzymy wykres funkcji f(x) (rys. 71) i jego łuk między punktami
Mxi,y2) i A2(x2,y2),
gdzie yi=f(xi), y2=f(x2), to po lewej stronie nierówności (1) ze współczynnikami (2a) będziemy mieli rzędną punktu A łuku A2A2 o odciętej x. Natomiast z prawej strony tej nierówności znajduje się rzędna punktu B cięciwy ALA2:
X2 — X x — x,
y=—-y2+--
X2-X1 X2~Xy
?2
o tej samej odciętej. Tak więc funkcja wypukła charakteryzuje się tym, te wszystkie punkty dowolnego łuku jej wykresu leżą pod odpowiednią cięciwą albo na samej cięciwie. (W przypadku funkcji wklęsłej zamiast „pod” należy powiedzieć „nad”). Wraz z samą funkcją f(x) również krzywa y=f(x) nazywa się krzywą wypukłą (wklęsłą).
17 G. M. Fichtenholz
(‘) Pojęcie funkcji wypukłej (wklęsłej) wprowadził J. L. W. V. Jensen, który wychodził jednak z mniej ogólnej zależności niż (1) (łub (la)), mianowicie
y/*l+*2\ </Ui)+/(*2>
2 /(>) 2
Zależność ta odpowiada wartościom Qi=Qt=\. W wypadku funkcji ciągłych, do których się tutaj ograniczamy, definicja ta jest równoważna z definicją podaną w tekście.