§12. Выпуклые функции.

Опр. Ф-я, заданная на интервале (а;b), наз-ся выпуклой вверх (вниз) на этом интервале, если любая
хорда, соед-я 2 точки графика лежит ниже(выше) графика ф-ии.
Теорема1. f выпукла вверх на (а;b)  Ā х1,х2є(а;b) и Ā α,β≥0: α+β=1 вып-ся нер-во
f(αx1+βx2)≥αf(x1)+βf(x2). Док-во: [рис1] Рассм-м xє[x1;x2] (х1<х2). Тогда х=αх1+(1–α)х2, где αє[0;1]. [рис2]
Найдем ур-е хорды через точки (x1;f(x1)) и (х2;f(x2)). Тогда точка М(х;у) хорды имеет ординату у, удовл-
ю рав-ву (y–f(x1))/(x–x1)=(f(x2)–f(x1))/(x2–x1), откуда y=f(x1)+(f(x2)–f(x1))∙(x–x1)/(x2–x1)=f(x1)∙(x2–x)/(x2–
x1)+f(x2)∙(x–x1)/(x2–x1). Т.к. ф-я выпукла вверх, то вып-ся нер-во: f(x)≥ y=… Найдем α из x=αx1+(1–α)x2:
α=(x2–x)/(x2–x1) => β=1–α=(x–x1)/(x2–x1). Тогда f(x)=f(αx1+βx2)≥αf(x1)+βf(x2).
Замечание. Можно док-ть обобщение этого нер-ва, а именно, если f выпукла вверх на (a;b), то Ā
x1,x2,..,xnє(a;b) и Ā α1,α2,..,αn≥0: α1+α2+..+αn=1 => f(α1x1+..+αnxn)≥α1f(x1)+..+αnf(xn) [нер-во Ченсена]. Пусть f
выпукла вверх на (а;b), тогда Ā х1,х2є(а;b) и Ā α,β≥0: α+β=1 вып-ся нер-во f(αx1+βx2)≥αf(x1)+βf(x2). Если
x1=x2 , то нер-во обр-ся в рав-во. Также данное нер-во обр-ся в рав-во если α=0 и β=0. Если при x1≠x2 и
α∙β≠0 данное нер-во строгое f(αx1+βx2)>αf(x1)+βf(x2), то в этом случае ф-я наз-ся строго выпуклой вверх.
Теорема1'. f выпукла вниз на (а;b)  Ā х1,х2є(а;b) и Ā α,β≥0: α+β=1 вып-ся нер-во
f(αx1+βx2)≤αf(x1)+βf(x2).
Теорема2 (лемма о 3х хордах) f выпукла вверх на (a;b)  [ Ā х1,х2,xє(а;b): х1<x<х2 вып-ся нер-во: (f(x2)–
f(x))/(x2–x)≤(f(x2)–f(x1))/(x2–x1)≤(f(x)–f(x1))/(x–x1) ]=[#] tgα≤tgβ≤tgγ (α<β<γ- острые) [рис3]. Док-во:
Согласно теореме1 Ā х1,х2,xє(а;b): x1<x<x2 вып-ся нер-во f(x)≥f(x1)∙(x2–x)/(x2–x1)+f(x2)∙(x–x1)/(x2–
x1)=(f(x1)–f(x2))∙(x2–x)/(x2–x1)+f(x2)∙(x2–x1)/(x2–x1). f(x)–f(x2)≥(x2–x)/(x2–x1)∙(f(x1)–f(x2)). Разделим обе части
нер-ва на x2–x>0. (f(x)–f(x2))/(x2–x)≥(f(x1)–f(x2))/(x2–x). Умножим обе части на (–1): … 2-я часть системы
нер-в [#] пол-ся след-м образом: f(x)≥(x2–x)/(x2–x1)∙f(x1)+(x–x1)/(x2–x1)∙f(x2)=f(x1)+(f(x2)–f(x1))∙(x–x1)/(x2–
x1). Перенесем f(x1) в левую часть нер-ва и делим все на x–x1>0: (f(x)–f(x1))/(x–x1)≥(f(x2)–f(x1))/(x2–x1).
Замечание. В случае строгой выпуклости ф-ии нер-ва в лемме о 3х хордах- строгие нер-ва.
Следствие. Пусть f выпукла вверх на (a;b), пусть x0є(a;b)- произв-я точка этого интервала и φ(x)=(f(x)–
f(x0))/(x–x0) на (a;x0)U(x0;b). Тогда ф-я φ убывает на множ-ве (a;x0)U(x0;b). Док-во: расм. Ā
х1,х2є(а;x0)U(x0;b) и пусть x1<x2. 1)[рис4] x1<x2<x0, тогда по теореме2 (f(x1)–f(x0))/(x1–x0)≥(f(x2)–f(x0))/(x2–
x0) => φ(x1)≥φ(x2), значит φ- убывающая. 2)[рис5] x1<x0<x2 , тогда –v–. 3)x0<x1<x2 анал-но. Т.о. φ-
убывающая.
Теорема3. Пусть f выпукла вверх на (a;b). Тогда f непр-на на (a;b) и в каждой точке (a;b) имеет лево- и
правостороннюю произв-ю. Док-во: рассм-м нер-во [#]. φ(x2)=(f(x2)–f(x))/(x2–x), где x2є(x;b). По след-ю
φ(x2)убывает на (x;b). Тогда рассм. limφ(x2)[x2x+0]=supφ(x2)[(x;b)]. Данный sup Ē, т.к. φ(x2)≤(f(x)–
f(x1))/(x–x1). Поэтому этот lim тоже Ē. limφ(x2)=f '(x+0) (при x2x+0). Рассм. φ(x1)=(f(x)–f(x1))/(x–x1) на
(a;x). φ(x1) убывает на (a;x) по след-ю => limφ(x1)[x1x–0]=infφ(x1)[(a;x)]. infφ(x1) Ē, т.к. φ(x1) огр-на
снизу числом (f(x2)–f(x))/(x2–x). limφ(x1)=f '(x–0). Т.о. доказано что в каждой точке (a;b) Ē лево и
правосторонние произв-е => f непр-на слева и справа в данной точке => непр-на в этой точке.