Изменения
LOAAADS OF BUGS (куда смотрел наборщик вообще?)
== Определения ==
Будем рассматривать отрезок <tex>[a; b]</tex>, набор чисел <tex>x_1, x_2, x_3, \ldots x_n \in [a; b]</tex> и коэффициенты <tex>\alpha_1, \alpha_2, \ldots, \alpha_n > \ge 0</tex>
такие, что <tex>\sum\limits_{i = 1}^n \alpha_i = 1</tex>.
Неравенство Йенсена
|statement=
Пусть <tex>f(x)</tex> выпукла вверх на <tex>[a; b]</tex>. Тогда <tex>\forall x_1; , x_2 \ldots x_n \in [a; b]</tex> и их выпуклой комбинации выполнено неравенство
<tex>\sum\limits_{k = 1}^n \alpha_k f(x_k) \leq f\left(\sum\limits_{k = 1}^n \alpha_k x_k\right)</tex>.
|proof=
<tex>
\sum\limits_{k = 1}^{n + 1} \alpha_k f(x_k) =
s_n \sum\limits_{k = 1}^n \beta_k f(x_k) + \alpha_{n + 1}f(x_{n + 1}) \leq</tex> (по предположению индукции) <tex>s_n f\left(\sum\limits_{k = 1}^n \beta_k x_k \right) + \alpha_{n + 1}f(x_{n + 1}\right) \leq </tex> (так как <tex>s_n + \alpha_{n + 1} = 1</tex>)
<tex> f\left(\sum\limits_{k = 1}^{n + 1} \alpha_k x_k\right)</tex>
Значит, шаг индукции проделан, нерваенство неравенство доказано для произвольного <tex>n</tex>.
}}
<tex>f(x) - L_n(x) = \frac{f^{(2)}(c_x)}{2!}(x - x_0)(x - x_1)</tex>, <tex>x_0 \leq x \leq x_1</tex>.
Если <tex>f^{(2)} = \leq 0</tex> на <tex>\langle a; b\rangle</tex> то правая часть будет неотрицательная, так как <tex>x \in [x_0; x_1]</tex>, поэтому <tex>f(x) - L_n(x) \leq geq 0</tex>, так как и т. к. <tex>x_0</tex> и <tex>x_1</tex> произвольны, то <tex>f</tex> выпукла вверх.
Итак, <tex>f^{(2)} = \leq 0 \Rightarrow f </tex> — выпукла вверх.
Пусть <tex>f</tex> выпукла вверх. Будем считать, что <tex>f^{(2)}</tex> — непрерывна. <tex>x \in \langle a; b\rangle</tex>.
Пусть <tex>x_0 = x - \Delta x</tex>, <tex>x_1 = x + \Delta x</tex>, где <tex>\Delta x</tex> — малое положительное число.Рассмотрим полином Лагранжа <tex>L_n</tex> для системы узлов <tex>(x_0, x_1)</tex> :
<tex>f(t) - L_n(t) = \frac{f^{(2)}(c_t)}{2!} (t - x_0)(t - x_1)\geq 0, \, (t - x_0)(t - x_1) < 0 \Rightarrow f^{(2)}(c_t) \leq 0</tex>
<tex>c_t \in \langle x - \Delta x; x + \Delta x \rangle</tex>
<tex>\Delta x \to 0 : x_0 c_t \to x : f^{(2)}(x) \leq 0</tex>
=== Пример ===
В качестве примера рассмотрим <tex>y = \ln x</tex>, <tex>y^{(2)} '' = \frac{-1}{x^2} \leq 0 \Rightarrow \ln x</tex> выпукла вверх.
Это мы применим в следующем параграфе.
[[Категория:Математический анализ 1 курс]]
