W matematyce mówi się , że funkcja f jest wklęsła, gdy przeciwna funkcja –f jest wypukła .
Fakt, że wolimy zacząć od zdefiniowania pojęcia wypukłej funkcji i wyprowadzić z niego, że z wklęsłą funkcją znajduje swoje źródło w tym, że możemy łatwo zdefiniować pojęcie wypukłej zbioru , podczas gdy „SET wklęsłe„jest mniej naturalny. Następnie definiujemy funkcje wypukłe jako te, które mają wypukły epigraf (funkcje wklęsłe mają wypukły hipograf ). Dlatego analiza wypukła istnieje jako dyscyplina matematyki, ale „analiza wklęsła” już nie.
Definicja - o funkcji f mówi się, że jest wklęsła, gdy przeciwna funkcja –f jest wypukła .
Ta definicja jest równoważna z następującą definicją:
Określenie - Funkcja F od rzeczywistego przedziału I do ℝ mówi się wklęsłe, gdy dla wszystkich x 1, i x 2 z I i wszystkich t w [0; 1] mamy:
Mamy dwie cechy:
Wniosek - Niech f jest funkcją wyprowadzić ponad interwałowej I .
Z drugiej charakterystyki wnioskujemy:
Następstwem - Niech f funkcji dwukrotnie różniczkowalnej na przedziale I . f jest wklęsłe wtedy i tylko wtedy, gdy jego druga pochodna f '' ma wartości ujemne lub zerowe.
Spośród prostych funkcji wklęsłych możemy oczywiście z definicji przytoczyć przeciwieństwa rzeczywistych funkcji wypukłych, na przykład:
Przytoczmy też kilka odwrotności funkcji wypukłych, na przykład na ℝ + *:
Mówiąc bardziej ogólnie, funkcje podwójnie różniczkowalne, których druga pochodna jest zawsze ujemna, są funkcjami wklęsłymi. Ale funkcja wklęsła niekoniecznie jest różniczkowalna, o czym świadczy funkcja x ↦ - | x | .