VII.1

Выпуклость

[41/98%]
Показать
LaTeX
Задача VII.1.1

Докажите, что выпуклая на промежутке Δ\Delta функция удовлетворяет неравенству Иенсена f(∑1⩽j⩽nλjxj)⩽∑1⩽j⩽nλjf(xj)f\left(\sum_{1 \leqslant j \leqslant n} \lambda_{j} x_{j}\right) \leqslant \sum_{1 \leqslant j \leqslant n} \lambda_{j} f\left(x_{j}\right) для всех x1,…,xn∈Δ,λ1,…,λn∈[0,1],λ1+…+λn=1x_{1}, \ldots , x_{n} \in \Delta , \lambda_{1}, \ldots , \lambda_{n} \in [0,1], \lambda_{1}+\ldots +\lambda_{n}=1.

?
Примечание.
?

Функция f:Δ=⟨a,b⟩→Rf: \Delta =\langle a, b\rangle \rightarrow \mathbb {R} называется выпуклой (строго выпуклой), если для всех точек x1,x2∈Δ,x1≠x2x_{1}, x_{2} \in \Delta , x_{1} \neq x_{2}, и чисел λ1,λ2>0,λ1+λ2=1\lambda_{1}, \lambda_{2}>0, \lambda_{1}+\lambda_{2}=1, выполняется неравенство

f(λ1x1+λ2x2)⩽λ1f(x1)+λ2f(x2) f\left(\lambda _{1} x_{1}+\lambda _{2} x_{2}\right) \leqslant \lambda _{1} f\left(x_{1}\right)+\lambda _{2} f\left(x_{2}\right) (f(λ1x1+λ2x2)<λ1f(x1)+λ2f(x2)). \left(f\left(\lambda _{1} x_{1}+\lambda _{2} x_{2}\right)<\lambda _{1} f\left(x_{1}\right)+\lambda _{2} f\left(x_{2}\right)\right).

Если функция (−f)(-f) выпукла, то функция ff называется вогнутой.

Задача VII.1.2

Пусть функция ff задана на промежутке Δ,x1<x2<x3\Delta , x_{1}<x_{2}<x_{3} - точки из Δ\Delta. Рассмотрим три хорды, соединяющие пары точек графика ff с абсциссами x1x_{1} и x2,x1x_{2}, x_{1} и x3,x2x_{3}, x_{2} и x3x_{3}. Угловые коэффициенты этих хорд суть, соответственно, f(x2)−f(x1)x2−x1,f(x3)−f(x1)x3−x1,f(x3)−f(x2)x3−x2\frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}}, \frac{f\left(x_{3}\right)-f\left(x_{1}\right)}{x_{3}-x_{1}}, \frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}. Докажите, что для выпуклости функции ff необходимо и достаточно, чтобы для любой тройки точек x1<x2<x3x_{1}<x_{2}<x_{3} из Δ\Delta выполнялись неравенства

f(x2)−f(x1)x2−x1⩽f(x3)−f(x1)x3−x1⩽f(x3)−f(x2)x3−x2 \frac{f\left(x_{2}\right)-f\left(x_{1}\right)}{x_{2}-x_{1}} \leqslant \frac{f\left(x_{3}\right)-f\left(x_{1}\right)}{x_{3}-x_{1}} \leqslant \frac{f\left(x_{3}\right)-f\left(x_{2}\right)}{x_{3}-x_{2}}

(лемма о трёх хордах, см. рис. 8).

Рис. 8Рис. 8

Проверьте, что это двойное неравенство равносильно тому, что

∣1x1f(x1)1x2f(x2)1x3f(x3)∣⩾0. \left|\begin{smallmatrix} 1 & x_{1} & f\left(x_{1}\right) \\ 1 & x_{2} & f\left(x_{2}\right) \\ 1 & x_{3} & f\left(x_{3}\right) \end{smallmatrix}\right| \geqslant 0 .
?
Задача VII.1.3

Пусть функция ff, заданная на промежутке Δ\Delta, удовлетворяет неравенству f(x1+x22)⩽f(x1)+f(x2)2f\left(\frac{x_{1}+x_{2}}{2}\right) \leqslant \frac{f\left(x_{1}\right)+f\left(x_{2}\right)}{2} для всех x1,x2∈Δx_{1}, x_{2} \in \Delta. Докажите, что

?
(а)

ff удовлетворяет неравенству Иенсена

f(∑1⩽j⩽nλjxj)⩽∑1⩽j⩽nλjf(xj),xj∈Δ(j=1,…,n) f\left(\sum _{1 \leqslant j \leqslant n} \lambda _{j} x_{j}\right) \leqslant \sum _{1 \leqslant j \leqslant n} \lambda _{j} f\left(x_{j}\right), \quad x_{j} \in \Delta \quad (j=1, \ldots , n)

для любых рациональных λj∈[0,1],λ1+…+λn=1\lambda_{j} \in [0,1], \lambda_{1}+\ldots +\lambda_{n}=1;

(б)

если функция ff непрерывна, то она выпукла.

Задача VII.1.4

Докажите, что условие непрерывности в задаче 1.3 б) можно заменить следующим: функция ff ограничена сверху на каком-нибудь непустом интервале (p,q)⊂Δ(p, q) \subset \Delta (или даже на (p,q)\Q(p, q) \backslash \mathbb {Q}).

?
Задача VII.1.5

Докажите, что для функции f:(a,b)→Rf:(a, b) \rightarrow \mathbb {R} равносильны три утверждения:

  1. ff выпукла;

  2. надграфик функции ff

    Γ+={(x,y)∈R2∣x∈(a,b),y⩾f(x)} \Gamma ^{+}=\left\{ (x, y) \in \mathbb {R}^{2} \mid x \in (a, b), y \geqslant f(x)\right\}
    • выпуклое множество;
  3. через каждую точку графика функции ff можно провести опорную для надграфика прямую (т. е. такую прямую, что все точки надграфика лежат не ниже неё).

?
Задача VII.1.6

Докажите, что если функция, заданная на промежутке, выпукла локально, то она выпукла.

?
Задача VII.1.7

Пусть ff - выпуклая на промежутке [a,b]\left[a, b\right] функция. Докажите, что тогда

?
(а)

функция φ(x)=f(x)+f(a+b−x)\varphi (x)=f(x)+f(a+b-x) убывает на [a,a+b2]\left[a, \frac{a+b}{2}\right];

(б)

функция ψ(x)=f(x+h)−f(x)\psi (x)=f(x+h)-f(x) возрастает на [a,b−h]\left[a, b-h\right] для любого h∈(0,b−a)h \in (0, b-a).

Задача VII.1.8

Пусть функция ff вогнута на промежутке [0,+∞),f(0)=0[0,+\infty ), f(0)=0. Докажите, что для всех x,y⩾0x, y \geqslant 0 выполняется неравенство

f(x+y)⩽f(x)+f(y). f(x+y) \leqslant f(x)+f(y) .
?
Задача VII.1.9

Докажите, что если функция ff выпукла и строго монотонна, то f−1f^{-1} либо выпукла, либо вогнута.

?
Задача VII.1.10

Пусть функция ff выпукла, а функция gg выпукла и возрастает. Докажите, что если имеет смысл суперпозиция g∘fg \circ f, то она выпукла.

?
Задача VII.1.11

Пусть f∈C((0,+∞))f \in C((0,+\infty )). Докажите, что тогда функции x↦xf(x),x↦f(1x)x \mapsto x f(x), x \mapsto f\left(\frac{1}{x}\right) выпуклы или нет одновременно.

?
Задача VII.1.12

Пусть функция ff выпукла на [a,+∞)[a,+\infty ). Докажите, что существует предел lim⁡x→+∞f(x)x=l∈R‾\lim_{x \rightarrow +\infty } \frac{f(x)}{x}=l \in \overline{\mathbb {R}}, причём l>−∞l>-\infty.

?
Задача VII.1.13

Докажите, что выпуклая функция ff, заданная на промежутке ⟨a,b⟩\langle a, b\rangle, непрерывна на (a,b)(a, b) и имеет там конечные возрастающие односторонние производные f−′(x),f+′(x)f_{-}^{\prime }(x), f_{+}^{\prime }(x), а f′(x)f^{\prime }(x) существует всюду, за исключением не более чем счётного множества точек. Докажите, что f∈Lip⁡1(Δ)f \in \operatorname {Lip}_{1}(\Delta ) для любого замкнутого промежутка Δ⊂(a,b)\Delta \subset (a, b).

?
Задача VII.1.14

Докажите, что функция f∈C((a,b))f \in C((a, b)) выпукла тогда и только тогда, когда для всех x∈(a,b)x \in (a, b) выполняется неравенство

Lf(x)=lim‾⁡h→0f(x+h)−2f(x)+f(x−h)h2⩾0 L_{f}(x)=\varlimsup _{h \rightarrow 0} \frac{f(x+h)-2 f(x)+f(x-h)}{h^{2}} \geqslant 0

В частности, если Lf(x)=0L_{f}(x)=0 при всех x∈(a,b)x \in (a, b), то ff - линейная функция; если ff дважды дифференцируема в (a,b)(a, b), то она выпукла тогда и только тогда, когда f′′(x)⩾0f^{\prime \prime }(x) \geqslant 0 в (a,b)(a, b).

?
Задача VII.1.15

Пусть f∈C(⟨a,b⟩)f \in C(\langle a, b\rangle ). Докажите, что для выпуклости функции ff необходимо и достаточно, чтобы для всех x∈(a,b)x \in (a, b) и таких h>0h>0, что x−h,x+h∈⟨a,b⟩x-h, x+h \in \langle a, b\rangle, выполнялось неравенство

f(x)⩽12h∫x−hx+hf(t)dt f(x) \leqslant \frac{1}{2 h} \int _{x-h}^{x+h} f(t) d t
?
Задача VII.1.16

Пусть функция ff выпукла на R\mathbb {R} и lim⁡x→±∞f(x)x=0\lim_{x \rightarrow \pm \infty } \frac{f(x)}{x}=0. Докажите, что ff постоянна.

Следующая задача часто позволяет при доказательстве тех или иных утверждений о выпуклых функциях предполагать дополнительно их гладкость (в частности, так могут быть решены некоторые из предыдуших задач).

?
Задача VII.1.17

Докажите, что всякая выпуклая на [a,b]\left[a, b\right] непрерывная функция является пределом равномерно сходящейся убывающей последовательности:

?
(а)

кусочно линейных выпуклых функций;

(б)

дважды непрерывно дифференцируемых выпуклых функций.

Задача VII.1.18

Докажите, что если функция f:[0,+∞)→Rf:[0,+\infty ) \rightarrow \mathbb {R} дифференцирусма, вогнута и неотрицательна, то xf′(x)⩽f(x)x f^{\prime }(x) \leqslant f(x) для всех x⩾0x \geqslant 0.

?
Задача VII.1.19

Пусть функция ff выпукла и возрастает на промежутке [0,+∞),f(0)=0[0,+\infty ), f(0)=0. Докажите, что для любых чисел a0⩾a1⩾…⩾an⩾0a_{0} \geqslant a_{1} \geqslant \ldots \geqslant a_{n} \geqslant 0 выполняется неравенство

∑0⩽k⩽n(−1)kf(ak)⩾f(∑0⩽k⩽n(−1)kak). \sum _{0 \leqslant k \leqslant n}(-1)^{k} f\left(a_{k}\right) \geqslant f\left(\sum _{0 \leqslant k \leqslant n}(-1)^{k} a_{k}\right) .
?
Задача VII.1.20

Последовательность {an}⊂R\left\{ a_{n}\right\} \subset \mathbb {R} называется выпуклой, если Δ2an=an+2−2an+1+an⩾0\Delta^{2} a_{n}=a_{n+2}-2 a_{n+1}+a_{n} \geqslant 0, т.е. an+1⩽12(an+an+2)a_{n+1} \leqslant \frac{1}{2}\left(a_{n}+a_{n+2}\right) для любого n∈Nn \in \mathbb {N}. Докажите, что если последовательность {an}\left\{ a_{n}\right\} выпукла, то

?
(а)

an+p⩽pp+qan+p+q+qp+qan(p,q∈N)a_{n+p} \leqslant \frac{p}{p+q} a_{n+p+q}+\frac{q}{p+q} a_{n} \quad (p, q \in \mathbb {N});

(б)

последовательность {an}\left\{ a_{n}\right\} монотонна или существует такой номер m>1m>1, что a1⩾a2⩾…⩾am⩽am+1⩽am+2…a_{1} \geqslant a_{2} \geqslant \ldots \geqslant a_{m} \leqslant a_{m+1} \leqslant a_{m+2} \ldots

Задача VII.1.21

Пусть {an}n⩾0\left\{ a_{n}\right\}_{n \geqslant 0} - ограниченная выпуклая последовательность (см. задачу 1.20). Докажите, что

?
(а)

an↓a∈Ra_{n} \downarrow a \in \mathbb {R};

(б)

an−an−1=o(1n)a_{n}-a_{n-1}=o\left(\frac{1}{n}\right);

(в)

∑n⩾0(n+1)Δ2an=a0−a\sum_{n \geqslant 0}(n+1) \Delta^{2} a_{n}=a_{0}-a.

Задача VII.1.22

Пусть L>0,f∈C([0,L]),f⩾0L>0, f \in C(\left[0, L\right]), f \geqslant 0. Положим M=∫0Lf(x)dxM=\int_{0}^{L} f(x) d x,

I1=∫0Lxf(x)dx,I2=∫0Lx2f(x)dxJ1=12∫0Lf2(x)dx,J2=13∫0Lf3(x)dx \begin{aligned} I_{1} & =\int _{0}^{L} x f(x) d x, & I_{2} & =\int _{0}^{L} x^{2} f(x) d x \\ J_{1} & =\frac{1}{2} \int _{0}^{L} f^{2}(x) d x, & J_{2} & =\frac{1}{3} \int _{0}^{L} f^{3}(x) d x \end{aligned}

Докажите, что если функция ff вогнута, то

?
(а)

13ML⩽I1⩽23ML\frac{1}{3} M L \leqslant I_{1} \leqslant \frac{2}{3} M L;

(б)

16ML2⩽I2⩽12ML2\frac{1}{6} M L^{2} \leqslant I_{2} \leqslant \frac{1}{2} M L^{2};

(в)

12M2L⩽J1⩽23M2L\frac{1}{2} \frac{M^{2}}{L} \leqslant J_{1} \leqslant \frac{2}{3} \frac{M^{2}}{L};

(г)

13M3L2⩽J2⩽23M3L2\frac{1}{3} \frac{M^{3}}{L^{2}} \leqslant J_{2} \leqslant \frac{2}{3} \frac{M^{3}}{L^{2}},

причём коэффициенты в этих неравенствах нельзя улучшить. Все неравенства имеют простой механический смысл. Например, неравенства а) означают, что среди равновеликих подграфиков вогнутых функций наименьшим и наибольшим статическими моментами относительно оси yy обладают треугольники, а неравенства г) - что среди таких фигур наименьший и наибольший моменты инерции относительно оси xx имеют, соответственно, треугольник и прямоугольник.

Задача VII.1.23

Сохраним обозначения предыдущей задачи, но будем рассматривать не вогнутые, а выпуклые функции.

?
(а)

Докажите, что дроби I1ML\frac{I_{1}}{M L} и I2ML2\frac{I_{2}}{M L^{2}} могут принимать любые значения из интервала (0,1)(0,1).

(б)

Докажите, что при H=max⁡f>0H=\max f>0 дроби J1MH\frac{J_{1}}{M H} и J2MH2\frac{J_{2}}{M H^{2}} также могут гринимать любые значения из интервала (0,1)(0,1).

Уточните оценку сверху в случае, когда величины MM и HH фиксированы.

Задача VII.1.24

Пусть функция ff не убывает на [0,12]\left[0, \frac{1}{2}\right] и f(1−x)=f(x)f(1-x)=f(x) на [0,1]\left[0,1\right]. Докажите, что для любой выпуклой на [0,1]\left[0,1\right] функции φ\varphi справедливо неравенство

∫01f(x)φ(x)dx⩽∫01f(x)dx∫01φ(x)dx \int _{0}^{1} f(x) \varphi (x) d x \leqslant \int _{0}^{1} f(x) d x \int _{0}^{1} \varphi (x) d x
?
Задача VII.1.25

Пусть функции f,gf, g неотрицательны и выпуклы на промежутке [a,b]\left[a, b\right], причём один из концов промежутка - корень обеих функций. Докажите неравенство

∫abf(x)dx∫abg(x)dx⩽34(b−a)∫abf(x)g(x)dx \int _{a}^{b} f(x) d x \int _{a}^{b} g(x) d x \leqslant \frac{3}{4}(b-a) \int _{a}^{b} f(x) g(x) d x
?
Задача VII.1.26

Пусть функции ff и gg неотрицательны и вогнуты на промежутке [a,b]\left[a, b\right]. Докажите неравенство

∫abf(x)dx∫abg(x)dx⩽32(b−a)∫abf(x)g(x)dx \int _{a}^{b} f(x) d x \int _{a}^{b} g(x) d x \leqslant \frac{3}{2}(b-a) \int _{a}^{b} f(x) g(x) d x
?
Задача VII.1.27

Пусть 0<a<b,K0<a<b, K - множество всех таких неотрицательных нсвозрастающих на промежутке [a,b]\left[a, b\right] функций ff, что

af(a)=bf(b) и ∫abf(x)dx=1 a f(a)=b f(b) \quad \text{ и } \quad \int _{a}^{b} f(x) d x=1

Докажите, что для любых функций ff и gg из KK справедливо неравенство

∫abmax⁡{f(x),g(x)}dx⩽2ba+b \int _{a}^{b} \max \left\{ f(x), g(x)\right\} d x \leqslant \frac{2 \sqrt{b}}{\sqrt{a}+\sqrt{b}}

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

?
Задача VII.1.28

Пусть функция ff интегрируема на промежутке [a,b]\left[a, b\right]. Докажите, что неотрицательность интеграла ∫abf(x)φ(x)dx\int_{a}^{b} f(x) \varphi (x) d x для любой выпуклой на [a,b]\left[a, b\right] функции φ\varphi равносильна тому, что функция ff удовлетворяет трём условиям:

  1. ∫abf(x)dx=0\int_{a}^{b} f(x) d x=0;

  2. ∫abxf(x)dx=0\int_{a}^{b} x f(x) d x=0;

  3. ∫ac(c−x)f(x)dx⩾0\int_{a}^{c}(c-x) f(x) d x \geqslant 0 для любого c∈(a,b)c \in (a, b).

?
Задача VII.1.29

Пусть функция ff убывает к нулю на (0,+∞)(0,+\infty ) и a>0a>0. Докажите, что ∫0∞f(x)sin⁡axdx⩾0\int_{0}^{\infty } f(x) \sin a x d x \geqslant 0, а если ff выпукла, то ∫0∞f(x)cos⁡axdx⩾0\int_{0}^{\infty } f(x) \cos a x d x \geqslant 0. В обоих случаях знак равенства возможен лишь для f≡0f \equiv 0.

?
Задача VII.1.30
?
(а)

Пусть an,λn⩾0(n∈N),f(x)=∑ane−λnxa_{n}, \lambda_{n} \geqslant 0 \quad (n \in \mathbb {N}), f(x)=\sum a_{n} e^{-\lambda_{n} x}. Докажите, что ln⁡f\ln f - выпуклая функция на R\mathbb {R}.

(б)

Положительная функция ff называется логарифмически выпуклой, если функция ln⁡f\ln f выпукла. Докажите, что логарифмически выпуклая функция выпукла и что сумма логарифмически выпуклых функций логарифмически выпукла.

(в)

Докажите, что Г-функция Эйлера логарифмически выпукла на (0,+∞)(0,+\infty ).

(г)

Пусть ff - логарифмически выпуклое на (0,+∞)(0,+\infty ) решение функционального уравнения f(x+1)=xf(x)(x>0)f(x+1)=x f(x)(x>0). Докажите, что f(x)=f(1)Γ(x)f(x)=f(1) \Gamma (x) для всех x>0x>0.

Задача VII.1.31

Пусть f∈C((0,+∞)),f(1)=1f \in C((0,+\infty )), f(1)=1. Докажите, что системе неравенств

{f(x+y2)⩾f(x)+f(y)2,f(x)f(y)⩾f(xy), \begin{cases} f\left(\frac{x+y}{2}\right) \geqslant \frac{f(x)+f(y)}{2}, \\ f(x) f(y) \geqslant f(x y), \end{cases}

где xx и yy - произвольные положительные числа, удовлетворяет лишь степенна́я функция f(x)=xpf(x)=x^{p} с показателем p∈[0,1]p \in [0,1], а если оба знака неравенств заменить на знаки ⩽\leqslant, то лишь степенна́я функция с показателем p∉(0,1)p \notin (0,1). Убедитесь в том, что это не так, если заменить знак только во втором неравенстве.

?
Задача VII.1.32

Пусть aj,bj⩾0,j=1,…,n;p,q>1,1p+1q=1a_{j}, b_{j} \geqslant 0, j=1, \ldots , n ; p, q>1, \frac{1}{p}+\frac{1}{q}=1. Докажите перавенство Гёльдера

∑1⩽j⩽najbj⩽(∑1⩽j⩽najp)1/p(∑1⩽j⩽nbjp)1/q. \sum _{1 \leqslant j \leqslant n} a_{j} b_{j} \leqslant \left(\sum _{1 \leqslant j \leqslant n} a_{j}^{p}\right)^{1 / p}\left(\sum _{1 \leqslant j \leqslant n} b_{j}^{p}\right)^{1 / q} .
?
Задача VII.1.33

Пусть xj>0,j=1,…,n,p≠0x_{j}>0, j=1, \ldots , n, p \neq 0. Положим

ϰ(p)=(1n∑1⩽j⩽nxjp)1/p. \varkappa (p)=\left(\frac{1}{n} \sum _{1 \leqslant j \leqslant n} x_{j}^{p}\right)^{1 / p} .

Цокажите, что

  1. ϰ\varkappa возрастает;

  2. lim⁡p→0ϰ(p)=x1…xnn\lim_{p \rightarrow 0} \varkappa (p)=\sqrt[n]{x_{1} \ldots x_{n}};

  3. lim⁡p→+∞ϰ(p)=max⁡{x1,…,xn}\lim_{p \rightarrow +\infty } \varkappa (p)=\max \left\{ x_{1}, \ldots , x_{n}\right\};

  4. lim⁡p→−∞ϰ(p)=min⁡{x1,…,xn}\lim_{p \rightarrow -\infty } \varkappa (p)=\min \left\{ x_{1}, \ldots , x_{n}\right\};

  5. функция φ(p)=(ϰ(p))p\varphi (p)=(\varkappa (p))^{p} логарифмически выпукла на промежутке (0,+∞)(0,+\infty ).

Сформулируйте аналоги этих утверждений, заменив ϰ(p)\varkappa (p) выраженисм (1b−a∫abfp(x)dx)1/p\left(\frac{1}{b-a} \int_{a}^{b} f^{p}(x) d x\right)^{1 / p}, где ff - непрерывная положительная на [a,b]\left[a, b\right] рункция.

?
Задача VII.1.34

Пусть кусочно непрерывные на [a,b]\left[a, b\right] функции ff и pp удовлетворяют условиям f([a,b])⊂[m,M],p⩾0,∫abp(x)dx=1f(\left[a, b\right]) \subset [m, M], p \geqslant 0, \int_{a}^{b} p(x) d x=1, а функция φ\varphi ыыпукла на [m,M]\left[m, M\right]. Докажите, что

?
(а)

φ(1b−a∫abf(x)dx)⩽1b−a∫abφ(f(x))dx\varphi \left(\frac{1}{b-a} \int_{a}^{b} f(x) d x\right) \leqslant \frac{1}{b-a} \int_{a}^{b} \varphi (f(x)) d x;

(б)

φ(∫abf(x)p(x)dx)⩽∫abφ(f(x))p(x)dx\varphi \left(\int_{a}^{b} f(x) p(x) d x\right) \leqslant \int_{a}^{b} \varphi (f(x)) p(x) d x;

(в)

если f>0f>0, то

(∫abp(x)f(x)dx)−1⩽exp⁡(∫abp(x)ln⁡f(x)dx)⩽∫abp(x)f(x)dx \left(\int _{a}^{b} \frac{p(x)}{f(x)} d x\right)^{-1} \leqslant \exp \left(\int _{a}^{b} p(x) \ln f(x) d x\right) \leqslant \int _{a}^{b} p(x) f(x) d x
Задача VII.1.35

Пусть A0,A1,…,AnA_{0}, A_{1}, \ldots , A_{n} - вершины вписанного в окружность выпуклого многоугольника, причём вершины A0A_{0} и AnA_{n} фиксированы. Как при заданном nn выбрать точки A1,…,An−1A_{1}, \ldots , A_{n-1}, чтобы

?
(а)

периметр;

(б)

площадь многоугольника

были наибольшими?

Задача VII.1.36

Источник света, помещённый в точке (0,b),b>0(0, b), b>0, освещает область, которая является подграфиком неотрицательной выпуклой функции f∈C1([0,+∞)),f(0)>bf \in C^{1}([0,+\infty )), f(0)>b. Лучи света отражаются от графика ff и от оси абсцисс по известному закону. Будет ли освещена вся область, если lim⁡x→+∞f(x)=0\lim_{x \rightarrow +\infty } f(x)=0 ?

?
Задача VII.1.37

Пусть функция f:R→(−∞,+∞]f: \mathbb {R} \rightarrow (-\infty ,+\infty ] выпукла, D(f)D(f) - промежуток {x∈R∣f(x)<+∞}\left\{ x \in \mathbb {R} \mid f(x)<+\infty \right\}, а Δ\Delta - интервал (inf⁡f′(t),sup⁡f′(t))\left(\inf f^{\prime }(t), \sup f^{\prime }(t)\right), где infimum и supremum вычисляются по множеству тех точек tt, в которых существует f′(t)f^{\prime }(t).

Преобразованием Лежандра функции ff называется функция

f∗(x)=sup⁡t∈R(xt−f(t))(x∈R). f^{*}(x)=\sup _{t \in \mathbb {R}}(x t-f(t)) \quad (x \in \mathbb {R}) .

Величина f∗(x)f^{*}(x) показывает, насколько нужно сместить по вертикали проходящую через начало координат прямую с угловым коэффициентом xx, чтобы она стала опорной к надграфику функции ff (рис. 9).

Рис. 9Рис. 9

Докажите, что

?
(а)

функция f∗f^{*} выпукла;

(б)

если точка tt не лежит на границе D(f)D(f), то

f(t)=sup⁡{g(t)∣g - линейная функция, g⩽f};  f(t)=\sup \left\{ g(t) \mid g \text{ - линейная функция, } g \leqslant f\right\} \text{; }
(в)

(f∗)∗(t)=f(t)\left(f^{*}\right)^{*}(t)=f(t), если tt не принадлежит границе D(f)D(f);

(г)

выполняется неравенство Юнга

f(t)+f∗(x)⩾xt для всех x,t∈R;  f(t)+f^{*}(x) \geqslant x t \quad \text{ для всех } x, t \in \mathbb {R} \text{; }
(д)

функция f∗f^{*} конечна в интервале Δ\Delta и для x∈Δx \in \Delta supremum в определении f∗(x)f^{*}(x) достигается;

(е)

если s−=f−′(t)<f+′(t)=s+s_{-}=f_{-}^{\prime }(t)<f_{+}^{\prime }(t)=s_{+}, то f∗f^{*} линейна на промежутке [s−,s+]\left[s_{-}, s_{+}\right]; если ff линейна на промежутке [a,b]\left[a, b\right], то f∗f^{*} не дифференцируема в точке p=f′(t),t∈(a,b)p=f^{\prime }(t), t \in (a, b);

(ж)

если D(f)=⟨a,b⟩D(f)=\langle a, b\rangle, а ff - строго выпуклая и дифференцируемая в (a,b)(a, b), то f′f^{\prime } непрерывна на (a,b),f∗(a, b), f^{*} дифференцируема на интервале Δ\Delta и при этом функции f′f^{\prime } и (f∗)′\left(f^{*}\right)^{\prime } взаимно обратны;

(з)

если f⩽gf \leqslant g, то f∗⩾g∗f^{*} \geqslant g^{*}.

Задача VII.1.38

Докажите, что если функция φ\varphi строго возрастает и непрерывна на [0,+∞),φ(0)=0,ψ=φ−1[0,+\infty ), \varphi (0)=0, \psi =\varphi^{-1}, то для a∈[0,+∞)a \in [0,+\infty ) и b∈[0,sup⁡φ)b \in [0, \sup \varphi ) выполняется неравенство

ab⩽∫0aφ(t)dt+∫0bψ(t)dt a b \leqslant \int _{0}^{a} \varphi (t) d t+\int _{0}^{b} \psi (t) d t
?
Задача VII.1.39

Найдите преобразование Лежандра и напишите неравенство Юнга (см. задачу 1.37 г)) для следующих функций:

?
(а)

f(t)=t22f(t)=\frac{t^{2}}{2};

(б)

f(t)=∣t∣pp(p⩾1)f(t)=\frac{\left|t\right|^{p}}{p} \quad (p \geqslant 1);

(в)

график ff - выпуклая ломаная;

(г)

f(t)={−tpp, если t⩾0,+∞, если t<0(0<p<1);f(t)= \begin{cases} -\frac{t^{p}}{p}, & \text{ если } t \geqslant 0, \\ +\infty , & \text{ если } t<0 \quad (0<p<1) ;\end{cases}

(д)

f(t)={−a2−t2, если ∣t∣⩽a,+∞, если ∣t∣>a(a>0);f(t)= \begin{cases} -\sqrt{a^{2}-t^{2}}, & \text{ если }\left|t\right| \leqslant a, \\ +\infty , & \text{ если }\left|t\right|>a \quad (a>0) ;\end{cases}

(е)

f(t)={−12−ln⁡t, если t>0,+∞, если t⩽0;f(t)= \begin{cases} -\frac{1}{2}-\ln t, & \text{ если } t>0, \\ +\infty , & \text{ если } t \leqslant 0 ;\end{cases}

(ж)

f(t)=etf(t)=e^{t}.

Задача VII.1.40

Рассмотрим совокупность WW пар (f,g)(f, g) выпуклых на R\mathbb {R} функций, удовлетворяющих условию xy⩽f(x)+g(y)x y \leqslant f(x)+g(y) для всех x,y∈Rx, y \in \mathbb {R}. Назовём пару (f0,g0)∈W\left(f_{0}, g_{0}\right) \in W экстремальной, если из соотношений f⩽f0,g⩽g0,(f,g)∈Wf \leqslant f_{0}, g \leqslant g_{0},(f, g) \in W следует, что f=f0,g=g0f=f_{0}, g=g_{0}. Докажите, что пара (f0,g0f_{0}, g_{0}) экстремальна тогда и только тогда, когда f0∗=g0f_{0}^{*}=g_{0}, g0∗=f0g_{0}^{*}=f_{0}.

?
Задача VII.1.41

Укажите примеры функций, для которых f∗(x)=f(−x)(x∈R)f^{*}(x)=f(-x) (x \in \mathbb {R}). Докажите, что единственной функцией, совпадающей со своим преобразованием Лежандра, является функция f(t)=t22f(t)=\frac{t^{2}}{2}.

?