6.7

Выпуклые функции

[11/0%]
LaTeX
Задача 6.60

Покажите, что φ:(a,b)→R\varphi :(a, b) \rightarrow \mathbb {R} выпукла тогда и только тогда, когда для точек x1,…,xnx_{1}, \ldots , x_{n} в (a,ba, b) и неотрицательных чисел λ1,…,λn\lambda_{1}, \ldots , \lambda_{n}, таких что ∑k=1nλk=1\sum_{k = 1}^{n} \lambda_{k} = 1,

φ(∑k=1nλkxk)≤∑k=1nλkφ(xk) \varphi \left(\sum _{k = 1}^{n} \lambda _{k} x_{k}\right) \leq \sum _{k = 1}^{n} \lambda _{k} \varphi \left(x_{k}\right)

Используйте это для непосредственного доказательства неравенства Йенсена для ff, являющейся простой функцией.

?
Задача 6.61

Покажите, что непрерывная функция φ:(a,b)→R\varphi :(a, b) \rightarrow \mathbb {R} выпукла тогда и только тогда, когда

φ(x1+x22)≤φ(x1)+φ(x2)2 для всех x1,x2∈(a,b). \varphi \left(\frac{x_{1}+x_{2}}{2}\right) \leq \frac{\varphi \left(x_{1}\right)+\varphi \left(x_{2}\right)}{2} \text{ для всех } x_{1}, x_{2} \in (a, b) .
?
Задача 6.62

Функция φ:I→R\varphi : I \rightarrow \mathbb {R} на общем интервале II называется выпуклой, если она непрерывна и (38) выполняется для всех x1,x2∈Ix_{1}, x_{2} \in I. Обязательно ли выпуклая функция на замкнутом ограниченном интервале [a,b][a, b] липшицева на [a,b][a, b]?

?
Задача 6.63

Пусть φ:(a,b)→R\varphi :(a, b) \rightarrow \mathbb {R} имеет вторую производную в каждой точке (a,b)(a, b). Покажите, что φ\varphi выпукла тогда и только тогда, когда φ′′\varphi^{\prime \prime } неотрицательна.

?
Задача 6.64

Пусть a≥0a \geq 0 и b>0b > 0. Покажите, что функция φ(t)=(a+bt)p\varphi (t) = (a+b t)^{p} выпукла на [0,∞)[0, \infty ) при 1≤p<∞1 \leq p < \infty.

?
Задача 6.65

Для каких функций φ\varphi неравенство Йенсена всегда является равенством?

?
Задача 6.66

Сформулируйте и докажите вариант неравенства Йенсена на общем замкнутом ограниченном интервале [a,b][a, b].

?
Задача 6.67

Пусть f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} интегрируема. Покажите, что

exp⁡[∫01f(x)dx]≤∫01exp⁡(f(x))dx \exp \left[\int _{0}^{1} f(x) d x\right] \leq \int _{0}^{1} \exp (f(x)) d x
?
Задача 6.68

Пусть {αn}\left\{ \alpha_{n}\right\} — последовательность неотрицательных чисел с суммой 1, а {ζn}\left\{ \zeta_{n}\right\} — последовательность положительных чисел. Покажите, что

∏n=1∞ζnαn≤∑n=1∞αnζn \prod _{n = 1}^{\infty } \zeta _{n}^{\alpha _{n}} \leq \sum _{n = 1}^{\infty } \alpha _{n} \zeta _{n}
?
Задача 6.69

Пусть g:[0,1]→Rg:[0,1] \rightarrow \mathbb {R} положительна и измерима. Покажите, что log⁡(∫01g(x)dx)≥∫01log⁡(g(x))dx\log \left(\int_{0}^{1} g(x) d x\right) \geq \int_{0}^{1} \log (g(x)) d x, когда обе части определены.

?
Задача 6.70

Пусть φ:R→R\varphi : \mathbb {R} \rightarrow \mathbb {R} непрерывна. Покажите, что если существуют c1≥0,c2≥0c_{1} \geq 0, c_{2} \geq 0, для которых выполнено (43), то φ∘f:[0,1]→R\varphi \circ f:[0,1] \rightarrow \mathbb {R} интегрируема, если f:[0,1]→Rf:[0,1] \rightarrow \mathbb {R} интегрируема.

?